diff options
| author | Max Kazantsev <mkazantsev@azul.com> | 2020-11-11 11:17:13 +0700 |
|---|---|---|
| committer | Max Kazantsev <mkazantsev@azul.com> | 2020-11-11 11:17:13 +0700 |
| commit | 7dcc8899174f44b7447bc48a9f2ff27f5458f8b7 (patch) | |
| tree | 4046970e2e2379f0c1660dcd80d4b68ec4387aa4 /clang/lib/Frontend | |
| parent | b7067480d2ea528fb49dc39cc6b1feb2761128e4 (diff) | |
| download | llvm-7dcc8899174f44b7447bc48a9f2ff27f5458f8b7.zip llvm-7dcc8899174f44b7447bc48a9f2ff27f5458f8b7.tar.gz llvm-7dcc8899174f44b7447bc48a9f2ff27f5458f8b7.tar.bz2 | |
[SCEV] Generalize no-self-wrap check in isLoopInvariantExitCondDuringFirstIterations
Lift limitation on step being `+/- 1`. In fact, the only thing it is needed for
is proving no-self-wrap. We can instead check this flag directly.
Theoretically it can increase the scope of the transform, but I could not
construct such test easily.
Differential Revision: https://reviews.llvm.org/D91126
Reviewed By: apilipenko
Diffstat (limited to 'clang/lib/Frontend')
0 files changed, 0 insertions, 0 deletions