artagnon wrote: > And what's "LHS" ? LHS is simply `%sb.crc.data` or `%crc`. The simple LHS of the icmp: ```cpp KnownBits KnownL = compute(L); auto LCR = ConstantRange::fromKnownBits(KnownL, false); ``` https://github.com/llvm/llvm-project/pull/148620