projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10bb623) | patch
[MLIR][Presburger] remove redundant constraints in coalesce
authorMichel Weber <michel.weber@inf.ethz.ch>
Sun, 20 Mar 2022 12:59:05 +0000 (12:59 +0000)
committerArjun P <arjunpitchanathan@gmail.com>
Sun, 20 Mar 2022 13:00:12 +0000 (13:00 +0000)
commit9d6a6fbbbde983aede6805b8c9dedf410b9dfaad
tree846a17182331aeefd0ab6524939f19a0a50d3b24tree | snapshot
parent10bb62319281c76827d6eda1ee70d4bac7e35935commit | diff
[MLIR][Presburger] remove redundant constraints in coalesce

This patch improves the representation size of individual
`IntegerRelation`s by calling the function
`IntegerRelation::removeRedundantConstraints`. While this is only a
slight optimization in the current version, it will be necessary for
patches to come.

Reviewed By: arjunp

Differential Revision: https://reviews.llvm.org/D121989
mlir/lib/Analysis/Presburger/PresburgerRelation.cpp diff | blob | history
Domain: System / Toolchain;