mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-25 04:02:41 +01:00
fb10587e50
Modules and ModuleProviders. Because the "ModuleProvider" simply materializes GlobalValues now, and doesn't provide modules, it's renamed to "GVMaterializer". Code that used to need a ModuleProvider to materialize Functions can now materialize the Functions directly. Functions no longer use a magic linkage to record that they're materializable; they simply ask the GVMaterializer. Because the C ABI must never change, we can't remove LLVMModuleProviderRef or the functions that refer to it. Instead, because Module now exposes the same functionality ModuleProvider used to, we store a Module* in any LLVMModuleProviderRef and translate in the wrapper methods. The bindings to other languages still use the ModuleProvider concept. It would probably be worth some time to update them to follow the C++ more closely, but I don't intend to do it. Fixes http://llvm.org/PR5737 and http://llvm.org/PR5735. llvm-svn: 94686
460 lines
16 KiB
C++
460 lines
16 KiB
C++
//===-- Module.cpp - Implement the Module class ---------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// 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.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "llvm/Module.h"
|
|
#include "llvm/InstrTypes.h"
|
|
#include "llvm/Constants.h"
|
|
#include "llvm/DerivedTypes.h"
|
|
#include "llvm/GVMaterializer.h"
|
|
#include "llvm/LLVMContext.h"
|
|
#include "llvm/ADT/STLExtras.h"
|
|
#include "llvm/ADT/StringExtras.h"
|
|
#include "llvm/Support/LeakDetector.h"
|
|
#include "SymbolTableListTraitsImpl.h"
|
|
#include "llvm/TypeSymbolTable.h"
|
|
#include <algorithm>
|
|
#include <cstdarg>
|
|
#include <cstdlib>
|
|
using namespace llvm;
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Methods to implement the globals and functions lists.
|
|
//
|
|
|
|
GlobalVariable *ilist_traits<GlobalVariable>::createSentinel() {
|
|
GlobalVariable *Ret = new GlobalVariable(Type::getInt32Ty(getGlobalContext()),
|
|
false, GlobalValue::ExternalLinkage);
|
|
// This should not be garbage monitored.
|
|
LeakDetector::removeGarbageObject(Ret);
|
|
return Ret;
|
|
}
|
|
GlobalAlias *ilist_traits<GlobalAlias>::createSentinel() {
|
|
GlobalAlias *Ret = new GlobalAlias(Type::getInt32Ty(getGlobalContext()),
|
|
GlobalValue::ExternalLinkage);
|
|
// This should not be garbage monitored.
|
|
LeakDetector::removeGarbageObject(Ret);
|
|
return Ret;
|
|
}
|
|
|
|
// Explicit instantiations of SymbolTableListTraits since some of the methods
|
|
// are not in the public header file.
|
|
template class llvm::SymbolTableListTraits<GlobalVariable, Module>;
|
|
template class llvm::SymbolTableListTraits<Function, Module>;
|
|
template class llvm::SymbolTableListTraits<GlobalAlias, Module>;
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Primitive Module methods.
|
|
//
|
|
|
|
Module::Module(StringRef MID, LLVMContext& C)
|
|
: Context(C), Materializer(NULL), ModuleID(MID), DataLayout("") {
|
|
ValSymTab = new ValueSymbolTable();
|
|
TypeSymTab = new TypeSymbolTable();
|
|
NamedMDSymTab = new MDSymbolTable();
|
|
}
|
|
|
|
Module::~Module() {
|
|
dropAllReferences();
|
|
GlobalList.clear();
|
|
FunctionList.clear();
|
|
AliasList.clear();
|
|
LibraryList.clear();
|
|
NamedMDList.clear();
|
|
delete ValSymTab;
|
|
delete TypeSymTab;
|
|
delete NamedMDSymTab;
|
|
}
|
|
|
|
/// Target endian information...
|
|
Module::Endianness Module::getEndianness() const {
|
|
StringRef temp = DataLayout;
|
|
Module::Endianness ret = AnyEndianness;
|
|
|
|
while (!temp.empty()) {
|
|
StringRef token = DataLayout;
|
|
tie(token, temp) = getToken(DataLayout, "-");
|
|
|
|
if (token[0] == 'e') {
|
|
ret = LittleEndian;
|
|
} else if (token[0] == 'E') {
|
|
ret = BigEndian;
|
|
}
|
|
}
|
|
|
|
return ret;
|
|
}
|
|
|
|
/// Target Pointer Size information...
|
|
Module::PointerSize Module::getPointerSize() const {
|
|
StringRef temp = DataLayout;
|
|
Module::PointerSize ret = AnyPointerSize;
|
|
|
|
while (!temp.empty()) {
|
|
StringRef token, signalToken;
|
|
tie(token, temp) = getToken(temp, "-");
|
|
tie(signalToken, token) = getToken(token, ":");
|
|
|
|
if (signalToken[0] == 'p') {
|
|
int size = 0;
|
|
getToken(token, ":").first.getAsInteger(10, size);
|
|
if (size == 32)
|
|
ret = Pointer32;
|
|
else if (size == 64)
|
|
ret = Pointer64;
|
|
}
|
|
}
|
|
|
|
return ret;
|
|
}
|
|
|
|
/// getNamedValue - Return the first global value in the module with
|
|
/// the specified name, of arbitrary type. This method returns null
|
|
/// if a global with the specified name is not found.
|
|
GlobalValue *Module::getNamedValue(StringRef Name) const {
|
|
return cast_or_null<GlobalValue>(getValueSymbolTable().lookup(Name));
|
|
}
|
|
|
|
/// getMDKindID - Return a unique non-zero ID for the specified metadata kind.
|
|
/// This ID is uniqued across modules in the current LLVMContext.
|
|
unsigned Module::getMDKindID(StringRef Name) const {
|
|
return Context.getMDKindID(Name);
|
|
}
|
|
|
|
/// getMDKindNames - Populate client supplied SmallVector with the name for
|
|
/// custom metadata IDs registered in this LLVMContext. ID #0 is not used,
|
|
/// so it is filled in as an empty string.
|
|
void Module::getMDKindNames(SmallVectorImpl<StringRef> &Result) const {
|
|
return Context.getMDKindNames(Result);
|
|
}
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Methods for easy access to the functions in the module.
|
|
//
|
|
|
|
// getOrInsertFunction - Look up the specified function in the module symbol
|
|
// table. If it does not exist, add a prototype for the function and return
|
|
// it. This is nice because it allows most passes to get away with not handling
|
|
// the symbol table directly for this common task.
|
|
//
|
|
Constant *Module::getOrInsertFunction(StringRef Name,
|
|
const FunctionType *Ty,
|
|
AttrListPtr AttributeList) {
|
|
// See if we have a definition for the specified function already.
|
|
GlobalValue *F = getNamedValue(Name);
|
|
if (F == 0) {
|
|
// Nope, add it
|
|
Function *New = Function::Create(Ty, GlobalVariable::ExternalLinkage, Name);
|
|
if (!New->isIntrinsic()) // Intrinsics get attrs set on construction
|
|
New->setAttributes(AttributeList);
|
|
FunctionList.push_back(New);
|
|
return New; // Return the new prototype.
|
|
}
|
|
|
|
// Okay, the function exists. Does it have externally visible linkage?
|
|
if (F->hasLocalLinkage()) {
|
|
// Clear the function's name.
|
|
F->setName("");
|
|
// Retry, now there won't be a conflict.
|
|
Constant *NewF = getOrInsertFunction(Name, Ty);
|
|
F->setName(Name);
|
|
return NewF;
|
|
}
|
|
|
|
// 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;
|
|
}
|
|
|
|
Constant *Module::getOrInsertTargetIntrinsic(StringRef Name,
|
|
const FunctionType *Ty,
|
|
AttrListPtr AttributeList) {
|
|
// See if we have a definition for the specified function already.
|
|
GlobalValue *F = getNamedValue(Name);
|
|
if (F == 0) {
|
|
// Nope, add it
|
|
Function *New = Function::Create(Ty, GlobalVariable::ExternalLinkage, Name);
|
|
New->setAttributes(AttributeList);
|
|
FunctionList.push_back(New);
|
|
return New; // Return the new prototype.
|
|
}
|
|
|
|
// Otherwise, we just found the existing function or a prototype.
|
|
return F;
|
|
}
|
|
|
|
Constant *Module::getOrInsertFunction(StringRef Name,
|
|
const FunctionType *Ty) {
|
|
AttrListPtr AttributeList = AttrListPtr::get((AttributeWithIndex *)0, 0);
|
|
return getOrInsertFunction(Name, Ty, AttributeList);
|
|
}
|
|
|
|
// getOrInsertFunction - Look up the specified function in the module symbol
|
|
// table. If it does not exist, add a prototype for the function and return it.
|
|
// This version of the method takes a null terminated list of function
|
|
// arguments, which makes it easier for clients to use.
|
|
//
|
|
Constant *Module::getOrInsertFunction(StringRef Name,
|
|
AttrListPtr AttributeList,
|
|
const Type *RetTy, ...) {
|
|
va_list Args;
|
|
va_start(Args, RetTy);
|
|
|
|
// Build the list of argument types...
|
|
std::vector<const Type*> ArgTys;
|
|
while (const Type *ArgTy = va_arg(Args, const Type*))
|
|
ArgTys.push_back(ArgTy);
|
|
|
|
va_end(Args);
|
|
|
|
// Build the function type and chain to the other getOrInsertFunction...
|
|
return getOrInsertFunction(Name,
|
|
FunctionType::get(RetTy, ArgTys, false),
|
|
AttributeList);
|
|
}
|
|
|
|
Constant *Module::getOrInsertFunction(StringRef Name,
|
|
const Type *RetTy, ...) {
|
|
va_list Args;
|
|
va_start(Args, RetTy);
|
|
|
|
// Build the list of argument types...
|
|
std::vector<const Type*> ArgTys;
|
|
while (const Type *ArgTy = va_arg(Args, const Type*))
|
|
ArgTys.push_back(ArgTy);
|
|
|
|
va_end(Args);
|
|
|
|
// Build the function type and chain to the other getOrInsertFunction...
|
|
return getOrInsertFunction(Name,
|
|
FunctionType::get(RetTy, ArgTys, false),
|
|
AttrListPtr::get((AttributeWithIndex *)0, 0));
|
|
}
|
|
|
|
// getFunction - Look up the specified function in the module symbol table.
|
|
// If it does not exist, return null.
|
|
//
|
|
Function *Module::getFunction(StringRef Name) const {
|
|
return dyn_cast_or_null<Function>(getNamedValue(Name));
|
|
}
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Methods for easy access to the global variables in the module.
|
|
//
|
|
|
|
/// getGlobalVariable - Look up the specified global variable in the module
|
|
/// 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 AllowLocal is set to true, this function will return types that
|
|
/// have an local. By default, these types are not returned.
|
|
///
|
|
GlobalVariable *Module::getGlobalVariable(StringRef Name,
|
|
bool AllowLocal) const {
|
|
if (GlobalVariable *Result =
|
|
dyn_cast_or_null<GlobalVariable>(getNamedValue(Name)))
|
|
if (AllowLocal || !Result->hasLocalLinkage())
|
|
return Result;
|
|
return 0;
|
|
}
|
|
|
|
/// getOrInsertGlobal - Look up the specified global in the module symbol table.
|
|
/// 1. If it does not exist, add a declaration of the global and return it.
|
|
/// 2. Else, the global exists but has the wrong type: return the function
|
|
/// with a constantexpr cast to the right type.
|
|
/// 3. Finally, if the existing global is the correct delclaration, return the
|
|
/// existing global.
|
|
Constant *Module::getOrInsertGlobal(StringRef Name, const Type *Ty) {
|
|
// See if we have a definition for the specified global already.
|
|
GlobalVariable *GV = dyn_cast_or_null<GlobalVariable>(getNamedValue(Name));
|
|
if (GV == 0) {
|
|
// Nope, add it
|
|
GlobalVariable *New =
|
|
new GlobalVariable(*this, Ty, false, GlobalVariable::ExternalLinkage,
|
|
0, Name);
|
|
return New; // Return the new declaration.
|
|
}
|
|
|
|
// If the variable exists but has the wrong type, return a bitcast to the
|
|
// right type.
|
|
if (GV->getType() != PointerType::getUnqual(Ty))
|
|
return ConstantExpr::getBitCast(GV, PointerType::getUnqual(Ty));
|
|
|
|
// Otherwise, we just found the existing function or a prototype.
|
|
return GV;
|
|
}
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// 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(StringRef Name) const {
|
|
return dyn_cast_or_null<GlobalAlias>(getNamedValue(Name));
|
|
}
|
|
|
|
/// getNamedMetadata - Return the first NamedMDNode in the module with the
|
|
/// specified name. This method returns null if a NamedMDNode with the
|
|
//// specified name is not found.
|
|
NamedMDNode *Module::getNamedMetadata(StringRef Name) const {
|
|
return NamedMDSymTab->lookup(Name);
|
|
}
|
|
|
|
/// getOrInsertNamedMetadata - Return the first named MDNode in the module
|
|
/// with the specified name. This method returns a new NamedMDNode if a
|
|
/// NamedMDNode with the specified name is not found.
|
|
NamedMDNode *Module::getOrInsertNamedMetadata(StringRef Name) {
|
|
NamedMDNode *NMD = NamedMDSymTab->lookup(Name);
|
|
if (!NMD)
|
|
NMD = NamedMDNode::Create(getContext(), Name, NULL, 0, this);
|
|
return NMD;
|
|
}
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Methods for easy access to the types in the module.
|
|
//
|
|
|
|
|
|
// addTypeName - Insert an entry in the symbol table mapping Str to Type. If
|
|
// there is already an entry for this name, true is returned and the symbol
|
|
// table is not modified.
|
|
//
|
|
bool Module::addTypeName(StringRef Name, const Type *Ty) {
|
|
TypeSymbolTable &ST = getTypeSymbolTable();
|
|
|
|
if (ST.lookup(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);
|
|
|
|
return false;
|
|
}
|
|
|
|
/// getTypeByName - Return the type with the specified name in this module, or
|
|
/// null if there is none by that name.
|
|
const Type *Module::getTypeByName(StringRef Name) const {
|
|
const TypeSymbolTable &ST = getTypeSymbolTable();
|
|
return cast_or_null<Type>(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 TypeSymbolTable &ST = getTypeSymbolTable();
|
|
|
|
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)
|
|
++TI;
|
|
|
|
if (TI != TE) // Must have found an entry!
|
|
return TI->first;
|
|
return ""; // Must not have found anything...
|
|
}
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Methods to control the materialization of GlobalValues in the Module.
|
|
//
|
|
void Module::setMaterializer(GVMaterializer *GVM) {
|
|
assert(!Materializer &&
|
|
"Module already has a GVMaterializer. Call MaterializeAllPermanently"
|
|
" to clear it out before setting another one.");
|
|
Materializer.reset(GVM);
|
|
}
|
|
|
|
bool Module::isMaterializable(const GlobalValue *GV) const {
|
|
if (Materializer)
|
|
return Materializer->isMaterializable(GV);
|
|
return false;
|
|
}
|
|
|
|
bool Module::isDematerializable(const GlobalValue *GV) const {
|
|
if (Materializer)
|
|
return Materializer->isDematerializable(GV);
|
|
return false;
|
|
}
|
|
|
|
bool Module::Materialize(GlobalValue *GV, std::string *ErrInfo) {
|
|
if (Materializer)
|
|
return Materializer->Materialize(GV, ErrInfo);
|
|
return false;
|
|
}
|
|
|
|
void Module::Dematerialize(GlobalValue *GV) {
|
|
if (Materializer)
|
|
return Materializer->Dematerialize(GV);
|
|
}
|
|
|
|
bool Module::MaterializeAll(std::string *ErrInfo) {
|
|
if (!Materializer)
|
|
return false;
|
|
return Materializer->MaterializeModule(this, ErrInfo);
|
|
}
|
|
|
|
bool Module::MaterializeAllPermanently(std::string *ErrInfo) {
|
|
if (MaterializeAll(ErrInfo))
|
|
return true;
|
|
Materializer.reset();
|
|
return false;
|
|
}
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Other module related stuff.
|
|
//
|
|
|
|
|
|
// dropAllReferences() - This function causes all the subelementss to "let go"
|
|
// of all references that they are maintaining. This allows one to 'delete' a
|
|
// whole module at a time, even though there may be circular references... first
|
|
// all references are dropped, and all use counts go to zero. Then everything
|
|
// is deleted for real. Note that no operations are valid on an object that
|
|
// has "dropped all references", except operator delete.
|
|
//
|
|
void Module::dropAllReferences() {
|
|
for(Module::iterator I = begin(), E = end(); I != E; ++I)
|
|
I->dropAllReferences();
|
|
|
|
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(StringRef 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(StringRef Lib) {
|
|
LibraryListType::iterator I = LibraryList.begin();
|
|
LibraryListType::iterator E = LibraryList.end();
|
|
for (;I != E; ++I)
|
|
if (*I == Lib) {
|
|
LibraryList.erase(I);
|
|
return;
|
|
}
|
|
}
|