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

[Mehdi Amini]

joker-eph wrote:

Seems like a load to me, but we don't want to prove that the value is constant during the region execution. 
I don't think we have anything that easily expresses this though.

All-in-all it does not change much to the problem: we shouldn't "lie" to the system about semantics just to enable generic transformations!

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