[llvm] [InstCombine] Extend `foldICmpAddConstant` to disjoint `or`. (PR #75899)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Thu Jan 4 06:29:27 PST 2024


nikic wrote:

I see, thanks. A possible way to fix this would be to try to take into account already known bits when adding known bits from conditions, i.e. `x sgt -15` implies `x sgt 0` if the low 4 bits of x are known zero. But I don't think this is worth bothering with.

(It looks like the patch needs a rebase.)

https://github.com/llvm/llvm-project/pull/75899


More information about the llvm-commits mailing list