From db7c2e63ef233d3c5b512e61197e9a1a03a06d25 Mon Sep 17 00:00:00 2001 From: Francis Visoiu Mistrih Date: Wed, 6 Mar 2019 15:20:13 +0000 Subject: [PATCH] Reland "[Remarks] Refactor remark diagnostic emission in a RemarkStreamer" This allows us to store more info about where we're emitting the remarks without cluttering LLVMContext. This is needed for future support for the remark section. Differential Revision: https://reviews.llvm.org/D58996 Original llvm-svn: 355507 llvm-svn: 355514 --- .../llvm/Analysis/OptimizationRemarkEmitter.h | 4 +- .../MachineOptimizationRemarkEmitter.h | 14 +++--- include/llvm/IR/LLVMContext.h | 33 +++++++------- include/llvm/IR/RemarkStreamer.h | 44 +++++++++++++++++++ lib/IR/CMakeLists.txt | 1 + lib/IR/LLVMContext.cpp | 26 +++++------ lib/IR/LLVMContextImpl.h | 3 +- lib/IR/RemarkStreamer.cpp | 28 ++++++++++++ lib/LTO/LTO.cpp | 5 ++- tools/llc/llc.cpp | 5 ++- tools/opt/opt.cpp | 5 ++- 11 files changed, 126 insertions(+), 42 deletions(-) create mode 100644 include/llvm/IR/RemarkStreamer.h create mode 100644 lib/IR/RemarkStreamer.cpp diff --git a/include/llvm/Analysis/OptimizationRemarkEmitter.h b/include/llvm/Analysis/OptimizationRemarkEmitter.h index a2b29555ce5..7b8404404ce 100644 --- a/include/llvm/Analysis/OptimizationRemarkEmitter.h +++ b/include/llvm/Analysis/OptimizationRemarkEmitter.h @@ -77,7 +77,7 @@ public: // remarks enabled. We can't currently check whether remarks are requested // for the calling pass since that requires actually building the remark. - if (F->getContext().getDiagnosticsOutputFile() || + if (F->getContext().getRemarkStreamer() || F->getContext().getDiagHandlerPtr()->isAnyRemarkEnabled()) { auto R = RemarkBuilder(); emit((DiagnosticInfoOptimizationBase &)R); @@ -92,7 +92,7 @@ public: /// provide more context so that non-trivial false positives can be quickly /// detected by the user. bool allowExtraAnalysis(StringRef PassName) const { - return (F->getContext().getDiagnosticsOutputFile() || + return (F->getContext().getRemarkStreamer() || F->getContext().getDiagHandlerPtr()->isAnyRemarkEnabled(PassName)); } diff --git a/include/llvm/CodeGen/MachineOptimizationRemarkEmitter.h b/include/llvm/CodeGen/MachineOptimizationRemarkEmitter.h index 9a0fd562536..a461a299917 100644 --- a/include/llvm/CodeGen/MachineOptimizationRemarkEmitter.h +++ b/include/llvm/CodeGen/MachineOptimizationRemarkEmitter.h @@ -158,9 +158,10 @@ public: /// (1) to filter trivial false positives or (2) to provide more context so /// that non-trivial false positives can be quickly detected by the user. bool allowExtraAnalysis(StringRef PassName) const { - return (MF.getFunction().getContext().getDiagnosticsOutputFile() || - MF.getFunction().getContext() - .getDiagHandlerPtr()->isAnyRemarkEnabled(PassName)); + return ( + MF.getFunction().getContext().getRemarkStreamer() || + MF.getFunction().getContext().getDiagHandlerPtr()->isAnyRemarkEnabled( + PassName)); } /// Take a lambda that returns a remark which will be emitted. Second @@ -171,8 +172,11 @@ public: // remarks enabled. We can't currently check whether remarks are requested // for the calling pass since that requires actually building the remark. - if (MF.getFunction().getContext().getDiagnosticsOutputFile() || - MF.getFunction().getContext().getDiagHandlerPtr()->isAnyRemarkEnabled()) { + if (MF.getFunction().getContext().getRemarkStreamer() || + MF.getFunction() + .getContext() + .getDiagHandlerPtr() + ->isAnyRemarkEnabled()) { auto R = RemarkBuilder(); emit((DiagnosticInfoOptimizationBase &)R); } diff --git a/include/llvm/IR/LLVMContext.h b/include/llvm/IR/LLVMContext.h index f28480ee4c6..f737801fffb 100644 --- a/include/llvm/IR/LLVMContext.h +++ b/include/llvm/IR/LLVMContext.h @@ -35,12 +35,8 @@ template class SmallVectorImpl; class SMDiagnostic; class StringRef; class Twine; - -namespace yaml { - -class Output; - -} // end namespace yaml +class RemarkStreamer; +class raw_ostream; namespace SyncScope { @@ -246,16 +242,23 @@ public: /// included in optimization diagnostics. void setDiagnosticsHotnessThreshold(uint64_t Threshold); - /// Return the YAML file used by the backend to save optimization - /// diagnostics. If null, diagnostics are not saved in a file but only - /// emitted via the diagnostic handler. - yaml::Output *getDiagnosticsOutputFile(); - /// Set the diagnostics output file used for optimization diagnostics. + /// Return the streamer used by the backend to save remark diagnostics. If it + /// does not exist, diagnostics are not saved in a file but only emitted via + /// the diagnostic handler. + RemarkStreamer *getRemarkStreamer(); + const RemarkStreamer *getRemarkStreamer() const; + + /// Set the diagnostics output used for optimization diagnostics. + /// This filename may be embedded in a section for tools to find the + /// diagnostics whenever they're needed. /// - /// By default or if invoked with null, diagnostics are not saved in a file - /// but only emitted via the diagnostic handler. Even if an output file is - /// set, the handler is invoked for each diagnostic message. - void setDiagnosticsOutputFile(std::unique_ptr F); + /// If a remark streamer is already set, it will be replaced with + /// \p RemarkStreamer. + /// + /// By default, diagnostics are not saved in a file but only emitted via the + /// diagnostic handler. Even if an output file is set, the handler is invoked + /// for each diagnostic message. + void setRemarkStreamer(std::unique_ptr RemarkStreamer); /// Get the prefix that should be printed in front of a diagnostic of /// the given \p Severity diff --git a/include/llvm/IR/RemarkStreamer.h b/include/llvm/IR/RemarkStreamer.h new file mode 100644 index 00000000000..38baa2b3b4b --- /dev/null +++ b/include/llvm/IR/RemarkStreamer.h @@ -0,0 +1,44 @@ +//===- llvm/IR/RemarkStreamer.h - Remark Streamer ---------------*- C++ -*-===// +// +// 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 +// +//===----------------------------------------------------------------------===// +// +// This file declares the main interface for outputting remarks. +// +//===----------------------------------------------------------------------===// + +#ifndef LLVM_IR_REMARKSTREAMER_H +#define LLVM_IR_REMARKSTREAMER_H + +#include "llvm/IR/DiagnosticInfo.h" +#include "llvm/Support/YAMLTraits.h" +#include "llvm/Support/raw_ostream.h" +#include +#include + +namespace llvm { +/// Streamer for remarks. +class RemarkStreamer { + /// The filename that the remark diagnostics are emitted to. + const std::string Filename; + /// The open raw_ostream that the remark diagnostics are emitted to. + raw_ostream &OS; + + /// The YAML streamer. + yaml::Output YAMLOutput; + +public: + RemarkStreamer(StringRef Filename, raw_ostream& OS); + /// Return the filename that the remark diagnostics are emitted to. + StringRef getFilename() const { return Filename; } + /// Return stream that the remark diagnostics are emitted to. + raw_ostream &getStream() { return OS; } + /// Emit a diagnostic through the streamer. + void emit(const DiagnosticInfoOptimizationBase &Diag); +}; +} // end namespace llvm + +#endif // LLVM_IR_REMARKSTREAMER_H diff --git a/lib/IR/CMakeLists.txt b/lib/IR/CMakeLists.txt index 2ea01b8a767..b1293194800 100644 --- a/lib/IR/CMakeLists.txt +++ b/lib/IR/CMakeLists.txt @@ -46,6 +46,7 @@ add_llvm_library(LLVMCore PassManager.cpp PassRegistry.cpp PassTimingInfo.cpp + RemarkStreamer.cpp SafepointIRVerifier.cpp ProfileSummary.cpp Statepoint.cpp diff --git a/lib/IR/LLVMContext.cpp b/lib/IR/LLVMContext.cpp index 1cea21461f4..0fff76c7c9a 100644 --- a/lib/IR/LLVMContext.cpp +++ b/lib/IR/LLVMContext.cpp @@ -21,6 +21,7 @@ #include "llvm/IR/DiagnosticPrinter.h" #include "llvm/IR/Metadata.h" #include "llvm/IR/Module.h" +#include "llvm/IR/RemarkStreamer.h" #include "llvm/Support/Casting.h" #include "llvm/Support/ErrorHandling.h" #include "llvm/Support/raw_ostream.h" @@ -160,12 +161,15 @@ uint64_t LLVMContext::getDiagnosticsHotnessThreshold() const { return pImpl->DiagnosticsHotnessThreshold; } -yaml::Output *LLVMContext::getDiagnosticsOutputFile() { - return pImpl->DiagnosticsOutputFile.get(); +RemarkStreamer *LLVMContext::getRemarkStreamer() { + return pImpl->RemarkDiagStreamer.get(); } - -void LLVMContext::setDiagnosticsOutputFile(std::unique_ptr F) { - pImpl->DiagnosticsOutputFile = std::move(F); +const RemarkStreamer *LLVMContext::getRemarkStreamer() const { + return const_cast(this)->getRemarkStreamer(); +} +void LLVMContext::setRemarkStreamer( + std::unique_ptr RemarkStreamer) { + pImpl->RemarkDiagStreamer = std::move(RemarkStreamer); } DiagnosticHandler::DiagnosticHandlerTy @@ -228,14 +232,10 @@ LLVMContext::getDiagnosticMessagePrefix(DiagnosticSeverity Severity) { } void LLVMContext::diagnose(const DiagnosticInfo &DI) { - if (auto *OptDiagBase = dyn_cast(&DI)) { - yaml::Output *Out = getDiagnosticsOutputFile(); - if (Out) { - // For remarks the << operator takes a reference to a pointer. - auto *P = const_cast(OptDiagBase); - *Out << P; - } - } + if (auto *OptDiagBase = dyn_cast(&DI)) + if (RemarkStreamer *RS = getRemarkStreamer()) + RS->emit(*OptDiagBase); + // If there is a report handler, use it. if (pImpl->DiagHandler && (!pImpl->RespectDiagnosticFilters || isDiagnosticEnabled(DI)) && diff --git a/lib/IR/LLVMContextImpl.h b/lib/IR/LLVMContextImpl.h index f7038ace035..42dd471af9e 100644 --- a/lib/IR/LLVMContextImpl.h +++ b/lib/IR/LLVMContextImpl.h @@ -37,6 +37,7 @@ #include "llvm/IR/DerivedTypes.h" #include "llvm/IR/LLVMContext.h" #include "llvm/IR/Metadata.h" +#include "llvm/IR/RemarkStreamer.h" #include "llvm/IR/TrackingMDRef.h" #include "llvm/Support/Allocator.h" #include "llvm/Support/Casting.h" @@ -1226,7 +1227,7 @@ public: bool RespectDiagnosticFilters = false; bool DiagnosticsHotnessRequested = false; uint64_t DiagnosticsHotnessThreshold = 0; - std::unique_ptr DiagnosticsOutputFile; + std::unique_ptr RemarkDiagStreamer; LLVMContext::YieldCallbackTy YieldCallback = nullptr; void *YieldOpaqueHandle = nullptr; diff --git a/lib/IR/RemarkStreamer.cpp b/lib/IR/RemarkStreamer.cpp new file mode 100644 index 00000000000..0b983408e46 --- /dev/null +++ b/lib/IR/RemarkStreamer.cpp @@ -0,0 +1,28 @@ +//===- llvm/IR/RemarkStreamer.cpp - Remark Streamer -*- C++ -------------*-===// +// +// 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 +// +//===----------------------------------------------------------------------===// +// +// This file contains the implementation of the remark outputting as part of +// LLVMContext. +// +//===----------------------------------------------------------------------===// + +#include "llvm/IR/RemarkStreamer.h" + +using namespace llvm; + +RemarkStreamer::RemarkStreamer(StringRef Filename, raw_ostream &OS) + : Filename(Filename), OS(OS), + YAMLOutput(OS, reinterpret_cast(this)) { + assert(!Filename.empty() && "This needs to be a real filename."); +} + +void RemarkStreamer::emit(const DiagnosticInfoOptimizationBase &Diag) { + DiagnosticInfoOptimizationBase *DiagPtr = + const_cast(&Diag); + YAMLOutput << DiagPtr; +} diff --git a/lib/LTO/LTO.cpp b/lib/LTO/LTO.cpp index 8e0d532fa7e..f6e34c5d061 100644 --- a/lib/LTO/LTO.cpp +++ b/lib/LTO/LTO.cpp @@ -24,6 +24,7 @@ #include "llvm/IR/LegacyPassManager.h" #include "llvm/IR/Mangler.h" #include "llvm/IR/Metadata.h" +#include "llvm/IR/RemarkStreamer.h" #include "llvm/LTO/LTOBackend.h" #include "llvm/LTO/SummaryBasedOptimizations.h" #include "llvm/Linker/IRMover.h" @@ -1326,8 +1327,8 @@ lto::setupOptimizationRemarks(LLVMContext &Context, llvm::make_unique(Filename, EC, sys::fs::F_None); if (EC) return errorCodeToError(EC); - Context.setDiagnosticsOutputFile( - llvm::make_unique(DiagnosticFile->os())); + Context.setRemarkStreamer( + llvm::make_unique(Filename, DiagnosticFile->os())); DiagnosticFile->keep(); return std::move(DiagnosticFile); } diff --git a/tools/llc/llc.cpp b/tools/llc/llc.cpp index ae51eef9e9c..a566d15cd81 100644 --- a/tools/llc/llc.cpp +++ b/tools/llc/llc.cpp @@ -31,6 +31,7 @@ #include "llvm/IR/LLVMContext.h" #include "llvm/IR/LegacyPassManager.h" #include "llvm/IR/Module.h" +#include "llvm/IR/RemarkStreamer.h" #include "llvm/IR/Verifier.h" #include "llvm/IRReader/IRReader.h" #include "llvm/MC/SubtargetFeature.h" @@ -333,8 +334,8 @@ int main(int argc, char **argv) { WithColor::error(errs(), argv[0]) << EC.message() << '\n'; return 1; } - Context.setDiagnosticsOutputFile( - llvm::make_unique(YamlFile->os())); + Context.setRemarkStreamer( + llvm::make_unique(RemarksFilename, YamlFile->os())); } if (InputLanguage != "" && InputLanguage != "ir" && diff --git a/tools/opt/opt.cpp b/tools/opt/opt.cpp index 2d80b479735..06745b0cca0 100644 --- a/tools/opt/opt.cpp +++ b/tools/opt/opt.cpp @@ -33,6 +33,7 @@ #include "llvm/IR/LegacyPassManager.h" #include "llvm/IR/LegacyPassNameParser.h" #include "llvm/IR/Module.h" +#include "llvm/IR/RemarkStreamer.h" #include "llvm/IR/Verifier.h" #include "llvm/IRReader/IRReader.h" #include "llvm/InitializePasses.h" @@ -563,8 +564,8 @@ int main(int argc, char **argv) { errs() << EC.message() << '\n'; return 1; } - Context.setDiagnosticsOutputFile( - llvm::make_unique(OptRemarkFile->os())); + Context.setRemarkStreamer(llvm::make_unique( + RemarksFilename, OptRemarkFile->os())); } // Load the input module...