blob: 5e7cae5364a4a222788f60ebd12c5640973df466 [file] [log] [blame]
Chris Lattnere4dbb1a2002-11-20 20:47:41 +00001//===- CloneModule.cpp - Clone an entire module ---------------------------===//
Misha Brukmanb1c93172005-04-21 23:48:37 +00002//
John Criswell482202a2003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukmanb1c93172005-04-21 23:48:37 +00007//
John Criswell482202a2003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattnere4dbb1a2002-11-20 20:47:41 +00009//
10// This file implements the CloneModule interface which makes a copy of an
11// entire module.
12//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/Transforms/Utils/Cloning.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000016#include "llvm/IR/Constant.h"
17#include "llvm/IR/DerivedTypes.h"
18#include "llvm/IR/Module.h"
Dan Gohmana2095032010-08-24 18:50:07 +000019#include "llvm/Transforms/Utils/ValueMapper.h"
Tom Stellard0a4e9a32014-10-01 17:14:57 +000020#include "llvm-c/Core.h"
Chris Lattnerdf3c3422004-01-09 06:12:26 +000021using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000022
Chris Lattnere4dbb1a2002-11-20 20:47:41 +000023/// CloneModule - Return an exact copy of the specified module. This is not as
24/// easy as it might seem because we have to worry about making copies of global
Misha Brukman8b2bd4e2003-10-10 17:57:28 +000025/// variables and functions, and making their (initializers and references,
Chris Lattnere4dbb1a2002-11-20 20:47:41 +000026/// respectively) refer to the right globals.
27///
Chris Lattnerdf3c3422004-01-09 06:12:26 +000028Module *llvm::CloneModule(const Module *M) {
Chris Lattner2e266802006-05-17 18:05:35 +000029 // Create the value map that maps things from the old module over to the new
30 // module.
Devang Pateld8dedee2010-06-24 00:00:42 +000031 ValueToValueMapTy VMap;
Devang Patelb8f11de2010-06-23 23:55:51 +000032 return CloneModule(M, VMap);
Chris Lattner2e266802006-05-17 18:05:35 +000033}
34
Chris Lattnerb1ed91f2011-07-09 17:41:24 +000035Module *llvm::CloneModule(const Module *M, ValueToValueMapTy &VMap) {
Peter Collingbourne1dc6a8d2015-08-21 02:48:20 +000036 return CloneModule(M, VMap, [](const GlobalValue *GV) { return true; });
37}
38
39Module *llvm::CloneModule(
40 const Module *M, ValueToValueMapTy &VMap,
41 std::function<bool(const GlobalValue *)> ShouldCloneDefinition) {
Chris Lattnerb1ed91f2011-07-09 17:41:24 +000042 // First off, we need to create the new module.
Owen Anderson6773d382009-07-01 16:58:40 +000043 Module *New = new Module(M->getModuleIdentifier(), M->getContext());
Reid Spencer3ac38e92007-01-26 08:11:39 +000044 New->setDataLayout(M->getDataLayout());
Chris Lattnerb98282d2006-01-18 21:32:45 +000045 New->setTargetTriple(M->getTargetTriple());
Chris Lattner00fcdfe2006-01-24 04:16:34 +000046 New->setModuleInlineAsm(M->getModuleInlineAsm());
Chris Lattnerb1ed91f2011-07-09 17:41:24 +000047
Chris Lattnere4dbb1a2002-11-20 20:47:41 +000048 // Loop over all of the global variables, making corresponding globals in the
Devang Patelb8f11de2010-06-23 23:55:51 +000049 // new module. Here we add them to the VMap and to the new Module. We
Chris Lattnere4dbb1a2002-11-20 20:47:41 +000050 // don't worry about attributes or initializers, they will come later.
51 //
Chris Lattner21d1dde2005-05-09 01:04:34 +000052 for (Module::const_global_iterator I = M->global_begin(), E = M->global_end();
Nick Lewycky03c5fa12008-10-09 06:27:14 +000053 I != E; ++I) {
Owen Andersonb17f3292009-07-08 19:03:57 +000054 GlobalVariable *GV = new GlobalVariable(*New,
Owen Anderson5948fdf2009-07-08 01:26:06 +000055 I->getType()->getElementType(),
Eli Friedman4d051982011-08-15 21:05:06 +000056 I->isConstant(), I->getLinkage(),
Craig Topperf40110f2014-04-25 05:29:35 +000057 (Constant*) nullptr, I->getName(),
58 (GlobalVariable*) nullptr,
Hans Wennborgcbe34b42012-06-23 11:37:03 +000059 I->getThreadLocalMode(),
Eli Friedman4d051982011-08-15 21:05:06 +000060 I->getType()->getAddressSpace());
61 GV->copyAttributesFrom(I);
Devang Patelb8f11de2010-06-23 23:55:51 +000062 VMap[I] = GV;
Nick Lewycky03c5fa12008-10-09 06:27:14 +000063 }
Chris Lattnere4dbb1a2002-11-20 20:47:41 +000064
65 // Loop over the functions in the module, making external functions as before
Chris Lattner21d1dde2005-05-09 01:04:34 +000066 for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I) {
Jeff Cohen5f4ef3c2005-07-27 06:12:32 +000067 Function *NF =
Gabor Greife9ecc682008-04-06 20:25:17 +000068 Function::Create(cast<FunctionType>(I->getType()->getElementType()),
Eli Friedman4d051982011-08-15 21:05:06 +000069 I->getLinkage(), I->getName(), New);
Duncan Sandsdd7daee2008-05-26 19:58:59 +000070 NF->copyAttributesFrom(I);
Devang Patelb8f11de2010-06-23 23:55:51 +000071 VMap[I] = NF;
Chris Lattner21d1dde2005-05-09 01:04:34 +000072 }
Chris Lattnere4dbb1a2002-11-20 20:47:41 +000073
Anton Korobeynikov76547342007-07-10 19:07:35 +000074 // Loop over the aliases in the module
75 for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end();
Eli Friedman4d051982011-08-15 21:05:06 +000076 I != E; ++I) {
Peter Collingbourne1dc6a8d2015-08-21 02:48:20 +000077 if (!ShouldCloneDefinition(I)) {
78 // An alias cannot act as an external reference, so we need to create
79 // either a function or a global variable depending on the value type.
80 // FIXME: Once pointee types are gone we can probably pick one or the
81 // other.
82 GlobalValue *GV;
83 if (I->getValueType()->isFunctionTy())
84 GV = Function::Create(cast<FunctionType>(I->getValueType()),
85 GlobalValue::ExternalLinkage, I->getName(), New);
86 else
87 GV = new GlobalVariable(
88 *New, I->getValueType(), false, GlobalValue::ExternalLinkage,
89 (Constant *)nullptr, I->getName(), (GlobalVariable *)nullptr,
90 I->getThreadLocalMode(), I->getType()->getAddressSpace());
91 VMap[I] = GV;
92 // We do not copy attributes (mainly because copying between different
93 // kinds of globals is forbidden), but this is generally not required for
94 // correctness.
95 continue;
96 }
Rafael Espindola4fe00942014-05-16 13:34:04 +000097 auto *PTy = cast<PointerType>(I->getType());
David Blaikief64246b2015-04-29 21:22:39 +000098 auto *GA = GlobalAlias::create(PTy, I->getLinkage(), I->getName(), New);
Eli Friedman4d051982011-08-15 21:05:06 +000099 GA->copyAttributesFrom(I);
100 VMap[I] = GA;
101 }
Anton Korobeynikov76547342007-07-10 19:07:35 +0000102
Chris Lattnere4dbb1a2002-11-20 20:47:41 +0000103 // Now that all of the things that global variable initializer can refer to
104 // have been created, loop through and copy the global variable referrers
105 // over... We also set the attributes on the global now.
106 //
Chris Lattner21d1dde2005-05-09 01:04:34 +0000107 for (Module::const_global_iterator I = M->global_begin(), E = M->global_end();
108 I != E; ++I) {
Devang Patelb8f11de2010-06-23 23:55:51 +0000109 GlobalVariable *GV = cast<GlobalVariable>(VMap[I]);
Peter Collingbourne1dc6a8d2015-08-21 02:48:20 +0000110 if (!ShouldCloneDefinition(I)) {
111 // Skip after setting the correct linkage for an external reference.
112 GV->setLinkage(GlobalValue::ExternalLinkage);
113 continue;
114 }
Chris Lattnere4dbb1a2002-11-20 20:47:41 +0000115 if (I->hasInitializer())
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000116 GV->setInitializer(MapValue(I->getInitializer(), VMap));
Chris Lattnere4dbb1a2002-11-20 20:47:41 +0000117 }
118
119 // Similarly, copy over function bodies now...
120 //
121 for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I) {
Devang Patelb8f11de2010-06-23 23:55:51 +0000122 Function *F = cast<Function>(VMap[I]);
Peter Collingbourne1dc6a8d2015-08-21 02:48:20 +0000123 if (!ShouldCloneDefinition(I)) {
124 // Skip after setting the correct linkage for an external reference.
125 F->setLinkage(GlobalValue::ExternalLinkage);
126 continue;
127 }
Reid Spencer5301e7c2007-01-30 20:08:39 +0000128 if (!I->isDeclaration()) {
Chris Lattner531f9e92005-03-15 04:54:21 +0000129 Function::arg_iterator DestI = F->arg_begin();
Chris Lattner21d1dde2005-05-09 01:04:34 +0000130 for (Function::const_arg_iterator J = I->arg_begin(); J != I->arg_end();
131 ++J) {
Chris Lattnere4dbb1a2002-11-20 20:47:41 +0000132 DestI->setName(J->getName());
Devang Patelb8f11de2010-06-23 23:55:51 +0000133 VMap[J] = DestI++;
Chris Lattnere4dbb1a2002-11-20 20:47:41 +0000134 }
135
Chris Lattnerd84dbb32009-08-27 04:02:30 +0000136 SmallVector<ReturnInst*, 8> Returns; // Ignore returns cloned.
Dan Gohmanca26f792010-08-26 15:41:53 +0000137 CloneFunctionInto(F, I, VMap, /*ModuleLevelChanges=*/true, Returns);
David Majnemercda86882015-06-30 22:14:01 +0000138
Chris Lattnere4dbb1a2002-11-20 20:47:41 +0000139 }
David Majnemercda86882015-06-30 22:14:01 +0000140
141 if (I->hasPersonalityFn())
142 F->setPersonalityFn(MapValue(I->getPersonalityFn(), VMap));
Chris Lattnere4dbb1a2002-11-20 20:47:41 +0000143 }
144
Anton Korobeynikov76547342007-07-10 19:07:35 +0000145 // And aliases
146 for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end();
147 I != E; ++I) {
Peter Collingbourne1dc6a8d2015-08-21 02:48:20 +0000148 // We already dealt with undefined aliases above.
149 if (!ShouldCloneDefinition(I))
150 continue;
Devang Patelb8f11de2010-06-23 23:55:51 +0000151 GlobalAlias *GA = cast<GlobalAlias>(VMap[I]);
Rafael Espindola64c1e182014-06-03 02:41:57 +0000152 if (const Constant *C = I->getAliasee())
Michael Kuperstein0bf33ff2014-12-23 08:23:45 +0000153 GA->setAliasee(MapValue(C, VMap));
Anton Korobeynikov76547342007-07-10 19:07:35 +0000154 }
Devang Patele3fbbd12010-06-22 18:52:38 +0000155
156 // And named metadata....
157 for (Module::const_named_metadata_iterator I = M->named_metadata_begin(),
158 E = M->named_metadata_end(); I != E; ++I) {
159 const NamedMDNode &NMD = *I;
Dan Gohman2637cc12010-07-21 23:38:33 +0000160 NamedMDNode *NewNMD = New->getOrInsertNamedMetadata(NMD.getName());
Devang Patele3fbbd12010-06-22 18:52:38 +0000161 for (unsigned i = 0, e = NMD.getNumOperands(); i != e; ++i)
Duncan P. N. Exon Smith46d7af52014-12-19 06:06:18 +0000162 NewNMD->addOperand(MapMetadata(NMD.getOperand(i), VMap));
Devang Patele3fbbd12010-06-22 18:52:38 +0000163 }
Devang Patele43c6482010-06-22 22:50:42 +0000164
Chris Lattnere4dbb1a2002-11-20 20:47:41 +0000165 return New;
166}
Tom Stellard0a4e9a32014-10-01 17:14:57 +0000167
168extern "C" {
169
170LLVMModuleRef LLVMCloneModule(LLVMModuleRef M) {
171 return wrap(CloneModule(unwrap(M)));
172}
173
174}