Module.cpp revision 54eee524f192a0e7395d057481e8d4240729d7b4
1//===-- Module.cpp - Implement the Module class ---------------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the Module class for the VMCore library.
11//
12//===----------------------------------------------------------------------===//
13
14#include "llvm/Module.h"
15#include "llvm/InstrTypes.h"
16#include "llvm/Constants.h"
17#include "llvm/DerivedTypes.h"
18#include "llvm/GVMaterializer.h"
19#include "llvm/LLVMContext.h"
20#include "llvm/ADT/SmallString.h"
21#include "llvm/ADT/STLExtras.h"
22#include "llvm/ADT/StringExtras.h"
23#include "llvm/Support/LeakDetector.h"
24#include "SymbolTableListTraitsImpl.h"
25#include "llvm/TypeSymbolTable.h"
26#include <algorithm>
27#include <cstdarg>
28#include <cstdlib>
29using namespace llvm;
30
31//===----------------------------------------------------------------------===//
32// Methods to implement the globals and functions lists.
33//
34
35GlobalVariable *ilist_traits<GlobalVariable>::createSentinel() {
36  GlobalVariable *Ret = new GlobalVariable(Type::getInt32Ty(getGlobalContext()),
37                                           false, GlobalValue::ExternalLinkage);
38  // This should not be garbage monitored.
39  LeakDetector::removeGarbageObject(Ret);
40  return Ret;
41}
42GlobalAlias *ilist_traits<GlobalAlias>::createSentinel() {
43  GlobalAlias *Ret = new GlobalAlias(Type::getInt32Ty(getGlobalContext()),
44                                     GlobalValue::ExternalLinkage);
45  // This should not be garbage monitored.
46  LeakDetector::removeGarbageObject(Ret);
47  return Ret;
48}
49
50// Explicit instantiations of SymbolTableListTraits since some of the methods
51// are not in the public header file.
52template class llvm::SymbolTableListTraits<GlobalVariable, Module>;
53template class llvm::SymbolTableListTraits<Function, Module>;
54template class llvm::SymbolTableListTraits<GlobalAlias, Module>;
55
56//===----------------------------------------------------------------------===//
57// Primitive Module methods.
58//
59
60Module::Module(StringRef MID, LLVMContext& C)
61  : Context(C), Materializer(NULL), ModuleID(MID), DataLayout("")  {
62  ValSymTab = new ValueSymbolTable();
63  TypeSymTab = new TypeSymbolTable();
64  NamedMDSymTab = new MDSymbolTable();
65}
66
67Module::~Module() {
68  dropAllReferences();
69  GlobalList.clear();
70  FunctionList.clear();
71  AliasList.clear();
72  LibraryList.clear();
73  NamedMDList.clear();
74  delete ValSymTab;
75  delete TypeSymTab;
76  delete NamedMDSymTab;
77}
78
79/// Target endian information...
80Module::Endianness Module::getEndianness() const {
81  StringRef temp = DataLayout;
82  Module::Endianness ret = AnyEndianness;
83
84  while (!temp.empty()) {
85    StringRef token = DataLayout;
86    tie(token, temp) = getToken(temp, "-");
87
88    if (token[0] == 'e') {
89      ret = LittleEndian;
90    } else if (token[0] == 'E') {
91      ret = BigEndian;
92    }
93  }
94
95  return ret;
96}
97
98/// Target Pointer Size information...
99Module::PointerSize Module::getPointerSize() const {
100  StringRef temp = DataLayout;
101  Module::PointerSize ret = AnyPointerSize;
102
103  while (!temp.empty()) {
104    StringRef token, signalToken;
105    tie(token, temp) = getToken(temp, "-");
106    tie(signalToken, token) = getToken(token, ":");
107
108    if (signalToken[0] == 'p') {
109      int size = 0;
110      getToken(token, ":").first.getAsInteger(10, size);
111      if (size == 32)
112        ret = Pointer32;
113      else if (size == 64)
114        ret = Pointer64;
115    }
116  }
117
118  return ret;
119}
120
121/// getNamedValue - Return the first global value in the module with
122/// the specified name, of arbitrary type.  This method returns null
123/// if a global with the specified name is not found.
124GlobalValue *Module::getNamedValue(StringRef Name) const {
125  return cast_or_null<GlobalValue>(getValueSymbolTable().lookup(Name));
126}
127
128/// getMDKindID - Return a unique non-zero ID for the specified metadata kind.
129/// This ID is uniqued across modules in the current LLVMContext.
130unsigned Module::getMDKindID(StringRef Name) const {
131  return Context.getMDKindID(Name);
132}
133
134/// getMDKindNames - Populate client supplied SmallVector with the name for
135/// custom metadata IDs registered in this LLVMContext.   ID #0 is not used,
136/// so it is filled in as an empty string.
137void Module::getMDKindNames(SmallVectorImpl<StringRef> &Result) const {
138  return Context.getMDKindNames(Result);
139}
140
141
142//===----------------------------------------------------------------------===//
143// Methods for easy access to the functions in the module.
144//
145
146// getOrInsertFunction - Look up the specified function in the module symbol
147// table.  If it does not exist, add a prototype for the function and return
148// it.  This is nice because it allows most passes to get away with not handling
149// the symbol table directly for this common task.
150//
151Constant *Module::getOrInsertFunction(StringRef Name,
152                                      const FunctionType *Ty,
153                                      AttrListPtr AttributeList) {
154  // See if we have a definition for the specified function already.
155  GlobalValue *F = getNamedValue(Name);
156  if (F == 0) {
157    // Nope, add it
158    Function *New = Function::Create(Ty, GlobalVariable::ExternalLinkage, Name);
159    if (!New->isIntrinsic())       // Intrinsics get attrs set on construction
160      New->setAttributes(AttributeList);
161    FunctionList.push_back(New);
162    return New;                    // Return the new prototype.
163  }
164
165  // Okay, the function exists.  Does it have externally visible linkage?
166  if (F->hasLocalLinkage()) {
167    // Clear the function's name.
168    F->setName("");
169    // Retry, now there won't be a conflict.
170    Constant *NewF = getOrInsertFunction(Name, Ty);
171    F->setName(Name);
172    return NewF;
173  }
174
175  // If the function exists but has the wrong type, return a bitcast to the
176  // right type.
177  if (F->getType() != PointerType::getUnqual(Ty))
178    return ConstantExpr::getBitCast(F, PointerType::getUnqual(Ty));
179
180  // Otherwise, we just found the existing function or a prototype.
181  return F;
182}
183
184Constant *Module::getOrInsertTargetIntrinsic(StringRef Name,
185                                             const FunctionType *Ty,
186                                             AttrListPtr AttributeList) {
187  // See if we have a definition for the specified function already.
188  GlobalValue *F = getNamedValue(Name);
189  if (F == 0) {
190    // Nope, add it
191    Function *New = Function::Create(Ty, GlobalVariable::ExternalLinkage, Name);
192    New->setAttributes(AttributeList);
193    FunctionList.push_back(New);
194    return New; // Return the new prototype.
195  }
196
197  // Otherwise, we just found the existing function or a prototype.
198  return F;
199}
200
201Constant *Module::getOrInsertFunction(StringRef Name,
202                                      const FunctionType *Ty) {
203  AttrListPtr AttributeList = AttrListPtr::get((AttributeWithIndex *)0, 0);
204  return getOrInsertFunction(Name, Ty, AttributeList);
205}
206
207// getOrInsertFunction - Look up the specified function in the module symbol
208// table.  If it does not exist, add a prototype for the function and return it.
209// This version of the method takes a null terminated list of function
210// arguments, which makes it easier for clients to use.
211//
212Constant *Module::getOrInsertFunction(StringRef Name,
213                                      AttrListPtr AttributeList,
214                                      const Type *RetTy, ...) {
215  va_list Args;
216  va_start(Args, RetTy);
217
218  // Build the list of argument types...
219  std::vector<const Type*> ArgTys;
220  while (const Type *ArgTy = va_arg(Args, const Type*))
221    ArgTys.push_back(ArgTy);
222
223  va_end(Args);
224
225  // Build the function type and chain to the other getOrInsertFunction...
226  return getOrInsertFunction(Name,
227                             FunctionType::get(RetTy, ArgTys, false),
228                             AttributeList);
229}
230
231Constant *Module::getOrInsertFunction(StringRef Name,
232                                      const Type *RetTy, ...) {
233  va_list Args;
234  va_start(Args, RetTy);
235
236  // Build the list of argument types...
237  std::vector<const Type*> ArgTys;
238  while (const Type *ArgTy = va_arg(Args, const Type*))
239    ArgTys.push_back(ArgTy);
240
241  va_end(Args);
242
243  // Build the function type and chain to the other getOrInsertFunction...
244  return getOrInsertFunction(Name,
245                             FunctionType::get(RetTy, ArgTys, false),
246                             AttrListPtr::get((AttributeWithIndex *)0, 0));
247}
248
249// getFunction - Look up the specified function in the module symbol table.
250// If it does not exist, return null.
251//
252Function *Module::getFunction(StringRef Name) const {
253  return dyn_cast_or_null<Function>(getNamedValue(Name));
254}
255
256//===----------------------------------------------------------------------===//
257// Methods for easy access to the global variables in the module.
258//
259
260/// getGlobalVariable - Look up the specified global variable in the module
261/// symbol table.  If it does not exist, return null.  The type argument
262/// should be the underlying type of the global, i.e., it should not have
263/// the top-level PointerType, which represents the address of the global.
264/// If AllowLocal is set to true, this function will return types that
265/// have an local. By default, these types are not returned.
266///
267GlobalVariable *Module::getGlobalVariable(StringRef Name,
268                                          bool AllowLocal) const {
269  if (GlobalVariable *Result =
270      dyn_cast_or_null<GlobalVariable>(getNamedValue(Name)))
271    if (AllowLocal || !Result->hasLocalLinkage())
272      return Result;
273  return 0;
274}
275
276/// getOrInsertGlobal - Look up the specified global in the module symbol table.
277///   1. If it does not exist, add a declaration of the global and return it.
278///   2. Else, the global exists but has the wrong type: return the function
279///      with a constantexpr cast to the right type.
280///   3. Finally, if the existing global is the correct delclaration, return the
281///      existing global.
282Constant *Module::getOrInsertGlobal(StringRef Name, const Type *Ty) {
283  // See if we have a definition for the specified global already.
284  GlobalVariable *GV = dyn_cast_or_null<GlobalVariable>(getNamedValue(Name));
285  if (GV == 0) {
286    // Nope, add it
287    GlobalVariable *New =
288      new GlobalVariable(*this, Ty, false, GlobalVariable::ExternalLinkage,
289                         0, Name);
290     return New;                    // Return the new declaration.
291  }
292
293  // If the variable exists but has the wrong type, return a bitcast to the
294  // right type.
295  if (GV->getType() != PointerType::getUnqual(Ty))
296    return ConstantExpr::getBitCast(GV, PointerType::getUnqual(Ty));
297
298  // Otherwise, we just found the existing function or a prototype.
299  return GV;
300}
301
302//===----------------------------------------------------------------------===//
303// Methods for easy access to the global variables in the module.
304//
305
306// getNamedAlias - Look up the specified global in the module symbol table.
307// If it does not exist, return null.
308//
309GlobalAlias *Module::getNamedAlias(StringRef Name) const {
310  return dyn_cast_or_null<GlobalAlias>(getNamedValue(Name));
311}
312
313/// getNamedMetadata - Return the first NamedMDNode in the module with the
314/// specified name. This method returns null if a NamedMDNode with the
315/// specified name is not found.
316NamedMDNode *Module::getNamedMetadata(StringRef Name) const {
317  return NamedMDSymTab->lookup(Name);
318}
319
320NamedMDNode *Module::getNamedMetadataUsingTwine(Twine Name) const {
321  SmallString<256> NameData;
322  StringRef NameRef = Name.toStringRef(NameData);
323  return NamedMDSymTab->lookup(NameRef);
324}
325
326/// getOrInsertNamedMetadata - Return the first named MDNode in the module
327/// with the specified name. This method returns a new NamedMDNode if a
328/// NamedMDNode with the specified name is not found.
329NamedMDNode *Module::getOrInsertNamedMetadata(StringRef Name) {
330  NamedMDNode *NMD = NamedMDSymTab->lookup(Name);
331  if (!NMD)
332    NMD = NamedMDNode::Create(getContext(), Name, NULL, 0, this);
333  return NMD;
334}
335
336//===----------------------------------------------------------------------===//
337// Methods for easy access to the types in the module.
338//
339
340
341// addTypeName - Insert an entry in the symbol table mapping Str to Type.  If
342// there is already an entry for this name, true is returned and the symbol
343// table is not modified.
344//
345bool Module::addTypeName(StringRef Name, const Type *Ty) {
346  TypeSymbolTable &ST = getTypeSymbolTable();
347
348  if (ST.lookup(Name)) return true;  // Already in symtab...
349
350  // Not in symbol table?  Set the name with the Symtab as an argument so the
351  // type knows what to update...
352  ST.insert(Name, Ty);
353
354  return false;
355}
356
357/// getTypeByName - Return the type with the specified name in this module, or
358/// null if there is none by that name.
359const Type *Module::getTypeByName(StringRef Name) const {
360  const TypeSymbolTable &ST = getTypeSymbolTable();
361  return cast_or_null<Type>(ST.lookup(Name));
362}
363
364// getTypeName - If there is at least one entry in the symbol table for the
365// specified type, return it.
366//
367std::string Module::getTypeName(const Type *Ty) const {
368  const TypeSymbolTable &ST = getTypeSymbolTable();
369
370  TypeSymbolTable::const_iterator TI = ST.begin();
371  TypeSymbolTable::const_iterator TE = ST.end();
372  if ( TI == TE ) return ""; // No names for types
373
374  while (TI != TE && TI->second != Ty)
375    ++TI;
376
377  if (TI != TE)  // Must have found an entry!
378    return TI->first;
379  return "";     // Must not have found anything...
380}
381
382//===----------------------------------------------------------------------===//
383// Methods to control the materialization of GlobalValues in the Module.
384//
385void Module::setMaterializer(GVMaterializer *GVM) {
386  assert(!Materializer &&
387         "Module already has a GVMaterializer.  Call MaterializeAllPermanently"
388         " to clear it out before setting another one.");
389  Materializer.reset(GVM);
390}
391
392bool Module::isMaterializable(const GlobalValue *GV) const {
393  if (Materializer)
394    return Materializer->isMaterializable(GV);
395  return false;
396}
397
398bool Module::isDematerializable(const GlobalValue *GV) const {
399  if (Materializer)
400    return Materializer->isDematerializable(GV);
401  return false;
402}
403
404bool Module::Materialize(GlobalValue *GV, std::string *ErrInfo) {
405  if (Materializer)
406    return Materializer->Materialize(GV, ErrInfo);
407  return false;
408}
409
410void Module::Dematerialize(GlobalValue *GV) {
411  if (Materializer)
412    return Materializer->Dematerialize(GV);
413}
414
415bool Module::MaterializeAll(std::string *ErrInfo) {
416  if (!Materializer)
417    return false;
418  return Materializer->MaterializeModule(this, ErrInfo);
419}
420
421bool Module::MaterializeAllPermanently(std::string *ErrInfo) {
422  if (MaterializeAll(ErrInfo))
423    return true;
424  Materializer.reset();
425  return false;
426}
427
428//===----------------------------------------------------------------------===//
429// Other module related stuff.
430//
431
432
433// dropAllReferences() - This function causes all the subelementss to "let go"
434// of all references that they are maintaining.  This allows one to 'delete' a
435// whole module at a time, even though there may be circular references... first
436// all references are dropped, and all use counts go to zero.  Then everything
437// is deleted for real.  Note that no operations are valid on an object that
438// has "dropped all references", except operator delete.
439//
440void Module::dropAllReferences() {
441  for(Module::iterator I = begin(), E = end(); I != E; ++I)
442    I->dropAllReferences();
443
444  for(Module::global_iterator I = global_begin(), E = global_end(); I != E; ++I)
445    I->dropAllReferences();
446
447  for(Module::alias_iterator I = alias_begin(), E = alias_end(); I != E; ++I)
448    I->dropAllReferences();
449}
450
451void Module::addLibrary(StringRef Lib) {
452  for (Module::lib_iterator I = lib_begin(), E = lib_end(); I != E; ++I)
453    if (*I == Lib)
454      return;
455  LibraryList.push_back(Lib);
456}
457
458void Module::removeLibrary(StringRef Lib) {
459  LibraryListType::iterator I = LibraryList.begin();
460  LibraryListType::iterator E = LibraryList.end();
461  for (;I != E; ++I)
462    if (*I == Lib) {
463      LibraryList.erase(I);
464      return;
465    }
466}
467