maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

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
This commit is contained in:
Sanjoy Das 2017-04-14 16:47:15 +00:00
parent 369f3039a3
commit 01545beb75
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
llvm/lib/Analysis/ScalarEvolutionNormalization.cpp
View File

@ -83,11 +83,6 @@ static const SCEV *transformImpl(const TransformKind Kind, NormalizePredTy Pred,
transformSubExpr(Kind, Pred, SE, Cache, AR->getStepRecurrence(SE)); transformSubExpr(Kind, Pred, SE, Cache, AR->getStepRecurrence(SE));
Result = SE.getMinusSCEV(Result, TransformedStep); 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; break;
case Denormalize: case Denormalize:
// Here we want to normalize step expressions for the same reasons, as // Here we want to normalize step expressions for the same reasons, as