Lines Matching refs:inner
9 ; one of the checks in the inner loop can be removed. The key to proving it is to prove that
23 ; CHECK: inner:
27 ; CHECK: inner.1:
30 ; CHECK: inner.backedge:
51 br label %inner
54 inner:
55 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
57 br i1 %signed_cond, label %inner.1, label %side.exit
59 inner.1:
61 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
63 inner.backedge:
65 %inner.loop.cond = call i1 @cond()
66 br i1 %inner.loop.cond, label %inner, label %outer.backedge
93 ; CHECK: inner:
97 ; CHECK: inner.1:
100 ; CHECK: inner.backedge:
121 br label %inner
124 inner:
125 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
127 br i1 %signed_cond, label %inner.1, label %side.exit
129 inner.1:
131 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
133 inner.backedge:
135 %inner.loop.cond = call i1 @cond()
136 br i1 %inner.loop.cond, label %inner, label %outer.backedge
162 ; CHECK: inner:
166 ; CHECK: inner.1:
169 ; CHECK: inner.backedge:
190 br label %inner
193 inner:
194 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
196 br i1 %signed_cond, label %inner.1, label %side.exit
198 inner.1:
200 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
202 inner.backedge:
204 %inner.loop.cond = call i1 @cond()
205 br i1 %inner.loop.cond, label %inner, label %outer.backedge
208 %outer.merge = phi i32 [%iv.next, %inner.backedge]
233 ; CHECK: inner.preheader:
238 ; CHECK: inner:
242 ; CHECK: inner.1:
245 ; CHECK: inner.backedge:
270 br i1 %outer_cond_1, label %inner, label %no_inner
276 inner:
277 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
279 br i1 %signed_cond, label %inner.1, label %side.exit
281 inner.1:
283 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
285 inner.backedge:
287 %inner.loop.cond = call i1 @cond()
288 br i1 %inner.loop.cond, label %inner, label %outer.backedge
291 %outer.merge = phi i32 [%outer.iv, %no_inner], [%iv.next, %inner.backedge]
316 ; CHECK: inner.preheader:
326 ; CHECK: inner:
330 ; CHECK: inner.1:
333 ; CHECK: inner.backedge:
358 br i1 %outer_cond_1, label %inner, label %no_inner
371 inner:
372 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
374 br i1 %signed_cond, label %inner.1, label %side.exit
376 inner.1:
378 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
380 inner.backedge:
382 %inner.loop.cond = call i1 @cond()
383 br i1 %inner.loop.cond, label %inner, label %outer.backedge
386 %outer.merge = phi i32 [%smax, %if.true], [%outer.iv, %if.false], [%iv.next, %inner.backedge]
410 ; CHECK: inner:
414 ; CHECK: inner.1:
417 ; CHECK: inner.backedge:
436 br label %inner
439 inner:
440 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
442 br i1 %signed_cond, label %inner.1, label %side.exit
444 inner.1:
446 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
448 inner.backedge:
450 %inner.loop.cond = call i1 @cond()
451 br i1 %inner.loop.cond, label %inner, label %outer.backedge
474 ; CHECK: inner:
478 ; CHECK: inner.1:
480 ; CHECK: inner.backedge:
499 br label %inner
502 inner:
503 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
505 br i1 %unsigned_cond, label %inner.1, label %side.exit
507 inner.1:
509 br i1 %signed_cond, label %inner.backedge, label %side.exit
511 inner.backedge:
513 %inner.loop.cond = call i1 @cond()
514 br i1 %inner.loop.cond, label %inner, label %outer.backedge
536 ; CHECK: inner:
540 ; CHECK: inner.1:
542 ; CHECK: inner.backedge:
561 br label %inner
564 inner:
565 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
567 br i1 %unsigned_cond, label %inner.1, label %side.exit
569 inner.1:
571 br i1 %signed_cond, label %inner.backedge, label %side.exit
573 inner.backedge:
575 %inner.loop.cond = call i1 @cond()
576 br i1 %inner.loop.cond, label %inner, label %outer.backedge
598 ; CHECK: inner:
602 ; CHECK: inner.1:
604 ; CHECK: inner.backedge:
623 br label %inner
626 inner:
627 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
629 br i1 %signed_cond, label %inner.1, label %side.exit
631 inner.1:
633 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
635 inner.backedge:
637 %inner.loop.cond = call i1 @cond()
638 br i1 %inner.loop.cond, label %inner, label %outer.backedge
660 ; CHECK: inner:
664 ; CHECK: inner.1:
666 ; CHECK: inner.backedge:
685 br label %inner
688 inner:
689 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
691 br i1 %signed_cond, label %inner.1, label %side.exit
693 inner.1:
695 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
697 inner.backedge:
699 %inner.loop.cond = call i1 @cond()
700 br i1 %inner.loop.cond, label %inner, label %outer.backedge
723 ; CHECK: inner:
727 ; CHECK: inner.1:
729 ; CHECK: inner.backedge:
748 br label %inner
751 inner:
752 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
754 br i1 %unsigned_cond, label %inner.1, label %side.exit
756 inner.1:
758 br i1 %signed_cond, label %inner.backedge, label %side.exit
760 inner.backedge:
762 %inner.loop.cond = call i1 @cond()
763 br i1 %inner.loop.cond, label %inner, label %outer.backedge
785 ; CHECK: inner:
789 ; CHECK: inner.1:
791 ; CHECK: inner.backedge:
810 br label %inner
813 inner:
814 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
816 br i1 %unsigned_cond, label %inner.1, label %side.exit
818 inner.1:
820 br i1 %signed_cond, label %inner.backedge, label %side.exit
822 inner.backedge:
824 %inner.loop.cond = call i1 @cond()
825 br i1 %inner.loop.cond, label %inner, label %outer.backedge
847 ; CHECK: inner:
851 ; CHECK: inner.1:
853 ; CHECK: inner.backedge:
872 br label %inner
875 inner:
876 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
878 br i1 %signed_cond, label %inner.1, label %side.exit
880 inner.1:
882 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
884 inner.backedge:
886 %inner.loop.cond = call i1 @cond()
887 br i1 %inner.loop.cond, label %inner, label %outer.backedge
909 ; CHECK: inner:
913 ; CHECK: inner.1:
915 ; CHECK: inner.backedge:
934 br label %inner
937 inner:
938 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
940 br i1 %signed_cond, label %inner.1, label %side.exit
942 inner.1:
944 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
946 inner.backedge:
948 %inner.loop.cond = call i1 @cond()
949 br i1 %inner.loop.cond, label %inner, label %outer.backedge
972 ; CHECK: inner:
976 ; CHECK: inner.1:
979 ; CHECK: inner.backedge:
998 br label %inner
1001 inner:
1002 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
1004 br i1 %signed_cond, label %inner.1, label %side.exit
1006 inner.1:
1008 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
1010 inner.backedge:
1012 %inner.loop.cond = call i1 @cond()
1013 br i1 %inner.loop.cond, label %inner, label %outer.backedge
1016 %outer.merge = phi i32 [%iv.next, %inner.backedge]
1038 ; CHECK: inner.preheader:
1043 ; CHECK: inner:
1047 ; CHECK: inner.1:
1050 ; CHECK: inner.backedge:
1073 br i1 %outer_cond_1, label %inner, label %no_inner
1079 inner:
1080 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
1082 br i1 %signed_cond, label %inner.1, label %side.exit
1084 inner.1:
1086 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
1088 inner.backedge:
1090 %inner.loop.cond = call i1 @cond()
1091 br i1 %inner.loop.cond, label %inner, label %outer.backedge
1094 %outer.merge = phi i32 [%outer.iv, %no_inner], [%iv.next, %inner.backedge]
1116 ; CHECK: inner.preheader:
1126 ; CHECK: inner:
1130 ; CHECK: inner.1:
1133 ; CHECK: inner.backedge:
1156 br i1 %outer_cond_1, label %inner, label %no_inner
1169 inner:
1170 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
1172 br i1 %signed_cond, label %inner.1, label %side.exit
1174 inner.1:
1176 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
1178 inner.backedge:
1180 %inner.loop.cond = call i1 @cond()
1181 br i1 %inner.loop.cond, label %inner, label %outer.backedge
1184 %outer.merge = phi i32 [%smax, %if.true], [%outer.iv, %if.false], [%iv.next, %inner.backedge]