diff options
author | Roman Lebedev <lebedev.ri@gmail.com> | 2020-07-10 00:00:26 +0300 |
---|---|---|
committer | Roman Lebedev <lebedev.ri@gmail.com> | 2020-07-10 00:02:07 +0300 |
commit | c2a61ef3885019c5e0444d8789de63e1ce4d5003 (patch) | |
tree | e42e63e85ed5c2c922477655b0fa8abb81ad198b | |
parent | 98eec7700c3f397283a3937b1d3ddfe4e6d3b910 (diff) | |
download | llvm-c2a61ef3885019c5e0444d8789de63e1ce4d5003.zip llvm-c2a61ef3885019c5e0444d8789de63e1ce4d5003.tar.gz llvm-c2a61ef3885019c5e0444d8789de63e1ce4d5003.tar.bz2 |
Revert "[CallGraph] Ignore callback uses"
This likely has broken test/Transforms/Attributor/IPConstantProp/ tests.
http://45.33.8.238/linux/22502/step_12.txt
This reverts commit 205dc0922d5f7305226f7457fcbcb4224c92530c.
-rw-r--r-- | llvm/include/llvm/IR/Function.h | 6 | ||||
-rw-r--r-- | llvm/lib/Analysis/CallGraph.cpp | 8 | ||||
-rw-r--r-- | llvm/lib/IR/Function.cpp | 11 | ||||
-rw-r--r-- | llvm/test/Analysis/CallGraph/ignore-callback-uses.ll | 51 |
4 files changed, 7 insertions, 69 deletions
diff --git a/llvm/include/llvm/IR/Function.h b/llvm/include/llvm/IR/Function.h index bb4ec13..ee66abc 100644 --- a/llvm/include/llvm/IR/Function.h +++ b/llvm/include/llvm/IR/Function.h @@ -830,11 +830,9 @@ public: /// hasAddressTaken - returns true if there are any uses of this function /// other than direct calls or invokes to it, or blockaddress expressions. - /// Optionally passes back an offending user for diagnostic purposes and - /// ignores callback uses. + /// Optionally passes back an offending user for diagnostic purposes. /// - bool hasAddressTaken(const User ** = nullptr, - bool IgnoreCallbackUses = false) const; + bool hasAddressTaken(const User** = nullptr) 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/Analysis/CallGraph.cpp b/llvm/lib/Analysis/CallGraph.cpp index 0826451..d8abccf 100644 --- a/llvm/lib/Analysis/CallGraph.cpp +++ b/llvm/lib/Analysis/CallGraph.cpp @@ -77,11 +77,9 @@ bool CallGraph::invalidate(Module &, const PreservedAnalyses &PA, void CallGraph::addToCallGraph(Function *F) { CallGraphNode *Node = getOrInsertFunction(F); - bool IgnoreCallbackUses = true; - - // If this function has external linkage or has its address taken and - // it is not a callback, then anything could call it. - if (!F->hasLocalLinkage() || F->hasAddressTaken(nullptr, IgnoreCallbackUses)) + // If this function has external linkage or has its address taken, anything + // could call it. + if (!F->hasLocalLinkage() || F->hasAddressTaken()) ExternalCallingNode->addCalledFunction(nullptr, Node); populateCallGraphNode(Node); diff --git a/llvm/lib/IR/Function.cpp b/llvm/lib/IR/Function.cpp index 995bc40..0ec0cce 100644 --- a/llvm/lib/IR/Function.cpp +++ b/llvm/lib/IR/Function.cpp @@ -20,7 +20,6 @@ #include "llvm/ADT/SmallVector.h" #include "llvm/ADT/StringExtras.h" #include "llvm/ADT/StringRef.h" -#include "llvm/IR/AbstractCallSite.h" #include "llvm/IR/Argument.h" #include "llvm/IR/Attributes.h" #include "llvm/IR/BasicBlock.h" @@ -1485,18 +1484,12 @@ Optional<Function *> Intrinsic::remangleIntrinsicFunction(Function *F) { } /// hasAddressTaken - returns true if there are any uses of this function -/// other than direct calls or invokes to it. Optionally ignores callback -/// uses. -bool Function::hasAddressTaken(const User **PutOffender, - bool IgnoreCallbackUses) const { +/// other than direct calls or invokes to it. +bool Function::hasAddressTaken(const User* *PutOffender) const { for (const Use &U : uses()) { const User *FU = U.getUser(); if (isa<BlockAddress>(FU)) continue; - - if (IgnoreCallbackUses && AbstractCallSite(&U)) - continue; - const auto *Call = dyn_cast<CallBase>(FU); if (!Call) { if (PutOffender) diff --git a/llvm/test/Analysis/CallGraph/ignore-callback-uses.ll b/llvm/test/Analysis/CallGraph/ignore-callback-uses.ll deleted file mode 100644 index 8964ca1..0000000 --- a/llvm/test/Analysis/CallGraph/ignore-callback-uses.ll +++ /dev/null @@ -1,51 +0,0 @@ -; RUN: opt < %s -print-callgraph -disable-output 2>&1 | FileCheck %s -; CHECK: Call graph node <<null function>><<{{.*}}>> #uses=0 -; CHECK-NEXT: CS<{{.*}}> calls function 'f' -; CHECK-NEXT: CS<{{.*}}> calls function '__kmpc_fork_call' -; CHECK-EMPTY: - -%struct.ident_t = type { i32, i32, i32, i32, i8* } - -@0 = private unnamed_addr constant [23 x i8] c";unknown;unknown;0;0;;\00", align 1 -@1 = private unnamed_addr global %struct.ident_t { i32 0, i32 2, i32 0, i32 0, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @0, i32 0, i32 0) }, align 8 - -; Function Attrs: noinline nounwind optnone uwtable -define dso_local void @f() { -entry: - br label %omp_parallel - -omp_parallel: ; preds = %entry - call void (%struct.ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(%struct.ident_t* @1, i32 0, void (i32*, i32*, ...)* bitcast (void (i32*, i32*)* @f..omp_par to void (i32*, i32*, ...)*)) - br label %omp.par.exit.split - -omp.par.exit.split: ; preds = %omp_parallel - ret void -} - -; Function Attrs: norecurse nounwind -define internal void @f..omp_par(i32* noalias %tid.addr, i32* noalias %zero.addr) { -omp.par.entry: - %tid.addr.local = alloca i32, align 4 - %0 = load i32, i32* %tid.addr, align 4 - store i32 %0, i32* %tid.addr.local, align 4 - %tid = load i32, i32* %tid.addr.local, align 4 - br label %omp.par.region - -omp.par.exit.split.exitStub: ; preds = %omp.par.outlined.exit - ret void - -omp.par.region: ; preds = %omp.par.entry - br label %omp.par.pre_finalize - -omp.par.pre_finalize: ; preds = %omp.par.region - br label %omp.par.outlined.exit - -omp.par.outlined.exit: ; preds = %omp.par.pre_finalize - br label %omp.par.exit.split.exitStub -} - -; Function Attrs: nounwind -declare !callback !2 void @__kmpc_fork_call(%struct.ident_t*, i32, void (i32*, i32*, ...)*, ...) #2 - -!2 = !{!3} -!3 = !{i64 2, i64 -1, i64 -1, i1 true} |