summaryrefslogtreecommitdiffstats
path: root/mlir/lib/Analysis/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* [mlir] NFC: Remove Value::operator* and Value::operator-> now that Value is p...River Riddle2020-01-111-2/+2
* Adjust License.txt file to use the LLVM licenseMehdi Amini2019-12-231-13/+4
* NFC: Introduce new ValuePtr/ValueRef typedefs to simplify the transition to V...River Riddle2019-12-221-3/+3
* Add missing include to StringMap in Verifier and DialectConversion.Jacques Pienaar2019-10-191-0/+2
* Replace the implementation of Function and Module with FuncOp and ModuleOp.River Riddle2019-07-031-118/+2
* NFC: Move the Function/Module/Operation::verify methods out-of-line.River Riddle2019-07-021-31/+33
* NFC: Refactor Function to be value typed.River Riddle2019-07-011-7/+7
* Extract the automatic function renaming and symbol table out of Module.River Riddle2019-07-011-1/+12
* Move the emitError/Warning/Remark utility methods out of MLIRContext and into...River Riddle2019-06-251-3/+3
* Add a general Operation::verify that verifies an operation instance and the d...River Riddle2019-06-111-17/+45
* NFC: Cleanup FuncVerifier and refactor it into a general OperationVerifier. T...River Riddle2019-06-091-143/+138
* Add a utility function to OperationName for extracting the dialect name.River Riddle2019-06-031-3/+2
* Refactor FunctionAttr to hold the internal function reference by name ins...River Riddle2019-06-011-33/+0
* Simplify the emission of various diagnostics created in Analysis/ and Tra...River Riddle2019-05-101-2/+2
* Add the ability to attach notes to Diagnostic/InFlightDiagnostic.River Riddle2019-05-061-3/+3
* Update the dialect attribute verification hooks to return LogicalResult i...River Riddle2019-04-021-5/+5
* Rewrite the verify hooks on operations to use LogicalResult instead of bo...River Riddle2019-04-021-1/+1
* Update the Function and Module verifiers to return LogicalResult instead ...River Riddle2019-04-021-65/+64
* Add a flag to Dialect that allows for dialects to enable support for unre...River Riddle2019-04-011-10/+39
* Replace usages of Instruction with Operation in the /Analysis directory.River Riddle2019-03-291-27/+27
* Introduce affine terminatorAlex Zinenko2019-03-291-12/+1
* Replace usages of Instruction with Operation in the /IR directory.River Riddle2019-03-291-3/+3
* Rename the Instruction class to Operation. This just renames the class, usage...River Riddle2019-03-291-1/+1
* Various small cleanups to the code, mostly removing const_cast's.Chris Lattner2019-03-291-3/+3
* Remove const from Value, Instruction, Argument, and the various methods on theChris Lattner2019-03-291-6/+6
* Now that ConstOpPointer is gone, we can change the various methods generated byChris Lattner2019-03-291-1/+1
* Remove const from mlir::Block.Chris Lattner2019-03-291-7/+7
* Continue pushing const out of the core IR types - in this case, remove constChris Lattner2019-03-291-6/+6
* Continue pushing const out of the IR types - removing the notion of a 'constChris Lattner2019-03-291-1/+1
* Rename BlockList into RegionAlex Zinenko2019-03-291-4/+4
* Don't run verifyOperation in verifyDominance, as it is already run as part of...River Riddle2019-03-291-14/+11
* Change the TensorFlow attribute prefix from "tf$" to "tf." to match the speci...River Riddle2019-03-291-6/+2
* Fix dialect attribute hooks so that they accept a NamedAttribute instead of a...River Riddle2019-03-291-3/+3
* Introduce the notion of dialect attributes and dependent attributes. A dialec...River Riddle2019-03-291-7/+48
* Add support for named function argument attributes. The attribute dictionary ...River Riddle2019-03-291-9/+23
* Allow function names to have a leading underscore. This matches what is alrea...River Riddle2019-03-291-5/+5
* Validate the names of attribute, dialect, and functions during verification. ...River Riddle2019-03-291-33/+51
* Add a Function::isExternal utility to simplify checks for external functions.River Riddle2019-03-291-1/+1
* Remove the restriction that only registered terminator operations may termina...River Riddle2019-03-291-18/+36
* Begin the process of fully removing OperationInst. This patch cleans up refer...River Riddle2019-03-291-28/+15
* Fold the functionality of OperationInst into Instruction. OperationInst still...River Riddle2019-03-291-1/+1
* Define the AffineForOp and replace ForInst with it. This patch is largely mec...River Riddle2019-03-291-14/+0
* Recommit: Define a AffineOps dialect as well as an AffineIfOp operation. Repl...River Riddle2019-03-291-25/+0
* Automated rollback of changelist 231318632.Nicolas Vasilache2019-03-291-0/+25
* Define a AffineOps dialect as well as an AffineIfOp operation. Replace all in...River Riddle2019-03-291-25/+0
* Allow operations to hold a blocklist and add support for parsing/printing a b...River Riddle2019-03-291-7/+33
* Eliminate extfunc/cfgfunc/mlfunc as a concept, and just use 'func' instead.Chris Lattner2019-03-291-15/+2
* Merge the verifier logic for all functions into a unified framework, thisChris Lattner2019-03-291-216/+148
* Enhance parsing of CFG and Ext functions to optionally allow named arguments inChris Lattner2019-03-291-0/+5
* Tidy up references to "basic blocks" that should refer to blocks now. NFC.Chris Lattner2019-03-291-3/+3
OpenPOWER on IntegriCloud