blob: 41a1ee555d6fbf24826197d6fafe60cff1fa86c0 [file] [log] [blame]
Daniel Dunbar3c2a8932009-07-20 18:55:04 +00001//===-- MCAsmParser.cpp - Abstract Asm Parser Interface -------------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Daniel Dunbar3c2a8932009-07-20 18:55:04 +00006//
7//===----------------------------------------------------------------------===//
8
Chandler Carruth6bda14b2017-06-06 11:49:48 +00009#include "llvm/MC/MCParser/MCAsmParser.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000010#include "llvm/ADT/StringRef.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000011#include "llvm/ADT/Twine.h"
Nico Weber432a3882018-04-30 14:59:11 +000012#include "llvm/Config/llvm-config.h"
Chris Lattner00646cf2010-01-22 01:44:57 +000013#include "llvm/MC/MCParser/MCAsmLexer.h"
14#include "llvm/MC/MCParser/MCParsedAsmOperand.h"
Benjamin Kramerb3e8a6d2016-01-27 10:01:28 +000015#include "llvm/MC/MCParser/MCTargetAsmParser.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000016#include "llvm/Support/Debug.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000017#include "llvm/Support/SMLoc.h"
Jim Grosbach602aa902011-07-13 15:34:57 +000018#include "llvm/Support/raw_ostream.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000019#include <cassert>
20
Daniel Dunbar3c2a8932009-07-20 18:55:04 +000021using namespace llvm;
22
Reid Kleckner3d5c2e62018-10-22 22:29:09 +000023MCAsmParser::MCAsmParser() {}
Daniel Dunbar3c2a8932009-07-20 18:55:04 +000024
Eugene Zelenko1d435522017-02-07 23:02:00 +000025MCAsmParser::~MCAsmParser() = default;
Chris Lattner528d00b2010-01-15 19:28:38 +000026
Evan Cheng11424442011-07-26 00:24:13 +000027void MCAsmParser::setTargetParser(MCTargetAsmParser &P) {
Daniel Dunbar01e36072010-07-17 02:26:10 +000028 assert(!TargetParser && "Target parser is already initialized!");
29 TargetParser = &P;
30 TargetParser->Initialize(*this);
31}
32
Rafael Espindola804f43c2014-11-11 05:11:47 +000033const AsmToken &MCAsmParser::getTok() const {
Sean Callanan936b0d32010-01-19 21:44:56 +000034 return getLexer().getTok();
35}
36
Nirav Daved8858ca2016-08-30 14:15:43 +000037bool MCAsmParser::parseTokenLoc(SMLoc &Loc) {
38 Loc = getTok().getLoc();
39 return false;
40}
41
42bool MCAsmParser::parseEOL(const Twine &Msg) {
Nirav Daved8858ca2016-08-30 14:15:43 +000043 if (getTok().getKind() != AsmToken::EndOfStatement)
44 return Error(getTok().getLoc(), Msg);
45 Lex();
46 return false;
47}
48
49bool MCAsmParser::parseToken(AsmToken::TokenKind T, const Twine &Msg) {
50 if (T == AsmToken::EndOfStatement)
51 return parseEOL(Msg);
52 if (getTok().getKind() != T)
53 return Error(getTok().getLoc(), Msg);
54 Lex();
55 return false;
56}
57
58bool MCAsmParser::parseIntToken(int64_t &V, const Twine &Msg) {
59 if (getTok().getKind() != AsmToken::Integer)
60 return TokError(Msg);
61 V = getTok().getIntVal();
62 Lex();
63 return false;
64}
65
Nirav Dave1a9044b2016-10-24 14:35:29 +000066bool MCAsmParser::parseOptionalToken(AsmToken::TokenKind T) {
67 bool Present = (getTok().getKind() == T);
Nirav Daved8858ca2016-08-30 14:15:43 +000068 if (Present)
Nirav Dave1a9044b2016-10-24 14:35:29 +000069 parseToken(T);
70 return Present;
Nirav Daved8858ca2016-08-30 14:15:43 +000071}
72
73bool MCAsmParser::check(bool P, const Twine &Msg) {
74 return check(P, getTok().getLoc(), Msg);
75}
76
77bool MCAsmParser::check(bool P, SMLoc Loc, const Twine &Msg) {
78 if (P)
79 return Error(Loc, Msg);
80 return false;
81}
82
Nirav Dave2364748a2016-09-16 18:30:20 +000083bool MCAsmParser::TokError(const Twine &Msg, SMRange Range) {
84 return Error(getLexer().getLoc(), Msg, Range);
85}
86
87bool MCAsmParser::Error(SMLoc L, const Twine &Msg, SMRange Range) {
Nirav Dave2364748a2016-09-16 18:30:20 +000088
89 MCPendingError PErr;
90 PErr.Loc = L;
91 Msg.toVector(PErr.Msg);
92 PErr.Range = Range;
93 PendingErrors.push_back(PErr);
Nirav Dave1a9044b2016-10-24 14:35:29 +000094
95 // If we threw this parsing error after a lexing error, this should
96 // supercede the lexing error and so we remove it from the Lexer
97 // before it can propagate
98 if (getTok().is(AsmToken::Error))
99 getLexer().Lex();
Daniel Dunbar4be8f2f2010-07-12 17:18:45 +0000100 return true;
101}
102
Nirav Dave1a9044b2016-10-24 14:35:29 +0000103bool MCAsmParser::addErrorSuffix(const Twine &Suffix) {
104 // Make sure lexing errors have propagated to the parser.
105 if (getTok().is(AsmToken::Error))
106 Lex();
107 for (auto &PErr : PendingErrors)
108 Suffix.toVector(PErr.Msg);
109 return true;
110}
111
Benjamin Kramer061f4a52017-01-13 14:39:03 +0000112bool MCAsmParser::parseMany(function_ref<bool()> parseOne, bool hasComma) {
Nirav Dave1a9044b2016-10-24 14:35:29 +0000113 if (parseOptionalToken(AsmToken::EndOfStatement))
114 return false;
Eugene Zelenko1d435522017-02-07 23:02:00 +0000115 while (true) {
Nirav Dave1a9044b2016-10-24 14:35:29 +0000116 if (parseOne())
117 return true;
118 if (parseOptionalToken(AsmToken::EndOfStatement))
119 return false;
120 if (hasComma && parseToken(AsmToken::Comma))
121 return true;
122 }
123 return false;
124}
125
Jim Grosbachd2037eb2013-02-20 22:21:35 +0000126bool MCAsmParser::parseExpression(const MCExpr *&Res) {
Chris Lattner528d00b2010-01-15 19:28:38 +0000127 SMLoc L;
Jim Grosbachd2037eb2013-02-20 22:21:35 +0000128 return parseExpression(Res, L);
Chris Lattner528d00b2010-01-15 19:28:38 +0000129}
130
Matthias Braun8c209aa2017-01-28 02:02:38 +0000131void MCParsedAsmOperand::dump() const {
132 // Cannot completely remove virtual function even in release mode.
Aaron Ballman615eb472017-10-15 14:32:27 +0000133#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
Jim Grosbach602aa902011-07-13 15:34:57 +0000134 dbgs() << " " << *this;
Matthias Braun8c209aa2017-01-28 02:02:38 +0000135#endif
Jim Grosbach602aa902011-07-13 15:34:57 +0000136}