StripSymbols.cpp revision 8c231e5dda26b790ff388fe2f70eeeda621c9261
1e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner//===- StripSymbols.cpp - Strip symbols and debug info from a module ------===// 2fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman// 3e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner// The LLVM Compiler Infrastructure 4e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner// 54ee451de366474b9c228b4e5fa573795a715216dChris Lattner// This file is distributed under the University of Illinois Open Source 64ee451de366474b9c228b4e5fa573795a715216dChris Lattner// License. See LICENSE.TXT for details. 7fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman// 8e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner//===----------------------------------------------------------------------===// 9e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner// 10c86b67742a3298c0a5a715b57a64f11107b8a3f2Gordon Henriksen// The StripSymbols transformation implements code stripping. Specifically, it 11c86b67742a3298c0a5a715b57a64f11107b8a3f2Gordon Henriksen// can delete: 12c86b67742a3298c0a5a715b57a64f11107b8a3f2Gordon Henriksen// 13c86b67742a3298c0a5a715b57a64f11107b8a3f2Gordon Henriksen// * names for virtual registers 14c86b67742a3298c0a5a715b57a64f11107b8a3f2Gordon Henriksen// * symbols for internal globals and functions 15c86b67742a3298c0a5a715b57a64f11107b8a3f2Gordon Henriksen// * debug information 16e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner// 17c86b67742a3298c0a5a715b57a64f11107b8a3f2Gordon Henriksen// Note that this transformation makes code much less readable, so it should 18c86b67742a3298c0a5a715b57a64f11107b8a3f2Gordon Henriksen// only be used in situations where the 'strip' utility would be used, such as 19c86b67742a3298c0a5a715b57a64f11107b8a3f2Gordon Henriksen// reducing code size or making it harder to reverse engineer code. 20e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner// 21e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner//===----------------------------------------------------------------------===// 22e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner 23e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner#include "llvm/Transforms/IPO.h" 24dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner#include "llvm/Constants.h" 25dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner#include "llvm/DerivedTypes.h" 26dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner#include "llvm/Instructions.h" 27e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner#include "llvm/Module.h" 28e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner#include "llvm/Pass.h" 29ef9b9a793949469cdaa4ab6d0173136229dcab7bReid Spencer#include "llvm/ValueSymbolTable.h" 3078d033e086e19e016273de014f9214aa6f3f844bReid Spencer#include "llvm/TypeSymbolTable.h" 319133fe28954d498fc4de13064c7d65bd811de02cReid Spencer#include "llvm/Support/Compiler.h" 328c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel#include "llvm/ADT/SmallPtrSet.h" 33e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattnerusing namespace llvm; 34e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner 35e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattnernamespace { 369133fe28954d498fc4de13064c7d65bd811de02cReid Spencer class VISIBILITY_HIDDEN StripSymbols : public ModulePass { 37e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner bool OnlyDebugInfo; 38e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner public: 39ecd94c804a563f2a86572dcf1d2e81f397e19daaNick Lewycky static char ID; // Pass identification, replacement for typeid 40c2bbfc18e9adbbdcf5b3375d8d25e2452f7df7f1Dan Gohman explicit StripSymbols(bool ODI = false) 41794fd75c67a2cdc128d67342c6d88a504d186896Devang Patel : ModulePass((intptr_t)&ID), OnlyDebugInfo(ODI) {} 42e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner 43e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner virtual bool runOnModule(Module &M); 44e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner 45e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner virtual void getAnalysisUsage(AnalysisUsage &AU) const { 46e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner AU.setPreservesAll(); 47e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner } 48e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner }; 49794fd75c67a2cdc128d67342c6d88a504d186896Devang Patel 501997473cf72957d0e70322e2fe6fe2ab141c58a6Devang Patel char StripSymbols::ID = 0; 517f8897f22e88271cfa114998a4d6088e7c8e8e11Chris Lattner RegisterPass<StripSymbols> X("strip", "Strip all symbols from a module"); 52e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner} 53e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner 54e3ad43c828280cf11e8631f1a814a51a0b168016Chris LattnerModulePass *llvm::createStripSymbolsPass(bool OnlyDebugInfo) { 55e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner return new StripSymbols(OnlyDebugInfo); 56e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner} 57e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner 58dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattnerstatic void RemoveDeadConstant(Constant *C) { 59dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner assert(C->use_empty() && "Constant is not dead!"); 60dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner std::vector<Constant*> Operands; 61dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner for (unsigned i = 0, e = C->getNumOperands(); i != e; ++i) 62dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner if (isa<DerivedType>(C->getOperand(i)->getType()) && 63dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner C->getOperand(i)->hasOneUse()) 64dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner Operands.push_back(C->getOperand(i)); 65dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner if (GlobalVariable *GV = dyn_cast<GlobalVariable>(C)) { 66dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner if (!GV->hasInternalLinkage()) return; // Don't delete non static globals. 67dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner GV->eraseFromParent(); 68dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner } 69dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner else if (!isa<Function>(C)) 70dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner C->destroyConstant(); 71fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 72dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner // If the constant referenced anything, see if we can delete it as well. 73dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner while (!Operands.empty()) { 74dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner RemoveDeadConstant(Operands.back()); 75dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner Operands.pop_back(); 76dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner } 77dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner} 78e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner 797f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner// Strip the symbol table of its names. 807f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner// 817f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattnerstatic void StripSymtab(ValueSymbolTable &ST) { 827f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner for (ValueSymbolTable::iterator VI = ST.begin(), VE = ST.end(); VI != VE; ) { 83dec628eead87b20773c98a00830580df211acc98Chris Lattner Value *V = VI->getValue(); 847f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner ++VI; 857f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner if (!isa<GlobalValue>(V) || cast<GlobalValue>(V)->hasInternalLinkage()) { 867f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner // Set name to "", removing from symbol table! 877f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner V->setName(""); 887f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner } 897f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner } 907f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner} 917f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner 927f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner// Strip the symbol table of its names. 937f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattnerstatic void StripTypeSymtab(TypeSymbolTable &ST) { 947f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner for (TypeSymbolTable::iterator TI = ST.begin(), E = ST.end(); TI != E; ) 957f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner ST.remove(TI++); 967f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner} 977f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner 987f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner 997f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner 100e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattnerbool StripSymbols::runOnModule(Module &M) { 101e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner // If we're not just stripping debug info, strip all symbols from the 102e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner // functions and the names from any internal globals. 103e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner if (!OnlyDebugInfo) { 1048c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel SmallPtrSet<const Constant *, 8> llvmUsedValues; 1058c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel Value *LLVMUsed = M.getValueSymbolTable().lookup("llvm.used"); 1068c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel if (LLVMUsed) { 1078c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel // Collect values that are preserved as per explicit request. 1088c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel // llvm.used is used to list these values. 1098c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel if (GlobalVariable *GV = dyn_cast<GlobalVariable>(LLVMUsed)) { 1108c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel if (ConstantArray *InitList = 1118c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel dyn_cast<ConstantArray>(GV->getInitializer())) { 1128c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i) { 1138c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel if (ConstantExpr *CE = 1148c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel dyn_cast<ConstantExpr>(InitList->getOperand(i))) 1158c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel if (CE->isCast()) 1168c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel llvmUsedValues.insert(CE->getOperand(0)); 1178c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel } 1188c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel } 1198c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel } 1208c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel } 1218c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel 1227f8897f22e88271cfa114998a4d6088e7c8e8e11Chris Lattner for (Module::global_iterator I = M.global_begin(), E = M.global_end(); 1238c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel I != E; ++I) { 1248c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel if (I->hasInternalLinkage() && llvmUsedValues.count(I) == 0) 125e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner I->setName(""); // Internal symbols can't participate in linkage 1268c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel else if (I->getName() == "llvm.used") { 1278c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel } 1288c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel } 129e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner 130e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I) { 1318c231e5dda26b790ff388fe2f70eeeda621c9261Devang Patel if (I->hasInternalLinkage() && llvmUsedValues.count(I) == 0) 132e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner I->setName(""); // Internal symbols can't participate in linkage 1337f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner StripSymtab(I->getValueSymbolTable()); 134e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner } 135b2f6c0075cc1aafce3c83a756242f148429ade0fChris Lattner 136b2f6c0075cc1aafce3c83a756242f148429ade0fChris Lattner // Remove all names from types. 1377f1444bc0aefdd924e9b231e20d4c0529311e141Chris Lattner StripTypeSymtab(M.getTypeSymbolTable()); 138e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner } 139e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner 140dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner // Strip debug info in the module if it exists. To do this, we remove 141dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner // llvm.dbg.func.start, llvm.dbg.stoppoint, and llvm.dbg.region.end calls, and 142dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner // any globals they point to if now dead. 143688b0490e22eb67623f5aaa24406209be74efcb2Reid Spencer Function *FuncStart = M.getFunction("llvm.dbg.func.start"); 144688b0490e22eb67623f5aaa24406209be74efcb2Reid Spencer Function *StopPoint = M.getFunction("llvm.dbg.stoppoint"); 145688b0490e22eb67623f5aaa24406209be74efcb2Reid Spencer Function *RegionStart = M.getFunction("llvm.dbg.region.start"); 146688b0490e22eb67623f5aaa24406209be74efcb2Reid Spencer Function *RegionEnd = M.getFunction("llvm.dbg.region.end"); 147688b0490e22eb67623f5aaa24406209be74efcb2Reid Spencer Function *Declare = M.getFunction("llvm.dbg.declare"); 1484ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey if (!FuncStart && !StopPoint && !RegionStart && !RegionEnd && !Declare) 149dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner return true; 150dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner 151dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner std::vector<GlobalVariable*> DeadGlobals; 152dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner 153dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner // Remove all of the calls to the debugger intrinsics, and remove them from 154dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner // the module. 155dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner if (FuncStart) { 156dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner while (!FuncStart->use_empty()) { 157dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner CallInst *CI = cast<CallInst>(FuncStart->use_back()); 158dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner Value *Arg = CI->getOperand(1); 1594ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey assert(CI->use_empty() && "llvm.dbg intrinsic should have void result"); 160dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner CI->eraseFromParent(); 161dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner if (Arg->use_empty()) 162dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner if (GlobalVariable *GV = dyn_cast<GlobalVariable>(Arg)) 163dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner DeadGlobals.push_back(GV); 164dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner } 165dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner FuncStart->eraseFromParent(); 166dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner } 167dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner if (StopPoint) { 168dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner while (!StopPoint->use_empty()) { 169dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner CallInst *CI = cast<CallInst>(StopPoint->use_back()); 170f4321a3a438833dade457e24da6e1e6907cabcd5Jim Laskey Value *Arg = CI->getOperand(3); 1714ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey assert(CI->use_empty() && "llvm.dbg intrinsic should have void result"); 172dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner CI->eraseFromParent(); 173dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner if (Arg->use_empty()) 174dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner if (GlobalVariable *GV = dyn_cast<GlobalVariable>(Arg)) 175dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner DeadGlobals.push_back(GV); 176dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner } 177dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner StopPoint->eraseFromParent(); 178dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner } 1794ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey if (RegionStart) { 1804ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey while (!RegionStart->use_empty()) { 1814ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey CallInst *CI = cast<CallInst>(RegionStart->use_back()); 1824ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey Value *Arg = CI->getOperand(1); 1834ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey assert(CI->use_empty() && "llvm.dbg intrinsic should have void result"); 1844ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey CI->eraseFromParent(); 1854ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey if (Arg->use_empty()) 1864ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey if (GlobalVariable *GV = dyn_cast<GlobalVariable>(Arg)) 1874ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey DeadGlobals.push_back(GV); 1884ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey } 1894ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey RegionStart->eraseFromParent(); 1904ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey } 191dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner if (RegionEnd) { 192dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner while (!RegionEnd->use_empty()) { 193dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner CallInst *CI = cast<CallInst>(RegionEnd->use_back()); 1944ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey Value *Arg = CI->getOperand(1); 1954ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey assert(CI->use_empty() && "llvm.dbg intrinsic should have void result"); 196dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner CI->eraseFromParent(); 1974ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey if (Arg->use_empty()) 1984ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey if (GlobalVariable *GV = dyn_cast<GlobalVariable>(Arg)) 1994ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey DeadGlobals.push_back(GV); 200dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner } 201dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner RegionEnd->eraseFromParent(); 202dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner } 2034ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey if (Declare) { 2044ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey while (!Declare->use_empty()) { 2054ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey CallInst *CI = cast<CallInst>(Declare->use_back()); 2064ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey Value *Arg = CI->getOperand(2); 2074ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey assert(CI->use_empty() && "llvm.dbg intrinsic should have void result"); 2084ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey CI->eraseFromParent(); 2094ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey if (Arg->use_empty()) 2104ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey if (GlobalVariable *GV = dyn_cast<GlobalVariable>(Arg)) 2114ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey DeadGlobals.push_back(GV); 2124ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey } 2134ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey Declare->eraseFromParent(); 2144ca9757a39a1bf3bd1264a77e52db62e02cc85fbJim Laskey } 215dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner 216dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner // Finally, delete any internal globals that were only used by the debugger 217dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner // intrinsics. 218dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner while (!DeadGlobals.empty()) { 219dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner GlobalVariable *GV = DeadGlobals.back(); 220dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner DeadGlobals.pop_back(); 221dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner if (GV->hasInternalLinkage()) 222dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner RemoveDeadConstant(GV); 223dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner } 224dd0ecf67316d68940fda2733faacf73b8bd22ec6Chris Lattner 225fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman return true; 226e3ad43c828280cf11e8631f1a814a51a0b168016Chris Lattner} 227