[MLIR][Presburger][Simplex] symbolic lexmin: add some normalization heuristics
authorArjun P <arjunpitchanathan@gmail.com>
Sun, 10 Apr 2022 20:09:13 +0000 (21:09 +0100)
committerArjun P <arjunpitchanathan@gmail.com>
Mon, 11 Apr 2022 19:46:30 +0000 (20:46 +0100)
commitaafb428237b4ee41f7cb1de0211a0fbdb74e1f1c
tree17be0c73331d0d1185b73194d36a89a567c02351
parent1cff723ff527030295d84d3bb52d4d0b7cddb43a
[MLIR][Presburger][Simplex] symbolic lexmin: add some normalization heuristics

Normalize some of the division and inequality expressions used,
which can improve performance. Also deduplicate some of the
normalization functionality throughout the Presburger library.

Reviewed By: Groverkss

Differential Revision: https://reviews.llvm.org/D123314
mlir/include/mlir/Analysis/Presburger/Matrix.h
mlir/include/mlir/Analysis/Presburger/Simplex.h
mlir/include/mlir/Analysis/Presburger/Utils.h
mlir/lib/Analysis/Presburger/IntegerRelation.cpp
mlir/lib/Analysis/Presburger/Matrix.cpp
mlir/lib/Analysis/Presburger/Simplex.cpp
mlir/lib/Analysis/Presburger/Utils.cpp