Lines Matching full:is

5 declare void @is(i1)
71 ; A == B implies A == B is true.
73 ; CHECK: call void @is(i1 true)
74 ; CHECK-NOT: call void @is(i1 false)
84   call void @is(i1 true)
88   call void @is(i1 false)
95 ; A == B implies A != B is false.
97 ; CHECK-NOT: call void @is(i1 true)
98 ; CHECK: call void @is(i1 false)
108   call void @is(i1 true)
112   call void @is(i1 false)
119 ; A == B implies A >u B is false.
121 ; CHECK-NOT: call void @is(i1 true)
122 ; CHECK: call void @is(i1 false)
132   call void @is(i1 true)
136   call void @is(i1 false)
143 ; A == B implies A >=u B is true.
145 ; CHECK: call void @is(i1 true)
146 ; CHECK-NOT: call void @is(i1 false)
156   call void @is(i1 true)
160   call void @is(i1 false)
167 ; A == B implies A <u B is false.
169 ; CHECK-NOT: call void @is(i1 true)
170 ; CHECK: call void @is(i1 false)
180   call void @is(i1 true)
184   call void @is(i1 false)
191 ; A == B implies A <=u B is true.
193 ; CHECK: call void @is(i1 true)
194 ; CHECK-NOT: call void @is(i1 false)
204   call void @is(i1 true)
208   call void @is(i1 false)
215 ; A == B implies A >s B is false.
217 ; CHECK-NOT: call void @is(i1 true)
218 ; CHECK: call void @is(i1 false)
228   call void @is(i1 true)
232   call void @is(i1 false)
239 ; A == B implies A >=s B is true.
241 ; CHECK: call void @is(i1 true)
242 ; CHECK-NOT: call void @is(i1 false)
252   call void @is(i1 true)
256   call void @is(i1 false)
263 ; A == B implies A <s B is false.
265 ; CHECK-NOT: call void @is(i1 true)
266 ; CHECK: call void @is(i1 false)
276   call void @is(i1 true)
280   call void @is(i1 false)
287 ; A == B implies A <=s B is true.
289 ; CHECK: call void @is(i1 true)
290 ; CHECK-NOT: call void @is(i1 false)
300   call void @is(i1 true)
304   call void @is(i1 false)
311 ; A != B implies A != B is true.
313 ; CHECK: call void @is(i1 true)
314 ; CHECK-NOT: call void @is(i1 false)
324   call void @is(i1 true)
328   call void @is(i1 false)
335 ; A != B implies A >u B is unknown to be true or false.
337 ; CHECK: call void @is(i1 true)
338 ; CHECK: call void @is(i1 false)
348   call void @is(i1 true)
352   call void @is(i1 false)
359 ; A != B implies A >=u B is unknown to be true or false.
361 ; CHECK: call void @is(i1 true)
362 ; CHECK: call void @is(i1 false)
372   call void @is(i1 true)
376   call void @is(i1 false)
383 ; A != B implies A <u B is unknown to be true or false.
385 ; CHECK: call void @is(i1 true)
386 ; CHECK: call void @is(i1 false)
396   call void @is(i1 true)
400   call void @is(i1 false)
407 ; A != B implies A <=u B is unknown to be true or false.
409 ; CHECK: call void @is(i1 true)
410 ; CHECK: call void @is(i1 false)
420   call void @is(i1 true)
424   call void @is(i1 false)
431 ; A != B implies A >s B is unknown to be true or false.
433 ; CHECK: call void @is(i1 true)
434 ; CHECK: call void @is(i1 false)
444   call void @is(i1 true)
448   call void @is(i1 false)
455 ; A != B implies A >=s B is unknown to be true or false.
457 ; CHECK: call void @is(i1 true)
458 ; CHECK: call void @is(i1 false)
468   call void @is(i1 true)
472   call void @is(i1 false)
479 ; A != B implies A <s B is unknown to be true or false.
481 ; CHECK: call void @is(i1 true)
482 ; CHECK: call void @is(i1 false)
492   call void @is(i1 true)
496   call void @is(i1 false)
503 ; A != B implies A <=s B is unknown to be true or false.
505 ; CHECK: call void @is(i1 true)
506 ; CHECK: call void @is(i1 false)
516   call void @is(i1 true)
520   call void @is(i1 false)
527 ; A >u B implies A >u B is true.
529 ; CHECK: call void @is(i1 true)
530 ; CHECK-NOT: call void @is(i1 false)
540   call void @is(i1 true)
544   call void @is(i1 false)
551 ; A >u B implies A >=u B is true.
553 ; CHECK: call void @is(i1 true)
554 ; CHECK-NOT: call void @is(i1 false)
564   call void @is(i1 true)
568   call void @is(i1 false)
575 ; A >u B implies A <u B is false.
577 ; CHECK-NOT: call void @is(i1 true)
578 ; CHECK: call void @is(i1 false)
588   call void @is(i1 true)
592   call void @is(i1 false)
599 ; A >u B implies A <=u B is false.
601 ; CHECK-NOT: call void @is(i1 true)
602 ; CHECK: call void @is(i1 false)
612   call void @is(i1 true)
616   call void @is(i1 false)
623 ; A >=u B implies A >=u B is true.
625 ; CHECK: call void @is(i1 true)
626 ; CHECK-NOT: call void @is(i1 false)
636   call void @is(i1 true)
640   call void @is(i1 false)
647 ; A >=u B implies A <u B is false.
649 ; CHECK-NOT: call void @is(i1 true)
650 ; CHECK: call void @is(i1 false)
660   call void @is(i1 true)
664   call void @is(i1 false)
671 ; A >=u B implies A <=u B is unknown to be true or false.
673 ; CHECK: call void @is(i1 true)
674 ; CHECK: call void @is(i1 false)
684   call void @is(i1 true)
688   call void @is(i1 false)
695 ; A <u B implies A <u B is true.
697 ; CHECK: call void @is(i1 true)
698 ; CHECK-NOT: call void @is(i1 false)
708   call void @is(i1 true)
712   call void @is(i1 false)
719 ; A <u B implies A <=u B is true.
721 ; CHECK: call void @is(i1 true)
722 ; CHECK-NOT: call void @is(i1 false)
732   call void @is(i1 true)
736   call void @is(i1 false)
743 ; A <=u B implies A <=u B is true.
745 ; CHECK: call void @is(i1 true)
746 ; CHECK-NOT: call void @is(i1 false)
756   call void @is(i1 true)
760   call void @is(i1 false)
767 ; A >s B implies A >s B is true.
769 ; CHECK: call void @is(i1 true)
770 ; CHECK-NOT: call void @is(i1 false)
780   call void @is(i1 true)
784   call void @is(i1 false)
791 ; A >s B implies A >=s B is true.
793 ; CHECK: call void @is(i1 true)
794 ; CHECK-NOT: call void @is(i1 false)
804   call void @is(i1 true)
808   call void @is(i1 false)
815 ; A >s B implies A <s B is false.
817 ; CHECK-NOT: call void @is(i1 true)
818 ; CHECK: call void @is(i1 false)
828   call void @is(i1 true)
832   call void @is(i1 false)
839 ; A >s B implies A <=s B is false.
841 ; CHECK-NOT: call void @is(i1 true)
842 ; CHECK: call void @is(i1 false)
852   call void @is(i1 true)
856   call void @is(i1 false)
863 ; A >=s B implies A >=s B is true.
865 ; CHECK: call void @is(i1 true)
866 ; CHECK-NOT: call void @is(i1 false)
876   call void @is(i1 true)
880   call void @is(i1 false)
887 ; A >=s B implies A <s B is false.
889 ; CHECK-NOT: call void @is(i1 true)
890 ; CHECK: call void @is(i1 false)
900   call void @is(i1 true)
904   call void @is(i1 false)
911 ; A >=s B implies A <=s B is unknown to be true or false.
913 ; CHECK: call void @is(i1 true)
914 ; CHECK: call void @is(i1 false)
924   call void @is(i1 true)
928   call void @is(i1 false)
935 ; A <s B implies A <s B is true.
937 ; CHECK: call void @is(i1 true)
938 ; CHECK-NOT: call void @is(i1 false)
948   call void @is(i1 true)
952   call void @is(i1 false)
959 ; A <s B implies A <=s B is true.
961 ; CHECK: call void @is(i1 true)
962 ; CHECK-NOT: call void @is(i1 false)
972   call void @is(i1 true)
976   call void @is(i1 false)
983 ; A <=s B implies A <=s B is true.
985 ; CHECK: call void @is(i1 true)
986 ; CHECK-NOT: call void @is(i1 false)
996   call void @is(i1 true)
1000   call void @is(i1 false)
1007 ; A >=u 5 implies A <u 5 is false.
1009 ; CHECK-NOT: call void @is(i1 true)
1010 ; CHECK: call void @is(i1 false)
1020   call void @is(i1 true)
1024   call void @is(i1 false)