[MLIR][Presburger] Use Matrix utilities for IntegerPolyhedron
authorGroverkss <groverkss@gmail.com>
Fri, 25 Feb 2022 12:05:09 +0000 (17:35 +0530)
committerGroverkss <groverkss@gmail.com>
Fri, 25 Feb 2022 12:05:13 +0000 (17:35 +0530)
commiteff51cf9f32a2837ded15b81cbc872b2c8386afc
tree48621fd0b5f48e2c900a9e68363cb41fcceac3a4
parent94ed8d48e38f5679ec2f9cad4d59017ea49c9e62
[MLIR][Presburger] Use Matrix utilities for IntegerPolyhedron

This patch replaces various functions over inequalities/equalities in
IntegerPolyhedron with Matrix functions already implementing them or refactors
them to a Matrix function.

Reviewed By: arjunp

Differential Revision: https://reviews.llvm.org/D120482
mlir/include/mlir/Analysis/Presburger/Matrix.h
mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp
mlir/lib/Analysis/Presburger/Matrix.cpp