https://github.com/krzysz00 approved this pull request. Approved, thanks! Also, I'm now thinking we might want to move to a signed and unsigned ConstantRsnge from LLVM ... https://github.com/llvm/llvm-project/pull/96429