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

[Maksim Levental]

makslevental wrote:

> So Nicolas, I think, has been working (definitely has an extensive rfc on it) to allow reasoning about more general iteration spaces (even allowing completely irregular iteration spaces). I don't know the state of this.

Yes I linked the rfc above. Nicolas and I were planning on filling it out earlier this year. I got started, made a little progress in iree-sandbox but unfortunately other things have taken higher priority.




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