diff options
| author | Nikita Popov <npopov@redhat.com> | 2023-08-07 16:56:18 +0200 |
|---|---|---|
| committer | Nikita Popov <npopov@redhat.com> | 2023-08-07 17:04:55 +0200 |
| commit | 5de89b4d99c913e3c7c2735886f2519a2ed39d8a (patch) | |
| tree | 6c372b191aec1798fa4587cd36d9bb72d963d24f /llvm/lib/FileCheck | |
| parent | 95cd6aedc152d9628a3f1404e18ec39989bc7ff2 (diff) | |
| download | llvm-5de89b4d99c913e3c7c2735886f2519a2ed39d8a.zip llvm-5de89b4d99c913e3c7c2735886f2519a2ed39d8a.tar.gz llvm-5de89b4d99c913e3c7c2735886f2519a2ed39d8a.tar.bz2 | |
[ValueTracking] Support non-zero pow2 for shl with nowrap flags
If the shl has either nuw or nsw flags, then we know that bits
cannot be shifted out, so a power of two cannot become zero.
Proofs: https://alive2.llvm.org/ce/z/4QfebE
Diffstat (limited to 'llvm/lib/FileCheck')
0 files changed, 0 insertions, 0 deletions