diff options
| author | Max Kazantsev <max.kazantsev@azul.com> | 2018-02-07 07:56:26 +0000 |
|---|---|---|
| committer | Max Kazantsev <max.kazantsev@azul.com> | 2018-02-07 07:56:26 +0000 |
| commit | dd5ee6f5d9af2424236fa2ea74b6686e41050fe6 (patch) | |
| tree | 6e672023c8ed51ac6168f66e3340f5722952697b /compiler-rt/lib/fuzzer | |
| parent | cae66ba5f8dd803103904fd38a1e85d7c5d234de (diff) | |
| download | bcm5719-llvm-dd5ee6f5d9af2424236fa2ea74b6686e41050fe6.tar.gz bcm5719-llvm-dd5ee6f5d9af2424236fa2ea74b6686e41050fe6.zip | |
[SCEV] Make isLoopEntryGuardedByCond a bit smarter
Sometimes `isLoopEntryGuardedByCond` cannot prove predicate `a > b` directly.
But it is a common situation when `a >= b` is known from ranges and `a != b` is
known from a dominating condition. Thia patch teaches SCEV to sum these facts
together and prove strict comparison via non-strict one.
Differential Revision: https://reviews.llvm.org/D42835
llvm-svn: 324453
Diffstat (limited to 'compiler-rt/lib/fuzzer')
0 files changed, 0 insertions, 0 deletions
