krzysz00 wrote: (I know in IREE we were guarding these sorts of patterns by "make sure it works for both 32- and 64-bit indices" but that's a bit awkward and we could probably do better than this) https://github.com/llvm/llvm-project/pull/224933