artagnon wrote: > The limitation exists for compile-time reasons. You will get exponential blowup if you run full recursion over all phi inputs. Oh, so `Depth` is insufficient? https://github.com/llvm/llvm-project/pull/108820