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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@300339
91177308-0d34-0410-b5e6-
96231b3b80d8
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