https://github.com/krzysz00 approved this pull request. Seems fine to me given that these indexes are never negative and that we want to fold with affine maps Might be worth updating the PR description https://github.com/llvm/llvm-project/pull/124390