Kunwar Shaanjeet Singh Grover 0f78ece169 [MLIR] Add functionality to remove redundant local variables ... This patch adds functionality to FlatAffineConstraints to remove local variables using equalities. This helps in keeping output representation of FlatAffineConstraints smaller. This patch is part of a series of patches aimed at generalizing affine dependence analysis. Reviewed By: bondhugula Differential Revision: https://reviews.llvm.org/D110056		2021-09-25 16:10:43 +05:30
..
Presburger	[MLIR] Simplex::appendVariable: early return if count == 0	2021-09-20 13:16:56 +05:30
AffineStructuresTest.cpp	[MLIR] Add functionality to remove redundant local variables	2021-09-25 16:10:43 +05:30
CMakeLists.txt	Support emptiness checks for unbounded FlatAffineConstraints.	2021-01-14 19:33:37 +01:00
LinearTransformTest.cpp	[MLIR] Add support for extracting an integer sample point (if one exists) from an unbounded FlatAffineConstraints.	2021-01-22 22:28:38 +05:30
PresburgerSetTest.cpp	[MLIR] PresburgerSet: support divisions in operations	2021-09-24 15:36:47 +05:30