[Mlir-commits] [mlir] Remove Pure attribute from Linalg::IndexOp. (PR #68894)

[llvmlistbot at llvm.org]

MaheshRavishankar wrote:

> @sanjoy technically that would be enough, but that wouldn't make the transformation "local": that is you'd still need to traverse the body between two uses of `linalg.index` to check that there is no write to this specific resource. That's why the "constant within a region instance" seems appealing: CSE could reason immediately on such ops.

+1 to "constant within a region instance". That seems to capture exactly what is needed here.

https://github.com/llvm/llvm-project/pull/68894