diff options
| author | Michel Weber <michel.weber@inf.ethz.ch> | 2022-03-03 23:18:16 +0530 |
|---|---|---|
| committer | Groverkss <groverkss@gmail.com> | 2022-03-04 13:02:36 +0530 |
| commit | d1a051f926de6792d1694f2e432d4f7a123cbf87 (patch) | |
| tree | 039369444e5e20af2d5b3393c3ab1df1d62ccc33 /lldb/source/Plugins/ScriptInterpreter/Python/PythonReadline.cpp | |
| parent | 9c300c18a4eaf79eb7044744bbdb705764579220 (diff) | |
| download | llvm-d1a051f926de6792d1694f2e432d4f7a123cbf87.zip llvm-d1a051f926de6792d1694f2e432d4f7a123cbf87.tar.gz llvm-d1a051f926de6792d1694f2e432d4f7a123cbf87.tar.bz2 | |
[MLIR][Presburger] support a heuristic for the "cut case" in coalesce
This patch introduces the cut case. If one polytope has only cutting and
redundant inequalities for the other and the facet of the cutting
inequalities are contained within the other polytope, then the polytopes are
be combined into a polytope consisting only of their respective
redundant constraints.
Reviewed By: arjunp
Differential Revision: https://reviews.llvm.org/D120614
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/PythonReadline.cpp')
0 files changed, 0 insertions, 0 deletions