[Mlir-commits] [mlir] [mlir][Interfaces] Document completeness requirement of `RegionBranchOpInterface` (PR #202018)

[Mehdi Amini]

================
@@ -210,6 +211,14 @@ def RegionBranchOpInterface : OpInterface<"RegionBranchOpInterface"> {
         Note: The control flow does not necessarily have to enter any region of
         this op.
 
+        The returned successors must be complete with respect to the constant
+        operand information in `operands`: every region successor that could be
+        taken on entry must be included unless it is ruled out by an entry in
+        `operands`. Omitting a successor that is possible is an incorrect
+        implementation and may cause analyses/transformations to produce
+        incorrect results. It is acceptable to over-approximate by reporting
+        successors that turn out to be infeasible at runtime.
----------------
joker-eph wrote:

Seems to me to be largely redundant with the second paragraph.

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