blob: ebeedef7eae857c36d2e2c4431d63481a7c4119d [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>
Lang Hamesc6de4582015-04-12 20:05:51 +000017#include <sstream>
Lang Hames93de2a12015-01-23 21:25:00 +000018
Lang Hames93de2a12015-01-23 21:25:00 +000019namespace llvm {
Lang Hamese7380612015-02-21 20:44:36 +000020namespace orc {
Lang Hames93de2a12015-01-23 21:25:00 +000021
Lang Hameseb9bdb52015-04-11 00:23:49 +000022Constant* createIRTypedAddress(FunctionType &FT, TargetAddress Addr) {
23 Constant *AddrIntVal =
24 ConstantInt::get(Type::getInt64Ty(FT.getContext()), Addr);
25 Constant *AddrPtrVal =
26 ConstantExpr::getCast(Instruction::IntToPtr, AddrIntVal,
27 PointerType::get(&FT, 0));
28 return AddrPtrVal;
29}
30
31GlobalVariable* createImplPointer(PointerType &PT, Module &M,
32 const Twine &Name, Constant *Initializer) {
Lang Hames27547142015-02-17 01:18:38 +000033 if (!Initializer)
Lang Hameseb9bdb52015-04-11 00:23:49 +000034 Initializer = Constant::getNullValue(&PT);
35 return new GlobalVariable(M, &PT, false, GlobalValue::ExternalLinkage,
Lang Hames27547142015-02-17 01:18:38 +000036 Initializer, Name, nullptr,
37 GlobalValue::NotThreadLocal, 0, true);
Lang Hames93de2a12015-01-23 21:25:00 +000038}
39
Lang Hames27547142015-02-17 01:18:38 +000040void makeStub(Function &F, GlobalVariable &ImplPointer) {
41 assert(F.isDeclaration() && "Can't turn a definition into a stub.");
42 assert(F.getParent() && "Function isn't in a module.");
43 Module &M = *F.getParent();
44 BasicBlock *EntryBlock = BasicBlock::Create(M.getContext(), "entry", &F);
45 IRBuilder<> Builder(EntryBlock);
46 LoadInst *ImplAddr = Builder.CreateLoad(&ImplPointer);
47 std::vector<Value*> CallArgs;
48 for (auto &A : F.args())
49 CallArgs.push_back(&A);
50 CallInst *Call = Builder.CreateCall(ImplAddr, CallArgs);
51 Call->setTailCall();
52 Builder.CreateRet(Call);
Lang Hames93de2a12015-01-23 21:25:00 +000053}
54
Lang Hamesc6de4582015-04-12 20:05:51 +000055// Utility class for renaming global values and functions during partitioning.
56class GlobalRenamer {
57public:
58
59 static bool needsRenaming(const Value &New) {
60 if (!New.hasName() || New.getName().startswith("\01L"))
61 return true;
62 return false;
63 }
64
65 const std::string& getRename(const Value &Orig) {
66 // See if we have a name for this global.
67 {
68 auto I = Names.find(&Orig);
69 if (I != Names.end())
70 return I->second;
71 }
72
73 // Nope. Create a new one.
74 // FIXME: Use a more robust uniquing scheme. (This may blow up if the user
75 // writes a "__orc_anon[[:digit:]]* method).
76 unsigned ID = Names.size();
77 std::ostringstream NameStream;
78 NameStream << "__orc_anon" << ID++;
79 auto I = Names.insert(std::make_pair(&Orig, NameStream.str()));
80 return I.first->second;
81 }
82private:
83 DenseMap<const Value*, std::string> Names;
84};
85
Lang Hames27547142015-02-17 01:18:38 +000086void partition(Module &M, const ModulePartitionMap &PMap) {
Lang Hames93de2a12015-01-23 21:25:00 +000087
Lang Hamesc6de4582015-04-12 20:05:51 +000088 GlobalRenamer Renamer;
89
Lang Hames27547142015-02-17 01:18:38 +000090 for (auto &KVPair : PMap) {
Lang Hames93de2a12015-01-23 21:25:00 +000091
Lang Hames27547142015-02-17 01:18:38 +000092 auto ExtractGlobalVars =
93 [&](GlobalVariable &New, const GlobalVariable &Orig,
94 ValueToValueMapTy &VMap) {
95 if (KVPair.second.count(&Orig)) {
96 copyGVInitializer(New, Orig, VMap);
97 }
Lang Hames2f507442015-04-02 05:28:10 +000098 if (New.hasLocalLinkage()) {
Lang Hamesc6de4582015-04-12 20:05:51 +000099 if (Renamer.needsRenaming(New))
100 New.setName(Renamer.getRename(Orig));
Lang Hames27547142015-02-17 01:18:38 +0000101 New.setLinkage(GlobalValue::ExternalLinkage);
102 New.setVisibility(GlobalValue::HiddenVisibility);
103 }
Lang Hamesc6de4582015-04-12 20:05:51 +0000104 assert(!Renamer.needsRenaming(New) && "Invalid global name.");
Lang Hames93de2a12015-01-23 21:25:00 +0000105 };
106
Lang Hames27547142015-02-17 01:18:38 +0000107 auto ExtractFunctions =
108 [&](Function &New, const Function &Orig, ValueToValueMapTy &VMap) {
109 if (KVPair.second.count(&Orig))
110 copyFunctionBody(New, Orig, VMap);
Lang Hames2f507442015-04-02 05:28:10 +0000111 if (New.hasLocalLinkage()) {
Lang Hamesc6de4582015-04-12 20:05:51 +0000112 if (Renamer.needsRenaming(New))
113 New.setName(Renamer.getRename(Orig));
Lang Hames27547142015-02-17 01:18:38 +0000114 New.setLinkage(GlobalValue::ExternalLinkage);
115 New.setVisibility(GlobalValue::HiddenVisibility);
116 }
Lang Hamesc6de4582015-04-12 20:05:51 +0000117 assert(!Renamer.needsRenaming(New) && "Invalid function name.");
Lang Hames27547142015-02-17 01:18:38 +0000118 };
Lang Hames93de2a12015-01-23 21:25:00 +0000119
Lang Hames27547142015-02-17 01:18:38 +0000120 CloneSubModule(*KVPair.first, M, ExtractGlobalVars, ExtractFunctions,
121 false);
122 }
123}
Lang Hames93de2a12015-01-23 21:25:00 +0000124
Lang Hames27547142015-02-17 01:18:38 +0000125FullyPartitionedModule fullyPartition(Module &M) {
126 FullyPartitionedModule MP;
127
128 ModulePartitionMap PMap;
129
130 for (auto &F : M) {
131
132 if (F.isDeclaration())
Lang Hames93de2a12015-01-23 21:25:00 +0000133 continue;
134
Lang Hames27547142015-02-17 01:18:38 +0000135 std::string NewModuleName = (M.getName() + "." + F.getName()).str();
136 MP.Functions.push_back(
137 llvm::make_unique<Module>(NewModuleName, M.getContext()));
138 MP.Functions.back()->setDataLayout(M.getDataLayout());
139 PMap[MP.Functions.back().get()].insert(&F);
Lang Hames93de2a12015-01-23 21:25:00 +0000140 }
141
Lang Hames27547142015-02-17 01:18:38 +0000142 MP.GlobalVars =
143 llvm::make_unique<Module>((M.getName() + ".globals_and_stubs").str(),
144 M.getContext());
145 MP.GlobalVars->setDataLayout(M.getDataLayout());
146
147 MP.Commons =
148 llvm::make_unique<Module>((M.getName() + ".commons").str(), M.getContext());
149 MP.Commons->setDataLayout(M.getDataLayout());
150
151 // Make sure there's at least an empty set for the stubs map or we'll fail
152 // to clone anything for it (including the decls).
153 PMap[MP.GlobalVars.get()] = ModulePartitionMap::mapped_type();
154 for (auto &GV : M.globals())
155 if (GV.getLinkage() == GlobalValue::CommonLinkage)
156 PMap[MP.Commons.get()].insert(&GV);
157 else
158 PMap[MP.GlobalVars.get()].insert(&GV);
159
160 partition(M, PMap);
161
162 return MP;
Lang Hames93de2a12015-01-23 21:25:00 +0000163}
164
Lang Hamese7380612015-02-21 20:44:36 +0000165} // End namespace orc.
166} // End namespace llvm.