@@ -17,3 +17,28 @@ define i1 @test(i32 %x) {
17
17
ret i1 %ret
18
18
}
19
19
20
+ define i1 @test1 (i32 %x , i32 %a , i32 %b , i32 %c , i32 %d ) {
21
+ ; CHECK-LABEL: define i1 @test1(
22
+ ; CHECK-SAME: i32 [[X:%.*]], i32 [[A:%.*]], i32 [[B:%.*]], i32 [[C:%.*]], i32 [[D:%.*]]) {
23
+ ; CHECK-NEXT: [[TMP1:%.*]] = insertelement <4 x i32> poison, i32 [[X]], i32 0
24
+ ; CHECK-NEXT: [[TMP2:%.*]] = insertelement <4 x i32> [[TMP1]], i32 [[D]], i32 1
25
+ ; CHECK-NEXT: [[TMP3:%.*]] = insertelement <4 x i32> [[TMP2]], i32 [[A]], i32 2
26
+ ; CHECK-NEXT: [[TMP4:%.*]] = insertelement <4 x i32> [[TMP3]], i32 [[B]], i32 3
27
+ ; CHECK-NEXT: [[TMP5:%.*]] = icmp sgt <4 x i32> [[TMP4]], <i32 1, i32 1, i32 1, i32 1>
28
+ ; CHECK-NEXT: [[CMP3:%.*]] = icmp sgt i32 [[C]], 1
29
+ ; CHECK-NEXT: [[TMP6:%.*]] = call i1 @llvm.vector.reduce.or.v4i1(<4 x i1> [[TMP5]])
30
+ ; CHECK-NEXT: [[OP_RDX:%.*]] = select i1 [[TMP6]], i1 true, i1 [[CMP3]]
31
+ ; CHECK-NEXT: ret i1 [[OP_RDX]]
32
+ ;
33
+ %cmp = icmp sgt i32 %x , 1
34
+ %cmp1 = icmp sgt i32 %a , 1
35
+ %cmp2 = icmp sgt i32 %b , 1
36
+ %cmp3 = icmp sgt i32 %c , 1
37
+ %cmp4 = icmp sgt i32 %d , 1
38
+ %sel1 = select i1 %cmp , i1 true , i1 %cmp1
39
+ %sel2 = select i1 %sel1 , i1 true , i1 %cmp2
40
+ %sel3 = select i1 %sel2 , i1 true , i1 %cmp3
41
+ %sel4 = select i1 %cmp , i1 true , i1 %cmp4
42
+ %ret = or i1 %sel3 , %sel4
43
+ ret i1 %ret
44
+ }
0 commit comments