ritter-x2a wrote: Here is an alive2 counter example for the transformation as it was before this PR is applied, on the test in preserve-inbounds.ll: https://alive2.llvm.org/ce/z/2unNTZ https://github.com/llvm/llvm-project/pull/130616