[MLIR][Presburger] IntegerRelation::truncate: fix bug when truncating equalities
authorArjun P <arjunpitchanathan@gmail.com>
Thu, 31 Mar 2022 13:43:44 +0000 (14:43 +0100)
committerArjun P <arjunpitchanathan@gmail.com>
Thu, 31 Mar 2022 14:16:30 +0000 (15:16 +0100)
commit9615d717d12f3daf18f62236b911b159659ab363
tree92e3e91a2ef38f6d9c0b688eccc9b0a84faa74b7
parent33ac23e7cf8fa8422550f83ff1734f941f19dc6c
[MLIR][Presburger] IntegerRelation::truncate: fix bug when truncating equalities

This was truncating inequalities instead of equalities.

Reviewed By: Groverkss

Differential Revision: https://reviews.llvm.org/D122811
mlir/lib/Analysis/Presburger/IntegerRelation.cpp
mlir/unittests/Analysis/Presburger/IntegerPolyhedronTest.cpp