Mogball wrote: I think it's probably worthwhile to measure the baseline overhead this adds to the dataflow solve. The dataflow solver already has a bunch of hash map lookups as part of its inner loop so I do wonder how much slower it gets. https://github.com/llvm/llvm-project/pull/149804