[Mlir-commits] [llvm] [mlir] mlir/Presburger/MPInt: move into llvm/ADT (PR #94953)

[Thorsten Schütt]

tschuett wrote:

> > There are a lot of micro optimizations in this PR. I would prefer readable code.
> 
> The micro-optimizations are necessitated by the Presburger library, which is very compute-heavy.

Copy and pasting from MathExtras is not acceptable. The union is harder to argue.

https://github.com/llvm/llvm-project/pull/94953