| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
[mlir:FunctionOpInterface] Rename the "type" attribute to "function_type" This removes any potential confusion with the getType accessors which correspond to SSA results of an operation, and makes it clear what the intent is (i.e. to represent the type of the function). Differential Revision: https://reviews.llvm.org/D121762 | 4 年前 | |
[mlir][spirv] Rename spv.GLSL ops to spv.GL. NFC. This is to improve consistency within the SPIR-V dialect and make these ops a bit shorter. Reviewed By: antiagainst Differential Revision: https://reviews.llvm.org/D130280 | 3 年前 | |
[mlir][NFC] Update textual references of func to func.func in examples+python scripts The special case parsing of func operations is being removed. | 4 年前 | |
[mlir:LSP] Add a quickfix code action for inserting expected-* diagnostic checks This allows for automatically inserting expected checks for parser and verifier diagnostics, which simplifies the workflow when building new dialect constructs or extending existing ones. Differential Revision: https://reviews.llvm.org/D130152 | 3 年前 | |
Revert "[MLIR] Generic 'malloc', 'aligned_alloc' and 'free' functions" This reverts commit 3e21fb616d9a1b29bf9d1a1ba484add633d6d5b3. A lot of integration tests are failing on the bot. | 3 年前 | |
[mlir] Split out a new ControlFlow dialect from Standard This dialect is intended to model lower level/branch based control-flow constructs. The initial set of operations are: AssertOp, BranchOp, CondBranchOp, SwitchOp; all split out from the current standard dialect. See https://discourse.llvm.org/t/standard-dialect-the-final-chapter/6061 Differential Revision: https://reviews.llvm.org/D118966 | 4 年前 | |
[mlir][tblgen] Add support for extraClassDefinition in AttrDef For AttrDef declarations, place specified code in extraClassDefinition into the generated *.cpp.inc file. Reviewed By: Mogball, rriddle Differential Revision: https://reviews.llvm.org/D129574 | 3 年前 | |
[mlir][NFC] Update textual references of func to func.func in examples+python scripts The special case parsing of func operations is being removed. | 4 年前 | |
[mlir][bufferize][NFC] Remove BufferizationState With the recent refactorings, this class is no longer needed. We can use BufferizationOptions in all places were BufferizationState was used. Differential Revision: https://reviews.llvm.org/D127653 | 3 年前 | |
[mlir] support interfaces in Python bindings Introduce the initial support for operation interfaces in C API and Python bindings. Interfaces are a key component of MLIR's extensibility and should be available in bindings to make use of full potential of MLIR. This initial implementation exposes InferTypeOpInterface all the way to the Python bindings since it can be later used to simplify the operation construction methods by inferring their return types instead of requiring the user to do so. The general infrastructure for binding interfaces is defined and InferTypeOpInterface can be used as an example for binding other interfaces. Reviewed By: gysit Differential Revision: https://reviews.llvm.org/D111656 | 4 年前 | |
Remove CMake configuration for Sphinx targets in MLIR MLIR does not have a Sphinx configuration, this is just leading to build failures at the moment. The website https://mlir.llvm.org/ is using the Hugo generator to process the markdown files. | 6 年前 | |
[mlir:docs] Add proper documentation for defining dialects We don't actually have any documentation today for how to declaratively define a dialect. This commit rectifies that and properly documents how to define a Dialect in tablegen, and details all of the possible fields. Differential Revision: https://reviews.llvm.org/D123258 | 4 年前 | |
[mlir][NFC] Fix the tags for various doc code blocks | 4 年前 | |
[mlir][doc] Fix links and references in top level docs directory This is the fourth and final patch in a series of patches fixing markdown links and references inside the mlir documentation. This patch combined with the other three should fix almost every broken link on mlir.llvm.org as far as I can tell. This patch in particular addresses all Markdown files in the top level docs directory. Differential Revision: https://reviews.llvm.org/D103032 | 4 年前 | |
[mlir-tblgen] Support either in Tablegen DRR. Add a new directive either to specify the operands can be matched in either order Reviewed By: jpienaar, Mogball Differential Revision: https://reviews.llvm.org/D110666 | 4 年前 | |
[mlir][doc] Move documentation of extensible dialects Merge the documentation of the definition of extensible dialects with the definition of dialects. Reviewed By: rriddle Differential Revision: https://reviews.llvm.org/D125200 | 4 年前 | |
[mlir] Add support for regex within expected-* diagnostics This can be enabled by using a -re suffix when defining the expected line, e.g. expected-error-re. This support is similar to what clang provides in its "expected" diagnostic framework(e.g. the -re is also the same). The regex definitions themselves are similar to FileCheck in that regex blocks are specified within {{ }} blocks. Differential Revision: https://reviews.llvm.org/D129343 | 3 年前 | |
[mlir:NFC] Remove the forward declaration of FuncOp in the mlir namespace FuncOp has been moved to the func namespace for a little over a month, the using directive can be dropped now. | 4 年前 | |
[mlir][NFC] Fix the tags for various doc code blocks | 4 年前 | |
[mlir:Parser] Don't use strings for the "ugly" form of Attribute/Type syntax This commit refactors the syntax of "ugly" attribute/type formats to not use strings for wrapping. This means that moving forward attirbutes and type formats will always need to be in some recognizable form, i.e. if they use incompatible characters they will need to manually wrap those in a string, the framework will no longer do it automatically. This has the benefit of greatly simplifying how parsing attributes/types work, given that we currently rely on some extremely complicated nested parser logic which is quite problematic for a myriad of reasons; unecessary complexity(we create a nested source manager/lexer/etc.), diagnostic locations can be off/wrong given string escaping, etc. Differential Revision: https://reviews.llvm.org/D118505 | 3 年前 | |
[mlir][NFC] Fix the tags for various doc code blocks | 4 年前 | |
[mlir][ods] Make Type- and AttrInterfaces also Types and Attrs By making TypeInterfaces and AttrInterfaces, Types and Attrs respectively it'd then be possible to use them anywhere where a Type or Attr may go. That is within the arguments and results of an Op definition, in a RewritePattern etc. Prior to this change users had to separately define a Type or Attr, with a predicate to check whether a type or attribute implements a given interface. Such code will be redundant now. Removing such occurrences in upstream dialects will be part of a separate patch. As part of implementing this patch, slight refactoring had to be done. In particular, Interfaces cppClassName field was renamed to cppInterfaceName as it "clashed" with TypeConstraints cppClassName. In particular Interfaces cppClassName expected just the class name, without any namespaces, while TypeConstraints cppClassName expected a fully qualified class name. Differential Revision: https://reviews.llvm.org/D129209 | 3 年前 | |
[mlir][docs] Fix pass manager document The code example for pass manager incorrectly uses nestedFunctionPM instead of nestedAnyPm for adding CSE and Canonicalize Passes. This diff fixes it by changing it to nestedAnyPm. Reviewed By: rriddle Differential Revision: https://reviews.llvm.org/D130110 | 3 年前 | |
[mlir][doc] Move pass to passes list and remove redundant doc The types are already included in the dialect doc (the attributes is not properly yet, so retaining). | 3 年前 | |
[mlir][doc] Fix usage of PatternApplicator. The constructor of PatternApplicator doesn't have a constructor that accepts only a RewritePatternSet as currently used in the example code in PatternRewriter.md. Instead, one has to turn it into a FrozenRewritePatternSet. Reviewed By: nicolasvasilache Differential Revision: https://reviews.llvm.org/D125236 | 3 年前 | |
Fix invalid math formulas in quantization doc A single backslash is not properly escaped in the web documentation. We can make sure to escape for rendering subscripts. Additionally, it also fixed the mal-formed equations in //"Affine to fixed point"// and //"Fixed point to affine"// sections. With this fix, the page is rendered as follows. Reviewed By: mehdi_amini Differential Revision: https://reviews.llvm.org/D101252 | 4 年前 | |
[mlir] Add short readme.txt to docs directory Summary: Refer folks to the main website and make it explicit that the rendered output is what is of interest and that the GitHub viewing experience may not match (even though we are trying to keep it as close as possible, the renderers do differ). Differential Revision: https://reviews.llvm.org/D74739 | 6 年前 | |
[mlir][spirv] Rename spv.GLSL ops to spv.GL. NFC. This is to improve consistency within the SPIR-V dialect and make these ops a bit shorter. Reviewed By: antiagainst Differential Revision: https://reviews.llvm.org/D130280 | 3 年前 | |
[mlir][docs] Fix obvious spelling mistakes in documentation | 4 年前 | |
[mlir][NFC] Update textual references of func to func.func in examples+python scripts The special case parsing of func operations is being removed. | 4 年前 | |
[MLIR] Generic 'malloc', 'aligned_alloc' and 'free' functions When converted to the LLVM dialect, the memref.alloc and memref.free operations were generating calls to hardcoded 'malloc' and 'free' functions. This didn't leave any freedom to users to provide their custom implementation. Those operations now convert into calls to '_mlir_alloc' and '_mlir_free' functions, which have also been implemented into the runtime support library as wrappers to 'malloc' and 'free'. The same has been done for the 'aligned_alloc' function. Reviewed By: ftynse Differential Revision: https://reviews.llvm.org/D128791 | 3 年前 | |
[mlir] Support verification order (2/3) This change gives explicit order of verifier execution and adds hasRegionVerifier and verifyWithRegions to increase the granularity of verifier classification. The orders are as below, 1. InternalOpTrait will be verified first, they can be run independently. 2. verifyInvariants which is constructed by ODS, it verifies the type, attributes, .etc. 3. Other Traits/Interfaces that have marked their verifier as verifyTrait or verifyWithRegions=0. 4. Custom verifier which is defined in the op and has marked hasVerifier=1 If an operation has regions, then it may have the second phase, 5. Traits/Interfaces that have marked their verifier as verifyRegionTrait or verifyWithRegions=1. This implies the verifier needs to access the operations in its regions. 6. Custom verifier which is defined in the op and has marked hasRegionVerifier=1 Note that the second phase will be run after the operations in the region are verified. Based on the verification order, you will be able to avoid verifying duplicate things. Reviewed By: Mogball Differential Revision: https://reviews.llvm.org/D116789 | 4 年前 | |
[mlir] Bootstrap doxygen config Add basic doxygen config following clang and llvm example with minimal changes. | 6 年前 | |
[mlir] use dynamic sections in MLIR Doxygen Due to an apparent bug in the Doxygen version <1.8.16 used to generate documentation for MLIR, parts of the navigation (specifically, the lists of inherited methods for classes) are unusable due to dynsections.js missing from the output generated by Doxygen. Setting this flag makes Doxygen always produce the file. | 4 年前 |
MLIR documentation
Please note mlir.llvm.org is where MLIR's rendered documentation is displayed. The viewing experience on GitHub or elsewhere may not match those of the website. For any changes please verify instead that they work on the main website first.
See https://github.com/llvm/mlir-www for the website generation information.