blob: dcd21e843c672ba2c30c244ad82f5e1e85020d4f [file] [log] [blame]
Jun Bum Lim0c990072017-11-03 20:41:16 +00001//===- CallSiteSplitting.cpp ----------------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements a transformation that tries to split a call-site to pass
11// more constrained arguments if its argument is predicated in the control flow
12// so that we can expose better context to the later passes (e.g, inliner, jump
13// threading, or IPA-CP based function cloning, etc.).
14// As of now we support two cases :
15//
Florian Hahn7e932892017-12-23 20:02:26 +000016// 1) Try to a split call-site with constrained arguments, if any constraints
17// on any argument can be found by following the single predecessors of the
18// all site's predecessors. Currently this pass only handles call-sites with 2
19// predecessors. For example, in the code below, we try to split the call-site
20// since we can predicate the argument(ptr) based on the OR condition.
Jun Bum Lim0c990072017-11-03 20:41:16 +000021//
22// Split from :
23// if (!ptr || c)
24// callee(ptr);
25// to :
26// if (!ptr)
27// callee(null) // set the known constant value
28// else if (c)
29// callee(nonnull ptr) // set non-null attribute in the argument
30//
31// 2) We can also split a call-site based on constant incoming values of a PHI
32// For example,
33// from :
34// Header:
35// %c = icmp eq i32 %i1, %i2
36// br i1 %c, label %Tail, label %TBB
37// TBB:
38// br label Tail%
39// Tail:
40// %p = phi i32 [ 0, %Header], [ 1, %TBB]
41// call void @bar(i32 %p)
42// to
43// Header:
44// %c = icmp eq i32 %i1, %i2
45// br i1 %c, label %Tail-split0, label %TBB
46// TBB:
47// br label %Tail-split1
48// Tail-split0:
49// call void @bar(i32 0)
50// br label %Tail
51// Tail-split1:
52// call void @bar(i32 1)
53// br label %Tail
54// Tail:
55// %p = phi i32 [ 0, %Tail-split0 ], [ 1, %Tail-split1 ]
56//
57//===----------------------------------------------------------------------===//
58
59#include "llvm/Transforms/Scalar/CallSiteSplitting.h"
60#include "llvm/ADT/Statistic.h"
61#include "llvm/Analysis/TargetLibraryInfo.h"
Florian Hahnb4e3bad2018-02-14 13:59:12 +000062#include "llvm/Analysis/TargetTransformInfo.h"
Jun Bum Lim0c990072017-11-03 20:41:16 +000063#include "llvm/IR/IntrinsicInst.h"
64#include "llvm/IR/PatternMatch.h"
65#include "llvm/Support/Debug.h"
66#include "llvm/Transforms/Scalar.h"
67#include "llvm/Transforms/Utils/BasicBlockUtils.h"
Florian Hahnb4e3bad2018-02-14 13:59:12 +000068#include "llvm/Transforms/Utils/Cloning.h"
Jun Bum Lim0c990072017-11-03 20:41:16 +000069#include "llvm/Transforms/Utils/Local.h"
70
71using namespace llvm;
72using namespace PatternMatch;
73
74#define DEBUG_TYPE "callsite-splitting"
75
76STATISTIC(NumCallSiteSplit, "Number of call-site split");
77
Florian Hahnb4e3bad2018-02-14 13:59:12 +000078/// Only allow instructions before a call, if their CodeSize cost is below
79/// DuplicationThreshold. Those instructions need to be duplicated in all
80/// split blocks.
81static cl::opt<unsigned>
82 DuplicationThreshold("callsite-splitting-duplication-threshold", cl::Hidden,
83 cl::desc("Only allow instructions before a call, if "
84 "their cost is below DuplicationThreshold"),
85 cl::init(5));
86
Florian Hahnc6c89bf2018-01-16 22:13:15 +000087static void addNonNullAttribute(CallSite CS, Value *Op) {
Jun Bum Lim0c990072017-11-03 20:41:16 +000088 unsigned ArgNo = 0;
89 for (auto &I : CS.args()) {
90 if (&*I == Op)
91 CS.addParamAttr(ArgNo, Attribute::NonNull);
92 ++ArgNo;
93 }
94}
95
Florian Hahnc6c89bf2018-01-16 22:13:15 +000096static void setConstantInArgument(CallSite CS, Value *Op,
97 Constant *ConstValue) {
Jun Bum Lim0c990072017-11-03 20:41:16 +000098 unsigned ArgNo = 0;
99 for (auto &I : CS.args()) {
100 if (&*I == Op)
101 CS.setArgument(ArgNo, ConstValue);
102 ++ArgNo;
103 }
104}
105
Florian Hahn2a266a32017-11-18 18:14:13 +0000106static bool isCondRelevantToAnyCallArgument(ICmpInst *Cmp, CallSite CS) {
107 assert(isa<Constant>(Cmp->getOperand(1)) && "Expected a constant operand.");
108 Value *Op0 = Cmp->getOperand(0);
109 unsigned ArgNo = 0;
110 for (CallSite::arg_iterator I = CS.arg_begin(), E = CS.arg_end(); I != E;
111 ++I, ++ArgNo) {
112 // Don't consider constant or arguments that are already known non-null.
113 if (isa<Constant>(*I) || CS.paramHasAttr(ArgNo, Attribute::NonNull))
114 continue;
115
116 if (*I == Op0)
117 return true;
118 }
119 return false;
120}
121
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000122typedef std::pair<ICmpInst *, unsigned> ConditionTy;
123typedef SmallVector<ConditionTy, 2> ConditionsTy;
124
Florian Hahnbeda7d52017-12-13 03:05:20 +0000125/// If From has a conditional jump to To, add the condition to Conditions,
126/// if it is relevant to any argument at CS.
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000127static void recordCondition(CallSite CS, BasicBlock *From, BasicBlock *To,
128 ConditionsTy &Conditions) {
Florian Hahnbeda7d52017-12-13 03:05:20 +0000129 auto *BI = dyn_cast<BranchInst>(From->getTerminator());
130 if (!BI || !BI->isConditional())
131 return;
Florian Hahn2a266a32017-11-18 18:14:13 +0000132
Florian Hahnbeda7d52017-12-13 03:05:20 +0000133 CmpInst::Predicate Pred;
134 Value *Cond = BI->getCondition();
135 if (!match(Cond, m_ICmp(Pred, m_Value(), m_Constant())))
136 return;
137
138 ICmpInst *Cmp = cast<ICmpInst>(Cond);
139 if (Pred == ICmpInst::ICMP_EQ || Pred == ICmpInst::ICMP_NE)
140 if (isCondRelevantToAnyCallArgument(Cmp, CS))
141 Conditions.push_back({Cmp, From->getTerminator()->getSuccessor(0) == To
142 ? Pred
143 : Cmp->getInversePredicate()});
Florian Hahn2a266a32017-11-18 18:14:13 +0000144}
145
Florian Hahnbeda7d52017-12-13 03:05:20 +0000146/// Record ICmp conditions relevant to any argument in CS following Pred's
147/// single successors. If there are conflicting conditions along a path, like
148/// x == 1 and x == 0, the first condition will be used.
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000149static void recordConditions(CallSite CS, BasicBlock *Pred,
150 ConditionsTy &Conditions) {
Florian Hahnbeda7d52017-12-13 03:05:20 +0000151 recordCondition(CS, Pred, CS.getInstruction()->getParent(), Conditions);
152 BasicBlock *From = Pred;
153 BasicBlock *To = Pred;
Florian Hahn212afb92018-01-26 10:36:50 +0000154 SmallPtrSet<BasicBlock *, 4> Visited;
Florian Hahnbeda7d52017-12-13 03:05:20 +0000155 while (!Visited.count(From->getSinglePredecessor()) &&
156 (From = From->getSinglePredecessor())) {
157 recordCondition(CS, From, To, Conditions);
Florian Hahn212afb92018-01-26 10:36:50 +0000158 Visited.insert(From);
Florian Hahnbeda7d52017-12-13 03:05:20 +0000159 To = From;
160 }
161}
Jun Bum Lim0c990072017-11-03 20:41:16 +0000162
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000163static void addConditions(CallSite CS, const ConditionsTy &Conditions) {
Florian Hahnbeda7d52017-12-13 03:05:20 +0000164 for (auto &Cond : Conditions) {
165 Value *Arg = Cond.first->getOperand(0);
166 Constant *ConstVal = cast<Constant>(Cond.first->getOperand(1));
167 if (Cond.second == ICmpInst::ICMP_EQ)
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000168 setConstantInArgument(CS, Arg, ConstVal);
Florian Hahnbeda7d52017-12-13 03:05:20 +0000169 else if (ConstVal->getType()->isPointerTy() && ConstVal->isNullValue()) {
170 assert(Cond.second == ICmpInst::ICMP_NE);
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000171 addNonNullAttribute(CS, Arg);
Jun Bum Lim0c990072017-11-03 20:41:16 +0000172 }
173 }
Florian Hahnbeda7d52017-12-13 03:05:20 +0000174}
175
176static SmallVector<BasicBlock *, 2> getTwoPredecessors(BasicBlock *BB) {
177 SmallVector<BasicBlock *, 2> Preds(predecessors((BB)));
178 assert(Preds.size() == 2 && "Expected exactly 2 predecessors!");
179 return Preds;
Jun Bum Lim0c990072017-11-03 20:41:16 +0000180}
181
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000182static bool canSplitCallSite(CallSite CS, TargetTransformInfo &TTI) {
Jun Bum Lim0c990072017-11-03 20:41:16 +0000183 // FIXME: As of now we handle only CallInst. InvokeInst could be handled
184 // without too much effort.
185 Instruction *Instr = CS.getInstruction();
186 if (!isa<CallInst>(Instr))
187 return false;
188
Jun Bum Lim0c990072017-11-03 20:41:16 +0000189 BasicBlock *CallSiteBB = Instr->getParent();
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000190 // Allow splitting a call-site only when the CodeSize cost of the
191 // instructions before the call is less then DuplicationThreshold. The
192 // instructions before the call will be duplicated in the split blocks and
193 // corresponding uses will be updated.
194 unsigned Cost = 0;
195 for (auto &InstBeforeCall :
196 llvm::make_range(CallSiteBB->begin(), Instr->getIterator())) {
197 Cost += TTI.getInstructionCost(&InstBeforeCall,
198 TargetTransformInfo::TCK_CodeSize);
199 if (Cost >= DuplicationThreshold)
200 return false;
201 }
Jun Bum Lim0c990072017-11-03 20:41:16 +0000202
Florian Hahn2a266a32017-11-18 18:14:13 +0000203 // Need 2 predecessors and cannot split an edge from an IndirectBrInst.
204 SmallVector<BasicBlock *, 2> Preds(predecessors(CallSiteBB));
205 if (Preds.size() != 2 || isa<IndirectBrInst>(Preds[0]->getTerminator()) ||
Jun Bum Lim0c990072017-11-03 20:41:16 +0000206 isa<IndirectBrInst>(Preds[1]->getTerminator()))
207 return false;
208
209 return CallSiteBB->canSplitPredecessors();
210}
211
Fedor Indutnyf9e09c12018-03-03 21:40:14 +0000212static Instruction *cloneInstForMustTail(Instruction *I, Instruction *Before,
213 Value *V) {
214 Instruction *Copy = I->clone();
215 Copy->setName(I->getName());
216 Copy->insertBefore(Before);
217 if (V)
218 Copy->setOperand(0, V);
219 return Copy;
220}
221
222/// Copy mandatory `musttail` return sequence that follows original `CI`, and
223/// link it up to `NewCI` value instead:
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000224///
Fedor Indutnyf9e09c12018-03-03 21:40:14 +0000225/// * (optional) `bitcast NewCI to ...`
226/// * `ret bitcast or NewCI`
227///
228/// Insert this sequence right before `SplitBB`'s terminator, which will be
229/// cleaned up later in `splitCallSite` below.
230static void copyMustTailReturn(BasicBlock *SplitBB, Instruction *CI,
231 Instruction *NewCI) {
232 bool IsVoid = SplitBB->getParent()->getReturnType()->isVoidTy();
233 auto II = std::next(CI->getIterator());
234
235 BitCastInst* BCI = dyn_cast<BitCastInst>(&*II);
236 if (BCI)
237 ++II;
238
239 ReturnInst* RI = dyn_cast<ReturnInst>(&*II);
240 assert(RI && "`musttail` call must be followed by `ret` instruction");
241
242 TerminatorInst *TI = SplitBB->getTerminator();
243 Value *V = NewCI;
244 if (BCI)
245 V = cloneInstForMustTail(BCI, TI, V);
246 cloneInstForMustTail(RI, TI, IsVoid ? nullptr : V);
247
248 // FIXME: remove TI here, `DuplicateInstructionsInSplitBetween` has a bug
249 // that prevents doing this now.
250}
251
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000252/// For each (predecessor, conditions from predecessors) pair, it will split the
253/// basic block containing the call site, hook it up to the predecessor and
254/// replace the call instruction with new call instructions, which contain
255/// constraints based on the conditions from their predecessors.
Florian Hahn7e932892017-12-23 20:02:26 +0000256/// For example, in the IR below with an OR condition, the call-site can
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000257/// be split. In this case, Preds for Tail is [(Header, a == null),
258/// (TBB, a != null, b == null)]. Tail is replaced by 2 split blocks, containing
259/// CallInst1, which has constraints based on the conditions from Head and
260/// CallInst2, which has constraints based on the conditions coming from TBB.
Jun Bum Lim0c990072017-11-03 20:41:16 +0000261///
Florian Hahn7e932892017-12-23 20:02:26 +0000262/// From :
Jun Bum Lim0c990072017-11-03 20:41:16 +0000263///
264/// Header:
265/// %c = icmp eq i32* %a, null
266/// br i1 %c %Tail, %TBB
267/// TBB:
268/// %c2 = icmp eq i32* %b, null
269/// br i1 %c %Tail, %End
270/// Tail:
271/// %ca = call i1 @callee (i32* %a, i32* %b)
272///
273/// to :
274///
275/// Header: // PredBB1 is Header
276/// %c = icmp eq i32* %a, null
277/// br i1 %c %Tail-split1, %TBB
278/// TBB: // PredBB2 is TBB
279/// %c2 = icmp eq i32* %b, null
280/// br i1 %c %Tail-split2, %End
281/// Tail-split1:
282/// %ca1 = call @callee (i32* null, i32* %b) // CallInst1
283/// br %Tail
284/// Tail-split2:
285/// %ca2 = call @callee (i32* nonnull %a, i32* null) // CallInst2
286/// br %Tail
287/// Tail:
288/// %p = phi i1 [%ca1, %Tail-split1],[%ca2, %Tail-split2]
289///
Florian Hahn7e932892017-12-23 20:02:26 +0000290/// Note that in case any arguments at the call-site are constrained by its
291/// predecessors, new call-sites with more constrained arguments will be
292/// created in createCallSitesOnPredicatedArgument().
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000293static void splitCallSite(
294 CallSite CS,
295 const SmallVectorImpl<std::pair<BasicBlock *, ConditionsTy>> &Preds) {
Jun Bum Lim0c990072017-11-03 20:41:16 +0000296 Instruction *Instr = CS.getInstruction();
297 BasicBlock *TailBB = Instr->getParent();
Fedor Indutnyf9e09c12018-03-03 21:40:14 +0000298 bool IsMustTailCall = CS.isMustTailCall();
Jun Bum Lim0c990072017-11-03 20:41:16 +0000299
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000300 PHINode *CallPN = nullptr;
Fedor Indutnyf9e09c12018-03-03 21:40:14 +0000301
302 // `musttail` calls must be followed by optional `bitcast`, and `ret`. The
303 // split blocks will be terminated right after that so there're no users for
304 // this phi in a `TailBB`.
305 if (!IsMustTailCall && Instr->getNumUses())
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000306 CallPN = PHINode::Create(Instr->getType(), Preds.size(), "phi.call");
Jun Bum Lim0c990072017-11-03 20:41:16 +0000307
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000308 DEBUG(dbgs() << "split call-site : " << *Instr << " into \n");
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000309
310 assert(Preds.size() == 2 && "The ValueToValueMaps array has size 2.");
311 // ValueToValueMapTy is neither copy nor moveable, so we use a simple array
312 // here.
313 ValueToValueMapTy ValueToValueMaps[2];
314 for (unsigned i = 0; i < Preds.size(); i++) {
315 BasicBlock *PredBB = Preds[i].first;
316 BasicBlock *SplitBlock = DuplicateInstructionsInSplitBetween(
317 TailBB, PredBB, &*std::next(Instr->getIterator()), ValueToValueMaps[i]);
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000318 assert(SplitBlock && "Unexpected new basic block split.");
Jun Bum Lim0c990072017-11-03 20:41:16 +0000319
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000320 Instruction *NewCI =
321 &*std::prev(SplitBlock->getTerminator()->getIterator());
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000322 CallSite NewCS(NewCI);
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000323 addConditions(NewCS, Preds[i].second);
Jun Bum Lim0c990072017-11-03 20:41:16 +0000324
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000325 // Handle PHIs used as arguments in the call-site.
326 for (PHINode &PN : TailBB->phis()) {
327 unsigned ArgNo = 0;
328 for (auto &CI : CS.args()) {
329 if (&*CI == &PN) {
330 NewCS.setArgument(ArgNo, PN.getIncomingValueForBlock(SplitBlock));
331 }
332 ++ArgNo;
Jun Bum Lim0c990072017-11-03 20:41:16 +0000333 }
Jun Bum Lim0c990072017-11-03 20:41:16 +0000334 }
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000335 DEBUG(dbgs() << " " << *NewCI << " in " << SplitBlock->getName()
336 << "\n");
337 if (CallPN)
338 CallPN->addIncoming(NewCI, SplitBlock);
Fedor Indutnyf9e09c12018-03-03 21:40:14 +0000339
340 // Clone and place bitcast and return instructions before `TI`
341 if (IsMustTailCall)
342 copyMustTailReturn(SplitBlock, Instr, NewCI);
343 }
344
345 NumCallSiteSplit++;
346
347 // FIXME: remove TI in `copyMustTailReturn`
348 if (IsMustTailCall) {
349 // Remove superfluous `br` terminators from the end of the Split blocks
Fedor Indutny364b9c22018-03-03 22:34:38 +0000350 // NOTE: Removing terminator removes the SplitBlock from the TailBB's
351 // predecessors. Therefore we must get complete list of Splits before
352 // attempting removal.
353 SmallVector<BasicBlock *, 2> Splits(predecessors((TailBB)));
354 assert(Splits.size() == 2 && "Expected exactly 2 splits!");
355 for (unsigned i = 0; i < Splits.size(); i++)
356 Splits[i]->getTerminator()->eraseFromParent();
Fedor Indutnyf9e09c12018-03-03 21:40:14 +0000357
358 // Erase the tail block once done with musttail patching
359 TailBB->eraseFromParent();
360 return;
Jun Bum Lim0c990072017-11-03 20:41:16 +0000361 }
362
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000363 auto *OriginalBegin = &*TailBB->begin();
Jun Bum Lim0c990072017-11-03 20:41:16 +0000364 // Replace users of the original call with a PHI mering call-sites split.
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000365 if (CallPN) {
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000366 CallPN->insertBefore(OriginalBegin);
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000367 Instr->replaceAllUsesWith(CallPN);
Jun Bum Lim0c990072017-11-03 20:41:16 +0000368 }
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000369
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000370 // Remove instructions moved to split blocks from TailBB, from the duplicated
371 // call instruction to the beginning of the basic block. If an instruction
372 // has any uses, add a new PHI node to combine the values coming from the
373 // split blocks. The new PHI nodes are placed before the first original
374 // instruction, so we do not end up deleting them. By using reverse-order, we
375 // do not introduce unnecessary PHI nodes for def-use chains from the call
376 // instruction to the beginning of the block.
377 auto I = Instr->getReverseIterator();
378 while (I != TailBB->rend()) {
379 Instruction *CurrentI = &*I++;
380 if (!CurrentI->use_empty()) {
381 // If an existing PHI has users after the call, there is no need to create
382 // a new one.
383 if (isa<PHINode>(CurrentI))
384 continue;
385 PHINode *NewPN = PHINode::Create(CurrentI->getType(), Preds.size());
386 for (auto &Mapping : ValueToValueMaps)
387 NewPN->addIncoming(Mapping[CurrentI],
388 cast<Instruction>(Mapping[CurrentI])->getParent());
389 NewPN->insertBefore(&*TailBB->begin());
390 CurrentI->replaceAllUsesWith(NewPN);
391 }
392 CurrentI->eraseFromParent();
393 // We are done once we handled the first original instruction in TailBB.
394 if (CurrentI == OriginalBegin)
395 break;
396 }
Jun Bum Lim0c990072017-11-03 20:41:16 +0000397}
398
Jun Bum Lim0c990072017-11-03 20:41:16 +0000399// Return true if the call-site has an argument which is a PHI with only
400// constant incoming values.
401static bool isPredicatedOnPHI(CallSite CS) {
402 Instruction *Instr = CS.getInstruction();
403 BasicBlock *Parent = Instr->getParent();
Mikael Holmen66cf3832017-12-12 07:29:57 +0000404 if (Instr != Parent->getFirstNonPHIOrDbg())
Jun Bum Lim0c990072017-11-03 20:41:16 +0000405 return false;
406
407 for (auto &BI : *Parent) {
408 if (PHINode *PN = dyn_cast<PHINode>(&BI)) {
409 for (auto &I : CS.args())
410 if (&*I == PN) {
411 assert(PN->getNumIncomingValues() == 2 &&
412 "Unexpected number of incoming values");
413 if (PN->getIncomingBlock(0) == PN->getIncomingBlock(1))
414 return false;
415 if (PN->getIncomingValue(0) == PN->getIncomingValue(1))
416 continue;
417 if (isa<Constant>(PN->getIncomingValue(0)) &&
418 isa<Constant>(PN->getIncomingValue(1)))
419 return true;
420 }
421 }
422 break;
423 }
424 return false;
425}
426
Florian Hahn2a266a32017-11-18 18:14:13 +0000427static bool tryToSplitOnPHIPredicatedArgument(CallSite CS) {
428 if (!isPredicatedOnPHI(CS))
Jun Bum Lim0c990072017-11-03 20:41:16 +0000429 return false;
430
Florian Hahn2a266a32017-11-18 18:14:13 +0000431 auto Preds = getTwoPredecessors(CS.getInstruction()->getParent());
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000432 SmallVector<std::pair<BasicBlock *, ConditionsTy>, 2> PredsCS = {
433 {Preds[0], {}}, {Preds[1], {}}};
434 splitCallSite(CS, PredsCS);
Florian Hahn2a266a32017-11-18 18:14:13 +0000435 return true;
436}
Jun Bum Lim0c990072017-11-03 20:41:16 +0000437
Florian Hahn7e932892017-12-23 20:02:26 +0000438static bool tryToSplitOnPredicatedArgument(CallSite CS) {
Florian Hahn2a266a32017-11-18 18:14:13 +0000439 auto Preds = getTwoPredecessors(CS.getInstruction()->getParent());
Florian Hahn7e932892017-12-23 20:02:26 +0000440 if (Preds[0] == Preds[1])
Florian Hahn2a266a32017-11-18 18:14:13 +0000441 return false;
442
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000443 SmallVector<std::pair<BasicBlock *, ConditionsTy>, 2> PredsCS;
444 for (auto *Pred : make_range(Preds.rbegin(), Preds.rend())) {
445 ConditionsTy Conditions;
446 recordConditions(CS, Pred, Conditions);
447 PredsCS.push_back({Pred, Conditions});
448 }
Florian Hahn2a266a32017-11-18 18:14:13 +0000449
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000450 if (std::all_of(PredsCS.begin(), PredsCS.end(),
451 [](const std::pair<BasicBlock *, ConditionsTy> &P) {
452 return P.second.empty();
453 }))
Florian Hahnbeda7d52017-12-13 03:05:20 +0000454 return false;
455
Florian Hahnc6c89bf2018-01-16 22:13:15 +0000456 splitCallSite(CS, PredsCS);
Jun Bum Lim0c990072017-11-03 20:41:16 +0000457 return true;
458}
459
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000460static bool tryToSplitCallSite(CallSite CS, TargetTransformInfo &TTI) {
461 if (!CS.arg_size() || !canSplitCallSite(CS, TTI))
Jun Bum Lim0c990072017-11-03 20:41:16 +0000462 return false;
Florian Hahn7e932892017-12-23 20:02:26 +0000463 return tryToSplitOnPredicatedArgument(CS) ||
Florian Hahn2a266a32017-11-18 18:14:13 +0000464 tryToSplitOnPHIPredicatedArgument(CS);
Jun Bum Lim0c990072017-11-03 20:41:16 +0000465}
466
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000467static bool doCallSiteSplitting(Function &F, TargetLibraryInfo &TLI,
468 TargetTransformInfo &TTI) {
Jun Bum Lim0c990072017-11-03 20:41:16 +0000469 bool Changed = false;
470 for (Function::iterator BI = F.begin(), BE = F.end(); BI != BE;) {
471 BasicBlock &BB = *BI++;
472 for (BasicBlock::iterator II = BB.begin(), IE = BB.end(); II != IE;) {
473 Instruction *I = &*II++;
474 CallSite CS(cast<Value>(I));
475 if (!CS || isa<IntrinsicInst>(I) || isInstructionTriviallyDead(I, &TLI))
476 continue;
477
478 Function *Callee = CS.getCalledFunction();
479 if (!Callee || Callee->isDeclaration())
480 continue;
Fedor Indutnyf9e09c12018-03-03 21:40:14 +0000481
482 // Successful musttail call-site splits result in erased CI and erased BB.
483 // Check if such path is possible before attempting the splitting.
484 bool IsMustTail = CS.isMustTailCall();
485
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000486 Changed |= tryToSplitCallSite(CS, TTI);
Fedor Indutnyf9e09c12018-03-03 21:40:14 +0000487
488 // There're no interesting instructions after this. The call site
489 // itself might have been erased on splitting.
490 if (IsMustTail)
491 break;
Jun Bum Lim0c990072017-11-03 20:41:16 +0000492 }
493 }
494 return Changed;
495}
496
497namespace {
498struct CallSiteSplittingLegacyPass : public FunctionPass {
499 static char ID;
500 CallSiteSplittingLegacyPass() : FunctionPass(ID) {
501 initializeCallSiteSplittingLegacyPassPass(*PassRegistry::getPassRegistry());
502 }
503
504 void getAnalysisUsage(AnalysisUsage &AU) const override {
505 AU.addRequired<TargetLibraryInfoWrapperPass>();
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000506 AU.addRequired<TargetTransformInfoWrapperPass>();
Jun Bum Lim0c990072017-11-03 20:41:16 +0000507 FunctionPass::getAnalysisUsage(AU);
508 }
509
510 bool runOnFunction(Function &F) override {
511 if (skipFunction(F))
512 return false;
513
514 auto &TLI = getAnalysis<TargetLibraryInfoWrapperPass>().getTLI();
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000515 auto &TTI = getAnalysis<TargetTransformInfoWrapperPass>().getTTI(F);
516 return doCallSiteSplitting(F, TLI, TTI);
Jun Bum Lim0c990072017-11-03 20:41:16 +0000517 }
518};
519} // namespace
520
521char CallSiteSplittingLegacyPass::ID = 0;
522INITIALIZE_PASS_BEGIN(CallSiteSplittingLegacyPass, "callsite-splitting",
523 "Call-site splitting", false, false)
524INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass)
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000525INITIALIZE_PASS_DEPENDENCY(TargetTransformInfoWrapperPass)
Jun Bum Lim0c990072017-11-03 20:41:16 +0000526INITIALIZE_PASS_END(CallSiteSplittingLegacyPass, "callsite-splitting",
527 "Call-site splitting", false, false)
528FunctionPass *llvm::createCallSiteSplittingPass() {
529 return new CallSiteSplittingLegacyPass();
530}
531
532PreservedAnalyses CallSiteSplittingPass::run(Function &F,
533 FunctionAnalysisManager &AM) {
534 auto &TLI = AM.getResult<TargetLibraryAnalysis>(F);
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000535 auto &TTI = AM.getResult<TargetIRAnalysis>(F);
Jun Bum Lim0c990072017-11-03 20:41:16 +0000536
Florian Hahnb4e3bad2018-02-14 13:59:12 +0000537 if (!doCallSiteSplitting(F, TLI, TTI))
Jun Bum Lim0c990072017-11-03 20:41:16 +0000538 return PreservedAnalyses::all();
539 PreservedAnalyses PA;
540 return PA;
541}