aboutsummaryrefslogtreecommitdiff
path: root/llvm/utils/UpdateTestChecks/common.py
diff options
context:
space:
mode:
authorNikita Popov <npopov@redhat.com>2023-07-05 12:02:42 +0200
committerNikita Popov <npopov@redhat.com>2023-07-05 14:00:03 +0200
commitc6a4fc8ddfaf68d932b69b80a1efd0742fa8211a (patch)
tree6986ec85f47ffc7277a07d05efb5c0712bc0e508 /llvm/utils/UpdateTestChecks/common.py
parentf6df11568e83960ef698fc979965428c6b431344 (diff)
downloadllvm-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