Home
last modified time | relevance | path

Searched refs:verifyWithRegions (Results 1 – 9 of 9) sorted by relevance

/llvm-project-15.0.7/mlir/include/mlir/TableGen/
H A DInterfaces.h103 bool verifyWithRegions() const;
/llvm-project-15.0.7/mlir/lib/TableGen/
H A DInterfaces.cpp128 bool Interface::verifyWithRegions() const { in verifyWithRegions() function in Interface
/llvm-project-15.0.7/mlir/test/mlir-tblgen/
H A Dop-interface.td55 let verifyWithRegions = 1;
/llvm-project-15.0.7/mlir/tools/mlir-tblgen/
H A DOpInterfacesGen.cpp419 (interface.verifyWithRegions() ? "verifyRegionTrait" in emitTraitDecl()
/llvm-project-15.0.7/mlir/include/mlir/Interfaces/
H A DInferTypeOpInterface.td116 let verifyWithRegions = 1;
H A DControlFlowInterfaces.td207 let verifyWithRegions = 1;
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Linalg/IR/
H A DLinalgInterfaces.td37 let verifyWithRegions = 1;
1180 let verifyWithRegions = 1;
/llvm-project-15.0.7/mlir/docs/
H A DOpDefinitions.md588 `verifyWithRegions=0`.
594 `verifyWithRegions=1`. This implies the verifier needs to access the
/llvm-project-15.0.7/mlir/include/mlir/IR/
H A DOpBase.td1907 bit verifyWithRegions = 0;