10b57cec5SDimitry Andric ///===- MachineOptimizationRemarkEmitter.cpp - Opt Diagnostic -*- C++ -*---===//
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 /// Optimization diagnostic interfaces for machine passes. It's packaged as an
100b57cec5SDimitry Andric /// analysis pass so that by using this service passes become dependent on MBFI
110b57cec5SDimitry Andric /// as well. MBFI is used to compute the "hotness" of the diagnostic message.
120b57cec5SDimitry Andric ///
130b57cec5SDimitry Andric ///===---------------------------------------------------------------------===//
140b57cec5SDimitry Andric
150b57cec5SDimitry Andric #include "llvm/CodeGen/MachineOptimizationRemarkEmitter.h"
160b57cec5SDimitry Andric #include "llvm/CodeGen/LazyMachineBlockFrequencyInfo.h"
170b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstr.h"
180b57cec5SDimitry Andric #include "llvm/IR/DiagnosticInfo.h"
190b57cec5SDimitry Andric #include "llvm/IR/LLVMContext.h"
20480093f4SDimitry Andric #include "llvm/InitializePasses.h"
210b57cec5SDimitry Andric
220b57cec5SDimitry Andric using namespace llvm;
230b57cec5SDimitry Andric
MachineArgument(StringRef MKey,const MachineInstr & MI)240b57cec5SDimitry Andric DiagnosticInfoMIROptimization::MachineArgument::MachineArgument(
250b57cec5SDimitry Andric StringRef MKey, const MachineInstr &MI)
260b57cec5SDimitry Andric : Argument() {
275ffd83dbSDimitry Andric Key = std::string(MKey);
280b57cec5SDimitry Andric
290b57cec5SDimitry Andric raw_string_ostream OS(Val);
300b57cec5SDimitry Andric MI.print(OS, /*IsStandalone=*/true, /*SkipOpers=*/false,
310b57cec5SDimitry Andric /*SkipDebugLoc=*/true);
320b57cec5SDimitry Andric }
330b57cec5SDimitry Andric
340b57cec5SDimitry Andric Optional<uint64_t>
computeHotness(const MachineBasicBlock & MBB)350b57cec5SDimitry Andric MachineOptimizationRemarkEmitter::computeHotness(const MachineBasicBlock &MBB) {
360b57cec5SDimitry Andric if (!MBFI)
370b57cec5SDimitry Andric return None;
380b57cec5SDimitry Andric
390b57cec5SDimitry Andric return MBFI->getBlockProfileCount(&MBB);
400b57cec5SDimitry Andric }
410b57cec5SDimitry Andric
computeHotness(DiagnosticInfoMIROptimization & Remark)420b57cec5SDimitry Andric void MachineOptimizationRemarkEmitter::computeHotness(
430b57cec5SDimitry Andric DiagnosticInfoMIROptimization &Remark) {
440b57cec5SDimitry Andric const MachineBasicBlock *MBB = Remark.getBlock();
450b57cec5SDimitry Andric if (MBB)
460b57cec5SDimitry Andric Remark.setHotness(computeHotness(*MBB));
470b57cec5SDimitry Andric }
480b57cec5SDimitry Andric
emit(DiagnosticInfoOptimizationBase & OptDiagCommon)490b57cec5SDimitry Andric void MachineOptimizationRemarkEmitter::emit(
500b57cec5SDimitry Andric DiagnosticInfoOptimizationBase &OptDiagCommon) {
510b57cec5SDimitry Andric auto &OptDiag = cast<DiagnosticInfoMIROptimization>(OptDiagCommon);
520b57cec5SDimitry Andric computeHotness(OptDiag);
530b57cec5SDimitry Andric
540b57cec5SDimitry Andric LLVMContext &Ctx = MF.getFunction().getContext();
550b57cec5SDimitry Andric
560b57cec5SDimitry Andric // Only emit it if its hotness meets the threshold.
570b57cec5SDimitry Andric if (OptDiag.getHotness().getValueOr(0) <
580b57cec5SDimitry Andric Ctx.getDiagnosticsHotnessThreshold()) {
590b57cec5SDimitry Andric return;
600b57cec5SDimitry Andric }
610b57cec5SDimitry Andric
620b57cec5SDimitry Andric Ctx.diagnose(OptDiag);
630b57cec5SDimitry Andric }
640b57cec5SDimitry Andric
MachineOptimizationRemarkEmitterPass()650b57cec5SDimitry Andric MachineOptimizationRemarkEmitterPass::MachineOptimizationRemarkEmitterPass()
660b57cec5SDimitry Andric : MachineFunctionPass(ID) {
670b57cec5SDimitry Andric initializeMachineOptimizationRemarkEmitterPassPass(
680b57cec5SDimitry Andric *PassRegistry::getPassRegistry());
690b57cec5SDimitry Andric }
700b57cec5SDimitry Andric
runOnMachineFunction(MachineFunction & MF)710b57cec5SDimitry Andric bool MachineOptimizationRemarkEmitterPass::runOnMachineFunction(
720b57cec5SDimitry Andric MachineFunction &MF) {
730b57cec5SDimitry Andric MachineBlockFrequencyInfo *MBFI;
740b57cec5SDimitry Andric
750b57cec5SDimitry Andric if (MF.getFunction().getContext().getDiagnosticsHotnessRequested())
760b57cec5SDimitry Andric MBFI = &getAnalysis<LazyMachineBlockFrequencyInfoPass>().getBFI();
770b57cec5SDimitry Andric else
780b57cec5SDimitry Andric MBFI = nullptr;
790b57cec5SDimitry Andric
808bcb0991SDimitry Andric ORE = std::make_unique<MachineOptimizationRemarkEmitter>(MF, MBFI);
810b57cec5SDimitry Andric return false;
820b57cec5SDimitry Andric }
830b57cec5SDimitry Andric
getAnalysisUsage(AnalysisUsage & AU) const840b57cec5SDimitry Andric void MachineOptimizationRemarkEmitterPass::getAnalysisUsage(
850b57cec5SDimitry Andric AnalysisUsage &AU) const {
860b57cec5SDimitry Andric AU.addRequired<LazyMachineBlockFrequencyInfoPass>();
870b57cec5SDimitry Andric AU.setPreservesAll();
880b57cec5SDimitry Andric MachineFunctionPass::getAnalysisUsage(AU);
890b57cec5SDimitry Andric }
900b57cec5SDimitry Andric
910b57cec5SDimitry Andric char MachineOptimizationRemarkEmitterPass::ID = 0;
920b57cec5SDimitry Andric static const char ore_name[] = "Machine Optimization Remark Emitter";
930b57cec5SDimitry Andric #define ORE_NAME "machine-opt-remark-emitter"
940b57cec5SDimitry Andric
950b57cec5SDimitry Andric INITIALIZE_PASS_BEGIN(MachineOptimizationRemarkEmitterPass, ORE_NAME, ore_name,
96*5f7ddb14SDimitry Andric true, true)
970b57cec5SDimitry Andric INITIALIZE_PASS_DEPENDENCY(LazyMachineBlockFrequencyInfoPass)
980b57cec5SDimitry Andric INITIALIZE_PASS_END(MachineOptimizationRemarkEmitterPass, ORE_NAME, ore_name,
99*5f7ddb14SDimitry Andric true, true)
100