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 |
||
|---|---|---|
| .. | ||
| Analysis | ||
| Bindings | ||
| CAPI | ||
| Conversion | ||
| Dialect | ||
| EDSC | ||
| ExecutionEngine | ||
| IR | ||
| Interfaces | ||
| Parser | ||
| Pass | ||
| Reducer | ||
| Support | ||
| TableGen | ||
| Target | ||
| Transforms | ||
| Translation | ||
| CMakeLists.txt | ||