[MLIR][Presburger] MPInt: add missing fastpath in ceilDiv
authorArjun P <arjunpitchanathan@gmail.com>
Fri, 15 Jul 2022 16:25:40 +0000 (17:25 +0100)
committerArjun P <arjunpitchanathan@gmail.com>
Fri, 15 Jul 2022 16:26:37 +0000 (17:26 +0100)
commit9390b8d34ce3a7f2bad33672ea8089e0b26e1f91
treea1a368706c238e7889f5910dc73a95d66ec69c05
parent82f76c04774fbeb2313b84932afac478f010c8d0
[MLIR][Presburger] MPInt: add missing fastpath in ceilDiv

This is not a bug in functionality, just a missed optimization.

Reviewed By: Groverkss

Differential Revision: https://reviews.llvm.org/D129815
mlir/include/mlir/Analysis/Presburger/MPInt.h