Do not strip llvm.used values.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@46045 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Transforms/IPO/StripSymbols.cpp b/lib/Transforms/IPO/StripSymbols.cpp
index 9427eb67824fef300e17ba75be960d3c26ab7226..297c2763dfe7aebac5303f5e860b90014b3df8bf 100644 (file)
--- a/lib/Transforms/IPO/StripSymbols.cpp
+++ b/lib/Transforms/IPO/StripSymbols.cpp
@@ -29,6 +29,7 @@
 #include "llvm/ValueSymbolTable.h"
 #include "llvm/TypeSymbolTable.h"
 #include "llvm/Support/Compiler.h"
+#include "llvm/ADT/SmallPtrSet.h"
 using namespace llvm;
 
 namespace {
@@ -100,13 +101,34 @@ bool StripSymbols::runOnModule(Module &M) {
   // If we're not just stripping debug info, strip all symbols from the
   // functions and the names from any internal globals.
   if (!OnlyDebugInfo) {
+    SmallPtrSet<const Constant *, 8> llvmUsedValues;
+    Value *LLVMUsed = M.getValueSymbolTable().lookup("llvm.used");
+    if (LLVMUsed) {
+      // Collect values that are preserved as per explicit request.
+      // llvm.used is used to list these values.
+      if (GlobalVariable *GV = dyn_cast<GlobalVariable>(LLVMUsed)) {
+        if (ConstantArray *InitList = 
+            dyn_cast<ConstantArray>(GV->getInitializer())) {
+          for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i) {
+            if (ConstantExpr *CE = 
+                dyn_cast<ConstantExpr>(InitList->getOperand(i)))
+              if (CE->isCast())
+                llvmUsedValues.insert(CE->getOperand(0));
+          }
+        }
+      }
+    }
+
     for (Module::global_iterator I = M.global_begin(), E = M.global_end();
-         I != E; ++I)
-      if (I->hasInternalLinkage())
+         I != E; ++I) {
+      if (I->hasInternalLinkage() && llvmUsedValues.count(I) == 0)
         I->setName("");     // Internal symbols can't participate in linkage
+      else if (I->getName() == "llvm.used") {
+      }
+    }
 
     for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I) {
-      if (I->hasInternalLinkage())
+      if (I->hasInternalLinkage() && llvmUsedValues.count(I) == 0)
         I->setName("");     // Internal symbols can't participate in linkage
       StripSymtab(I->getValueSymbolTable());
     }

diff --git a/test/Transforms/StripSymbols/2007-01-15-llvm.used.ll b/test/Transforms/StripSymbols/2007-01-15-llvm.used.ll
new file mode 100644 (file)
index 0000000..16cee15
--- /dev/null
+++ b/test/Transforms/StripSymbols/2007-01-15-llvm.used.ll
@@ -0,0 +1,15 @@
+; RUN: llvm-as < %s | opt -strip | llvm-dis | grep foo | count 2
+; RUN: llvm-as < %s | opt -strip | llvm-dis | grep bar | count 2
+@llvm.used = appending global [2 x i8*] [ i8* bitcast (i32* @foo to i8*), i8* bitcast (i32 ()* @bar to i8*) ], section "llvm.metadata"         ; <[2 x i8*]*> [#uses=0]
+@foo = internal constant i32 41                ; <i32*> [#uses=1]
+
+define internal i32 @bar() nounwind  {
+entry:
+       ret i32 42
+}
+
+define i32 @main() nounwind  {
+entry:
+       ret i32 0
+}
+

diff --git a/test/Transforms/StripSymbols/dg.exp b/test/Transforms/StripSymbols/dg.exp
new file mode 100644 (file)
index 0000000..879685c
--- /dev/null
+++ b/test/Transforms/StripSymbols/dg.exp
@@ -0,0 +1,3 @@
+load_lib llvm.exp
+
+RunLLVMTests [lsort [glob -nocomplain $srcdir/$subdir/*.{ll,llx,c,cpp,tr}]]