nikic wrote: https://github.com/llvm/llvm-project/pull/76806 should help the Interp/Disasm.cpp case by making performance independent from the total number of assumes in the function. https://github.com/llvm/llvm-project/pull/76770