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

[David Ittah]

dime10 wrote:

Thank you for your response @rengolin. Respectfully, I have to disagree however. Nested linalg ops may have been how this issue was discovered, but that is not at the core of this issue. It is plain as day that the operation in its current form violates its declared semantics (as discussed at length above).

Unless we are happy to explicitly break the interface contract in an upstream dialect out of practical reasons, which seems to be the position some are arguing, I would say this is still an issue worth resolving.

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