mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-20 03:23:01 +02:00
120 lines
3.9 KiB
C++
120 lines
3.9 KiB
C++
//===---- IndirectionUtils.cpp - Utilities for call indirection in Orc ----===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "llvm/ADT/STLExtras.h"
|
|
#include "llvm/ADT/Triple.h"
|
|
#include "llvm/ExecutionEngine/Orc/CloneSubModule.h"
|
|
#include "llvm/ExecutionEngine/Orc/IndirectionUtils.h"
|
|
#include "llvm/IR/CallSite.h"
|
|
#include "llvm/IR/IRBuilder.h"
|
|
#include <set>
|
|
|
|
namespace llvm {
|
|
namespace orc {
|
|
|
|
GlobalVariable* createImplPointer(Function &F, const Twine &Name,
|
|
Constant *Initializer) {
|
|
assert(F.getParent() && "Function isn't in a module.");
|
|
if (!Initializer)
|
|
Initializer = Constant::getNullValue(F.getType());
|
|
Module &M = *F.getParent();
|
|
return new GlobalVariable(M, F.getType(), false, GlobalValue::ExternalLinkage,
|
|
Initializer, Name, nullptr,
|
|
GlobalValue::NotThreadLocal, 0, true);
|
|
}
|
|
|
|
void makeStub(Function &F, GlobalVariable &ImplPointer) {
|
|
assert(F.isDeclaration() && "Can't turn a definition into a stub.");
|
|
assert(F.getParent() && "Function isn't in a module.");
|
|
Module &M = *F.getParent();
|
|
BasicBlock *EntryBlock = BasicBlock::Create(M.getContext(), "entry", &F);
|
|
IRBuilder<> Builder(EntryBlock);
|
|
LoadInst *ImplAddr = Builder.CreateLoad(&ImplPointer);
|
|
std::vector<Value*> CallArgs;
|
|
for (auto &A : F.args())
|
|
CallArgs.push_back(&A);
|
|
CallInst *Call = Builder.CreateCall(ImplAddr, CallArgs);
|
|
Call->setTailCall();
|
|
Builder.CreateRet(Call);
|
|
}
|
|
|
|
void partition(Module &M, const ModulePartitionMap &PMap) {
|
|
|
|
for (auto &KVPair : PMap) {
|
|
|
|
auto ExtractGlobalVars =
|
|
[&](GlobalVariable &New, const GlobalVariable &Orig,
|
|
ValueToValueMapTy &VMap) {
|
|
if (KVPair.second.count(&Orig)) {
|
|
copyGVInitializer(New, Orig, VMap);
|
|
}
|
|
if (New.getLinkage() == GlobalValue::PrivateLinkage) {
|
|
New.setLinkage(GlobalValue::ExternalLinkage);
|
|
New.setVisibility(GlobalValue::HiddenVisibility);
|
|
}
|
|
};
|
|
|
|
auto ExtractFunctions =
|
|
[&](Function &New, const Function &Orig, ValueToValueMapTy &VMap) {
|
|
if (KVPair.second.count(&Orig))
|
|
copyFunctionBody(New, Orig, VMap);
|
|
if (New.getLinkage() == GlobalValue::InternalLinkage) {
|
|
New.setLinkage(GlobalValue::ExternalLinkage);
|
|
New.setVisibility(GlobalValue::HiddenVisibility);
|
|
}
|
|
};
|
|
|
|
CloneSubModule(*KVPair.first, M, ExtractGlobalVars, ExtractFunctions,
|
|
false);
|
|
}
|
|
}
|
|
|
|
FullyPartitionedModule fullyPartition(Module &M) {
|
|
FullyPartitionedModule MP;
|
|
|
|
ModulePartitionMap PMap;
|
|
|
|
for (auto &F : M) {
|
|
|
|
if (F.isDeclaration())
|
|
continue;
|
|
|
|
std::string NewModuleName = (M.getName() + "." + F.getName()).str();
|
|
MP.Functions.push_back(
|
|
llvm::make_unique<Module>(NewModuleName, M.getContext()));
|
|
MP.Functions.back()->setDataLayout(M.getDataLayout());
|
|
PMap[MP.Functions.back().get()].insert(&F);
|
|
}
|
|
|
|
MP.GlobalVars =
|
|
llvm::make_unique<Module>((M.getName() + ".globals_and_stubs").str(),
|
|
M.getContext());
|
|
MP.GlobalVars->setDataLayout(M.getDataLayout());
|
|
|
|
MP.Commons =
|
|
llvm::make_unique<Module>((M.getName() + ".commons").str(), M.getContext());
|
|
MP.Commons->setDataLayout(M.getDataLayout());
|
|
|
|
// Make sure there's at least an empty set for the stubs map or we'll fail
|
|
// to clone anything for it (including the decls).
|
|
PMap[MP.GlobalVars.get()] = ModulePartitionMap::mapped_type();
|
|
for (auto &GV : M.globals())
|
|
if (GV.getLinkage() == GlobalValue::CommonLinkage)
|
|
PMap[MP.Commons.get()].insert(&GV);
|
|
else
|
|
PMap[MP.GlobalVars.get()].insert(&GV);
|
|
|
|
partition(M, PMap);
|
|
|
|
return MP;
|
|
}
|
|
|
|
} // End namespace orc.
|
|
} // End namespace llvm.
|