1 //===-- AsmPrinterInlineAsm.cpp - AsmPrinter Inline Asm Handling ----------===//
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 implements the inline assembler pieces of the AsmPrinter class.
11 //
12 //===----------------------------------------------------------------------===//
13
14 #include "llvm/ADT/SmallString.h"
15 #include "llvm/ADT/Twine.h"
16 #include "llvm/CodeGen/AsmPrinter.h"
17 #include "llvm/CodeGen/MachineBasicBlock.h"
18 #include "llvm/CodeGen/MachineFunction.h"
19 #include "llvm/CodeGen/MachineModuleInfo.h"
20 #include "llvm/CodeGen/TargetInstrInfo.h"
21 #include "llvm/CodeGen/TargetRegisterInfo.h"
22 #include "llvm/CodeGen/TargetSubtargetInfo.h"
23 #include "llvm/IR/Constants.h"
24 #include "llvm/IR/DataLayout.h"
25 #include "llvm/IR/InlineAsm.h"
26 #include "llvm/IR/LLVMContext.h"
27 #include "llvm/IR/Module.h"
28 #include "llvm/MC/MCAsmInfo.h"
29 #include "llvm/MC/MCParser/MCTargetAsmParser.h"
30 #include "llvm/MC/MCStreamer.h"
31 #include "llvm/MC/MCSubtargetInfo.h"
32 #include "llvm/MC/MCSymbol.h"
33 #include "llvm/Support/ErrorHandling.h"
34 #include "llvm/Support/MemoryBuffer.h"
35 #include "llvm/Support/SourceMgr.h"
36 #include "llvm/Support/TargetRegistry.h"
37 #include "llvm/Support/raw_ostream.h"
38 #include "llvm/Target/TargetMachine.h"
39 using namespace llvm;
40
41 #define DEBUG_TYPE "asm-printer"
42
43 /// srcMgrDiagHandler - This callback is invoked when the SourceMgr for an
44 /// inline asm has an error in it. diagInfo is a pointer to the SrcMgrDiagInfo
45 /// struct above.
srcMgrDiagHandler(const SMDiagnostic & Diag,void * diagInfo)46 static void srcMgrDiagHandler(const SMDiagnostic &Diag, void *diagInfo) {
47 AsmPrinter::SrcMgrDiagInfo *DiagInfo =
48 static_cast<AsmPrinter::SrcMgrDiagInfo *>(diagInfo);
49 assert(DiagInfo && "Diagnostic context not passed down?");
50
51 // Look up a LocInfo for the buffer this diagnostic is coming from.
52 unsigned BufNum = DiagInfo->SrcMgr.FindBufferContainingLoc(Diag.getLoc());
53 const MDNode *LocInfo = nullptr;
54 if (BufNum > 0 && BufNum <= DiagInfo->LocInfos.size())
55 LocInfo = DiagInfo->LocInfos[BufNum-1];
56
57 // If the inline asm had metadata associated with it, pull out a location
58 // cookie corresponding to which line the error occurred on.
59 unsigned LocCookie = 0;
60 if (LocInfo) {
61 unsigned ErrorLine = Diag.getLineNo()-1;
62 if (ErrorLine >= LocInfo->getNumOperands())
63 ErrorLine = 0;
64
65 if (LocInfo->getNumOperands() != 0)
66 if (const ConstantInt *CI =
67 mdconst::dyn_extract<ConstantInt>(LocInfo->getOperand(ErrorLine)))
68 LocCookie = CI->getZExtValue();
69 }
70
71 DiagInfo->DiagHandler(Diag, DiagInfo->DiagContext, LocCookie);
72 }
73
addInlineAsmDiagBuffer(StringRef AsmStr,const MDNode * LocMDNode) const74 unsigned AsmPrinter::addInlineAsmDiagBuffer(StringRef AsmStr,
75 const MDNode *LocMDNode) const {
76 if (!DiagInfo) {
77 DiagInfo = make_unique<SrcMgrDiagInfo>();
78
79 MCContext &Context = MMI->getContext();
80 Context.setInlineSourceManager(&DiagInfo->SrcMgr);
81
82 LLVMContext &LLVMCtx = MMI->getModule()->getContext();
83 if (LLVMCtx.getInlineAsmDiagnosticHandler()) {
84 DiagInfo->DiagHandler = LLVMCtx.getInlineAsmDiagnosticHandler();
85 DiagInfo->DiagContext = LLVMCtx.getInlineAsmDiagnosticContext();
86 DiagInfo->SrcMgr.setDiagHandler(srcMgrDiagHandler, DiagInfo.get());
87 }
88 }
89
90 SourceMgr &SrcMgr = DiagInfo->SrcMgr;
91
92 std::unique_ptr<MemoryBuffer> Buffer;
93 // The inline asm source manager will outlive AsmStr, so make a copy of the
94 // string for SourceMgr to own.
95 Buffer = MemoryBuffer::getMemBufferCopy(AsmStr, "<inline asm>");
96
97 // Tell SrcMgr about this buffer, it takes ownership of the buffer.
98 unsigned BufNum = SrcMgr.AddNewSourceBuffer(std::move(Buffer), SMLoc());
99
100 // Store LocMDNode in DiagInfo, using BufNum as an identifier.
101 if (LocMDNode) {
102 DiagInfo->LocInfos.resize(BufNum);
103 DiagInfo->LocInfos[BufNum - 1] = LocMDNode;
104 }
105
106 return BufNum;
107 }
108
109
110 /// EmitInlineAsm - Emit a blob of inline asm to the output streamer.
EmitInlineAsm(StringRef Str,const MCSubtargetInfo & STI,const MCTargetOptions & MCOptions,const MDNode * LocMDNode,InlineAsm::AsmDialect Dialect) const111 void AsmPrinter::EmitInlineAsm(StringRef Str, const MCSubtargetInfo &STI,
112 const MCTargetOptions &MCOptions,
113 const MDNode *LocMDNode,
114 InlineAsm::AsmDialect Dialect) const {
115 assert(!Str.empty() && "Can't emit empty inline asm block");
116
117 // Remember if the buffer is nul terminated or not so we can avoid a copy.
118 bool isNullTerminated = Str.back() == 0;
119 if (isNullTerminated)
120 Str = Str.substr(0, Str.size()-1);
121
122 // If the output streamer does not have mature MC support or the integrated
123 // assembler has been disabled, just emit the blob textually.
124 // Otherwise parse the asm and emit it via MC support.
125 // This is useful in case the asm parser doesn't handle something but the
126 // system assembler does.
127 const MCAsmInfo *MCAI = TM.getMCAsmInfo();
128 assert(MCAI && "No MCAsmInfo");
129 if (!MCAI->useIntegratedAssembler() &&
130 !OutStreamer->isIntegratedAssemblerRequired()) {
131 emitInlineAsmStart();
132 OutStreamer->EmitRawText(Str);
133 emitInlineAsmEnd(STI, nullptr);
134 return;
135 }
136
137 unsigned BufNum = addInlineAsmDiagBuffer(Str, LocMDNode);
138 DiagInfo->SrcMgr.setIncludeDirs(MCOptions.IASSearchPaths);
139
140 std::unique_ptr<MCAsmParser> Parser(createMCAsmParser(
141 DiagInfo->SrcMgr, OutContext, *OutStreamer, *MAI, BufNum));
142
143 // Do not use assembler-level information for parsing inline assembly.
144 OutStreamer->setUseAssemblerInfoForParsing(false);
145
146 // We create a new MCInstrInfo here since we might be at the module level
147 // and not have a MachineFunction to initialize the TargetInstrInfo from and
148 // we only need MCInstrInfo for asm parsing. We create one unconditionally
149 // because it's not subtarget dependent.
150 std::unique_ptr<MCInstrInfo> MII(TM.getTarget().createMCInstrInfo());
151 std::unique_ptr<MCTargetAsmParser> TAP(TM.getTarget().createMCAsmParser(
152 STI, *Parser, *MII, MCOptions));
153 if (!TAP)
154 report_fatal_error("Inline asm not supported by this streamer because"
155 " we don't have an asm parser for this target\n");
156 Parser->setAssemblerDialect(Dialect);
157 Parser->setTargetParser(*TAP.get());
158 Parser->setEnablePrintSchedInfo(EnablePrintSchedInfo);
159 // Enable lexing Masm binary and hex integer literals in intel inline
160 // assembly.
161 if (Dialect == InlineAsm::AD_Intel)
162 Parser->getLexer().setLexMasmIntegers(true);
163 if (MF) {
164 const TargetRegisterInfo *TRI = MF->getSubtarget().getRegisterInfo();
165 TAP->SetFrameRegister(TRI->getFrameRegister(*MF));
166 }
167
168 emitInlineAsmStart();
169 // Don't implicitly switch to the text section before the asm.
170 int Res = Parser->Run(/*NoInitialTextSection*/ true,
171 /*NoFinalize*/ true);
172 emitInlineAsmEnd(STI, &TAP->getSTI());
173
174 if (Res && !DiagInfo->DiagHandler)
175 report_fatal_error("Error parsing inline asm\n");
176 }
177
EmitMSInlineAsmStr(const char * AsmStr,const MachineInstr * MI,MachineModuleInfo * MMI,int InlineAsmVariant,AsmPrinter * AP,unsigned LocCookie,raw_ostream & OS)178 static void EmitMSInlineAsmStr(const char *AsmStr, const MachineInstr *MI,
179 MachineModuleInfo *MMI, int InlineAsmVariant,
180 AsmPrinter *AP, unsigned LocCookie,
181 raw_ostream &OS) {
182 // Switch to the inline assembly variant.
183 OS << "\t.intel_syntax\n\t";
184
185 const char *LastEmitted = AsmStr; // One past the last character emitted.
186 unsigned NumOperands = MI->getNumOperands();
187
188 while (*LastEmitted) {
189 switch (*LastEmitted) {
190 default: {
191 // Not a special case, emit the string section literally.
192 const char *LiteralEnd = LastEmitted+1;
193 while (*LiteralEnd && *LiteralEnd != '{' && *LiteralEnd != '|' &&
194 *LiteralEnd != '}' && *LiteralEnd != '$' && *LiteralEnd != '\n')
195 ++LiteralEnd;
196
197 OS.write(LastEmitted, LiteralEnd-LastEmitted);
198 LastEmitted = LiteralEnd;
199 break;
200 }
201 case '\n':
202 ++LastEmitted; // Consume newline character.
203 OS << '\n'; // Indent code with newline.
204 break;
205 case '$': {
206 ++LastEmitted; // Consume '$' character.
207 bool Done = true;
208
209 // Handle escapes.
210 switch (*LastEmitted) {
211 default: Done = false; break;
212 case '$':
213 ++LastEmitted; // Consume second '$' character.
214 break;
215 }
216 if (Done) break;
217
218 // If we have ${:foo}, then this is not a real operand reference, it is a
219 // "magic" string reference, just like in .td files. Arrange to call
220 // PrintSpecial.
221 if (LastEmitted[0] == '{' && LastEmitted[1] == ':') {
222 LastEmitted += 2;
223 const char *StrStart = LastEmitted;
224 const char *StrEnd = strchr(StrStart, '}');
225 if (!StrEnd)
226 report_fatal_error("Unterminated ${:foo} operand in inline asm"
227 " string: '" + Twine(AsmStr) + "'");
228
229 std::string Val(StrStart, StrEnd);
230 AP->PrintSpecial(MI, OS, Val.c_str());
231 LastEmitted = StrEnd+1;
232 break;
233 }
234
235 const char *IDStart = LastEmitted;
236 const char *IDEnd = IDStart;
237 while (*IDEnd >= '0' && *IDEnd <= '9') ++IDEnd;
238
239 unsigned Val;
240 if (StringRef(IDStart, IDEnd-IDStart).getAsInteger(10, Val))
241 report_fatal_error("Bad $ operand number in inline asm string: '" +
242 Twine(AsmStr) + "'");
243 LastEmitted = IDEnd;
244
245 if (Val >= NumOperands-1)
246 report_fatal_error("Invalid $ operand number in inline asm string: '" +
247 Twine(AsmStr) + "'");
248
249 // Okay, we finally have a value number. Ask the target to print this
250 // operand!
251 unsigned OpNo = InlineAsm::MIOp_FirstOperand;
252
253 bool Error = false;
254
255 // Scan to find the machine operand number for the operand.
256 for (; Val; --Val) {
257 if (OpNo >= MI->getNumOperands()) break;
258 unsigned OpFlags = MI->getOperand(OpNo).getImm();
259 OpNo += InlineAsm::getNumOperandRegisters(OpFlags) + 1;
260 }
261
262 // We may have a location metadata attached to the end of the
263 // instruction, and at no point should see metadata at any
264 // other point while processing. It's an error if so.
265 if (OpNo >= MI->getNumOperands() ||
266 MI->getOperand(OpNo).isMetadata()) {
267 Error = true;
268 } else {
269 unsigned OpFlags = MI->getOperand(OpNo).getImm();
270 ++OpNo; // Skip over the ID number.
271
272 if (InlineAsm::isMemKind(OpFlags)) {
273 Error = AP->PrintAsmMemoryOperand(MI, OpNo, InlineAsmVariant,
274 /*Modifier*/ nullptr, OS);
275 } else {
276 Error = AP->PrintAsmOperand(MI, OpNo, InlineAsmVariant,
277 /*Modifier*/ nullptr, OS);
278 }
279 }
280 if (Error) {
281 std::string msg;
282 raw_string_ostream Msg(msg);
283 Msg << "invalid operand in inline asm: '" << AsmStr << "'";
284 MMI->getModule()->getContext().emitError(LocCookie, Msg.str());
285 }
286 break;
287 }
288 }
289 }
290 OS << "\n\t.att_syntax\n" << (char)0; // null terminate string.
291 }
292
EmitGCCInlineAsmStr(const char * AsmStr,const MachineInstr * MI,MachineModuleInfo * MMI,int InlineAsmVariant,int AsmPrinterVariant,AsmPrinter * AP,unsigned LocCookie,raw_ostream & OS)293 static void EmitGCCInlineAsmStr(const char *AsmStr, const MachineInstr *MI,
294 MachineModuleInfo *MMI, int InlineAsmVariant,
295 int AsmPrinterVariant, AsmPrinter *AP,
296 unsigned LocCookie, raw_ostream &OS) {
297 int CurVariant = -1; // The number of the {.|.|.} region we are in.
298 const char *LastEmitted = AsmStr; // One past the last character emitted.
299 unsigned NumOperands = MI->getNumOperands();
300
301 OS << '\t';
302
303 while (*LastEmitted) {
304 switch (*LastEmitted) {
305 default: {
306 // Not a special case, emit the string section literally.
307 const char *LiteralEnd = LastEmitted+1;
308 while (*LiteralEnd && *LiteralEnd != '{' && *LiteralEnd != '|' &&
309 *LiteralEnd != '}' && *LiteralEnd != '$' && *LiteralEnd != '\n')
310 ++LiteralEnd;
311 if (CurVariant == -1 || CurVariant == AsmPrinterVariant)
312 OS.write(LastEmitted, LiteralEnd-LastEmitted);
313 LastEmitted = LiteralEnd;
314 break;
315 }
316 case '\n':
317 ++LastEmitted; // Consume newline character.
318 OS << '\n'; // Indent code with newline.
319 break;
320 case '$': {
321 ++LastEmitted; // Consume '$' character.
322 bool Done = true;
323
324 // Handle escapes.
325 switch (*LastEmitted) {
326 default: Done = false; break;
327 case '$': // $$ -> $
328 if (CurVariant == -1 || CurVariant == AsmPrinterVariant)
329 OS << '$';
330 ++LastEmitted; // Consume second '$' character.
331 break;
332 case '(': // $( -> same as GCC's { character.
333 ++LastEmitted; // Consume '(' character.
334 if (CurVariant != -1)
335 report_fatal_error("Nested variants found in inline asm string: '" +
336 Twine(AsmStr) + "'");
337 CurVariant = 0; // We're in the first variant now.
338 break;
339 case '|':
340 ++LastEmitted; // consume '|' character.
341 if (CurVariant == -1)
342 OS << '|'; // this is gcc's behavior for | outside a variant
343 else
344 ++CurVariant; // We're in the next variant.
345 break;
346 case ')': // $) -> same as GCC's } char.
347 ++LastEmitted; // consume ')' character.
348 if (CurVariant == -1)
349 OS << '}'; // this is gcc's behavior for } outside a variant
350 else
351 CurVariant = -1;
352 break;
353 }
354 if (Done) break;
355
356 bool HasCurlyBraces = false;
357 if (*LastEmitted == '{') { // ${variable}
358 ++LastEmitted; // Consume '{' character.
359 HasCurlyBraces = true;
360 }
361
362 // If we have ${:foo}, then this is not a real operand reference, it is a
363 // "magic" string reference, just like in .td files. Arrange to call
364 // PrintSpecial.
365 if (HasCurlyBraces && *LastEmitted == ':') {
366 ++LastEmitted;
367 const char *StrStart = LastEmitted;
368 const char *StrEnd = strchr(StrStart, '}');
369 if (!StrEnd)
370 report_fatal_error("Unterminated ${:foo} operand in inline asm"
371 " string: '" + Twine(AsmStr) + "'");
372
373 std::string Val(StrStart, StrEnd);
374 AP->PrintSpecial(MI, OS, Val.c_str());
375 LastEmitted = StrEnd+1;
376 break;
377 }
378
379 const char *IDStart = LastEmitted;
380 const char *IDEnd = IDStart;
381 while (*IDEnd >= '0' && *IDEnd <= '9') ++IDEnd;
382
383 unsigned Val;
384 if (StringRef(IDStart, IDEnd-IDStart).getAsInteger(10, Val))
385 report_fatal_error("Bad $ operand number in inline asm string: '" +
386 Twine(AsmStr) + "'");
387 LastEmitted = IDEnd;
388
389 char Modifier[2] = { 0, 0 };
390
391 if (HasCurlyBraces) {
392 // If we have curly braces, check for a modifier character. This
393 // supports syntax like ${0:u}, which correspond to "%u0" in GCC asm.
394 if (*LastEmitted == ':') {
395 ++LastEmitted; // Consume ':' character.
396 if (*LastEmitted == 0)
397 report_fatal_error("Bad ${:} expression in inline asm string: '" +
398 Twine(AsmStr) + "'");
399
400 Modifier[0] = *LastEmitted;
401 ++LastEmitted; // Consume modifier character.
402 }
403
404 if (*LastEmitted != '}')
405 report_fatal_error("Bad ${} expression in inline asm string: '" +
406 Twine(AsmStr) + "'");
407 ++LastEmitted; // Consume '}' character.
408 }
409
410 if (Val >= NumOperands-1)
411 report_fatal_error("Invalid $ operand number in inline asm string: '" +
412 Twine(AsmStr) + "'");
413
414 // Okay, we finally have a value number. Ask the target to print this
415 // operand!
416 if (CurVariant == -1 || CurVariant == AsmPrinterVariant) {
417 unsigned OpNo = InlineAsm::MIOp_FirstOperand;
418
419 bool Error = false;
420
421 // Scan to find the machine operand number for the operand.
422 for (; Val; --Val) {
423 if (OpNo >= MI->getNumOperands()) break;
424 unsigned OpFlags = MI->getOperand(OpNo).getImm();
425 OpNo += InlineAsm::getNumOperandRegisters(OpFlags) + 1;
426 }
427
428 // We may have a location metadata attached to the end of the
429 // instruction, and at no point should see metadata at any
430 // other point while processing. It's an error if so.
431 if (OpNo >= MI->getNumOperands() ||
432 MI->getOperand(OpNo).isMetadata()) {
433 Error = true;
434 } else {
435 unsigned OpFlags = MI->getOperand(OpNo).getImm();
436 ++OpNo; // Skip over the ID number.
437
438 if (Modifier[0] == 'l') { // Labels are target independent.
439 // FIXME: What if the operand isn't an MBB, report error?
440 const MCSymbol *Sym = MI->getOperand(OpNo).getMBB()->getSymbol();
441 Sym->print(OS, AP->MAI);
442 } else {
443 if (InlineAsm::isMemKind(OpFlags)) {
444 Error = AP->PrintAsmMemoryOperand(MI, OpNo, InlineAsmVariant,
445 Modifier[0] ? Modifier : nullptr,
446 OS);
447 } else {
448 Error = AP->PrintAsmOperand(MI, OpNo, InlineAsmVariant,
449 Modifier[0] ? Modifier : nullptr, OS);
450 }
451 }
452 }
453 if (Error) {
454 std::string msg;
455 raw_string_ostream Msg(msg);
456 Msg << "invalid operand in inline asm: '" << AsmStr << "'";
457 MMI->getModule()->getContext().emitError(LocCookie, Msg.str());
458 }
459 }
460 break;
461 }
462 }
463 }
464 OS << '\n' << (char)0; // null terminate string.
465 }
466
467 /// EmitInlineAsm - This method formats and emits the specified machine
468 /// instruction that is an inline asm.
EmitInlineAsm(const MachineInstr * MI) const469 void AsmPrinter::EmitInlineAsm(const MachineInstr *MI) const {
470 assert(MI->isInlineAsm() && "printInlineAsm only works on inline asms");
471
472 // Count the number of register definitions to find the asm string.
473 unsigned NumDefs = 0;
474 for (; MI->getOperand(NumDefs).isReg() && MI->getOperand(NumDefs).isDef();
475 ++NumDefs)
476 assert(NumDefs != MI->getNumOperands()-2 && "No asm string?");
477
478 assert(MI->getOperand(NumDefs).isSymbol() && "No asm string?");
479
480 // Disassemble the AsmStr, printing out the literal pieces, the operands, etc.
481 const char *AsmStr = MI->getOperand(NumDefs).getSymbolName();
482
483 // If this asmstr is empty, just print the #APP/#NOAPP markers.
484 // These are useful to see where empty asm's wound up.
485 if (AsmStr[0] == 0) {
486 OutStreamer->emitRawComment(MAI->getInlineAsmStart());
487 OutStreamer->emitRawComment(MAI->getInlineAsmEnd());
488 return;
489 }
490
491 // Emit the #APP start marker. This has to happen even if verbose-asm isn't
492 // enabled, so we use emitRawComment.
493 OutStreamer->emitRawComment(MAI->getInlineAsmStart());
494
495 // Get the !srcloc metadata node if we have it, and decode the loc cookie from
496 // it.
497 unsigned LocCookie = 0;
498 const MDNode *LocMD = nullptr;
499 for (unsigned i = MI->getNumOperands(); i != 0; --i) {
500 if (MI->getOperand(i-1).isMetadata() &&
501 (LocMD = MI->getOperand(i-1).getMetadata()) &&
502 LocMD->getNumOperands() != 0) {
503 if (const ConstantInt *CI =
504 mdconst::dyn_extract<ConstantInt>(LocMD->getOperand(0))) {
505 LocCookie = CI->getZExtValue();
506 break;
507 }
508 }
509 }
510
511 // Emit the inline asm to a temporary string so we can emit it through
512 // EmitInlineAsm.
513 SmallString<256> StringData;
514 raw_svector_ostream OS(StringData);
515
516 // The variant of the current asmprinter.
517 int AsmPrinterVariant = MAI->getAssemblerDialect();
518 InlineAsm::AsmDialect InlineAsmVariant = MI->getInlineAsmDialect();
519 AsmPrinter *AP = const_cast<AsmPrinter*>(this);
520 if (InlineAsmVariant == InlineAsm::AD_ATT)
521 EmitGCCInlineAsmStr(AsmStr, MI, MMI, InlineAsmVariant, AsmPrinterVariant,
522 AP, LocCookie, OS);
523 else
524 EmitMSInlineAsmStr(AsmStr, MI, MMI, InlineAsmVariant, AP, LocCookie, OS);
525
526 // Reset SanitizeAddress based on the function's attribute.
527 MCTargetOptions MCOptions = TM.Options.MCOptions;
528 MCOptions.SanitizeAddress =
529 MF->getFunction().hasFnAttribute(Attribute::SanitizeAddress);
530
531 // Emit warnings if we use reserved registers on the clobber list, as
532 // that might give surprising results.
533 std::vector<std::string> RestrRegs;
534 // Start with the first operand descriptor, and iterate over them.
535 for (unsigned I = InlineAsm::MIOp_FirstOperand, NumOps = MI->getNumOperands();
536 I < NumOps; ++I) {
537 const MachineOperand &MO = MI->getOperand(I);
538 if (MO.isImm()) {
539 unsigned Flags = MO.getImm();
540 const TargetRegisterInfo *TRI = MF->getSubtarget().getRegisterInfo();
541 if (InlineAsm::getKind(Flags) == InlineAsm::Kind_Clobber &&
542 !TRI->isAsmClobberable(*MF, MI->getOperand(I + 1).getReg())) {
543 RestrRegs.push_back(TRI->getName(MI->getOperand(I + 1).getReg()));
544 }
545 // Skip to one before the next operand descriptor, if it exists.
546 I += InlineAsm::getNumOperandRegisters(Flags);
547 }
548 }
549
550 if (!RestrRegs.empty()) {
551 unsigned BufNum = addInlineAsmDiagBuffer(OS.str(), LocMD);
552 auto &SrcMgr = DiagInfo->SrcMgr;
553 SMLoc Loc = SMLoc::getFromPointer(
554 SrcMgr.getMemoryBuffer(BufNum)->getBuffer().begin());
555
556 std::string Msg = "inline asm clobber list contains reserved registers: ";
557 for (auto I = RestrRegs.begin(), E = RestrRegs.end(); I != E; I++) {
558 if(I != RestrRegs.begin())
559 Msg += ", ";
560 Msg += *I;
561 }
562 std::string Note = "Reserved registers on the clobber list may not be "
563 "preserved across the asm statement, and clobbering them may "
564 "lead to undefined behaviour.";
565 SrcMgr.PrintMessage(Loc, SourceMgr::DK_Warning, Msg);
566 SrcMgr.PrintMessage(Loc, SourceMgr::DK_Note, Note);
567 }
568
569 EmitInlineAsm(OS.str(), getSubtargetInfo(), MCOptions, LocMD,
570 MI->getInlineAsmDialect());
571
572 // Emit the #NOAPP end marker. This has to happen even if verbose-asm isn't
573 // enabled, so we use emitRawComment.
574 OutStreamer->emitRawComment(MAI->getInlineAsmEnd());
575 }
576
577
578 /// PrintSpecial - Print information related to the specified machine instr
579 /// that is independent of the operand, and may be independent of the instr
580 /// itself. This can be useful for portably encoding the comment character
581 /// or other bits of target-specific knowledge into the asmstrings. The
582 /// syntax used is ${:comment}. Targets can override this to add support
583 /// for their own strange codes.
PrintSpecial(const MachineInstr * MI,raw_ostream & OS,const char * Code) const584 void AsmPrinter::PrintSpecial(const MachineInstr *MI, raw_ostream &OS,
585 const char *Code) const {
586 if (!strcmp(Code, "private")) {
587 const DataLayout &DL = MF->getDataLayout();
588 OS << DL.getPrivateGlobalPrefix();
589 } else if (!strcmp(Code, "comment")) {
590 OS << MAI->getCommentString();
591 } else if (!strcmp(Code, "uid")) {
592 // Comparing the address of MI isn't sufficient, because machineinstrs may
593 // be allocated to the same address across functions.
594
595 // If this is a new LastFn instruction, bump the counter.
596 if (LastMI != MI || LastFn != getFunctionNumber()) {
597 ++Counter;
598 LastMI = MI;
599 LastFn = getFunctionNumber();
600 }
601 OS << Counter;
602 } else {
603 std::string msg;
604 raw_string_ostream Msg(msg);
605 Msg << "Unknown special formatter '" << Code
606 << "' for machine instr: " << *MI;
607 report_fatal_error(Msg.str());
608 }
609 }
610
611 /// PrintAsmOperand - Print the specified operand of MI, an INLINEASM
612 /// instruction, using the specified assembler variant. Targets should
613 /// override this to format as appropriate.
PrintAsmOperand(const MachineInstr * MI,unsigned OpNo,unsigned AsmVariant,const char * ExtraCode,raw_ostream & O)614 bool AsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
615 unsigned AsmVariant, const char *ExtraCode,
616 raw_ostream &O) {
617 // Does this asm operand have a single letter operand modifier?
618 if (ExtraCode && ExtraCode[0]) {
619 if (ExtraCode[1] != 0) return true; // Unknown modifier.
620
621 const MachineOperand &MO = MI->getOperand(OpNo);
622 switch (ExtraCode[0]) {
623 default:
624 return true; // Unknown modifier.
625 case 'c': // Substitute immediate value without immediate syntax
626 if (MO.getType() != MachineOperand::MO_Immediate)
627 return true;
628 O << MO.getImm();
629 return false;
630 case 'n': // Negate the immediate constant.
631 if (MO.getType() != MachineOperand::MO_Immediate)
632 return true;
633 O << -MO.getImm();
634 return false;
635 case 's': // The GCC deprecated s modifier
636 if (MO.getType() != MachineOperand::MO_Immediate)
637 return true;
638 O << ((32 - MO.getImm()) & 31);
639 return false;
640 }
641 }
642 return true;
643 }
644
PrintAsmMemoryOperand(const MachineInstr * MI,unsigned OpNo,unsigned AsmVariant,const char * ExtraCode,raw_ostream & O)645 bool AsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo,
646 unsigned AsmVariant,
647 const char *ExtraCode, raw_ostream &O) {
648 // Target doesn't support this yet!
649 return true;
650 }
651
emitInlineAsmStart() const652 void AsmPrinter::emitInlineAsmStart() const {}
653
emitInlineAsmEnd(const MCSubtargetInfo & StartInfo,const MCSubtargetInfo * EndInfo) const654 void AsmPrinter::emitInlineAsmEnd(const MCSubtargetInfo &StartInfo,
655 const MCSubtargetInfo *EndInfo) const {}
656