Home
last modified time | relevance | path

Searched refs:verifyInvariants (Results 1 – 12 of 12) sorted by relevance

/llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/IR/
H A DAffineOps.h245 LogicalResult verifyInvariants() { return verifyInvariantsImpl(); } in verifyInvariants() function
334 LogicalResult verifyInvariants() { return verifyInvariantsImpl(); } in verifyInvariants() function
/llvm-project-15.0.7/flang/tools/tco/
H A Dtco.cpp89 if (mlir::failed(owningRef->verifyInvariants())) { in compileFIR()
/llvm-project-15.0.7/mlir/include/mlir/Parser/
H A DParser.h69 if (failed(op.verifyInvariants())) in constructContainerOpForParserIfNecessary()
/llvm-project-15.0.7/mlir/lib/IR/
H A DVerifier.cpp186 if (registeredInfo && failed(registeredInfo->verifyInvariants(&op))) in verifyOperation()
H A DMLIRContext.cpp717 VerifyInvariantsFn &&verifyInvariants, in insert() argument
774 impl.verifyInvariantsFn = std::move(verifyInvariants); in insert()
/llvm-project-15.0.7/mlir/include/mlir/IR/
H A DOperationSupport.h275 VerifyInvariantsFn &&verifyInvariants,
306 LogicalResult verifyInvariants(Operation *op) const { in verifyInvariants() function
H A DOpDefinition.h1883 static LogicalResult verifyInvariants(Operation *op) {
1891 return static_cast<LogicalResult (*)(Operation *)>(&verifyInvariants);
/llvm-project-15.0.7/flang/lib/Frontend/
H A DFrontendActions.cpp118 if (!module || mlir::failed(module->verifyInvariants())) { in beginSourceFileAction()
/llvm-project-15.0.7/mlir/test/mlir-tblgen/
H A Dop-decl-and-defs.td103 // CHECK: ::mlir::LogicalResult verifyInvariants();
/llvm-project-15.0.7/mlir/lib/Target/SPIRV/Serialization/
H A DSerializer.cpp89 if (failed(module.verifyInvariants())) in serialize()
/llvm-project-15.0.7/mlir/docs/Tutorials/Toy/
H A DCh-2.md284 LogicalResult verifyInvariants();
/llvm-project-15.0.7/mlir/docs/
H A DOpDefinitions.md585 2. `verifyInvariants` which is constructed by ODS, it verifies the type,