lib/MC/MCParser/MCAsmParser.cpp

   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/Debug.h"
  17 #include "llvm/Support/SMLoc.h"
  18 #include "llvm/Support/raw_ostream.h"
  19 #include <cassert>
  20
  21 using namespace llvm;
  22
  23 MCAsmParser::MCAsmParser() {}
  24
  25 MCAsmParser::~MCAsmParser() = default;
  26
  27 void MCAsmParser::setTargetParser(MCTargetAsmParser &P) {
  28   assert(!TargetParser && "Target parser is already initialized!");
  29   TargetParser = &P;
  30   TargetParser->Initialize(*this);
  31 }
  32
  33 const AsmToken &MCAsmParser::getTok() const {
  34   return getLexer().getTok();
  35 }
  36
  37 bool MCAsmParser::parseTokenLoc(SMLoc &Loc) {
  38   Loc = getTok().getLoc();
  39   return false;
  40 }
  41
  42 bool MCAsmParser::parseEOL(const Twine &Msg) {
  43   if (getTok().getKind() != AsmToken::EndOfStatement)
  44     return Error(getTok().getLoc(), Msg);
  45   Lex();
  46   return false;
  47 }
  48
  49 bool 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
  58 bool 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
  66 bool MCAsmParser::parseOptionalToken(AsmToken::TokenKind T) {
  67   bool Present = (getTok().getKind() == T);
  68   if (Present)
  69     parseToken(T);
  70   return Present;
  71 }
  72
  73 bool MCAsmParser::check(bool P, const Twine &Msg) {
  74   return check(P, getTok().getLoc(), Msg);
  75 }
  76
  77 bool MCAsmParser::check(bool P, SMLoc Loc, const Twine &Msg) {
  78   if (P)
  79     return Error(Loc, Msg);
  80   return false;
  81 }
  82
  83 bool MCAsmParser::TokError(const Twine &Msg, SMRange Range) {
  84   return Error(getLexer().getLoc(), Msg, Range);
  85 }
  86
  87 bool MCAsmParser::Error(SMLoc L, const Twine &Msg, SMRange Range) {
  88
  89   MCPendingError PErr;
  90   PErr.Loc = L;
  91   Msg.toVector(PErr.Msg);
  92   PErr.Range = Range;
  93   PendingErrors.push_back(PErr);
  94
  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();
 100   return true;
 101 }
 102
 103 bool 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
 112 bool MCAsmParser::parseMany(function_ref<bool()> parseOne, bool hasComma) {
 113   if (parseOptionalToken(AsmToken::EndOfStatement))
 114     return false;
 115   while (true) {
 116     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
 126 bool MCAsmParser::parseExpression(const MCExpr *&Res) {
 127   SMLoc L;
 128   return parseExpression(Res, L);
 129 }
 130
 131 void MCParsedAsmOperand::dump() const {
 132   // Cannot completely remove virtual function even in release mode.
 133 #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
 134   dbgs() << "  " << *this;
 135 #endif
 136 }