172793727SChandler Carruth //===- LowerExpectIntrinsic.cpp - Lower expect intrinsic ------------------===// 272793727SChandler Carruth // 32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information. 52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 672793727SChandler Carruth // 772793727SChandler Carruth //===----------------------------------------------------------------------===// 872793727SChandler Carruth // 972793727SChandler Carruth // This pass lowers the 'expect' intrinsic to LLVM metadata. 1072793727SChandler Carruth // 1172793727SChandler Carruth //===----------------------------------------------------------------------===// 1272793727SChandler Carruth 1343e590e5SChandler Carruth #include "llvm/Transforms/Scalar/LowerExpectIntrinsic.h" 143f5e7b1fSChandler Carruth #include "llvm/ADT/SmallVector.h" 1572793727SChandler Carruth #include "llvm/ADT/Statistic.h" 16621e8dcfSXinliang David Li #include "llvm/ADT/iterator_range.h" 1772793727SChandler Carruth #include "llvm/IR/BasicBlock.h" 1872793727SChandler Carruth #include "llvm/IR/Constants.h" 1972793727SChandler Carruth #include "llvm/IR/Function.h" 2072793727SChandler Carruth #include "llvm/IR/Instructions.h" 2172793727SChandler Carruth #include "llvm/IR/Intrinsics.h" 2272793727SChandler Carruth #include "llvm/IR/LLVMContext.h" 2372793727SChandler Carruth #include "llvm/IR/MDBuilder.h" 2472793727SChandler Carruth #include "llvm/IR/Metadata.h" 2505da2fe5SReid Kleckner #include "llvm/InitializePasses.h" 2672793727SChandler Carruth #include "llvm/Pass.h" 2772793727SChandler Carruth #include "llvm/Support/CommandLine.h" 2872793727SChandler Carruth #include "llvm/Support/Debug.h" 2943e590e5SChandler Carruth #include "llvm/Transforms/Scalar.h" 307bdad084SPetr Hosek #include "llvm/Transforms/Utils/MisExpect.h" 3172793727SChandler Carruth 3272793727SChandler Carruth using namespace llvm; 3372793727SChandler Carruth 3472793727SChandler Carruth #define DEBUG_TYPE "lower-expect-intrinsic" 3572793727SChandler Carruth 366eb60eb5SChandler Carruth STATISTIC(ExpectIntrinsicsHandled, 376eb60eb5SChandler Carruth "Number of 'expect' intrinsic instructions handled"); 3872793727SChandler Carruth 39d2d2aa52SSanjay Patel // These default values are chosen to represent an extremely skewed outcome for 40d2d2aa52SSanjay Patel // a condition, but they leave some room for interpretation by later passes. 41d2d2aa52SSanjay Patel // 42d2d2aa52SSanjay Patel // If the documentation for __builtin_expect() was made explicit that it should 43d2d2aa52SSanjay Patel // only be used in extreme cases, we could make this ratio higher. As it stands, 44d2d2aa52SSanjay Patel // programmers may be using __builtin_expect() / llvm.expect to annotate that a 45d2d2aa52SSanjay Patel // branch is likely or unlikely to be taken. 46d2d2aa52SSanjay Patel // 47d2d2aa52SSanjay Patel // There is a known dependency on this ratio in CodeGenPrepare when transforming 48d2d2aa52SSanjay Patel // 'select' instructions. It may be worthwhile to hoist these values to some 49d2d2aa52SSanjay Patel // shared space, so they can be used directly by other passes. 50d2d2aa52SSanjay Patel 51d2d2aa52SSanjay Patel static cl::opt<uint32_t> LikelyBranchWeight( 52d2d2aa52SSanjay Patel "likely-branch-weight", cl::Hidden, cl::init(2000), 53d2d2aa52SSanjay Patel cl::desc("Weight of the branch likely to be taken (default = 2000)")); 54d2d2aa52SSanjay Patel static cl::opt<uint32_t> UnlikelyBranchWeight( 55d2d2aa52SSanjay Patel "unlikely-branch-weight", cl::Hidden, cl::init(1), 56d2d2aa52SSanjay Patel cl::desc("Weight of the branch unlikely to be taken (default = 1)")); 5772793727SChandler Carruth 5837fb8603SZhi Zhuang std::tuple<uint32_t, uint32_t> getBranchWeight(Intrinsic::ID IntrinsicID, 5937fb8603SZhi Zhuang CallInst *CI, int BranchCount) { 6037fb8603SZhi Zhuang if (IntrinsicID == Intrinsic::expect) { 6137fb8603SZhi Zhuang // __builtin_expect 62*315bd964SLei Zhang return std::make_tuple(LikelyBranchWeight.getValue(), 63*315bd964SLei Zhang UnlikelyBranchWeight.getValue()); 6437fb8603SZhi Zhuang } else { 6537fb8603SZhi Zhuang // __builtin_expect_with_probability 6637fb8603SZhi Zhuang assert(CI->getNumOperands() >= 3 && 6737fb8603SZhi Zhuang "expect with probability must have 3 arguments"); 6837fb8603SZhi Zhuang ConstantFP *Confidence = dyn_cast<ConstantFP>(CI->getArgOperand(2)); 6937fb8603SZhi Zhuang double TrueProb = Confidence->getValueAPF().convertToDouble(); 7037fb8603SZhi Zhuang assert((TrueProb >= 0.0 && TrueProb <= 1.0) && 7137fb8603SZhi Zhuang "probability value must be in the range [0.0, 1.0]"); 7237fb8603SZhi Zhuang double FalseProb = (1.0 - TrueProb) / (BranchCount - 1); 7337fb8603SZhi Zhuang uint32_t LikelyBW = ceil((TrueProb * (double)(INT32_MAX - 1)) + 1.0); 7437fb8603SZhi Zhuang uint32_t UnlikelyBW = ceil((FalseProb * (double)(INT32_MAX - 1)) + 1.0); 75*315bd964SLei Zhang return std::make_tuple(LikelyBW, UnlikelyBW); 7637fb8603SZhi Zhuang } 7737fb8603SZhi Zhuang } 7837fb8603SZhi Zhuang 790012c778SChandler Carruth static bool handleSwitchExpect(SwitchInst &SI) { 800012c778SChandler Carruth CallInst *CI = dyn_cast<CallInst>(SI.getCondition()); 8172793727SChandler Carruth if (!CI) 8272793727SChandler Carruth return false; 8372793727SChandler Carruth 8472793727SChandler Carruth Function *Fn = CI->getCalledFunction(); 8537fb8603SZhi Zhuang if (!Fn || (Fn->getIntrinsicID() != Intrinsic::expect && 8637fb8603SZhi Zhuang Fn->getIntrinsicID() != Intrinsic::expect_with_probability)) 8772793727SChandler Carruth return false; 8872793727SChandler Carruth 8972793727SChandler Carruth Value *ArgValue = CI->getArgOperand(0); 9072793727SChandler Carruth ConstantInt *ExpectedValue = dyn_cast<ConstantInt>(CI->getArgOperand(1)); 9172793727SChandler Carruth if (!ExpectedValue) 9272793727SChandler Carruth return false; 9372793727SChandler Carruth 94927d8e61SChandler Carruth SwitchInst::CaseHandle Case = *SI.findCaseValue(ExpectedValue); 950012c778SChandler Carruth unsigned n = SI.getNumCases(); // +1 for default case. 9637fb8603SZhi Zhuang uint32_t LikelyBranchWeightVal, UnlikelyBranchWeightVal; 9737fb8603SZhi Zhuang std::tie(LikelyBranchWeightVal, UnlikelyBranchWeightVal) = 9837fb8603SZhi Zhuang getBranchWeight(Fn->getIntrinsicID(), CI, n + 1); 9937fb8603SZhi Zhuang 10037fb8603SZhi Zhuang SmallVector<uint32_t, 16> Weights(n + 1, UnlikelyBranchWeightVal); 10172793727SChandler Carruth 1027bdad084SPetr Hosek uint64_t Index = (Case == *SI.case_default()) ? 0 : Case.getCaseIndex() + 1; 10337fb8603SZhi Zhuang Weights[Index] = LikelyBranchWeightVal; 1047bdad084SPetr Hosek 10537fb8603SZhi Zhuang SI.setMetadata(LLVMContext::MD_misexpect, 1067bdad084SPetr Hosek MDBuilder(CI->getContext()) 10737fb8603SZhi Zhuang .createMisExpect(Index, LikelyBranchWeightVal, 10837fb8603SZhi Zhuang UnlikelyBranchWeightVal)); 1097bdad084SPetr Hosek 1107bdad084SPetr Hosek SI.setCondition(ArgValue); 1117bdad084SPetr Hosek misexpect::checkFrontendInstrumentation(SI); 11272793727SChandler Carruth 1130012c778SChandler Carruth SI.setMetadata(LLVMContext::MD_prof, 11472793727SChandler Carruth MDBuilder(CI->getContext()).createBranchWeights(Weights)); 11572793727SChandler Carruth 11672793727SChandler Carruth return true; 11772793727SChandler Carruth } 11872793727SChandler Carruth 119621e8dcfSXinliang David Li /// Handler for PHINodes that define the value argument to an 120621e8dcfSXinliang David Li /// @llvm.expect call. 121621e8dcfSXinliang David Li /// 122621e8dcfSXinliang David Li /// If the operand of the phi has a constant value and it 'contradicts' 123621e8dcfSXinliang David Li /// with the expected value of phi def, then the corresponding incoming 124621e8dcfSXinliang David Li /// edge of the phi is unlikely to be taken. Using that information, 125621e8dcfSXinliang David Li /// the branch probability info for the originating branch can be inferred. 126621e8dcfSXinliang David Li static void handlePhiDef(CallInst *Expect) { 127621e8dcfSXinliang David Li Value &Arg = *Expect->getArgOperand(0); 1284f49bee7SXinliang David Li ConstantInt *ExpectedValue = dyn_cast<ConstantInt>(Expect->getArgOperand(1)); 1294f49bee7SXinliang David Li if (!ExpectedValue) 1304f49bee7SXinliang David Li return; 131621e8dcfSXinliang David Li const APInt &ExpectedPhiValue = ExpectedValue->getValue(); 132621e8dcfSXinliang David Li 133621e8dcfSXinliang David Li // Walk up in backward a list of instructions that 134621e8dcfSXinliang David Li // have 'copy' semantics by 'stripping' the copies 135621e8dcfSXinliang David Li // until a PHI node or an instruction of unknown kind 136621e8dcfSXinliang David Li // is reached. Negation via xor is also handled. 137621e8dcfSXinliang David Li // 138621e8dcfSXinliang David Li // C = PHI(...); 139621e8dcfSXinliang David Li // B = C; 140621e8dcfSXinliang David Li // A = B; 141621e8dcfSXinliang David Li // D = __builtin_expect(A, 0); 142621e8dcfSXinliang David Li // 143621e8dcfSXinliang David Li Value *V = &Arg; 144621e8dcfSXinliang David Li SmallVector<Instruction *, 4> Operations; 145621e8dcfSXinliang David Li while (!isa<PHINode>(V)) { 146621e8dcfSXinliang David Li if (ZExtInst *ZExt = dyn_cast<ZExtInst>(V)) { 147621e8dcfSXinliang David Li V = ZExt->getOperand(0); 148621e8dcfSXinliang David Li Operations.push_back(ZExt); 149621e8dcfSXinliang David Li continue; 150621e8dcfSXinliang David Li } 151621e8dcfSXinliang David Li 152621e8dcfSXinliang David Li if (SExtInst *SExt = dyn_cast<SExtInst>(V)) { 153621e8dcfSXinliang David Li V = SExt->getOperand(0); 154621e8dcfSXinliang David Li Operations.push_back(SExt); 155621e8dcfSXinliang David Li continue; 156621e8dcfSXinliang David Li } 157621e8dcfSXinliang David Li 158621e8dcfSXinliang David Li BinaryOperator *BinOp = dyn_cast<BinaryOperator>(V); 159621e8dcfSXinliang David Li if (!BinOp || BinOp->getOpcode() != Instruction::Xor) 160621e8dcfSXinliang David Li return; 161621e8dcfSXinliang David Li 162621e8dcfSXinliang David Li ConstantInt *CInt = dyn_cast<ConstantInt>(BinOp->getOperand(1)); 163621e8dcfSXinliang David Li if (!CInt) 164621e8dcfSXinliang David Li return; 165621e8dcfSXinliang David Li 166621e8dcfSXinliang David Li V = BinOp->getOperand(0); 167621e8dcfSXinliang David Li Operations.push_back(BinOp); 168621e8dcfSXinliang David Li } 169621e8dcfSXinliang David Li 170621e8dcfSXinliang David Li // Executes the recorded operations on input 'Value'. 171621e8dcfSXinliang David Li auto ApplyOperations = [&](const APInt &Value) { 172621e8dcfSXinliang David Li APInt Result = Value; 173621e8dcfSXinliang David Li for (auto Op : llvm::reverse(Operations)) { 174621e8dcfSXinliang David Li switch (Op->getOpcode()) { 175621e8dcfSXinliang David Li case Instruction::Xor: 176621e8dcfSXinliang David Li Result ^= cast<ConstantInt>(Op->getOperand(1))->getValue(); 177621e8dcfSXinliang David Li break; 178621e8dcfSXinliang David Li case Instruction::ZExt: 179621e8dcfSXinliang David Li Result = Result.zext(Op->getType()->getIntegerBitWidth()); 180621e8dcfSXinliang David Li break; 181621e8dcfSXinliang David Li case Instruction::SExt: 182621e8dcfSXinliang David Li Result = Result.sext(Op->getType()->getIntegerBitWidth()); 183621e8dcfSXinliang David Li break; 184621e8dcfSXinliang David Li default: 185621e8dcfSXinliang David Li llvm_unreachable("Unexpected operation"); 186621e8dcfSXinliang David Li } 187621e8dcfSXinliang David Li } 188621e8dcfSXinliang David Li return Result; 189621e8dcfSXinliang David Li }; 190621e8dcfSXinliang David Li 19191b4085bSSimon Pilgrim auto *PhiDef = cast<PHINode>(V); 192621e8dcfSXinliang David Li 193621e8dcfSXinliang David Li // Get the first dominating conditional branch of the operand 194621e8dcfSXinliang David Li // i's incoming block. 195621e8dcfSXinliang David Li auto GetDomConditional = [&](unsigned i) -> BranchInst * { 196621e8dcfSXinliang David Li BasicBlock *BB = PhiDef->getIncomingBlock(i); 197621e8dcfSXinliang David Li BranchInst *BI = dyn_cast<BranchInst>(BB->getTerminator()); 198621e8dcfSXinliang David Li if (BI && BI->isConditional()) 199621e8dcfSXinliang David Li return BI; 200621e8dcfSXinliang David Li BB = BB->getSinglePredecessor(); 201621e8dcfSXinliang David Li if (!BB) 202621e8dcfSXinliang David Li return nullptr; 203621e8dcfSXinliang David Li BI = dyn_cast<BranchInst>(BB->getTerminator()); 204621e8dcfSXinliang David Li if (!BI || BI->isUnconditional()) 205621e8dcfSXinliang David Li return nullptr; 206621e8dcfSXinliang David Li return BI; 207621e8dcfSXinliang David Li }; 208621e8dcfSXinliang David Li 209621e8dcfSXinliang David Li // Now walk through all Phi operands to find phi oprerands with values 210621e8dcfSXinliang David Li // conflicting with the expected phi output value. Any such operand 211621e8dcfSXinliang David Li // indicates the incoming edge to that operand is unlikely. 212621e8dcfSXinliang David Li for (unsigned i = 0, e = PhiDef->getNumIncomingValues(); i != e; ++i) { 213621e8dcfSXinliang David Li 214621e8dcfSXinliang David Li Value *PhiOpnd = PhiDef->getIncomingValue(i); 215621e8dcfSXinliang David Li ConstantInt *CI = dyn_cast<ConstantInt>(PhiOpnd); 216621e8dcfSXinliang David Li if (!CI) 217621e8dcfSXinliang David Li continue; 218621e8dcfSXinliang David Li 219621e8dcfSXinliang David Li // Not an interesting case when IsUnlikely is false -- we can not infer 220621e8dcfSXinliang David Li // anything useful when the operand value matches the expected phi 221621e8dcfSXinliang David Li // output. 222621e8dcfSXinliang David Li if (ExpectedPhiValue == ApplyOperations(CI->getValue())) 223621e8dcfSXinliang David Li continue; 224621e8dcfSXinliang David Li 225621e8dcfSXinliang David Li BranchInst *BI = GetDomConditional(i); 226621e8dcfSXinliang David Li if (!BI) 227621e8dcfSXinliang David Li continue; 228621e8dcfSXinliang David Li 229621e8dcfSXinliang David Li MDBuilder MDB(PhiDef->getContext()); 230621e8dcfSXinliang David Li 231621e8dcfSXinliang David Li // There are two situations in which an operand of the PhiDef comes 232621e8dcfSXinliang David Li // from a given successor of a branch instruction BI. 233621e8dcfSXinliang David Li // 1) When the incoming block of the operand is the successor block; 234621e8dcfSXinliang David Li // 2) When the incoming block is BI's enclosing block and the 235621e8dcfSXinliang David Li // successor is the PhiDef's enclosing block. 236621e8dcfSXinliang David Li // 237621e8dcfSXinliang David Li // Returns true if the operand which comes from OpndIncomingBB 238621e8dcfSXinliang David Li // comes from outgoing edge of BI that leads to Succ block. 239621e8dcfSXinliang David Li auto *OpndIncomingBB = PhiDef->getIncomingBlock(i); 240621e8dcfSXinliang David Li auto IsOpndComingFromSuccessor = [&](BasicBlock *Succ) { 241621e8dcfSXinliang David Li if (OpndIncomingBB == Succ) 242621e8dcfSXinliang David Li // If this successor is the incoming block for this 243621e8dcfSXinliang David Li // Phi operand, then this successor does lead to the Phi. 244621e8dcfSXinliang David Li return true; 245621e8dcfSXinliang David Li if (OpndIncomingBB == BI->getParent() && Succ == PhiDef->getParent()) 246621e8dcfSXinliang David Li // Otherwise, if the edge is directly from the branch 247621e8dcfSXinliang David Li // to the Phi, this successor is the one feeding this 248621e8dcfSXinliang David Li // Phi operand. 249621e8dcfSXinliang David Li return true; 250621e8dcfSXinliang David Li return false; 251621e8dcfSXinliang David Li }; 25237fb8603SZhi Zhuang uint32_t LikelyBranchWeightVal, UnlikelyBranchWeightVal; 25337fb8603SZhi Zhuang std::tie(LikelyBranchWeightVal, UnlikelyBranchWeightVal) = getBranchWeight( 25437fb8603SZhi Zhuang Expect->getCalledFunction()->getIntrinsicID(), Expect, 2); 255621e8dcfSXinliang David Li 256621e8dcfSXinliang David Li if (IsOpndComingFromSuccessor(BI->getSuccessor(1))) 25737fb8603SZhi Zhuang BI->setMetadata(LLVMContext::MD_prof, 25837fb8603SZhi Zhuang MDB.createBranchWeights(LikelyBranchWeightVal, 25937fb8603SZhi Zhuang UnlikelyBranchWeightVal)); 260621e8dcfSXinliang David Li else if (IsOpndComingFromSuccessor(BI->getSuccessor(0))) 26137fb8603SZhi Zhuang BI->setMetadata(LLVMContext::MD_prof, 26237fb8603SZhi Zhuang MDB.createBranchWeights(UnlikelyBranchWeightVal, 26337fb8603SZhi Zhuang LikelyBranchWeightVal)); 264621e8dcfSXinliang David Li } 265621e8dcfSXinliang David Li } 266621e8dcfSXinliang David Li 26740afd5c9SXinliang David Li // Handle both BranchInst and SelectInst. 26840afd5c9SXinliang David Li template <class BrSelInst> static bool handleBrSelExpect(BrSelInst &BSI) { 26972793727SChandler Carruth 27072793727SChandler Carruth // Handle non-optimized IR code like: 27172793727SChandler Carruth // %expval = call i64 @llvm.expect.i64(i64 %conv1, i64 1) 27272793727SChandler Carruth // %tobool = icmp ne i64 %expval, 0 27372793727SChandler Carruth // br i1 %tobool, label %if.then, label %if.end 27472793727SChandler Carruth // 27572793727SChandler Carruth // Or the following simpler case: 27672793727SChandler Carruth // %expval = call i1 @llvm.expect.i1(i1 %cmp, i1 1) 27772793727SChandler Carruth // br i1 %expval, label %if.then, label %if.end 27872793727SChandler Carruth 27972793727SChandler Carruth CallInst *CI; 28072793727SChandler Carruth 28140afd5c9SXinliang David Li ICmpInst *CmpI = dyn_cast<ICmpInst>(BSI.getCondition()); 282ee8d6acbSXinliang David Li CmpInst::Predicate Predicate; 283d6cfba2aSXinliang David Li ConstantInt *CmpConstOperand = nullptr; 28472793727SChandler Carruth if (!CmpI) { 28540afd5c9SXinliang David Li CI = dyn_cast<CallInst>(BSI.getCondition()); 286ee8d6acbSXinliang David Li Predicate = CmpInst::ICMP_NE; 28772793727SChandler Carruth } else { 288ee8d6acbSXinliang David Li Predicate = CmpI->getPredicate(); 289ee8d6acbSXinliang David Li if (Predicate != CmpInst::ICMP_NE && Predicate != CmpInst::ICMP_EQ) 29072793727SChandler Carruth return false; 291d6cfba2aSXinliang David Li 292d6cfba2aSXinliang David Li CmpConstOperand = dyn_cast<ConstantInt>(CmpI->getOperand(1)); 293ee8d6acbSXinliang David Li if (!CmpConstOperand) 294ee8d6acbSXinliang David Li return false; 29572793727SChandler Carruth CI = dyn_cast<CallInst>(CmpI->getOperand(0)); 29672793727SChandler Carruth } 29772793727SChandler Carruth 29872793727SChandler Carruth if (!CI) 29972793727SChandler Carruth return false; 30072793727SChandler Carruth 301d6cfba2aSXinliang David Li uint64_t ValueComparedTo = 0; 302d6cfba2aSXinliang David Li if (CmpConstOperand) { 303d6cfba2aSXinliang David Li if (CmpConstOperand->getBitWidth() > 64) 304d6cfba2aSXinliang David Li return false; 305d6cfba2aSXinliang David Li ValueComparedTo = CmpConstOperand->getZExtValue(); 306d6cfba2aSXinliang David Li } 307d6cfba2aSXinliang David Li 30872793727SChandler Carruth Function *Fn = CI->getCalledFunction(); 30937fb8603SZhi Zhuang if (!Fn || (Fn->getIntrinsicID() != Intrinsic::expect && 31037fb8603SZhi Zhuang Fn->getIntrinsicID() != Intrinsic::expect_with_probability)) 31172793727SChandler Carruth return false; 31272793727SChandler Carruth 31372793727SChandler Carruth Value *ArgValue = CI->getArgOperand(0); 31472793727SChandler Carruth ConstantInt *ExpectedValue = dyn_cast<ConstantInt>(CI->getArgOperand(1)); 31572793727SChandler Carruth if (!ExpectedValue) 31672793727SChandler Carruth return false; 31772793727SChandler Carruth 31872793727SChandler Carruth MDBuilder MDB(CI->getContext()); 31972793727SChandler Carruth MDNode *Node; 3207bdad084SPetr Hosek MDNode *ExpNode; 32172793727SChandler Carruth 32237fb8603SZhi Zhuang uint32_t LikelyBranchWeightVal, UnlikelyBranchWeightVal; 32337fb8603SZhi Zhuang std::tie(LikelyBranchWeightVal, UnlikelyBranchWeightVal) = 32437fb8603SZhi Zhuang getBranchWeight(Fn->getIntrinsicID(), CI, 2); 32537fb8603SZhi Zhuang 326ee8d6acbSXinliang David Li if ((ExpectedValue->getZExtValue() == ValueComparedTo) == 3277bdad084SPetr Hosek (Predicate == CmpInst::ICMP_EQ)) { 32837fb8603SZhi Zhuang Node = 32937fb8603SZhi Zhuang MDB.createBranchWeights(LikelyBranchWeightVal, UnlikelyBranchWeightVal); 33037fb8603SZhi Zhuang ExpNode = 33137fb8603SZhi Zhuang MDB.createMisExpect(0, LikelyBranchWeightVal, UnlikelyBranchWeightVal); 3327bdad084SPetr Hosek } else { 33337fb8603SZhi Zhuang Node = 33437fb8603SZhi Zhuang MDB.createBranchWeights(UnlikelyBranchWeightVal, LikelyBranchWeightVal); 33537fb8603SZhi Zhuang ExpNode = 33637fb8603SZhi Zhuang MDB.createMisExpect(1, LikelyBranchWeightVal, UnlikelyBranchWeightVal); 3377bdad084SPetr Hosek } 33872793727SChandler Carruth 3397bdad084SPetr Hosek BSI.setMetadata(LLVMContext::MD_misexpect, ExpNode); 34072793727SChandler Carruth 34172793727SChandler Carruth if (CmpI) 34272793727SChandler Carruth CmpI->setOperand(0, ArgValue); 34372793727SChandler Carruth else 34440afd5c9SXinliang David Li BSI.setCondition(ArgValue); 3457bdad084SPetr Hosek 3467bdad084SPetr Hosek misexpect::checkFrontendInstrumentation(BSI); 3477bdad084SPetr Hosek 3487bdad084SPetr Hosek BSI.setMetadata(LLVMContext::MD_prof, Node); 3497bdad084SPetr Hosek 35072793727SChandler Carruth return true; 35172793727SChandler Carruth } 35272793727SChandler Carruth 35340afd5c9SXinliang David Li static bool handleBranchExpect(BranchInst &BI) { 35440afd5c9SXinliang David Li if (BI.isUnconditional()) 35540afd5c9SXinliang David Li return false; 35640afd5c9SXinliang David Li 35740afd5c9SXinliang David Li return handleBrSelExpect<BranchInst>(BI); 35840afd5c9SXinliang David Li } 35940afd5c9SXinliang David Li 36043e590e5SChandler Carruth static bool lowerExpectIntrinsic(Function &F) { 361c3bf5bd8SChandler Carruth bool Changed = false; 362c3bf5bd8SChandler Carruth 363d12741e0SChandler Carruth for (BasicBlock &BB : F) { 36472793727SChandler Carruth // Create "block_weights" metadata. 365d12741e0SChandler Carruth if (BranchInst *BI = dyn_cast<BranchInst>(BB.getTerminator())) { 3660012c778SChandler Carruth if (handleBranchExpect(*BI)) 3676eb60eb5SChandler Carruth ExpectIntrinsicsHandled++; 368d12741e0SChandler Carruth } else if (SwitchInst *SI = dyn_cast<SwitchInst>(BB.getTerminator())) { 3690012c778SChandler Carruth if (handleSwitchExpect(*SI)) 3706eb60eb5SChandler Carruth ExpectIntrinsicsHandled++; 37172793727SChandler Carruth } 37272793727SChandler Carruth 37340afd5c9SXinliang David Li // Remove llvm.expect intrinsics. Iterate backwards in order 37440afd5c9SXinliang David Li // to process select instructions before the intrinsic gets 37540afd5c9SXinliang David Li // removed. 37640afd5c9SXinliang David Li for (auto BI = BB.rbegin(), BE = BB.rend(); BI != BE;) { 37740afd5c9SXinliang David Li Instruction *Inst = &*BI++; 37840afd5c9SXinliang David Li CallInst *CI = dyn_cast<CallInst>(Inst); 37940afd5c9SXinliang David Li if (!CI) { 38040afd5c9SXinliang David Li if (SelectInst *SI = dyn_cast<SelectInst>(Inst)) { 38140afd5c9SXinliang David Li if (handleBrSelExpect(*SI)) 38240afd5c9SXinliang David Li ExpectIntrinsicsHandled++; 38340afd5c9SXinliang David Li } 38472793727SChandler Carruth continue; 38540afd5c9SXinliang David Li } 38672793727SChandler Carruth 38772793727SChandler Carruth Function *Fn = CI->getCalledFunction(); 38837fb8603SZhi Zhuang if (Fn && (Fn->getIntrinsicID() == Intrinsic::expect || 38937fb8603SZhi Zhuang Fn->getIntrinsicID() == Intrinsic::expect_with_probability)) { 390621e8dcfSXinliang David Li // Before erasing the llvm.expect, walk backward to find 391621e8dcfSXinliang David Li // phi that define llvm.expect's first arg, and 392621e8dcfSXinliang David Li // infer branch probability: 393621e8dcfSXinliang David Li handlePhiDef(CI); 39472793727SChandler Carruth Value *Exp = CI->getArgOperand(0); 39572793727SChandler Carruth CI->replaceAllUsesWith(Exp); 39672793727SChandler Carruth CI->eraseFromParent(); 397c3bf5bd8SChandler Carruth Changed = true; 39872793727SChandler Carruth } 39972793727SChandler Carruth } 40072793727SChandler Carruth } 40172793727SChandler Carruth 402c3bf5bd8SChandler Carruth return Changed; 40372793727SChandler Carruth } 40472793727SChandler Carruth 405164a2aa6SChandler Carruth PreservedAnalyses LowerExpectIntrinsicPass::run(Function &F, 406164a2aa6SChandler Carruth FunctionAnalysisManager &) { 40743e590e5SChandler Carruth if (lowerExpectIntrinsic(F)) 40843e590e5SChandler Carruth return PreservedAnalyses::none(); 40943e590e5SChandler Carruth 41043e590e5SChandler Carruth return PreservedAnalyses::all(); 41143e590e5SChandler Carruth } 41243e590e5SChandler Carruth 41343e590e5SChandler Carruth namespace { 4145f8f34e4SAdrian Prantl /// Legacy pass for lowering expect intrinsics out of the IR. 41543e590e5SChandler Carruth /// 41643e590e5SChandler Carruth /// When this pass is run over a function it uses expect intrinsics which feed 41743e590e5SChandler Carruth /// branches and switches to provide branch weight metadata for those 41843e590e5SChandler Carruth /// terminators. It then removes the expect intrinsics from the IR so the rest 41943e590e5SChandler Carruth /// of the optimizer can ignore them. 42043e590e5SChandler Carruth class LowerExpectIntrinsic : public FunctionPass { 42143e590e5SChandler Carruth public: 42243e590e5SChandler Carruth static char ID; 42343e590e5SChandler Carruth LowerExpectIntrinsic() : FunctionPass(ID) { 42443e590e5SChandler Carruth initializeLowerExpectIntrinsicPass(*PassRegistry::getPassRegistry()); 42543e590e5SChandler Carruth } 42643e590e5SChandler Carruth 42743e590e5SChandler Carruth bool runOnFunction(Function &F) override { return lowerExpectIntrinsic(F); } 42843e590e5SChandler Carruth }; 429f00654e3SAlexander Kornienko } 43043e590e5SChandler Carruth 43172793727SChandler Carruth char LowerExpectIntrinsic::ID = 0; 4320ea746bfSChandler Carruth INITIALIZE_PASS(LowerExpectIntrinsic, "lower-expect", 4330ea746bfSChandler Carruth "Lower 'expect' Intrinsics", false, false) 43472793727SChandler Carruth 43572793727SChandler Carruth FunctionPass *llvm::createLowerExpectIntrinsicPass() { 43672793727SChandler Carruth return new LowerExpectIntrinsic(); 43772793727SChandler Carruth } 438