diff options
| author | Max Kazantsev <mkazantsev@azul.com> | 2020-10-27 11:35:16 +0700 |
|---|---|---|
| committer | Max Kazantsev <mkazantsev@azul.com> | 2020-10-27 11:35:16 +0700 |
| commit | c6ca26c0bfedb8f80d6f8cb9adde25b1d6aac1c5 (patch) | |
| tree | 4b101cb0385b546ad7d9d2b0b7672154d535fd06 /clang/lib/Tooling/JSONCompilationDatabase.cpp | |
| parent | d38788b357ad29083eb3b03027db908559aae2a6 (diff) | |
| download | llvm-c6ca26c0bfedb8f80d6f8cb9adde25b1d6aac1c5.zip llvm-c6ca26c0bfedb8f80d6f8cb9adde25b1d6aac1c5.tar.gz llvm-c6ca26c0bfedb8f80d6f8cb9adde25b1d6aac1c5.tar.bz2 | |
[IndVars] Remove monotonic checks with unknown exit count
Even if the exact exit count is unknown, we can still prove that this
exit will not be taken. If we can prove that the predicate is monotonic,
fulfilled on first & last iteration, and no overflow happened in between,
then the check can be removed.
Differential Revision: https://reviews.llvm.org/D87832
Reviewed By: apilipenko
Diffstat (limited to 'clang/lib/Tooling/JSONCompilationDatabase.cpp')
0 files changed, 0 insertions, 0 deletions