Lines Matching refs:i1

14 define zeroext i1 @find(i8** readonly %begin, i8** readnone %end, i1 (i8*)* nocapture %hasProp) {
17 br i1 %cmp.4, label %cleanup, label %for.body.preheader
24 br i1 %cmp, label %cleanup.loopexit, label %for.body
29 %call = tail call zeroext i1 %hasProp(i8* %0)
31 br i1 %call, label %cleanup.loopexit, label %for.cond
35 %cleanup.dest.slot.0.ph = phi i1 [ true, %for.body ], [ false, %for.cond ]
40 %cleanup.dest.slot.0 = phi i1 [ false, %entry ], [ %cleanup.dest.slot.0.ph, %cleanup.loopexit ]
41 ; CHECK: [[REG:%.+]] = trunc i32 {{%.+}} to i1
42 ; CHECK: ret i1 [[REG]]
43 ret i1 %cleanup.dest.slot.0
47 define zeroext i1 @retFalse() {
49 ; CHECK: ret i1 false
50 ret i1 false
54 define zeroext i1 @retCvtFalse() {
56 ; CHECK: ret i1 false
57 ret i1 trunc(i32 0 to i1)
61 …oid @find_cont(i8** readonly %begin, i8** readnone %end, i1 (i8*)* nocapture %hasProp, void (i1)* …
64 br i1 %cmp.4, label %cleanup, label %for.body.preheader
71 br i1 %cmp, label %cleanup.loopexit, label %for.body
76 %call = tail call zeroext i1 %hasProp(i8* %0)
78 br i1 %call, label %cleanup.loopexit, label %for.cond
82 %cleanup.dest.slot.0.ph = phi i1 [ true, %for.body ], [ false, %for.cond ]
87 %cleanup.dest.slot.0 = phi i1 [ false, %entry ], [ %cleanup.dest.slot.0.ph, %cleanup.loopexit ]
88 ; CHECK: [[REG:%.+]] = trunc i32 {{%.+}} to i1
89 ; CHECK: call void %cont(i1 [[REG]]
90 tail call void %cont(i1 %cleanup.dest.slot.0)
95 define zeroext i1 @find_cont_ret(i8** readonly %begin, i8** readnone %end, i1 (i8*)* nocapture %has…
98 br i1 %cmp.4, label %cleanup, label %for.body.preheader
105 br i1 %cmp, label %cleanup.loopexit, label %for.body
110 %call = tail call zeroext i1 %hasProp(i8* %0)
112 br i1 %call, label %cleanup.loopexit, label %for.cond
116 %cleanup.dest.slot.0.ph = phi i1 [ true, %for.body ], [ false, %for.cond ]
121 %cleanup.dest.slot.0 = phi i1 [ false, %entry ], [ %cleanup.dest.slot.0.ph, %cleanup.loopexit ]
122 ; CHECK: [[REG:%.+]] = trunc i32 {{%.+}} to i1
123 ; CHECK: call void %cont(i1 [[REG]]
124 tail call void %cont(i1 %cleanup.dest.slot.0)
125 ; CHECK: [[REG:%.+]] = trunc i32 {{%.+}} to i1
126 ; CHECK: ret i1 [[REG]]
127 ret i1 %cleanup.dest.slot.0
131 define zeroext i1 @arg_operand(i1 %operand) {
133 br i1 %operand, label %foo, label %cleanup
139 ; CHECK: [[REG:%.+]] = trunc i32 {{%.+}} to i1
140 ; CHECK: ret i1 [[REG]]
141 %result = phi i1 [ false, %foo ], [ %operand, %entry ]
142 ret i1 %result
146 define zeroext i1 @bad_use(i1 %operand) {
148 br i1 %operand, label %foo, label %cleanup
154 ; CHECK: [[REG:%.+]] = phi i1
155 ; CHECK: ret i1 [[REG]]
156 %result = phi i1 [ false, %foo], [ true, %entry ]
157 %0 = icmp eq i1 %result, %operand
158 ret i1 %result
162 define zeroext i1 @bad_use_closure(i1 %operand) {
164 br i1 %operand, label %foo, label %cleanup
167 %bar = phi i1 [ false, %entry ]
168 %0 = icmp eq i1 %bar, %operand
172 ; CHECK: [[REG:%.+]] = phi i1 [ true
173 ; CHECK: ret i1 [[REG]]
174 %result = phi i1 [ true, %entry ], [ %bar, %foo]
175 ret i1 %result
179 define zeroext i1 @arg_test(i1 %operand) {
181 br i1 %operand, label %foo, label %cleanup
184 %bar = phi i1 [ false, %entry ]
189 ; CHECK: [[REG:%.+]] = trunc i32 {{%.+}} to i1
190 ; CHECK: ret i1 [[REG]]
191 %result = phi i1 [ %bar, %foo], [ %operand, %entry ]
192 ret i1 %result
195 declare zeroext i1 @return_i1()
198 define zeroext i1 @call_test() {
199 ; CHECK: [[REG:%.+]] = call i1
200 %result = call i1 @return_i1()
201 ; CHECK: ret i1 [[REG]]
202 ret i1 %result