blob: bcf22f582661f801a6674e74fa8328b89c01d958 [file] [log] [blame]
Lang Hames53ccf882015-02-22 01:45:31 +00001//===---- IndirectionUtils.cpp - Utilities for call indirection in Orc ----===//
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
Benjamin Kramer0a446fd2015-03-01 21:28:53 +000010#include "llvm/ADT/STLExtras.h"
Lang Hames93de2a12015-01-23 21:25:00 +000011#include "llvm/ADT/Triple.h"
Lang Hames93de2a12015-01-23 21:25:00 +000012#include "llvm/ExecutionEngine/Orc/CloneSubModule.h"
Chandler Carruth71f308a2015-02-13 09:09:03 +000013#include "llvm/ExecutionEngine/Orc/IndirectionUtils.h"
Lang Hames93de2a12015-01-23 21:25:00 +000014#include "llvm/IR/CallSite.h"
15#include "llvm/IR/IRBuilder.h"
16#include <set>
17
Lang Hames93de2a12015-01-23 21:25:00 +000018namespace llvm {
Lang Hamese7380612015-02-21 20:44:36 +000019namespace orc {
Lang Hames93de2a12015-01-23 21:25:00 +000020
Lang Hameseb9bdb52015-04-11 00:23:49 +000021Constant* createIRTypedAddress(FunctionType &FT, TargetAddress Addr) {
22 Constant *AddrIntVal =
23 ConstantInt::get(Type::getInt64Ty(FT.getContext()), Addr);
24 Constant *AddrPtrVal =
25 ConstantExpr::getCast(Instruction::IntToPtr, AddrIntVal,
26 PointerType::get(&FT, 0));
27 return AddrPtrVal;
28}
29
30GlobalVariable* createImplPointer(PointerType &PT, Module &M,
31 const Twine &Name, Constant *Initializer) {
Lang Hames27547142015-02-17 01:18:38 +000032 if (!Initializer)
Lang Hameseb9bdb52015-04-11 00:23:49 +000033 Initializer = Constant::getNullValue(&PT);
34 return new GlobalVariable(M, &PT, false, GlobalValue::ExternalLinkage,
Lang Hames27547142015-02-17 01:18:38 +000035 Initializer, Name, nullptr,
36 GlobalValue::NotThreadLocal, 0, true);
Lang Hames93de2a12015-01-23 21:25:00 +000037}
38
Lang Hames27547142015-02-17 01:18:38 +000039void makeStub(Function &F, GlobalVariable &ImplPointer) {
40 assert(F.isDeclaration() && "Can't turn a definition into a stub.");
41 assert(F.getParent() && "Function isn't in a module.");
42 Module &M = *F.getParent();
43 BasicBlock *EntryBlock = BasicBlock::Create(M.getContext(), "entry", &F);
44 IRBuilder<> Builder(EntryBlock);
45 LoadInst *ImplAddr = Builder.CreateLoad(&ImplPointer);
46 std::vector<Value*> CallArgs;
47 for (auto &A : F.args())
48 CallArgs.push_back(&A);
49 CallInst *Call = Builder.CreateCall(ImplAddr, CallArgs);
50 Call->setTailCall();
51 Builder.CreateRet(Call);
Lang Hames93de2a12015-01-23 21:25:00 +000052}
53
Lang Hames27547142015-02-17 01:18:38 +000054void partition(Module &M, const ModulePartitionMap &PMap) {
Lang Hames93de2a12015-01-23 21:25:00 +000055
Lang Hames27547142015-02-17 01:18:38 +000056 for (auto &KVPair : PMap) {
Lang Hames93de2a12015-01-23 21:25:00 +000057
Lang Hames27547142015-02-17 01:18:38 +000058 auto ExtractGlobalVars =
59 [&](GlobalVariable &New, const GlobalVariable &Orig,
60 ValueToValueMapTy &VMap) {
Lang Hameseb9bdb52015-04-11 00:23:49 +000061 assert(Orig.hasName() && "Extracted globals must have names.");
Lang Hames27547142015-02-17 01:18:38 +000062 if (KVPair.second.count(&Orig)) {
63 copyGVInitializer(New, Orig, VMap);
64 }
Lang Hames2f507442015-04-02 05:28:10 +000065 if (New.hasLocalLinkage()) {
Lang Hames27547142015-02-17 01:18:38 +000066 New.setLinkage(GlobalValue::ExternalLinkage);
67 New.setVisibility(GlobalValue::HiddenVisibility);
68 }
Lang Hames93de2a12015-01-23 21:25:00 +000069 };
70
Lang Hames27547142015-02-17 01:18:38 +000071 auto ExtractFunctions =
72 [&](Function &New, const Function &Orig, ValueToValueMapTy &VMap) {
Lang Hameseb9bdb52015-04-11 00:23:49 +000073 assert(Orig.hasName() && "Extracted functions must have names.");
Lang Hames27547142015-02-17 01:18:38 +000074 if (KVPair.second.count(&Orig))
75 copyFunctionBody(New, Orig, VMap);
Lang Hames2f507442015-04-02 05:28:10 +000076 if (New.hasLocalLinkage()) {
Lang Hames27547142015-02-17 01:18:38 +000077 New.setLinkage(GlobalValue::ExternalLinkage);
78 New.setVisibility(GlobalValue::HiddenVisibility);
79 }
80 };
Lang Hames93de2a12015-01-23 21:25:00 +000081
Lang Hames27547142015-02-17 01:18:38 +000082 CloneSubModule(*KVPair.first, M, ExtractGlobalVars, ExtractFunctions,
83 false);
84 }
85}
Lang Hames93de2a12015-01-23 21:25:00 +000086
Lang Hames27547142015-02-17 01:18:38 +000087FullyPartitionedModule fullyPartition(Module &M) {
88 FullyPartitionedModule MP;
89
90 ModulePartitionMap PMap;
91
92 for (auto &F : M) {
93
94 if (F.isDeclaration())
Lang Hames93de2a12015-01-23 21:25:00 +000095 continue;
96
Lang Hames27547142015-02-17 01:18:38 +000097 std::string NewModuleName = (M.getName() + "." + F.getName()).str();
98 MP.Functions.push_back(
99 llvm::make_unique<Module>(NewModuleName, M.getContext()));
100 MP.Functions.back()->setDataLayout(M.getDataLayout());
101 PMap[MP.Functions.back().get()].insert(&F);
Lang Hames93de2a12015-01-23 21:25:00 +0000102 }
103
Lang Hames27547142015-02-17 01:18:38 +0000104 MP.GlobalVars =
105 llvm::make_unique<Module>((M.getName() + ".globals_and_stubs").str(),
106 M.getContext());
107 MP.GlobalVars->setDataLayout(M.getDataLayout());
108
109 MP.Commons =
110 llvm::make_unique<Module>((M.getName() + ".commons").str(), M.getContext());
111 MP.Commons->setDataLayout(M.getDataLayout());
112
113 // Make sure there's at least an empty set for the stubs map or we'll fail
114 // to clone anything for it (including the decls).
115 PMap[MP.GlobalVars.get()] = ModulePartitionMap::mapped_type();
116 for (auto &GV : M.globals())
117 if (GV.getLinkage() == GlobalValue::CommonLinkage)
118 PMap[MP.Commons.get()].insert(&GV);
119 else
120 PMap[MP.GlobalVars.get()].insert(&GV);
121
122 partition(M, PMap);
123
124 return MP;
Lang Hames93de2a12015-01-23 21:25:00 +0000125}
126
Lang Hamese7380612015-02-21 20:44:36 +0000127} // End namespace orc.
128} // End namespace llvm.