Lines Matching refs:i1

7 define i1 @test1(i32 %A) {
9 ; CHECK-NEXT:    ret i1 false
14   %D = and i1 %B, %C
15   ret i1 %D
18 define i1 @test2(i32 %A) {
20 ; CHECK-NEXT:    ret i1 true
25   %D = or i1 %B, %C
26   ret i1 %D
29 define i1 @test3(i32 %A) {
31 ; CHECK-NEXT:    ret i1 false
34   ret i1 %B
38 define i1 @test4(i32 %A) {
40 ; CHECK-NEXT:    ret i1 false
43   ret i1 %B
46 define i1 @test5(i32 %A) {
48 ; CHECK-NEXT:    ret i1 true
51   ret i1 %B
54 define i1 @test6(i32 %A) {
56 ; CHECK-NEXT:    ret i1 true
59   ret i1 %B
62 define i1 @test7(i32 %A) {
64 ; CHECK-NEXT:    ret i1 true
67   ret i1 %B
70 define i1 @test8(i32 %A) {
72 ; CHECK-NEXT:    ret i1 false
75   ret i1 %B
79 define i1 @test9(i1 %A) {
81 ; CHECK-NEXT:    ret i1 false
83   %B = icmp ult i1 %A, false
84   ret i1 %B
87 define i1 @test10(i1 %A) {
89 ; CHECK-NEXT:    ret i1 false
91   %B = icmp ugt i1 %A, true
92   ret i1 %B
95 define i1 @test11(i1 %A) {
97 ; CHECK-NEXT:    ret i1 true
99   %B = icmp ule i1 %A, true
100   ret i1 %B
103 define i1 @test12(i1 %A) {
105 ; CHECK-NEXT:    ret i1 true
107   %B = icmp uge i1 %A, false
108   ret i1 %B
111 define i1 @test13(i1 %A, i1 %B) {
113 ; CHECK-NEXT:    [[CTMP:%.*]] = xor i1 %B, true
114 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[CTMP]], %A
115 ; CHECK-NEXT:    ret i1 [[C]]
117   %C = icmp uge i1 %A, %B
118   ret i1 %C
121 define <2 x i1> @test13vec(<2 x i1> %A, <2 x i1> %B) {
123 ; CHECK-NEXT:    [[CTMP:%.*]] = xor <2 x i1> %B, <i1 true, i1 true>
124 ; CHECK-NEXT:    [[C:%.*]] = or <2 x i1> [[CTMP]], %A
125 ; CHECK-NEXT:    ret <2 x i1> [[C]]
127   %C = icmp uge <2 x i1> %A, %B
128   ret <2 x i1> %C
131 define i1 @test14(i1 %A, i1 %B) {
133 ; CHECK-NEXT:    [[CTMP:%.*]] = xor i1 %A, %B
134 ; CHECK-NEXT:    [[C:%.*]] = xor i1 [[CTMP]], true
135 ; CHECK-NEXT:    ret i1 [[C]]
137   %C = icmp eq i1 %A, %B
138   ret i1 %C
141 define <3 x i1> @test14vec(<3 x i1> %A, <3 x i1> %B) {
143 ; CHECK-NEXT:    [[CTMP:%.*]] = xor <3 x i1> %A, %B
144 ; CHECK-NEXT:    [[C:%.*]] = xor <3 x i1> [[CTMP]], <i1 true, i1 true, i1 true>
145 ; CHECK-NEXT:    ret <3 x i1> [[C]]
147   %C = icmp eq <3 x i1> %A, %B
148   ret <3 x i1> %C
151 define i1 @test16(i32 %A) {
153 ; CHECK-NEXT:    ret i1 false
158   ret i1 %C
161 define i1 @test17(i8 %A) {
163 ; CHECK-NEXT:    ret i1 false
168   ret i1 %C
171 define i1 @test18(i1 %C, i32 %a) {
174 ; CHECK-NEXT:    br i1 %C, label %endif, label %else
178 ; CHECK-NEXT:    ret i1 true
181   br i1 %C, label %endif, label %else
189   ret i1 %tmp.4
192 define i1 @test19(i1 %A, i1 %B) {
194 ; CHECK-NEXT:    [[CTMP:%.*]] = xor i1 %A, %B
195 ; CHECK-NEXT:    [[C:%.*]] = xor i1 [[CTMP]], true
196 ; CHECK-NEXT:    ret i1 [[C]]
198   %a = zext i1 %A to i32
199   %b = zext i1 %B to i32
201   ret i1 %C
211   %D = zext i1 %C to i32
223   %retval = zext i1 %not.tmp.7 to i32
227 define i1 @test22(i32 %A, i32 %X) {
229 ; CHECK-NEXT:    ret i1 true
235   %R = or i1 %C, %Z
236   ret i1 %R
247   %tmp.3 = zext i1 %tmp.2 to i32
261   %tmp.3 = zext i1 %tmp.2 to i32
265 define i1 @test25(i32 %A) {
267 ; CHECK-NEXT:    ret i1 false
271   ret i1 %C