1 //===-- MCAsmParser.cpp - Abstract Asm Parser Interface -------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 #include "llvm/MC/MCParser/MCAsmParser.h"
10 #include "llvm/ADT/StringRef.h"
11 #include "llvm/ADT/Twine.h"
12 #include "llvm/Config/llvm-config.h"
13 #include "llvm/MC/MCParser/MCAsmLexer.h"
14 #include "llvm/MC/MCParser/MCParsedAsmOperand.h"
15 #include "llvm/MC/MCParser/MCTargetAsmParser.h"
16 #include "llvm/Support/CommandLine.h"
17 #include "llvm/Support/Debug.h"
18 #include "llvm/Support/SMLoc.h"
19 #include "llvm/Support/raw_ostream.h"
20 #include <cassert>
21
22 using namespace llvm;
23
24 namespace llvm {
25 cl::opt<unsigned> AsmMacroMaxNestingDepth(
26 "asm-macro-max-nesting-depth", cl::init(20), cl::Hidden,
27 cl::desc("The maximum nesting depth allowed for assembly macros."));
28 }
29
30 MCAsmParser::MCAsmParser() = default;
31
32 MCAsmParser::~MCAsmParser() = default;
33
setTargetParser(MCTargetAsmParser & P)34 void MCAsmParser::setTargetParser(MCTargetAsmParser &P) {
35 assert(!TargetParser && "Target parser is already initialized!");
36 TargetParser = &P;
37 TargetParser->Initialize(*this);
38 }
39
getTok() const40 const AsmToken &MCAsmParser::getTok() const {
41 return getLexer().getTok();
42 }
43
parseTokenLoc(SMLoc & Loc)44 bool MCAsmParser::parseTokenLoc(SMLoc &Loc) {
45 Loc = getTok().getLoc();
46 return false;
47 }
48
parseEOL()49 bool MCAsmParser::parseEOL() {
50 if (getTok().getKind() != AsmToken::EndOfStatement)
51 return Error(getTok().getLoc(), "expected newline");
52 Lex();
53 return false;
54 }
55
parseEOL(const Twine & Msg)56 bool MCAsmParser::parseEOL(const Twine &Msg) {
57 if (getTok().getKind() != AsmToken::EndOfStatement)
58 return Error(getTok().getLoc(), Msg);
59 Lex();
60 return false;
61 }
62
parseToken(AsmToken::TokenKind T,const Twine & Msg)63 bool MCAsmParser::parseToken(AsmToken::TokenKind T, const Twine &Msg) {
64 if (T == AsmToken::EndOfStatement)
65 return parseEOL(Msg);
66 if (getTok().getKind() != T)
67 return Error(getTok().getLoc(), Msg);
68 Lex();
69 return false;
70 }
71
parseIntToken(int64_t & V,const Twine & Msg)72 bool MCAsmParser::parseIntToken(int64_t &V, const Twine &Msg) {
73 if (getTok().getKind() != AsmToken::Integer)
74 return TokError(Msg);
75 V = getTok().getIntVal();
76 Lex();
77 return false;
78 }
79
parseOptionalToken(AsmToken::TokenKind T)80 bool MCAsmParser::parseOptionalToken(AsmToken::TokenKind T) {
81 bool Present = (getTok().getKind() == T);
82 if (Present)
83 parseToken(T);
84 return Present;
85 }
86
check(bool P,const Twine & Msg)87 bool MCAsmParser::check(bool P, const Twine &Msg) {
88 return check(P, getTok().getLoc(), Msg);
89 }
90
check(bool P,SMLoc Loc,const Twine & Msg)91 bool MCAsmParser::check(bool P, SMLoc Loc, const Twine &Msg) {
92 if (P)
93 return Error(Loc, Msg);
94 return false;
95 }
96
TokError(const Twine & Msg,SMRange Range)97 bool MCAsmParser::TokError(const Twine &Msg, SMRange Range) {
98 return Error(getLexer().getLoc(), Msg, Range);
99 }
100
Error(SMLoc L,const Twine & Msg,SMRange Range)101 bool MCAsmParser::Error(SMLoc L, const Twine &Msg, SMRange Range) {
102 MCPendingError PErr;
103 PErr.Loc = L;
104 Msg.toVector(PErr.Msg);
105 PErr.Range = Range;
106 PendingErrors.push_back(PErr);
107
108 // If we threw this parsing error after a lexing error, this should
109 // supercede the lexing error and so we remove it from the Lexer
110 // before it can propagate
111 if (getTok().is(AsmToken::Error))
112 getLexer().Lex();
113 return true;
114 }
115
addErrorSuffix(const Twine & Suffix)116 bool MCAsmParser::addErrorSuffix(const Twine &Suffix) {
117 // Make sure lexing errors have propagated to the parser.
118 if (getTok().is(AsmToken::Error))
119 Lex();
120 for (auto &PErr : PendingErrors)
121 Suffix.toVector(PErr.Msg);
122 return true;
123 }
124
parseMany(function_ref<bool ()> parseOne,bool hasComma)125 bool MCAsmParser::parseMany(function_ref<bool()> parseOne, bool hasComma) {
126 if (parseOptionalToken(AsmToken::EndOfStatement))
127 return false;
128 while (true) {
129 if (parseOne())
130 return true;
131 if (parseOptionalToken(AsmToken::EndOfStatement))
132 return false;
133 if (hasComma && parseToken(AsmToken::Comma))
134 return true;
135 }
136 return false;
137 }
138
parseExpression(const MCExpr * & Res)139 bool MCAsmParser::parseExpression(const MCExpr *&Res) {
140 SMLoc L;
141 return parseExpression(Res, L);
142 }
143
parseGNUAttribute(SMLoc L,int64_t & Tag,int64_t & IntegerValue)144 bool MCAsmParser::parseGNUAttribute(SMLoc L, int64_t &Tag,
145 int64_t &IntegerValue) {
146 // Parse a .gnu_attribute with numerical tag and value.
147 StringRef S(L.getPointer());
148 SMLoc TagLoc;
149 TagLoc = getTok().getLoc();
150 const AsmToken &Tok = getTok();
151 if (Tok.isNot(AsmToken::Integer))
152 return false;
153 Tag = Tok.getIntVal();
154 Lex(); // Eat the Tag
155 Lex(); // Eat the comma
156 if (Tok.isNot(AsmToken::Integer))
157 return false;
158 IntegerValue = Tok.getIntVal();
159 Lex(); // Eat the IntegerValue
160 return true;
161 }
162
dump() const163 void MCParsedAsmOperand::dump() const {
164 // Cannot completely remove virtual function even in release mode.
165 #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
166 dbgs() << " " << *this;
167 #endif
168 }
169