[Mlir-commits] [clang] [flang] [mlir] [mlir][Interfaces] Single interface method to query constant region-based CF (PR #193486)

[Henrich Lauko]

================
@@ -137,6 +137,13 @@ def RegionBranchOpInterface : OpInterface<"RegionBranchOpInterface"> {
     specified with `getEntrySuccessorOperands` /
     `RegionBranchTerminatorOpInterface::getSuccessorOperands`.
 
+    Implementations may also optionally refine the set of successors based on
+    constant operand values. To do so, implement
+    `getSuccessorRegionsWithConstants`, which that takes a
+    `RegionBranchPointOperandConstants` argument; that method is invoked by
+    analyses that have constant-folded information. By default, the
+    constants-aware overload dispatches to the no-constants overload.
----------------
xlauko wrote:

Thanks for CIR fix, I am presently waiting until RFCs settle down on concrete design before reworking some parts of CIR, as it has multiple issues in region-based control flow. So other missuses might pop up if you start touching it. Feel free to reach out if there happens to be other nonignorable issues.

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