CloneModule.cpp revision a289511090b2b48e0824349865e5bc9cb4b7d33c
151cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner//===- CloneModule.cpp - Clone an entire module ---------------------------===// 2fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman// 3b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell// The LLVM Compiler Infrastructure 4b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell// 5b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell// This file was developed by the LLVM research group and is distributed under 6b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell// the University of Illinois Open Source License. See LICENSE.TXT for details. 7fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman// 8b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell//===----------------------------------------------------------------------===// 951cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner// 1051cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner// This file implements the CloneModule interface which makes a copy of an 1151cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner// entire module. 1251cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner// 1351cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner//===----------------------------------------------------------------------===// 1451cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner 1551cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner#include "llvm/Transforms/Utils/Cloning.h" 1651cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner#include "llvm/Module.h" 1751cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner#include "llvm/DerivedTypes.h" 1878d033e086e19e016273de014f9214aa6f3f844bReid Spencer#include "llvm/TypeSymbolTable.h" 1951cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner#include "llvm/Constant.h" 2051cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner#include "ValueMapper.h" 21f7703df4968084c18c248c1feea9961c19a32e6aChris Lattnerusing namespace llvm; 22d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke 2351cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner/// CloneModule - Return an exact copy of the specified module. This is not as 2451cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner/// easy as it might seem because we have to worry about making copies of global 25cf00c4ab3ba308d45d98c5ccab87362cf802facbMisha Brukman/// variables and functions, and making their (initializers and references, 2651cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner/// respectively) refer to the right globals. 2751cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner/// 28f7703df4968084c18c248c1feea9961c19a32e6aChris LattnerModule *llvm::CloneModule(const Module *M) { 29782e60150eb9370a60fa51ed49bd23036588756aChris Lattner // Create the value map that maps things from the old module over to the new 30782e60150eb9370a60fa51ed49bd23036588756aChris Lattner // module. 315e665f559419c7f58a4fd9360cd488f065505c44Chris Lattner DenseMap<const Value*, Value*> ValueMap; 32782e60150eb9370a60fa51ed49bd23036588756aChris Lattner return CloneModule(M, ValueMap); 33782e60150eb9370a60fa51ed49bd23036588756aChris Lattner} 34782e60150eb9370a60fa51ed49bd23036588756aChris Lattner 355e665f559419c7f58a4fd9360cd488f065505c44Chris LattnerModule *llvm::CloneModule(const Module *M, 365e665f559419c7f58a4fd9360cd488f065505c44Chris Lattner DenseMap<const Value*, Value*> &ValueMap) { 3751cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner // First off, we need to create the new module... 3837f59419b8680fd1814e71387c8354ad64bd670bChris Lattner Module *New = new Module(M->getModuleIdentifier()); 3926f238589f9bb372d24b6fb2bc32edbf046fd9eeReid Spencer New->setDataLayout(M->getDataLayout()); 40c4e8c9f318a4cb9ff75d8955482a8ca6412803cdChris Lattner New->setTargetTriple(M->getTargetTriple()); 413e2fa7a746270452316523f27b9055b007feba32Chris Lattner New->setModuleInlineAsm(M->getModuleInlineAsm()); 4251cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner 43c4e8c9f318a4cb9ff75d8955482a8ca6412803cdChris Lattner // Copy all of the type symbol table entries over. 4478d033e086e19e016273de014f9214aa6f3f844bReid Spencer const TypeSymbolTable &TST = M->getTypeSymbolTable(); 4578d033e086e19e016273de014f9214aa6f3f844bReid Spencer for (TypeSymbolTable::const_iterator TI = TST.begin(), TE = TST.end(); 4678d033e086e19e016273de014f9214aa6f3f844bReid Spencer TI != TE; ++TI) 4778d033e086e19e016273de014f9214aa6f3f844bReid Spencer New->addTypeName(TI->first, TI->second); 48c4e8c9f318a4cb9ff75d8955482a8ca6412803cdChris Lattner 49c4e8c9f318a4cb9ff75d8955482a8ca6412803cdChris Lattner // Copy all of the dependent libraries over. 50c4e8c9f318a4cb9ff75d8955482a8ca6412803cdChris Lattner for (Module::lib_iterator I = M->lib_begin(), E = M->lib_end(); I != E; ++I) 51c4e8c9f318a4cb9ff75d8955482a8ca6412803cdChris Lattner New->addLibrary(*I); 52892310eaff9eb8439029755ddf84c2f22f0b7dd7Chris Lattner 5351cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner // Loop over all of the global variables, making corresponding globals in the 5451cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner // new module. Here we add them to the ValueMap and to the new Module. We 5551cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner // don't worry about attributes or initializers, they will come later. 5651cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner // 57c154cef9a1e7db1afd42e4b227571debe7a986f5Chris Lattner for (Module::const_global_iterator I = M->global_begin(), E = M->global_end(); 58c154cef9a1e7db1afd42e4b227571debe7a986f5Chris Lattner I != E; ++I) 594ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner ValueMap[I] = new GlobalVariable(I->getType()->getElementType(), false, 604ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner GlobalValue::ExternalLinkage, 0, 614ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner I->getName(), New); 6251cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner 6351cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner // Loop over the functions in the module, making external functions as before 64c154cef9a1e7db1afd42e4b227571debe7a986f5Chris Lattner for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I) { 6500b16889ab461b7ecef1c91ade101186b7f1fce2Jeff Cohen Function *NF = 66c154cef9a1e7db1afd42e4b227571debe7a986f5Chris Lattner new Function(cast<FunctionType>(I->getType()->getElementType()), 67c154cef9a1e7db1afd42e4b227571debe7a986f5Chris Lattner GlobalValue::ExternalLinkage, I->getName(), New); 68c154cef9a1e7db1afd42e4b227571debe7a986f5Chris Lattner NF->setCallingConv(I->getCallingConv()); 69c154cef9a1e7db1afd42e4b227571debe7a986f5Chris Lattner ValueMap[I]= NF; 70c154cef9a1e7db1afd42e4b227571debe7a986f5Chris Lattner } 7151cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner 72a289511090b2b48e0824349865e5bc9cb4b7d33cAnton Korobeynikov // Loop over the aliases in the module 73a289511090b2b48e0824349865e5bc9cb4b7d33cAnton Korobeynikov for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end(); 74a289511090b2b48e0824349865e5bc9cb4b7d33cAnton Korobeynikov I != E; ++I) 75a289511090b2b48e0824349865e5bc9cb4b7d33cAnton Korobeynikov ValueMap[I] = new GlobalAlias(I->getType(), GlobalAlias::ExternalLinkage, 76a289511090b2b48e0824349865e5bc9cb4b7d33cAnton Korobeynikov I->getName(), NULL, New); 77a289511090b2b48e0824349865e5bc9cb4b7d33cAnton Korobeynikov 7851cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner // Now that all of the things that global variable initializer can refer to 7951cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner // have been created, loop through and copy the global variable referrers 8051cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner // over... We also set the attributes on the global now. 8151cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner // 82c154cef9a1e7db1afd42e4b227571debe7a986f5Chris Lattner for (Module::const_global_iterator I = M->global_begin(), E = M->global_end(); 83c154cef9a1e7db1afd42e4b227571debe7a986f5Chris Lattner I != E; ++I) { 8451cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner GlobalVariable *GV = cast<GlobalVariable>(ValueMap[I]); 8551cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner if (I->hasInitializer()) 8651cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner GV->setInitializer(cast<Constant>(MapValue(I->getInitializer(), 8751cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner ValueMap))); 884ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner GV->setLinkage(I->getLinkage()); 89c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio GV->setThreadLocal(I->isThreadLocal()); 90c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio GV->setConstant(I->isConstant()); 9151cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner } 9251cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner 9351cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner // Similarly, copy over function bodies now... 9451cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner // 9551cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I) { 9651cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner Function *F = cast<Function>(ValueMap[I]); 975cbf985dcbc89fba3208e7baf8b6f488b06d3ec9Reid Spencer if (!I->isDeclaration()) { 98e4d5c441e04bdc00ccf1804744af670655123b07Chris Lattner Function::arg_iterator DestI = F->arg_begin(); 99c154cef9a1e7db1afd42e4b227571debe7a986f5Chris Lattner for (Function::const_arg_iterator J = I->arg_begin(); J != I->arg_end(); 100c154cef9a1e7db1afd42e4b227571debe7a986f5Chris Lattner ++J) { 10151cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner DestI->setName(J->getName()); 10251cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner ValueMap[J] = DestI++; 10351cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner } 10451cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner 10551cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner std::vector<ReturnInst*> Returns; // Ignore returns cloned... 10651cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner CloneFunctionInto(F, I, ValueMap, Returns); 10751cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner } 10851cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner 1094ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner F->setLinkage(I->getLinkage()); 11051cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner } 11151cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner 112a289511090b2b48e0824349865e5bc9cb4b7d33cAnton Korobeynikov // And aliases 113a289511090b2b48e0824349865e5bc9cb4b7d33cAnton Korobeynikov for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end(); 114a289511090b2b48e0824349865e5bc9cb4b7d33cAnton Korobeynikov I != E; ++I) { 115a289511090b2b48e0824349865e5bc9cb4b7d33cAnton Korobeynikov GlobalAlias *GA = cast<GlobalAlias>(ValueMap[I]); 116a289511090b2b48e0824349865e5bc9cb4b7d33cAnton Korobeynikov GA->setLinkage(I->getLinkage()); 117a289511090b2b48e0824349865e5bc9cb4b7d33cAnton Korobeynikov if (const Constant* C = I->getAliasee()) 118a289511090b2b48e0824349865e5bc9cb4b7d33cAnton Korobeynikov GA->setAliasee(cast<Constant>(MapValue(C, ValueMap))); 119a289511090b2b48e0824349865e5bc9cb4b7d33cAnton Korobeynikov } 120a289511090b2b48e0824349865e5bc9cb4b7d33cAnton Korobeynikov 12151cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner return New; 12251cbcbf435d1aaa1a5269d62b5d0b31b57316b4aChris Lattner} 1239231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer 1249231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer// vim: sw=2 125