Hardcode84 wrote: Unrelated to this bugfix, but invalid step probably shouldn't cause verification failure, as it can appears as folding result in unreachable branches. Can you also add test for negative step, which is also invalid? https://github.com/llvm/llvm-project/pull/77697