Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 1 | #include "llvm/ExecutionEngine/Orc/CloneSubModule.h" |
| 2 | #include "llvm/IR/Function.h" |
| 3 | #include "llvm/IR/GlobalVariable.h" |
| 4 | #include "llvm/IR/Module.h" |
| 5 | #include "llvm/Transforms/Utils/Cloning.h" |
| 6 | |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 7 | namespace llvm { |
| 8 | namespace orc { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 9 | |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 10 | void copyGVInitializer(GlobalVariable &New, const GlobalVariable &Orig, |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 11 | ValueToValueMapTy &VMap) { |
| 12 | if (Orig.hasInitializer()) |
| 13 | New.setInitializer(MapValue(Orig.getInitializer(), VMap)); |
| 14 | } |
| 15 | |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 16 | void copyFunctionBody(Function &New, const Function &Orig, |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 17 | ValueToValueMapTy &VMap) { |
| 18 | if (!Orig.isDeclaration()) { |
| 19 | Function::arg_iterator DestI = New.arg_begin(); |
| 20 | for (Function::const_arg_iterator J = Orig.arg_begin(); J != Orig.arg_end(); |
| 21 | ++J) { |
| 22 | DestI->setName(J->getName()); |
| 23 | VMap[J] = DestI++; |
| 24 | } |
| 25 | |
| 26 | SmallVector<ReturnInst *, 8> Returns; // Ignore returns cloned. |
| 27 | CloneFunctionInto(&New, &Orig, VMap, /*ModuleLevelChanges=*/true, Returns); |
| 28 | } |
| 29 | } |
| 30 | |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 31 | void CloneSubModule(llvm::Module &Dst, const Module &Src, |
| 32 | HandleGlobalVariableFtor HandleGlobalVariable, |
| 33 | HandleFunctionFtor HandleFunction, bool CloneInlineAsm) { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 34 | |
| 35 | ValueToValueMapTy VMap; |
| 36 | |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 37 | if (CloneInlineAsm) |
| 38 | Dst.appendModuleInlineAsm(Src.getModuleInlineAsm()); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 39 | |
| 40 | // Copy global variables (but not initializers, yet). |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 41 | for (Module::const_global_iterator I = Src.global_begin(), E = Src.global_end(); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 42 | I != E; ++I) { |
| 43 | GlobalVariable *GV = new GlobalVariable( |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 44 | Dst, I->getType()->getElementType(), I->isConstant(), I->getLinkage(), |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 45 | (Constant *)nullptr, I->getName(), (GlobalVariable *)nullptr, |
| 46 | I->getThreadLocalMode(), I->getType()->getAddressSpace()); |
| 47 | GV->copyAttributesFrom(I); |
| 48 | VMap[I] = GV; |
| 49 | } |
| 50 | |
| 51 | // Loop over the functions in the module, making external functions as before |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 52 | for (Module::const_iterator I = Src.begin(), E = Src.end(); I != E; ++I) { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 53 | Function *NF = |
| 54 | Function::Create(cast<FunctionType>(I->getType()->getElementType()), |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 55 | I->getLinkage(), I->getName(), &Dst); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 56 | NF->copyAttributesFrom(I); |
| 57 | VMap[I] = NF; |
| 58 | } |
| 59 | |
| 60 | // Loop over the aliases in the module |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 61 | for (Module::const_alias_iterator I = Src.alias_begin(), E = Src.alias_end(); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 62 | I != E; ++I) { |
| 63 | auto *PTy = cast<PointerType>(I->getType()); |
David Blaikie | f64246b | 2015-04-29 21:22:39 +0000 | [diff] [blame] | 64 | auto *GA = GlobalAlias::create(PTy, I->getLinkage(), I->getName(), &Dst); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 65 | GA->copyAttributesFrom(I); |
| 66 | VMap[I] = GA; |
| 67 | } |
| 68 | |
| 69 | // Now that all of the things that global variable initializer can refer to |
| 70 | // have been created, loop through and copy the global variable referrers |
| 71 | // over... We also set the attributes on the global now. |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 72 | for (Module::const_global_iterator I = Src.global_begin(), E = Src.global_end(); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 73 | I != E; ++I) { |
| 74 | GlobalVariable &GV = *cast<GlobalVariable>(VMap[I]); |
| 75 | HandleGlobalVariable(GV, *I, VMap); |
| 76 | } |
| 77 | |
| 78 | // Similarly, copy over function bodies now... |
| 79 | // |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 80 | for (Module::const_iterator I = Src.begin(), E = Src.end(); I != E; ++I) { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 81 | Function &F = *cast<Function>(VMap[I]); |
| 82 | HandleFunction(F, *I, VMap); |
| 83 | } |
| 84 | |
| 85 | // And aliases |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 86 | for (Module::const_alias_iterator I = Src.alias_begin(), E = Src.alias_end(); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 87 | I != E; ++I) { |
| 88 | GlobalAlias *GA = cast<GlobalAlias>(VMap[I]); |
| 89 | if (const Constant *C = I->getAliasee()) |
| 90 | GA->setAliasee(MapValue(C, VMap)); |
| 91 | } |
| 92 | |
| 93 | // And named metadata.... |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 94 | for (Module::const_named_metadata_iterator I = Src.named_metadata_begin(), |
| 95 | E = Src.named_metadata_end(); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 96 | I != E; ++I) { |
| 97 | const NamedMDNode &NMD = *I; |
Lang Hames | 2754714 | 2015-02-17 01:18:38 +0000 | [diff] [blame] | 98 | NamedMDNode *NewNMD = Dst.getOrInsertNamedMetadata(NMD.getName()); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 99 | for (unsigned i = 0, e = NMD.getNumOperands(); i != e; ++i) |
| 100 | NewNMD->addOperand(MapMetadata(NMD.getOperand(i), VMap)); |
| 101 | } |
| 102 | |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 103 | } |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 104 | |
| 105 | } // End namespace orc. |
| 106 | } // End namespace llvm. |