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

[Mehdi Amini]

joker-eph wrote:

> IMO, that does make sense as IR should be legal from the beginning, i.e. expecting some pass to add it isn't correct.

Right, so in MLIR the safe thing to do should be to add the convergent attributes to every call/function unless we know the function does not need it (which can be an information provided as a flag, as target information, etc.).
The attributor should remove it correctly later. 


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