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

[Nikolay Panchenko]

================
@@ -511,4 +511,8 @@ def ReturnLike : TraitList<[
     >
 ]>;
 
+// Use to inject an implementation of getSpeculatability.  Users should not use
+// this directly.
----------------
npanchen wrote:

my bad. I was considering to add it to another place first. Will remove

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