[llvm] [ArgPromotion] Perform alias analysis on actual arguments of Calls (PR #106216)
Matthew Devereau via llvm-commits
llvm-commits at lists.llvm.org
Fri Sep 6 06:56:21 PDT 2024
================
@@ -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) {
----------------
MDevereau wrote:
Can we pass just in an `Argument*` here and use `Argument->getParent()` and `Argument->getArgNo()` to simplify the function signature?
https://github.com/llvm/llvm-project/pull/106216
More information about the llvm-commits
mailing list