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

[Mehdi Amini]

================
@@ -1054,7 +1058,8 @@ def NVVM_CpAsyncWaitGroupOp : NVVM_Op<"cp.async.wait.group">,
   let assemblyFormat = "$n attr-dict";
 }
 
-def NVVM_CpAsyncMBarrierArriveOp : NVVM_Op<"cp.async.mbarrier.arrive"> {
+def NVVM_CpAsyncMBarrierArriveOp : NVVM_Op<"cp.async.mbarrier.arrive",
+  [Convergent]> {
----------------
joker-eph wrote:

I'm not sure that these are actually convergent? 
Actually it's not clear to me that any of the post-volta intrinsics needs to be.

See this comment: https://discourse.llvm.org/t/llvm-convergence-semantics/77642/12

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