blob: 91205d2f01e59ff4815b1a29e82f6e2583063af2 [file] [log] [blame]
Adam Nemeta9640662017-01-25 23:20:33 +00001///===- MachineOptimizationRemarkEmitter.cpp - Opt Diagnostic -*- C++ -*---===//
2///
3/// The LLVM Compiler Infrastructure
4///
5/// This file is distributed under the University of Illinois Open Source
6/// License. See LICENSE.TXT for details.
7///
8///===---------------------------------------------------------------------===//
9/// \file
10/// Optimization diagnostic interfaces for machine passes. It's packaged as an
11/// analysis pass so that by using this service passes become dependent on MBFI
12/// as well. MBFI is used to compute the "hotness" of the diagnostic message.
13///
14///===---------------------------------------------------------------------===//
15
16#include "llvm/CodeGen/MachineOptimizationRemarkEmitter.h"
Adam Nemetbbb141c2017-02-14 17:21:09 +000017#include "llvm/CodeGen/LazyMachineBlockFrequencyInfo.h"
Ahmed Bougacha27273972017-02-23 21:05:33 +000018#include "llvm/CodeGen/MachineInstr.h"
Adam Nemeta9640662017-01-25 23:20:33 +000019#include "llvm/IR/DebugInfo.h"
20#include "llvm/IR/DiagnosticInfo.h"
21#include "llvm/IR/LLVMContext.h"
22
23using namespace llvm;
24
Ahmed Bougacha27273972017-02-23 21:05:33 +000025DiagnosticInfoMIROptimization::MachineArgument::MachineArgument(
26 StringRef MKey, const MachineInstr &MI)
27 : Argument() {
28 Key = MKey;
29
30 raw_string_ostream OS(Val);
31 MI.print(OS, /*SkipOpers=*/false, /*SkipDebugLoc=*/true);
32}
33
Adam Nemeta9640662017-01-25 23:20:33 +000034Optional<uint64_t>
35MachineOptimizationRemarkEmitter::computeHotness(const MachineBasicBlock &MBB) {
36 if (!MBFI)
37 return None;
38
39 return MBFI->getBlockProfileCount(&MBB);
40}
41
42void MachineOptimizationRemarkEmitter::computeHotness(
43 DiagnosticInfoMIROptimization &Remark) {
44 const MachineBasicBlock *MBB = Remark.getBlock();
45 if (MBB)
46 Remark.setHotness(computeHotness(*MBB));
47}
48
49void MachineOptimizationRemarkEmitter::emit(
50 DiagnosticInfoOptimizationBase &OptDiagCommon) {
51 auto &OptDiag = cast<DiagnosticInfoMIROptimization>(OptDiagCommon);
52 computeHotness(OptDiag);
53
54 LLVMContext &Ctx = MF.getFunction()->getContext();
Brian Gesiak4ef3daa2017-06-30 23:14:53 +000055
Adam Nemet9303f622017-12-01 20:41:38 +000056 // Only emit it if its hotness meets the threshold.
57 if (OptDiag.getHotness().getValueOr(0) <
58 Ctx.getDiagnosticsHotnessThreshold()) {
Brian Gesiak4ef3daa2017-06-30 23:14:53 +000059 return;
60 }
61
Adam Nemetf1bea0a2017-10-04 15:18:07 +000062 Ctx.diagnose(OptDiag);
Adam Nemeta9640662017-01-25 23:20:33 +000063}
64
65MachineOptimizationRemarkEmitterPass::MachineOptimizationRemarkEmitterPass()
66 : MachineFunctionPass(ID) {
67 initializeMachineOptimizationRemarkEmitterPassPass(
68 *PassRegistry::getPassRegistry());
69}
70
71bool MachineOptimizationRemarkEmitterPass::runOnMachineFunction(
72 MachineFunction &MF) {
73 MachineBlockFrequencyInfo *MBFI;
74
Brian Gesiak44e5f6c2017-06-30 18:13:59 +000075 if (MF.getFunction()->getContext().getDiagnosticsHotnessRequested())
Adam Nemetbbb141c2017-02-14 17:21:09 +000076 MBFI = &getAnalysis<LazyMachineBlockFrequencyInfoPass>().getBFI();
Adam Nemeta9640662017-01-25 23:20:33 +000077 else
78 MBFI = nullptr;
79
80 ORE = llvm::make_unique<MachineOptimizationRemarkEmitter>(MF, MBFI);
81 return false;
82}
83
84void MachineOptimizationRemarkEmitterPass::getAnalysisUsage(
85 AnalysisUsage &AU) const {
Adam Nemetb516cf32017-02-23 17:30:01 +000086 AU.addRequired<LazyMachineBlockFrequencyInfoPass>();
Adam Nemeta9640662017-01-25 23:20:33 +000087 AU.setPreservesAll();
88 MachineFunctionPass::getAnalysisUsage(AU);
89}
90
91char MachineOptimizationRemarkEmitterPass::ID = 0;
92static const char ore_name[] = "Machine Optimization Remark Emitter";
93#define ORE_NAME "machine-opt-remark-emitter"
94
95INITIALIZE_PASS_BEGIN(MachineOptimizationRemarkEmitterPass, ORE_NAME, ore_name,
96 false, true)
Adam Nemetb516cf32017-02-23 17:30:01 +000097INITIALIZE_PASS_DEPENDENCY(LazyMachineBlockFrequencyInfoPass)
Adam Nemeta9640662017-01-25 23:20:33 +000098INITIALIZE_PASS_END(MachineOptimizationRemarkEmitterPass, ORE_NAME, ore_name,
99 false, true)