vedantparanjape-amd wrote: @arsenm @jdoerfert I have addressed the comment, but I am stuck at one thing. The testcase: Transforms/ArgumentPromotion/pr42028-recursion.ll ``` A -> B -> C ↑____| ``` It has a SCC like this. https://github.com/llvm/llvm-project/pull/78735