nikic wrote: > > Do you happen to see any performance improvement from this? > > Will LLVM Compile Time Tracker be sufficient? No, I meant for the Presburger library. I thought you had benchmarks for it, but maybe that was someone else? https://github.com/llvm/llvm-project/pull/97831