[llvm] [ArgPromotion] Handle pointer arguments of recursive calls (PR #78735)

[Matt Arsenault via llvm-commits]

arsenm 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. Somehow, not able to handle the case with call instructions.

Handle in what way? It breaks, or is sub-optimal? If it's not broken, it doesn't need to be perfect in the first attempt 

https://github.com/llvm/llvm-project/pull/78735