diff options
author | Nikita Popov <npopov@redhat.com> | 2023-07-05 12:02:42 +0200 |
---|---|---|
committer | Nikita Popov <npopov@redhat.com> | 2023-07-05 14:00:03 +0200 |
commit | c6a4fc8ddfaf68d932b69b80a1efd0742fa8211a (patch) | |
tree | 6986ec85f47ffc7277a07d05efb5c0712bc0e508 /llvm/utils/UpdateTestChecks/common.py | |
parent | f6df11568e83960ef698fc979965428c6b431344 (diff) | |
download | llvm-c6a4fc8ddfaf68d932b69b80a1efd0742fa8211a.zip llvm-c6a4fc8ddfaf68d932b69b80a1efd0742fa8211a.tar.gz llvm-c6a4fc8ddfaf68d932b69b80a1efd0742fa8211a.tar.bz2 |
[ValueTracking] Determine assume KnownBits using ConstantRange
For non-equality icmps, we don't do any KnownBits-specific
reasoning, and just use the known bits as a constraint on the range.
We can generalize this for all predicates by round-tripping through
ConstantRange and using makeAllowedICmpRegion().
The minor improvement in zext-or-icmp is because we assume that
a value is ult [0,1], which means it must be zero.
Diffstat (limited to 'llvm/utils/UpdateTestChecks/common.py')
0 files changed, 0 insertions, 0 deletions