forked from OSchip/llvm-project
178562fb35
Summary: Add method in ODS to specify verification for operations implementing a OpInterface. Use this with infer type op interface to verify that the inferred type matches the return type and remove special case in TestPatterns. This could also have been achieved by using OpInterfaceMethod but verify seems pretty common and it is not an arbitrary method that just happened to be named verifyTrait, so having it be defined in special way seems appropriate/better documenting. Differential Revision: https://reviews.llvm.org/D73122 |
||
|---|---|---|
| .. | ||
| Dialects | ||
| Tutorials/Toy | ||
| includes/img | ||
| Canonicalization.md | ||
| ConversionToLLVMDialect.md | ||
| DeclarativeRewrites.md | ||
| DefiningAttributesAndTypes.md | ||
| Diagnostics.md | ||
| DialectConversion.md | ||
| EDSC.md | ||
| GenericDAGRewriter.md | ||
| Interfaces.md | ||
| LangRef.md | ||
| MLIRForGraphAlgorithms.md | ||
| OpDefinitions.md | ||
| Passes.md | ||
| Quantization.md | ||
| QuickstartRewrites.md | ||
| Rationale.md | ||
| RationaleSimplifiedPolyhedralForm.md | ||
| ShapeInference.md | ||
| Traits.md | ||
| UsageOfConst.md | ||
| WritingAPass.md | ||