llvm-project/mlir/lib/IR
Nicolas Vasilache 93a873dfc9 [mlir][Affine] Revisit and simplify composeAffineMapAndOperands.
In prehistorical times, AffineApplyOp was allowed to produce multiple values.
This allowed the creation of intricate SSA use-def chains.
AffineApplyNormalizer was originally introduced as a means of reusing the AffineMap::compose method to write SSA use-def chains.
Unfortunately, symbols that were produced by an AffineApplyOp needed to be promoted to dims and reordered for the mathematical composition to be valid.

Since then, single result AffineApplyOp became the law of the land but the original assumptions were not revisited.

This revision revisits these assumptions and retires AffineApplyNormalizer.

Differential Revision: https://reviews.llvm.org/D94920
2021-01-19 13:52:07 +00:00
..
AffineExpr.cpp [mlir][Affine] Revisit and simplify composeAffineMapAndOperands. 2021-01-19 13:52:07 +00:00
AffineExprDetail.h [mlir] Remove the use of "kinds" from Attributes and Types 2020-08-18 16:20:14 -07:00
AffineMap.cpp [mlir][Affine] Revisit and simplify composeAffineMapAndOperands. 2021-01-19 13:52:07 +00:00
AffineMapDetail.h Mass update the MLIR license header to mention "Part of the LLVM project" 2020-01-26 03:58:30 +00:00
AsmPrinter.cpp [mlir][AsmPrinter] Properly escape strings when printing locations 2021-01-15 17:14:57 -08:00
AttributeDetail.h [mlir][Attributes][NFC] Move all builtin Attribute classes to BuiltinAttributes.h 2020-12-03 18:02:11 -08:00
Attributes.cpp [mlir] Remove the MutableDictionaryAttr class 2020-12-17 17:18:42 -08:00
Block.cpp [mlir][PDL] Add support for PDL bytecode and expose PDL support to OwningRewritePatternList 2020-12-01 15:05:50 -08:00
Builders.cpp [mlir] Add better support for f80 and f128 2021-01-15 10:29:48 -05:00
BuiltinAttributes.cpp [mlir] Remove the MutableDictionaryAttr class 2020-12-17 17:18:42 -08:00
BuiltinDialect.cpp [mlir] Add better support for f80 and f128 2021-01-15 10:29:48 -05:00
BuiltinTypes.cpp [mlir] Add better support for f80 and f128 2021-01-15 10:29:48 -05:00
CMakeLists.txt [mlir][IR] Define the singleton builtin types in ODS instead of C++ 2020-12-15 13:42:19 -08:00
Diagnostics.cpp [mlir][Attribute] Remove usages of Attribute::getKind 2020-08-07 13:43:25 -07:00
Dialect.cpp [mlir][IR][NFC] Move context/location parameters of builtin Type::get methods to the start of the parameter list 2020-12-17 13:01:36 -08:00
Dominance.cpp [mlir] Fix post-dominance between blocks of different regions. 2020-11-11 11:20:53 -08:00
FunctionImplementation.cpp [MLIR] Disallow `sym_visibility`, `sym_name` and `type` attributes in the parsed attribute dictionary. 2021-01-12 09:11:02 -08:00
FunctionSupport.cpp [mlir] Remove the MutableDictionaryAttr class 2020-12-17 17:18:42 -08:00
IntegerSet.cpp [MLIR][NFC] drop some unnecessary includes 2020-03-27 09:17:27 +05:30
IntegerSetDetail.h Mass update the MLIR license header to mention "Part of the LLVM project" 2020-01-26 03:58:30 +00:00
Location.cpp [mlir] Remove the use of "kinds" from Attributes and Types 2020-08-18 16:20:14 -07:00
LocationDetail.h [mlir][NFC] Refactor ClassID into a TypeID class. 2020-04-10 23:52:33 -07:00
MLIRContext.cpp [mlir] Add better support for f80 and f128 2021-01-15 10:29:48 -05:00
Operation.cpp [mlir] Mark methods from mlir::OpState that just forward to mlir::Operation as deprecated. 2021-01-07 09:08:47 +01:00
OperationSupport.cpp [mlir] Remove the MutableDictionaryAttr class 2020-12-17 17:18:42 -08:00
PatternMatch.cpp [mlir][PatternRewriter] Add a new hook to selectively replace uses of an operation 2021-01-14 11:58:21 -08:00
Region.cpp [NFC] Add getArgumentTypes() to Region 2020-07-28 18:27:42 -07:00
RegionKindInterface.cpp [MLIR] Add RegionKindInterface 2020-07-15 14:27:05 -07:00
SymbolTable.cpp [mlir] Remove the MutableDictionaryAttr class 2020-12-17 17:18:42 -08:00
TypeDetail.h [mlir][IR][NFC] Move the definitions of Complex/Function/Integer/Opaque/TupleType to ODS 2021-01-11 12:06:22 -08:00
TypeRange.cpp [mlir] Add an assertion on creating an Operation with null result types 2020-11-19 22:28:38 +01:00
TypeUtilities.cpp [mlir][Types][NFC] Move all of the builtin Type classes to BuiltinTypes.h 2020-12-03 18:02:10 -08:00
Types.cpp [mlir] Add better support for f80 and f128 2021-01-15 10:29:48 -05:00
Value.cpp [AsmPrinter] Make OpAsmPrinter::printFunctionalType be resilient to null values. 2021-01-06 20:59:24 -08:00
Verifier.cpp Improve the verifier diagnostic on dominance error 2020-12-16 22:05:17 +00:00
Visitors.cpp [MLIR] Support walks over regions and blocks 2020-11-04 12:50:05 +00:00