blob: 854a3b855f545924ed9ad0af3a8cd0baf78db456 [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.
190static void CloneDebugInfoMetadata(Function *NewFunc, const Function *OldFunc,
191 ValueToValueMapTy &VMap) {
192 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 CloningDirector *Director;
Andrew Kaylorf22fe4a2015-02-23 20:01:56 +0000270 ValueMapTypeRemapper *TypeMapper;
271 ValueMaterializer *Materializer;
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000272
Chris Lattner3df13f42006-05-27 01:22:24 +0000273 public:
274 PruningFunctionCloner(Function *newFunc, const Function *oldFunc,
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000275 ValueToValueMapTy &valueMap, bool moduleLevelChanges,
276 const char *nameSuffix, ClonedCodeInfo *codeInfo,
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000277 CloningDirector *Director)
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000278 : NewFunc(newFunc), OldFunc(oldFunc), VMap(valueMap),
279 ModuleLevelChanges(moduleLevelChanges), NameSuffix(nameSuffix),
280 CodeInfo(codeInfo), Director(Director) {
Andrew Kaylorf22fe4a2015-02-23 20:01:56 +0000281 // These are optional components. The Director may return null.
282 if (Director) {
283 TypeMapper = Director->getTypeRemapper();
284 Materializer = Director->getValueMaterializer();
285 } else {
286 TypeMapper = nullptr;
287 Materializer = nullptr;
288 }
Chris Lattner3df13f42006-05-27 01:22:24 +0000289 }
290
Sanjay Patelabf70232015-03-10 18:41:22 +0000291 /// The specified block is found to be reachable, clone it and
Eric Christophera5ec9252014-05-19 16:04:10 +0000292 /// anything that it can reach.
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000293 void CloneBlock(const BasicBlock *BB,
294 BasicBlock::const_iterator StartingInst,
Eric Christophera5ec9252014-05-19 16:04:10 +0000295 std::vector<const BasicBlock*> &ToClone);
Chris Lattner3df13f42006-05-27 01:22:24 +0000296 };
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000297}
Chris Lattner3df13f42006-05-27 01:22:24 +0000298
Sanjay Patelabf70232015-03-10 18:41:22 +0000299/// The specified block is found to be reachable, clone it and
Eric Christophera5ec9252014-05-19 16:04:10 +0000300/// anything that it can reach.
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000301void PruningFunctionCloner::CloneBlock(const BasicBlock *BB,
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000302 BasicBlock::const_iterator StartingInst,
Eric Christophera5ec9252014-05-19 16:04:10 +0000303 std::vector<const BasicBlock*> &ToClone){
304 WeakVH &BBEntry = VMap[BB];
Gerolf Hoflehner1da7cbd2014-04-26 05:43:41 +0000305
Eric Christophera5ec9252014-05-19 16:04:10 +0000306 // Have we already cloned this block?
307 if (BBEntry) return;
308
Gerolf Hoflehner3282af12014-04-30 22:05:02 +0000309 // Nope, clone it now.
Eric Christophera5ec9252014-05-19 16:04:10 +0000310 BasicBlock *NewBB;
311 BBEntry = NewBB = BasicBlock::Create(BB->getContext());
312 if (BB->hasName()) NewBB->setName(BB->getName()+NameSuffix);
313
314 // It is only legal to clone a function if a block address within that
315 // function is never referenced outside of the function. Given that, we
316 // want to map block addresses from the old function to block addresses in
317 // the clone. (This is different from the generic ValueMapper
318 // implementation, which generates an invalid blockaddress when
319 // cloning a function.)
320 //
321 // Note that we don't need to fix the mapping for unreachable blocks;
322 // the default mapping there is safe.
323 if (BB->hasAddressTaken()) {
324 Constant *OldBBAddr = BlockAddress::get(const_cast<Function*>(OldFunc),
325 const_cast<BasicBlock*>(BB));
326 VMap[OldBBAddr] = BlockAddress::get(NewFunc, NewBB);
327 }
Eli Friedman688db1d2011-10-21 20:45:19 +0000328
Chris Lattner3df13f42006-05-27 01:22:24 +0000329 bool hasCalls = false, hasDynamicAllocas = false, hasStaticAllocas = false;
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000330
Chris Lattner3df13f42006-05-27 01:22:24 +0000331 // Loop over all instructions, and copy them over, DCE'ing as we go. This
332 // loop doesn't include the terminator.
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000333 for (BasicBlock::const_iterator II = StartingInst, IE = --BB->end();
Chris Lattner3df13f42006-05-27 01:22:24 +0000334 II != IE; ++II) {
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000335 // If the "Director" remaps the instruction, don't clone it.
336 if (Director) {
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000337 CloningDirector::CloningAction Action =
338 Director->handleInstruction(VMap, &*II, NewBB);
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000339 // If the cloning director says stop, we want to stop everything, not
340 // just break out of the loop (which would cause the terminator to be
341 // cloned). The cloning director is responsible for inserting a proper
342 // terminator into the new basic block in this case.
343 if (Action == CloningDirector::StopCloningBB)
344 return;
345 // If the cloning director says skip, continue to the next instruction.
346 // In this case, the cloning director is responsible for mapping the
347 // skipped instruction to some value that is defined in the new
348 // basic block.
349 if (Action == CloningDirector::SkipInstruction)
350 continue;
351 }
352
Chandler Carruth21211992012-03-25 04:03:40 +0000353 Instruction *NewInst = II->clone();
354
355 // Eagerly remap operands to the newly cloned instruction, except for PHI
356 // nodes for which we defer processing until we update the CFG.
357 if (!isa<PHINode>(NewInst)) {
358 RemapInstruction(NewInst, VMap,
Andrew Kaylorf22fe4a2015-02-23 20:01:56 +0000359 ModuleLevelChanges ? RF_None : RF_NoModuleLevelChanges,
360 TypeMapper, Materializer);
Chandler Carruth21211992012-03-25 04:03:40 +0000361
362 // If we can simplify this instruction to some other value, simply add
363 // a mapping to that value rather than inserting a new instruction into
364 // the basic block.
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000365 if (Value *V =
366 SimplifyInstruction(NewInst, BB->getModule()->getDataLayout())) {
Chandler Carruth21211992012-03-25 04:03:40 +0000367 // On the off-chance that this simplifies to an instruction in the old
368 // function, map it back into the new function.
369 if (Value *MappedV = VMap.lookup(V))
370 V = MappedV;
371
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000372 VMap[&*II] = V;
Chandler Carruth21211992012-03-25 04:03:40 +0000373 delete NewInst;
374 continue;
375 }
Chris Lattner3df13f42006-05-27 01:22:24 +0000376 }
Devang Patel4bed3562009-02-10 07:48:18 +0000377
Chris Lattner3df13f42006-05-27 01:22:24 +0000378 if (II->hasName())
379 NewInst->setName(II->getName()+NameSuffix);
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000380 VMap[&*II] = NewInst; // Add instruction map to value.
Chandler Carruth21211992012-03-25 04:03:40 +0000381 NewBB->getInstList().push_back(NewInst);
Dale Johannesen900aaa32009-03-10 22:20:02 +0000382 hasCalls |= (isa<CallInst>(II) && !isa<DbgInfoIntrinsic>(II));
Sanjoy Das2d161452015-11-18 06:23:38 +0000383
384 if (CodeInfo)
385 if (auto CS = ImmutableCallSite(&*II))
386 if (CS.hasOperandBundles())
387 CodeInfo->OperandBundleCallSites.push_back(NewInst);
388
Chris Lattner3df13f42006-05-27 01:22:24 +0000389 if (const AllocaInst *AI = dyn_cast<AllocaInst>(II)) {
390 if (isa<ConstantInt>(AI->getArraySize()))
391 hasStaticAllocas = true;
392 else
393 hasDynamicAllocas = true;
394 }
395 }
396
Chris Lattnercc340c02006-06-01 19:19:23 +0000397 // Finally, clone over the terminator.
398 const TerminatorInst *OldTI = BB->getTerminator();
399 bool TerminatorDone = false;
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000400 if (Director) {
401 CloningDirector::CloningAction Action
402 = Director->handleInstruction(VMap, OldTI, NewBB);
403 // If the cloning director says stop, we want to stop everything, not
404 // just break out of the loop (which would cause the terminator to be
405 // cloned). The cloning director is responsible for inserting a proper
406 // terminator into the new basic block in this case.
407 if (Action == CloningDirector::StopCloningBB)
408 return;
Andrew Kaylor6b67d422015-03-11 23:22:06 +0000409 if (Action == CloningDirector::CloneSuccessors) {
410 // If the director says to skip with a terminate instruction, we still
411 // need to clone this block's successors.
Reid Kleckner6e48a822015-04-10 16:26:42 +0000412 const TerminatorInst *TI = NewBB->getTerminator();
Pete Cooperebcd7482015-08-06 20:22:46 +0000413 for (const BasicBlock *Succ : TI->successors())
414 ToClone.push_back(Succ);
Andrew Kaylor6b67d422015-03-11 23:22:06 +0000415 return;
416 }
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000417 assert(Action != CloningDirector::SkipInstruction &&
418 "SkipInstruction is not valid for terminators.");
419 }
Chris Lattnercc340c02006-06-01 19:19:23 +0000420 if (const BranchInst *BI = dyn_cast<BranchInst>(OldTI)) {
421 if (BI->isConditional()) {
422 // If the condition was a known constant in the callee...
Zhou Sheng75b871f2007-01-11 12:24:14 +0000423 ConstantInt *Cond = dyn_cast<ConstantInt>(BI->getCondition());
424 // Or is a known constant in the caller...
Craig Topperf40110f2014-04-25 05:29:35 +0000425 if (!Cond) {
Rafael Espindolac2240ad2010-10-13 02:08:17 +0000426 Value *V = VMap[BI->getCondition()];
427 Cond = dyn_cast_or_null<ConstantInt>(V);
428 }
Zhou Sheng75b871f2007-01-11 12:24:14 +0000429
430 // Constant fold to uncond branch!
431 if (Cond) {
Reid Spencercddc9df2007-01-12 04:24:46 +0000432 BasicBlock *Dest = BI->getSuccessor(!Cond->getZExtValue());
Devang Patelb8f11de2010-06-23 23:55:51 +0000433 VMap[OldTI] = BranchInst::Create(Dest, NewBB);
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000434 ToClone.push_back(Dest);
Chris Lattnercc340c02006-06-01 19:19:23 +0000435 TerminatorDone = true;
436 }
437 }
438 } else if (const SwitchInst *SI = dyn_cast<SwitchInst>(OldTI)) {
439 // If switching on a value known constant in the caller.
440 ConstantInt *Cond = dyn_cast<ConstantInt>(SI->getCondition());
Craig Topperf40110f2014-04-25 05:29:35 +0000441 if (!Cond) { // Or known constant after constant prop in the callee...
Rafael Espindolac2240ad2010-10-13 02:08:17 +0000442 Value *V = VMap[SI->getCondition()];
443 Cond = dyn_cast_or_null<ConstantInt>(V);
444 }
Chris Lattnercc340c02006-06-01 19:19:23 +0000445 if (Cond) { // Constant fold to uncond branch!
Stepan Dyatkovskiy5b648af2012-03-08 07:06:20 +0000446 SwitchInst::ConstCaseIt Case = SI->findCaseValue(Cond);
447 BasicBlock *Dest = const_cast<BasicBlock*>(Case.getCaseSuccessor());
Devang Patelb8f11de2010-06-23 23:55:51 +0000448 VMap[OldTI] = BranchInst::Create(Dest, NewBB);
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000449 ToClone.push_back(Dest);
Chris Lattnercc340c02006-06-01 19:19:23 +0000450 TerminatorDone = true;
451 }
452 }
453
454 if (!TerminatorDone) {
Nick Lewycky42fb7452009-09-27 07:38:41 +0000455 Instruction *NewInst = OldTI->clone();
Chris Lattnercc340c02006-06-01 19:19:23 +0000456 if (OldTI->hasName())
457 NewInst->setName(OldTI->getName()+NameSuffix);
458 NewBB->getInstList().push_back(NewInst);
Devang Patelb8f11de2010-06-23 23:55:51 +0000459 VMap[OldTI] = NewInst; // Add instruction map to value.
Sanjoy Das2d161452015-11-18 06:23:38 +0000460
461 if (CodeInfo)
462 if (auto CS = ImmutableCallSite(OldTI))
463 if (CS.hasOperandBundles())
464 CodeInfo->OperandBundleCallSites.push_back(NewInst);
465
Chris Lattnercc340c02006-06-01 19:19:23 +0000466 // Recursively clone any reachable successor blocks.
467 const TerminatorInst *TI = BB->getTerminator();
Pete Cooperebcd7482015-08-06 20:22:46 +0000468 for (const BasicBlock *Succ : TI->successors())
469 ToClone.push_back(Succ);
Chris Lattnercc340c02006-06-01 19:19:23 +0000470 }
471
Chris Lattner3df13f42006-05-27 01:22:24 +0000472 if (CodeInfo) {
473 CodeInfo->ContainsCalls |= hasCalls;
Chris Lattner3df13f42006-05-27 01:22:24 +0000474 CodeInfo->ContainsDynamicAllocas |= hasDynamicAllocas;
475 CodeInfo->ContainsDynamicAllocas |= hasStaticAllocas &&
476 BB != &BB->getParent()->front();
477 }
Chris Lattner3df13f42006-05-27 01:22:24 +0000478}
479
Sanjay Patelabf70232015-03-10 18:41:22 +0000480/// This works like CloneAndPruneFunctionInto, except that it does not clone the
481/// entire function. Instead it starts at an instruction provided by the caller
482/// and copies (and prunes) only the code reachable from that instruction.
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000483void llvm::CloneAndPruneIntoFromInst(Function *NewFunc, const Function *OldFunc,
484 const Instruction *StartingInst,
Devang Pateld8dedee2010-06-24 00:00:42 +0000485 ValueToValueMapTy &VMap,
Dan Gohmanca26f792010-08-26 15:41:53 +0000486 bool ModuleLevelChanges,
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000487 SmallVectorImpl<ReturnInst *> &Returns,
Chris Lattner3df13f42006-05-27 01:22:24 +0000488 const char *NameSuffix,
Chris Lattnerad84a732007-01-30 23:22:39 +0000489 ClonedCodeInfo *CodeInfo,
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000490 CloningDirector *Director) {
Chris Lattner3df13f42006-05-27 01:22:24 +0000491 assert(NameSuffix && "NameSuffix cannot be null!");
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000492
Andrew Kaylorf22fe4a2015-02-23 20:01:56 +0000493 ValueMapTypeRemapper *TypeMapper = nullptr;
494 ValueMaterializer *Materializer = nullptr;
495
496 if (Director) {
497 TypeMapper = Director->getTypeRemapper();
498 Materializer = Director->getValueMaterializer();
499 }
500
Chris Lattner3df13f42006-05-27 01:22:24 +0000501#ifndef NDEBUG
Benjamin Kramerdf005cb2015-08-08 18:27:36 +0000502 // If the cloning starts at the beginning of the function, verify that
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000503 // the function arguments are mapped.
504 if (!StartingInst)
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000505 for (const Argument &II : OldFunc->args())
506 assert(VMap.count(&II) && "No mapping from source argument specified!");
Chris Lattner3df13f42006-05-27 01:22:24 +0000507#endif
Duncan Sandsdd7daee2008-05-26 19:58:59 +0000508
Dan Gohmanca26f792010-08-26 15:41:53 +0000509 PruningFunctionCloner PFC(NewFunc, OldFunc, VMap, ModuleLevelChanges,
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000510 NameSuffix, CodeInfo, Director);
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000511 const BasicBlock *StartingBB;
512 if (StartingInst)
513 StartingBB = StartingInst->getParent();
514 else {
515 StartingBB = &OldFunc->getEntryBlock();
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000516 StartingInst = &StartingBB->front();
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000517 }
Chris Lattner3df13f42006-05-27 01:22:24 +0000518
Eric Christophera5ec9252014-05-19 16:04:10 +0000519 // Clone the entry block, and anything recursively reachable from it.
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000520 std::vector<const BasicBlock*> CloneWorklist;
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000521 PFC.CloneBlock(StartingBB, StartingInst->getIterator(), CloneWorklist);
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000522 while (!CloneWorklist.empty()) {
523 const BasicBlock *BB = CloneWorklist.back();
524 CloneWorklist.pop_back();
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000525 PFC.CloneBlock(BB, BB->begin(), CloneWorklist);
Chris Lattner4bd8cda2007-03-02 03:11:20 +0000526 }
Eric Christophera5ec9252014-05-19 16:04:10 +0000527
Chris Lattner3df13f42006-05-27 01:22:24 +0000528 // Loop over all of the basic blocks in the old function. If the block was
529 // reachable, we have cloned it and the old block is now in the value map:
530 // insert it into the new function in the right order. If not, ignore it.
531 //
Chris Lattnercc340c02006-06-01 19:19:23 +0000532 // Defer PHI resolution until rest of function is resolved.
Chris Lattnerd84dbb32009-08-27 04:02:30 +0000533 SmallVector<const PHINode*, 16> PHIToResolve;
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000534 for (const BasicBlock &BI : *OldFunc) {
535 Value *V = VMap[&BI];
Rafael Espindolac2240ad2010-10-13 02:08:17 +0000536 BasicBlock *NewBB = cast_or_null<BasicBlock>(V);
Eric Christophera5ec9252014-05-19 16:04:10 +0000537 if (!NewBB) continue; // Dead block.
Chris Lattnercc340c02006-06-01 19:19:23 +0000538
Chris Lattner3df13f42006-05-27 01:22:24 +0000539 // Add the new block to the new function.
540 NewFunc->getBasicBlockList().push_back(NewBB);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000541
Chris Lattner3df13f42006-05-27 01:22:24 +0000542 // Handle PHI nodes specially, as we have to remove references to dead
543 // blocks.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000544 for (BasicBlock::const_iterator I = BI.begin(), E = BI.end(); I != E; ++I) {
Andrew Kaylor3170e562015-03-20 21:42:54 +0000545 // PHI nodes may have been remapped to non-PHI nodes by the caller or
546 // during the cloning process.
547 if (const PHINode *PN = dyn_cast<PHINode>(I)) {
548 if (isa<PHINode>(VMap[PN]))
549 PHIToResolve.push_back(PN);
550 else
551 break;
552 } else {
Chandler Carruth21211992012-03-25 04:03:40 +0000553 break;
Andrew Kaylor3170e562015-03-20 21:42:54 +0000554 }
555 }
Chandler Carruth21211992012-03-25 04:03:40 +0000556
557 // Finally, remap the terminator instructions, as those can't be remapped
558 // until all BBs are mapped.
559 RemapInstruction(NewBB->getTerminator(), VMap,
Andrew Kaylorf22fe4a2015-02-23 20:01:56 +0000560 ModuleLevelChanges ? RF_None : RF_NoModuleLevelChanges,
561 TypeMapper, Materializer);
Chris Lattner3df13f42006-05-27 01:22:24 +0000562 }
Chris Lattnercc340c02006-06-01 19:19:23 +0000563
564 // Defer PHI resolution until rest of function is resolved, PHI resolution
565 // requires the CFG to be up-to-date.
566 for (unsigned phino = 0, e = PHIToResolve.size(); phino != e; ) {
567 const PHINode *OPN = PHIToResolve[phino];
Chris Lattnercc340c02006-06-01 19:19:23 +0000568 unsigned NumPreds = OPN->getNumIncomingValues();
Chris Lattnercc340c02006-06-01 19:19:23 +0000569 const BasicBlock *OldBB = OPN->getParent();
Devang Patelb8f11de2010-06-23 23:55:51 +0000570 BasicBlock *NewBB = cast<BasicBlock>(VMap[OldBB]);
Chris Lattnercc340c02006-06-01 19:19:23 +0000571
572 // Map operands for blocks that are live and remove operands for blocks
573 // that are dead.
574 for (; phino != PHIToResolve.size() &&
575 PHIToResolve[phino]->getParent() == OldBB; ++phino) {
576 OPN = PHIToResolve[phino];
Devang Patelb8f11de2010-06-23 23:55:51 +0000577 PHINode *PN = cast<PHINode>(VMap[OPN]);
Chris Lattnercc340c02006-06-01 19:19:23 +0000578 for (unsigned pred = 0, e = NumPreds; pred != e; ++pred) {
Rafael Espindolac2240ad2010-10-13 02:08:17 +0000579 Value *V = VMap[PN->getIncomingBlock(pred)];
Chris Lattner43f8d162011-01-08 08:15:20 +0000580 if (BasicBlock *MappedBlock = cast_or_null<BasicBlock>(V)) {
Owen Andersone70b6372009-07-05 22:41:43 +0000581 Value *InVal = MapValue(PN->getIncomingValue(pred),
Chris Lattner43f8d162011-01-08 08:15:20 +0000582 VMap,
583 ModuleLevelChanges ? RF_None : RF_NoModuleLevelChanges);
Chris Lattnercc340c02006-06-01 19:19:23 +0000584 assert(InVal && "Unknown input value?");
585 PN->setIncomingValue(pred, InVal);
586 PN->setIncomingBlock(pred, MappedBlock);
587 } else {
588 PN->removeIncomingValue(pred, false);
589 --pred, --e; // Revisit the next entry.
590 }
591 }
592 }
593
594 // The loop above has removed PHI entries for those blocks that are dead
595 // and has updated others. However, if a block is live (i.e. copied over)
596 // but its terminator has been changed to not go to this block, then our
597 // phi nodes will have invalid entries. Update the PHI nodes in this
598 // case.
599 PHINode *PN = cast<PHINode>(NewBB->begin());
600 NumPreds = std::distance(pred_begin(NewBB), pred_end(NewBB));
601 if (NumPreds != PN->getNumIncomingValues()) {
602 assert(NumPreds < PN->getNumIncomingValues());
603 // Count how many times each predecessor comes to this block.
604 std::map<BasicBlock*, unsigned> PredCount;
Duncan P. N. Exon Smith6c990152014-07-21 17:06:51 +0000605 for (pred_iterator PI = pred_begin(NewBB), E = pred_end(NewBB);
606 PI != E; ++PI)
607 --PredCount[*PI];
Chris Lattnercc340c02006-06-01 19:19:23 +0000608
609 // Figure out how many entries to remove from each PHI.
610 for (unsigned i = 0, e = PN->getNumIncomingValues(); i != e; ++i)
611 ++PredCount[PN->getIncomingBlock(i)];
612
613 // At this point, the excess predecessor entries are positive in the
614 // map. Loop over all of the PHIs and remove excess predecessor
615 // entries.
616 BasicBlock::iterator I = NewBB->begin();
617 for (; (PN = dyn_cast<PHINode>(I)); ++I) {
618 for (std::map<BasicBlock*, unsigned>::iterator PCI =PredCount.begin(),
619 E = PredCount.end(); PCI != E; ++PCI) {
620 BasicBlock *Pred = PCI->first;
621 for (unsigned NumToRemove = PCI->second; NumToRemove; --NumToRemove)
622 PN->removeIncomingValue(Pred, false);
623 }
624 }
625 }
626
627 // If the loops above have made these phi nodes have 0 or 1 operand,
628 // replace them with undef or the input value. We must do this for
629 // correctness, because 0-operand phis are not valid.
630 PN = cast<PHINode>(NewBB->begin());
631 if (PN->getNumIncomingValues() == 0) {
632 BasicBlock::iterator I = NewBB->begin();
633 BasicBlock::const_iterator OldI = OldBB->begin();
634 while ((PN = dyn_cast<PHINode>(I++))) {
Owen Andersonb292b8c2009-07-30 23:03:37 +0000635 Value *NV = UndefValue::get(PN->getType());
Chris Lattnercc340c02006-06-01 19:19:23 +0000636 PN->replaceAllUsesWith(NV);
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000637 assert(VMap[&*OldI] == PN && "VMap mismatch");
638 VMap[&*OldI] = NV;
Chris Lattnercc340c02006-06-01 19:19:23 +0000639 PN->eraseFromParent();
640 ++OldI;
641 }
Chris Lattnercc340c02006-06-01 19:19:23 +0000642 }
643 }
Chandler Carruthef82cf52012-03-25 10:34:54 +0000644
645 // Make a second pass over the PHINodes now that all of them have been
646 // remapped into the new function, simplifying the PHINode and performing any
647 // recursive simplifications exposed. This will transparently update the
Chandler Carruth772c88b2012-03-28 08:38:27 +0000648 // WeakVH in the VMap. Notably, we rely on that so that if we coalesce
Chandler Carruthef82cf52012-03-25 10:34:54 +0000649 // two PHINodes, the iteration over the old PHIs remains valid, and the
650 // mapping will just map us to the new node (which may not even be a PHI
651 // node).
652 for (unsigned Idx = 0, Size = PHIToResolve.size(); Idx != Size; ++Idx)
653 if (PHINode *PN = dyn_cast<PHINode>(VMap[PHIToResolve[Idx]]))
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000654 recursivelySimplifyInstruction(PN);
Chandler Carruthef82cf52012-03-25 10:34:54 +0000655
Chris Lattner237ccf22006-09-13 21:27:00 +0000656 // Now that the inlined function body has been fully constructed, go through
Sanjay Patel51bd9422015-03-10 18:37:05 +0000657 // and zap unconditional fall-through branches. This happens all the time when
Chris Lattner237ccf22006-09-13 21:27:00 +0000658 // specializing code: code specialization turns conditional branches into
659 // uncond branches, and this code folds them.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000660 Function::iterator Begin = cast<BasicBlock>(VMap[StartingBB])->getIterator();
Chandler Carruth772c88b2012-03-28 08:38:27 +0000661 Function::iterator I = Begin;
Chris Lattner237ccf22006-09-13 21:27:00 +0000662 while (I != NewFunc->end()) {
Chandler Carruth772c88b2012-03-28 08:38:27 +0000663 // Check if this block has become dead during inlining or other
664 // simplifications. Note that the first block will appear dead, as it has
665 // not yet been wired up properly.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000666 if (I != Begin && (pred_begin(&*I) == pred_end(&*I) ||
667 I->getSinglePredecessor() == &*I)) {
668 BasicBlock *DeadBB = &*I++;
Chandler Carruth772c88b2012-03-28 08:38:27 +0000669 DeleteDeadBlock(DeadBB);
670 continue;
671 }
672
673 // We need to simplify conditional branches and switches with a constant
674 // operand. We try to prune these out when cloning, but if the
675 // simplification required looking through PHI nodes, those are only
676 // available after forming the full basic block. That may leave some here,
677 // and we still want to prune the dead code as early as possible.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000678 ConstantFoldTerminator(&*I);
Chandler Carruth772c88b2012-03-28 08:38:27 +0000679
Chris Lattner237ccf22006-09-13 21:27:00 +0000680 BranchInst *BI = dyn_cast<BranchInst>(I->getTerminator());
681 if (!BI || BI->isConditional()) { ++I; continue; }
682
683 BasicBlock *Dest = BI->getSuccessor(0);
Chandler Carruthef82cf52012-03-25 10:34:54 +0000684 if (!Dest->getSinglePredecessor()) {
Chris Lattnerce494222007-02-01 18:48:38 +0000685 ++I; continue;
686 }
Chandler Carruthef82cf52012-03-25 10:34:54 +0000687
688 // We shouldn't be able to get single-entry PHI nodes here, as instsimplify
689 // above should have zapped all of them..
690 assert(!isa<PHINode>(Dest->begin()));
691
Chris Lattner237ccf22006-09-13 21:27:00 +0000692 // We know all single-entry PHI nodes in the inlined function have been
693 // removed, so we just need to splice the blocks.
694 BI->eraseFromParent();
695
Eric Christopher96513122011-06-23 06:24:52 +0000696 // 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 +0000697 Dest->replaceAllUsesWith(&*I);
Eric Christopher96513122011-06-23 06:24:52 +0000698
Jay Foad61ea0e42011-06-23 09:09:15 +0000699 // Move all the instructions in the succ to the pred.
700 I->getInstList().splice(I->end(), Dest->getInstList());
701
Chris Lattner237ccf22006-09-13 21:27:00 +0000702 // Remove the dest block.
703 Dest->eraseFromParent();
704
705 // Do not increment I, iteratively merge all things this block branches to.
706 }
Chandler Carruth49da9332012-04-06 17:21:31 +0000707
Sanjay Patel51bd9422015-03-10 18:37:05 +0000708 // Make a final pass over the basic blocks from the old function to gather
Chandler Carruth49da9332012-04-06 17:21:31 +0000709 // any return instructions which survived folding. We have to do this here
710 // because we can iteratively remove and merge returns above.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000711 for (Function::iterator I = cast<BasicBlock>(VMap[StartingBB])->getIterator(),
Chandler Carruth49da9332012-04-06 17:21:31 +0000712 E = NewFunc->end();
713 I != E; ++I)
714 if (ReturnInst *RI = dyn_cast<ReturnInst>(I->getTerminator()))
715 Returns.push_back(RI);
Chris Lattner3df13f42006-05-27 01:22:24 +0000716}
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000717
718
Sanjay Patelabf70232015-03-10 18:41:22 +0000719/// This works exactly like CloneFunctionInto,
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000720/// except that it does some simple constant prop and DCE on the fly. The
721/// effect of this is to copy significantly less code in cases where (for
722/// example) a function call with constant arguments is inlined, and those
723/// constant arguments cause a significant amount of code in the callee to be
724/// dead. Since this doesn't produce an exact copy of the input, it can't be
725/// used for things like CloneFunction or CloneModule.
726void llvm::CloneAndPruneFunctionInto(Function *NewFunc, const Function *OldFunc,
727 ValueToValueMapTy &VMap,
728 bool ModuleLevelChanges,
729 SmallVectorImpl<ReturnInst*> &Returns,
730 const char *NameSuffix,
731 ClonedCodeInfo *CodeInfo,
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000732 Instruction *TheCall) {
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000733 CloneAndPruneIntoFromInst(NewFunc, OldFunc, &OldFunc->front().front(), VMap,
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000734 ModuleLevelChanges, Returns, NameSuffix, CodeInfo,
735 nullptr);
Andrew Kaylor527c5dc2015-02-18 18:31:51 +0000736}
Adam Nemet1a689182015-07-10 18:55:09 +0000737
738/// \brief Remaps instructions in \p Blocks using the mapping in \p VMap.
739void llvm::remapInstructionsInBlocks(
740 const SmallVectorImpl<BasicBlock *> &Blocks, ValueToValueMapTy &VMap) {
741 // Rewrite the code to refer to itself.
742 for (auto *BB : Blocks)
743 for (auto &Inst : *BB)
744 RemapInstruction(&Inst, VMap,
745 RF_NoModuleLevelChanges | RF_IgnoreMissingEntries);
746}
747
748/// \brief Clones a loop \p OrigLoop. Returns the loop and the blocks in \p
749/// Blocks.
750///
751/// Updates LoopInfo and DominatorTree assuming the loop is dominated by block
752/// \p LoopDomBB. Insert the new blocks before block specified in \p Before.
753Loop *llvm::cloneLoopWithPreheader(BasicBlock *Before, BasicBlock *LoopDomBB,
754 Loop *OrigLoop, ValueToValueMapTy &VMap,
755 const Twine &NameSuffix, LoopInfo *LI,
756 DominatorTree *DT,
757 SmallVectorImpl<BasicBlock *> &Blocks) {
758 Function *F = OrigLoop->getHeader()->getParent();
759 Loop *ParentLoop = OrigLoop->getParentLoop();
760
761 Loop *NewLoop = new Loop();
762 if (ParentLoop)
763 ParentLoop->addChildLoop(NewLoop);
764 else
765 LI->addTopLevelLoop(NewLoop);
766
767 BasicBlock *OrigPH = OrigLoop->getLoopPreheader();
768 assert(OrigPH && "No preheader");
769 BasicBlock *NewPH = CloneBasicBlock(OrigPH, VMap, NameSuffix, F);
770 // To rename the loop PHIs.
771 VMap[OrigPH] = NewPH;
772 Blocks.push_back(NewPH);
773
774 // Update LoopInfo.
775 if (ParentLoop)
776 ParentLoop->addBasicBlockToLoop(NewPH, *LI);
777
778 // Update DominatorTree.
779 DT->addNewBlock(NewPH, LoopDomBB);
780
781 for (BasicBlock *BB : OrigLoop->getBlocks()) {
782 BasicBlock *NewBB = CloneBasicBlock(BB, VMap, NameSuffix, F);
783 VMap[BB] = NewBB;
784
785 // Update LoopInfo.
786 NewLoop->addBasicBlockToLoop(NewBB, *LI);
787
788 // Update DominatorTree.
789 BasicBlock *IDomBB = DT->getNode(BB)->getIDom()->getBlock();
790 DT->addNewBlock(NewBB, cast<BasicBlock>(VMap[IDomBB]));
791
792 Blocks.push_back(NewBB);
793 }
794
795 // Move them physically from the end of the block list.
Duncan P. N. Exon Smith5b4c8372015-10-13 02:39:05 +0000796 F->getBasicBlockList().splice(Before->getIterator(), F->getBasicBlockList(),
797 NewPH);
798 F->getBasicBlockList().splice(Before->getIterator(), F->getBasicBlockList(),
799 NewLoop->getHeader()->getIterator(), F->end());
Adam Nemet1a689182015-07-10 18:55:09 +0000800
801 return NewLoop;
802}