[llvm] [ArgPromotion] Perform alias analysis on actual arguments of Calls (PR #106216)

[Hari Limaye via llvm-commits]

================
@@ -485,11 +485,39 @@ static bool allCallersPassValidPointerForArgument(
   });
 }
 
+// Try to prove that all Calls to F do not modify the memory pointed to by Arg,
+// using alias analysis local to each caller of F.
+static bool isArgUnmodifiedByAllCalls(Function *F, unsigned ArgNo,
+                                      FunctionAnalysisManager &FAM) {
----------------
hazzlim wrote:

Good point, that's much cleaner - I've made this change in commit [Address review comments 2](https://github.com/llvm/llvm-project/pull/106216/commits/aa809e9dc8a9bf5b5fc0cdc6f56549bd7806879d)

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