diff options
| author | Max Kazantsev <max.kazantsev@azul.com> | 2018-01-24 07:51:41 +0000 |
|---|---|---|
| committer | Max Kazantsev <max.kazantsev@azul.com> | 2018-01-24 07:51:41 +0000 |
| commit | 0f720e1296ae798305198023ce717b0caea59bae (patch) | |
| tree | 2ac361f683b6d5a690f8cb1379738ffe1152837d /llvm/lib/Transforms | |
| parent | 4ed94a06ac0a4677501e4ac8e06e932dbb336876 (diff) | |
| download | bcm5719-llvm-0f720e1296ae798305198023ce717b0caea59bae.tar.gz bcm5719-llvm-0f720e1296ae798305198023ce717b0caea59bae.zip | |
[NFC] Remove overconfident assert from IRCE
This patch removes assert that SCEV is able to prove that a value is
non-negative. In fact, SCEV can sometimes be unable to do this because
its cache does not update properly. This assert will be returned once this
problem is resolved.
llvm-svn: 323309
Diffstat (limited to 'llvm/lib/Transforms')
| -rw-r--r-- | llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp b/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp index c8e58a1e93a..6a63476fcc3 100644 --- a/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp +++ b/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp @@ -1643,8 +1643,6 @@ InductiveRangeCheck::computeSafeIterationSpace( // values, depending on type of latch condition that defines IV iteration // space. auto ClampedSubstract = [&](const SCEV *X, const SCEV *Y) { - assert(SE.isKnownNonNegative(X) && - "We can only substract from values in [0; SINT_MAX]!"); if (IsLatchSigned) { // X is a number from signed range, Y is interpreted as signed. // Even if Y is SINT_MAX, (X - Y) does not reach SINT_MIN. So the only |
