blob: f54a6f390be7d61c3abd5a18780a9cc6362ff29c [file] [log] [blame]
Chris Lattner2f7c9632001-06-06 20:29:01 +00001//===-- Module.cpp - Implement the Module class ------------------*- C++ -*--=//
2//
3// This file implements the Module class for the VMCore library.
4//
5//===----------------------------------------------------------------------===//
6
Chris Lattner2f7c9632001-06-06 20:29:01 +00007#include "llvm/Module.h"
Chris Lattner31cf9842001-06-30 04:35:40 +00008#include "llvm/InstrTypes.h"
Chris Lattnerca142372002-04-28 19:55:58 +00009#include "llvm/Constants.h"
Chris Lattnera483b062002-03-29 03:44:18 +000010#include "llvm/DerivedTypes.h"
Chris Lattner5de22042001-11-27 00:03:19 +000011#include "Support/STLExtras.h"
Chris Lattner184b2982002-09-08 18:59:35 +000012#include "Support/LeakDetector.h"
Chris Lattner113f4f42002-06-25 16:13:24 +000013#include "SymbolTableListTraitsImpl.h"
14#include <algorithm>
Chris Lattner446ad502001-10-13 06:58:40 +000015#include <map>
Chris Lattner2f7c9632001-06-06 20:29:01 +000016
Chris Lattner113f4f42002-06-25 16:13:24 +000017Function *ilist_traits<Function>::createNode() {
Chris Lattner184b2982002-09-08 18:59:35 +000018 FunctionType *FTy =
19 FunctionType::get(Type::VoidTy, std::vector<const Type*>(), false);
20 Function *Ret = new Function(FTy, false);
21 // This should not be garbage monitored.
22 LeakDetector::removeGarbageObject(Ret);
23 return Ret;
Chris Lattner113f4f42002-06-25 16:13:24 +000024}
25GlobalVariable *ilist_traits<GlobalVariable>::createNode() {
Chris Lattner184b2982002-09-08 18:59:35 +000026 GlobalVariable *Ret = new GlobalVariable(Type::IntTy, false, false);
27 // This should not be garbage monitored.
28 LeakDetector::removeGarbageObject(Ret);
29 return Ret;
Chris Lattner113f4f42002-06-25 16:13:24 +000030}
31
32iplist<Function> &ilist_traits<Function>::getList(Module *M) {
33 return M->getFunctionList();
34}
35iplist<GlobalVariable> &ilist_traits<GlobalVariable>::getList(Module *M) {
36 return M->getGlobalList();
37}
38
39// Explicit instantiations of SymbolTableListTraits since some of the methods
40// are not in the public header file...
41template SymbolTableListTraits<GlobalVariable, Module, Module>;
42template SymbolTableListTraits<Function, Module, Module>;
Chris Lattner2f7c9632001-06-06 20:29:01 +000043
Chris Lattner446ad502001-10-13 06:58:40 +000044// Define the GlobalValueRefMap as a struct that wraps a map so that we don't
45// have Module.h depend on <map>
46//
Chris Lattner7d9a14d2002-08-12 20:23:29 +000047struct GlobalValueRefMap {
48 typedef std::map<GlobalValue*, ConstantPointerRef*> MapTy;
49 typedef MapTy::iterator iterator;
50 std::map<GlobalValue*, ConstantPointerRef*> Map;
Chris Lattner446ad502001-10-13 06:58:40 +000051};
52
53
Chris Lattner113f4f42002-06-25 16:13:24 +000054Module::Module() {
55 FunctionList.setItemParent(this);
56 FunctionList.setParent(this);
57 GlobalList.setItemParent(this);
58 GlobalList.setParent(this);
Chris Lattner2c8ff632002-04-28 04:51:51 +000059 GVRefMap = 0;
Chris Lattner98cf1f52002-11-20 18:36:02 +000060 SymTab = new SymbolTable();
Chris Lattner2f7c9632001-06-06 20:29:01 +000061}
62
63Module::~Module() {
64 dropAllReferences();
Chris Lattner113f4f42002-06-25 16:13:24 +000065 GlobalList.clear();
Chris Lattnerda975502001-09-10 07:58:01 +000066 GlobalList.setParent(0);
Chris Lattner113f4f42002-06-25 16:13:24 +000067 FunctionList.clear();
Chris Lattner57698e22002-03-26 18:01:55 +000068 FunctionList.setParent(0);
Chris Lattner2c8ff632002-04-28 04:51:51 +000069 delete SymTab;
Chris Lattner2f7c9632001-06-06 20:29:01 +000070}
71
Chris Lattnere0f6af9b2002-08-17 23:32:47 +000072// Module::dump() - Allow printing from debugger
73void Module::dump() const {
74 print(std::cerr);
75}
76
Chris Lattnera483b062002-03-29 03:44:18 +000077// getOrInsertFunction - Look up the specified function in the module symbol
78// table. If it does not exist, add a prototype for the function and return
79// it. This is nice because it allows most passes to get away with not handling
80// the symbol table directly for this common task.
81//
82Function *Module::getOrInsertFunction(const std::string &Name,
83 const FunctionType *Ty) {
Chris Lattner98cf1f52002-11-20 18:36:02 +000084 SymbolTable &SymTab = getSymbolTable();
Chris Lattnera483b062002-03-29 03:44:18 +000085
86 // See if we have a definitions for the specified function already...
Chris Lattner98cf1f52002-11-20 18:36:02 +000087 if (Value *V = SymTab.lookup(PointerType::get(Ty), Name)) {
Chris Lattnera483b062002-03-29 03:44:18 +000088 return cast<Function>(V); // Yup, got it
89 } else { // Nope, add one
90 Function *New = new Function(Ty, false, Name);
91 FunctionList.push_back(New);
92 return New; // Return the new prototype...
93 }
94}
95
96// getFunction - Look up the specified function in the module symbol table.
97// If it does not exist, return null.
98//
99Function *Module::getFunction(const std::string &Name, const FunctionType *Ty) {
Chris Lattner98cf1f52002-11-20 18:36:02 +0000100 SymbolTable &SymTab = getSymbolTable();
101 return cast_or_null<Function>(SymTab.lookup(PointerType::get(Ty), Name));
Chris Lattnera483b062002-03-29 03:44:18 +0000102}
103
Chris Lattner13ae72f2002-03-29 04:48:40 +0000104// addTypeName - Insert an entry in the symbol table mapping Str to Type. If
105// there is already an entry for this name, true is returned and the symbol
106// table is not modified.
107//
108bool Module::addTypeName(const std::string &Name, const Type *Ty) {
Chris Lattner98cf1f52002-11-20 18:36:02 +0000109 SymbolTable &ST = getSymbolTable();
Chris Lattner13ae72f2002-03-29 04:48:40 +0000110
Chris Lattner98cf1f52002-11-20 18:36:02 +0000111 if (ST.lookup(Type::TypeTy, Name)) return true; // Already in symtab...
Chris Lattner13ae72f2002-03-29 04:48:40 +0000112
113 // Not in symbol table? Set the name with the Symtab as an argument so the
114 // type knows what to update...
Chris Lattner98cf1f52002-11-20 18:36:02 +0000115 ((Value*)Ty)->setName(Name, &ST);
Chris Lattner13ae72f2002-03-29 04:48:40 +0000116
117 return false;
118}
Chris Lattnera483b062002-03-29 03:44:18 +0000119
Chris Lattner1f985e02002-11-08 20:34:02 +0000120/// getMainFunction - This function looks up main efficiently. This is such a
121/// common case, that it is a method in Module. If main cannot be found, a
122/// null pointer is returned.
123///
124Function *Module::getMainFunction() {
125 std::vector<const Type*> Params;
126
127 // int main(void)...
128 if (Function *F = getFunction("main", FunctionType::get(Type::IntTy,
129 Params, false)))
130 return F;
131
132 // void main(void)...
133 if (Function *F = getFunction("main", FunctionType::get(Type::VoidTy,
134 Params, false)))
135 return F;
136
137 Params.push_back(Type::IntTy);
138
139 // int main(int argc)...
140 if (Function *F = getFunction("main", FunctionType::get(Type::IntTy,
141 Params, false)))
142 return F;
143
144 // void main(int argc)...
145 if (Function *F = getFunction("main", FunctionType::get(Type::VoidTy,
146 Params, false)))
147 return F;
148
149 for (unsigned i = 0; i != 2; ++i) { // Check argv and envp
150 Params.push_back(PointerType::get(PointerType::get(Type::SByteTy)));
151
152 // int main(int argc, char **argv)...
153 if (Function *F = getFunction("main", FunctionType::get(Type::IntTy,
154 Params, false)))
155 return F;
156
157 // void main(int argc, char **argv)...
158 if (Function *F = getFunction("main", FunctionType::get(Type::VoidTy,
159 Params, false)))
160 return F;
161 }
162
Chris Lattnerb2e46c02002-11-19 18:41:44 +0000163 // Ok, try to find main the hard way...
164 return getNamedFunction("main");
165}
166
167/// getNamedFunction - Return the first function in the module with the
168/// specified name, of arbitrary type. This method returns null if a function
169/// with the specified name is not found.
170///
171Function *Module::getNamedFunction(const std::string &Name) {
172 // Loop over all of the functions, looking for the function desired
Chris Lattner1f985e02002-11-08 20:34:02 +0000173 for (iterator I = begin(), E = end(); I != E; ++I)
Chris Lattnerb2e46c02002-11-19 18:41:44 +0000174 if (I->getName() == Name)
Chris Lattner1f985e02002-11-08 20:34:02 +0000175 return I;
Chris Lattnerb2e46c02002-11-19 18:41:44 +0000176 return 0; // function not found...
Chris Lattner1f985e02002-11-08 20:34:02 +0000177}
178
179
180
Chris Lattner10b7cb52002-04-13 18:58:33 +0000181// getTypeName - If there is at least one entry in the symbol table for the
182// specified type, return it.
183//
184std::string Module::getTypeName(const Type *Ty) {
Chris Lattner98cf1f52002-11-20 18:36:02 +0000185 const SymbolTable &ST = getSymbolTable();
186 if (ST.find(Type::TypeTy) == ST.end())
Chris Lattner10b7cb52002-04-13 18:58:33 +0000187 return ""; // No names for types...
188
Chris Lattner98cf1f52002-11-20 18:36:02 +0000189 SymbolTable::type_const_iterator TI = ST.type_begin(Type::TypeTy);
190 SymbolTable::type_const_iterator TE = ST.type_end(Type::TypeTy);
Chris Lattner10b7cb52002-04-13 18:58:33 +0000191
192 while (TI != TE && TI->second != (const Value*)Ty)
193 ++TI;
194
195 if (TI != TE) // Must have found an entry!
196 return TI->first;
197 return ""; // Must not have found anything...
198}
199
Chris Lattner2f7c9632001-06-06 20:29:01 +0000200
Chris Lattnere0f6af9b2002-08-17 23:32:47 +0000201// dropAllReferences() - This function causes all the subelementss to "let go"
202// of all references that they are maintaining. This allows one to 'delete' a
203// whole module at a time, even though there may be circular references... first
204// all references are dropped, and all use counts go to zero. Then everything
205// is delete'd for real. Note that no operations are valid on an object that
206// has "dropped all references", except operator delete.
Chris Lattner2f7c9632001-06-06 20:29:01 +0000207//
208void Module::dropAllReferences() {
Chris Lattner113f4f42002-06-25 16:13:24 +0000209 for(Module::iterator I = begin(), E = end(); I != E; ++I)
210 I->dropAllReferences();
Chris Lattner446ad502001-10-13 06:58:40 +0000211
Chris Lattner113f4f42002-06-25 16:13:24 +0000212 for(Module::giterator I = gbegin(), E = gend(); I != E; ++I)
213 I->dropAllReferences();
Chris Lattner446ad502001-10-13 06:58:40 +0000214
215 // If there are any GlobalVariable references still out there, nuke them now.
216 // Since all references are hereby dropped, nothing could possibly reference
Chris Lattner0c6e0b92002-08-18 00:40:04 +0000217 // them still. Note that destroying all of the constant pointer refs will
218 // eventually cause the GVRefMap field to be set to null (by
219 // destroyConstantPointerRef, below).
220 //
221 while (GVRefMap)
222 // Delete the ConstantPointerRef node...
223 GVRefMap->Map.begin()->second->destroyConstant();
Chris Lattner2f7c9632001-06-06 20:29:01 +0000224}
Chris Lattner31cf9842001-06-30 04:35:40 +0000225
Chris Lattner446ad502001-10-13 06:58:40 +0000226// Accessor for the underlying GlobalValRefMap...
Chris Lattner3462ae32001-12-03 22:26:30 +0000227ConstantPointerRef *Module::getConstantPointerRef(GlobalValue *V){
Chris Lattner446ad502001-10-13 06:58:40 +0000228 // Create ref map lazily on demand...
229 if (GVRefMap == 0) GVRefMap = new GlobalValueRefMap();
230
Chris Lattner7d9a14d2002-08-12 20:23:29 +0000231 GlobalValueRefMap::iterator I = GVRefMap->Map.find(V);
232 if (I != GVRefMap->Map.end()) return I->second;
Chris Lattner446ad502001-10-13 06:58:40 +0000233
Chris Lattner3462ae32001-12-03 22:26:30 +0000234 ConstantPointerRef *Ref = new ConstantPointerRef(V);
Chris Lattner0c6e0b92002-08-18 00:40:04 +0000235 GVRefMap->Map[V] = Ref;
Chris Lattner446ad502001-10-13 06:58:40 +0000236 return Ref;
237}
238
Chris Lattner0c6e0b92002-08-18 00:40:04 +0000239void Module::destroyConstantPointerRef(ConstantPointerRef *CPR) {
240 assert(GVRefMap && "No map allocated, but we have a CPR?");
241 if (!GVRefMap->Map.erase(CPR->getValue())) // Remove it from the map...
242 assert(0 && "ConstantPointerRef not found in module CPR map!");
243
244 if (GVRefMap->Map.empty()) { // If the map is empty, delete it.
245 delete GVRefMap;
246 GVRefMap = 0;
247 }
248}
249
Chris Lattner3462ae32001-12-03 22:26:30 +0000250void Module::mutateConstantPointerRef(GlobalValue *OldGV, GlobalValue *NewGV) {
Chris Lattner7d9a14d2002-08-12 20:23:29 +0000251 GlobalValueRefMap::iterator I = GVRefMap->Map.find(OldGV);
252 assert(I != GVRefMap->Map.end() &&
Chris Lattner3462ae32001-12-03 22:26:30 +0000253 "mutateConstantPointerRef; OldGV not in table!");
254 ConstantPointerRef *Ref = I->second;
Chris Lattner446ad502001-10-13 06:58:40 +0000255
256 // Remove the old entry...
Chris Lattner7d9a14d2002-08-12 20:23:29 +0000257 GVRefMap->Map.erase(I);
Chris Lattner446ad502001-10-13 06:58:40 +0000258
259 // Insert the new entry...
Chris Lattner7d9a14d2002-08-12 20:23:29 +0000260 GVRefMap->Map.insert(std::make_pair(NewGV, Ref));
Chris Lattner446ad502001-10-13 06:58:40 +0000261}