//===-- MCAsmParser.cpp - Abstract Asm Parser Interface -------------------===// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // See https://llvm.org/LICENSE.txt for license information. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // //===----------------------------------------------------------------------===// #include "llvm/MC/MCParser/MCAsmParser.h" #include "llvm/ADT/StringRef.h" #include "llvm/ADT/Twine.h" #include "llvm/Config/llvm-config.h" #include "llvm/MC/MCParser/MCAsmLexer.h" #include "llvm/MC/MCParser/MCParsedAsmOperand.h" #include "llvm/MC/MCParser/MCTargetAsmParser.h" #include "llvm/Support/CommandLine.h" #include "llvm/Support/Debug.h" #include "llvm/Support/SMLoc.h" #include "llvm/Support/raw_ostream.h" #include using namespace llvm; namespace llvm { cl::opt AsmMacroMaxNestingDepth( "asm-macro-max-nesting-depth", cl::init(20), cl::Hidden, cl::desc("The maximum nesting depth allowed for assembly macros.")); } MCAsmParser::MCAsmParser() = default; MCAsmParser::~MCAsmParser() = default; void MCAsmParser::setTargetParser(MCTargetAsmParser &P) { assert(!TargetParser && "Target parser is already initialized!"); TargetParser = &P; TargetParser->Initialize(*this); } const AsmToken &MCAsmParser::getTok() const { return getLexer().getTok(); } bool MCAsmParser::parseTokenLoc(SMLoc &Loc) { Loc = getTok().getLoc(); return false; } bool MCAsmParser::parseEOL() { if (getTok().getKind() != AsmToken::EndOfStatement) return Error(getTok().getLoc(), "expected newline"); Lex(); return false; } bool MCAsmParser::parseEOL(const Twine &Msg) { if (getTok().getKind() != AsmToken::EndOfStatement) return Error(getTok().getLoc(), Msg); Lex(); return false; } bool MCAsmParser::parseToken(AsmToken::TokenKind T, const Twine &Msg) { if (T == AsmToken::EndOfStatement) return parseEOL(Msg); if (getTok().getKind() != T) return Error(getTok().getLoc(), Msg); Lex(); return false; } bool MCAsmParser::parseIntToken(int64_t &V, const Twine &Msg) { if (getTok().getKind() != AsmToken::Integer) return TokError(Msg); V = getTok().getIntVal(); Lex(); return false; } bool MCAsmParser::parseOptionalToken(AsmToken::TokenKind T) { bool Present = (getTok().getKind() == T); if (Present) parseToken(T); return Present; } bool MCAsmParser::check(bool P, const Twine &Msg) { return check(P, getTok().getLoc(), Msg); } bool MCAsmParser::check(bool P, SMLoc Loc, const Twine &Msg) { if (P) return Error(Loc, Msg); return false; } bool MCAsmParser::TokError(const Twine &Msg, SMRange Range) { return Error(getLexer().getLoc(), Msg, Range); } bool MCAsmParser::Error(SMLoc L, const Twine &Msg, SMRange Range) { MCPendingError PErr; PErr.Loc = L; Msg.toVector(PErr.Msg); PErr.Range = Range; PendingErrors.push_back(PErr); // If we threw this parsing error after a lexing error, this should // supercede the lexing error and so we remove it from the Lexer // before it can propagate if (getTok().is(AsmToken::Error)) getLexer().Lex(); return true; } bool MCAsmParser::addErrorSuffix(const Twine &Suffix) { // Make sure lexing errors have propagated to the parser. if (getTok().is(AsmToken::Error)) Lex(); for (auto &PErr : PendingErrors) Suffix.toVector(PErr.Msg); return true; } bool MCAsmParser::parseMany(function_ref parseOne, bool hasComma) { if (parseOptionalToken(AsmToken::EndOfStatement)) return false; while (true) { if (parseOne()) return true; if (parseOptionalToken(AsmToken::EndOfStatement)) return false; if (hasComma && parseToken(AsmToken::Comma)) return true; } return false; } bool MCAsmParser::parseExpression(const MCExpr *&Res) { SMLoc L; return parseExpression(Res, L); } bool MCAsmParser::parseGNUAttribute(SMLoc L, int64_t &Tag, int64_t &IntegerValue) { // Parse a .gnu_attribute with numerical tag and value. StringRef S(L.getPointer()); SMLoc TagLoc; TagLoc = getTok().getLoc(); const AsmToken &Tok = getTok(); if (Tok.isNot(AsmToken::Integer)) return false; Tag = Tok.getIntVal(); Lex(); // Eat the Tag Lex(); // Eat the comma if (Tok.isNot(AsmToken::Integer)) return false; IntegerValue = Tok.getIntVal(); Lex(); // Eat the IntegerValue return true; } void MCParsedAsmOperand::dump() const { // Cannot completely remove virtual function even in release mode. #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) dbgs() << " " << *this; #endif }