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*480093f4SDimitry Andric #include "llvm/InitializePasses.h" 180b57cec5SDimitry Andric 190b57cec5SDimitry Andric using namespace llvm; 200b57cec5SDimitry Andric 210b57cec5SDimitry Andric #define DEBUG_TYPE "lazy-machine-block-freq" 220b57cec5SDimitry Andric 230b57cec5SDimitry Andric INITIALIZE_PASS_BEGIN(LazyMachineBlockFrequencyInfoPass, DEBUG_TYPE, 240b57cec5SDimitry Andric "Lazy Machine Block Frequency Analysis", true, true) 250b57cec5SDimitry Andric INITIALIZE_PASS_DEPENDENCY(MachineBranchProbabilityInfo) 260b57cec5SDimitry Andric INITIALIZE_PASS_DEPENDENCY(MachineLoopInfo) 270b57cec5SDimitry Andric INITIALIZE_PASS_END(LazyMachineBlockFrequencyInfoPass, DEBUG_TYPE, 280b57cec5SDimitry Andric "Lazy Machine Block Frequency Analysis", true, true) 290b57cec5SDimitry Andric 300b57cec5SDimitry Andric char LazyMachineBlockFrequencyInfoPass::ID = 0; 310b57cec5SDimitry Andric 320b57cec5SDimitry Andric LazyMachineBlockFrequencyInfoPass::LazyMachineBlockFrequencyInfoPass() 330b57cec5SDimitry Andric : MachineFunctionPass(ID) { 340b57cec5SDimitry Andric initializeLazyMachineBlockFrequencyInfoPassPass( 350b57cec5SDimitry Andric *PassRegistry::getPassRegistry()); 360b57cec5SDimitry Andric } 370b57cec5SDimitry Andric 380b57cec5SDimitry Andric void LazyMachineBlockFrequencyInfoPass::print(raw_ostream &OS, 390b57cec5SDimitry Andric const Module *M) const { 400b57cec5SDimitry Andric getBFI().print(OS, M); 410b57cec5SDimitry Andric } 420b57cec5SDimitry Andric 430b57cec5SDimitry Andric void LazyMachineBlockFrequencyInfoPass::getAnalysisUsage( 440b57cec5SDimitry Andric AnalysisUsage &AU) const { 450b57cec5SDimitry Andric AU.addRequired<MachineBranchProbabilityInfo>(); 460b57cec5SDimitry Andric AU.setPreservesAll(); 470b57cec5SDimitry Andric MachineFunctionPass::getAnalysisUsage(AU); 480b57cec5SDimitry Andric } 490b57cec5SDimitry Andric 500b57cec5SDimitry Andric void LazyMachineBlockFrequencyInfoPass::releaseMemory() { 510b57cec5SDimitry Andric OwnedMBFI.reset(); 520b57cec5SDimitry Andric OwnedMLI.reset(); 530b57cec5SDimitry Andric OwnedMDT.reset(); 540b57cec5SDimitry Andric } 550b57cec5SDimitry Andric 560b57cec5SDimitry Andric MachineBlockFrequencyInfo & 570b57cec5SDimitry Andric LazyMachineBlockFrequencyInfoPass::calculateIfNotAvailable() const { 580b57cec5SDimitry Andric auto *MBFI = getAnalysisIfAvailable<MachineBlockFrequencyInfo>(); 590b57cec5SDimitry Andric if (MBFI) { 600b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "MachineBlockFrequencyInfo is available\n"); 610b57cec5SDimitry Andric return *MBFI; 620b57cec5SDimitry Andric } 630b57cec5SDimitry Andric 640b57cec5SDimitry Andric auto &MBPI = getAnalysis<MachineBranchProbabilityInfo>(); 650b57cec5SDimitry Andric auto *MLI = getAnalysisIfAvailable<MachineLoopInfo>(); 660b57cec5SDimitry Andric auto *MDT = getAnalysisIfAvailable<MachineDominatorTree>(); 670b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Building MachineBlockFrequencyInfo on the fly\n"); 680b57cec5SDimitry Andric LLVM_DEBUG(if (MLI) dbgs() << "LoopInfo is available\n"); 690b57cec5SDimitry Andric 700b57cec5SDimitry Andric if (!MLI) { 710b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Building LoopInfo on the fly\n"); 720b57cec5SDimitry Andric // First create a dominator tree. 730b57cec5SDimitry Andric LLVM_DEBUG(if (MDT) dbgs() << "DominatorTree is available\n"); 740b57cec5SDimitry Andric 750b57cec5SDimitry Andric if (!MDT) { 760b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Building DominatorTree on the fly\n"); 778bcb0991SDimitry Andric OwnedMDT = std::make_unique<MachineDominatorTree>(); 780b57cec5SDimitry Andric OwnedMDT->getBase().recalculate(*MF); 790b57cec5SDimitry Andric MDT = OwnedMDT.get(); 800b57cec5SDimitry Andric } 810b57cec5SDimitry Andric 820b57cec5SDimitry Andric // Generate LoopInfo from it. 838bcb0991SDimitry Andric OwnedMLI = std::make_unique<MachineLoopInfo>(); 840b57cec5SDimitry Andric OwnedMLI->getBase().analyze(MDT->getBase()); 850b57cec5SDimitry Andric MLI = OwnedMLI.get(); 860b57cec5SDimitry Andric } 870b57cec5SDimitry Andric 888bcb0991SDimitry Andric OwnedMBFI = std::make_unique<MachineBlockFrequencyInfo>(); 890b57cec5SDimitry Andric OwnedMBFI->calculate(*MF, MBPI, *MLI); 900b57cec5SDimitry Andric return *OwnedMBFI.get(); 910b57cec5SDimitry Andric } 920b57cec5SDimitry Andric 930b57cec5SDimitry Andric bool LazyMachineBlockFrequencyInfoPass::runOnMachineFunction( 940b57cec5SDimitry Andric MachineFunction &F) { 950b57cec5SDimitry Andric MF = &F; 960b57cec5SDimitry Andric return false; 970b57cec5SDimitry Andric } 98