forked from OSchip/llvm-project
33f574672f
This patch adds the capability to perform constraint redundancy checks for `FlatAffineConstraints` using `Simplex`, via a new member function `FlatAffineConstraints::removeRedundantConstraints`. The pre-existing redundancy detection algorithm runs a full rational emptiness check for each inequality separately for checking redundancy. Leveraging the existing `Simplex` infrastructure, in this patch we have an algorithm for redundancy checks that can check each constraint by performing pivots on the tableau, which provides an alternative to running Fourier-Motzkin elimination for each constraint separately. Differential Revision: https://reviews.llvm.org/D84935 |
||
|---|---|---|
| .. | ||
| Presburger | ||
| AffineAnalysis.cpp | ||
| AffineStructures.cpp | ||
| CMakeLists.txt | ||
| CallGraph.cpp | ||
| Liveness.cpp | ||
| LoopAnalysis.cpp | ||
| NestedMatcher.cpp | ||
| SliceAnalysis.cpp | ||
| Utils.cpp | ||