Set IgnoreLLVMUsed to false in CallGraph::addToCallGraph()
authorStanislav Mekhanoshin <Stanislav.Mekhanoshin@amd.com>
Mon, 5 Apr 2021 20:01:44 +0000 (13:01 -0700)
committerStanislav Mekhanoshin <Stanislav.Mekhanoshin@amd.com>
Thu, 8 Apr 2021 18:14:09 +0000 (11:14 -0700)
clang++ uses llvm.compiler.used in certain cases to preserve
symbol which is fully inlined. D96087 has resulted in undefined
symbols in such cases. Set it to false by default to preserve
old behavior but keep the option for specific uses where we
want to ignore these (e.g. to detect a potential indirect call
to a function).

Differential Revision: https://reviews.llvm.org/D99897

llvm/lib/Analysis/CallGraph.cpp
llvm/test/Analysis/CallGraph/llvm-used.ll [moved from llvm/test/Analysis/CallGraph/ignore-llvm-used.ll with 69% similarity]

index bca4567..dfbd29b 100644 (file)
@@ -82,7 +82,7 @@ void CallGraph::addToCallGraph(Function *F) {
   if (!F->hasLocalLinkage() ||
       F->hasAddressTaken(nullptr, /*IgnoreCallbackUses=*/true,
                          /* IgnoreAssumeLikeCalls */ true,
-                         /* IgnoreLLVMUsed */ true))
+                         /* IgnoreLLVMUsed */ false))
     ExternalCallingNode->addCalledFunction(nullptr, Node);
 
   populateCallGraphNode(Node);
similarity index 69%
rename from llvm/test/Analysis/CallGraph/ignore-llvm-used.ll
rename to llvm/test/Analysis/CallGraph/llvm-used.ll
index ac6569b..09d4e95 100644 (file)
@@ -1,12 +1,20 @@
 ; RUN: opt < %s -print-callgraph -disable-output 2>&1 | FileCheck %s
+
+; The test will report used1 and used2 functions as used on the grounds
+; of llvm.*.used references. Passing IgnoreLLVMUsed = true into the
+; Function::hasAddressTaken() in the CallGraph::addToCallGraph() has to
+; change their uses to zero.
+
 ; CHECK: Call graph node <<null function>><<{{.*}}>>  #uses=0
+; CHECK-NEXT:  CS<None> calls function 'used1'
+; CHECK-NEXT:  CS<None> calls function 'used2'
 ; CHECK-NEXT:  CS<None> calls function 'unused'
 ; CHECK-EMPTY:
 ; CHECK-NEXT:   Call graph node for function: 'unused'<<{{.*}}>>  #uses=1
 ; CHECK-EMPTY:
-; CHECK-NEXT:   Call graph node for function: 'used1'<<{{.*}}>>  #uses=0
+; CHECK-NEXT:   Call graph node for function: 'used1'<<{{.*}}>>  #uses=1
 ; CHECK-EMPTY:
-; CHECK-NEXT:   Call graph node for function: 'used2'<<{{.*}}>>  #uses=0
+; CHECK-NEXT:   Call graph node for function: 'used2'<<{{.*}}>>  #uses=1
 ; CHECK-EMPTY:
 
 @llvm.used = appending global [1 x i8*] [i8* bitcast (void ()* @used1 to i8*)]