[NFCI][IndVars] rewriteLoopExitValues(): nowadays SCEV should not change `GEP` base...
authorRoman Lebedev <lebedev.ri@gmail.com>
Sun, 15 Aug 2021 15:59:32 +0000 (18:59 +0300)
committerRoman Lebedev <lebedev.ri@gmail.com>
Sun, 15 Aug 2021 15:59:32 +0000 (18:59 +0300)
commit35a8bdc775817ce13a6c9b5cf81502052634aa1f
tree8bb22e4bddff201a7fc1a63734813dfe55c1a510
parent944dfa4975e8d55ca9d97f6eb7222ff1d0f7291a
[NFCI][IndVars] rewriteLoopExitValues(): nowadays SCEV should not change `GEP` base pointer

Currently/previously, while SCEV guaranteed that it produces the same value,
the way it was produced may be illegal IR, so we have an ugly check that
the replacement is valid.

But now that the SCEV strictness wrt the pointer/integer types has been improved,
i believe this invariant is already upheld by the SCEV itself, natively.

I think we should add an assertion, wait for a week, and then, if all is good,
rip out all this checking.
Or we could just do the latter directly i guess.

This reverts commit rL127839.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D108043
llvm/lib/Transforms/Utils/LoopUtils.cpp