2017-01-26 07:20:33 +08:00
|
|
|
///===- MachineOptimizationRemarkEmitter.cpp - Opt Diagnostic -*- C++ -*---===//
|
|
|
|
///
|
2019-01-19 16:50:56 +08:00
|
|
|
/// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
|
|
/// See https://llvm.org/LICENSE.txt for license information.
|
|
|
|
/// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
2017-01-26 07:20:33 +08:00
|
|
|
///
|
|
|
|
///===---------------------------------------------------------------------===//
|
|
|
|
/// \file
|
|
|
|
/// Optimization diagnostic interfaces for machine passes. It's packaged as an
|
|
|
|
/// analysis pass so that by using this service passes become dependent on MBFI
|
|
|
|
/// as well. MBFI is used to compute the "hotness" of the diagnostic message.
|
|
|
|
///
|
|
|
|
///===---------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "llvm/CodeGen/MachineOptimizationRemarkEmitter.h"
|
2017-02-15 01:21:09 +08:00
|
|
|
#include "llvm/CodeGen/LazyMachineBlockFrequencyInfo.h"
|
2017-02-24 05:05:33 +08:00
|
|
|
#include "llvm/CodeGen/MachineInstr.h"
|
2017-01-26 07:20:33 +08:00
|
|
|
#include "llvm/IR/DiagnosticInfo.h"
|
|
|
|
#include "llvm/IR/LLVMContext.h"
|
Sink all InitializePasses.h includes
This file lists every pass in LLVM, and is included by Pass.h, which is
very popular. Every time we add, remove, or rename a pass in LLVM, it
caused lots of recompilation.
I found this fact by looking at this table, which is sorted by the
number of times a file was changed over the last 100,000 git commits
multiplied by the number of object files that depend on it in the
current checkout:
recompiles touches affected_files header
342380 95 3604 llvm/include/llvm/ADT/STLExtras.h
314730 234 1345 llvm/include/llvm/InitializePasses.h
307036 118 2602 llvm/include/llvm/ADT/APInt.h
213049 59 3611 llvm/include/llvm/Support/MathExtras.h
170422 47 3626 llvm/include/llvm/Support/Compiler.h
162225 45 3605 llvm/include/llvm/ADT/Optional.h
158319 63 2513 llvm/include/llvm/ADT/Triple.h
140322 39 3598 llvm/include/llvm/ADT/StringRef.h
137647 59 2333 llvm/include/llvm/Support/Error.h
131619 73 1803 llvm/include/llvm/Support/FileSystem.h
Before this change, touching InitializePasses.h would cause 1345 files
to recompile. After this change, touching it only causes 550 compiles in
an incremental rebuild.
Reviewers: bkramer, asbirlea, bollu, jdoerfert
Differential Revision: https://reviews.llvm.org/D70211
2019-11-14 05:15:01 +08:00
|
|
|
#include "llvm/InitializePasses.h"
|
2017-01-26 07:20:33 +08:00
|
|
|
|
|
|
|
using namespace llvm;
|
|
|
|
|
2017-02-24 05:05:33 +08:00
|
|
|
DiagnosticInfoMIROptimization::MachineArgument::MachineArgument(
|
|
|
|
StringRef MKey, const MachineInstr &MI)
|
|
|
|
: Argument() {
|
|
|
|
Key = MKey;
|
|
|
|
|
|
|
|
raw_string_ostream OS(Val);
|
2018-01-19 02:05:15 +08:00
|
|
|
MI.print(OS, /*IsStandalone=*/true, /*SkipOpers=*/false,
|
|
|
|
/*SkipDebugLoc=*/true);
|
2017-02-24 05:05:33 +08:00
|
|
|
}
|
|
|
|
|
2017-01-26 07:20:33 +08:00
|
|
|
Optional<uint64_t>
|
|
|
|
MachineOptimizationRemarkEmitter::computeHotness(const MachineBasicBlock &MBB) {
|
|
|
|
if (!MBFI)
|
|
|
|
return None;
|
|
|
|
|
|
|
|
return MBFI->getBlockProfileCount(&MBB);
|
|
|
|
}
|
|
|
|
|
|
|
|
void MachineOptimizationRemarkEmitter::computeHotness(
|
|
|
|
DiagnosticInfoMIROptimization &Remark) {
|
|
|
|
const MachineBasicBlock *MBB = Remark.getBlock();
|
|
|
|
if (MBB)
|
|
|
|
Remark.setHotness(computeHotness(*MBB));
|
|
|
|
}
|
|
|
|
|
|
|
|
void MachineOptimizationRemarkEmitter::emit(
|
|
|
|
DiagnosticInfoOptimizationBase &OptDiagCommon) {
|
|
|
|
auto &OptDiag = cast<DiagnosticInfoMIROptimization>(OptDiagCommon);
|
|
|
|
computeHotness(OptDiag);
|
|
|
|
|
2017-12-16 06:22:58 +08:00
|
|
|
LLVMContext &Ctx = MF.getFunction().getContext();
|
2017-07-01 07:14:53 +08:00
|
|
|
|
2017-12-02 04:41:38 +08:00
|
|
|
// Only emit it if its hotness meets the threshold.
|
|
|
|
if (OptDiag.getHotness().getValueOr(0) <
|
|
|
|
Ctx.getDiagnosticsHotnessThreshold()) {
|
2017-07-01 07:14:53 +08:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2017-10-04 23:18:07 +08:00
|
|
|
Ctx.diagnose(OptDiag);
|
2017-01-26 07:20:33 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
MachineOptimizationRemarkEmitterPass::MachineOptimizationRemarkEmitterPass()
|
|
|
|
: MachineFunctionPass(ID) {
|
|
|
|
initializeMachineOptimizationRemarkEmitterPassPass(
|
|
|
|
*PassRegistry::getPassRegistry());
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MachineOptimizationRemarkEmitterPass::runOnMachineFunction(
|
|
|
|
MachineFunction &MF) {
|
|
|
|
MachineBlockFrequencyInfo *MBFI;
|
|
|
|
|
2017-12-16 06:22:58 +08:00
|
|
|
if (MF.getFunction().getContext().getDiagnosticsHotnessRequested())
|
2017-02-15 01:21:09 +08:00
|
|
|
MBFI = &getAnalysis<LazyMachineBlockFrequencyInfoPass>().getBFI();
|
2017-01-26 07:20:33 +08:00
|
|
|
else
|
|
|
|
MBFI = nullptr;
|
|
|
|
|
2019-08-15 23:54:37 +08:00
|
|
|
ORE = std::make_unique<MachineOptimizationRemarkEmitter>(MF, MBFI);
|
2017-01-26 07:20:33 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
void MachineOptimizationRemarkEmitterPass::getAnalysisUsage(
|
|
|
|
AnalysisUsage &AU) const {
|
2017-02-24 01:30:01 +08:00
|
|
|
AU.addRequired<LazyMachineBlockFrequencyInfoPass>();
|
2017-01-26 07:20:33 +08:00
|
|
|
AU.setPreservesAll();
|
|
|
|
MachineFunctionPass::getAnalysisUsage(AU);
|
|
|
|
}
|
|
|
|
|
|
|
|
char MachineOptimizationRemarkEmitterPass::ID = 0;
|
|
|
|
static const char ore_name[] = "Machine Optimization Remark Emitter";
|
|
|
|
#define ORE_NAME "machine-opt-remark-emitter"
|
|
|
|
|
|
|
|
INITIALIZE_PASS_BEGIN(MachineOptimizationRemarkEmitterPass, ORE_NAME, ore_name,
|
|
|
|
false, true)
|
2017-02-24 01:30:01 +08:00
|
|
|
INITIALIZE_PASS_DEPENDENCY(LazyMachineBlockFrequencyInfoPass)
|
2017-01-26 07:20:33 +08:00
|
|
|
INITIALIZE_PASS_END(MachineOptimizationRemarkEmitterPass, ORE_NAME, ore_name,
|
|
|
|
false, true)
|