Lines Matching full:inner
8 ; one of the checks in the inner loop can be removed. The key to proving it is to prove that
21 ; CHECK-NEXT: br label [[INNER:%.*]]
22 ; CHECK: inner:
26 ; CHECK: inner.1:
29 ; CHECK: inner.backedge:
32 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE]]
50 br label %inner
53 inner:
54 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
56 br i1 %signed_cond, label %inner.1, label %side.exit
58 inner.1:
60 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
62 inner.backedge:
64 %inner.loop.cond = call i1 @cond()
65 br i1 %inner.loop.cond, label %inner, label %outer.backedge
91 ; CHECK-NEXT: br label [[INNER:%.*]]
92 ; CHECK: inner:
96 ; CHECK: inner.1:
99 ; CHECK: inner.backedge:
102 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE]]
120 br label %inner
123 inner:
124 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
126 br i1 %signed_cond, label %inner.1, label %side.exit
128 inner.1:
130 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
132 inner.backedge:
134 %inner.loop.cond = call i1 @cond()
135 br i1 %inner.loop.cond, label %inner, label %outer.backedge
160 ; CHECK-NEXT: br label [[INNER:%.*]]
161 ; CHECK: inner:
165 ; CHECK: inner.1:
168 ; CHECK: inner.backedge:
171 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE]]
189 br label %inner
192 inner:
193 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
195 br i1 %signed_cond, label %inner.1, label %side.exit
197 inner.1:
199 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
201 inner.backedge:
203 %inner.loop.cond = call i1 @cond()
204 br i1 %inner.loop.cond, label %inner, label %outer.backedge
207 %outer.merge = phi i32 [%iv.next, %inner.backedge]
232 ; CHECK: inner.preheader:
233 ; CHECK-NEXT: br label [[INNER:%.*]]
237 ; CHECK: inner:
241 ; CHECK: inner.1:
244 ; CHECK: inner.backedge:
247 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE_LOOPEXIT:%.*]]
269 br i1 %outer_cond_1, label %inner, label %no_inner
275 inner:
276 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
278 br i1 %signed_cond, label %inner.1, label %side.exit
280 inner.1:
282 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
284 inner.backedge:
286 %inner.loop.cond = call i1 @cond()
287 br i1 %inner.loop.cond, label %inner, label %outer.backedge
290 %outer.merge = phi i32 [%outer.iv, %no_inner], [%iv.next, %inner.backedge]
315 ; CHECK: inner.preheader:
316 ; CHECK-NEXT: br label [[INNER:%.*]]
325 ; CHECK: inner:
329 ; CHECK: inner.1:
332 ; CHECK: inner.backedge:
335 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE_LOOPEXIT:%.*]]
357 br i1 %outer_cond_1, label %inner, label %no_inner
370 inner:
371 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
373 br i1 %signed_cond, label %inner.1, label %side.exit
375 inner.1:
377 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
379 inner.backedge:
381 %inner.loop.cond = call i1 @cond()
382 br i1 %inner.loop.cond, label %inner, label %outer.backedge
385 %outer.merge = phi i32 [%smax, %if.true], [%outer.iv, %if.false], [%iv.next, %inner.backedge]
408 ; CHECK-NEXT: br label [[INNER:%.*]]
409 ; CHECK: inner:
413 ; CHECK: inner.1:
416 ; CHECK: inner.backedge:
419 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE]]
435 br label %inner
438 inner:
439 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
441 br i1 %signed_cond, label %inner.1, label %side.exit
443 inner.1:
445 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
447 inner.backedge:
449 %inner.loop.cond = call i1 @cond()
450 br i1 %inner.loop.cond, label %inner, label %outer.backedge
472 ; CHECK-NEXT: br label [[INNER:%.*]]
473 ; CHECK: inner:
477 ; CHECK: inner.1:
479 ; CHECK: inner.backedge:
482 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE]]
498 br label %inner
501 inner:
502 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
504 br i1 %unsigned_cond, label %inner.1, label %side.exit
506 inner.1:
508 br i1 %signed_cond, label %inner.backedge, label %side.exit
510 inner.backedge:
512 %inner.loop.cond = call i1 @cond()
513 br i1 %inner.loop.cond, label %inner, label %outer.backedge
534 ; CHECK-NEXT: br label [[INNER:%.*]]
535 ; CHECK: inner:
539 ; CHECK: inner.1:
541 ; CHECK: inner.backedge:
544 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE]]
560 br label %inner
563 inner:
564 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
566 br i1 %unsigned_cond, label %inner.1, label %side.exit
568 inner.1:
570 br i1 %signed_cond, label %inner.backedge, label %side.exit
572 inner.backedge:
574 %inner.loop.cond = call i1 @cond()
575 br i1 %inner.loop.cond, label %inner, label %outer.backedge
596 ; CHECK-NEXT: br label [[INNER:%.*]]
597 ; CHECK: inner:
601 ; CHECK: inner.1:
603 ; CHECK: inner.backedge:
606 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE]]
622 br label %inner
625 inner:
626 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
628 br i1 %signed_cond, label %inner.1, label %side.exit
630 inner.1:
632 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
634 inner.backedge:
636 %inner.loop.cond = call i1 @cond()
637 br i1 %inner.loop.cond, label %inner, label %outer.backedge
658 ; CHECK-NEXT: br label [[INNER:%.*]]
659 ; CHECK: inner:
663 ; CHECK: inner.1:
665 ; CHECK: inner.backedge:
668 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE]]
684 br label %inner
687 inner:
688 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
690 br i1 %signed_cond, label %inner.1, label %side.exit
692 inner.1:
694 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
696 inner.backedge:
698 %inner.loop.cond = call i1 @cond()
699 br i1 %inner.loop.cond, label %inner, label %outer.backedge
721 ; CHECK-NEXT: br label [[INNER:%.*]]
722 ; CHECK: inner:
726 ; CHECK: inner.1:
728 ; CHECK: inner.backedge:
731 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE]]
747 br label %inner
750 inner:
751 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
753 br i1 %unsigned_cond, label %inner.1, label %side.exit
755 inner.1:
757 br i1 %signed_cond, label %inner.backedge, label %side.exit
759 inner.backedge:
761 %inner.loop.cond = call i1 @cond()
762 br i1 %inner.loop.cond, label %inner, label %outer.backedge
783 ; CHECK-NEXT: br label [[INNER:%.*]]
784 ; CHECK: inner:
788 ; CHECK: inner.1:
790 ; CHECK: inner.backedge:
793 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE]]
809 br label %inner
812 inner:
813 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
815 br i1 %unsigned_cond, label %inner.1, label %side.exit
817 inner.1:
819 br i1 %signed_cond, label %inner.backedge, label %side.exit
821 inner.backedge:
823 %inner.loop.cond = call i1 @cond()
824 br i1 %inner.loop.cond, label %inner, label %outer.backedge
845 ; CHECK-NEXT: br label [[INNER:%.*]]
846 ; CHECK: inner:
850 ; CHECK: inner.1:
852 ; CHECK: inner.backedge:
855 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE]]
871 br label %inner
874 inner:
875 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
877 br i1 %signed_cond, label %inner.1, label %side.exit
879 inner.1:
881 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
883 inner.backedge:
885 %inner.loop.cond = call i1 @cond()
886 br i1 %inner.loop.cond, label %inner, label %outer.backedge
907 ; CHECK-NEXT: br label [[INNER:%.*]]
908 ; CHECK: inner:
912 ; CHECK: inner.1:
914 ; CHECK: inner.backedge:
917 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE]]
933 br label %inner
936 inner:
937 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
939 br i1 %signed_cond, label %inner.1, label %side.exit
941 inner.1:
943 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
945 inner.backedge:
947 %inner.loop.cond = call i1 @cond()
948 br i1 %inner.loop.cond, label %inner, label %outer.backedge
970 ; CHECK-NEXT: br label [[INNER:%.*]]
971 ; CHECK: inner:
975 ; CHECK: inner.1:
978 ; CHECK: inner.backedge:
981 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE]]
997 br label %inner
1000 inner:
1001 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
1003 br i1 %signed_cond, label %inner.1, label %side.exit
1005 inner.1:
1007 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
1009 inner.backedge:
1011 %inner.loop.cond = call i1 @cond()
1012 br i1 %inner.loop.cond, label %inner, label %outer.backedge
1015 %outer.merge = phi i32 [%iv.next, %inner.backedge]
1037 ; CHECK: inner.preheader:
1038 ; CHECK-NEXT: br label [[INNER:%.*]]
1042 ; CHECK: inner:
1046 ; CHECK: inner.1:
1049 ; CHECK: inner.backedge:
1052 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE_LOOPEXIT:%.*]]
1072 br i1 %outer_cond_1, label %inner, label %no_inner
1078 inner:
1079 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
1081 br i1 %signed_cond, label %inner.1, label %side.exit
1083 inner.1:
1085 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
1087 inner.backedge:
1089 %inner.loop.cond = call i1 @cond()
1090 br i1 %inner.loop.cond, label %inner, label %outer.backedge
1093 %outer.merge = phi i32 [%outer.iv, %no_inner], [%iv.next, %inner.backedge]
1115 ; CHECK: inner.preheader:
1116 ; CHECK-NEXT: br label [[INNER:%.*]]
1125 ; CHECK: inner:
1129 ; CHECK: inner.1:
1132 ; CHECK: inner.backedge:
1135 ; CHECK-NEXT: br i1 [[INNER_LOOP_COND]], label [[INNER]], label [[OUTER_BACKEDGE_LOOPEXIT:%.*]]
1155 br i1 %outer_cond_1, label %inner, label %no_inner
1168 inner:
1169 %iv = phi i32 [%outer.iv, %outer], [%iv.next, %inner.backedge]
1171 br i1 %signed_cond, label %inner.1, label %side.exit
1173 inner.1:
1175 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
1177 inner.backedge:
1179 %inner.loop.cond = call i1 @cond()
1180 br i1 %inner.loop.cond, label %inner, label %outer.backedge
1183 %outer.merge = phi i32 [%smax, %if.true], [%outer.iv, %if.false], [%iv.next, %inner.backedge]