https://github.com/nikic requested changes to this pull request. The limitation exists for compile-time reasons. You will get exponential blowup if you run full recursion over all phi inputs. https://github.com/llvm/llvm-project/pull/108820