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

[Mehdi Amini]

joker-eph wrote:

> That seems a bit of a convoluted reasoning. Might be making things unnecessarily complicated....

I don't see anything simpler that would still be sound actually. 

You can replace "stack alloc" by "private register file" or any conceptual abstract storage space you'd like, but I don't quite see how you can avoid the communication of the information, because it actually exists!! This is just what the ops do here...

> We also dont want a compiler to attach unnecessarily pessimizing semantics to something as simple as an induction variable. Thats where compilers (and presumably compiler writers) make their own life difficult.

There is no "pessimizing" semantics here: I can't see any more simpler semantics actually...
Feel free to propose an alternative: but "magic behavior" is just not in scope!



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