Lines Matching full:sum
7 ; and therefore prove that %sum.next = %sum + %sub = %sum + %limit - %sum = %limit,
19 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ [[SUM_NEXT:%.*]], [[BACKEDGE:%.*]] ], [ 0, [[LOOP_PREHEADE…
20 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 [[LIMIT]], [[SUM]]
27 ; CHECK-NEXT: [[SUM_NEXT]] = add i32 [[SUM]], [[MERGE_PHI]]
41 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
42 %sub = sub i32 %limit, %sum
51 %sum.next = add i32 %sum, %merge.phi
52 %loop.cond = icmp ne i32 %sum.next, %limit
56 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
57 ret i32 %sum.next.lcssa
72 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ [[SUM_NEXT:%.*]], [[BACKEDGE:%.*]] ], [ 0, [[LOOP_PREHEADE…
73 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 [[LIMIT]], [[SUM]]
80 ; CHECK-NEXT: [[SUM_NEXT]] = add i32 [[SUM]], [[MERGE_PHI]]
94 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
95 %sub = sub i32 %limit, %sum
104 %sum.next = add i32 %sum, %merge.phi
105 %loop.cond = icmp slt i32 %sum.next, %limit
109 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
110 ret i32 %sum.next.lcssa
125 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ [[SUM_NEXT:%.*]], [[BACKEDGE:%.*]] ], [ 0, [[LOOP_PREHEADE…
126 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 [[LIMIT]], [[SUM]]
133 ; CHECK-NEXT: [[SUM_NEXT]] = add i32 [[SUM]], [[MERGE_PHI]]
147 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
148 %sub = sub i32 %limit, %sum
157 %sum.next = add i32 %sum, %merge.phi
158 %loop.cond = icmp ult i32 %sum.next, %limit
162 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
163 ret i32 %sum.next.lcssa
178 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ [[SUM_NEXT:%.*]], [[BACKEDGE:%.*]] ], [ 0, [[LOOP_PREHEADE…
179 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 [[LIMIT]], [[SUM]]
186 ; CHECK-NEXT: [[SUM_NEXT]] = add i32 [[SUM]], [[MERGE_PHI]]
200 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
201 %sub = sub i32 %limit, %sum
210 %sum.next = add i32 %sum, %merge.phi
211 %loop.cond = icmp sgt i32 %sum.next, %limit
215 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
216 ret i32 %sum.next.lcssa
231 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ [[SUM_NEXT:%.*]], [[BACKEDGE:%.*]] ], [ 0, [[LOOP_PREHEADE…
232 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 [[LIMIT]], [[SUM]]
239 ; CHECK-NEXT: [[SUM_NEXT]] = add i32 [[SUM]], [[MERGE_PHI]]
253 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
254 %sub = sub i32 %limit, %sum
263 %sum.next = add i32 %sum, %merge.phi
264 %loop.cond = icmp ugt i32 %sum.next, %limit
268 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
269 ret i32 %sum.next.lcssa
284 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ [[SUM_NEXT:%.*]], [[BACKEDGE:%.*]] ], [ 0, [[LOOP_PREHEADE…
285 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 [[LIMIT]], [[SUM]]
297 ; CHECK-NEXT: [[SUM_NEXT]] = add i32 [[SUM]], [[MERGE_PHI]]
313 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
314 %sub = sub i32 %limit, %sum
329 %sum.next = add i32 %sum, %merge.phi
330 %loop.cond = icmp ne i32 %sum.next, %limit
334 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
335 ret i32 %sum.next.lcssa
346 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ]
347 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 4, [[SUM]]
354 ; CHECK-NEXT: [[SUM_NEXT:%.*]] = add i32 [[SUM]], [[MERGE_PHI]]
368 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
369 %sub = sub i32 4, %sum
378 %sum.next = add i32 %sum, %merge.phi
379 %loop.cond = icmp ne i32 %sum.next, 4
383 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
384 ret i32 %sum.next.lcssa
395 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ]
396 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 4, [[SUM]]
403 ; CHECK-NEXT: [[SUM_NEXT:%.*]] = add i32 [[SUM]], [[MERGE_PHI]]
417 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
418 %sub = sub i32 4, %sum
427 %sum.next = add i32 %sum, %merge.phi
428 %loop.cond = icmp slt i32 %sum.next, 4
432 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
433 ret i32 %sum.next.lcssa
444 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ]
445 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 4, [[SUM]]
452 ; CHECK-NEXT: [[SUM_NEXT:%.*]] = add i32 [[SUM]], [[MERGE_PHI]]
466 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
467 %sub = sub i32 4, %sum
476 %sum.next = add i32 %sum, %merge.phi
477 %loop.cond = icmp ult i32 %sum.next, 4
481 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
482 ret i32 %sum.next.lcssa
493 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ]
494 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 4, [[SUM]]
501 ; CHECK-NEXT: [[SUM_NEXT:%.*]] = add i32 [[SUM]], [[MERGE_PHI]]
515 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
516 %sub = sub i32 4, %sum
525 %sum.next = add i32 %sum, %merge.phi
526 %loop.cond = icmp sgt i32 %sum.next, 4
530 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
531 ret i32 %sum.next.lcssa
542 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ]
543 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 4, [[SUM]]
550 ; CHECK-NEXT: [[SUM_NEXT:%.*]] = add i32 [[SUM]], [[MERGE_PHI]]
564 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
565 %sub = sub i32 4, %sum
574 %sum.next = add i32 %sum, %merge.phi
575 %loop.cond = icmp ugt i32 %sum.next, 4
579 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
580 ret i32 %sum.next.lcssa
591 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ]
592 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 4, [[SUM]]
604 ; CHECK-NEXT: [[SUM_NEXT:%.*]] = add i32 [[SUM]], [[MERGE_PHI]]
618 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
619 %sub = sub i32 4, %sum
634 %sum.next = add i32 %sum, %merge.phi
635 %loop.cond = icmp ne i32 %sum.next, 4
639 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
640 ret i32 %sum.next.lcssa
651 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ]
652 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 4, [[SUM]]
669 ; CHECK-NEXT: [[SUM_NEXT:%.*]] = add i32 [[SUM]], [[MERGE_PHI]]
683 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
684 %sub = sub i32 4, %sum
708 %sum.next = add i32 %sum, %merge.phi
709 %loop.cond = icmp ne i32 %sum.next, 4
713 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
714 ret i32 %sum.next.lcssa
725 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ]
726 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 4, [[SUM]]
743 ; CHECK-NEXT: [[SUM_NEXT:%.*]] = add i32 [[SUM]], [[MERGE_PHI]]
756 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
757 %sub = sub i32 4, %sum
781 %sum.next = add i32 %sum, %merge.phi
782 %loop.cond = icmp ne i32 %sum.next, 4
786 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
787 ret i32 %sum.next.lcssa
798 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ]
799 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 4, [[SUM]]
816 ; CHECK-NEXT: [[SUM_NEXT:%.*]] = add i32 [[SUM]], [[MERGE_PHI]]
829 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
830 %sub = sub i32 4, %sum
854 %sum.next = add i32 %sum, %merge.phi
855 %loop.cond = icmp ne i32 %sum.next, 4
859 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
860 ret i32 %sum.next.lcssa
871 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ]
872 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 4, [[SUM]]
889 ; CHECK-NEXT: [[SUM_NEXT:%.*]] = add i32 [[SUM]], [[MERGE_PHI]]
902 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
903 %sub = sub i32 4, %sum
927 %sum.next = add i32 %sum, %merge.phi
928 %loop.cond = icmp ne i32 %sum.next, 4
932 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
933 ret i32 %sum.next.lcssa
948 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ [[SUM_NEXT:%.*]], [[LOOP]] ], [ 0, [[LOOP_PREHEADER]] ]
949 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 [[LIMIT]], [[SUM]]
952 ; CHECK-NEXT: [[SUM_NEXT]] = add i32 [[SUM]], [[SEL]]
966 %sum = phi i32 [ 0, %entry ], [ %sum.next, %loop ]
967 %sub = sub i32 %limit, %sum
970 %sum.next = add i32 %sum, %sel
971 %loop.cond = icmp ne i32 %sum.next, %limit
975 %sum.next.lcssa = phi i32 [ %sum.next, %loop ]
976 ret i32 %sum.next.lcssa
987 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ]
988 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 4, [[SUM]]
997 ; CHECK-NEXT: [[SUM_NEXT:%.*]] = add i32 [[SUM]], [[MERGE_PHI]]
1008 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
1009 %sub = sub i32 4, %sum
1020 %sum.next = add i32 %sum, %merge.phi
1021 %loop.cond = icmp ne i32 %sum.next, 4
1025 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
1026 ret i32 %sum.next.lcssa
1039 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ]
1040 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 4, [[SUM]]
1056 ; CHECK-NEXT: [[SUM_NEXT:%.*]] = add i32 [[SUM]], [[MERGE_PHI]]
1067 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
1068 %sub = sub i32 4, %sum
1089 %sum.next = add i32 %sum, %merge.phi
1090 %loop.cond = icmp ne i32 %sum.next, 4
1094 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
1095 ret i32 %sum.next.lcssa
1104 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ]
1105 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 4, [[SUM]]
1121 ; CHECK-NEXT: [[SUM_NEXT:%.*]] = add i32 [[SUM]], [[MERGE_PHI]]
1132 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
1133 %sub = sub i32 4, %sum
1154 %sum.next = add i32 %sum, %merge.phi
1155 %loop.cond = icmp ne i32 %sum.next, 4
1159 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
1160 ret i32 %sum.next.lcssa
1169 ; CHECK-NEXT: [[SUM:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ]
1170 ; CHECK-NEXT: [[SUB:%.*]] = sub i32 2, [[SUM]]
1182 ; CHECK-NEXT: [[SUM_NEXT:%.*]] = add i32 [[SUM]], [[MERGE_PHI]]
1193 %sum = phi i32 [ 0, %entry ], [ %sum.next, %backedge ]
1194 %sub = sub i32 2, %sum
1209 %sum.next = add i32 %sum, %merge.phi
1210 %loop.cond = icmp ne i32 %sum.next, 2
1214 %sum.next.lcssa = phi i32 [ %sum.next, %backedge ]
1215 ret i32 %sum.next.lcssa