xref: /freebsd/contrib/llvm-project/llvm/lib/IR/DiagnosticHandler.cpp (revision 81ad626541db97eb356e2c1d4a20eb2a26a766ab)
10b57cec5SDimitry Andric //===- DiagnosticHandler.h - DiagnosticHandler class for LLVM -------------===//
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 //
90b57cec5SDimitry Andric //
100b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
110b57cec5SDimitry Andric #include "llvm/IR/DiagnosticHandler.h"
120b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h"
130b57cec5SDimitry Andric #include "llvm/Support/Regex.h"
140b57cec5SDimitry Andric 
150b57cec5SDimitry Andric using namespace llvm;
160b57cec5SDimitry Andric 
170b57cec5SDimitry Andric namespace {
180b57cec5SDimitry Andric 
190b57cec5SDimitry Andric /// Regular expression corresponding to the value given in one of the
200b57cec5SDimitry Andric /// -pass-remarks* command line flags. Passes whose name matches this regexp
210b57cec5SDimitry Andric /// will emit a diagnostic when calling the associated diagnostic function
220b57cec5SDimitry Andric /// (emitOptimizationRemark, emitOptimizationRemarkMissed or
230b57cec5SDimitry Andric /// emitOptimizationRemarkAnalysis).
240b57cec5SDimitry Andric struct PassRemarksOpt {
250b57cec5SDimitry Andric   std::shared_ptr<Regex> Pattern;
260b57cec5SDimitry Andric 
operator =__anon1f5ef57d0111::PassRemarksOpt270b57cec5SDimitry Andric   void operator=(const std::string &Val) {
280b57cec5SDimitry Andric     // Create a regexp object to match pass names for emitOptimizationRemark.
290b57cec5SDimitry Andric     if (!Val.empty()) {
300b57cec5SDimitry Andric       Pattern = std::make_shared<Regex>(Val);
310b57cec5SDimitry Andric       std::string RegexError;
320b57cec5SDimitry Andric       if (!Pattern->isValid(RegexError))
33349cc55cSDimitry Andric         report_fatal_error(Twine("Invalid regular expression '") + Val +
340b57cec5SDimitry Andric                                "' in -pass-remarks: " + RegexError,
350b57cec5SDimitry Andric                            false);
360b57cec5SDimitry Andric     }
370b57cec5SDimitry Andric   }
380b57cec5SDimitry Andric };
390b57cec5SDimitry Andric 
400b57cec5SDimitry Andric static PassRemarksOpt PassRemarksPassedOptLoc;
410b57cec5SDimitry Andric static PassRemarksOpt PassRemarksMissedOptLoc;
420b57cec5SDimitry Andric static PassRemarksOpt PassRemarksAnalysisOptLoc;
430b57cec5SDimitry Andric 
440b57cec5SDimitry Andric // -pass-remarks
450b57cec5SDimitry Andric //    Command line flag to enable emitOptimizationRemark()
460b57cec5SDimitry Andric static cl::opt<PassRemarksOpt, true, cl::parser<std::string>> PassRemarks(
470b57cec5SDimitry Andric     "pass-remarks", cl::value_desc("pattern"),
480b57cec5SDimitry Andric     cl::desc("Enable optimization remarks from passes whose name match "
490b57cec5SDimitry Andric              "the given regular expression"),
50*81ad6265SDimitry Andric     cl::Hidden, cl::location(PassRemarksPassedOptLoc), cl::ValueRequired);
510b57cec5SDimitry Andric 
520b57cec5SDimitry Andric // -pass-remarks-missed
530b57cec5SDimitry Andric //    Command line flag to enable emitOptimizationRemarkMissed()
540b57cec5SDimitry Andric static cl::opt<PassRemarksOpt, true, cl::parser<std::string>> PassRemarksMissed(
550b57cec5SDimitry Andric     "pass-remarks-missed", cl::value_desc("pattern"),
560b57cec5SDimitry Andric     cl::desc("Enable missed optimization remarks from passes whose name match "
570b57cec5SDimitry Andric              "the given regular expression"),
58*81ad6265SDimitry Andric     cl::Hidden, cl::location(PassRemarksMissedOptLoc), cl::ValueRequired);
590b57cec5SDimitry Andric 
600b57cec5SDimitry Andric // -pass-remarks-analysis
610b57cec5SDimitry Andric //    Command line flag to enable emitOptimizationRemarkAnalysis()
620b57cec5SDimitry Andric static cl::opt<PassRemarksOpt, true, cl::parser<std::string>>
630b57cec5SDimitry Andric     PassRemarksAnalysis(
640b57cec5SDimitry Andric         "pass-remarks-analysis", cl::value_desc("pattern"),
650b57cec5SDimitry Andric         cl::desc(
660b57cec5SDimitry Andric             "Enable optimization analysis remarks from passes whose name match "
670b57cec5SDimitry Andric             "the given regular expression"),
68*81ad6265SDimitry Andric         cl::Hidden, cl::location(PassRemarksAnalysisOptLoc), cl::ValueRequired);
690b57cec5SDimitry Andric }
700b57cec5SDimitry Andric 
isAnalysisRemarkEnabled(StringRef PassName) const710b57cec5SDimitry Andric bool DiagnosticHandler::isAnalysisRemarkEnabled(StringRef PassName) const {
720b57cec5SDimitry Andric   return (PassRemarksAnalysisOptLoc.Pattern &&
730b57cec5SDimitry Andric           PassRemarksAnalysisOptLoc.Pattern->match(PassName));
740b57cec5SDimitry Andric }
isMissedOptRemarkEnabled(StringRef PassName) const750b57cec5SDimitry Andric bool DiagnosticHandler::isMissedOptRemarkEnabled(StringRef PassName) const {
760b57cec5SDimitry Andric   return (PassRemarksMissedOptLoc.Pattern &&
770b57cec5SDimitry Andric           PassRemarksMissedOptLoc.Pattern->match(PassName));
780b57cec5SDimitry Andric }
isPassedOptRemarkEnabled(StringRef PassName) const790b57cec5SDimitry Andric bool DiagnosticHandler::isPassedOptRemarkEnabled(StringRef PassName) const {
800b57cec5SDimitry Andric   return (PassRemarksPassedOptLoc.Pattern &&
810b57cec5SDimitry Andric           PassRemarksPassedOptLoc.Pattern->match(PassName));
820b57cec5SDimitry Andric }
830b57cec5SDimitry Andric 
isAnyRemarkEnabled() const840b57cec5SDimitry Andric bool DiagnosticHandler::isAnyRemarkEnabled() const {
850b57cec5SDimitry Andric   return (PassRemarksPassedOptLoc.Pattern || PassRemarksMissedOptLoc.Pattern ||
860b57cec5SDimitry Andric           PassRemarksAnalysisOptLoc.Pattern);
870b57cec5SDimitry Andric }
88