llvm-project/mlir/lib/Analysis
Groverkss 8eebb47f97 [MLIR][Presburger] Update equality and subset checks asserts in IntegerRelation
This patch updates asserts in IntegerRelation::isEqual and
IntegerRelation::isCompatible to allow these functions when number of
local identifiers are different. This change is done to reflect the
algorithmic changes done before this patch.
2022-05-22 01:26:41 +05:30
..
AliasAnalysis [mlir] Add support for operation-produced successor arguments in BranchOpInterface 2022-04-08 08:28:16 +02:00
Presburger [MLIR][Presburger] Update equality and subset checks asserts in IntegerRelation 2022-05-22 01:26:41 +05:30
AliasAnalysis.cpp [mlir] Add support for querying the ModRef behavior from the AliasAnalysis class 2021-05-27 13:57:29 -07:00
BufferViewFlowAnalysis.cpp [mlir] Add support for operation-produced successor arguments in BranchOpInterface 2022-04-08 08:28:16 +02:00
CMakeLists.txt [mlir:Analysis] Move the LoopAnalysis library to Dialect/Affine/Analysis 2022-01-18 10:28:22 -08:00
CallGraph.cpp [mlir] Update SCCP and the Inliner to use SymbolTableCollection for symbol lookups 2020-10-16 12:08:48 -07:00
DataFlowAnalysis.cpp [mlir] Allow data flow analysis of non-control flow branch arguments 2022-04-25 20:19:34 +00:00
DataLayoutAnalysis.cpp [mlir] support memref of memref in standard-to-llvm conversion 2021-06-08 11:11:31 +02:00
Liveness.cpp Apply clang-tidy fixes for modernize-use-equals-default to MLIR (NFC) 2022-01-02 22:18:36 +00:00
SliceAnalysis.cpp [mlir:Analysis] Move the LoopAnalysis library to Dialect/Affine/Analysis 2022-01-18 10:28:22 -08:00