bobby-b-song wrote: I've further extended the PR with signed numbers and more inclusive/exclusive ranges, the proof of alive2 is at https://alive2.llvm.org/ce/z/z2VcMn. https://github.com/llvm/llvm-project/pull/141962