[MLIR][Presburger] SlowMPInt: fix bug in ceilDiv, floorDiv where widths weren't harmonized
This also adds tests for abs, ceilDiv, floorDiv, mod, gcd and lcm. Reviewed By: Groverkss Differential Revision: https://reviews.llvm.org/D129816
Loading
Please sign in to comment