diff options
| author | Michel Weber <michel.weber@inf.ethz.ch> | 2021-12-09 15:46:31 +0530 |
|---|---|---|
| committer | Arjun P <arjunpitchanathan@gmail.com> | 2021-12-09 15:46:31 +0530 |
| commit | 45ea542dd82216364a144324c44ff82caf905a58 (patch) | |
| tree | 965435389e286a0b62b48c8d821a274936d32cac /llvm/lib/Object/ArchiveWriter.cpp | |
| parent | d82c1f4e4b72e3f90476bda9341b2a5cbff389b9 (diff) | |
| download | llvm-45ea542dd82216364a144324c44ff82caf905a58.zip llvm-45ea542dd82216364a144324c44ff82caf905a58.tar.gz llvm-45ea542dd82216364a144324c44ff82caf905a58.tar.bz2 | |
[MLIR] Introduce coalesce for PresburgerSet
This patch provides functionality for simplifying `PresburgerSet`s by checking if any `FlatAffineConstraints` in the set is contained in another, and removing such redundant FACs.
This is part of a series of patches to provide functionality for [integer set coalescing](http://impact.gforge.inria.fr/impact2015/papers/impact2015-verdoolaege.pdf) in MLIR.
Reviewed By: arjunp
Differential Revision: https://reviews.llvm.org/D110617
Diffstat (limited to 'llvm/lib/Object/ArchiveWriter.cpp')
0 files changed, 0 insertions, 0 deletions