[Mlir-commits] [mlir] [mlir] Added `Convergent` trait that matches LLVM's semantics (PR #152358)

[Mehdi Amini]

joker-eph wrote:

All the discussions we're having looks like things to close on.

Right now you're adding convergent on a bunch of operations which are not convergent as far as I know. 

Also adding a trait on something for which we don't have a good definition or an idea of how it'll work with our structured control-flow does not seem like something I'm comfortable to do: I think the plan needs to be more fleshed out.

What concrete problem is this patch solving for you right now?


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