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