llvm/test/Transforms/SLPVectorizer/X86/shuffle-multivector.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=slp-vectorizer -S < %s -mtriple=x86_64-unknown-linux -slp-threshold=-163 | FileCheck %s
   3
   4 define void @test1(i128 %p0, i128 %p1, i128 %p2, i128 %p3, <4 x i128> %vec) {
   5 ; CHECK-LABEL: @test1(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    [[TMP0:%.*]] = insertelement <2 x i128> poison, i128 [[P0:%.*]], i32 0
   8 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x i128> [[TMP0]], i128 [[P1:%.*]], i32 1
   9 ; CHECK-NEXT:    [[TMP2:%.*]] = trunc <2 x i128> [[TMP1]] to <2 x i32>
  10 ; CHECK-NEXT:    [[TMP3:%.*]] = shufflevector <2 x i32> [[TMP2]], <2 x i32> poison, <4 x i32> <i32 0, i32 1, i32 0, i32 1>
  11 ; CHECK-NEXT:    [[TMP4:%.*]] = insertelement <2 x i128> poison, i128 [[P2:%.*]], i32 0
  12 ; CHECK-NEXT:    [[TMP5:%.*]] = insertelement <2 x i128> [[TMP4]], i128 [[P3:%.*]], i32 1
  13 ; CHECK-NEXT:    [[TMP6:%.*]] = trunc <2 x i128> [[TMP5]] to <2 x i32>
  14 ; CHECK-NEXT:    [[TMP7:%.*]] = shufflevector <2 x i32> [[TMP6]], <2 x i32> poison, <4 x i32> <i32 0, i32 1, i32 0, i32 1>
  15 ; CHECK-NEXT:    [[T5:%.*]] = trunc i128 [[P1]] to i32
  16 ; CHECK-NEXT:    [[TMP8:%.*]] = sdiv <4 x i32> [[TMP3]], [[TMP7]]
  17 ; CHECK-NEXT:    [[TMP9:%.*]] = trunc <4 x i128> [[VEC:%.*]] to <4 x i32>
  18 ; CHECK-NEXT:    [[TMP10:%.*]] = trunc <4 x i128> [[VEC]] to <4 x i32>
  19 ; CHECK-NEXT:    [[TMP11:%.*]] = shufflevector <2 x i32> [[TMP2]], <2 x i32> [[TMP6]], <4 x i32> <i32 poison, i32 0, i32 3, i32 2>
  20 ; CHECK-NEXT:    [[TMP12:%.*]] = shufflevector <4 x i32> [[TMP10]], <4 x i32> [[TMP11]], <4 x i32> <i32 0, i32 5, i32 6, i32 7>
  21 ; CHECK-NEXT:    [[TMP13:%.*]] = sdiv <4 x i32> [[TMP8]], [[TMP12]]
  22 ; CHECK-NEXT:    br label [[BB:%.*]]
  23 ; CHECK:       bb:
  24 ; CHECK-NEXT:    [[TMP14:%.*]] = phi <4 x i32> [ [[TMP13]], [[ENTRY:%.*]] ]
  25 ; CHECK-NEXT:    ret void
  26 ;
  27 entry:
  28   %t1 = trunc i128 %p0 to i32
  29   %t2 = trunc i128 %p1 to i32
  30   %t3 = trunc i128 %p2 to i32
  31   %t4 = trunc i128 %p3 to i32
  32   %t5 = trunc i128 %p1 to i32
  33   %t6 = trunc i128 %p0 to i32
  34   %t7 = trunc i128 %p3 to i32
  35   %t8 = trunc i128 %p2 to i32
  36   %m0 = sdiv i32 %t1, %t3
  37   %m1 = sdiv i32 %t2, %t4
  38   %m2 = sdiv i32 %t1, %t3
  39   %m3 = sdiv i32 %t2, %t4
  40   %e0 = extractelement <4 x i128> %vec, i32 0
  41   %t9 = trunc i128 %e0 to i32
  42   %d0 = sdiv i32 %m0, %t9
  43   %d1 = sdiv i32 %m1, %t6
  44   %d2 = sdiv i32 %m2, %t7
  45   %d3 = sdiv i32 %m3, %t8
  46   br label %bb
  47
  48 bb:
  49   %phi0 = phi i32 [ %d0, %entry ]
  50   %phi1 = phi i32 [ %d1, %entry ]
  51   %phi2 = phi i32 [ %d2, %entry ]
  52   %phi3 = phi i32 [ %d3, %entry ]
  53   ret void
  54 }