blob: eb67db1f85dbcc46d6fe0c4eb3154528d142acf8 [file] [log] [blame]
Chris Lattner51cbcbf2002-11-20 20:47:41 +00001//===- CloneModule.cpp - Clone an entire module ---------------------------===//
Misha Brukmanfd939082005-04-21 23:48:37 +00002//
John Criswellb576c942003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-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 Brukmanfd939082005-04-21 23:48:37 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner51cbcbf2002-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 Carruth0b8c9a82013-01-02 11:36:10 +000016#include "llvm/IR/Constant.h"
17#include "llvm/IR/DerivedTypes.h"
18#include "llvm/IR/Module.h"
Dan Gohman05ea54e2010-08-24 18:50:07 +000019#include "llvm/Transforms/Utils/ValueMapper.h"
Chris Lattnerf7703df2004-01-09 06:12:26 +000020using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000021
Chris Lattner51cbcbf2002-11-20 20:47:41 +000022/// CloneModule - Return an exact copy of the specified module. This is not as
23/// easy as it might seem because we have to worry about making copies of global
Misha Brukmancf00c4a2003-10-10 17:57:28 +000024/// variables and functions, and making their (initializers and references,
Chris Lattner51cbcbf2002-11-20 20:47:41 +000025/// respectively) refer to the right globals.
26///
Chris Lattnerf7703df2004-01-09 06:12:26 +000027Module *llvm::CloneModule(const Module *M) {
Chris Lattner782e6012006-05-17 18:05:35 +000028 // Create the value map that maps things from the old module over to the new
29 // module.
Devang Patel774cca72010-06-24 00:00:42 +000030 ValueToValueMapTy VMap;
Devang Patel29d3dd82010-06-23 23:55:51 +000031 return CloneModule(M, VMap);
Chris Lattner782e6012006-05-17 18:05:35 +000032}
33
Chris Lattner1afcace2011-07-09 17:41:24 +000034Module *llvm::CloneModule(const Module *M, ValueToValueMapTy &VMap) {
35 // First off, we need to create the new module.
Owen Anderson8b477ed2009-07-01 16:58:40 +000036 Module *New = new Module(M->getModuleIdentifier(), M->getContext());
Reid Spencer26f23852007-01-26 08:11:39 +000037 New->setDataLayout(M->getDataLayout());
Chris Lattnerc4e8c9f2006-01-18 21:32:45 +000038 New->setTargetTriple(M->getTargetTriple());
Chris Lattner3e2fa7a2006-01-24 04:16:34 +000039 New->setModuleInlineAsm(M->getModuleInlineAsm());
Chris Lattner1afcace2011-07-09 17:41:24 +000040
Chris Lattner51cbcbf2002-11-20 20:47:41 +000041 // Loop over all of the global variables, making corresponding globals in the
Devang Patel29d3dd82010-06-23 23:55:51 +000042 // new module. Here we add them to the VMap and to the new Module. We
Chris Lattner51cbcbf2002-11-20 20:47:41 +000043 // don't worry about attributes or initializers, they will come later.
44 //
Chris Lattnerc154cef2005-05-09 01:04:34 +000045 for (Module::const_global_iterator I = M->global_begin(), E = M->global_end();
Nick Lewyckya6bf66d2008-10-09 06:27:14 +000046 I != E; ++I) {
Owen Andersone9b11b42009-07-08 19:03:57 +000047 GlobalVariable *GV = new GlobalVariable(*New,
Owen Anderson3d29df32009-07-08 01:26:06 +000048 I->getType()->getElementType(),
Eli Friedman0455bb82011-08-15 21:05:06 +000049 I->isConstant(), I->getLinkage(),
Stephen Hinesdce4a402014-05-29 02:49:00 -070050 (Constant*) nullptr, I->getName(),
51 (GlobalVariable*) nullptr,
Hans Wennborgce718ff2012-06-23 11:37:03 +000052 I->getThreadLocalMode(),
Eli Friedman0455bb82011-08-15 21:05:06 +000053 I->getType()->getAddressSpace());
54 GV->copyAttributesFrom(I);
Devang Patel29d3dd82010-06-23 23:55:51 +000055 VMap[I] = GV;
Nick Lewyckya6bf66d2008-10-09 06:27:14 +000056 }
Chris Lattner51cbcbf2002-11-20 20:47:41 +000057
58 // Loop over the functions in the module, making external functions as before
Chris Lattnerc154cef2005-05-09 01:04:34 +000059 for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I) {
Jeff Cohen00b168892005-07-27 06:12:32 +000060 Function *NF =
Gabor Greif051a9502008-04-06 20:25:17 +000061 Function::Create(cast<FunctionType>(I->getType()->getElementType()),
Eli Friedman0455bb82011-08-15 21:05:06 +000062 I->getLinkage(), I->getName(), New);
Duncan Sands28c3cff2008-05-26 19:58:59 +000063 NF->copyAttributesFrom(I);
Devang Patel29d3dd82010-06-23 23:55:51 +000064 VMap[I] = NF;
Chris Lattnerc154cef2005-05-09 01:04:34 +000065 }
Chris Lattner51cbcbf2002-11-20 20:47:41 +000066
Anton Korobeynikova2895112007-07-10 19:07:35 +000067 // Loop over the aliases in the module
68 for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end();
Eli Friedman0455bb82011-08-15 21:05:06 +000069 I != E; ++I) {
Stephen Hinesdce4a402014-05-29 02:49:00 -070070 auto *PTy = cast<PointerType>(I->getType());
71 auto *GA =
72 GlobalAlias::create(PTy->getElementType(), PTy->getAddressSpace(),
73 I->getLinkage(), I->getName(), New);
Eli Friedman0455bb82011-08-15 21:05:06 +000074 GA->copyAttributesFrom(I);
75 VMap[I] = GA;
76 }
Anton Korobeynikova2895112007-07-10 19:07:35 +000077
Chris Lattner51cbcbf2002-11-20 20:47:41 +000078 // Now that all of the things that global variable initializer can refer to
79 // have been created, loop through and copy the global variable referrers
80 // over... We also set the attributes on the global now.
81 //
Chris Lattnerc154cef2005-05-09 01:04:34 +000082 for (Module::const_global_iterator I = M->global_begin(), E = M->global_end();
83 I != E; ++I) {
Devang Patel29d3dd82010-06-23 23:55:51 +000084 GlobalVariable *GV = cast<GlobalVariable>(VMap[I]);
Chris Lattner51cbcbf2002-11-20 20:47:41 +000085 if (I->hasInitializer())
Chris Lattner1afcace2011-07-09 17:41:24 +000086 GV->setInitializer(MapValue(I->getInitializer(), VMap));
Chris Lattner51cbcbf2002-11-20 20:47:41 +000087 }
88
89 // Similarly, copy over function bodies now...
90 //
91 for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I) {
Devang Patel29d3dd82010-06-23 23:55:51 +000092 Function *F = cast<Function>(VMap[I]);
Reid Spencer5cbf9852007-01-30 20:08:39 +000093 if (!I->isDeclaration()) {
Chris Lattnere4d5c442005-03-15 04:54:21 +000094 Function::arg_iterator DestI = F->arg_begin();
Chris Lattnerc154cef2005-05-09 01:04:34 +000095 for (Function::const_arg_iterator J = I->arg_begin(); J != I->arg_end();
96 ++J) {
Chris Lattner51cbcbf2002-11-20 20:47:41 +000097 DestI->setName(J->getName());
Devang Patel29d3dd82010-06-23 23:55:51 +000098 VMap[J] = DestI++;
Chris Lattner51cbcbf2002-11-20 20:47:41 +000099 }
100
Chris Lattnerec1bea02009-08-27 04:02:30 +0000101 SmallVector<ReturnInst*, 8> Returns; // Ignore returns cloned.
Dan Gohman6cb8c232010-08-26 15:41:53 +0000102 CloneFunctionInto(F, I, VMap, /*ModuleLevelChanges=*/true, Returns);
Chris Lattner51cbcbf2002-11-20 20:47:41 +0000103 }
Chris Lattner51cbcbf2002-11-20 20:47:41 +0000104 }
105
Anton Korobeynikova2895112007-07-10 19:07:35 +0000106 // And aliases
107 for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end();
108 I != E; ++I) {
Devang Patel29d3dd82010-06-23 23:55:51 +0000109 GlobalAlias *GA = cast<GlobalAlias>(VMap[I]);
Stephen Hinesdce4a402014-05-29 02:49:00 -0700110 if (const GlobalObject *C = I->getAliasee())
111 GA->setAliasee(cast<GlobalObject>(MapValue(C, VMap)));
Anton Korobeynikova2895112007-07-10 19:07:35 +0000112 }
Devang Pateld8800e72010-06-22 18:52:38 +0000113
114 // And named metadata....
115 for (Module::const_named_metadata_iterator I = M->named_metadata_begin(),
116 E = M->named_metadata_end(); I != E; ++I) {
117 const NamedMDNode &NMD = *I;
Dan Gohman17aa92c2010-07-21 23:38:33 +0000118 NamedMDNode *NewNMD = New->getOrInsertNamedMetadata(NMD.getName());
Devang Pateld8800e72010-06-22 18:52:38 +0000119 for (unsigned i = 0, e = NMD.getNumOperands(); i != e; ++i)
Chris Lattner1afcace2011-07-09 17:41:24 +0000120 NewNMD->addOperand(MapValue(NMD.getOperand(i), VMap));
Devang Pateld8800e72010-06-22 18:52:38 +0000121 }
Devang Patel3bf329f2010-06-22 22:50:42 +0000122
Chris Lattner51cbcbf2002-11-20 20:47:41 +0000123 return New;
124}