Superty wrote: Did not review, but am happy to accept in principle if you do not see a regression in the performance of the Presburger unit tests. Can you confirm this? https://github.com/llvm/llvm-project/pull/97831