blob: 75b610876b7e707a15c817dfaf3b8c0140b96902 [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();
Lang Hamesdc4260d2015-04-20 20:41:45 +000052 Call->setAttributes(F.getAttributes());
Lang Hames27547142015-02-17 01:18:38 +000053 Builder.CreateRet(Call);
Lang Hames93de2a12015-01-23 21:25:00 +000054}
55
Lang Hamesc6de4582015-04-12 20:05:51 +000056// Utility class for renaming global values and functions during partitioning.
57class GlobalRenamer {
58public:
59
60 static bool needsRenaming(const Value &New) {
61 if (!New.hasName() || New.getName().startswith("\01L"))
62 return true;
63 return false;
64 }
65
66 const std::string& getRename(const Value &Orig) {
67 // See if we have a name for this global.
68 {
69 auto I = Names.find(&Orig);
70 if (I != Names.end())
71 return I->second;
72 }
73
74 // Nope. Create a new one.
75 // FIXME: Use a more robust uniquing scheme. (This may blow up if the user
76 // writes a "__orc_anon[[:digit:]]* method).
77 unsigned ID = Names.size();
78 std::ostringstream NameStream;
79 NameStream << "__orc_anon" << ID++;
80 auto I = Names.insert(std::make_pair(&Orig, NameStream.str()));
81 return I.first->second;
82 }
83private:
84 DenseMap<const Value*, std::string> Names;
85};
86
Lang Hames27547142015-02-17 01:18:38 +000087void partition(Module &M, const ModulePartitionMap &PMap) {
Lang Hames93de2a12015-01-23 21:25:00 +000088
Lang Hamesc6de4582015-04-12 20:05:51 +000089 GlobalRenamer Renamer;
90
Lang Hames27547142015-02-17 01:18:38 +000091 for (auto &KVPair : PMap) {
Lang Hames93de2a12015-01-23 21:25:00 +000092
Lang Hames27547142015-02-17 01:18:38 +000093 auto ExtractGlobalVars =
94 [&](GlobalVariable &New, const GlobalVariable &Orig,
95 ValueToValueMapTy &VMap) {
96 if (KVPair.second.count(&Orig)) {
97 copyGVInitializer(New, Orig, VMap);
98 }
Lang Hames2f507442015-04-02 05:28:10 +000099 if (New.hasLocalLinkage()) {
Lang Hamesc6de4582015-04-12 20:05:51 +0000100 if (Renamer.needsRenaming(New))
101 New.setName(Renamer.getRename(Orig));
Lang Hames27547142015-02-17 01:18:38 +0000102 New.setLinkage(GlobalValue::ExternalLinkage);
103 New.setVisibility(GlobalValue::HiddenVisibility);
104 }
Lang Hamesc6de4582015-04-12 20:05:51 +0000105 assert(!Renamer.needsRenaming(New) && "Invalid global name.");
Lang Hames93de2a12015-01-23 21:25:00 +0000106 };
107
Lang Hames27547142015-02-17 01:18:38 +0000108 auto ExtractFunctions =
109 [&](Function &New, const Function &Orig, ValueToValueMapTy &VMap) {
110 if (KVPair.second.count(&Orig))
111 copyFunctionBody(New, Orig, VMap);
Lang Hames2f507442015-04-02 05:28:10 +0000112 if (New.hasLocalLinkage()) {
Lang Hamesc6de4582015-04-12 20:05:51 +0000113 if (Renamer.needsRenaming(New))
114 New.setName(Renamer.getRename(Orig));
Lang Hames27547142015-02-17 01:18:38 +0000115 New.setLinkage(GlobalValue::ExternalLinkage);
116 New.setVisibility(GlobalValue::HiddenVisibility);
117 }
Lang Hamesc6de4582015-04-12 20:05:51 +0000118 assert(!Renamer.needsRenaming(New) && "Invalid function name.");
Lang Hames27547142015-02-17 01:18:38 +0000119 };
Lang Hames93de2a12015-01-23 21:25:00 +0000120
Lang Hames27547142015-02-17 01:18:38 +0000121 CloneSubModule(*KVPair.first, M, ExtractGlobalVars, ExtractFunctions,
122 false);
123 }
124}
Lang Hames93de2a12015-01-23 21:25:00 +0000125
Lang Hames27547142015-02-17 01:18:38 +0000126FullyPartitionedModule fullyPartition(Module &M) {
127 FullyPartitionedModule MP;
128
129 ModulePartitionMap PMap;
130
131 for (auto &F : M) {
132
133 if (F.isDeclaration())
Lang Hames93de2a12015-01-23 21:25:00 +0000134 continue;
135
Lang Hames27547142015-02-17 01:18:38 +0000136 std::string NewModuleName = (M.getName() + "." + F.getName()).str();
137 MP.Functions.push_back(
138 llvm::make_unique<Module>(NewModuleName, M.getContext()));
139 MP.Functions.back()->setDataLayout(M.getDataLayout());
140 PMap[MP.Functions.back().get()].insert(&F);
Lang Hames93de2a12015-01-23 21:25:00 +0000141 }
142
Lang Hames27547142015-02-17 01:18:38 +0000143 MP.GlobalVars =
144 llvm::make_unique<Module>((M.getName() + ".globals_and_stubs").str(),
145 M.getContext());
146 MP.GlobalVars->setDataLayout(M.getDataLayout());
147
148 MP.Commons =
149 llvm::make_unique<Module>((M.getName() + ".commons").str(), M.getContext());
150 MP.Commons->setDataLayout(M.getDataLayout());
151
152 // Make sure there's at least an empty set for the stubs map or we'll fail
153 // to clone anything for it (including the decls).
154 PMap[MP.GlobalVars.get()] = ModulePartitionMap::mapped_type();
155 for (auto &GV : M.globals())
156 if (GV.getLinkage() == GlobalValue::CommonLinkage)
157 PMap[MP.Commons.get()].insert(&GV);
158 else
159 PMap[MP.GlobalVars.get()].insert(&GV);
160
161 partition(M, PMap);
162
163 return MP;
Lang Hames93de2a12015-01-23 21:25:00 +0000164}
165
Lang Hamese7380612015-02-21 20:44:36 +0000166} // End namespace orc.
167} // End namespace llvm.