Dimitrios Vytiniotis a60ba7d908 Supporting conversion of argument attributes along their types. ... This fixes a bug: previously, during conversion function argument attributes were neither beings passed through nor converted. This fix extends DialectConversion to allow for simultaneous conversion of the function type and the argument attributes. This was important when lowering MLIR to LLVM where attribute information (e.g. noalias) needs to be preserved in MLIR(LLVMDialect). Longer run it seems reasonable that we want to convert both the function attribute and its type and the argument attributes, but that requires a small refactoring in Function.h to aggregate these three fields in an inner struct, which will require some discussion. PiperOrigin-RevId: 236709409		2019-03-29 16:55:51 -07:00
..
AffineOps	NFC. Move all of the remaining operations left in BuiltinOps to StandardOps. The only thing left in BuiltinOps are the core MLIR types. The standard types can't be moved because they are referenced within the IR directory, e.g. in things like Builder.	2019-03-29 16:53:35 -07:00
Analysis	Introduce the notion of dialect attributes and dependent attributes. A dialect attribute derives its context from a specific dialect, whereas a dependent attribute derives context from what it is attached to. Following this, we now enforce that functions and function arguments may only contain dialect specific attributes. These are generic entities and cannot provide any specific context for a dependent attribute.	2019-03-29 16:55:05 -07:00
Dialect	Add binary broadcastable builder.	2019-03-29 16:23:38 -07:00
EDSC	Set the namespace of the StandardOps dialect to "std", but add a special case to the parser to allow parsing standard operations without the "std" prefix. This will now allow for the standard dialect to be looked up dynamically by name.	2019-03-29 16:54:20 -07:00
ExecutionEngine	Remove PassResult and have the runOnFunction/runOnModule functions return void instead. To signal a pass failure, passes should now invoke the 'signalPassFailure' method. This provides the equivalent functionality when needed, but isn't an intrusive part of the API like PassResult.	2019-03-29 16:50:44 -07:00
IR	Supporting conversion of argument attributes along their types.	2019-03-29 16:55:51 -07:00
LLVMIR	Supporting conversion of argument attributes along their types.	2019-03-29 16:55:51 -07:00
Parser	Introduce the notion of dialect attributes and dependent attributes. A dialect attribute derives its context from a specific dialect, whereas a dependent attribute derives context from what it is attached to. Following this, we now enforce that functions and function arguments may only contain dialect specific attributes. These are generic entities and cannot provide any specific context for a dependent attribute.	2019-03-29 16:55:05 -07:00
Pass	Add a 'verifyPasses' flag to the PassManager that specifies if the IR should be verified after each pass. This also adds a "verify-each" flag to mlir-opt to optionally disable running the verifier after each pass.	2019-03-29 16:55:35 -07:00
StandardOps	Set the namespace of the StandardOps dialect to "std", but add a special case to the parser to allow parsing standard operations without the "std" prefix. This will now allow for the standard dialect to be looked up dynamically by name.	2019-03-29 16:54:20 -07:00
SuperVectorOps	Remove remaining references to OperationInst in all directories except for lib/Transforms.	2019-03-29 16:10:38 -07:00
Support	Extract openInputFile() into Support/FileUtilities	2019-03-29 15:09:11 -07:00
TableGen	[TableGen] Use ArrayRef instead of SmallVectorImpl for suitable method	2019-03-29 16:41:35 -07:00
Target/LLVMIR	Use consistent names for dialect op source files	2019-03-29 16:53:19 -07:00
Transforms	Supporting conversion of argument attributes along their types.	2019-03-29 16:55:51 -07:00
Translation	Separate translators into "from MLIR" and "to MLIR".	2019-03-29 14:06:33 -07:00