[Mlir-commits] [mlir] 210bdc6 - [mlir] RegionBranchOpInterface should be verifyWithRegions

[llvmlistbot at llvm.org]

Author: Mogball
Date: 2022-03-04T22:25:25Z
New Revision: 210bdc651b6f5efb4eaf51552abd6c0c190e5f67

URL: https://github.com/llvm/llvm-project/commit/210bdc651b6f5efb4eaf51552abd6c0c190e5f67
DIFF: https://github.com/llvm/llvm-project/commit/210bdc651b6f5efb4eaf51552abd6c0c190e5f67.diff

LOG: [mlir] RegionBranchOpInterface should be verifyWithRegions

Added: 
    

Modified: 
    mlir/include/mlir/Interfaces/ControlFlowInterfaces.td

Removed: 
    


################################################################################
diff  --git a/mlir/include/mlir/Interfaces/ControlFlowInterfaces.td b/mlir/include/mlir/Interfaces/ControlFlowInterfaces.td
index 25da76866ba5c..9d7b43b5e4a47 100644
--- a/mlir/include/mlir/Interfaces/ControlFlowInterfaces.td
+++ b/mlir/include/mlir/Interfaces/ControlFlowInterfaces.td
@@ -193,6 +193,7 @@ def RegionBranchOpInterface : OpInterface<"RegionBranchOpInterface"> {
                   "expected operation to have non-zero regions");
     return detail::verifyTypesAlongControlFlowEdges($_op);
   }];
+  let verifyWithRegions = 1;
 
   let extraClassDeclaration = [{
     /// Convenience helper in case none of the operands is known.