blob: 395b6158e0c8666f62ffd0a11f4c539d5f0f3767 [file] [log] [blame]
Quentin Colombetb4c44d22013-12-17 17:47:22 +00001//===- llvm/Support/DiagnosticInfo.cpp - Diagnostic Definitions -*- 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//
10// This file defines the different classes involved in low level diagnostics.
11//
12// Diagnostics reporting is still done as part of the LLVMContext.
13//===----------------------------------------------------------------------===//
14
Adam Nemet37c9e7f2016-09-27 20:55:01 +000015#include "llvm/IR/DiagnosticInfo.h"
Diego Novillo7f8af8b2014-05-22 14:19:46 +000016#include "LLVMContextImpl.h"
Adam Nemeta62b7e12016-09-27 20:55:07 +000017#include "llvm/ADT/StringExtras.h"
Quentin Colombetb4c44d22013-12-17 17:47:22 +000018#include "llvm/ADT/Twine.h"
19#include "llvm/IR/Constants.h"
Diego Novilloa9298b22014-04-08 16:42:34 +000020#include "llvm/IR/DebugInfo.h"
Quentin Colombetb4c44d22013-12-17 17:47:22 +000021#include "llvm/IR/DiagnosticPrinter.h"
22#include "llvm/IR/Function.h"
23#include "llvm/IR/Instruction.h"
24#include "llvm/IR/Metadata.h"
Diego Novilloa9298b22014-04-08 16:42:34 +000025#include "llvm/IR/Module.h"
Diego Novillo0b761a42014-05-22 17:19:01 +000026#include "llvm/Support/CommandLine.h"
27#include "llvm/Support/Regex.h"
Benjamin Kramer2d221402015-06-11 17:30:34 +000028#include <atomic>
Quentin Colombetb4c44d22013-12-17 17:47:22 +000029#include <string>
30
31using namespace llvm;
32
Diego Novillo0b761a42014-05-22 17:19:01 +000033namespace {
34
35/// \brief Regular expression corresponding to the value given in one of the
36/// -pass-remarks* command line flags. Passes whose name matches this regexp
37/// will emit a diagnostic when calling the associated diagnostic function
38/// (emitOptimizationRemark, emitOptimizationRemarkMissed or
39/// emitOptimizationRemarkAnalysis).
40struct PassRemarksOpt {
41 std::shared_ptr<Regex> Pattern;
42
43 void operator=(const std::string &Val) {
44 // Create a regexp object to match pass names for emitOptimizationRemark.
45 if (!Val.empty()) {
46 Pattern = std::make_shared<Regex>(Val);
47 std::string RegexError;
48 if (!Pattern->isValid(RegexError))
49 report_fatal_error("Invalid regular expression '" + Val +
50 "' in -pass-remarks: " + RegexError,
51 false);
52 }
Hans Wennborg13958b72015-07-22 20:46:11 +000053 }
Diego Novillo0b761a42014-05-22 17:19:01 +000054};
55
56static PassRemarksOpt PassRemarksOptLoc;
57static PassRemarksOpt PassRemarksMissedOptLoc;
58static PassRemarksOpt PassRemarksAnalysisOptLoc;
59
60// -pass-remarks
61// Command line flag to enable emitOptimizationRemark()
62static cl::opt<PassRemarksOpt, true, cl::parser<std::string>>
63PassRemarks("pass-remarks", cl::value_desc("pattern"),
64 cl::desc("Enable optimization remarks from passes whose name match "
65 "the given regular expression"),
66 cl::Hidden, cl::location(PassRemarksOptLoc), cl::ValueRequired,
67 cl::ZeroOrMore);
68
69// -pass-remarks-missed
70// Command line flag to enable emitOptimizationRemarkMissed()
71static cl::opt<PassRemarksOpt, true, cl::parser<std::string>> PassRemarksMissed(
72 "pass-remarks-missed", cl::value_desc("pattern"),
73 cl::desc("Enable missed optimization remarks from passes whose name match "
74 "the given regular expression"),
75 cl::Hidden, cl::location(PassRemarksMissedOptLoc), cl::ValueRequired,
76 cl::ZeroOrMore);
77
78// -pass-remarks-analysis
79// Command line flag to enable emitOptimizationRemarkAnalysis()
80static cl::opt<PassRemarksOpt, true, cl::parser<std::string>>
81PassRemarksAnalysis(
82 "pass-remarks-analysis", cl::value_desc("pattern"),
83 cl::desc(
84 "Enable optimization analysis remarks from passes whose name match "
85 "the given regular expression"),
86 cl::Hidden, cl::location(PassRemarksAnalysisOptLoc), cl::ValueRequired,
87 cl::ZeroOrMore);
Alexander Kornienkof00654e2015-06-23 09:49:53 +000088}
Diego Novillo0b761a42014-05-22 17:19:01 +000089
Tobias Grosser84db1e72013-12-18 10:12:06 +000090int llvm::getNextAvailablePluginDiagnosticKind() {
Benjamin Kramer2d221402015-06-11 17:30:34 +000091 static std::atomic<int> PluginKindID(DK_FirstPluginKind);
92 return ++PluginKindID;
Quentin Colombetb4c44d22013-12-17 17:47:22 +000093}
94
Adam Nemet04758ba2016-09-27 22:19:23 +000095const char *OptimizationRemarkAnalysis::AlwaysPrint = "";
Tyler Nowickic94d6ad2015-08-11 01:09:15 +000096
Quentin Colombetb4c44d22013-12-17 17:47:22 +000097DiagnosticInfoInlineAsm::DiagnosticInfoInlineAsm(const Instruction &I,
98 const Twine &MsgStr,
99 DiagnosticSeverity Severity)
100 : DiagnosticInfo(DK_InlineAsm, Severity), LocCookie(0), MsgStr(MsgStr),
101 Instr(&I) {
Duncan P. N. Exon Smithde36e802014-11-11 21:30:22 +0000102 if (const MDNode *SrcLoc = I.getMetadata("srcloc")) {
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000103 if (SrcLoc->getNumOperands() != 0)
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000104 if (const auto *CI =
105 mdconst::dyn_extract<ConstantInt>(SrcLoc->getOperand(0)))
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000106 LocCookie = CI->getZExtValue();
107 }
108}
109
110void DiagnosticInfoInlineAsm::print(DiagnosticPrinter &DP) const {
111 DP << getMsgStr();
112 if (getLocCookie())
113 DP << " at line " << getLocCookie();
114}
115
Matt Arsenaultff982412016-06-20 18:13:04 +0000116void DiagnosticInfoResourceLimit::print(DiagnosticPrinter &DP) const {
117 DP << getResourceName() << " limit";
118
119 if (getResourceLimit() != 0)
120 DP << " of " << getResourceLimit();
121
122 DP << " exceeded (" << getResourceSize() << ") in " << getFunction();
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000123}
Manman Ren2ebfb422014-01-16 01:51:12 +0000124
125void DiagnosticInfoDebugMetadataVersion::print(DiagnosticPrinter &DP) const {
Manman Ren37628082014-02-04 23:49:02 +0000126 DP << "ignoring debug info with an invalid version (" << getMetadataVersion()
127 << ") in " << getModule();
Manman Ren2ebfb422014-01-16 01:51:12 +0000128}
Diego Novilloa32aa322014-03-14 21:58:59 +0000129
Adrian Prantle3656182016-05-09 19:57:29 +0000130void DiagnosticInfoIgnoringInvalidDebugMetadata::print(
131 DiagnosticPrinter &DP) const {
132 DP << "ignoring invalid debug info in " << getModule().getModuleIdentifier();
133}
134
Diego Novilloa32aa322014-03-14 21:58:59 +0000135void DiagnosticInfoSampleProfile::print(DiagnosticPrinter &DP) const {
David Blaikie2297a912015-11-02 20:01:13 +0000136 if (!FileName.empty()) {
137 DP << getFileName();
138 if (LineNum > 0)
139 DP << ":" << getLineNum();
140 DP << ": ";
141 }
Diego Novilloa32aa322014-03-14 21:58:59 +0000142 DP << getMsg();
143}
Diego Novilloa9298b22014-04-08 16:42:34 +0000144
Rong Xuf430ae42015-12-09 18:08:16 +0000145void DiagnosticInfoPGOProfile::print(DiagnosticPrinter &DP) const {
146 if (getFileName())
147 DP << getFileName() << ": ";
148 DP << getMsg();
149}
150
Justin Bognerd890f952017-02-18 00:42:23 +0000151DiagnosticLocation::DiagnosticLocation(const DebugLoc &DL) {
152 if (!DL)
153 return;
154 Filename = DL->getFilename();
155 Line = DL->getLine();
156 Column = DL->getColumn();
Diego Novilloa9298b22014-04-08 16:42:34 +0000157}
158
Justin Bogner7bc978b2017-02-18 02:00:27 +0000159DiagnosticLocation::DiagnosticLocation(const DISubprogram *SP) {
160 if (!SP)
161 return;
162 Filename = SP->getFilename();
163 Line = SP->getScopeLine();
164 Column = 0;
165}
166
Justin Bogner073f56d2017-02-17 17:34:37 +0000167void DiagnosticInfoWithLocationBase::getLocation(StringRef *Filename,
Tyler Nowicki641d8a02014-07-16 00:36:00 +0000168 unsigned *Line,
169 unsigned *Column) const {
Justin Bognerd890f952017-02-18 00:42:23 +0000170 *Filename = Loc.getFilename();
171 *Line = Loc.getLine();
172 *Column = Loc.getColumn();
Diego Novilloa9298b22014-04-08 16:42:34 +0000173}
174
Justin Bogner073f56d2017-02-17 17:34:37 +0000175const std::string DiagnosticInfoWithLocationBase::getLocationStr() const {
Diego Novilloa9298b22014-04-08 16:42:34 +0000176 StringRef Filename("<unknown>");
177 unsigned Line = 0;
178 unsigned Column = 0;
179 if (isLocationAvailable())
180 getLocation(&Filename, &Line, &Column);
Yaron Keren075759a2015-03-30 15:42:36 +0000181 return (Filename + ":" + Twine(Line) + ":" + Twine(Column)).str();
Diego Novilloa9298b22014-04-08 16:42:34 +0000182}
Adam Nemet8b5fba82016-12-01 17:34:44 +0000183
Ahmed Bougacha36026002017-02-15 20:38:28 +0000184DiagnosticInfoOptimizationBase::Argument::Argument(StringRef Key, const Value *V)
Adam Nemet8b5fba82016-12-01 17:34:44 +0000185 : Key(Key) {
Adam Nemetb103fc52016-11-07 22:41:13 +0000186 if (auto *F = dyn_cast<Function>(V)) {
187 if (DISubprogram *SP = F->getSubprogram())
Justin Bogner7bc978b2017-02-18 02:00:27 +0000188 Loc = SP;
Adam Nemetb103fc52016-11-07 22:41:13 +0000189 }
190 else if (auto *I = dyn_cast<Instruction>(V))
Justin Bognerd890f952017-02-18 00:42:23 +0000191 Loc = I->getDebugLoc();
Adam Nemet8b5fba82016-12-01 17:34:44 +0000192
193 // Only include names that correspond to user variables. FIXME: we should use
194 // debug info if available to get the name of the user variable.
195 if (isa<llvm::Argument>(V) || isa<GlobalValue>(V))
196 Val = GlobalValue::getRealLinkageName(V->getName());
197 else if (isa<Constant>(V)) {
198 raw_string_ostream OS(Val);
199 V->printAsOperand(OS, /*PrintType=*/false);
200 } else if (auto *I = dyn_cast<Instruction>(V))
201 Val = I->getOpcodeName();
Adam Nemetb103fc52016-11-07 22:41:13 +0000202}
Diego Novilloa9298b22014-04-08 16:42:34 +0000203
Ahmed Bougacha36026002017-02-15 20:38:28 +0000204DiagnosticInfoOptimizationBase::Argument::Argument(StringRef Key, const Type *T)
Adam Nemet4d2a6e52016-12-01 16:40:32 +0000205 : Key(Key) {
206 raw_string_ostream OS(Val);
207 OS << *T;
208}
209
Adam Nemeta62b7e12016-09-27 20:55:07 +0000210DiagnosticInfoOptimizationBase::Argument::Argument(StringRef Key, int N)
211 : Key(Key), Val(itostr(N)) {}
212
Adam Nemet9a1a5ef2016-09-29 16:23:12 +0000213DiagnosticInfoOptimizationBase::Argument::Argument(StringRef Key, unsigned N)
214 : Key(Key), Val(utostr(N)) {}
215
Tyler Nowicki641d8a02014-07-16 00:36:00 +0000216void DiagnosticInfoOptimizationBase::print(DiagnosticPrinter &DP) const {
Diego Novilloa9298b22014-04-08 16:42:34 +0000217 DP << getLocationStr() << ": " << getMsg();
Adam Nemetaad81602016-07-15 17:23:20 +0000218 if (Hotness)
219 DP << " (hotness: " << *Hotness << ")";
Diego Novilloa9298b22014-04-08 16:42:34 +0000220}
Diego Novillo7f8af8b2014-05-22 14:19:46 +0000221
Adam Nemetc507ac92016-09-27 23:47:03 +0000222OptimizationRemark::OptimizationRemark(const char *PassName,
223 StringRef RemarkName,
Justin Bognerd890f952017-02-18 00:42:23 +0000224 const DiagnosticLocation &Loc,
Justin Bogner8281c812017-02-22 07:38:17 +0000225 const Value *CodeRegion)
Adam Nemet484f93d2017-01-25 23:20:25 +0000226 : DiagnosticInfoIROptimization(
Adam Nemetc507ac92016-09-27 23:47:03 +0000227 DK_OptimizationRemark, DS_Remark, PassName, RemarkName,
Justin Bognerd890f952017-02-18 00:42:23 +0000228 *cast<BasicBlock>(CodeRegion)->getParent(), Loc, CodeRegion) {}
Adam Nemetc507ac92016-09-27 23:47:03 +0000229
Adam Nemetfce017882016-09-30 00:42:43 +0000230OptimizationRemark::OptimizationRemark(const char *PassName,
David Bozier51599682017-02-28 16:02:37 +0000231 StringRef RemarkName,
232 const Instruction *Inst)
Adam Nemet484f93d2017-01-25 23:20:25 +0000233 : DiagnosticInfoIROptimization(DK_OptimizationRemark, DS_Remark, PassName,
234 RemarkName, *Inst->getParent()->getParent(),
235 Inst->getDebugLoc(), Inst->getParent()) {}
Adam Nemetfce017882016-09-30 00:42:43 +0000236
David Bozier51599682017-02-28 16:02:37 +0000237// Helper to allow for an assert before attempting to return an invalid
238// reference.
239static const BasicBlock &getFirstFunctionBlock(const Function *Func) {
240 assert(!Func->empty() && "Function does not have a body");
241 return Func->front();
242}
243
244OptimizationRemark::OptimizationRemark(const char *PassName,
245 StringRef RemarkName,
246 const Function *Func)
247 : DiagnosticInfoIROptimization(DK_OptimizationRemark, DS_Remark, PassName,
248 RemarkName, *Func, Func->getSubprogram(),
249 &getFirstFunctionBlock(Func)) {}
250
Adam Nemeta9640662017-01-25 23:20:33 +0000251bool OptimizationRemark::isEnabled(StringRef PassName) {
Diego Novillo0b761a42014-05-22 17:19:01 +0000252 return PassRemarksOptLoc.Pattern &&
Adam Nemeta9640662017-01-25 23:20:33 +0000253 PassRemarksOptLoc.Pattern->match(PassName);
Diego Novillo7f8af8b2014-05-22 14:19:46 +0000254}
255
Justin Bognerd890f952017-02-18 00:42:23 +0000256OptimizationRemarkMissed::OptimizationRemarkMissed(
257 const char *PassName, StringRef RemarkName, const DiagnosticLocation &Loc,
Ahmed Bougacha851125d2017-02-23 19:17:34 +0000258 const Value *CodeRegion)
Adam Nemet484f93d2017-01-25 23:20:25 +0000259 : DiagnosticInfoIROptimization(
Adam Nemetc507ac92016-09-27 23:47:03 +0000260 DK_OptimizationRemarkMissed, DS_Remark, PassName, RemarkName,
Justin Bognerd890f952017-02-18 00:42:23 +0000261 *cast<BasicBlock>(CodeRegion)->getParent(), Loc, CodeRegion) {}
Adam Nemetc507ac92016-09-27 23:47:03 +0000262
263OptimizationRemarkMissed::OptimizationRemarkMissed(const char *PassName,
264 StringRef RemarkName,
Ahmed Bougacha851125d2017-02-23 19:17:34 +0000265 const Instruction *Inst)
Adam Nemet484f93d2017-01-25 23:20:25 +0000266 : DiagnosticInfoIROptimization(DK_OptimizationRemarkMissed, DS_Remark,
267 PassName, RemarkName,
268 *Inst->getParent()->getParent(),
269 Inst->getDebugLoc(), Inst->getParent()) {}
Adam Nemeta62b7e12016-09-27 20:55:07 +0000270
Adam Nemeta9640662017-01-25 23:20:33 +0000271bool OptimizationRemarkMissed::isEnabled(StringRef PassName) {
Diego Novillo0b761a42014-05-22 17:19:01 +0000272 return PassRemarksMissedOptLoc.Pattern &&
Adam Nemeta9640662017-01-25 23:20:33 +0000273 PassRemarksMissedOptLoc.Pattern->match(PassName);
Diego Novillo7f8af8b2014-05-22 14:19:46 +0000274}
275
Justin Bognerd890f952017-02-18 00:42:23 +0000276OptimizationRemarkAnalysis::OptimizationRemarkAnalysis(
277 const char *PassName, StringRef RemarkName, const DiagnosticLocation &Loc,
Ahmed Bougacha851125d2017-02-23 19:17:34 +0000278 const Value *CodeRegion)
Adam Nemet484f93d2017-01-25 23:20:25 +0000279 : DiagnosticInfoIROptimization(
Adam Nemet9a1a5ef2016-09-29 16:23:12 +0000280 DK_OptimizationRemarkAnalysis, DS_Remark, PassName, RemarkName,
Justin Bognerd890f952017-02-18 00:42:23 +0000281 *cast<BasicBlock>(CodeRegion)->getParent(), Loc, CodeRegion) {}
Adam Nemet9a1a5ef2016-09-29 16:23:12 +0000282
283OptimizationRemarkAnalysis::OptimizationRemarkAnalysis(const char *PassName,
284 StringRef RemarkName,
Ahmed Bougacha851125d2017-02-23 19:17:34 +0000285 const Instruction *Inst)
Adam Nemet484f93d2017-01-25 23:20:25 +0000286 : DiagnosticInfoIROptimization(DK_OptimizationRemarkAnalysis, DS_Remark,
287 PassName, RemarkName,
288 *Inst->getParent()->getParent(),
289 Inst->getDebugLoc(), Inst->getParent()) {}
Adam Nemetc507ac92016-09-27 23:47:03 +0000290
Justin Bognerd890f952017-02-18 00:42:23 +0000291OptimizationRemarkAnalysis::OptimizationRemarkAnalysis(
292 enum DiagnosticKind Kind, const char *PassName, StringRef RemarkName,
Ahmed Bougacha851125d2017-02-23 19:17:34 +0000293 const DiagnosticLocation &Loc, const Value *CodeRegion)
Adam Nemet484f93d2017-01-25 23:20:25 +0000294 : DiagnosticInfoIROptimization(Kind, DS_Remark, PassName, RemarkName,
295 *cast<BasicBlock>(CodeRegion)->getParent(),
Justin Bognerd890f952017-02-18 00:42:23 +0000296 Loc, CodeRegion) {}
Adam Nemet36282822016-09-29 18:04:47 +0000297
Adam Nemeta9640662017-01-25 23:20:33 +0000298bool OptimizationRemarkAnalysis::isEnabled(StringRef PassName) {
299 return PassRemarksAnalysisOptLoc.Pattern &&
300 PassRemarksAnalysisOptLoc.Pattern->match(PassName);
Diego Novillo7f8af8b2014-05-22 14:19:46 +0000301}
302
Alex Lorenz735c47e2015-06-15 20:30:22 +0000303void DiagnosticInfoMIRParser::print(DiagnosticPrinter &DP) const {
304 DP << Diagnostic;
305}
306
Diego Novillo7f8af8b2014-05-22 14:19:46 +0000307void llvm::emitOptimizationRemark(LLVMContext &Ctx, const char *PassName,
Justin Bognerd890f952017-02-18 00:42:23 +0000308 const Function &Fn,
309 const DiagnosticLocation &Loc,
Diego Novillo7f8af8b2014-05-22 14:19:46 +0000310 const Twine &Msg) {
Justin Bognerd890f952017-02-18 00:42:23 +0000311 Ctx.diagnose(OptimizationRemark(PassName, Fn, Loc, Msg));
Diego Novillo7f8af8b2014-05-22 14:19:46 +0000312}
313
314void llvm::emitOptimizationRemarkMissed(LLVMContext &Ctx, const char *PassName,
315 const Function &Fn,
Justin Bognerd890f952017-02-18 00:42:23 +0000316 const DiagnosticLocation &Loc,
Diego Novillo7f8af8b2014-05-22 14:19:46 +0000317 const Twine &Msg) {
Justin Bognerd890f952017-02-18 00:42:23 +0000318 Ctx.diagnose(OptimizationRemarkMissed(PassName, Fn, Loc, Msg));
Diego Novillo7f8af8b2014-05-22 14:19:46 +0000319}
320
321void llvm::emitOptimizationRemarkAnalysis(LLVMContext &Ctx,
322 const char *PassName,
323 const Function &Fn,
Justin Bognerd890f952017-02-18 00:42:23 +0000324 const DiagnosticLocation &Loc,
Diego Novillo7f8af8b2014-05-22 14:19:46 +0000325 const Twine &Msg) {
Justin Bognerd890f952017-02-18 00:42:23 +0000326 Ctx.diagnose(OptimizationRemarkAnalysis(PassName, Fn, Loc, Msg));
Diego Novillo7f8af8b2014-05-22 14:19:46 +0000327}
Tyler Nowicki641d8a02014-07-16 00:36:00 +0000328
Justin Bognerd890f952017-02-18 00:42:23 +0000329void llvm::emitOptimizationRemarkAnalysisFPCommute(
330 LLVMContext &Ctx, const char *PassName, const Function &Fn,
331 const DiagnosticLocation &Loc, const Twine &Msg) {
332 Ctx.diagnose(OptimizationRemarkAnalysisFPCommute(PassName, Fn, Loc, Msg));
Tyler Nowickic1a86f52015-08-10 19:51:46 +0000333}
334
Tyler Nowicki652b0da2015-08-10 23:01:55 +0000335void llvm::emitOptimizationRemarkAnalysisAliasing(LLVMContext &Ctx,
336 const char *PassName,
337 const Function &Fn,
Justin Bognerd890f952017-02-18 00:42:23 +0000338 const DiagnosticLocation &Loc,
Tyler Nowicki652b0da2015-08-10 23:01:55 +0000339 const Twine &Msg) {
Justin Bognerd890f952017-02-18 00:42:23 +0000340 Ctx.diagnose(OptimizationRemarkAnalysisAliasing(PassName, Fn, Loc, Msg));
Tyler Nowicki652b0da2015-08-10 23:01:55 +0000341}
342
Adam Nemet0bf1b862017-02-02 05:41:51 +0000343DiagnosticInfoOptimizationFailure::DiagnosticInfoOptimizationFailure(
Justin Bognerd890f952017-02-18 00:42:23 +0000344 const char *PassName, StringRef RemarkName, const DiagnosticLocation &Loc,
Ahmed Bougacha851125d2017-02-23 19:17:34 +0000345 const Value *CodeRegion)
Adam Nemet0bf1b862017-02-02 05:41:51 +0000346 : DiagnosticInfoIROptimization(
347 DK_OptimizationFailure, DS_Warning, PassName, RemarkName,
Justin Bognerd890f952017-02-18 00:42:23 +0000348 *cast<BasicBlock>(CodeRegion)->getParent(), Loc, CodeRegion) {}
Adam Nemet0bf1b862017-02-02 05:41:51 +0000349
Tyler Nowicki55454c62014-07-18 19:36:04 +0000350bool DiagnosticInfoOptimizationFailure::isEnabled() const {
Tyler Nowicki641d8a02014-07-16 00:36:00 +0000351 // Only print warnings.
352 return getSeverity() == DS_Warning;
353}
354
Oliver Stannard7e7d9832016-02-02 13:52:43 +0000355void DiagnosticInfoUnsupported::print(DiagnosticPrinter &DP) const {
356 std::string Str;
357 raw_string_ostream OS(Str);
358
359 OS << getLocationStr() << ": in function " << getFunction().getName() << ' '
360 << *getFunction().getFunctionType() << ": " << Msg << '\n';
361 OS.flush();
362 DP << Str;
363}
364
Quentin Colombet0a243f42016-08-31 18:42:55 +0000365void DiagnosticInfoISelFallback::print(DiagnosticPrinter &DP) const {
366 DP << "Instruction selection used fallback path for " << getFunction();
367}
Adam Nemeta62b7e12016-09-27 20:55:07 +0000368
369DiagnosticInfoOptimizationBase &DiagnosticInfoOptimizationBase::
370operator<<(StringRef S) {
371 Args.emplace_back(S);
372 return *this;
373}
374
375DiagnosticInfoOptimizationBase &DiagnosticInfoOptimizationBase::
376operator<<(Argument A) {
377 Args.push_back(std::move(A));
378 return *this;
379}
380
381DiagnosticInfoOptimizationBase &DiagnosticInfoOptimizationBase::
382operator<<(setIsVerbose V) {
383 IsVerbose = true;
384 return *this;
385}
386
Adam Nemet8b5fba82016-12-01 17:34:44 +0000387DiagnosticInfoOptimizationBase &DiagnosticInfoOptimizationBase::
388operator<<(setExtraArgs EA) {
389 FirstExtraArgIndex = Args.size();
390 return *this;
391}
392
Adam Nemeta62b7e12016-09-27 20:55:07 +0000393std::string DiagnosticInfoOptimizationBase::getMsg() const {
394 std::string Str;
395 raw_string_ostream OS(Str);
Adam Nemet8b5fba82016-12-01 17:34:44 +0000396 for (const DiagnosticInfoOptimizationBase::Argument &Arg :
397 make_range(Args.begin(), FirstExtraArgIndex == -1
398 ? Args.end()
399 : Args.begin() + FirstExtraArgIndex))
Adam Nemeta62b7e12016-09-27 20:55:07 +0000400 OS << Arg.Val;
401 return OS.str();
402}