Lang Hames | 53ccf88 | 2015-02-22 01:45:31 +0000 | [diff] [blame] | 1 | //===---- 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 Kramer | 0a446fd | 2015-03-01 21:28:53 +0000 | [diff] [blame] | 10 | #include "llvm/ADT/STLExtras.h" |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 11 | #include "llvm/ADT/Triple.h" |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 12 | #include "llvm/ExecutionEngine/Orc/CloneSubModule.h" |
Chandler Carruth | 71f308a | 2015-02-13 09:09:03 +0000 | [diff] [blame] | 13 | #include "llvm/ExecutionEngine/Orc/IndirectionUtils.h" |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 14 | #include "llvm/IR/CallSite.h" |
| 15 | #include "llvm/IR/IRBuilder.h" |
| 16 | #include <set> |
| 17 | |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 18 | namespace llvm { |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 19 | namespace orc { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 20 | |
Lang Hames | eb9bdb5 | 2015-04-11 00:23:49 +0000 | [diff] [blame^] | 21 | Constant* 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 | |
| 30 | GlobalVariable* createImplPointer(PointerType &PT, Module &M, |
| 31 | const Twine &Name, Constant *Initializer) { |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 32 | if (!Initializer) |
Lang Hames | eb9bdb5 | 2015-04-11 00:23:49 +0000 | [diff] [blame^] | 33 | Initializer = Constant::getNullValue(&PT); |
| 34 | return new GlobalVariable(M, &PT, false, GlobalValue::ExternalLinkage, |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 35 | Initializer, Name, nullptr, |
| 36 | GlobalValue::NotThreadLocal, 0, true); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 37 | } |
| 38 | |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 39 | void 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 Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 52 | } |
| 53 | |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 54 | void partition(Module &M, const ModulePartitionMap &PMap) { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 55 | |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 56 | for (auto &KVPair : PMap) { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 57 | |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 58 | auto ExtractGlobalVars = |
| 59 | [&](GlobalVariable &New, const GlobalVariable &Orig, |
| 60 | ValueToValueMapTy &VMap) { |
Lang Hames | eb9bdb5 | 2015-04-11 00:23:49 +0000 | [diff] [blame^] | 61 | assert(Orig.hasName() && "Extracted globals must have names."); |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 62 | if (KVPair.second.count(&Orig)) { |
| 63 | copyGVInitializer(New, Orig, VMap); |
| 64 | } |
Lang Hames | 2f50744 | 2015-04-02 05:28:10 +0000 | [diff] [blame] | 65 | if (New.hasLocalLinkage()) { |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 66 | New.setLinkage(GlobalValue::ExternalLinkage); |
| 67 | New.setVisibility(GlobalValue::HiddenVisibility); |
| 68 | } |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 69 | }; |
| 70 | |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 71 | auto ExtractFunctions = |
| 72 | [&](Function &New, const Function &Orig, ValueToValueMapTy &VMap) { |
Lang Hames | eb9bdb5 | 2015-04-11 00:23:49 +0000 | [diff] [blame^] | 73 | assert(Orig.hasName() && "Extracted functions must have names."); |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 74 | if (KVPair.second.count(&Orig)) |
| 75 | copyFunctionBody(New, Orig, VMap); |
Lang Hames | 2f50744 | 2015-04-02 05:28:10 +0000 | [diff] [blame] | 76 | if (New.hasLocalLinkage()) { |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 77 | New.setLinkage(GlobalValue::ExternalLinkage); |
| 78 | New.setVisibility(GlobalValue::HiddenVisibility); |
| 79 | } |
| 80 | }; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 81 | |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 82 | CloneSubModule(*KVPair.first, M, ExtractGlobalVars, ExtractFunctions, |
| 83 | false); |
| 84 | } |
| 85 | } |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 86 | |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 87 | FullyPartitionedModule fullyPartition(Module &M) { |
| 88 | FullyPartitionedModule MP; |
| 89 | |
| 90 | ModulePartitionMap PMap; |
| 91 | |
| 92 | for (auto &F : M) { |
| 93 | |
| 94 | if (F.isDeclaration()) |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 95 | continue; |
| 96 | |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 97 | 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 Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 102 | } |
| 103 | |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 104 | 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 Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 125 | } |
| 126 | |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 127 | } // End namespace orc. |
| 128 | } // End namespace llvm. |