projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28ebb0b) | patch
[MLIR][Presburger] SlowMPInt: fix bug in ceilDiv, floorDiv where widths weren't harmo...
authorArjun P <arjunpitchanathan@gmail.com>
Mon, 18 Jul 2022 16:33:24 +0000 (17:33 +0100)
committerArjun P <arjunpitchanathan@gmail.com>
Mon, 18 Jul 2022 16:34:01 +0000 (17:34 +0100)
commitca6a5afbb28527d02ce14282f33b93b364f0be9b
tree205b58e92626cfbb8ced757d883fcda61e750ed6tree | snapshot
parent28ebb0b61d110e4b108fc1ebcbc43d50fff8f087commit | diff
[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
mlir/lib/Analysis/Presburger/SlowMPInt.cpp diff | blob | history
mlir/unittests/Analysis/Presburger/MPIntTest.cpp diff | blob | history
Domain: System / Toolchain;