https://github.com/adrian-prantl commented: I think in general this looks very useful. Can you explain why DIExpressionOptimizer needs to keep state? https://github.com/llvm/llvm-project/pull/69769