1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu -slp-threshold=-1000 < %s | FileCheck %s 3 4define i32 @main(i32 %0) { 5; CHECK-LABEL: @main( 6; CHECK-NEXT: for.cond.preheader: 7; CHECK-NEXT: br i1 false, label [[FOR_END:%.*]], label [[FOR_INC_PREHEADER:%.*]] 8; CHECK: for.inc.preheader: 9; CHECK-NEXT: [[TMP1:%.*]] = insertelement <8 x i32> <i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 poison, i32 undef>, i32 [[TMP0:%.*]], i32 6 10; CHECK-NEXT: br i1 false, label [[FOR_END]], label [[L1_PREHEADER:%.*]] 11; CHECK: for.end: 12; CHECK-NEXT: [[DOTPR:%.*]] = phi i32 [ 0, [[FOR_INC_PREHEADER]] ], [ 0, [[FOR_COND_PREHEADER:%.*]] ] 13; CHECK-NEXT: [[TMP2:%.*]] = insertelement <8 x i32> poison, i32 [[DOTPR]], i32 0 14; CHECK-NEXT: [[SHUFFLE:%.*]] = shufflevector <8 x i32> [[TMP2]], <8 x i32> poison, <8 x i32> zeroinitializer 15; CHECK-NEXT: br label [[L1_PREHEADER]] 16; CHECK: L1.preheader: 17; CHECK-NEXT: [[TMP3:%.*]] = phi <8 x i32> [ [[SHUFFLE]], [[FOR_END]] ], [ [[TMP1]], [[FOR_INC_PREHEADER]] ] 18; CHECK-NEXT: ret i32 0 19; 20for.cond.preheader: 21 br i1 false, label %for.end, label %for.inc.preheader 22 23for.inc.preheader: 24 br i1 false, label %for.end, label %L1.preheader 25 26for.end: 27 %.pr = phi i32 [ 0, %for.inc.preheader ], [ 0, %for.cond.preheader ] 28 br label %L1.preheader 29 30L1.preheader: 31 %1 = phi i32 [ %.pr, %for.end ], [ %0, %for.inc.preheader ] 32 %2 = phi i32 [ %.pr, %for.end ], [ 0, %for.inc.preheader ] 33 %3 = phi i32 [ %.pr, %for.end ], [ 0, %for.inc.preheader ] 34 %4 = phi i32 [ %.pr, %for.end ], [ undef, %for.inc.preheader ] 35 %j.2.ph1 = phi i32 [ %.pr, %for.end ], [ 0, %for.inc.preheader ] 36 %k.0.ph = phi i32 [ undef, %for.end ], [ 0, %for.inc.preheader ] 37 %o.1.ph = phi i32 [ undef, %for.end ], [ 0, %for.inc.preheader ] 38 %n.1.ph = phi i32 [ undef, %for.end ], [ 0, %for.inc.preheader ] 39 ret i32 0 40} 41