llvm/test/Transforms/SLPVectorizer/ext-after-phi-node.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
   2 ;RUN: opt -S -S --passes=slp-vectorizer -slp-threshold=-99999 < %s | FileCheck %s
   3
   4 define double @test() {
   5 ; CHECK-LABEL: define double @test() {
   6 ; CHECK-NEXT:  bb:
   7 ; CHECK-NEXT:    br label [[BB7:%.*]]
   8 ; CHECK:       bb7:
   9 ; CHECK-NEXT:    [[TMP0:%.*]] = phi <2 x i32> [ poison, [[BB9:%.*]] ], [ zeroinitializer, [[BB:%.*]] ]
  10 ; CHECK-NEXT:    [[TMP1:%.*]] = phi <2 x i32> [ zeroinitializer, [[BB9]] ], [ zeroinitializer, [[BB]] ]
  11 ; CHECK-NEXT:    [[TMP2:%.*]] = zext <2 x i32> [[TMP0]] to <2 x i64>
  12 ; CHECK-NEXT:    [[TMP3:%.*]] = extractelement <2 x i32> [[TMP0]], i32 0
  13 ; CHECK-NEXT:    [[TMP4:%.*]] = zext i32 [[TMP3]] to i64
  14 ; CHECK-NEXT:    [[TMP5:%.*]] = extractelement <2 x i32> [[TMP0]], i32 1
  15 ; CHECK-NEXT:    [[TMP6:%.*]] = zext i32 [[TMP5]] to i64
  16 ; CHECK-NEXT:    [[ICMP:%.*]] = icmp ult i64 [[TMP6]], [[TMP4]]
  17 ; CHECK-NEXT:    [[TMP7:%.*]] = shufflevector <2 x i64> zeroinitializer, <2 x i64> [[TMP2]], <2 x i32> <i32 3, i32 1>
  18 ; CHECK-NEXT:    ret double 0.000000e+00
  19 ; CHECK:       bb9:
  20 ; CHECK-NEXT:    br label [[BB7]]
  21 ;
  22 bb:
  23   br label %bb7
  24
  25 bb7:
  26   %0 = phi <2 x i32> [ poison, %bb9 ], [ zeroinitializer, %bb ]
  27   %1 = phi <2 x i32> [ zeroinitializer, %bb9 ], [ zeroinitializer, %bb ]
  28   %2 = extractelement <2 x i32> %0, i32 1
  29   %3 = extractelement <2 x i32> %0, i32 0
  30   %zext8 = zext i32 %3 to i64
  31   %zext = zext i32 %2 to i64
  32   %icmp = icmp ult i64 %zext, %zext8
  33   %4 = insertelement <2 x i64> zeroinitializer, i64 %zext, i32 0
  34   ret double 0.000000e+00
  35
  36 bb9:
  37   br label %bb7
  38 }