blob: ac0867a9ca56e129490fae2419f7671a530503c8 [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 Raman30357192016-03-03 18:26:33 +0000280 void CloneBlock(const BasicBlock *BB,
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000281 BasicBlock::const_iterator StartingInst,
Easwaran Raman30357192016-03-03 18:26:33 +0000282 std::vector<const BasicBlock *> &ToClone,
283 BlockCloningFunctor Ftor = nullptr);
Chris Lattner3df13f42006-05-27 01:22:24 +0000284 };
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000285}
Chris Lattner3df13f42006-05-27 01:22:24 +0000286
Sanjay Patelabf70232015-03-10 18:41:22 +0000287/// The specified block is found to be reachable, clone it and
Eric Christophera5ec9252014-05-19 16:04:10 +0000288/// anything that it can reach.
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000289void PruningFunctionCloner::CloneBlock(const BasicBlock *BB,
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000290 BasicBlock::const_iterator StartingInst,
Easwaran Raman30357192016-03-03 18:26:33 +0000291 std::vector<const BasicBlock *> &ToClone,
292 BlockCloningFunctor Ftor) {
Eric Christophera5ec9252014-05-19 16:04:10 +0000293 WeakVH &BBEntry = VMap[BB];
Gerolf Hoflehner1da7cbd2014-04-26 05:43:41 +0000294
Eric Christophera5ec9252014-05-19 16:04:10 +0000295 // Have we already cloned this block?
296 if (BBEntry) return;
297
Gerolf Hoflehner3282af12014-04-30 22:05:02 +0000298 // Nope, clone it now.
Eric Christophera5ec9252014-05-19 16:04:10 +0000299 BasicBlock *NewBB;
300 BBEntry = NewBB = BasicBlock::Create(BB->getContext());
301 if (BB->hasName()) NewBB->setName(BB->getName()+NameSuffix);
302
303 // It is only legal to clone a function if a block address within that
304 // function is never referenced outside of the function. Given that, we
305 // want to map block addresses from the old function to block addresses in
306 // the clone. (This is different from the generic ValueMapper
307 // implementation, which generates an invalid blockaddress when
308 // cloning a function.)
309 //
310 // Note that we don't need to fix the mapping for unreachable blocks;
311 // the default mapping there is safe.
312 if (BB->hasAddressTaken()) {
313 Constant *OldBBAddr = BlockAddress::get(const_cast<Function*>(OldFunc),
314 const_cast<BasicBlock*>(BB));
315 VMap[OldBBAddr] = BlockAddress::get(NewFunc, NewBB);
316 }
Eli Friedman688db1d2011-10-21 20:45:19 +0000317
Chris Lattner3df13f42006-05-27 01:22:24 +0000318 bool hasCalls = false, hasDynamicAllocas = false, hasStaticAllocas = false;
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000319
Chris Lattner3df13f42006-05-27 01:22:24 +0000320 // Loop over all instructions, and copy them over, DCE'ing as we go. This
321 // loop doesn't include the terminator.
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000322 for (BasicBlock::const_iterator II = StartingInst, IE = --BB->end();
Chris Lattner3df13f42006-05-27 01:22:24 +0000323 II != IE; ++II) {
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000324
Chandler Carruth21211992012-03-25 04:03:40 +0000325 Instruction *NewInst = II->clone();
326
327 // Eagerly remap operands to the newly cloned instruction, except for PHI
328 // nodes for which we defer processing until we update the CFG.
329 if (!isa<PHINode>(NewInst)) {
330 RemapInstruction(NewInst, VMap,
Easwaran Raman7f187292016-01-08 18:23:17 +0000331 ModuleLevelChanges ? RF_None : RF_NoModuleLevelChanges);
Chandler Carruth21211992012-03-25 04:03:40 +0000332
333 // If we can simplify this instruction to some other value, simply add
334 // a mapping to that value rather than inserting a new instruction into
335 // the basic block.
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000336 if (Value *V =
337 SimplifyInstruction(NewInst, BB->getModule()->getDataLayout())) {
Chandler Carruth21211992012-03-25 04:03:40 +0000338 // On the off-chance that this simplifies to an instruction in the old
339 // function, map it back into the new function.
340 if (Value *MappedV = VMap.lookup(V))
341 V = MappedV;
342
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000343 VMap[&*II] = V;
Chandler Carruth21211992012-03-25 04:03:40 +0000344 delete NewInst;
345 continue;
346 }
Chris Lattner3df13f42006-05-27 01:22:24 +0000347 }
Devang Patel4bed3562009-02-10 07:48:18 +0000348
Chris Lattner3df13f42006-05-27 01:22:24 +0000349 if (II->hasName())
350 NewInst->setName(II->getName()+NameSuffix);
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000351 VMap[&*II] = NewInst; // Add instruction map to value.
Chandler Carruth21211992012-03-25 04:03:40 +0000352 NewBB->getInstList().push_back(NewInst);
Dale Johannesen900aaa32009-03-10 22:20:02 +0000353 hasCalls |= (isa<CallInst>(II) && !isa<DbgInfoIntrinsic>(II));
Sanjoy Das2d161452015-11-18 06:23:38 +0000354
355 if (CodeInfo)
356 if (auto CS = ImmutableCallSite(&*II))
357 if (CS.hasOperandBundles())
358 CodeInfo->OperandBundleCallSites.push_back(NewInst);
359
Chris Lattner3df13f42006-05-27 01:22:24 +0000360 if (const AllocaInst *AI = dyn_cast<AllocaInst>(II)) {
361 if (isa<ConstantInt>(AI->getArraySize()))
362 hasStaticAllocas = true;
363 else
364 hasDynamicAllocas = true;
365 }
366 }
367
Chris Lattnercc340c02006-06-01 19:19:23 +0000368 // Finally, clone over the terminator.
369 const TerminatorInst *OldTI = BB->getTerminator();
370 bool TerminatorDone = false;
371 if (const BranchInst *BI = dyn_cast<BranchInst>(OldTI)) {
372 if (BI->isConditional()) {
373 // If the condition was a known constant in the callee...
Zhou Sheng75b871f2007-01-11 12:24:14 +0000374 ConstantInt *Cond = dyn_cast<ConstantInt>(BI->getCondition());
375 // Or is a known constant in the caller...
Craig Topperf40110f2014-04-25 05:29:35 +0000376 if (!Cond) {
Rafael Espindolac2240ad2010-10-13 02:08:17 +0000377 Value *V = VMap[BI->getCondition()];
378 Cond = dyn_cast_or_null<ConstantInt>(V);
379 }
Zhou Sheng75b871f2007-01-11 12:24:14 +0000380
381 // Constant fold to uncond branch!
382 if (Cond) {
Reid Spencercddc9df2007-01-12 04:24:46 +0000383 BasicBlock *Dest = BI->getSuccessor(!Cond->getZExtValue());
Devang Patelb8f11de2010-06-23 23:55:51 +0000384 VMap[OldTI] = BranchInst::Create(Dest, NewBB);
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000385 ToClone.push_back(Dest);
Chris Lattnercc340c02006-06-01 19:19:23 +0000386 TerminatorDone = true;
387 }
388 }
389 } else if (const SwitchInst *SI = dyn_cast<SwitchInst>(OldTI)) {
390 // If switching on a value known constant in the caller.
391 ConstantInt *Cond = dyn_cast<ConstantInt>(SI->getCondition());
Craig Topperf40110f2014-04-25 05:29:35 +0000392 if (!Cond) { // Or known constant after constant prop in the callee...
Rafael Espindolac2240ad2010-10-13 02:08:17 +0000393 Value *V = VMap[SI->getCondition()];
394 Cond = dyn_cast_or_null<ConstantInt>(V);
395 }
Chris Lattnercc340c02006-06-01 19:19:23 +0000396 if (Cond) { // Constant fold to uncond branch!
Stepan Dyatkovskiy5b648af2012-03-08 07:06:20 +0000397 SwitchInst::ConstCaseIt Case = SI->findCaseValue(Cond);
398 BasicBlock *Dest = const_cast<BasicBlock*>(Case.getCaseSuccessor());
Devang Patelb8f11de2010-06-23 23:55:51 +0000399 VMap[OldTI] = BranchInst::Create(Dest, NewBB);
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000400 ToClone.push_back(Dest);
Chris Lattnercc340c02006-06-01 19:19:23 +0000401 TerminatorDone = true;
402 }
403 }
404
405 if (!TerminatorDone) {
Nick Lewycky42fb7452009-09-27 07:38:41 +0000406 Instruction *NewInst = OldTI->clone();
Chris Lattnercc340c02006-06-01 19:19:23 +0000407 if (OldTI->hasName())
408 NewInst->setName(OldTI->getName()+NameSuffix);
409 NewBB->getInstList().push_back(NewInst);
Devang Patelb8f11de2010-06-23 23:55:51 +0000410 VMap[OldTI] = NewInst; // Add instruction map to value.
Sanjoy Das2d161452015-11-18 06:23:38 +0000411
412 if (CodeInfo)
413 if (auto CS = ImmutableCallSite(OldTI))
414 if (CS.hasOperandBundles())
415 CodeInfo->OperandBundleCallSites.push_back(NewInst);
416
Chris Lattnercc340c02006-06-01 19:19:23 +0000417 // Recursively clone any reachable successor blocks.
418 const TerminatorInst *TI = BB->getTerminator();
Pete Cooperebcd7482015-08-06 20:22:46 +0000419 for (const BasicBlock *Succ : TI->successors())
420 ToClone.push_back(Succ);
Chris Lattnercc340c02006-06-01 19:19:23 +0000421 }
422
Chris Lattner3df13f42006-05-27 01:22:24 +0000423 if (CodeInfo) {
424 CodeInfo->ContainsCalls |= hasCalls;
Chris Lattner3df13f42006-05-27 01:22:24 +0000425 CodeInfo->ContainsDynamicAllocas |= hasDynamicAllocas;
426 CodeInfo->ContainsDynamicAllocas |= hasStaticAllocas &&
427 BB != &BB->getParent()->front();
428 }
Easwaran Raman30357192016-03-03 18:26:33 +0000429 // Call Ftor to tell BB has been cloned to NewBB
430 if (Ftor)
431 Ftor(BB, NewBB);
Chris Lattner3df13f42006-05-27 01:22:24 +0000432}
433
Sanjay Patelabf70232015-03-10 18:41:22 +0000434/// This works like CloneAndPruneFunctionInto, except that it does not clone the
435/// entire function. Instead it starts at an instruction provided by the caller
436/// and copies (and prunes) only the code reachable from that instruction.
Easwaran Raman30357192016-03-03 18:26:33 +0000437void llvm::CloneAndPruneIntoFromInst(
438 Function *NewFunc, const Function *OldFunc, const Instruction *StartingInst,
439 ValueToValueMapTy &VMap, bool ModuleLevelChanges,
440 SmallVectorImpl<ReturnInst *> &Returns, const char *NameSuffix,
441 ClonedCodeInfo *CodeInfo, BlockCloningFunctor Ftor) {
Chris Lattner3df13f42006-05-27 01:22:24 +0000442 assert(NameSuffix && "NameSuffix cannot be null!");
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000443
Andrew Kaylorf22fe4a2015-02-23 20:01:56 +0000444 ValueMapTypeRemapper *TypeMapper = nullptr;
445 ValueMaterializer *Materializer = nullptr;
446
Chris Lattner3df13f42006-05-27 01:22:24 +0000447#ifndef NDEBUG
Benjamin Kramerdf005cb2015-08-08 18:27:36 +0000448 // If the cloning starts at the beginning of the function, verify that
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000449 // the function arguments are mapped.
450 if (!StartingInst)
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000451 for (const Argument &II : OldFunc->args())
452 assert(VMap.count(&II) && "No mapping from source argument specified!");
Chris Lattner3df13f42006-05-27 01:22:24 +0000453#endif
Duncan Sandsdd7daee2008-05-26 19:58:59 +0000454
Dan Gohmanca26f792010-08-26 15:41:53 +0000455 PruningFunctionCloner PFC(NewFunc, OldFunc, VMap, ModuleLevelChanges,
Easwaran Raman7f187292016-01-08 18:23:17 +0000456 NameSuffix, CodeInfo);
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000457 const BasicBlock *StartingBB;
458 if (StartingInst)
459 StartingBB = StartingInst->getParent();
460 else {
461 StartingBB = &OldFunc->getEntryBlock();
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000462 StartingInst = &StartingBB->front();
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000463 }
Chris Lattner3df13f42006-05-27 01:22:24 +0000464
Eric Christophera5ec9252014-05-19 16:04:10 +0000465 // Clone the entry block, and anything recursively reachable from it.
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000466 std::vector<const BasicBlock*> CloneWorklist;
Easwaran Raman30357192016-03-03 18:26:33 +0000467 PFC.CloneBlock(StartingBB, StartingInst->getIterator(), CloneWorklist, Ftor);
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000468 while (!CloneWorklist.empty()) {
469 const BasicBlock *BB = CloneWorklist.back();
470 CloneWorklist.pop_back();
Easwaran Raman30357192016-03-03 18:26:33 +0000471 PFC.CloneBlock(BB, BB->begin(), CloneWorklist, Ftor);
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000472 }
Eric Christophera5ec9252014-05-19 16:04:10 +0000473
Chris Lattner3df13f42006-05-27 01:22:24 +0000474 // Loop over all of the basic blocks in the old function. If the block was
475 // reachable, we have cloned it and the old block is now in the value map:
476 // insert it into the new function in the right order. If not, ignore it.
477 //
Chris Lattnercc340c02006-06-01 19:19:23 +0000478 // Defer PHI resolution until rest of function is resolved.
Chris Lattnerd84dbb32009-08-27 04:02:30 +0000479 SmallVector<const PHINode*, 16> PHIToResolve;
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000480 for (const BasicBlock &BI : *OldFunc) {
481 Value *V = VMap[&BI];
Rafael Espindolac2240ad2010-10-13 02:08:17 +0000482 BasicBlock *NewBB = cast_or_null<BasicBlock>(V);
Eric Christophera5ec9252014-05-19 16:04:10 +0000483 if (!NewBB) continue; // Dead block.
Chris Lattnercc340c02006-06-01 19:19:23 +0000484
Chris Lattner3df13f42006-05-27 01:22:24 +0000485 // Add the new block to the new function.
486 NewFunc->getBasicBlockList().push_back(NewBB);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000487
Chris Lattner3df13f42006-05-27 01:22:24 +0000488 // Handle PHI nodes specially, as we have to remove references to dead
489 // blocks.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000490 for (BasicBlock::const_iterator I = BI.begin(), E = BI.end(); I != E; ++I) {
Andrew Kaylor3170e562015-03-20 21:42:54 +0000491 // PHI nodes may have been remapped to non-PHI nodes by the caller or
492 // during the cloning process.
493 if (const PHINode *PN = dyn_cast<PHINode>(I)) {
494 if (isa<PHINode>(VMap[PN]))
495 PHIToResolve.push_back(PN);
496 else
497 break;
498 } else {
Chandler Carruth21211992012-03-25 04:03:40 +0000499 break;
Andrew Kaylor3170e562015-03-20 21:42:54 +0000500 }
501 }
Chandler Carruth21211992012-03-25 04:03:40 +0000502
503 // Finally, remap the terminator instructions, as those can't be remapped
504 // until all BBs are mapped.
505 RemapInstruction(NewBB->getTerminator(), VMap,
Andrew Kaylorf22fe4a2015-02-23 20:01:56 +0000506 ModuleLevelChanges ? RF_None : RF_NoModuleLevelChanges,
507 TypeMapper, Materializer);
Chris Lattner3df13f42006-05-27 01:22:24 +0000508 }
Chris Lattnercc340c02006-06-01 19:19:23 +0000509
510 // Defer PHI resolution until rest of function is resolved, PHI resolution
511 // requires the CFG to be up-to-date.
512 for (unsigned phino = 0, e = PHIToResolve.size(); phino != e; ) {
513 const PHINode *OPN = PHIToResolve[phino];
Chris Lattnercc340c02006-06-01 19:19:23 +0000514 unsigned NumPreds = OPN->getNumIncomingValues();
Chris Lattnercc340c02006-06-01 19:19:23 +0000515 const BasicBlock *OldBB = OPN->getParent();
Devang Patelb8f11de2010-06-23 23:55:51 +0000516 BasicBlock *NewBB = cast<BasicBlock>(VMap[OldBB]);
Chris Lattnercc340c02006-06-01 19:19:23 +0000517
518 // Map operands for blocks that are live and remove operands for blocks
519 // that are dead.
520 for (; phino != PHIToResolve.size() &&
521 PHIToResolve[phino]->getParent() == OldBB; ++phino) {
522 OPN = PHIToResolve[phino];
Devang Patelb8f11de2010-06-23 23:55:51 +0000523 PHINode *PN = cast<PHINode>(VMap[OPN]);
Chris Lattnercc340c02006-06-01 19:19:23 +0000524 for (unsigned pred = 0, e = NumPreds; pred != e; ++pred) {
Rafael Espindolac2240ad2010-10-13 02:08:17 +0000525 Value *V = VMap[PN->getIncomingBlock(pred)];
Chris Lattner43f8d162011-01-08 08:15:20 +0000526 if (BasicBlock *MappedBlock = cast_or_null<BasicBlock>(V)) {
Owen Andersone70b6372009-07-05 22:41:43 +0000527 Value *InVal = MapValue(PN->getIncomingValue(pred),
Chris Lattner43f8d162011-01-08 08:15:20 +0000528 VMap,
529 ModuleLevelChanges ? RF_None : RF_NoModuleLevelChanges);
Chris Lattnercc340c02006-06-01 19:19:23 +0000530 assert(InVal && "Unknown input value?");
531 PN->setIncomingValue(pred, InVal);
532 PN->setIncomingBlock(pred, MappedBlock);
533 } else {
534 PN->removeIncomingValue(pred, false);
Richard Trieu7a083812016-02-18 22:09:30 +0000535 --pred; // Revisit the next entry.
536 --e;
Chris Lattnercc340c02006-06-01 19:19:23 +0000537 }
538 }
539 }
540
541 // The loop above has removed PHI entries for those blocks that are dead
542 // and has updated others. However, if a block is live (i.e. copied over)
543 // but its terminator has been changed to not go to this block, then our
544 // phi nodes will have invalid entries. Update the PHI nodes in this
545 // case.
546 PHINode *PN = cast<PHINode>(NewBB->begin());
547 NumPreds = std::distance(pred_begin(NewBB), pred_end(NewBB));
548 if (NumPreds != PN->getNumIncomingValues()) {
549 assert(NumPreds < PN->getNumIncomingValues());
550 // Count how many times each predecessor comes to this block.
551 std::map<BasicBlock*, unsigned> PredCount;
Duncan P. N. Exon Smith6c990152014-07-21 17:06:51 +0000552 for (pred_iterator PI = pred_begin(NewBB), E = pred_end(NewBB);
553 PI != E; ++PI)
554 --PredCount[*PI];
Chris Lattnercc340c02006-06-01 19:19:23 +0000555
556 // Figure out how many entries to remove from each PHI.
557 for (unsigned i = 0, e = PN->getNumIncomingValues(); i != e; ++i)
558 ++PredCount[PN->getIncomingBlock(i)];
559
560 // At this point, the excess predecessor entries are positive in the
561 // map. Loop over all of the PHIs and remove excess predecessor
562 // entries.
563 BasicBlock::iterator I = NewBB->begin();
564 for (; (PN = dyn_cast<PHINode>(I)); ++I) {
565 for (std::map<BasicBlock*, unsigned>::iterator PCI =PredCount.begin(),
566 E = PredCount.end(); PCI != E; ++PCI) {
567 BasicBlock *Pred = PCI->first;
568 for (unsigned NumToRemove = PCI->second; NumToRemove; --NumToRemove)
569 PN->removeIncomingValue(Pred, false);
570 }
571 }
572 }
573
574 // If the loops above have made these phi nodes have 0 or 1 operand,
575 // replace them with undef or the input value. We must do this for
576 // correctness, because 0-operand phis are not valid.
577 PN = cast<PHINode>(NewBB->begin());
578 if (PN->getNumIncomingValues() == 0) {
579 BasicBlock::iterator I = NewBB->begin();
580 BasicBlock::const_iterator OldI = OldBB->begin();
581 while ((PN = dyn_cast<PHINode>(I++))) {
Owen Andersonb292b8c2009-07-30 23:03:37 +0000582 Value *NV = UndefValue::get(PN->getType());
Chris Lattnercc340c02006-06-01 19:19:23 +0000583 PN->replaceAllUsesWith(NV);
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000584 assert(VMap[&*OldI] == PN && "VMap mismatch");
585 VMap[&*OldI] = NV;
Chris Lattnercc340c02006-06-01 19:19:23 +0000586 PN->eraseFromParent();
587 ++OldI;
588 }
Chris Lattnercc340c02006-06-01 19:19:23 +0000589 }
590 }
Chandler Carruthef82cf52012-03-25 10:34:54 +0000591
592 // Make a second pass over the PHINodes now that all of them have been
593 // remapped into the new function, simplifying the PHINode and performing any
594 // recursive simplifications exposed. This will transparently update the
Chandler Carruth772c88b2012-03-28 08:38:27 +0000595 // WeakVH in the VMap. Notably, we rely on that so that if we coalesce
Chandler Carruthef82cf52012-03-25 10:34:54 +0000596 // two PHINodes, the iteration over the old PHIs remains valid, and the
597 // mapping will just map us to the new node (which may not even be a PHI
598 // node).
599 for (unsigned Idx = 0, Size = PHIToResolve.size(); Idx != Size; ++Idx)
600 if (PHINode *PN = dyn_cast<PHINode>(VMap[PHIToResolve[Idx]]))
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000601 recursivelySimplifyInstruction(PN);
Chandler Carruthef82cf52012-03-25 10:34:54 +0000602
Chris Lattner237ccf22006-09-13 21:27:00 +0000603 // Now that the inlined function body has been fully constructed, go through
Sanjay Patel51bd9422015-03-10 18:37:05 +0000604 // and zap unconditional fall-through branches. This happens all the time when
Chris Lattner237ccf22006-09-13 21:27:00 +0000605 // specializing code: code specialization turns conditional branches into
606 // uncond branches, and this code folds them.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000607 Function::iterator Begin = cast<BasicBlock>(VMap[StartingBB])->getIterator();
Chandler Carruth772c88b2012-03-28 08:38:27 +0000608 Function::iterator I = Begin;
Chris Lattner237ccf22006-09-13 21:27:00 +0000609 while (I != NewFunc->end()) {
Chandler Carruth772c88b2012-03-28 08:38:27 +0000610 // Check if this block has become dead during inlining or other
611 // simplifications. Note that the first block will appear dead, as it has
612 // not yet been wired up properly.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000613 if (I != Begin && (pred_begin(&*I) == pred_end(&*I) ||
614 I->getSinglePredecessor() == &*I)) {
615 BasicBlock *DeadBB = &*I++;
Chandler Carruth772c88b2012-03-28 08:38:27 +0000616 DeleteDeadBlock(DeadBB);
617 continue;
618 }
619
620 // We need to simplify conditional branches and switches with a constant
621 // operand. We try to prune these out when cloning, but if the
622 // simplification required looking through PHI nodes, those are only
623 // available after forming the full basic block. That may leave some here,
624 // and we still want to prune the dead code as early as possible.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000625 ConstantFoldTerminator(&*I);
Chandler Carruth772c88b2012-03-28 08:38:27 +0000626
Chris Lattner237ccf22006-09-13 21:27:00 +0000627 BranchInst *BI = dyn_cast<BranchInst>(I->getTerminator());
628 if (!BI || BI->isConditional()) { ++I; continue; }
629
630 BasicBlock *Dest = BI->getSuccessor(0);
Chandler Carruthef82cf52012-03-25 10:34:54 +0000631 if (!Dest->getSinglePredecessor()) {
Chris Lattnerce494222007-02-01 18:48:38 +0000632 ++I; continue;
633 }
Chandler Carruthef82cf52012-03-25 10:34:54 +0000634
635 // We shouldn't be able to get single-entry PHI nodes here, as instsimplify
636 // above should have zapped all of them..
637 assert(!isa<PHINode>(Dest->begin()));
638
Chris Lattner237ccf22006-09-13 21:27:00 +0000639 // We know all single-entry PHI nodes in the inlined function have been
640 // removed, so we just need to splice the blocks.
641 BI->eraseFromParent();
642
Eric Christopher96513122011-06-23 06:24:52 +0000643 // 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 +0000644 Dest->replaceAllUsesWith(&*I);
Eric Christopher96513122011-06-23 06:24:52 +0000645
Jay Foad61ea0e42011-06-23 09:09:15 +0000646 // Move all the instructions in the succ to the pred.
647 I->getInstList().splice(I->end(), Dest->getInstList());
648
Chris Lattner237ccf22006-09-13 21:27:00 +0000649 // Remove the dest block.
650 Dest->eraseFromParent();
651
652 // Do not increment I, iteratively merge all things this block branches to.
653 }
Chandler Carruth49da9332012-04-06 17:21:31 +0000654
Sanjay Patel51bd9422015-03-10 18:37:05 +0000655 // Make a final pass over the basic blocks from the old function to gather
Chandler Carruth49da9332012-04-06 17:21:31 +0000656 // any return instructions which survived folding. We have to do this here
657 // because we can iteratively remove and merge returns above.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000658 for (Function::iterator I = cast<BasicBlock>(VMap[StartingBB])->getIterator(),
Chandler Carruth49da9332012-04-06 17:21:31 +0000659 E = NewFunc->end();
660 I != E; ++I)
661 if (ReturnInst *RI = dyn_cast<ReturnInst>(I->getTerminator()))
662 Returns.push_back(RI);
Chris Lattner3df13f42006-05-27 01:22:24 +0000663}
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000664
665
Sanjay Patelabf70232015-03-10 18:41:22 +0000666/// This works exactly like CloneFunctionInto,
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000667/// except that it does some simple constant prop and DCE on the fly. The
668/// effect of this is to copy significantly less code in cases where (for
669/// example) a function call with constant arguments is inlined, and those
670/// constant arguments cause a significant amount of code in the callee to be
671/// dead. Since this doesn't produce an exact copy of the input, it can't be
672/// used for things like CloneFunction or CloneModule.
Easwaran Raman30357192016-03-03 18:26:33 +0000673void llvm::CloneAndPruneFunctionInto(
674 Function *NewFunc, const Function *OldFunc, ValueToValueMapTy &VMap,
675 bool ModuleLevelChanges, SmallVectorImpl<ReturnInst *> &Returns,
676 const char *NameSuffix, ClonedCodeInfo *CodeInfo, Instruction *TheCall,
677 BlockCloningFunctor Ftor) {
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000678 CloneAndPruneIntoFromInst(NewFunc, OldFunc, &OldFunc->front().front(), VMap,
Easwaran Raman30357192016-03-03 18:26:33 +0000679 ModuleLevelChanges, Returns, NameSuffix, CodeInfo,
680 Ftor);
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000681}
Adam Nemet1a689182015-07-10 18:55:09 +0000682
683/// \brief Remaps instructions in \p Blocks using the mapping in \p VMap.
684void llvm::remapInstructionsInBlocks(
685 const SmallVectorImpl<BasicBlock *> &Blocks, ValueToValueMapTy &VMap) {
686 // Rewrite the code to refer to itself.
687 for (auto *BB : Blocks)
688 for (auto &Inst : *BB)
689 RemapInstruction(&Inst, VMap,
690 RF_NoModuleLevelChanges | RF_IgnoreMissingEntries);
691}
692
693/// \brief Clones a loop \p OrigLoop. Returns the loop and the blocks in \p
694/// Blocks.
695///
696/// Updates LoopInfo and DominatorTree assuming the loop is dominated by block
697/// \p LoopDomBB. Insert the new blocks before block specified in \p Before.
698Loop *llvm::cloneLoopWithPreheader(BasicBlock *Before, BasicBlock *LoopDomBB,
699 Loop *OrigLoop, ValueToValueMapTy &VMap,
700 const Twine &NameSuffix, LoopInfo *LI,
701 DominatorTree *DT,
702 SmallVectorImpl<BasicBlock *> &Blocks) {
703 Function *F = OrigLoop->getHeader()->getParent();
704 Loop *ParentLoop = OrigLoop->getParentLoop();
705
706 Loop *NewLoop = new Loop();
707 if (ParentLoop)
708 ParentLoop->addChildLoop(NewLoop);
709 else
710 LI->addTopLevelLoop(NewLoop);
711
712 BasicBlock *OrigPH = OrigLoop->getLoopPreheader();
713 assert(OrigPH && "No preheader");
714 BasicBlock *NewPH = CloneBasicBlock(OrigPH, VMap, NameSuffix, F);
715 // To rename the loop PHIs.
716 VMap[OrigPH] = NewPH;
717 Blocks.push_back(NewPH);
718
719 // Update LoopInfo.
720 if (ParentLoop)
721 ParentLoop->addBasicBlockToLoop(NewPH, *LI);
722
723 // Update DominatorTree.
724 DT->addNewBlock(NewPH, LoopDomBB);
725
726 for (BasicBlock *BB : OrigLoop->getBlocks()) {
727 BasicBlock *NewBB = CloneBasicBlock(BB, VMap, NameSuffix, F);
728 VMap[BB] = NewBB;
729
730 // Update LoopInfo.
731 NewLoop->addBasicBlockToLoop(NewBB, *LI);
732
733 // Update DominatorTree.
734 BasicBlock *IDomBB = DT->getNode(BB)->getIDom()->getBlock();
735 DT->addNewBlock(NewBB, cast<BasicBlock>(VMap[IDomBB]));
736
737 Blocks.push_back(NewBB);
738 }
739
740 // Move them physically from the end of the block list.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000741 F->getBasicBlockList().splice(Before->getIterator(), F->getBasicBlockList(),
742 NewPH);
743 F->getBasicBlockList().splice(Before->getIterator(), F->getBasicBlockList(),
744 NewLoop->getHeader()->getIterator(), F->end());
Adam Nemet1a689182015-07-10 18:55:09 +0000745
746 return NewLoop;
747}