summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis/ScalarEvolutionNormalization.cpp
diff options
context:
space:
mode:
authorSanjoy Das <sanjoy@playingwithpointers.com>2017-04-14 16:47:15 +0000
committerSanjoy Das <sanjoy@playingwithpointers.com>2017-04-14 16:47:15 +0000
commit01545beb75566e16db480e929068f6cd9f3b98ef (patch)
tree7ab5d7a1306448330f9e876493d94130739a3e55 /llvm/lib/Analysis/ScalarEvolutionNormalization.cpp
parent369f3039a3b5efb758e339a2452313f681cfc789 (diff)
downloadbcm5719-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.cpp5
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
OpenPOWER on IntegriCloud