Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/include/mlir/IR/
H A DOpDefinition.h370 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
380 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
399 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
456 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
497 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
548 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
622 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
907 if (failed(Base::verifyTrait(op))) in verifyRegionTrait()
1570 verifyTrait(Operation *op) {
1571 return T::verifyTrait(op);
[all …]
H A DFunctionInterfaces.h209 LogicalResult verifyTrait(ConcreteOp op) { in verifyTrait() function
H A DFunctionInterfaces.td598 let verify = "return function_interface_impl::verifyTrait(cast<ConcreteOp>($_op));";
/llvm-project-15.0.7/mlir/include/mlir/Dialect/DLTI/
H A DTraits.h31 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Transform/IR/
H A DTransformInterfaces.h595 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
666 static LogicalResult verifyTrait(Operation *op);
734 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
760 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
954 mlir::transform::TransformEachOpTrait<OpTy>::verifyTrait(Operation *op) { in verifyTrait() function
/llvm-project-15.0.7/mlir/include/mlir/Dialect/
H A DTraits.h91 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
/llvm-project-15.0.7/mlir/include/mlir/Interfaces/
H A DControlFlowInterfaces.h266 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
/llvm-project-15.0.7/mlir/test/mlir-tblgen/
H A Dop-interface.td82 // DECL: verifyTrait
/llvm-project-15.0.7/mlir/docs/
H A DTraits.md39 Operation traits may also provide a `verifyTrait` or `verifyRegionTrait` hook
50 /// Override the 'verifyTrait' hook to add additional verification on the
52 static LogicalResult verifyTrait(Operation *op) {
59 `verifyTrait` or `verifyRegionTrait` hook out-of-line as a free function when
H A DDiagnostics.md196 …r::OpTrait::HasParent<mlir::ModuleOp>::Impl<mlir::ModuleTerminatorOp>::verifyTrait(mlir::Operation…
197 …erminatorOp>, mlir::OpTrait::IsTerminator<mlir::ModuleTerminatorOp> >::verifyTrait(mlir::Operation…
H A DInterfaces.md414 [`Trait::verifyTrait`](Traits.md) method.
H A DOpDefinitions.md587 3. Other Traits/Interfaces that have marked their verifier as `verifyTrait` or