[MLIR][Presburger] Refactor duplicate division merging to Utils
authorGroverkss <groverkss@gmail.com>
Mon, 24 Jan 2022 12:41:55 +0000 (18:11 +0530)
committerGroverkss <groverkss@gmail.com>
Mon, 24 Jan 2022 12:42:13 +0000 (18:12 +0530)
commitb754d09fde0b5f82acfd1d5e0423271823db4905
tree6bb09b454df8f1493b3b252a6cde49b2a8e72a2b
parent70f83f308449710a55c4898f18f06949df2d1559
[MLIR][Presburger] Refactor duplicate division merging to Utils

This patch moves merging of duplicate divisions to presburger utility
functions. This is required to support division merging in structures other
than IntegerPolyhedron.

Reviewed By: arjunp

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