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 4define 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; 22bb: 23 br label %bb7 24 25bb7: 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 36bb9: 37 br label %bb7 38} 39