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

[Mehdi Amini]

joker-eph 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.

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