blob: c970a1a1c1aff937d5602395dcd023b374735728 [file] [log] [blame]
Chris Lattnerdbb17352002-04-28 05:43:27 +00001//===-- Internalize.cpp - Mark functions internal -------------------------===//
Misha Brukmanfd939082005-04-21 23:48:37 +00002//
John Criswellb576c942003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukmanfd939082005-04-21 23:48:37 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattnerdbb17352002-04-28 05:43:27 +00009//
Rafael Espindolae5551ed2012-10-26 18:47:48 +000010// This pass loops over all of the functions and variables in the input module.
11// If the function or variable is not in the list of external names given to
12// the pass it is marked as internal.
Chris Lattnerdbb17352002-04-28 05:43:27 +000013//
Rafael Espindola7e667c52013-10-31 20:51:58 +000014// This transformation would not be legal in a regular compilation, but it gets
15// extra information from the linker about what is safe.
Rafael Espindola713cab02013-10-21 17:14:55 +000016//
Rafael Espindola7e667c52013-10-31 20:51:58 +000017// For example: Internalizing a function with external linkage. Only if we are
18// told it is only used from within this module, it is safe to do it.
Rafael Espindola713cab02013-10-21 17:14:55 +000019//
Chris Lattnerdbb17352002-04-28 05:43:27 +000020//===----------------------------------------------------------------------===//
21
Chris Lattner568ddab2002-07-24 17:12:05 +000022#include "llvm/Transforms/IPO.h"
Rafael Espindola4ef7eaf2013-07-25 03:23:25 +000023#include "llvm/ADT/SmallPtrSet.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000024#include "llvm/ADT/Statistic.h"
25#include "llvm/Analysis/CallGraph.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000026#include "llvm/IR/Module.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000027#include "llvm/Pass.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000028#include "llvm/Support/CommandLine.h"
29#include "llvm/Support/Debug.h"
Daniel Dunbarce63ffb2009-07-25 00:23:56 +000030#include "llvm/Support/raw_ostream.h"
Rafael Espindola713cab02013-10-21 17:14:55 +000031#include "llvm/Transforms/Utils/GlobalStatus.h"
Rafael Espindola4ef7eaf2013-07-25 03:23:25 +000032#include "llvm/Transforms/Utils/ModuleUtils.h"
Chris Lattnerc7a2c7f2003-05-22 19:34:49 +000033#include <fstream>
34#include <set>
Chris Lattner1e2385b2003-11-21 21:54:22 +000035using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000036
Stephen Hinesdce4a402014-05-29 02:49:00 -070037#define DEBUG_TYPE "internalize"
38
Duncan Sands27a53002009-01-05 21:24:45 +000039STATISTIC(NumAliases , "Number of aliases internalized");
Chris Lattner86453c52006-12-19 22:09:18 +000040STATISTIC(NumFunctions, "Number of functions internalized");
41STATISTIC(NumGlobals , "Number of global vars internalized");
42
Dan Gohman844731a2008-05-13 00:00:25 +000043// APIFile - A file which contains a list of symbols that should not be marked
44// external.
45static cl::opt<std::string>
46APIFile("internalize-public-api-file", cl::value_desc("filename"),
47 cl::desc("A file containing list of symbol names to preserve"));
48
49// APIList - A list of symbols that should not be marked internal.
50static cl::list<std::string>
51APIList("internalize-public-api-list", cl::value_desc("list"),
52 cl::desc("A list of symbol names to preserve"),
53 cl::CommaSeparated);
54
Chris Lattnerf6293092002-07-23 18:06:35 +000055namespace {
Nick Lewycky6726b6d2009-10-25 06:33:48 +000056 class InternalizePass : public ModulePass {
Chris Lattnerc7a2c7f2003-05-22 19:34:49 +000057 std::set<std::string> ExternalNames;
58 public:
Nick Lewyckyecd94c82007-05-06 13:37:16 +000059 static char ID; // Pass identification, replacement for typeid
Rafael Espindolae5551ed2012-10-26 18:47:48 +000060 explicit InternalizePass();
Rafael Espindola7e667c52013-10-31 20:51:58 +000061 explicit InternalizePass(ArrayRef<const char *> ExportList);
Chris Lattner4eb40df2006-01-03 19:13:17 +000062 void LoadFile(const char *Filename);
Stephen Hines36b56882014-04-23 16:57:46 -070063 bool runOnModule(Module &M) override;
Nuno Lopes0483d012008-09-30 22:04:30 +000064
Stephen Hines36b56882014-04-23 16:57:46 -070065 void getAnalysisUsage(AnalysisUsage &AU) const override {
Nuno Lopes0483d012008-09-30 22:04:30 +000066 AU.setPreservesCFG();
Stephen Hines36b56882014-04-23 16:57:46 -070067 AU.addPreserved<CallGraphWrapperPass>();
Nuno Lopes0483d012008-09-30 22:04:30 +000068 }
Chris Lattner55e41ba2002-07-30 19:48:44 +000069 };
Chris Lattnerf6293092002-07-23 18:06:35 +000070} // end anonymous namespace
71
Dan Gohman844731a2008-05-13 00:00:25 +000072char InternalizePass::ID = 0;
Owen Andersond13db2c2010-07-21 22:09:45 +000073INITIALIZE_PASS(InternalizePass, "internalize",
Owen Andersonce665bd2010-10-07 22:25:06 +000074 "Internalize Global Symbols", false, false)
Dan Gohman844731a2008-05-13 00:00:25 +000075
Stephen Hines36b56882014-04-23 16:57:46 -070076InternalizePass::InternalizePass() : ModulePass(ID) {
Owen Anderson081c34b2010-10-19 17:21:58 +000077 initializeInternalizePassPass(*PassRegistry::getPassRegistry());
Devang Patelef3682a2008-05-14 20:01:01 +000078 if (!APIFile.empty()) // If a filename is specified, use it.
Chris Lattner4eb40df2006-01-03 19:13:17 +000079 LoadFile(APIFile.c_str());
Rafael Espindola1d7df342013-09-04 18:53:21 +000080 ExternalNames.insert(APIList.begin(), APIList.end());
Chris Lattner4eb40df2006-01-03 19:13:17 +000081}
82
Rafael Espindola7e667c52013-10-31 20:51:58 +000083InternalizePass::InternalizePass(ArrayRef<const char *> ExportList)
Stephen Hines36b56882014-04-23 16:57:46 -070084 : ModulePass(ID) {
Owen Anderson081c34b2010-10-19 17:21:58 +000085 initializeInternalizePassPass(*PassRegistry::getPassRegistry());
Rafael Espindola775079c2013-09-04 20:08:46 +000086 for(ArrayRef<const char *>::const_iterator itr = ExportList.begin();
87 itr != ExportList.end(); itr++) {
Devang Patel753d94a2006-07-20 17:48:05 +000088 ExternalNames.insert(*itr);
89 }
90}
91
Chris Lattner4eb40df2006-01-03 19:13:17 +000092void InternalizePass::LoadFile(const char *Filename) {
93 // Load the APIFile...
94 std::ifstream In(Filename);
95 if (!In.good()) {
Chris Lattner4437ae22009-08-23 07:05:07 +000096 errs() << "WARNING: Internalize couldn't load file '" << Filename
Devang Patelef3682a2008-05-14 20:01:01 +000097 << "'! Continuing as if it's empty.\n";
98 return; // Just continue as if the file were empty
Chris Lattner4eb40df2006-01-03 19:13:17 +000099 }
100 while (In) {
101 std::string Symbol;
102 In >> Symbol;
103 if (!Symbol.empty())
104 ExternalNames.insert(Symbol);
105 }
106}
107
Rafael Espindola0fb77162013-09-04 18:37:36 +0000108static bool shouldInternalize(const GlobalValue &GV,
Rafael Espindola7e667c52013-10-31 20:51:58 +0000109 const std::set<std::string> &ExternalNames) {
Rafael Espindola0fb77162013-09-04 18:37:36 +0000110 // Function must be defined here
111 if (GV.isDeclaration())
112 return false;
113
114 // Available externally is really just a "declaration with a body".
115 if (GV.hasAvailableExternallyLinkage())
116 return false;
117
Stephen Hines36b56882014-04-23 16:57:46 -0700118 // Assume that dllexported symbols are referenced elsewhere
119 if (GV.hasDLLExportStorageClass())
120 return false;
121
Rafael Espindola0fb77162013-09-04 18:37:36 +0000122 // Already has internal linkage
123 if (GV.hasLocalLinkage())
124 return false;
125
126 // Marked to keep external?
127 if (ExternalNames.count(GV.getName()))
128 return false;
129
Rafael Espindola7e667c52013-10-31 20:51:58 +0000130 return true;
Rafael Espindola0fb77162013-09-04 18:37:36 +0000131}
132
Chris Lattner4eb40df2006-01-03 19:13:17 +0000133bool InternalizePass::runOnModule(Module &M) {
Stephen Hines36b56882014-04-23 16:57:46 -0700134 CallGraphWrapperPass *CGPass = getAnalysisIfAvailable<CallGraphWrapperPass>();
Stephen Hinesdce4a402014-05-29 02:49:00 -0700135 CallGraph *CG = CGPass ? &CGPass->getCallGraph() : nullptr;
136 CallGraphNode *ExternalNode = CG ? CG->getExternalCallingNode() : nullptr;
Chris Lattner4eb40df2006-01-03 19:13:17 +0000137 bool Changed = false;
Duncan Sands2631ac32009-01-05 20:38:27 +0000138
Rafael Espindola4ef7eaf2013-07-25 03:23:25 +0000139 SmallPtrSet<GlobalValue *, 8> Used;
140 collectUsedGlobalVariables(M, Used, false);
141
142 // We must assume that globals in llvm.used have a reference that not even
143 // the linker can see, so we don't internalize them.
144 // For llvm.compiler.used the situation is a bit fuzzy. The assembler and
145 // linker can drop those symbols. If this pass is running as part of LTO,
146 // one might think that it could just drop llvm.compiler.used. The problem
147 // is that even in LTO llvm doesn't see every reference. For example,
148 // we don't see references from function local inline assembly. To be
149 // conservative, we internalize symbols in llvm.compiler.used, but we
150 // keep llvm.compiler.used so that the symbol is not deleted by llvm.
151 for (SmallPtrSet<GlobalValue *, 8>::iterator I = Used.begin(), E = Used.end();
152 I != E; ++I) {
153 GlobalValue *V = *I;
154 ExternalNames.insert(V->getName());
155 }
156
Devang Patelef3682a2008-05-14 20:01:01 +0000157 // Mark all functions not in the api as internal.
Rafael Espindola0fb77162013-09-04 18:37:36 +0000158 for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I) {
Rafael Espindola7e667c52013-10-31 20:51:58 +0000159 if (!shouldInternalize(*I, ExternalNames))
Rafael Espindola0fb77162013-09-04 18:37:36 +0000160 continue;
Bill Wendling86d49562013-08-30 21:07:33 +0000161
Stephen Hinesdce4a402014-05-29 02:49:00 -0700162 I->setVisibility(GlobalValue::DefaultVisibility);
Rafael Espindola0fb77162013-09-04 18:37:36 +0000163 I->setLinkage(GlobalValue::InternalLinkage);
Bill Wendling86d49562013-08-30 21:07:33 +0000164
Rafael Espindola0fb77162013-09-04 18:37:36 +0000165 if (ExternalNode)
166 // Remove a callgraph edge from the external node to this function.
167 ExternalNode->removeOneAbstractEdgeTo((*CG)[I]);
168
169 Changed = true;
170 ++NumFunctions;
171 DEBUG(dbgs() << "Internalizing func " << I->getName() << "\n");
172 }
Duncan Sands2631ac32009-01-05 20:38:27 +0000173
Chris Lattner4eb40df2006-01-03 19:13:17 +0000174 // Never internalize the llvm.used symbol. It is used to implement
175 // attribute((used)).
Chris Lattner401e10c2009-07-20 06:14:25 +0000176 // FIXME: Shouldn't this just filter on llvm.metadata section??
Chris Lattner4eb40df2006-01-03 19:13:17 +0000177 ExternalNames.insert("llvm.used");
Chris Lattner401e10c2009-07-20 06:14:25 +0000178 ExternalNames.insert("llvm.compiler.used");
Duncan Sands2631ac32009-01-05 20:38:27 +0000179
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000180 // Never internalize anchors used by the machine module info, else the info
181 // won't find them. (see MachineModuleInfo.)
Chris Lattner4e2288b2007-06-06 20:51:41 +0000182 ExternalNames.insert("llvm.global_ctors");
183 ExternalNames.insert("llvm.global_dtors");
Tanya Lattner088b5912007-10-03 17:05:40 +0000184 ExternalNames.insert("llvm.global.annotations");
Duncan Sands2631ac32009-01-05 20:38:27 +0000185
Bill Wendlingaab3c0c2012-04-13 01:06:27 +0000186 // Never internalize symbols code-gen inserts.
Bill Wendlingd275ff52013-08-12 20:09:37 +0000187 // FIXME: We should probably add this (and the __stack_chk_guard) via some
188 // type of call-back in CodeGen.
189 ExternalNames.insert("__stack_chk_fail");
Bill Wendlingaab3c0c2012-04-13 01:06:27 +0000190 ExternalNames.insert("__stack_chk_guard");
191
Devang Patelef3682a2008-05-14 20:01:01 +0000192 // Mark all global variables with initializers that are not in the api as
193 // internal as well.
Chris Lattner4eb40df2006-01-03 19:13:17 +0000194 for (Module::global_iterator I = M.global_begin(), E = M.global_end();
Rafael Espindola0fb77162013-09-04 18:37:36 +0000195 I != E; ++I) {
Rafael Espindola7e667c52013-10-31 20:51:58 +0000196 if (!shouldInternalize(*I, ExternalNames))
Rafael Espindola0fb77162013-09-04 18:37:36 +0000197 continue;
198
Stephen Hinesdce4a402014-05-29 02:49:00 -0700199 I->setVisibility(GlobalValue::DefaultVisibility);
Rafael Espindola0fb77162013-09-04 18:37:36 +0000200 I->setLinkage(GlobalValue::InternalLinkage);
201 Changed = true;
202 ++NumGlobals;
203 DEBUG(dbgs() << "Internalized gvar " << I->getName() << "\n");
204 }
Duncan Sands2631ac32009-01-05 20:38:27 +0000205
Duncan Sands27a53002009-01-05 21:24:45 +0000206 // Mark all aliases that are not in the api as internal as well.
207 for (Module::alias_iterator I = M.alias_begin(), E = M.alias_end();
Rafael Espindola0fb77162013-09-04 18:37:36 +0000208 I != E; ++I) {
Rafael Espindola7e667c52013-10-31 20:51:58 +0000209 if (!shouldInternalize(*I, ExternalNames))
Rafael Espindola0fb77162013-09-04 18:37:36 +0000210 continue;
211
Stephen Hinesdce4a402014-05-29 02:49:00 -0700212 I->setVisibility(GlobalValue::DefaultVisibility);
Rafael Espindola0fb77162013-09-04 18:37:36 +0000213 I->setLinkage(GlobalValue::InternalLinkage);
214 Changed = true;
215 ++NumAliases;
216 DEBUG(dbgs() << "Internalized alias " << I->getName() << "\n");
217 }
Duncan Sands27a53002009-01-05 21:24:45 +0000218
Chris Lattner4eb40df2006-01-03 19:13:17 +0000219 return Changed;
220}
221
Stephen Hines36b56882014-04-23 16:57:46 -0700222ModulePass *llvm::createInternalizePass() { return new InternalizePass(); }
Devang Patel753d94a2006-07-20 17:48:05 +0000223
Rafael Espindola7e667c52013-10-31 20:51:58 +0000224ModulePass *llvm::createInternalizePass(ArrayRef<const char *> ExportList) {
225 return new InternalizePass(ExportList);
Devang Patel753d94a2006-07-20 17:48:05 +0000226}