diff options
| author | Max Kazantsev <mkazantsev@azul.com> | 2022-01-25 13:21:37 +0700 |
|---|---|---|
| committer | Max Kazantsev <mkazantsev@azul.com> | 2022-01-25 13:25:19 +0700 |
| commit | c913dccfde69617e2357ac25532f25d2a81bca2c (patch) | |
| tree | c0e6387cbe62753c8d625f1bd22f89786d8537b3 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 633f5badbf1315e972e9abb141111648a8fd77fd (diff) | |
[SCEV] Use lshr in implications
This patch adds support for implication inference logic for the
following pattern:
```
lhs < (y >> z) <= y, y <= rhs --> lhs < rhs
```
We should be able to use the fact that value shifted to right is
not greater than the original value (provided it is non-negative).
Differential Revision: https://reviews.llvm.org/D116150
Reviewed-By: apilipenko
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions