artagnon 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. https://github.com/llvm/llvm-project/pull/94953