diff options
author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-04-14 16:47:15 +0000 |
---|---|---|
committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-04-14 16:47:15 +0000 |
commit | 01545beb75566e16db480e929068f6cd9f3b98ef (patch) | |
tree | 7ab5d7a1306448330f9e876493d94130739a3e55 /llvm/lib/Analysis/ScalarEvolutionNormalization.cpp | |
parent | 369f3039a3b5efb758e339a2452313f681cfc789 (diff) | |
download | bcm5719-llvm-01545beb75566e16db480e929068f6cd9f3b98ef.tar.gz bcm5719-llvm-01545beb75566e16db480e929068f6cd9f3b98ef.zip |
Remove "#if 0"ed out assert
It won't compile after the recent changes I've made, and I think
keeping it in provides very little value.
Instead I've added (in an earlier commit) a C++ unit test to check the
Denormalize(Normalized(X)) == X property for specific instances of X,
which is what the assert was trying to do anyway.
llvm-svn: 300339
Diffstat (limited to 'llvm/lib/Analysis/ScalarEvolutionNormalization.cpp')
-rw-r--r-- | llvm/lib/Analysis/ScalarEvolutionNormalization.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/llvm/lib/Analysis/ScalarEvolutionNormalization.cpp b/llvm/lib/Analysis/ScalarEvolutionNormalization.cpp index 6a1a1feaf11..949281e14d7 100644 --- a/llvm/lib/Analysis/ScalarEvolutionNormalization.cpp +++ b/llvm/lib/Analysis/ScalarEvolutionNormalization.cpp @@ -83,11 +83,6 @@ static const SCEV *transformImpl(const TransformKind Kind, NormalizePredTy Pred, transformSubExpr(Kind, Pred, SE, Cache, AR->getStepRecurrence(SE)); Result = SE.getMinusSCEV(Result, TransformedStep); } -#if 0 - // See the comment on the assert above. - assert(S == transformSubExpr(Result, User, OperandValToReplace) && - "SCEV normalization is not invertible!"); -#endif break; case Denormalize: // Here we want to normalize step expressions for the same reasons, as |