[Mlir-commits] [mlir] [mlir][async]: Make async.execute operation with RecursiveMemoryEffects trait (PR #116544)

[Mehdi Amini]

joker-eph wrote:

`RecursiveMemoryEffects` is more appropriate, thanks.

I have a hard time convincing me about correctness right now, but I can't imagine what can go wrong either: "submitting a task" isn't really side-effect free, but here it is more specifically "submitting a side-effect free task". So I would tend to agree with this patch.

It'd be nice if @sanjoy or @River707 would give a second opinion :)

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