Lines Matching refs:i1
4 define i1 @a_true_implies_b_true(i8 %z, i1 %X, i1 %Y) {
7 ; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 [[X:%.*]], i1 false
8 ; CHECK-NEXT: ret i1 [[RES]]
12 %sel = select i1 %b, i1 %X, i1 %Y
13 %res = select i1 %a, i1 %sel, i1 false
14 ret i1 %res
17 define <2 x i1> @a_true_implies_b_true_vec(i8 %z0, <2 x i1> %X, <2 x i1> %Y) {
23 ; CHECK-NEXT: [[SEL:%.*]] = select i1 [[B]], <2 x i1> [[X:%.*]], <2 x i1> [[Y:%.*]]
24 ; CHECK-NEXT: [[RES:%.*]] = select <2 x i1> [[A]], <2 x i1> [[SEL]], <2 x i1> zeroinitializer
25 ; CHECK-NEXT: ret <2 x i1> [[RES]]
32 %sel = select i1 %b, <2 x i1> %X, <2 x i1> %Y
33 %res = select <2 x i1> %a, <2 x i1> %sel, <2 x i1> zeroinitializer
34 ret <2 x i1> %res
37 define i1 @a_true_implies_b_true2(i8 %z, i1 %X, i1 %Y) {
40 ; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 [[X:%.*]], i1 false
41 ; CHECK-NEXT: ret i1 [[RES]]
45 %sel = select i1 %b, i1 %X, i1 %Y
46 %res = and i1 %a, %sel
47 ret i1 %res
50 define i1 @a_true_implies_b_true2_comm(i8 %z, i1 %X, i1 %Y) {
53 ; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 [[X:%.*]], i1 false
54 ; CHECK-NEXT: ret i1 [[RES]]
58 %sel = select i1 %b, i1 %X, i1 %Y
59 %res = and i1 %sel, %a
60 ret i1 %res
63 define i1 @a_true_implies_b_false(i8 %z, i1 %X, i1 %Y) {
66 ; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 [[Y:%.*]], i1 false
67 ; CHECK-NEXT: ret i1 [[RES]]
71 %sel = select i1 %b, i1 %X, i1 %Y
72 %res = select i1 %a, i1 %sel, i1 false
73 ret i1 %res
76 define i1 @a_true_implies_b_false2(i8 %z, i1 %X, i1 %Y) {
79 ; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 [[Y:%.*]], i1 false
80 ; CHECK-NEXT: ret i1 [[RES]]
84 %sel = select i1 %b, i1 %X, i1 %Y
85 %res = and i1 %a, %sel
86 ret i1 %res
89 define i1 @a_true_implies_b_false2_comm(i8 %z, i1 %X, i1 %Y) {
92 ; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 [[Y:%.*]], i1 false
93 ; CHECK-NEXT: ret i1 [[RES]]
97 %sel = select i1 %b, i1 %X, i1 %Y
98 %res = and i1 %sel, %a
99 ret i1 %res
102 define i1 @a_false_implies_b_true(i8 %z, i1 %X, i1 %Y) {
105 ; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 true, i1 [[X:%.*]]
106 ; CHECK-NEXT: ret i1 [[RES]]
110 %sel = select i1 %b, i1 %X, i1 %Y
111 %res = select i1 %a, i1 true, i1 %sel
112 ret i1 %res
115 define i1 @a_false_implies_b_true2(i8 %z, i1 %X, i1 %Y) {
118 ; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 true, i1 [[X:%.*]]
119 ; CHECK-NEXT: ret i1 [[RES]]
123 %sel = select i1 %b, i1 %X, i1 %Y
124 %res = or i1 %a, %sel
125 ret i1 %res
128 define i1 @a_false_implies_b_true2_comm(i8 %z, i1 %X, i1 %Y) {
131 ; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 true, i1 [[X:%.*]]
132 ; CHECK-NEXT: ret i1 [[RES]]
136 %sel = select i1 %b, i1 %X, i1 %Y
137 %res = or i1 %sel, %a
138 ret i1 %res
141 define i1 @a_false_implies_b_false(i8 %z, i1 %X, i1 %Y) {
144 ; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 true, i1 [[Y:%.*]]
145 ; CHECK-NEXT: ret i1 [[RES]]
149 %sel = select i1 %b, i1 %X, i1 %Y
150 %res = select i1 %a, i1 true, i1 %sel
151 ret i1 %res
154 define i1 @a_false_implies_b_false2(i8 %z, i1 %X, i1 %Y) {
157 ; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 true, i1 [[Y:%.*]]
158 ; CHECK-NEXT: ret i1 [[RES]]
162 %sel = select i1 %b, i1 %X, i1 %Y
163 %res = or i1 %a, %sel
164 ret i1 %res
167 define i1 @a_false_implies_b_false2_comm(i8 %z, i1 %X, i1 %Y) {
170 ; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 true, i1 [[Y:%.*]]
171 ; CHECK-NEXT: ret i1 [[RES]]
175 %sel = select i1 %b, i1 %X, i1 %Y
176 %res = or i1 %sel, %a
177 ret i1 %res