26 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S --passes=slp-vectorizer < %s | FileCheck %s3 4define i1 @test(i32 %x, i32 %a, i32 %b, i32 %c, i32 %d) {5; CHECK-LABEL: define i1 @test(6; CHECK-SAME: i32 [[X:%.*]], i32 [[A:%.*]], i32 [[B:%.*]], i32 [[C:%.*]], i32 [[D:%.*]]) {7; CHECK-NEXT: [[TMP1:%.*]] = insertelement <4 x i32> poison, i32 [[D]], i32 08; CHECK-NEXT: [[TMP2:%.*]] = insertelement <4 x i32> [[TMP1]], i32 [[B]], i32 19; CHECK-NEXT: [[TMP3:%.*]] = insertelement <4 x i32> [[TMP2]], i32 [[C]], i32 210; CHECK-NEXT: [[TMP4:%.*]] = insertelement <4 x i32> [[TMP3]], i32 [[X]], i32 311; CHECK-NEXT: [[TMP5:%.*]] = icmp sgt <4 x i32> [[TMP4]], splat (i32 1)12; CHECK-NEXT: [[TMP7:%.*]] = freeze <4 x i1> [[TMP5]]13; CHECK-NEXT: [[TMP6:%.*]] = call i1 @llvm.vector.reduce.or.v4i1(<4 x i1> [[TMP7]])14; CHECK-NEXT: ret i1 [[TMP6]]15;16 %cmp = icmp sgt i32 %x, 117 %cmp2 = icmp sgt i32 %b, 118 %cmp3 = icmp sgt i32 %c, 119 %cmp4 = icmp sgt i32 %d, 120 %sel2 = select i1 %cmp4, i1 true, i1 %cmp221 %sel3 = select i1 %sel2, i1 true, i1 %cmp322 %sel4 = select i1 %cmp, i1 true, i1 %cmp423 %ret = or i1 %sel3, %sel424 ret i1 %ret25}26