Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 1 | //===- 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 Hahn | 7e93289 | 2017-12-23 20:02:26 +0000 | [diff] [blame] | 16 | // 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 Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 21 | // |
| 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 Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 62 | #include "llvm/Analysis/TargetTransformInfo.h" |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 63 | #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 Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 68 | #include "llvm/Transforms/Utils/Cloning.h" |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 69 | #include "llvm/Transforms/Utils/Local.h" |
| 70 | |
| 71 | using namespace llvm; |
| 72 | using namespace PatternMatch; |
| 73 | |
| 74 | #define DEBUG_TYPE "callsite-splitting" |
| 75 | |
| 76 | STATISTIC(NumCallSiteSplit, "Number of call-site split"); |
| 77 | |
Florian Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 78 | /// 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. |
| 81 | static 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 Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 87 | static void addNonNullAttribute(CallSite CS, Value *Op) { |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 88 | 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 Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 96 | static void setConstantInArgument(CallSite CS, Value *Op, |
| 97 | Constant *ConstValue) { |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 98 | unsigned ArgNo = 0; |
| 99 | for (auto &I : CS.args()) { |
| 100 | if (&*I == Op) |
| 101 | CS.setArgument(ArgNo, ConstValue); |
| 102 | ++ArgNo; |
| 103 | } |
| 104 | } |
| 105 | |
Florian Hahn | 2a266a3 | 2017-11-18 18:14:13 +0000 | [diff] [blame] | 106 | static 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 Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 122 | typedef std::pair<ICmpInst *, unsigned> ConditionTy; |
| 123 | typedef SmallVector<ConditionTy, 2> ConditionsTy; |
| 124 | |
Florian Hahn | beda7d5 | 2017-12-13 03:05:20 +0000 | [diff] [blame] | 125 | /// If From has a conditional jump to To, add the condition to Conditions, |
| 126 | /// if it is relevant to any argument at CS. |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 127 | static void recordCondition(CallSite CS, BasicBlock *From, BasicBlock *To, |
| 128 | ConditionsTy &Conditions) { |
Florian Hahn | beda7d5 | 2017-12-13 03:05:20 +0000 | [diff] [blame] | 129 | auto *BI = dyn_cast<BranchInst>(From->getTerminator()); |
| 130 | if (!BI || !BI->isConditional()) |
| 131 | return; |
Florian Hahn | 2a266a3 | 2017-11-18 18:14:13 +0000 | [diff] [blame] | 132 | |
Florian Hahn | beda7d5 | 2017-12-13 03:05:20 +0000 | [diff] [blame] | 133 | 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 Hahn | 2a266a3 | 2017-11-18 18:14:13 +0000 | [diff] [blame] | 144 | } |
| 145 | |
Florian Hahn | beda7d5 | 2017-12-13 03:05:20 +0000 | [diff] [blame] | 146 | /// 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 Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 149 | static void recordConditions(CallSite CS, BasicBlock *Pred, |
| 150 | ConditionsTy &Conditions) { |
Florian Hahn | beda7d5 | 2017-12-13 03:05:20 +0000 | [diff] [blame] | 151 | recordCondition(CS, Pred, CS.getInstruction()->getParent(), Conditions); |
| 152 | BasicBlock *From = Pred; |
| 153 | BasicBlock *To = Pred; |
Florian Hahn | 212afb9 | 2018-01-26 10:36:50 +0000 | [diff] [blame] | 154 | SmallPtrSet<BasicBlock *, 4> Visited; |
Florian Hahn | beda7d5 | 2017-12-13 03:05:20 +0000 | [diff] [blame] | 155 | while (!Visited.count(From->getSinglePredecessor()) && |
| 156 | (From = From->getSinglePredecessor())) { |
| 157 | recordCondition(CS, From, To, Conditions); |
Florian Hahn | 212afb9 | 2018-01-26 10:36:50 +0000 | [diff] [blame] | 158 | Visited.insert(From); |
Florian Hahn | beda7d5 | 2017-12-13 03:05:20 +0000 | [diff] [blame] | 159 | To = From; |
| 160 | } |
| 161 | } |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 162 | |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 163 | static void addConditions(CallSite CS, const ConditionsTy &Conditions) { |
Florian Hahn | beda7d5 | 2017-12-13 03:05:20 +0000 | [diff] [blame] | 164 | 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 Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 168 | setConstantInArgument(CS, Arg, ConstVal); |
Florian Hahn | beda7d5 | 2017-12-13 03:05:20 +0000 | [diff] [blame] | 169 | else if (ConstVal->getType()->isPointerTy() && ConstVal->isNullValue()) { |
| 170 | assert(Cond.second == ICmpInst::ICMP_NE); |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 171 | addNonNullAttribute(CS, Arg); |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 172 | } |
| 173 | } |
Florian Hahn | beda7d5 | 2017-12-13 03:05:20 +0000 | [diff] [blame] | 174 | } |
| 175 | |
| 176 | static 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 Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 180 | } |
| 181 | |
Florian Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 182 | static bool canSplitCallSite(CallSite CS, TargetTransformInfo &TTI) { |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 183 | // 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 Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 189 | BasicBlock *CallSiteBB = Instr->getParent(); |
Florian Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 190 | // 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 Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 202 | |
Florian Hahn | 2a266a3 | 2017-11-18 18:14:13 +0000 | [diff] [blame] | 203 | // 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 Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 206 | isa<IndirectBrInst>(Preds[1]->getTerminator())) |
| 207 | return false; |
| 208 | |
| 209 | return CallSiteBB->canSplitPredecessors(); |
| 210 | } |
| 211 | |
Fedor Indutny | f9e09c1 | 2018-03-03 21:40:14 +0000 | [diff] [blame] | 212 | static 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 Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 224 | /// |
Fedor Indutny | f9e09c1 | 2018-03-03 21:40:14 +0000 | [diff] [blame] | 225 | /// * (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. |
| 230 | static 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 Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 252 | /// 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 Hahn | 7e93289 | 2017-12-23 20:02:26 +0000 | [diff] [blame] | 256 | /// For example, in the IR below with an OR condition, the call-site can |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 257 | /// 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 Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 261 | /// |
Florian Hahn | 7e93289 | 2017-12-23 20:02:26 +0000 | [diff] [blame] | 262 | /// From : |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 263 | /// |
| 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 Hahn | 7e93289 | 2017-12-23 20:02:26 +0000 | [diff] [blame] | 290 | /// 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 Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 293 | static void splitCallSite( |
| 294 | CallSite CS, |
| 295 | const SmallVectorImpl<std::pair<BasicBlock *, ConditionsTy>> &Preds) { |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 296 | Instruction *Instr = CS.getInstruction(); |
| 297 | BasicBlock *TailBB = Instr->getParent(); |
Fedor Indutny | f9e09c1 | 2018-03-03 21:40:14 +0000 | [diff] [blame] | 298 | bool IsMustTailCall = CS.isMustTailCall(); |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 299 | |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 300 | PHINode *CallPN = nullptr; |
Fedor Indutny | f9e09c1 | 2018-03-03 21:40:14 +0000 | [diff] [blame] | 301 | |
| 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 Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 306 | CallPN = PHINode::Create(Instr->getType(), Preds.size(), "phi.call"); |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 307 | |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 308 | DEBUG(dbgs() << "split call-site : " << *Instr << " into \n"); |
Florian Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 309 | |
| 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 Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 318 | assert(SplitBlock && "Unexpected new basic block split."); |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 319 | |
Florian Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 320 | Instruction *NewCI = |
| 321 | &*std::prev(SplitBlock->getTerminator()->getIterator()); |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 322 | CallSite NewCS(NewCI); |
Florian Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 323 | addConditions(NewCS, Preds[i].second); |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 324 | |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 325 | // 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 Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 333 | } |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 334 | } |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 335 | DEBUG(dbgs() << " " << *NewCI << " in " << SplitBlock->getName() |
| 336 | << "\n"); |
| 337 | if (CallPN) |
| 338 | CallPN->addIncoming(NewCI, SplitBlock); |
Fedor Indutny | f9e09c1 | 2018-03-03 21:40:14 +0000 | [diff] [blame] | 339 | |
| 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 Indutny | 364b9c2 | 2018-03-03 22:34:38 +0000 | [diff] [blame^] | 350 | // 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 Indutny | f9e09c1 | 2018-03-03 21:40:14 +0000 | [diff] [blame] | 357 | |
| 358 | // Erase the tail block once done with musttail patching |
| 359 | TailBB->eraseFromParent(); |
| 360 | return; |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 361 | } |
| 362 | |
Florian Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 363 | auto *OriginalBegin = &*TailBB->begin(); |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 364 | // Replace users of the original call with a PHI mering call-sites split. |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 365 | if (CallPN) { |
Florian Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 366 | CallPN->insertBefore(OriginalBegin); |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 367 | Instr->replaceAllUsesWith(CallPN); |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 368 | } |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 369 | |
Florian Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 370 | // 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 Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 397 | } |
| 398 | |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 399 | // Return true if the call-site has an argument which is a PHI with only |
| 400 | // constant incoming values. |
| 401 | static bool isPredicatedOnPHI(CallSite CS) { |
| 402 | Instruction *Instr = CS.getInstruction(); |
| 403 | BasicBlock *Parent = Instr->getParent(); |
Mikael Holmen | 66cf383 | 2017-12-12 07:29:57 +0000 | [diff] [blame] | 404 | if (Instr != Parent->getFirstNonPHIOrDbg()) |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 405 | 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 Hahn | 2a266a3 | 2017-11-18 18:14:13 +0000 | [diff] [blame] | 427 | static bool tryToSplitOnPHIPredicatedArgument(CallSite CS) { |
| 428 | if (!isPredicatedOnPHI(CS)) |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 429 | return false; |
| 430 | |
Florian Hahn | 2a266a3 | 2017-11-18 18:14:13 +0000 | [diff] [blame] | 431 | auto Preds = getTwoPredecessors(CS.getInstruction()->getParent()); |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 432 | SmallVector<std::pair<BasicBlock *, ConditionsTy>, 2> PredsCS = { |
| 433 | {Preds[0], {}}, {Preds[1], {}}}; |
| 434 | splitCallSite(CS, PredsCS); |
Florian Hahn | 2a266a3 | 2017-11-18 18:14:13 +0000 | [diff] [blame] | 435 | return true; |
| 436 | } |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 437 | |
Florian Hahn | 7e93289 | 2017-12-23 20:02:26 +0000 | [diff] [blame] | 438 | static bool tryToSplitOnPredicatedArgument(CallSite CS) { |
Florian Hahn | 2a266a3 | 2017-11-18 18:14:13 +0000 | [diff] [blame] | 439 | auto Preds = getTwoPredecessors(CS.getInstruction()->getParent()); |
Florian Hahn | 7e93289 | 2017-12-23 20:02:26 +0000 | [diff] [blame] | 440 | if (Preds[0] == Preds[1]) |
Florian Hahn | 2a266a3 | 2017-11-18 18:14:13 +0000 | [diff] [blame] | 441 | return false; |
| 442 | |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 443 | 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 Hahn | 2a266a3 | 2017-11-18 18:14:13 +0000 | [diff] [blame] | 449 | |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 450 | if (std::all_of(PredsCS.begin(), PredsCS.end(), |
| 451 | [](const std::pair<BasicBlock *, ConditionsTy> &P) { |
| 452 | return P.second.empty(); |
| 453 | })) |
Florian Hahn | beda7d5 | 2017-12-13 03:05:20 +0000 | [diff] [blame] | 454 | return false; |
| 455 | |
Florian Hahn | c6c89bf | 2018-01-16 22:13:15 +0000 | [diff] [blame] | 456 | splitCallSite(CS, PredsCS); |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 457 | return true; |
| 458 | } |
| 459 | |
Florian Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 460 | static bool tryToSplitCallSite(CallSite CS, TargetTransformInfo &TTI) { |
| 461 | if (!CS.arg_size() || !canSplitCallSite(CS, TTI)) |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 462 | return false; |
Florian Hahn | 7e93289 | 2017-12-23 20:02:26 +0000 | [diff] [blame] | 463 | return tryToSplitOnPredicatedArgument(CS) || |
Florian Hahn | 2a266a3 | 2017-11-18 18:14:13 +0000 | [diff] [blame] | 464 | tryToSplitOnPHIPredicatedArgument(CS); |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 465 | } |
| 466 | |
Florian Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 467 | static bool doCallSiteSplitting(Function &F, TargetLibraryInfo &TLI, |
| 468 | TargetTransformInfo &TTI) { |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 469 | 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 Indutny | f9e09c1 | 2018-03-03 21:40:14 +0000 | [diff] [blame] | 481 | |
| 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 Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 486 | Changed |= tryToSplitCallSite(CS, TTI); |
Fedor Indutny | f9e09c1 | 2018-03-03 21:40:14 +0000 | [diff] [blame] | 487 | |
| 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 Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 492 | } |
| 493 | } |
| 494 | return Changed; |
| 495 | } |
| 496 | |
| 497 | namespace { |
| 498 | struct 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 Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 506 | AU.addRequired<TargetTransformInfoWrapperPass>(); |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 507 | 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 Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 515 | auto &TTI = getAnalysis<TargetTransformInfoWrapperPass>().getTTI(F); |
| 516 | return doCallSiteSplitting(F, TLI, TTI); |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 517 | } |
| 518 | }; |
| 519 | } // namespace |
| 520 | |
| 521 | char CallSiteSplittingLegacyPass::ID = 0; |
| 522 | INITIALIZE_PASS_BEGIN(CallSiteSplittingLegacyPass, "callsite-splitting", |
| 523 | "Call-site splitting", false, false) |
| 524 | INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass) |
Florian Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 525 | INITIALIZE_PASS_DEPENDENCY(TargetTransformInfoWrapperPass) |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 526 | INITIALIZE_PASS_END(CallSiteSplittingLegacyPass, "callsite-splitting", |
| 527 | "Call-site splitting", false, false) |
| 528 | FunctionPass *llvm::createCallSiteSplittingPass() { |
| 529 | return new CallSiteSplittingLegacyPass(); |
| 530 | } |
| 531 | |
| 532 | PreservedAnalyses CallSiteSplittingPass::run(Function &F, |
| 533 | FunctionAnalysisManager &AM) { |
| 534 | auto &TLI = AM.getResult<TargetLibraryAnalysis>(F); |
Florian Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 535 | auto &TTI = AM.getResult<TargetIRAnalysis>(F); |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 536 | |
Florian Hahn | b4e3bad | 2018-02-14 13:59:12 +0000 | [diff] [blame] | 537 | if (!doCallSiteSplitting(F, TLI, TTI)) |
Jun Bum Lim | 0c99007 | 2017-11-03 20:41:16 +0000 | [diff] [blame] | 538 | return PreservedAnalyses::all(); |
| 539 | PreservedAnalyses PA; |
| 540 | return PA; |
| 541 | } |