Chris Lattner | 44d2c35 | 2003-10-13 03:32:08 +0000 | [diff] [blame] | 1 | //===-- Module.cpp - Implement the Module class ---------------------------===// |
Misha Brukman | b1c9317 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 2 | // |
John Criswell | 482202a | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | b1c9317 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 7 | // |
John Criswell | 482202a | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 9 | // |
| 10 | // This file implements the Module class for the VMCore library. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 14 | #include "llvm/Module.h" |
Chris Lattner | 31cf984 | 2001-06-30 04:35:40 +0000 | [diff] [blame] | 15 | #include "llvm/InstrTypes.h" |
Chris Lattner | ca14237 | 2002-04-28 19:55:58 +0000 | [diff] [blame] | 16 | #include "llvm/Constants.h" |
Chris Lattner | a483b06 | 2002-03-29 03:44:18 +0000 | [diff] [blame] | 17 | #include "llvm/DerivedTypes.h" |
Owen Anderson | 6773d38 | 2009-07-01 16:58:40 +0000 | [diff] [blame] | 18 | #include "llvm/LLVMContext.h" |
Reid Spencer | 7c16caa | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 19 | #include "llvm/ADT/STLExtras.h" |
Owen Anderson | 9eb1a26 | 2006-05-18 02:10:31 +0000 | [diff] [blame] | 20 | #include "llvm/ADT/StringExtras.h" |
Reid Spencer | 7c16caa | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 21 | #include "llvm/Support/LeakDetector.h" |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 22 | #include "SymbolTableListTraitsImpl.h" |
Reid Spencer | 32af9e8 | 2007-01-06 07:24:44 +0000 | [diff] [blame] | 23 | #include "llvm/TypeSymbolTable.h" |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 24 | #include <algorithm> |
Chris Lattner | bd717d8 | 2003-08-31 00:19:28 +0000 | [diff] [blame] | 25 | #include <cstdarg> |
Owen Anderson | 9eb1a26 | 2006-05-18 02:10:31 +0000 | [diff] [blame] | 26 | #include <cstdlib> |
Chris Lattner | 189d19f | 2003-11-21 20:23:48 +0000 | [diff] [blame] | 27 | using namespace llvm; |
Brian Gaeke | 960707c | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 28 | |
Chris Lattner | 09bd1a0 | 2003-12-31 08:43:01 +0000 | [diff] [blame] | 29 | //===----------------------------------------------------------------------===// |
Misha Brukman | 3bcead7 | 2004-04-21 18:27:56 +0000 | [diff] [blame] | 30 | // Methods to implement the globals and functions lists. |
Chris Lattner | 09bd1a0 | 2003-12-31 08:43:01 +0000 | [diff] [blame] | 31 | // |
| 32 | |
Chris Lattner | f6c93e3 | 2005-01-30 00:09:23 +0000 | [diff] [blame] | 33 | GlobalVariable *ilist_traits<GlobalVariable>::createSentinel() { |
Owen Anderson | b17f329 | 2009-07-08 19:03:57 +0000 | [diff] [blame^] | 34 | GlobalVariable *Ret = new GlobalVariable(getGlobalContext(), Type::Int32Ty, |
| 35 | false, GlobalValue::ExternalLinkage); |
Chris Lattner | 184b298 | 2002-09-08 18:59:35 +0000 | [diff] [blame] | 36 | // This should not be garbage monitored. |
| 37 | LeakDetector::removeGarbageObject(Ret); |
| 38 | return Ret; |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 39 | } |
Anton Korobeynikov | a97b694 | 2007-04-25 14:27:10 +0000 | [diff] [blame] | 40 | GlobalAlias *ilist_traits<GlobalAlias>::createSentinel() { |
Owen Anderson | b17f329 | 2009-07-08 19:03:57 +0000 | [diff] [blame^] | 41 | GlobalAlias *Ret = new GlobalAlias(Type::Int32Ty, |
Dan Gohman | 929391a | 2008-01-29 12:09:55 +0000 | [diff] [blame] | 42 | GlobalValue::ExternalLinkage); |
Anton Korobeynikov | a97b694 | 2007-04-25 14:27:10 +0000 | [diff] [blame] | 43 | // This should not be garbage monitored. |
| 44 | LeakDetector::removeGarbageObject(Ret); |
| 45 | return Ret; |
| 46 | } |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 47 | |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 48 | // Explicit instantiations of SymbolTableListTraits since some of the methods |
Chris Lattner | eef2fe7 | 2006-01-24 04:13:11 +0000 | [diff] [blame] | 49 | // are not in the public header file. |
Chris Lattner | b47aa54 | 2007-04-17 03:26:42 +0000 | [diff] [blame] | 50 | template class SymbolTableListTraits<GlobalVariable, Module>; |
| 51 | template class SymbolTableListTraits<Function, Module>; |
Anton Korobeynikov | a97b694 | 2007-04-25 14:27:10 +0000 | [diff] [blame] | 52 | template class SymbolTableListTraits<GlobalAlias, Module>; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 53 | |
Chris Lattner | 09bd1a0 | 2003-12-31 08:43:01 +0000 | [diff] [blame] | 54 | //===----------------------------------------------------------------------===// |
| 55 | // Primitive Module methods. |
| 56 | // |
Chris Lattner | 446ad50 | 2001-10-13 06:58:40 +0000 | [diff] [blame] | 57 | |
Owen Anderson | 2a15443 | 2009-07-01 23:13:44 +0000 | [diff] [blame] | 58 | Module::Module(const std::string &MID, LLVMContext& C) |
Owen Anderson | 6773d38 | 2009-07-01 16:58:40 +0000 | [diff] [blame] | 59 | : Context(C), ModuleID(MID), DataLayout("") { |
Reid Spencer | 3aaaa0b | 2007-02-05 20:47:22 +0000 | [diff] [blame] | 60 | ValSymTab = new ValueSymbolTable(); |
Reid Spencer | 32af9e8 | 2007-01-06 07:24:44 +0000 | [diff] [blame] | 61 | TypeSymTab = new TypeSymbolTable(); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 62 | } |
| 63 | |
| 64 | Module::~Module() { |
| 65 | dropAllReferences(); |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 66 | GlobalList.clear(); |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 67 | FunctionList.clear(); |
Anton Korobeynikov | a97b694 | 2007-04-25 14:27:10 +0000 | [diff] [blame] | 68 | AliasList.clear(); |
Reid Spencer | a0b05b3 | 2004-07-25 18:08:57 +0000 | [diff] [blame] | 69 | LibraryList.clear(); |
Reid Spencer | 32af9e8 | 2007-01-06 07:24:44 +0000 | [diff] [blame] | 70 | delete ValSymTab; |
| 71 | delete TypeSymTab; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 72 | } |
| 73 | |
Owen Anderson | 9eb1a26 | 2006-05-18 02:10:31 +0000 | [diff] [blame] | 74 | /// Target endian information... |
| 75 | Module::Endianness Module::getEndianness() const { |
| 76 | std::string temp = DataLayout; |
Owen Anderson | 08aecf5 | 2006-05-18 05:46:08 +0000 | [diff] [blame] | 77 | Module::Endianness ret = AnyEndianness; |
Owen Anderson | 9eb1a26 | 2006-05-18 02:10:31 +0000 | [diff] [blame] | 78 | |
Owen Anderson | 08aecf5 | 2006-05-18 05:46:08 +0000 | [diff] [blame] | 79 | while (!temp.empty()) { |
Owen Anderson | 9eb1a26 | 2006-05-18 02:10:31 +0000 | [diff] [blame] | 80 | std::string token = getToken(temp, "-"); |
| 81 | |
| 82 | if (token[0] == 'e') { |
Owen Anderson | 08aecf5 | 2006-05-18 05:46:08 +0000 | [diff] [blame] | 83 | ret = LittleEndian; |
Owen Anderson | 9eb1a26 | 2006-05-18 02:10:31 +0000 | [diff] [blame] | 84 | } else if (token[0] == 'E') { |
Owen Anderson | 08aecf5 | 2006-05-18 05:46:08 +0000 | [diff] [blame] | 85 | ret = BigEndian; |
Owen Anderson | 9eb1a26 | 2006-05-18 02:10:31 +0000 | [diff] [blame] | 86 | } |
| 87 | } |
| 88 | |
Owen Anderson | 08aecf5 | 2006-05-18 05:46:08 +0000 | [diff] [blame] | 89 | return ret; |
Owen Anderson | 9eb1a26 | 2006-05-18 02:10:31 +0000 | [diff] [blame] | 90 | } |
| 91 | |
Owen Anderson | 9eb1a26 | 2006-05-18 02:10:31 +0000 | [diff] [blame] | 92 | /// Target Pointer Size information... |
| 93 | Module::PointerSize Module::getPointerSize() const { |
| 94 | std::string temp = DataLayout; |
Owen Anderson | 08aecf5 | 2006-05-18 05:46:08 +0000 | [diff] [blame] | 95 | Module::PointerSize ret = AnyPointerSize; |
Owen Anderson | 9eb1a26 | 2006-05-18 02:10:31 +0000 | [diff] [blame] | 96 | |
Owen Anderson | 08aecf5 | 2006-05-18 05:46:08 +0000 | [diff] [blame] | 97 | while (!temp.empty()) { |
Owen Anderson | 9eb1a26 | 2006-05-18 02:10:31 +0000 | [diff] [blame] | 98 | std::string token = getToken(temp, "-"); |
| 99 | char signal = getToken(token, ":")[0]; |
| 100 | |
| 101 | if (signal == 'p') { |
| 102 | int size = atoi(getToken(token, ":").c_str()); |
| 103 | if (size == 32) |
Owen Anderson | 08aecf5 | 2006-05-18 05:46:08 +0000 | [diff] [blame] | 104 | ret = Pointer32; |
Owen Anderson | 9eb1a26 | 2006-05-18 02:10:31 +0000 | [diff] [blame] | 105 | else if (size == 64) |
Owen Anderson | 08aecf5 | 2006-05-18 05:46:08 +0000 | [diff] [blame] | 106 | ret = Pointer64; |
Owen Anderson | 9eb1a26 | 2006-05-18 02:10:31 +0000 | [diff] [blame] | 107 | } |
| 108 | } |
| 109 | |
Owen Anderson | 08aecf5 | 2006-05-18 05:46:08 +0000 | [diff] [blame] | 110 | return ret; |
Owen Anderson | 9eb1a26 | 2006-05-18 02:10:31 +0000 | [diff] [blame] | 111 | } |
| 112 | |
Daniel Dunbar | dcf8d3c | 2009-03-06 22:04:43 +0000 | [diff] [blame] | 113 | /// getNamedValue - Return the first global value in the module with |
| 114 | /// the specified name, of arbitrary type. This method returns null |
| 115 | /// if a global with the specified name is not found. |
| 116 | GlobalValue *Module::getNamedValue(const std::string &Name) const { |
| 117 | return cast_or_null<GlobalValue>(getValueSymbolTable().lookup(Name)); |
| 118 | } |
| 119 | |
| 120 | GlobalValue *Module::getNamedValue(const char *Name) const { |
| 121 | llvm::Value *V = getValueSymbolTable().lookup(Name, Name+strlen(Name)); |
| 122 | return cast_or_null<GlobalValue>(V); |
| 123 | } |
| 124 | |
Chris Lattner | 09bd1a0 | 2003-12-31 08:43:01 +0000 | [diff] [blame] | 125 | //===----------------------------------------------------------------------===// |
| 126 | // Methods for easy access to the functions in the module. |
| 127 | // |
| 128 | |
Reid Spencer | 3aaaa0b | 2007-02-05 20:47:22 +0000 | [diff] [blame] | 129 | // getOrInsertFunction - Look up the specified function in the module symbol |
| 130 | // table. If it does not exist, add a prototype for the function and return |
| 131 | // it. This is nice because it allows most passes to get away with not handling |
| 132 | // the symbol table directly for this common task. |
| 133 | // |
Chris Lattner | 505c06b | 2007-01-07 08:09:25 +0000 | [diff] [blame] | 134 | Constant *Module::getOrInsertFunction(const std::string &Name, |
Nick Lewycky | 3a0c106 | 2009-01-04 22:54:40 +0000 | [diff] [blame] | 135 | const FunctionType *Ty, |
| 136 | AttrListPtr AttributeList) { |
Reid Spencer | 3aaaa0b | 2007-02-05 20:47:22 +0000 | [diff] [blame] | 137 | // See if we have a definition for the specified function already. |
Daniel Dunbar | dcf8d3c | 2009-03-06 22:04:43 +0000 | [diff] [blame] | 138 | GlobalValue *F = getNamedValue(Name); |
Chris Lattner | 505c06b | 2007-01-07 08:09:25 +0000 | [diff] [blame] | 139 | if (F == 0) { |
Reid Spencer | 3aaaa0b | 2007-02-05 20:47:22 +0000 | [diff] [blame] | 140 | // Nope, add it |
Gabor Greif | e9ecc68 | 2008-04-06 20:25:17 +0000 | [diff] [blame] | 141 | Function *New = Function::Create(Ty, GlobalVariable::ExternalLinkage, Name); |
Nick Lewycky | 3a0c106 | 2009-01-04 22:54:40 +0000 | [diff] [blame] | 142 | if (!New->isIntrinsic()) // Intrinsics get attrs set on construction |
| 143 | New->setAttributes(AttributeList); |
Chris Lattner | a483b06 | 2002-03-29 03:44:18 +0000 | [diff] [blame] | 144 | FunctionList.push_back(New); |
Chris Lattner | 505c06b | 2007-01-07 08:09:25 +0000 | [diff] [blame] | 145 | return New; // Return the new prototype. |
Chris Lattner | a483b06 | 2002-03-29 03:44:18 +0000 | [diff] [blame] | 146 | } |
Chris Lattner | 505c06b | 2007-01-07 08:09:25 +0000 | [diff] [blame] | 147 | |
| 148 | // Okay, the function exists. Does it have externally visible linkage? |
Rafael Espindola | 6de96a1 | 2009-01-15 20:18:42 +0000 | [diff] [blame] | 149 | if (F->hasLocalLinkage()) { |
Chris Lattner | 42e983e | 2008-06-27 21:25:24 +0000 | [diff] [blame] | 150 | // Clear the function's name. |
| 151 | F->setName(""); |
Chris Lattner | 505c06b | 2007-01-07 08:09:25 +0000 | [diff] [blame] | 152 | // Retry, now there won't be a conflict. |
Chris Lattner | 42e983e | 2008-06-27 21:25:24 +0000 | [diff] [blame] | 153 | Constant *NewF = getOrInsertFunction(Name, Ty); |
| 154 | F->setName(&Name[0], Name.size()); |
| 155 | return NewF; |
Chris Lattner | 505c06b | 2007-01-07 08:09:25 +0000 | [diff] [blame] | 156 | } |
| 157 | |
| 158 | // If the function exists but has the wrong type, return a bitcast to the |
| 159 | // right type. |
Christopher Lamb | edf0788 | 2007-12-17 01:12:55 +0000 | [diff] [blame] | 160 | if (F->getType() != PointerType::getUnqual(Ty)) |
| 161 | return ConstantExpr::getBitCast(F, PointerType::getUnqual(Ty)); |
Chris Lattner | 505c06b | 2007-01-07 08:09:25 +0000 | [diff] [blame] | 162 | |
| 163 | // Otherwise, we just found the existing function or a prototype. |
| 164 | return F; |
Chris Lattner | a483b06 | 2002-03-29 03:44:18 +0000 | [diff] [blame] | 165 | } |
| 166 | |
Dale Johannesen | b842d52 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 167 | Constant *Module::getOrInsertTargetIntrinsic(const std::string &Name, |
| 168 | const FunctionType *Ty, |
| 169 | AttrListPtr AttributeList) { |
Dale Johannesen | b842d52 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 170 | // See if we have a definition for the specified function already. |
Daniel Dunbar | dcf8d3c | 2009-03-06 22:04:43 +0000 | [diff] [blame] | 171 | GlobalValue *F = getNamedValue(Name); |
Dale Johannesen | b842d52 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 172 | if (F == 0) { |
| 173 | // Nope, add it |
| 174 | Function *New = Function::Create(Ty, GlobalVariable::ExternalLinkage, Name); |
| 175 | New->setAttributes(AttributeList); |
| 176 | FunctionList.push_back(New); |
| 177 | return New; // Return the new prototype. |
| 178 | } |
| 179 | |
| 180 | // Otherwise, we just found the existing function or a prototype. |
| 181 | return F; |
| 182 | } |
| 183 | |
Nick Lewycky | 3a0c106 | 2009-01-04 22:54:40 +0000 | [diff] [blame] | 184 | Constant *Module::getOrInsertFunction(const std::string &Name, |
| 185 | const FunctionType *Ty) { |
| 186 | AttrListPtr AttributeList = AttrListPtr::get((AttributeWithIndex *)0, 0); |
| 187 | return getOrInsertFunction(Name, Ty, AttributeList); |
| 188 | } |
| 189 | |
Chris Lattner | bd717d8 | 2003-08-31 00:19:28 +0000 | [diff] [blame] | 190 | // getOrInsertFunction - Look up the specified function in the module symbol |
| 191 | // table. If it does not exist, add a prototype for the function and return it. |
| 192 | // This version of the method takes a null terminated list of function |
| 193 | // arguments, which makes it easier for clients to use. |
| 194 | // |
Chris Lattner | 505c06b | 2007-01-07 08:09:25 +0000 | [diff] [blame] | 195 | Constant *Module::getOrInsertFunction(const std::string &Name, |
Nick Lewycky | 3a0c106 | 2009-01-04 22:54:40 +0000 | [diff] [blame] | 196 | AttrListPtr AttributeList, |
| 197 | const Type *RetTy, ...) { |
| 198 | va_list Args; |
| 199 | va_start(Args, RetTy); |
| 200 | |
| 201 | // Build the list of argument types... |
| 202 | std::vector<const Type*> ArgTys; |
| 203 | while (const Type *ArgTy = va_arg(Args, const Type*)) |
| 204 | ArgTys.push_back(ArgTy); |
| 205 | |
| 206 | va_end(Args); |
| 207 | |
| 208 | // Build the function type and chain to the other getOrInsertFunction... |
| 209 | return getOrInsertFunction(Name, FunctionType::get(RetTy, ArgTys, false), |
| 210 | AttributeList); |
| 211 | } |
| 212 | |
| 213 | Constant *Module::getOrInsertFunction(const std::string &Name, |
Chris Lattner | bd717d8 | 2003-08-31 00:19:28 +0000 | [diff] [blame] | 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... |
Nick Lewycky | 3a0c106 | 2009-01-04 22:54:40 +0000 | [diff] [blame] | 226 | return getOrInsertFunction(Name, FunctionType::get(RetTy, ArgTys, false), |
| 227 | AttrListPtr::get((AttributeWithIndex *)0, 0)); |
Chris Lattner | bd717d8 | 2003-08-31 00:19:28 +0000 | [diff] [blame] | 228 | } |
| 229 | |
Chris Lattner | a483b06 | 2002-03-29 03:44:18 +0000 | [diff] [blame] | 230 | // getFunction - Look up the specified function in the module symbol table. |
| 231 | // If it does not exist, return null. |
| 232 | // |
Reid Spencer | 3aaaa0b | 2007-02-05 20:47:22 +0000 | [diff] [blame] | 233 | Function *Module::getFunction(const std::string &Name) const { |
Daniel Dunbar | dcf8d3c | 2009-03-06 22:04:43 +0000 | [diff] [blame] | 234 | return dyn_cast_or_null<Function>(getNamedValue(Name)); |
Chris Lattner | 1f985e0 | 2002-11-08 20:34:02 +0000 | [diff] [blame] | 235 | } |
| 236 | |
Chris Lattner | e43649f | 2008-06-27 21:09:10 +0000 | [diff] [blame] | 237 | Function *Module::getFunction(const char *Name) const { |
Daniel Dunbar | dcf8d3c | 2009-03-06 22:04:43 +0000 | [diff] [blame] | 238 | return dyn_cast_or_null<Function>(getNamedValue(Name)); |
Chris Lattner | e43649f | 2008-06-27 21:09:10 +0000 | [diff] [blame] | 239 | } |
| 240 | |
Chris Lattner | 09bd1a0 | 2003-12-31 08:43:01 +0000 | [diff] [blame] | 241 | //===----------------------------------------------------------------------===// |
| 242 | // Methods for easy access to the global variables in the module. |
| 243 | // |
| 244 | |
| 245 | /// getGlobalVariable - Look up the specified global variable in the module |
Chris Lattner | 7d4d93c | 2005-12-05 05:30:21 +0000 | [diff] [blame] | 246 | /// symbol table. If it does not exist, return null. The type argument |
| 247 | /// should be the underlying type of the global, i.e., it should not have |
| 248 | /// the top-level PointerType, which represents the address of the global. |
Rafael Espindola | 6de96a1 | 2009-01-15 20:18:42 +0000 | [diff] [blame] | 249 | /// If AllowLocal is set to true, this function will return types that |
| 250 | /// have an local. By default, these types are not returned. |
Chris Lattner | 09bd1a0 | 2003-12-31 08:43:01 +0000 | [diff] [blame] | 251 | /// |
Misha Brukman | b1c9317 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 252 | GlobalVariable *Module::getGlobalVariable(const std::string &Name, |
Rafael Espindola | 6de96a1 | 2009-01-15 20:18:42 +0000 | [diff] [blame] | 253 | bool AllowLocal) const { |
Daniel Dunbar | dcf8d3c | 2009-03-06 22:04:43 +0000 | [diff] [blame] | 254 | if (GlobalVariable *Result = |
| 255 | dyn_cast_or_null<GlobalVariable>(getNamedValue(Name))) |
| 256 | if (AllowLocal || !Result->hasLocalLinkage()) |
Chris Lattner | 09bd1a0 | 2003-12-31 08:43:01 +0000 | [diff] [blame] | 257 | return Result; |
Chris Lattner | 09bd1a0 | 2003-12-31 08:43:01 +0000 | [diff] [blame] | 258 | return 0; |
| 259 | } |
| 260 | |
Bill Wendling | f5f6f74 | 2008-11-05 23:42:27 +0000 | [diff] [blame] | 261 | /// getOrInsertGlobal - Look up the specified global in the module symbol table. |
| 262 | /// 1. If it does not exist, add a declaration of the global and return it. |
| 263 | /// 2. Else, the global exists but has the wrong type: return the function |
| 264 | /// with a constantexpr cast to the right type. |
| 265 | /// 3. Finally, if the existing global is the correct delclaration, return the |
| 266 | /// existing global. |
Bill Wendling | 2f40956 | 2008-11-04 22:51:24 +0000 | [diff] [blame] | 267 | Constant *Module::getOrInsertGlobal(const std::string &Name, const Type *Ty) { |
Bill Wendling | 2f40956 | 2008-11-04 22:51:24 +0000 | [diff] [blame] | 268 | // See if we have a definition for the specified global already. |
Daniel Dunbar | dcf8d3c | 2009-03-06 22:04:43 +0000 | [diff] [blame] | 269 | GlobalVariable *GV = dyn_cast_or_null<GlobalVariable>(getNamedValue(Name)); |
Bill Wendling | 2f40956 | 2008-11-04 22:51:24 +0000 | [diff] [blame] | 270 | if (GV == 0) { |
| 271 | // Nope, add it |
| 272 | GlobalVariable *New = |
Owen Anderson | b17f329 | 2009-07-08 19:03:57 +0000 | [diff] [blame^] | 273 | new GlobalVariable(*this, Ty, false, GlobalVariable::ExternalLinkage, |
| 274 | 0, Name); |
| 275 | return New; // Return the new declaration. |
Bill Wendling | 2f40956 | 2008-11-04 22:51:24 +0000 | [diff] [blame] | 276 | } |
| 277 | |
| 278 | // If the variable exists but has the wrong type, return a bitcast to the |
| 279 | // right type. |
| 280 | if (GV->getType() != PointerType::getUnqual(Ty)) |
| 281 | return ConstantExpr::getBitCast(GV, PointerType::getUnqual(Ty)); |
| 282 | |
| 283 | // Otherwise, we just found the existing function or a prototype. |
| 284 | return GV; |
| 285 | } |
| 286 | |
Chris Lattner | 09bd1a0 | 2003-12-31 08:43:01 +0000 | [diff] [blame] | 287 | //===----------------------------------------------------------------------===// |
Anton Korobeynikov | a97b694 | 2007-04-25 14:27:10 +0000 | [diff] [blame] | 288 | // Methods for easy access to the global variables in the module. |
| 289 | // |
| 290 | |
| 291 | // getNamedAlias - Look up the specified global in the module symbol table. |
| 292 | // If it does not exist, return null. |
| 293 | // |
| 294 | GlobalAlias *Module::getNamedAlias(const std::string &Name) const { |
Daniel Dunbar | dcf8d3c | 2009-03-06 22:04:43 +0000 | [diff] [blame] | 295 | return dyn_cast_or_null<GlobalAlias>(getNamedValue(Name)); |
Anton Korobeynikov | a97b694 | 2007-04-25 14:27:10 +0000 | [diff] [blame] | 296 | } |
| 297 | |
| 298 | //===----------------------------------------------------------------------===// |
Chris Lattner | 09bd1a0 | 2003-12-31 08:43:01 +0000 | [diff] [blame] | 299 | // Methods for easy access to the types in the module. |
| 300 | // |
| 301 | |
Chris Lattner | 1f985e0 | 2002-11-08 20:34:02 +0000 | [diff] [blame] | 302 | |
Chris Lattner | be3596c | 2003-12-31 07:09:33 +0000 | [diff] [blame] | 303 | // addTypeName - Insert an entry in the symbol table mapping Str to Type. If |
| 304 | // there is already an entry for this name, true is returned and the symbol |
| 305 | // table is not modified. |
| 306 | // |
| 307 | bool Module::addTypeName(const std::string &Name, const Type *Ty) { |
Reid Spencer | 32af9e8 | 2007-01-06 07:24:44 +0000 | [diff] [blame] | 308 | TypeSymbolTable &ST = getTypeSymbolTable(); |
Chris Lattner | be3596c | 2003-12-31 07:09:33 +0000 | [diff] [blame] | 309 | |
Reid Spencer | 32af9e8 | 2007-01-06 07:24:44 +0000 | [diff] [blame] | 310 | if (ST.lookup(Name)) return true; // Already in symtab... |
Misha Brukman | b1c9317 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 311 | |
Chris Lattner | be3596c | 2003-12-31 07:09:33 +0000 | [diff] [blame] | 312 | // Not in symbol table? Set the name with the Symtab as an argument so the |
| 313 | // type knows what to update... |
Reid Spencer | f9776c3 | 2004-07-10 16:37:42 +0000 | [diff] [blame] | 314 | ST.insert(Name, Ty); |
Chris Lattner | be3596c | 2003-12-31 07:09:33 +0000 | [diff] [blame] | 315 | |
| 316 | return false; |
| 317 | } |
| 318 | |
| 319 | /// getTypeByName - Return the type with the specified name in this module, or |
| 320 | /// null if there is none by that name. |
| 321 | const Type *Module::getTypeByName(const std::string &Name) const { |
Reid Spencer | 32af9e8 | 2007-01-06 07:24:44 +0000 | [diff] [blame] | 322 | const TypeSymbolTable &ST = getTypeSymbolTable(); |
| 323 | return cast_or_null<Type>(ST.lookup(Name)); |
Chris Lattner | be3596c | 2003-12-31 07:09:33 +0000 | [diff] [blame] | 324 | } |
Chris Lattner | 1f985e0 | 2002-11-08 20:34:02 +0000 | [diff] [blame] | 325 | |
Chris Lattner | 10b7cb5 | 2002-04-13 18:58:33 +0000 | [diff] [blame] | 326 | // getTypeName - If there is at least one entry in the symbol table for the |
| 327 | // specified type, return it. |
| 328 | // |
Chris Lattner | be3596c | 2003-12-31 07:09:33 +0000 | [diff] [blame] | 329 | std::string Module::getTypeName(const Type *Ty) const { |
Reid Spencer | 32af9e8 | 2007-01-06 07:24:44 +0000 | [diff] [blame] | 330 | const TypeSymbolTable &ST = getTypeSymbolTable(); |
Chris Lattner | 10b7cb5 | 2002-04-13 18:58:33 +0000 | [diff] [blame] | 331 | |
Reid Spencer | 32af9e8 | 2007-01-06 07:24:44 +0000 | [diff] [blame] | 332 | TypeSymbolTable::const_iterator TI = ST.begin(); |
| 333 | TypeSymbolTable::const_iterator TE = ST.end(); |
Reid Spencer | abb6f00 | 2004-05-25 08:52:20 +0000 | [diff] [blame] | 334 | if ( TI == TE ) return ""; // No names for types |
Chris Lattner | 10b7cb5 | 2002-04-13 18:58:33 +0000 | [diff] [blame] | 335 | |
Reid Spencer | abb6f00 | 2004-05-25 08:52:20 +0000 | [diff] [blame] | 336 | while (TI != TE && TI->second != Ty) |
Chris Lattner | 10b7cb5 | 2002-04-13 18:58:33 +0000 | [diff] [blame] | 337 | ++TI; |
| 338 | |
| 339 | if (TI != TE) // Must have found an entry! |
| 340 | return TI->first; |
| 341 | return ""; // Must not have found anything... |
| 342 | } |
| 343 | |
Chris Lattner | 09bd1a0 | 2003-12-31 08:43:01 +0000 | [diff] [blame] | 344 | //===----------------------------------------------------------------------===// |
| 345 | // Other module related stuff. |
| 346 | // |
| 347 | |
| 348 | |
Chris Lattner | e0f6af9b | 2002-08-17 23:32:47 +0000 | [diff] [blame] | 349 | // dropAllReferences() - This function causes all the subelementss to "let go" |
| 350 | // of all references that they are maintaining. This allows one to 'delete' a |
| 351 | // whole module at a time, even though there may be circular references... first |
| 352 | // all references are dropped, and all use counts go to zero. Then everything |
Misha Brukman | fa10053 | 2003-10-10 17:54:14 +0000 | [diff] [blame] | 353 | // is deleted for real. Note that no operations are valid on an object that |
Chris Lattner | e0f6af9b | 2002-08-17 23:32:47 +0000 | [diff] [blame] | 354 | // has "dropped all references", except operator delete. |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 355 | // |
| 356 | void Module::dropAllReferences() { |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 357 | for(Module::iterator I = begin(), E = end(); I != E; ++I) |
| 358 | I->dropAllReferences(); |
Chris Lattner | 446ad50 | 2001-10-13 06:58:40 +0000 | [diff] [blame] | 359 | |
Chris Lattner | 531f9e9 | 2005-03-15 04:54:21 +0000 | [diff] [blame] | 360 | for(Module::global_iterator I = global_begin(), E = global_end(); I != E; ++I) |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 361 | I->dropAllReferences(); |
Anton Korobeynikov | b18f8f8 | 2007-04-28 13:45:00 +0000 | [diff] [blame] | 362 | |
| 363 | for(Module::alias_iterator I = alias_begin(), E = alias_end(); I != E; ++I) |
| 364 | I->dropAllReferences(); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 365 | } |
Chris Lattner | 31cf984 | 2001-06-30 04:35:40 +0000 | [diff] [blame] | 366 | |
Reid Spencer | 3f4e6e8 | 2007-02-04 00:40:42 +0000 | [diff] [blame] | 367 | void Module::addLibrary(const std::string& Lib) { |
| 368 | for (Module::lib_iterator I = lib_begin(), E = lib_end(); I != E; ++I) |
| 369 | if (*I == Lib) |
| 370 | return; |
| 371 | LibraryList.push_back(Lib); |
| 372 | } |
| 373 | |
| 374 | void Module::removeLibrary(const std::string& Lib) { |
| 375 | LibraryListType::iterator I = LibraryList.begin(); |
| 376 | LibraryListType::iterator E = LibraryList.end(); |
| 377 | for (;I != E; ++I) |
| 378 | if (*I == Lib) { |
| 379 | LibraryList.erase(I); |
| 380 | return; |
| 381 | } |
| 382 | } |