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

[Mehdi Amini]

joker-eph wrote:

> I definitely can add to upstream for completeness even though internally we won't use it.

I was more interested in understanding if this is how you plan to use this?

It's really difficult to review a feature without a use-case, and most of the time use-cases are "here is the transformation that will use it, and how it will be used". You haven't really been explaining this clearly to me, and your answer quoted above is keeping this a bit fuzzy to me.


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