tschuett wrote: That didn't answer my question! The isKnownNonZero analysis is in Utils.cpp and test coverage is in combine-visit-icmp.mir. Combine.td shows that precisely two combines were added and only of them relies on known bits. https://github.com/llvm/llvm-project/pull/105991