diff options
| author | Nikita Popov <npopov@redhat.com> | 2022-03-07 12:37:55 +0100 |
|---|---|---|
| committer | Nikita Popov <npopov@redhat.com> | 2022-03-09 09:33:22 +0100 |
| commit | ba8ee4a43e39218f7bdfd7627db09543c33d9792 (patch) | |
| tree | c4af6c21a2ce323e283262f82fb540205d298570 /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | f682a8386b5aa0fcc09754bf5a08cbe43d33065e (diff) | |
| download | llvm-ba8ee4a43e39218f7bdfd7627db09543c33d9792.zip llvm-ba8ee4a43e39218f7bdfd7627db09543c33d9792.tar.gz llvm-ba8ee4a43e39218f7bdfd7627db09543c33d9792.tar.bz2 | |
[SCEV] Verify all IR -> SCEV mappings
This extends SCEV verification to check not only backedge-taken
counts, but all entries in the IR -> SCEV cache. The restrictions
are the same as for the BECount case, i.e. we ignore expressions
based on undef, we only diagnose constant deltas (there are way
too many false positives otherwise) and we limit to reachable code.
Differential Revision: https://reviews.llvm.org/D121104
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions