[llvm] r205297 - [mips] Use AsmLexer::peekTok() to resolve the conflict between $reg and $sym

Daniel Sanders daniel.sanders at imgtec.com
Tue Apr 1 03:40:15 PDT 2014


Author: dsanders
Date: Tue Apr  1 05:40:14 2014
New Revision: 205297

URL: http://llvm.org/viewvc/llvm-project?rev=205297&view=rev
Log:
[mips] Use AsmLexer::peekTok() to resolve the conflict between $reg and $sym

Summary:
Parsing registers no longer consume the $ token before it's confirmed whether it really has a register or not, therefore it's no longer impossible to match symbols if registers were tried first.

Depends on D3232

Reviewers: matheusalmeida, vmedic

Reviewed By: matheusalmeida

Differential Revision: http://llvm-reviews.chandlerc.com/D3233

Modified:
    llvm/trunk/lib/Target/Mips/AsmParser/MipsAsmParser.cpp

Modified: llvm/trunk/lib/Target/Mips/AsmParser/MipsAsmParser.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/Mips/AsmParser/MipsAsmParser.cpp?rev=205297&r1=205296&r2=205297&view=diff
==============================================================================
--- llvm/trunk/lib/Target/Mips/AsmParser/MipsAsmParser.cpp (original)
+++ llvm/trunk/lib/Target/Mips/AsmParser/MipsAsmParser.cpp Tue Apr  1 05:40:14 2014
@@ -1781,22 +1781,19 @@ MipsAsmParser::MatchAnyRegisterNameWitho
 MipsAsmParser::OperandMatchResultTy
 MipsAsmParser::ParseAnyRegisterWithoutDollar(
     SmallVectorImpl<MCParsedAsmOperand *> &Operands, SMLoc S) {
-  auto Token = Parser.getTok();
+  auto Token = Parser.getLexer().peekTok(false);
 
   if (Token.is(AsmToken::Identifier)) {
     DEBUG(dbgs() << ".. identifier\n");
     StringRef Identifier = Token.getIdentifier();
     OperandMatchResultTy ResTy =
         MatchAnyRegisterNameWithoutDollar(Operands, Identifier, S);
-    if (ResTy == MatchOperand_Success)
-      Parser.Lex();
     return ResTy;
   } else if (Token.is(AsmToken::Integer)) {
     DEBUG(dbgs() << ".. integer\n");
     Operands.push_back(MipsOperand::CreateNumericReg(
         Token.getIntVal(), getContext().getRegisterInfo(), S, Token.getLoc(),
         *this));
-    Parser.Lex();
     return MatchOperand_Success;
   }
 
@@ -1823,12 +1820,12 @@ MipsAsmParser::OperandMatchResultTy Mips
     return MatchOperand_NoMatch;
   }
   DEBUG(dbgs() << ".. $\n");
-  Parser.Lex();
-  Token = Parser.getTok();
 
   OperandMatchResultTy ResTy = ParseAnyRegisterWithoutDollar(Operands, S);
-  if (ResTy == MatchOperand_NoMatch)
-    return MatchOperand_ParseFail; // We ate the $ so NoMatch isn't valid
+  if (ResTy == MatchOperand_Success) {
+    Parser.Lex(); // $
+    Parser.Lex(); // identifier
+  }
   return ResTy;
 }
 
@@ -1866,18 +1863,16 @@ MipsAsmParser::OperandMatchResultTy Mips
   if (ResTy != MatchOperand_NoMatch)
     return ResTy;
 
+  // Registers are a valid target and have priority over symbols.
+  ResTy = ParseAnyRegister(Operands);
+  if (ResTy != MatchOperand_NoMatch)
+    return ResTy;
+
   // Consume the $ if there is one. We'll add it to the symbol below.
   bool hasConsumedDollar = false;
   if (getLexer().is(AsmToken::Dollar)) {
     Parser.Lex();
     hasConsumedDollar = true;
-
-    // We have an unfortunate conflict between '$sym' and '$reg' so give
-    // registers a chance before we try symbols.
-    // The conflict is between 'bc1t $offset', and 'bc1t $fcc, $offset'.
-    OperandMatchResultTy ResTy = ParseAnyRegisterWithoutDollar(Operands, S);
-    if (ResTy != MatchOperand_NoMatch)
-      return ResTy;
   }
 
   StringRef Identifier;





More information about the llvm-commits mailing list