Lines Matching full:is

3 declare void @is(i1)
5 ; If A == B is false then A == B is implied false.
7 ; CHECK-NOT: call void @is(i1 true)
8 ; CHECK: call void @is(i1 false)
18   call void @is(i1 true)
22   call void @is(i1 false)
29 ; If A == B is false then A != B is implied true.
31 ; CHECK: call void @is(i1 true)
32 ; CHECK-NOT: call void @is(i1 false)
42   call void @is(i1 true)
46   call void @is(i1 false)
53 ; If A != B is false then A != B is implied false.
55 ; CHECK-NOT: call void @is(i1 true)
56 ; CHECK: call void @is(i1 false)
66   call void @is(i1 true)
70   call void @is(i1 false)
77 ; If A != B is false then A >u B is implied false.
79 ; CHECK-NOT: call void @is(i1 true)
80 ; CHECK: call void @is(i1 false)
90   call void @is(i1 true)
94   call void @is(i1 false)
101 ; If A != B is false then A >=u B is implied true.
103 ; CHECK: call void @is(i1 true)
104 ; CHECK-NOT: call void @is(i1 false)
114   call void @is(i1 true)
118   call void @is(i1 false)
125 ; If A != B is false then A <u B is implied false.
127 ; CHECK-NOT: call void @is(i1 true)
128 ; CHECK: call void @is(i1 false)
138   call void @is(i1 true)
142   call void @is(i1 false)
149 ; If A != B is false then A <=u B is implied true.
151 ; CHECK: call void @is(i1 true)
152 ; CHECK-NOT: call void @is(i1 false)
162   call void @is(i1 true)
166   call void @is(i1 false)
173 ; If A >u B is false then A >u B is implied false.
175 ; CHECK-NOT: call void @is(i1 true)
176 ; CHECK: call void @is(i1 false)
186   call void @is(i1 true)
190   call void @is(i1 false)
197 ; If A >u B is false then A <=u B is implied true.
199 ; CHECK: call void @is(i1 true)
200 ; CHECK-NOT: call void @is(i1 false)
210   call void @is(i1 true)
214   call void @is(i1 false)
221 ; If A >=u B is false then A >=u B is implied false.
223 ; CHECK-NOT: call void @is(i1 true)
224 ; CHECK: call void @is(i1 false)
234   call void @is(i1 true)
238   call void @is(i1 false)
245 ; If A >=u B is false then A <u B is implied true.
247 ; CHECK: call void @is(i1 true)
248 ; CHECK-NOT: call void @is(i1 false)
258   call void @is(i1 true)
262   call void @is(i1 false)
269 ; If A >=u B is false then A <=u B is implied true.
271 ; CHECK: call void @is(i1 true)
272 ; CHECK-NOT: call void @is(i1 false)
282   call void @is(i1 true)
286   call void @is(i1 false)
293 ; If A <u B is false then A <u B is implied false.
295 ; CHECK-NOT: call void @is(i1 true)
296 ; CHECK: call void @is(i1 false)
306   call void @is(i1 true)
310   call void @is(i1 false)
317 ; If A <=u B is false then A <=u B is implied false.
319 ; CHECK-NOT: call void @is(i1 true)
320 ; CHECK: call void @is(i1 false)
330   call void @is(i1 true)
334   call void @is(i1 false)