diff options
author | Johannes Doerfert <johannes@jdoerfert.de> | 2023-08-29 16:37:03 -0700 |
---|---|---|
committer | Johannes Doerfert <johannes@jdoerfert.de> | 2023-08-31 19:32:52 -0700 |
commit | 209496b766bb08f43155d38dc8015804fb6c0c96 (patch) | |
tree | c3584e0bd0c16366c9a0a33bdb4c9d4d02793565 | |
parent | 6e42f905ae215fbf0c92b57780b64b274cc7e206 (diff) | |
download | llvm-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.h | 11 | ||||
-rw-r--r-- | llvm/lib/IR/Function.cpp | 6 | ||||
-rw-r--r-- | llvm/lib/Transforms/IPO/Attributor.cpp | 4 | ||||
-rw-r--r-- | llvm/test/Transforms/Attributor/callgraph.ll | 13 |
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:%.*]]() |