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