blob: 05b0a17d9b8c984c04d637416dbec73bb187b7f5 [file] [log] [blame]
Chris Lattner8bce9882002-11-19 22:04:49 +00001//===- CloneFunction.cpp - Clone a function into another function ---------===//
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 Lattner8bce9882002-11-19 22:04:49 +00009//
10// This file implements the CloneFunctionInto interface, which is used as the
11// low-level function cloner. This is used by the CloneFunction and function
12// inliner to do the dirty work of copying the body of a function around.
13//
14//===----------------------------------------------------------------------===//
Chris Lattner16bfdb52002-03-29 19:03:54 +000015
Chris Lattner16667512002-11-19 20:59:41 +000016#include "llvm/Transforms/Utils/Cloning.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "llvm/ADT/SmallVector.h"
18#include "llvm/Analysis/ConstantFolding.h"
19#include "llvm/Analysis/InstructionSimplify.h"
Adam Nemet1a689182015-07-10 18:55:09 +000020#include "llvm/Analysis/LoopInfo.h"
Chandler Carruth1305dc32014-03-04 11:45:46 +000021#include "llvm/IR/CFG.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000022#include "llvm/IR/Constants.h"
Chandler Carruth9a4c9e52014-03-06 00:46:21 +000023#include "llvm/IR/DebugInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000024#include "llvm/IR/DerivedTypes.h"
25#include "llvm/IR/Function.h"
26#include "llvm/IR/GlobalVariable.h"
27#include "llvm/IR/Instructions.h"
28#include "llvm/IR/IntrinsicInst.h"
29#include "llvm/IR/LLVMContext.h"
30#include "llvm/IR/Metadata.h"
Alon Mishne07d949f2014-03-12 14:42:51 +000031#include "llvm/IR/Module.h"
Chandler Carruth772c88b2012-03-28 08:38:27 +000032#include "llvm/Transforms/Utils/BasicBlockUtils.h"
33#include "llvm/Transforms/Utils/Local.h"
Dan Gohmana2095032010-08-24 18:50:07 +000034#include "llvm/Transforms/Utils/ValueMapper.h"
Chris Lattner1bfc7ab2007-02-03 00:08:31 +000035#include <map>
Chris Lattnerdf3c3422004-01-09 06:12:26 +000036using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000037
Sanjay Patelabf70232015-03-10 18:41:22 +000038/// See comments in Cloning.h.
Chris Lattnerdf3c3422004-01-09 06:12:26 +000039BasicBlock *llvm::CloneBasicBlock(const BasicBlock *BB,
Devang Pateld8dedee2010-06-24 00:00:42 +000040 ValueToValueMapTy &VMap,
Benjamin Kramer1266d462010-01-27 19:58:47 +000041 const Twine &NameSuffix, Function *F,
Chris Lattneredad1282006-01-13 18:39:17 +000042 ClonedCodeInfo *CodeInfo) {
Owen Anderson55f1c092009-08-13 21:58:54 +000043 BasicBlock *NewBB = BasicBlock::Create(BB->getContext(), "", F);
Chris Lattnere9f42322003-04-18 03:50:09 +000044 if (BB->hasName()) NewBB->setName(BB->getName()+NameSuffix);
45
Chris Lattneredad1282006-01-13 18:39:17 +000046 bool hasCalls = false, hasDynamicAllocas = false, hasStaticAllocas = false;
47
48 // Loop over all instructions, and copy them over.
Chris Lattnere9f42322003-04-18 03:50:09 +000049 for (BasicBlock::const_iterator II = BB->begin(), IE = BB->end();
50 II != IE; ++II) {
Nick Lewycky42fb7452009-09-27 07:38:41 +000051 Instruction *NewInst = II->clone();
Chris Lattnere9f42322003-04-18 03:50:09 +000052 if (II->hasName())
53 NewInst->setName(II->getName()+NameSuffix);
54 NewBB->getInstList().push_back(NewInst);
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +000055 VMap[&*II] = NewInst; // Add instruction map to value.
56
Dale Johannesen900aaa32009-03-10 22:20:02 +000057 hasCalls |= (isa<CallInst>(II) && !isa<DbgInfoIntrinsic>(II));
Chris Lattneredad1282006-01-13 18:39:17 +000058 if (const AllocaInst *AI = dyn_cast<AllocaInst>(II)) {
59 if (isa<ConstantInt>(AI->getArraySize()))
60 hasStaticAllocas = true;
61 else
62 hasDynamicAllocas = true;
63 }
64 }
65
66 if (CodeInfo) {
67 CodeInfo->ContainsCalls |= hasCalls;
Chris Lattneredad1282006-01-13 18:39:17 +000068 CodeInfo->ContainsDynamicAllocas |= hasDynamicAllocas;
69 CodeInfo->ContainsDynamicAllocas |= hasStaticAllocas &&
Dan Gohmandcb291f2007-03-22 16:38:57 +000070 BB != &BB->getParent()->getEntryBlock();
Chris Lattnere9f42322003-04-18 03:50:09 +000071 }
72 return NewBB;
73}
74
Chris Lattner16bfdb52002-03-29 19:03:54 +000075// Clone OldFunc into NewFunc, transforming the old arguments into references to
Dan Gohmanca26f792010-08-26 15:41:53 +000076// VMap values.
Chris Lattner16bfdb52002-03-29 19:03:54 +000077//
Chris Lattnerdf3c3422004-01-09 06:12:26 +000078void llvm::CloneFunctionInto(Function *NewFunc, const Function *OldFunc,
Devang Pateld8dedee2010-06-24 00:00:42 +000079 ValueToValueMapTy &VMap,
Dan Gohmanca26f792010-08-26 15:41:53 +000080 bool ModuleLevelChanges,
Chris Lattnerd84dbb32009-08-27 04:02:30 +000081 SmallVectorImpl<ReturnInst*> &Returns,
Mon P Wang5d44a432011-12-23 02:18:32 +000082 const char *NameSuffix, ClonedCodeInfo *CodeInfo,
James Molloyf6f121e2013-05-28 15:17:05 +000083 ValueMapTypeRemapper *TypeMapper,
84 ValueMaterializer *Materializer) {
Chris Lattnerb1120052002-11-19 21:54:07 +000085 assert(NameSuffix && "NameSuffix cannot be null!");
Misha Brukmanb1c93172005-04-21 23:48:37 +000086
Chris Lattnerc3626182002-11-19 22:54:01 +000087#ifndef NDEBUG
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +000088 for (const Argument &I : OldFunc->args())
89 assert(VMap.count(&I) && "No mapping from source argument specified!");
Chris Lattnerc3626182002-11-19 22:54:01 +000090#endif
Chris Lattner16bfdb52002-03-29 19:03:54 +000091
Reid Kleckner23798a92014-03-26 22:26:35 +000092 // Copy all attributes other than those stored in the AttributeSet. We need
93 // to remap the parameter indices of the AttributeSet.
94 AttributeSet NewAttrs = NewFunc->getAttributes();
95 NewFunc->copyAttributesFrom(OldFunc);
96 NewFunc->setAttributes(NewAttrs);
97
Keno Fischer2ac0c272015-11-16 05:13:30 +000098 // Fix up the personality function that got copied over.
99 if (OldFunc->hasPersonalityFn())
100 NewFunc->setPersonalityFn(
101 MapValue(OldFunc->getPersonalityFn(), VMap,
102 ModuleLevelChanges ? RF_None : RF_NoModuleLevelChanges,
103 TypeMapper, Materializer));
104
Joey Gouly81259292013-04-10 10:37:38 +0000105 AttributeSet OldAttrs = OldFunc->getAttributes();
106 // Clone any argument attributes that are present in the VMap.
Reid Kleckner23798a92014-03-26 22:26:35 +0000107 for (const Argument &OldArg : OldFunc->args())
108 if (Argument *NewArg = dyn_cast<Argument>(VMap[&OldArg])) {
Joey Gouly81259292013-04-10 10:37:38 +0000109 AttributeSet attrs =
Reid Kleckner23798a92014-03-26 22:26:35 +0000110 OldAttrs.getParamAttributes(OldArg.getArgNo() + 1);
Joey Gouly81259292013-04-10 10:37:38 +0000111 if (attrs.getNumSlots() > 0)
Reid Kleckner23798a92014-03-26 22:26:35 +0000112 NewArg->addAttr(attrs);
Joey Gouly81259292013-04-10 10:37:38 +0000113 }
Andrew Lenharth5aa1cc42008-10-07 18:08:38 +0000114
Reid Kleckner23798a92014-03-26 22:26:35 +0000115 NewFunc->setAttributes(
116 NewFunc->getAttributes()
117 .addAttributes(NewFunc->getContext(), AttributeSet::ReturnIndex,
118 OldAttrs.getRetAttributes())
119 .addAttributes(NewFunc->getContext(), AttributeSet::FunctionIndex,
120 OldAttrs.getFnAttributes()));
Anton Korobeynikovd38b3fb2008-03-23 16:03:00 +0000121
Chris Lattner16bfdb52002-03-29 19:03:54 +0000122 // Loop over all of the basic blocks in the function, cloning them as
Chris Lattnerb1120052002-11-19 21:54:07 +0000123 // appropriate. Note that we save BE this way in order to handle cloning of
124 // recursive functions into themselves.
Chris Lattner16bfdb52002-03-29 19:03:54 +0000125 //
126 for (Function::const_iterator BI = OldFunc->begin(), BE = OldFunc->end();
127 BI != BE; ++BI) {
Chris Lattnerfda72b12002-06-25 16:12:52 +0000128 const BasicBlock &BB = *BI;
Misha Brukmanb1c93172005-04-21 23:48:37 +0000129
Chris Lattnere9f42322003-04-18 03:50:09 +0000130 // Create a new basic block and copy instructions into it!
Chris Lattner43f8d162011-01-08 08:15:20 +0000131 BasicBlock *CBB = CloneBasicBlock(&BB, VMap, NameSuffix, NewFunc, CodeInfo);
Chris Lattner16bfdb52002-03-29 19:03:54 +0000132
Eli Friedman688db1d2011-10-21 20:45:19 +0000133 // Add basic block mapping.
134 VMap[&BB] = CBB;
135
136 // It is only legal to clone a function if a block address within that
137 // function is never referenced outside of the function. Given that, we
138 // want to map block addresses from the old function to block addresses in
139 // the clone. (This is different from the generic ValueMapper
140 // implementation, which generates an invalid blockaddress when
141 // cloning a function.)
142 if (BB.hasAddressTaken()) {
143 Constant *OldBBAddr = BlockAddress::get(const_cast<Function*>(OldFunc),
144 const_cast<BasicBlock*>(&BB));
Sanjoy Das1f8fd882015-12-09 20:33:45 +0000145 VMap[OldBBAddr] = BlockAddress::get(NewFunc, CBB);
Eli Friedman688db1d2011-10-21 20:45:19 +0000146 }
147
148 // Note return instructions for the caller.
Chris Lattnerb1120052002-11-19 21:54:07 +0000149 if (ReturnInst *RI = dyn_cast<ReturnInst>(CBB->getTerminator()))
150 Returns.push_back(RI);
Chris Lattner16bfdb52002-03-29 19:03:54 +0000151 }
152
Misha Brukmanb1c93172005-04-21 23:48:37 +0000153 // Loop over all of the instructions in the function, fixing up operand
Devang Patelb8f11de2010-06-23 23:55:51 +0000154 // references as we go. This uses VMap to do all the hard work.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000155 for (Function::iterator BB =
156 cast<BasicBlock>(VMap[&OldFunc->front()])->getIterator(),
157 BE = NewFunc->end();
158 BB != BE; ++BB)
Chris Lattner16bfdb52002-03-29 19:03:54 +0000159 // Loop over all instructions, fixing each one as we find it...
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000160 for (Instruction &II : *BB)
161 RemapInstruction(&II, VMap,
Mon P Wang5d44a432011-12-23 02:18:32 +0000162 ModuleLevelChanges ? RF_None : RF_NoModuleLevelChanges,
James Molloyf6f121e2013-05-28 15:17:05 +0000163 TypeMapper, Materializer);
Chris Lattner16bfdb52002-03-29 19:03:54 +0000164}
Chris Lattnerfb311d22002-11-19 23:12:22 +0000165
Duncan P. N. Exon Smith2fbe1352015-04-20 22:10:08 +0000166// Find the MDNode which corresponds to the subprogram data that described F.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000167static DISubprogram *FindSubprogram(const Function *F,
Duncan P. N. Exon Smith2fbe1352015-04-20 22:10:08 +0000168 DebugInfoFinder &Finder) {
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000169 for (DISubprogram *Subprogram : Finder.subprograms()) {
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000170 if (Subprogram->describes(F))
171 return Subprogram;
Alon Mishne07d949f2014-03-12 14:42:51 +0000172 }
Craig Topperf40110f2014-04-25 05:29:35 +0000173 return nullptr;
Alon Mishne07d949f2014-03-12 14:42:51 +0000174}
175
176// Add an operand to an existing MDNode. The new operand will be added at the
177// back of the operand list.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000178static void AddOperand(DICompileUnit *CU, DISubprogramArray SPs,
Duncan P. N. Exon Smith2fbe1352015-04-20 22:10:08 +0000179 Metadata *NewSP) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000180 SmallVector<Metadata *, 16> NewSPs;
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000181 NewSPs.reserve(SPs.size() + 1);
182 for (auto *SP : SPs)
183 NewSPs.push_back(SP);
Duncan P. N. Exon Smithb2362112014-12-06 00:48:17 +0000184 NewSPs.push_back(NewSP);
Duncan P. N. Exon Smith35ef22c2015-04-15 23:19:27 +0000185 CU->replaceSubprograms(MDTuple::get(CU->getContext(), NewSPs));
Alon Mishne07d949f2014-03-12 14:42:51 +0000186}
187
188// Clone the module-level debug info associated with OldFunc. The cloned data
189// will point to NewFunc instead.
Keno Fischer7c7c3e32016-02-13 02:04:29 +0000190void llvm::CloneDebugInfoMetadata(Function *NewFunc, const Function *OldFunc,
191 ValueToValueMapTy &VMap) {
Alon Mishne07d949f2014-03-12 14:42:51 +0000192 DebugInfoFinder Finder;
193 Finder.processModule(*OldFunc->getParent());
194
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000195 const DISubprogram *OldSubprogramMDNode = FindSubprogram(OldFunc, Finder);
Alon Mishne07d949f2014-03-12 14:42:51 +0000196 if (!OldSubprogramMDNode) return;
197
Duncan P. N. Exon Smith2fbe1352015-04-20 22:10:08 +0000198 auto *NewSubprogram =
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000199 cast<DISubprogram>(MapMetadata(OldSubprogramMDNode, VMap));
Peter Collingbourned4bff302015-11-05 22:03:56 +0000200 NewFunc->setSubprogram(NewSubprogram);
Alon Mishne07d949f2014-03-12 14:42:51 +0000201
Duncan P. N. Exon Smith2fbe1352015-04-20 22:10:08 +0000202 for (auto *CU : Finder.compile_units()) {
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000203 auto Subprograms = CU->getSubprograms();
Alon Mishne07d949f2014-03-12 14:42:51 +0000204 // If the compile unit's function list contains the old function, it should
205 // also contain the new one.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000206 for (auto *SP : Subprograms) {
207 if (SP == OldSubprogramMDNode) {
Duncan P. N. Exon Smithb13f7d22014-12-06 00:48:13 +0000208 AddOperand(CU, Subprograms, NewSubprogram);
209 break;
Alon Mishne07d949f2014-03-12 14:42:51 +0000210 }
211 }
212 }
213}
214
Sanjay Patelabf70232015-03-10 18:41:22 +0000215/// Return a copy of the specified function, but without
Chris Lattnerfb311d22002-11-19 23:12:22 +0000216/// embedding the function into another module. Also, any references specified
Devang Patelb8f11de2010-06-23 23:55:51 +0000217/// in the VMap are changed to refer to their mapped value instead of the
218/// original one. If any of the arguments to the function are in the VMap,
219/// the arguments are deleted from the resultant function. The VMap is
Chris Lattnerfb311d22002-11-19 23:12:22 +0000220/// updated to include mappings from all of the instructions and basicblocks in
221/// the function from their old to new values.
222///
Chris Lattner43f8d162011-01-08 08:15:20 +0000223Function *llvm::CloneFunction(const Function *F, ValueToValueMapTy &VMap,
Dan Gohmanca26f792010-08-26 15:41:53 +0000224 bool ModuleLevelChanges,
Chris Lattneredad1282006-01-13 18:39:17 +0000225 ClonedCodeInfo *CodeInfo) {
Jay Foadb804a2b2011-07-12 14:06:48 +0000226 std::vector<Type*> ArgTypes;
Chris Lattnerfb311d22002-11-19 23:12:22 +0000227
228 // The user might be deleting arguments to the function by specifying them in
Devang Patelb8f11de2010-06-23 23:55:51 +0000229 // the VMap. If so, we need to not add the arguments to the arg ty vector
Chris Lattnerfb311d22002-11-19 23:12:22 +0000230 //
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000231 for (const Argument &I : F->args())
232 if (VMap.count(&I) == 0) // Haven't mapped the argument to anything yet?
233 ArgTypes.push_back(I.getType());
Chris Lattnerfb311d22002-11-19 23:12:22 +0000234
235 // Create a new function type...
Owen Anderson4056ca92009-07-29 22:17:13 +0000236 FunctionType *FTy = FunctionType::get(F->getFunctionType()->getReturnType(),
Chris Lattnerfb311d22002-11-19 23:12:22 +0000237 ArgTypes, F->getFunctionType()->isVarArg());
238
239 // Create the new function...
Gabor Greife9ecc682008-04-06 20:25:17 +0000240 Function *NewF = Function::Create(FTy, F->getLinkage(), F->getName());
Misha Brukmanb1c93172005-04-21 23:48:37 +0000241
Chris Lattnerfb311d22002-11-19 23:12:22 +0000242 // Loop over the arguments, copying the names of the mapped arguments over...
Chris Lattner531f9e92005-03-15 04:54:21 +0000243 Function::arg_iterator DestI = NewF->arg_begin();
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000244 for (const Argument & I : F->args())
245 if (VMap.count(&I) == 0) { // Is this argument preserved?
246 DestI->setName(I.getName()); // Copy the name over...
247 VMap[&I] = &*DestI++; // Add mapping to VMap
Chris Lattnerfb311d22002-11-19 23:12:22 +0000248 }
249
Alon Mishne07d949f2014-03-12 14:42:51 +0000250 if (ModuleLevelChanges)
251 CloneDebugInfoMetadata(NewF, F, VMap);
252
Chris Lattnerd84dbb32009-08-27 04:02:30 +0000253 SmallVector<ReturnInst*, 8> Returns; // Ignore returns cloned.
Dan Gohmanca26f792010-08-26 15:41:53 +0000254 CloneFunctionInto(NewF, F, VMap, ModuleLevelChanges, Returns, "", CodeInfo);
Misha Brukmanb1c93172005-04-21 23:48:37 +0000255 return NewF;
Chris Lattnerfb311d22002-11-19 23:12:22 +0000256}
Brian Gaeke960707c2003-11-11 22:41:34 +0000257
Chris Lattner3df13f42006-05-27 01:22:24 +0000258
259
260namespace {
Sanjay Patelabf70232015-03-10 18:41:22 +0000261 /// This is a private class used to implement CloneAndPruneFunctionInto.
Nick Lewycky02d5f772009-10-25 06:33:48 +0000262 struct PruningFunctionCloner {
Chris Lattner3df13f42006-05-27 01:22:24 +0000263 Function *NewFunc;
264 const Function *OldFunc;
Devang Pateld8dedee2010-06-24 00:00:42 +0000265 ValueToValueMapTy &VMap;
Dan Gohmanca26f792010-08-26 15:41:53 +0000266 bool ModuleLevelChanges;
Chris Lattner3df13f42006-05-27 01:22:24 +0000267 const char *NameSuffix;
268 ClonedCodeInfo *CodeInfo;
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000269
Chris Lattner3df13f42006-05-27 01:22:24 +0000270 public:
271 PruningFunctionCloner(Function *newFunc, const Function *oldFunc,
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000272 ValueToValueMapTy &valueMap, bool moduleLevelChanges,
Easwaran Raman7f187292016-01-08 18:23:17 +0000273 const char *nameSuffix, ClonedCodeInfo *codeInfo)
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000274 : NewFunc(newFunc), OldFunc(oldFunc), VMap(valueMap),
275 ModuleLevelChanges(moduleLevelChanges), NameSuffix(nameSuffix),
Easwaran Raman7f187292016-01-08 18:23:17 +0000276 CodeInfo(codeInfo) {}
Chris Lattner3df13f42006-05-27 01:22:24 +0000277
Sanjay Patelabf70232015-03-10 18:41:22 +0000278 /// The specified block is found to be reachable, clone it and
Eric Christophera5ec9252014-05-19 16:04:10 +0000279 /// anything that it can reach.
Easwaran Ramanb1bd3982016-03-08 00:36:35 +0000280 void CloneBlock(const BasicBlock *BB,
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000281 BasicBlock::const_iterator StartingInst,
Easwaran Ramanb1bd3982016-03-08 00:36:35 +0000282 std::vector<const BasicBlock*> &ToClone);
Chris Lattner3df13f42006-05-27 01:22:24 +0000283 };
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000284}
Chris Lattner3df13f42006-05-27 01:22:24 +0000285
Sanjay Patelabf70232015-03-10 18:41:22 +0000286/// The specified block is found to be reachable, clone it and
Eric Christophera5ec9252014-05-19 16:04:10 +0000287/// anything that it can reach.
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000288void PruningFunctionCloner::CloneBlock(const BasicBlock *BB,
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000289 BasicBlock::const_iterator StartingInst,
Easwaran Ramanb1bd3982016-03-08 00:36:35 +0000290 std::vector<const BasicBlock*> &ToClone){
Eric Christophera5ec9252014-05-19 16:04:10 +0000291 WeakVH &BBEntry = VMap[BB];
Gerolf Hoflehner1da7cbd2014-04-26 05:43:41 +0000292
Eric Christophera5ec9252014-05-19 16:04:10 +0000293 // Have we already cloned this block?
294 if (BBEntry) return;
295
Gerolf Hoflehner3282af12014-04-30 22:05:02 +0000296 // Nope, clone it now.
Eric Christophera5ec9252014-05-19 16:04:10 +0000297 BasicBlock *NewBB;
298 BBEntry = NewBB = BasicBlock::Create(BB->getContext());
299 if (BB->hasName()) NewBB->setName(BB->getName()+NameSuffix);
300
301 // It is only legal to clone a function if a block address within that
302 // function is never referenced outside of the function. Given that, we
303 // want to map block addresses from the old function to block addresses in
304 // the clone. (This is different from the generic ValueMapper
305 // implementation, which generates an invalid blockaddress when
306 // cloning a function.)
307 //
308 // Note that we don't need to fix the mapping for unreachable blocks;
309 // the default mapping there is safe.
310 if (BB->hasAddressTaken()) {
311 Constant *OldBBAddr = BlockAddress::get(const_cast<Function*>(OldFunc),
312 const_cast<BasicBlock*>(BB));
313 VMap[OldBBAddr] = BlockAddress::get(NewFunc, NewBB);
314 }
Eli Friedman688db1d2011-10-21 20:45:19 +0000315
Chris Lattner3df13f42006-05-27 01:22:24 +0000316 bool hasCalls = false, hasDynamicAllocas = false, hasStaticAllocas = false;
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000317
Chris Lattner3df13f42006-05-27 01:22:24 +0000318 // Loop over all instructions, and copy them over, DCE'ing as we go. This
319 // loop doesn't include the terminator.
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000320 for (BasicBlock::const_iterator II = StartingInst, IE = --BB->end();
Chris Lattner3df13f42006-05-27 01:22:24 +0000321 II != IE; ++II) {
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000322
Chandler Carruth21211992012-03-25 04:03:40 +0000323 Instruction *NewInst = II->clone();
324
325 // Eagerly remap operands to the newly cloned instruction, except for PHI
326 // nodes for which we defer processing until we update the CFG.
327 if (!isa<PHINode>(NewInst)) {
328 RemapInstruction(NewInst, VMap,
Easwaran Raman7f187292016-01-08 18:23:17 +0000329 ModuleLevelChanges ? RF_None : RF_NoModuleLevelChanges);
Chandler Carruth21211992012-03-25 04:03:40 +0000330
331 // If we can simplify this instruction to some other value, simply add
332 // a mapping to that value rather than inserting a new instruction into
333 // the basic block.
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000334 if (Value *V =
335 SimplifyInstruction(NewInst, BB->getModule()->getDataLayout())) {
Chandler Carruth21211992012-03-25 04:03:40 +0000336 // On the off-chance that this simplifies to an instruction in the old
337 // function, map it back into the new function.
338 if (Value *MappedV = VMap.lookup(V))
339 V = MappedV;
340
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000341 VMap[&*II] = V;
Chandler Carruth21211992012-03-25 04:03:40 +0000342 delete NewInst;
343 continue;
344 }
Chris Lattner3df13f42006-05-27 01:22:24 +0000345 }
Devang Patel4bed3562009-02-10 07:48:18 +0000346
Chris Lattner3df13f42006-05-27 01:22:24 +0000347 if (II->hasName())
348 NewInst->setName(II->getName()+NameSuffix);
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000349 VMap[&*II] = NewInst; // Add instruction map to value.
Chandler Carruth21211992012-03-25 04:03:40 +0000350 NewBB->getInstList().push_back(NewInst);
Dale Johannesen900aaa32009-03-10 22:20:02 +0000351 hasCalls |= (isa<CallInst>(II) && !isa<DbgInfoIntrinsic>(II));
Sanjoy Das2d161452015-11-18 06:23:38 +0000352
353 if (CodeInfo)
354 if (auto CS = ImmutableCallSite(&*II))
355 if (CS.hasOperandBundles())
356 CodeInfo->OperandBundleCallSites.push_back(NewInst);
357
Chris Lattner3df13f42006-05-27 01:22:24 +0000358 if (const AllocaInst *AI = dyn_cast<AllocaInst>(II)) {
359 if (isa<ConstantInt>(AI->getArraySize()))
360 hasStaticAllocas = true;
361 else
362 hasDynamicAllocas = true;
363 }
364 }
365
Chris Lattnercc340c02006-06-01 19:19:23 +0000366 // Finally, clone over the terminator.
367 const TerminatorInst *OldTI = BB->getTerminator();
368 bool TerminatorDone = false;
369 if (const BranchInst *BI = dyn_cast<BranchInst>(OldTI)) {
370 if (BI->isConditional()) {
371 // If the condition was a known constant in the callee...
Zhou Sheng75b871f2007-01-11 12:24:14 +0000372 ConstantInt *Cond = dyn_cast<ConstantInt>(BI->getCondition());
373 // Or is a known constant in the caller...
Craig Topperf40110f2014-04-25 05:29:35 +0000374 if (!Cond) {
Rafael Espindolac2240ad2010-10-13 02:08:17 +0000375 Value *V = VMap[BI->getCondition()];
376 Cond = dyn_cast_or_null<ConstantInt>(V);
377 }
Zhou Sheng75b871f2007-01-11 12:24:14 +0000378
379 // Constant fold to uncond branch!
380 if (Cond) {
Reid Spencercddc9df2007-01-12 04:24:46 +0000381 BasicBlock *Dest = BI->getSuccessor(!Cond->getZExtValue());
Devang Patelb8f11de2010-06-23 23:55:51 +0000382 VMap[OldTI] = BranchInst::Create(Dest, NewBB);
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000383 ToClone.push_back(Dest);
Chris Lattnercc340c02006-06-01 19:19:23 +0000384 TerminatorDone = true;
385 }
386 }
387 } else if (const SwitchInst *SI = dyn_cast<SwitchInst>(OldTI)) {
388 // If switching on a value known constant in the caller.
389 ConstantInt *Cond = dyn_cast<ConstantInt>(SI->getCondition());
Craig Topperf40110f2014-04-25 05:29:35 +0000390 if (!Cond) { // Or known constant after constant prop in the callee...
Rafael Espindolac2240ad2010-10-13 02:08:17 +0000391 Value *V = VMap[SI->getCondition()];
392 Cond = dyn_cast_or_null<ConstantInt>(V);
393 }
Chris Lattnercc340c02006-06-01 19:19:23 +0000394 if (Cond) { // Constant fold to uncond branch!
Stepan Dyatkovskiy5b648af2012-03-08 07:06:20 +0000395 SwitchInst::ConstCaseIt Case = SI->findCaseValue(Cond);
396 BasicBlock *Dest = const_cast<BasicBlock*>(Case.getCaseSuccessor());
Devang Patelb8f11de2010-06-23 23:55:51 +0000397 VMap[OldTI] = BranchInst::Create(Dest, NewBB);
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000398 ToClone.push_back(Dest);
Chris Lattnercc340c02006-06-01 19:19:23 +0000399 TerminatorDone = true;
400 }
401 }
402
403 if (!TerminatorDone) {
Nick Lewycky42fb7452009-09-27 07:38:41 +0000404 Instruction *NewInst = OldTI->clone();
Chris Lattnercc340c02006-06-01 19:19:23 +0000405 if (OldTI->hasName())
406 NewInst->setName(OldTI->getName()+NameSuffix);
407 NewBB->getInstList().push_back(NewInst);
Devang Patelb8f11de2010-06-23 23:55:51 +0000408 VMap[OldTI] = NewInst; // Add instruction map to value.
Sanjoy Das2d161452015-11-18 06:23:38 +0000409
410 if (CodeInfo)
411 if (auto CS = ImmutableCallSite(OldTI))
412 if (CS.hasOperandBundles())
413 CodeInfo->OperandBundleCallSites.push_back(NewInst);
414
Chris Lattnercc340c02006-06-01 19:19:23 +0000415 // Recursively clone any reachable successor blocks.
416 const TerminatorInst *TI = BB->getTerminator();
Pete Cooperebcd7482015-08-06 20:22:46 +0000417 for (const BasicBlock *Succ : TI->successors())
418 ToClone.push_back(Succ);
Chris Lattnercc340c02006-06-01 19:19:23 +0000419 }
420
Chris Lattner3df13f42006-05-27 01:22:24 +0000421 if (CodeInfo) {
422 CodeInfo->ContainsCalls |= hasCalls;
Chris Lattner3df13f42006-05-27 01:22:24 +0000423 CodeInfo->ContainsDynamicAllocas |= hasDynamicAllocas;
424 CodeInfo->ContainsDynamicAllocas |= hasStaticAllocas &&
425 BB != &BB->getParent()->front();
426 }
Chris Lattner3df13f42006-05-27 01:22:24 +0000427}
428
Sanjay Patelabf70232015-03-10 18:41:22 +0000429/// This works like CloneAndPruneFunctionInto, except that it does not clone the
430/// entire function. Instead it starts at an instruction provided by the caller
431/// and copies (and prunes) only the code reachable from that instruction.
Easwaran Ramanb1bd3982016-03-08 00:36:35 +0000432void llvm::CloneAndPruneIntoFromInst(Function *NewFunc, const Function *OldFunc,
433 const Instruction *StartingInst,
434 ValueToValueMapTy &VMap,
435 bool ModuleLevelChanges,
436 SmallVectorImpl<ReturnInst *> &Returns,
437 const char *NameSuffix,
438 ClonedCodeInfo *CodeInfo) {
Chris Lattner3df13f42006-05-27 01:22:24 +0000439 assert(NameSuffix && "NameSuffix cannot be null!");
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000440
Andrew Kaylorf22fe4a2015-02-23 20:01:56 +0000441 ValueMapTypeRemapper *TypeMapper = nullptr;
442 ValueMaterializer *Materializer = nullptr;
443
Chris Lattner3df13f42006-05-27 01:22:24 +0000444#ifndef NDEBUG
Benjamin Kramerdf005cb2015-08-08 18:27:36 +0000445 // If the cloning starts at the beginning of the function, verify that
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000446 // the function arguments are mapped.
447 if (!StartingInst)
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000448 for (const Argument &II : OldFunc->args())
449 assert(VMap.count(&II) && "No mapping from source argument specified!");
Chris Lattner3df13f42006-05-27 01:22:24 +0000450#endif
Duncan Sandsdd7daee2008-05-26 19:58:59 +0000451
Dan Gohmanca26f792010-08-26 15:41:53 +0000452 PruningFunctionCloner PFC(NewFunc, OldFunc, VMap, ModuleLevelChanges,
Easwaran Raman7f187292016-01-08 18:23:17 +0000453 NameSuffix, CodeInfo);
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000454 const BasicBlock *StartingBB;
455 if (StartingInst)
456 StartingBB = StartingInst->getParent();
457 else {
458 StartingBB = &OldFunc->getEntryBlock();
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000459 StartingInst = &StartingBB->front();
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000460 }
Chris Lattner3df13f42006-05-27 01:22:24 +0000461
Eric Christophera5ec9252014-05-19 16:04:10 +0000462 // Clone the entry block, and anything recursively reachable from it.
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000463 std::vector<const BasicBlock*> CloneWorklist;
Easwaran Ramanb1bd3982016-03-08 00:36:35 +0000464 PFC.CloneBlock(StartingBB, StartingInst->getIterator(), CloneWorklist);
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000465 while (!CloneWorklist.empty()) {
466 const BasicBlock *BB = CloneWorklist.back();
467 CloneWorklist.pop_back();
Easwaran Ramanb1bd3982016-03-08 00:36:35 +0000468 PFC.CloneBlock(BB, BB->begin(), CloneWorklist);
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000469 }
Eric Christophera5ec9252014-05-19 16:04:10 +0000470
Chris Lattner3df13f42006-05-27 01:22:24 +0000471 // Loop over all of the basic blocks in the old function. If the block was
472 // reachable, we have cloned it and the old block is now in the value map:
473 // insert it into the new function in the right order. If not, ignore it.
474 //
Chris Lattnercc340c02006-06-01 19:19:23 +0000475 // Defer PHI resolution until rest of function is resolved.
Chris Lattnerd84dbb32009-08-27 04:02:30 +0000476 SmallVector<const PHINode*, 16> PHIToResolve;
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000477 for (const BasicBlock &BI : *OldFunc) {
478 Value *V = VMap[&BI];
Rafael Espindolac2240ad2010-10-13 02:08:17 +0000479 BasicBlock *NewBB = cast_or_null<BasicBlock>(V);
Eric Christophera5ec9252014-05-19 16:04:10 +0000480 if (!NewBB) continue; // Dead block.
Chris Lattnercc340c02006-06-01 19:19:23 +0000481
Chris Lattner3df13f42006-05-27 01:22:24 +0000482 // Add the new block to the new function.
483 NewFunc->getBasicBlockList().push_back(NewBB);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000484
Chris Lattner3df13f42006-05-27 01:22:24 +0000485 // Handle PHI nodes specially, as we have to remove references to dead
486 // blocks.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000487 for (BasicBlock::const_iterator I = BI.begin(), E = BI.end(); I != E; ++I) {
Andrew Kaylor3170e562015-03-20 21:42:54 +0000488 // PHI nodes may have been remapped to non-PHI nodes by the caller or
489 // during the cloning process.
490 if (const PHINode *PN = dyn_cast<PHINode>(I)) {
491 if (isa<PHINode>(VMap[PN]))
492 PHIToResolve.push_back(PN);
493 else
494 break;
495 } else {
Chandler Carruth21211992012-03-25 04:03:40 +0000496 break;
Andrew Kaylor3170e562015-03-20 21:42:54 +0000497 }
498 }
Chandler Carruth21211992012-03-25 04:03:40 +0000499
500 // Finally, remap the terminator instructions, as those can't be remapped
501 // until all BBs are mapped.
502 RemapInstruction(NewBB->getTerminator(), VMap,
Andrew Kaylorf22fe4a2015-02-23 20:01:56 +0000503 ModuleLevelChanges ? RF_None : RF_NoModuleLevelChanges,
504 TypeMapper, Materializer);
Chris Lattner3df13f42006-05-27 01:22:24 +0000505 }
Chris Lattnercc340c02006-06-01 19:19:23 +0000506
507 // Defer PHI resolution until rest of function is resolved, PHI resolution
508 // requires the CFG to be up-to-date.
509 for (unsigned phino = 0, e = PHIToResolve.size(); phino != e; ) {
510 const PHINode *OPN = PHIToResolve[phino];
Chris Lattnercc340c02006-06-01 19:19:23 +0000511 unsigned NumPreds = OPN->getNumIncomingValues();
Chris Lattnercc340c02006-06-01 19:19:23 +0000512 const BasicBlock *OldBB = OPN->getParent();
Devang Patelb8f11de2010-06-23 23:55:51 +0000513 BasicBlock *NewBB = cast<BasicBlock>(VMap[OldBB]);
Chris Lattnercc340c02006-06-01 19:19:23 +0000514
515 // Map operands for blocks that are live and remove operands for blocks
516 // that are dead.
517 for (; phino != PHIToResolve.size() &&
518 PHIToResolve[phino]->getParent() == OldBB; ++phino) {
519 OPN = PHIToResolve[phino];
Devang Patelb8f11de2010-06-23 23:55:51 +0000520 PHINode *PN = cast<PHINode>(VMap[OPN]);
Chris Lattnercc340c02006-06-01 19:19:23 +0000521 for (unsigned pred = 0, e = NumPreds; pred != e; ++pred) {
Rafael Espindolac2240ad2010-10-13 02:08:17 +0000522 Value *V = VMap[PN->getIncomingBlock(pred)];
Chris Lattner43f8d162011-01-08 08:15:20 +0000523 if (BasicBlock *MappedBlock = cast_or_null<BasicBlock>(V)) {
Owen Andersone70b6372009-07-05 22:41:43 +0000524 Value *InVal = MapValue(PN->getIncomingValue(pred),
Chris Lattner43f8d162011-01-08 08:15:20 +0000525 VMap,
526 ModuleLevelChanges ? RF_None : RF_NoModuleLevelChanges);
Chris Lattnercc340c02006-06-01 19:19:23 +0000527 assert(InVal && "Unknown input value?");
528 PN->setIncomingValue(pred, InVal);
529 PN->setIncomingBlock(pred, MappedBlock);
530 } else {
531 PN->removeIncomingValue(pred, false);
Richard Trieu7a083812016-02-18 22:09:30 +0000532 --pred; // Revisit the next entry.
533 --e;
Chris Lattnercc340c02006-06-01 19:19:23 +0000534 }
535 }
536 }
537
538 // The loop above has removed PHI entries for those blocks that are dead
539 // and has updated others. However, if a block is live (i.e. copied over)
540 // but its terminator has been changed to not go to this block, then our
541 // phi nodes will have invalid entries. Update the PHI nodes in this
542 // case.
543 PHINode *PN = cast<PHINode>(NewBB->begin());
544 NumPreds = std::distance(pred_begin(NewBB), pred_end(NewBB));
545 if (NumPreds != PN->getNumIncomingValues()) {
546 assert(NumPreds < PN->getNumIncomingValues());
547 // Count how many times each predecessor comes to this block.
548 std::map<BasicBlock*, unsigned> PredCount;
Duncan P. N. Exon Smith6c990152014-07-21 17:06:51 +0000549 for (pred_iterator PI = pred_begin(NewBB), E = pred_end(NewBB);
550 PI != E; ++PI)
551 --PredCount[*PI];
Chris Lattnercc340c02006-06-01 19:19:23 +0000552
553 // Figure out how many entries to remove from each PHI.
554 for (unsigned i = 0, e = PN->getNumIncomingValues(); i != e; ++i)
555 ++PredCount[PN->getIncomingBlock(i)];
556
557 // At this point, the excess predecessor entries are positive in the
558 // map. Loop over all of the PHIs and remove excess predecessor
559 // entries.
560 BasicBlock::iterator I = NewBB->begin();
561 for (; (PN = dyn_cast<PHINode>(I)); ++I) {
562 for (std::map<BasicBlock*, unsigned>::iterator PCI =PredCount.begin(),
563 E = PredCount.end(); PCI != E; ++PCI) {
564 BasicBlock *Pred = PCI->first;
565 for (unsigned NumToRemove = PCI->second; NumToRemove; --NumToRemove)
566 PN->removeIncomingValue(Pred, false);
567 }
568 }
569 }
570
571 // If the loops above have made these phi nodes have 0 or 1 operand,
572 // replace them with undef or the input value. We must do this for
573 // correctness, because 0-operand phis are not valid.
574 PN = cast<PHINode>(NewBB->begin());
575 if (PN->getNumIncomingValues() == 0) {
576 BasicBlock::iterator I = NewBB->begin();
577 BasicBlock::const_iterator OldI = OldBB->begin();
578 while ((PN = dyn_cast<PHINode>(I++))) {
Owen Andersonb292b8c2009-07-30 23:03:37 +0000579 Value *NV = UndefValue::get(PN->getType());
Chris Lattnercc340c02006-06-01 19:19:23 +0000580 PN->replaceAllUsesWith(NV);
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000581 assert(VMap[&*OldI] == PN && "VMap mismatch");
582 VMap[&*OldI] = NV;
Chris Lattnercc340c02006-06-01 19:19:23 +0000583 PN->eraseFromParent();
584 ++OldI;
585 }
Chris Lattnercc340c02006-06-01 19:19:23 +0000586 }
587 }
Chandler Carruthef82cf52012-03-25 10:34:54 +0000588
589 // Make a second pass over the PHINodes now that all of them have been
590 // remapped into the new function, simplifying the PHINode and performing any
591 // recursive simplifications exposed. This will transparently update the
Chandler Carruth772c88b2012-03-28 08:38:27 +0000592 // WeakVH in the VMap. Notably, we rely on that so that if we coalesce
Chandler Carruthef82cf52012-03-25 10:34:54 +0000593 // two PHINodes, the iteration over the old PHIs remains valid, and the
594 // mapping will just map us to the new node (which may not even be a PHI
595 // node).
596 for (unsigned Idx = 0, Size = PHIToResolve.size(); Idx != Size; ++Idx)
597 if (PHINode *PN = dyn_cast<PHINode>(VMap[PHIToResolve[Idx]]))
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000598 recursivelySimplifyInstruction(PN);
Chandler Carruthef82cf52012-03-25 10:34:54 +0000599
Chris Lattner237ccf22006-09-13 21:27:00 +0000600 // Now that the inlined function body has been fully constructed, go through
Sanjay Patel51bd9422015-03-10 18:37:05 +0000601 // and zap unconditional fall-through branches. This happens all the time when
Chris Lattner237ccf22006-09-13 21:27:00 +0000602 // specializing code: code specialization turns conditional branches into
603 // uncond branches, and this code folds them.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000604 Function::iterator Begin = cast<BasicBlock>(VMap[StartingBB])->getIterator();
Chandler Carruth772c88b2012-03-28 08:38:27 +0000605 Function::iterator I = Begin;
Chris Lattner237ccf22006-09-13 21:27:00 +0000606 while (I != NewFunc->end()) {
Chandler Carruth772c88b2012-03-28 08:38:27 +0000607 // Check if this block has become dead during inlining or other
608 // simplifications. Note that the first block will appear dead, as it has
609 // not yet been wired up properly.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000610 if (I != Begin && (pred_begin(&*I) == pred_end(&*I) ||
611 I->getSinglePredecessor() == &*I)) {
612 BasicBlock *DeadBB = &*I++;
Chandler Carruth772c88b2012-03-28 08:38:27 +0000613 DeleteDeadBlock(DeadBB);
614 continue;
615 }
616
617 // We need to simplify conditional branches and switches with a constant
618 // operand. We try to prune these out when cloning, but if the
619 // simplification required looking through PHI nodes, those are only
620 // available after forming the full basic block. That may leave some here,
621 // and we still want to prune the dead code as early as possible.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000622 ConstantFoldTerminator(&*I);
Chandler Carruth772c88b2012-03-28 08:38:27 +0000623
Chris Lattner237ccf22006-09-13 21:27:00 +0000624 BranchInst *BI = dyn_cast<BranchInst>(I->getTerminator());
625 if (!BI || BI->isConditional()) { ++I; continue; }
626
627 BasicBlock *Dest = BI->getSuccessor(0);
Chandler Carruthef82cf52012-03-25 10:34:54 +0000628 if (!Dest->getSinglePredecessor()) {
Chris Lattnerce494222007-02-01 18:48:38 +0000629 ++I; continue;
630 }
Chandler Carruthef82cf52012-03-25 10:34:54 +0000631
632 // We shouldn't be able to get single-entry PHI nodes here, as instsimplify
633 // above should have zapped all of them..
634 assert(!isa<PHINode>(Dest->begin()));
635
Chris Lattner237ccf22006-09-13 21:27:00 +0000636 // We know all single-entry PHI nodes in the inlined function have been
637 // removed, so we just need to splice the blocks.
638 BI->eraseFromParent();
639
Eric Christopher96513122011-06-23 06:24:52 +0000640 // Make all PHI nodes that referred to Dest now refer to I as their source.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000641 Dest->replaceAllUsesWith(&*I);
Eric Christopher96513122011-06-23 06:24:52 +0000642
Jay Foad61ea0e42011-06-23 09:09:15 +0000643 // Move all the instructions in the succ to the pred.
644 I->getInstList().splice(I->end(), Dest->getInstList());
645
Chris Lattner237ccf22006-09-13 21:27:00 +0000646 // Remove the dest block.
647 Dest->eraseFromParent();
648
649 // Do not increment I, iteratively merge all things this block branches to.
650 }
Chandler Carruth49da9332012-04-06 17:21:31 +0000651
Sanjay Patel51bd9422015-03-10 18:37:05 +0000652 // Make a final pass over the basic blocks from the old function to gather
Chandler Carruth49da9332012-04-06 17:21:31 +0000653 // any return instructions which survived folding. We have to do this here
654 // because we can iteratively remove and merge returns above.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000655 for (Function::iterator I = cast<BasicBlock>(VMap[StartingBB])->getIterator(),
Chandler Carruth49da9332012-04-06 17:21:31 +0000656 E = NewFunc->end();
657 I != E; ++I)
658 if (ReturnInst *RI = dyn_cast<ReturnInst>(I->getTerminator()))
659 Returns.push_back(RI);
Chris Lattner3df13f42006-05-27 01:22:24 +0000660}
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000661
662
Sanjay Patelabf70232015-03-10 18:41:22 +0000663/// This works exactly like CloneFunctionInto,
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000664/// except that it does some simple constant prop and DCE on the fly. The
665/// effect of this is to copy significantly less code in cases where (for
666/// example) a function call with constant arguments is inlined, and those
667/// constant arguments cause a significant amount of code in the callee to be
668/// dead. Since this doesn't produce an exact copy of the input, it can't be
669/// used for things like CloneFunction or CloneModule.
Easwaran Ramanb1bd3982016-03-08 00:36:35 +0000670void llvm::CloneAndPruneFunctionInto(Function *NewFunc, const Function *OldFunc,
671 ValueToValueMapTy &VMap,
672 bool ModuleLevelChanges,
673 SmallVectorImpl<ReturnInst*> &Returns,
674 const char *NameSuffix,
675 ClonedCodeInfo *CodeInfo,
676 Instruction *TheCall) {
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000677 CloneAndPruneIntoFromInst(NewFunc, OldFunc, &OldFunc->front().front(), VMap,
Easwaran Ramanb1bd3982016-03-08 00:36:35 +0000678 ModuleLevelChanges, Returns, NameSuffix, CodeInfo);
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000679}
Adam Nemet1a689182015-07-10 18:55:09 +0000680
681/// \brief Remaps instructions in \p Blocks using the mapping in \p VMap.
682void llvm::remapInstructionsInBlocks(
683 const SmallVectorImpl<BasicBlock *> &Blocks, ValueToValueMapTy &VMap) {
684 // Rewrite the code to refer to itself.
685 for (auto *BB : Blocks)
686 for (auto &Inst : *BB)
687 RemapInstruction(&Inst, VMap,
688 RF_NoModuleLevelChanges | RF_IgnoreMissingEntries);
689}
690
691/// \brief Clones a loop \p OrigLoop. Returns the loop and the blocks in \p
692/// Blocks.
693///
694/// Updates LoopInfo and DominatorTree assuming the loop is dominated by block
695/// \p LoopDomBB. Insert the new blocks before block specified in \p Before.
696Loop *llvm::cloneLoopWithPreheader(BasicBlock *Before, BasicBlock *LoopDomBB,
697 Loop *OrigLoop, ValueToValueMapTy &VMap,
698 const Twine &NameSuffix, LoopInfo *LI,
699 DominatorTree *DT,
700 SmallVectorImpl<BasicBlock *> &Blocks) {
701 Function *F = OrigLoop->getHeader()->getParent();
702 Loop *ParentLoop = OrigLoop->getParentLoop();
703
704 Loop *NewLoop = new Loop();
705 if (ParentLoop)
706 ParentLoop->addChildLoop(NewLoop);
707 else
708 LI->addTopLevelLoop(NewLoop);
709
710 BasicBlock *OrigPH = OrigLoop->getLoopPreheader();
711 assert(OrigPH && "No preheader");
712 BasicBlock *NewPH = CloneBasicBlock(OrigPH, VMap, NameSuffix, F);
713 // To rename the loop PHIs.
714 VMap[OrigPH] = NewPH;
715 Blocks.push_back(NewPH);
716
717 // Update LoopInfo.
718 if (ParentLoop)
719 ParentLoop->addBasicBlockToLoop(NewPH, *LI);
720
721 // Update DominatorTree.
722 DT->addNewBlock(NewPH, LoopDomBB);
723
724 for (BasicBlock *BB : OrigLoop->getBlocks()) {
725 BasicBlock *NewBB = CloneBasicBlock(BB, VMap, NameSuffix, F);
726 VMap[BB] = NewBB;
727
728 // Update LoopInfo.
729 NewLoop->addBasicBlockToLoop(NewBB, *LI);
730
731 // Update DominatorTree.
732 BasicBlock *IDomBB = DT->getNode(BB)->getIDom()->getBlock();
733 DT->addNewBlock(NewBB, cast<BasicBlock>(VMap[IDomBB]));
734
735 Blocks.push_back(NewBB);
736 }
737
738 // Move them physically from the end of the block list.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000739 F->getBasicBlockList().splice(Before->getIterator(), F->getBasicBlockList(),
740 NewPH);
741 F->getBasicBlockList().splice(Before->getIterator(), F->getBasicBlockList(),
742 NewLoop->getHeader()->getIterator(), F->end());
Adam Nemet1a689182015-07-10 18:55:09 +0000743
744 return NewLoop;
745}