[ValueTracking] Support add+icmp assumes for KnownBits
authorNikita Popov <npopov@redhat.com>
Wed, 5 Jul 2023 13:22:01 +0000 (15:22 +0200)
committerNikita Popov <npopov@redhat.com>
Wed, 5 Jul 2023 14:15:47 +0000 (16:15 +0200)
commit2e0af16c9383bb5ed0eda236eb34b92dfb570235
tree07d12820fd9d3012e7db7bf876843249c8714cbf
parent07630da36a31596594a1ba3b9f000dc57d5382f3
[ValueTracking] Support add+icmp assumes for KnownBits

Support the canonical range check pattern for KnownBits assumptions.
This is the same as the generic ConstantRange handling, just shifted
by an offset.
llvm/lib/Analysis/ValueTracking.cpp
llvm/test/Analysis/ValueTracking/numsignbits-from-assume.ll
llvm/test/Transforms/InstCombine/assume.ll