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

[Mehdi Amini]

joker-eph wrote:

> Why is it a load. It resolves to induction variable value when the linalg op is lowered to loops.

Because I don't see another way for the generic to pass the indices index op other than via some private variable.
That is conceptually a linalg op with a 2D indexing space is stack allocating a `memref<2 x index>` for the current iteration indices, and the `linalg.index` op is a load...

> Well, it has no side-effects. So not sure it is a lie.

Sorry but we're working on a compiler, you don't have a magic wand to escape reality :)


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