diff options
| author | Roman Lebedev <lebedev.ri@gmail.com> | 2021-08-30 12:00:26 +0300 |
|---|---|---|
| committer | Roman Lebedev <lebedev.ri@gmail.com> | 2021-08-30 12:06:58 +0300 |
| commit | 7b0d59da9af4bf4eb8342cac579e42a818ac1ae7 (patch) | |
| tree | 65772119c937f1a92963bb0ed6f74d93b2731519 /llvm/lib/Support/SmallVector.cpp | |
| parent | ada219b13a2debc94cb252feb0dd987ef9290126 (diff) | |
| download | llvm-7b0d59da9af4bf4eb8342cac579e42a818ac1ae7.zip llvm-7b0d59da9af4bf4eb8342cac579e42a818ac1ae7.tar.gz llvm-7b0d59da9af4bf4eb8342cac579e42a818ac1ae7.tar.bz2 | |
[IndVars] Drop check for the validity of rewrite
`isValidRewrite()` checks that the both the original SCEV,
and the rewrite SCEV have the same base pointer.
I //believe//, after all the recent SCEV improvements,
this invariant is already enforced by SCEV itself.
I originally tried changing it into an assert in D108043,
but that showed that it triggers on e.g. https://reviews.llvm.org/D108043#2946621,
where SCEV manages to forward the store to load,
test added.
Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D108655
Diffstat (limited to 'llvm/lib/Support/SmallVector.cpp')
0 files changed, 0 insertions, 0 deletions