[MLIR][Presburger] Deduplicate and move getNegatedCoeffs and getComplementIneq into...
authorArjun P <arjunpitchanathan@gmail.com>
Fri, 18 Mar 2022 14:51:00 +0000 (14:51 +0000)
committerArjun P <arjunpitchanathan@gmail.com>
Mon, 21 Mar 2022 19:29:11 +0000 (19:29 +0000)
commit523914c20d974f20dcff463b40855f2cdd463313
tree3783c4946be6239dad62d4fb5beea6d1eeb85322
parent37c0aacd71871658786435c5d6b6273784d26f72
[MLIR][Presburger] Deduplicate and move getNegatedCoeffs and getComplementIneq into Utils
mlir/include/mlir/Analysis/Presburger/Utils.h
mlir/lib/Analysis/Presburger/PresburgerRelation.cpp
mlir/lib/Analysis/Presburger/Utils.cpp