[llvm] r320142 - [SCEV] Fix predicate usage in computeExitLimitFromICmp
Max Kazantsev via llvm-commits
llvm-commits at lists.llvm.org
Fri Dec 8 04:19:45 PST 2017
Author: mkazantsev
Date: Fri Dec 8 04:19:45 2017
New Revision: 320142
URL: http://llvm.org/viewvc/llvm-project?rev=320142&view=rev
Log:
[SCEV] Fix predicate usage in computeExitLimitFromICmp
In this method, we invoke `SimplifyICmpOperands` which takes the `Cond` predicate
by reference and may change it along with `LHS` and `RHS` SCEVs. But then we invoke
`computeShiftCompareExitLimit` with Values from which the SCEVs have been derived,
these Values have not been modified while `Cond` could be.
One of possible outcomes of this is that we may falsely prove that an infinite loop ends
within some finite number of iterations.
In this patch, we save the original `Cond` and pass it along with original operands.
This logic may be removed in future once `computeShiftCompareExitLimit` works
with SCEVs instead of value operands.
Reviewed By: sanjoy
Differential Revision: https://reviews.llvm.org/D40953
Modified:
llvm/trunk/lib/Analysis/ScalarEvolution.cpp
llvm/trunk/test/Analysis/ScalarEvolution/shift-op.ll
Modified: llvm/trunk/lib/Analysis/ScalarEvolution.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/ScalarEvolution.cpp?rev=320142&r1=320141&r2=320142&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/ScalarEvolution.cpp (original)
+++ llvm/trunk/lib/Analysis/ScalarEvolution.cpp Fri Dec 8 04:19:45 2017
@@ -7074,6 +7074,7 @@ ScalarEvolution::computeExitLimitFromICm
Cond = ExitCond->getPredicate();
else
Cond = ExitCond->getInversePredicate();
+ const ICmpInst::Predicate OriginalCond = Cond;
// Handle common loops like: for (X = "string"; *X; ++X)
if (LoadInst *LI = dyn_cast<LoadInst>(ExitCond->getOperand(0)))
@@ -7157,7 +7158,7 @@ ScalarEvolution::computeExitLimitFromICm
return ExhaustiveCount;
return computeShiftCompareExitLimit(ExitCond->getOperand(0),
- ExitCond->getOperand(1), L, Cond);
+ ExitCond->getOperand(1), L, OriginalCond);
}
ScalarEvolution::ExitLimit
Modified: llvm/trunk/test/Analysis/ScalarEvolution/shift-op.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/shift-op.ll?rev=320142&r1=320141&r2=320142&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/shift-op.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/shift-op.ll Fri Dec 8 04:19:45 2017
@@ -160,5 +160,24 @@ define void @test8(i32 %init) {
ret void
}
+define void @test9() {
+; CHECK-LABEL: Determining loop execution counts for: @test9
+; CHECK: Loop %loop: Unpredictable max backedge-taken count.
+
+; This is an infinite loop, make sure that it recognized as such.
+
+entry:
+ br label %loop
+
+leave:
+ ret void
+
+loop:
+ %iv = phi i32 [ -20, %entry ], [ %iv.shift, %loop ]
+ %iv.shift = ashr i32 %iv, 1
+ %exit.cond = icmp sgt i32 %iv, -1
+ br i1 %exit.cond, label %leave, label %loop
+}
+
!0 = !{i32 0, i32 50000}
!1 = !{i32 -5000, i32 -1}
More information about the llvm-commits
mailing list