| /llvm-project/mlir/include/mlir/IR/ |
| H A D | OpDefinition.h | 434 static LogicalResult verifyTrait(Operation *op) {
444 static LogicalResult verifyTrait(Operation *op) {
463 static LogicalResult verifyTrait(Operation *op) {
482 static LogicalResult verifyTrait(Operation *op) {
500 static LogicalResult verifyTrait(Operation *op) {
520 static LogicalResult verifyTrait(Operation *op) {
561 static LogicalResult verifyTrait(Operation *op) {
577 static LogicalResult verifyTrait(Operation *op) {
592 static LogicalResult verifyTrait(Operation *op) {
612 static LogicalResult verifyTrait(Operatio
[all...] |
| /llvm-project/mlir/include/mlir/Dialect/Linalg/TransformOps/ |
| H A D | LinalgMatchOps.h | 28 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
|
| /llvm-project/mlir/include/mlir/Dialect/Transform/Interfaces/ |
| H A D | MatchInterfaces.h | 59 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
134 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
|
| H A D | TransformInterfaces.h | 1149 static LogicalResult verifyTrait(Operation *op) {
1230 static LogicalResult verifyTrait(Operation *op);
1310 static LogicalResult verifyTrait(Operation *op) { in verifyTrait()
1341 static LogicalResult verifyTrait(Operation *op) { in verifyTrait()
1378 static LogicalResult verifyTrait(Operation *op) {
1602 mlir::transform::TransformEachOpTrait<OpTy>::verifyTrait(Operation *op) { in verifyTrait()
1145 static LogicalResult verifyTrait(Operation *op) { verifyTrait() function
1306 static LogicalResult verifyTrait(Operation *op) { verifyTrait() function
1337 static LogicalResult verifyTrait(Operation *op) { verifyTrait() function
1374 static LogicalResult verifyTrait(Operation *op) { verifyTrait() function
1598 mlir::transform::TransformEachOpTrait<OpTy>::verifyTrait(Operation *op) { verifyTrait() function
|
| /llvm-project/mlir/include/mlir/Dialect/DLTI/ |
| H A D | Traits.h | 32 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
|
| /llvm-project/mlir/include/mlir/Dialect/ |
| H A D | Traits.h | 91 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
|
| /llvm-project/mlir/include/mlir/Dialect/IRDL/IR/ |
| H A D | IRDLTraits.h | 35 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
|
| /llvm-project/mlir/include/mlir/Dialect/Tosa/IR/ |
| H A D | TosaOps.h | 56 static LogicalResult verifyTrait(Operation *op) { in verifyTrait()
109 static LogicalResult verifyTrait(Operation *op) {
119 static LogicalResult verifyTrait(Operation *op) {
130 static LogicalResult verifyTrait(Operation *op) {
55 static LogicalResult verifyTrait(Operation *op) { verifyTrait() function
|
| /llvm-project/mlir/include/mlir/Interfaces/ |
| H A D | LoopLikeInterface.h | 45 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
|
| H A D | ControlFlowInterfaces.h | 310 static LogicalResult verifyTrait(Operation *op) { in verifyTrait() function
|
| H A D | FunctionInterfaces.h | 158 LogicalResult verifyTrait(ConcreteOp op) { in verifyTrait() function
|
| H A D | FunctionInterfaces.td | 560 let verify = "return function_interface_impl::verifyTrait(cast<ConcreteOp>($_op));";
|
| /llvm-project/mlir/docs/Traits/ |
| H A D | _index.md | 39 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
|
| /llvm-project/mlir/test/mlir-tblgen/ |
| H A D | op-interface.td | 177 // DECL: verifyTrait
|
| /llvm-project/mlir/docs/ |
| H A D | Diagnostics.md | 214 #5 0x000055dd3f96b01c mlir::OpTrait::HasParent<mlir::ModuleOp>::Impl<mlir::ModuleTerminatorOp>::verifyTrait(mlir::Operation*) /mlir/IR/OpDefinition.h:897:18
215 #6 0x000055dd3f96ab38 mlir::Op<mlir::ModuleTerminatorOp, mlir::OpTrait::ZeroOperands, mlir::OpTrait::ZeroResults, mlir::OpTrait::HasParent<mlir::ModuleOp>::Impl, mlir::OpTrait::IsTerminator>::BaseVerifier<mlir::OpTrait::HasParent<mlir::ModuleOp>::Impl<mlir::ModuleTerminatorOp>, mlir::OpTrait::IsTerminator<mlir::ModuleTerminatorOp> >::verifyTrait(mlir::Operation*) /mlir/IR/OpDefinition.h:1052:29
|
| H A D | Interfaces.md | 447 [`Trait::verifyTrait`](Traits) method.
|
| /llvm-project/mlir/docs/DefiningDialects/ |
| H A D | Operations.md | 663 3. Other Traits/Interfaces that have marked their verifier as `verifyTrait` or
|