tschuett wrote: I added in this PR two combines. I have no interest to extend the first one. I would rather see more combines with disjoint and precise patterns, e.g., icmp_of_zero. https://github.com/llvm/llvm-project/pull/105991