File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
llvm/test/Analysis/ScalarEvolution Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -413,7 +413,7 @@ exit:
413413}
414414
415415define void @swapped_predicate (i32 %n ) {
416- ; Prove that (n >= 1) ===> (0 >= -n / 2).
416+ ; Prove that (n s >= 1) ===> (0 s >= -n / 2).
417417; CHECK-LABEL: 'swapped_predicate'
418418; CHECK-NEXT: Determining loop execution counts for: @swapped_predicate
419419; CHECK-NEXT: Loop %header: backedge-taken count is (1 + %n.div.2)<nuw><nsw>
@@ -440,7 +440,7 @@ exit:
440440}
441441
442442define void @swapped_predicate_neg (i32 %n ) {
443- ; Prove that (n >= 1) =\=> (-n / 2 >= 0).
443+ ; Prove that (n s >= 1) =\=> (-n / 2 s >= 0).
444444; CHECK-LABEL: 'swapped_predicate_neg'
445445; CHECK-NEXT: Determining loop execution counts for: @swapped_predicate_neg
446446; CHECK-NEXT: Loop %header: Unpredictable backedge-taken count.
You can’t perform that action at this time.
0 commit comments