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

[Mehdi Amini]

joker-eph wrote:

If we want to decide that nested linalg.generic are illegal, then we have to forbid any "call" from within the body of a linalg.generic operation. Or alternatively you need to tame the inliner to not inline a function that contains a linalg.generic op inside another one (but that does not seem right to me: inlining or not the op is still nested).

So: transformations on linalg.generic must be safe, and if they can't process nested linalg.generic they should check and bail (but it's not clear to me why they would be bothered by a nested linalg.generic and not by a call...).

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