aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohannes Doerfert <johannes@jdoerfert.de>2023-08-29 16:37:03 -0700
committerJohannes Doerfert <johannes@jdoerfert.de>2023-08-31 19:32:52 -0700
commit209496b766bb08f43155d38dc8015804fb6c0c96 (patch)
treec3584e0bd0c16366c9a0a33bdb4c9d4d02793565
parent6e42f905ae215fbf0c92b57780b64b274cc7e206 (diff)
downloadllvm-209496b766bb08f43155d38dc8015804fb6c0c96.zip
llvm-209496b766bb08f43155d38dc8015804fb6c0c96.tar.gz
llvm-209496b766bb08f43155d38dc8015804fb6c0c96.tar.bz2
[Core] Allow `hasAddressTaken` to ignore "casted direct calls"
A direct call to a function casted to a different type is still not really an address taken event. We allow the user to opt out of these now. Reviewed By: arsenm Differential Revision: https://reviews.llvm.org/D159149
-rw-r--r--llvm/include/llvm/IR/Function.h11
-rw-r--r--llvm/lib/IR/Function.cpp6
-rw-r--r--llvm/lib/Transforms/IPO/Attributor.cpp4
-rw-r--r--llvm/test/Transforms/Attributor/callgraph.ll13
4 files changed, 26 insertions, 8 deletions
diff --git a/llvm/include/llvm/IR/Function.h b/llvm/include/llvm/IR/Function.h
index 93cf0d2..0feb536 100644
--- a/llvm/include/llvm/IR/Function.h
+++ b/llvm/include/llvm/IR/Function.h
@@ -888,13 +888,14 @@ public:
/// other than direct calls or invokes to it, or blockaddress expressions.
/// Optionally passes back an offending user for diagnostic purposes,
/// ignores callback uses, assume like pointer annotation calls, references in
- /// llvm.used and llvm.compiler.used variables, and operand bundle
- /// "clang.arc.attachedcall".
- bool hasAddressTaken(const User ** = nullptr,
- bool IgnoreCallbackUses = false,
+ /// llvm.used and llvm.compiler.used variables, operand bundle
+ /// "clang.arc.attachedcall", and direct calls with a different call site
+ /// signature (the function is implicitly casted).
+ bool hasAddressTaken(const User ** = nullptr, bool IgnoreCallbackUses = false,
bool IgnoreAssumeLikeCalls = true,
bool IngoreLLVMUsed = false,
- bool IgnoreARCAttachedCall = false) const;
+ bool IgnoreARCAttachedCall = false,
+ bool IgnoreCastedDirectCall = false) const;
/// isDefTriviallyDead - Return true if it is trivially safe to remove
/// this function definition from the module (because it isn't externally
diff --git a/llvm/lib/IR/Function.cpp b/llvm/lib/IR/Function.cpp
index a9beb0b..b1b8404 100644
--- a/llvm/lib/IR/Function.cpp
+++ b/llvm/lib/IR/Function.cpp
@@ -1752,7 +1752,8 @@ std::optional<Function *> Intrinsic::remangleIntrinsicFunction(Function *F) {
bool Function::hasAddressTaken(const User **PutOffender,
bool IgnoreCallbackUses,
bool IgnoreAssumeLikeCalls, bool IgnoreLLVMUsed,
- bool IgnoreARCAttachedCall) const {
+ bool IgnoreARCAttachedCall,
+ bool IgnoreCastedDirectCall) const {
for (const Use &U : uses()) {
const User *FU = U.getUser();
if (isa<BlockAddress>(FU))
@@ -1801,7 +1802,8 @@ bool Function::hasAddressTaken(const User **PutOffender,
continue;
}
- if (!Call->isCallee(&U) || Call->getFunctionType() != getFunctionType()) {
+ if (!Call->isCallee(&U) || (!IgnoreCastedDirectCall &&
+ Call->getFunctionType() != getFunctionType())) {
if (IgnoreARCAttachedCall &&
Call->isOperandBundleOfType(LLVMContext::OB_clang_arc_attachedcall,
U.getOperandNo()))
diff --git a/llvm/lib/Transforms/IPO/Attributor.cpp b/llvm/lib/Transforms/IPO/Attributor.cpp
index 86a9f22..029f314 100644
--- a/llvm/lib/Transforms/IPO/Attributor.cpp
+++ b/llvm/lib/Transforms/IPO/Attributor.cpp
@@ -1072,7 +1072,9 @@ Attributor::Attributor(SetVector<Function *> &Functions,
if (Fn->hasAddressTaken(/*PutOffender=*/nullptr,
/*IgnoreCallbackUses=*/false,
/*IgnoreAssumeLikeCalls=*/true,
- /*IgnoreLLVMUsed=*/true))
+ /*IgnoreLLVMUsed=*/true,
+ /*IgnoreARCAttachedCall=*/false,
+ /*IgnoreCastedDirectCall=*/true))
InfoCache.IndirectlyCallableFunctions.push_back(Fn);
}
diff --git a/llvm/test/Transforms/Attributor/callgraph.ll b/llvm/test/Transforms/Attributor/callgraph.ll
index 5471370..08a2943 100644
--- a/llvm/test/Transforms/Attributor/callgraph.ll
+++ b/llvm/test/Transforms/Attributor/callgraph.ll
@@ -459,6 +459,19 @@ define i32 @non_matching_unknown(i1 %c, ptr %fn) {
ret i32 %call
}
+; This function is used in a "direct" call but with a different signature.
+; We check that it does not show up above in any of the if-cascades because
+; the address is not actually taken.
+declare void @usedOnlyInCastedDirectCall(i32)
+define void @usedOnlyInCastedDirectCallCaller() {
+; CHECK-LABEL: @usedOnlyInCastedDirectCallCaller(
+; CHECK-NEXT: call void @usedOnlyInCastedDirectCall()
+; CHECK-NEXT: ret void
+;
+ call void @usedOnlyInCastedDirectCall()
+ ret void
+}
+
define void @broker(ptr %unknown) !callback !0 {
; OWRDL-LABEL: @broker(
; OWRDL-NEXT: call void [[UNKNOWN:%.*]]()