lipracer wrote: This is a stupid question. Will `semi affine expr` also have this constrain? If that's the case, the [fix](https://github.com/llvm/llvm-project/pull/145162) should be reverted. https://github.com/llvm/llvm-project/pull/145290