X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=inline;f=lib%2FVMCore%2FModule.cpp;h=a6a859172b06b018f535f57d356bec24cc8984a7;hb=e6be34a53ecbe8c2ff9f0793b13d847e94c0de91;hp=125fd123f8cf3d4d2c0ee2ab0bb000e6feaa4b97;hpb=801db47373bc5edda469276ac62e0d9e37b92fb7;p=oota-llvm.git diff --git a/lib/VMCore/Module.cpp b/lib/VMCore/Module.cpp index 125fd123f8c..a6a859172b0 100644 --- a/lib/VMCore/Module.cpp +++ b/lib/VMCore/Module.cpp @@ -1,10 +1,10 @@ //===-- Module.cpp - Implement the Module class ---------------------------===// -// +// // The LLVM Compiler Infrastructure // -// This file was developed by the LLVM research group and is distributed under -// the University of Illinois Open Source License. See LICENSE.TXT for details. -// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// //===----------------------------------------------------------------------===// // // This file implements the Module class for the VMCore library. @@ -15,12 +15,14 @@ #include "llvm/InstrTypes.h" #include "llvm/Constants.h" #include "llvm/DerivedTypes.h" -#include "Support/STLExtras.h" -#include "Support/LeakDetector.h" +#include "llvm/ADT/STLExtras.h" +#include "llvm/ADT/StringExtras.h" +#include "llvm/Support/LeakDetector.h" #include "SymbolTableListTraitsImpl.h" +#include "llvm/TypeSymbolTable.h" #include #include -#include +#include #include using namespace llvm; @@ -28,7 +30,7 @@ using namespace llvm; // Methods to implement the globals and functions lists. // -Function *ilist_traits::createNode() { +Function *ilist_traits::createSentinel() { FunctionType *FTy = FunctionType::get(Type::VoidTy, std::vector(), false); Function *Ret = new Function(FTy, GlobalValue::ExternalLinkage); @@ -36,13 +38,20 @@ Function *ilist_traits::createNode() { LeakDetector::removeGarbageObject(Ret); return Ret; } -GlobalVariable *ilist_traits::createNode() { - GlobalVariable *Ret = new GlobalVariable(Type::IntTy, false, +GlobalVariable *ilist_traits::createSentinel() { + GlobalVariable *Ret = new GlobalVariable(Type::Int32Ty, false, GlobalValue::ExternalLinkage); // This should not be garbage monitored. LeakDetector::removeGarbageObject(Ret); return Ret; } +GlobalAlias *ilist_traits::createSentinel() { + GlobalAlias *Ret = new GlobalAlias(Type::Int32Ty, + GlobalValue::ExternalLinkage); + // This should not be garbage monitored. + LeakDetector::removeGarbageObject(Ret); + return Ret; +} iplist &ilist_traits::getList(Module *M) { return M->getFunctionList(); @@ -50,38 +59,78 @@ iplist &ilist_traits::getList(Module *M) { iplist &ilist_traits::getList(Module *M) { return M->getGlobalList(); } +iplist &ilist_traits::getList(Module *M) { + return M->getAliasList(); +} // Explicit instantiations of SymbolTableListTraits since some of the methods -// are not in the public header file... -template class SymbolTableListTraits; -template class SymbolTableListTraits; +// are not in the public header file. +template class SymbolTableListTraits; +template class SymbolTableListTraits; +template class SymbolTableListTraits; //===----------------------------------------------------------------------===// // Primitive Module methods. // Module::Module(const std::string &MID) - : ModuleID(MID), Endian(AnyEndianness), PtrSize(AnyPointerSize) { - FunctionList.setItemParent(this); - FunctionList.setParent(this); - GlobalList.setItemParent(this); - GlobalList.setParent(this); - SymTab = new SymbolTable(); + : ModuleID(MID), DataLayout("") { + ValSymTab = new ValueSymbolTable(); + TypeSymTab = new TypeSymbolTable(); } Module::~Module() { dropAllReferences(); GlobalList.clear(); - GlobalList.setParent(0); FunctionList.clear(); - FunctionList.setParent(0); + AliasList.clear(); LibraryList.clear(); - delete SymTab; + delete ValSymTab; + delete TypeSymTab; } // Module::dump() - Allow printing from debugger void Module::dump() const { - print(std::cerr); + print(*cerr.stream()); +} + +/// Target endian information... +Module::Endianness Module::getEndianness() const { + std::string temp = DataLayout; + Module::Endianness ret = AnyEndianness; + + while (!temp.empty()) { + std::string token = getToken(temp, "-"); + + if (token[0] == 'e') { + ret = LittleEndian; + } else if (token[0] == 'E') { + ret = BigEndian; + } + } + + return ret; +} + +/// Target Pointer Size information... +Module::PointerSize Module::getPointerSize() const { + std::string temp = DataLayout; + Module::PointerSize ret = AnyPointerSize; + + while (!temp.empty()) { + std::string token = getToken(temp, "-"); + char signal = getToken(token, ":")[0]; + + if (signal == 'p') { + int size = atoi(getToken(token, ":").c_str()); + if (size == 32) + ret = Pointer32; + else if (size == 64) + ret = Pointer64; + } + } + + return ret; } //===----------------------------------------------------------------------===// @@ -93,18 +142,34 @@ void Module::dump() const { // it. This is nice because it allows most passes to get away with not handling // the symbol table directly for this common task. // -Function *Module::getOrInsertFunction(const std::string &Name, +Constant *Module::getOrInsertFunction(const std::string &Name, const FunctionType *Ty) { - SymbolTable &SymTab = getSymbolTable(); + ValueSymbolTable &SymTab = getValueSymbolTable(); - // See if we have a definitions for the specified function already... - if (Value *V = SymTab.lookup(PointerType::get(Ty), Name)) { - return cast(V); // Yup, got it - } else { // Nope, add one + // See if we have a definition for the specified function already. + GlobalValue *F = dyn_cast_or_null(SymTab.lookup(Name)); + if (F == 0) { + // Nope, add it Function *New = new Function(Ty, GlobalVariable::ExternalLinkage, Name); FunctionList.push_back(New); - return New; // Return the new prototype... + return New; // Return the new prototype. + } + + // Okay, the function exists. Does it have externally visible linkage? + if (F->hasInternalLinkage()) { + // Rename the function. + F->setName(SymTab.getUniqueName(F->getName())); + // Retry, now there won't be a conflict. + return getOrInsertFunction(Name, Ty); } + + // If the function exists but has the wrong type, return a bitcast to the + // right type. + if (F->getType() != PointerType::getUnqual(Ty)) + return ConstantExpr::getBitCast(F, PointerType::getUnqual(Ty)); + + // Otherwise, we just found the existing function or a prototype. + return F; } // getOrInsertFunction - Look up the specified function in the module symbol @@ -112,7 +177,7 @@ Function *Module::getOrInsertFunction(const std::string &Name, // This version of the method takes a null terminated list of function // arguments, which makes it easier for clients to use. // -Function *Module::getOrInsertFunction(const std::string &Name, +Constant *Module::getOrInsertFunction(const std::string &Name, const Type *RetTy, ...) { va_list Args; va_start(Args, RetTy); @@ -132,73 +197,9 @@ Function *Module::getOrInsertFunction(const std::string &Name, // getFunction - Look up the specified function in the module symbol table. // If it does not exist, return null. // -Function *Module::getFunction(const std::string &Name, const FunctionType *Ty) { - SymbolTable &SymTab = getSymbolTable(); - return cast_or_null(SymTab.lookup(PointerType::get(Ty), Name)); -} - - -/// getMainFunction - This function looks up main efficiently. This is such a -/// common case, that it is a method in Module. If main cannot be found, a -/// null pointer is returned. -/// -Function *Module::getMainFunction() { - std::vector Params; - - // int main(void)... - if (Function *F = getFunction("main", FunctionType::get(Type::IntTy, - Params, false))) - return F; - - // void main(void)... - if (Function *F = getFunction("main", FunctionType::get(Type::VoidTy, - Params, false))) - return F; - - Params.push_back(Type::IntTy); - - // int main(int argc)... - if (Function *F = getFunction("main", FunctionType::get(Type::IntTy, - Params, false))) - return F; - - // void main(int argc)... - if (Function *F = getFunction("main", FunctionType::get(Type::VoidTy, - Params, false))) - return F; - - for (unsigned i = 0; i != 2; ++i) { // Check argv and envp - Params.push_back(PointerType::get(PointerType::get(Type::SByteTy))); - - // int main(int argc, char **argv)... - if (Function *F = getFunction("main", FunctionType::get(Type::IntTy, - Params, false))) - return F; - - // void main(int argc, char **argv)... - if (Function *F = getFunction("main", FunctionType::get(Type::VoidTy, - Params, false))) - return F; - } - - // Ok, try to find main the hard way... - return getNamedFunction("main"); -} - -/// getNamedFunction - Return the first function in the module with the -/// specified name, of arbitrary type. This method returns null if a function -/// with the specified name is not found. -/// -Function *Module::getNamedFunction(const std::string &Name) { - // Loop over all of the functions, looking for the function desired - Function *Found = 0; - for (iterator I = begin(), E = end(); I != E; ++I) - if (I->getName() == Name) - if (I->isExternal()) - Found = I; - else - return I; - return Found; // Non-external function not found... +Function *Module::getFunction(const std::string &Name) const { + const ValueSymbolTable &SymTab = getValueSymbolTable(); + return dyn_cast_or_null(SymTab.lookup(Name)); } //===----------------------------------------------------------------------===// @@ -206,23 +207,33 @@ Function *Module::getNamedFunction(const std::string &Name) { // /// getGlobalVariable - Look up the specified global variable in the module -/// symbol table. If it does not exist, return null. Note that this only -/// returns a global variable if it does not have internal linkage. The type -/// argument should be the underlying type of the global, ie, it should not -/// have the top-level PointerType, which represents the address of the -/// global. +/// symbol table. If it does not exist, return null. The type argument +/// should be the underlying type of the global, i.e., it should not have +/// the top-level PointerType, which represents the address of the global. +/// If AllowInternal is set to true, this function will return types that +/// have InternalLinkage. By default, these types are not returned. /// -GlobalVariable *Module::getGlobalVariable(const std::string &Name, - const Type *Ty) { - if (Value *V = getSymbolTable().lookup(PointerType::get(Ty), Name)) { - GlobalVariable *Result = cast(V); - if (!Result->hasInternalLinkage()) +GlobalVariable *Module::getGlobalVariable(const std::string &Name, + bool AllowInternal) const { + if (Value *V = ValSymTab->lookup(Name)) { + GlobalVariable *Result = dyn_cast(V); + if (Result && (AllowInternal || !Result->hasInternalLinkage())) return Result; } return 0; } +//===----------------------------------------------------------------------===// +// Methods for easy access to the global variables in the module. +// +// getNamedAlias - Look up the specified global in the module symbol table. +// If it does not exist, return null. +// +GlobalAlias *Module::getNamedAlias(const std::string &Name) const { + const ValueSymbolTable &SymTab = getValueSymbolTable(); + return dyn_cast_or_null(SymTab.lookup(Name)); +} //===----------------------------------------------------------------------===// // Methods for easy access to the types in the module. @@ -234,10 +245,10 @@ GlobalVariable *Module::getGlobalVariable(const std::string &Name, // table is not modified. // bool Module::addTypeName(const std::string &Name, const Type *Ty) { - SymbolTable &ST = getSymbolTable(); + TypeSymbolTable &ST = getTypeSymbolTable(); + + if (ST.lookup(Name)) return true; // Already in symtab... - if (ST.lookupType(Name)) return true; // Already in symtab... - // Not in symbol table? Set the name with the Symtab as an argument so the // type knows what to update... ST.insert(Name, Ty); @@ -248,18 +259,18 @@ bool Module::addTypeName(const std::string &Name, const Type *Ty) { /// getTypeByName - Return the type with the specified name in this module, or /// null if there is none by that name. const Type *Module::getTypeByName(const std::string &Name) const { - const SymbolTable &ST = getSymbolTable(); - return cast_or_null(ST.lookupType(Name)); + const TypeSymbolTable &ST = getTypeSymbolTable(); + return cast_or_null(ST.lookup(Name)); } // getTypeName - If there is at least one entry in the symbol table for the // specified type, return it. // std::string Module::getTypeName(const Type *Ty) const { - const SymbolTable &ST = getSymbolTable(); + const TypeSymbolTable &ST = getTypeSymbolTable(); - SymbolTable::type_const_iterator TI = ST.type_begin(); - SymbolTable::type_const_iterator TE = ST.type_end(); + TypeSymbolTable::const_iterator TI = ST.begin(); + TypeSymbolTable::const_iterator TE = ST.end(); if ( TI == TE ) return ""; // No names for types while (TI != TE && TI->second != Ty) @@ -270,7 +281,6 @@ std::string Module::getTypeName(const Type *Ty) const { return ""; // Must not have found anything... } - //===----------------------------------------------------------------------===// // Other module related stuff. // @@ -287,7 +297,27 @@ void Module::dropAllReferences() { for(Module::iterator I = begin(), E = end(); I != E; ++I) I->dropAllReferences(); - for(Module::giterator I = gbegin(), E = gend(); I != E; ++I) + for(Module::global_iterator I = global_begin(), E = global_end(); I != E; ++I) I->dropAllReferences(); + + for(Module::alias_iterator I = alias_begin(), E = alias_end(); I != E; ++I) + I->dropAllReferences(); +} + +void Module::addLibrary(const std::string& Lib) { + for (Module::lib_iterator I = lib_begin(), E = lib_end(); I != E; ++I) + if (*I == Lib) + return; + LibraryList.push_back(Lib); +} + +void Module::removeLibrary(const std::string& Lib) { + LibraryListType::iterator I = LibraryList.begin(); + LibraryListType::iterator E = LibraryList.end(); + for (;I != E; ++I) + if (*I == Lib) { + LibraryList.erase(I); + return; + } }