projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e9439e) | patch
[MLIR][Presburger][NFC] Refactor redundant code in fourierMotzkinEliminate
authorGroverkss <groverkss@gmail.com>
Fri, 25 Feb 2022 10:10:20 +0000 (15:40 +0530)
committerGroverkss <groverkss@gmail.com>
Fri, 25 Feb 2022 10:10:38 +0000 (15:40 +0530)
commitaefd6b9f5a9c7d06928f035abd92573431c91bef
treefe19e49c00c84b0b12dfb61d8d480e7cbfda9062tree | snapshot
parent2e9439e4891c3d427c0fed477b54f3da2ff8ec28commit | diff
[MLIR][Presburger][NFC] Refactor redundant code in fourierMotzkinEliminate

This patch removes redundant code from fourierMotzkinEliminate implementation
using existing functions in IntegerPolyhedron.

Reviewed By: arjunp

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