10b57cec5SDimitry Andric ///===- LazyMachineBlockFrequencyInfo.cpp - Lazy Machine Block Frequency --===// 20b57cec5SDimitry Andric /// 30b57cec5SDimitry Andric /// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric /// See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric /// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric /// 70b57cec5SDimitry Andric ///===---------------------------------------------------------------------===// 80b57cec5SDimitry Andric /// \file 90b57cec5SDimitry Andric /// This is an alternative analysis pass to MachineBlockFrequencyInfo. The 100b57cec5SDimitry Andric /// difference is that with this pass the block frequencies are not computed 110b57cec5SDimitry Andric /// when the analysis pass is executed but rather when the BFI result is 120b57cec5SDimitry Andric /// explicitly requested by the analysis client. 130b57cec5SDimitry Andric /// 140b57cec5SDimitry Andric ///===---------------------------------------------------------------------===// 150b57cec5SDimitry Andric 160b57cec5SDimitry Andric #include "llvm/CodeGen/LazyMachineBlockFrequencyInfo.h" 17*81ad6265SDimitry Andric #include "llvm/CodeGen/MachineBranchProbabilityInfo.h" 18480093f4SDimitry Andric #include "llvm/InitializePasses.h" 190b57cec5SDimitry Andric 200b57cec5SDimitry Andric using namespace llvm; 210b57cec5SDimitry Andric 220b57cec5SDimitry Andric #define DEBUG_TYPE "lazy-machine-block-freq" 230b57cec5SDimitry Andric 240b57cec5SDimitry Andric INITIALIZE_PASS_BEGIN(LazyMachineBlockFrequencyInfoPass, DEBUG_TYPE, 250b57cec5SDimitry Andric "Lazy Machine Block Frequency Analysis", true, true) 260b57cec5SDimitry Andric INITIALIZE_PASS_DEPENDENCY(MachineBranchProbabilityInfo) 270b57cec5SDimitry Andric INITIALIZE_PASS_DEPENDENCY(MachineLoopInfo) 280b57cec5SDimitry Andric INITIALIZE_PASS_END(LazyMachineBlockFrequencyInfoPass, DEBUG_TYPE, 290b57cec5SDimitry Andric "Lazy Machine Block Frequency Analysis", true, true) 300b57cec5SDimitry Andric 310b57cec5SDimitry Andric char LazyMachineBlockFrequencyInfoPass::ID = 0; 320b57cec5SDimitry Andric 330b57cec5SDimitry Andric LazyMachineBlockFrequencyInfoPass::LazyMachineBlockFrequencyInfoPass() 340b57cec5SDimitry Andric : MachineFunctionPass(ID) { 350b57cec5SDimitry Andric initializeLazyMachineBlockFrequencyInfoPassPass( 360b57cec5SDimitry Andric *PassRegistry::getPassRegistry()); 370b57cec5SDimitry Andric } 380b57cec5SDimitry Andric 390b57cec5SDimitry Andric void LazyMachineBlockFrequencyInfoPass::print(raw_ostream &OS, 400b57cec5SDimitry Andric const Module *M) const { 410b57cec5SDimitry Andric getBFI().print(OS, M); 420b57cec5SDimitry Andric } 430b57cec5SDimitry Andric 440b57cec5SDimitry Andric void LazyMachineBlockFrequencyInfoPass::getAnalysisUsage( 450b57cec5SDimitry Andric AnalysisUsage &AU) const { 460b57cec5SDimitry Andric AU.addRequired<MachineBranchProbabilityInfo>(); 470b57cec5SDimitry Andric AU.setPreservesAll(); 480b57cec5SDimitry Andric MachineFunctionPass::getAnalysisUsage(AU); 490b57cec5SDimitry Andric } 500b57cec5SDimitry Andric 510b57cec5SDimitry Andric void LazyMachineBlockFrequencyInfoPass::releaseMemory() { 520b57cec5SDimitry Andric OwnedMBFI.reset(); 530b57cec5SDimitry Andric OwnedMLI.reset(); 540b57cec5SDimitry Andric OwnedMDT.reset(); 550b57cec5SDimitry Andric } 560b57cec5SDimitry Andric 570b57cec5SDimitry Andric MachineBlockFrequencyInfo & 580b57cec5SDimitry Andric LazyMachineBlockFrequencyInfoPass::calculateIfNotAvailable() const { 590b57cec5SDimitry Andric auto *MBFI = getAnalysisIfAvailable<MachineBlockFrequencyInfo>(); 600b57cec5SDimitry Andric if (MBFI) { 610b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "MachineBlockFrequencyInfo is available\n"); 620b57cec5SDimitry Andric return *MBFI; 630b57cec5SDimitry Andric } 640b57cec5SDimitry Andric 650b57cec5SDimitry Andric auto &MBPI = getAnalysis<MachineBranchProbabilityInfo>(); 660b57cec5SDimitry Andric auto *MLI = getAnalysisIfAvailable<MachineLoopInfo>(); 670b57cec5SDimitry Andric auto *MDT = getAnalysisIfAvailable<MachineDominatorTree>(); 680b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Building MachineBlockFrequencyInfo on the fly\n"); 690b57cec5SDimitry Andric LLVM_DEBUG(if (MLI) dbgs() << "LoopInfo is available\n"); 700b57cec5SDimitry Andric 710b57cec5SDimitry Andric if (!MLI) { 720b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Building LoopInfo on the fly\n"); 730b57cec5SDimitry Andric // First create a dominator tree. 740b57cec5SDimitry Andric LLVM_DEBUG(if (MDT) dbgs() << "DominatorTree is available\n"); 750b57cec5SDimitry Andric 760b57cec5SDimitry Andric if (!MDT) { 770b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Building DominatorTree on the fly\n"); 788bcb0991SDimitry Andric OwnedMDT = std::make_unique<MachineDominatorTree>(); 790b57cec5SDimitry Andric OwnedMDT->getBase().recalculate(*MF); 800b57cec5SDimitry Andric MDT = OwnedMDT.get(); 810b57cec5SDimitry Andric } 820b57cec5SDimitry Andric 830b57cec5SDimitry Andric // Generate LoopInfo from it. 848bcb0991SDimitry Andric OwnedMLI = std::make_unique<MachineLoopInfo>(); 850b57cec5SDimitry Andric OwnedMLI->getBase().analyze(MDT->getBase()); 860b57cec5SDimitry Andric MLI = OwnedMLI.get(); 870b57cec5SDimitry Andric } 880b57cec5SDimitry Andric 898bcb0991SDimitry Andric OwnedMBFI = std::make_unique<MachineBlockFrequencyInfo>(); 900b57cec5SDimitry Andric OwnedMBFI->calculate(*MF, MBPI, *MLI); 91*81ad6265SDimitry Andric return *OwnedMBFI; 920b57cec5SDimitry Andric } 930b57cec5SDimitry Andric 940b57cec5SDimitry Andric bool LazyMachineBlockFrequencyInfoPass::runOnMachineFunction( 950b57cec5SDimitry Andric MachineFunction &F) { 960b57cec5SDimitry Andric MF = &F; 970b57cec5SDimitry Andric return false; 980b57cec5SDimitry Andric } 99