blob: c1f71bcc36810b9ac1eba22665eef9f2e8252e99 [file] [log] [blame]
Chris Lattnerc8dfbcb2009-06-21 07:19:10 +00001//===- AsmLexer.cpp - Lexer for Assembly Files ----------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This class implements the lexer for assembly files.
11//
12//===----------------------------------------------------------------------===//
13
Eugene Zelenko33d7b762016-08-23 17:14:32 +000014#include "llvm/ADT/APInt.h"
15#include "llvm/ADT/ArrayRef.h"
Daniel Sanders3feeb9c2016-08-08 11:50:25 +000016#include "llvm/ADT/StringSwitch.h"
Eugene Zelenko33d7b762016-08-23 17:14:32 +000017#include "llvm/ADT/StringRef.h"
Chris Lattner5b0e01c2010-01-22 01:58:08 +000018#include "llvm/MC/MCParser/AsmLexer.h"
Eugene Zelenko33d7b762016-08-23 17:14:32 +000019#include "llvm/MC/MCParser/MCAsmLexer.h"
Kevin Enderbyf92f9902009-09-04 21:45:34 +000020#include "llvm/MC/MCAsmInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000021#include "llvm/Support/SMLoc.h"
Eugene Zelenko33d7b762016-08-23 17:14:32 +000022#include <cassert>
Nick Lewycky0de20af2010-12-19 20:43:38 +000023#include <cctype>
Duncan Sands376c6f12009-06-22 06:59:32 +000024#include <cstdio>
Eugene Zelenko33d7b762016-08-23 17:14:32 +000025#include <cstring>
Daniel Sanders3feeb9c2016-08-08 11:50:25 +000026#include <tuple>
Eugene Zelenko33d7b762016-08-23 17:14:32 +000027#include <string>
28#include <utility>
Daniel Sanders3feeb9c2016-08-08 11:50:25 +000029
Chris Lattnerc8dfbcb2009-06-21 07:19:10 +000030using namespace llvm;
31
David Blaikie9f380a32015-03-16 18:06:57 +000032AsmLexer::AsmLexer(const MCAsmInfo &MAI) : MAI(MAI) {
Craig Topper353eda42014-04-24 06:44:33 +000033 CurPtr = nullptr;
Nirav Davefd910412016-06-17 16:06:17 +000034 IsAtStartOfLine = true;
35 IsAtStartOfStatement = true;
Yunzhong Gao27ea29b2016-09-02 23:15:29 +000036 IsParsingMSInlineAsm = false;
David Peixotto27aa0012013-12-06 23:05:33 +000037 AllowAtInIdentifier = !StringRef(MAI.getCommentString()).startswith("@");
Chris Lattner4c501fc2009-06-24 00:33:19 +000038}
39
40AsmLexer::~AsmLexer() {
Chris Lattnerc8dfbcb2009-06-21 07:19:10 +000041}
42
Rafael Espindola8026bd02014-07-06 14:17:29 +000043void AsmLexer::setBuffer(StringRef Buf, const char *ptr) {
44 CurBuf = Buf;
Jim Grosbach01af6c42011-02-11 19:05:56 +000045
Sean Callanan7a77eae2010-01-21 00:19:58 +000046 if (ptr)
47 CurPtr = ptr;
48 else
Rafael Espindola8026bd02014-07-06 14:17:29 +000049 CurPtr = CurBuf.begin();
Jim Grosbach01af6c42011-02-11 19:05:56 +000050
Craig Topper353eda42014-04-24 06:44:33 +000051 TokStart = nullptr;
Sean Callanan7a77eae2010-01-21 00:19:58 +000052}
53
Chris Lattnerd0765612009-06-21 19:21:25 +000054/// ReturnError - Set the error to the specified string at the specified
Daniel Dunbarf2dcd772009-07-28 16:08:33 +000055/// location. This is defined to always return AsmToken::Error.
Daniel Dunbar8368f4e2009-07-28 03:00:54 +000056AsmToken AsmLexer::ReturnError(const char *Loc, const std::string &Msg) {
Sean Callanan70855e42010-01-20 22:18:24 +000057 SetError(SMLoc::getFromPointer(Loc), Msg);
Jim Grosbach01af6c42011-02-11 19:05:56 +000058
Nirav Dave1180e6892016-06-02 17:15:05 +000059 return AsmToken(AsmToken::Error, StringRef(Loc, CurPtr - Loc));
Chris Lattnerd0765612009-06-21 19:21:25 +000060}
61
Chris Lattnerc8dfbcb2009-06-21 07:19:10 +000062int AsmLexer::getNextChar() {
Nirav Davefd910412016-06-17 16:06:17 +000063 if (CurPtr == CurBuf.end())
Chris Lattnerc8dfbcb2009-06-21 07:19:10 +000064 return EOF;
Nirav Davefd910412016-06-17 16:06:17 +000065 return (unsigned char)*CurPtr++;
Chris Lattnerc8dfbcb2009-06-21 07:19:10 +000066}
67
Daniel Dunbard116d8a2010-09-27 20:12:52 +000068/// LexFloatLiteral: [0-9]*[.][0-9]*([eE][+-]?[0-9]*)?
69///
70/// The leading integral digit sequence and dot should have already been
71/// consumed, some or all of the fractional digit sequence *can* have been
72/// consumed.
73AsmToken AsmLexer::LexFloatLiteral() {
74 // Skip the fractional digit sequence.
75 while (isdigit(*CurPtr))
76 ++CurPtr;
77
78 // Check for exponent; we intentionally accept a slighlty wider set of
79 // literals here and rely on the upstream client to reject invalid ones (e.g.,
80 // "1e+").
81 if (*CurPtr == 'e' || *CurPtr == 'E') {
82 ++CurPtr;
83 if (*CurPtr == '-' || *CurPtr == '+')
84 ++CurPtr;
85 while (isdigit(*CurPtr))
86 ++CurPtr;
87 }
88
89 return AsmToken(AsmToken::Real,
90 StringRef(TokStart, CurPtr - TokStart));
91}
92
Tim Northover1f256232013-08-14 14:23:31 +000093/// LexHexFloatLiteral matches essentially (.[0-9a-fA-F]*)?[pP][+-]?[0-9a-fA-F]+
94/// while making sure there are enough actual digits around for the constant to
95/// be valid.
96///
97/// The leading "0x[0-9a-fA-F]*" (i.e. integer part) has already been consumed
98/// before we get here.
99AsmToken AsmLexer::LexHexFloatLiteral(bool NoIntDigits) {
100 assert((*CurPtr == 'p' || *CurPtr == 'P' || *CurPtr == '.') &&
101 "unexpected parse state in floating hex");
102 bool NoFracDigits = true;
103
104 // Skip the fractional part if there is one
105 if (*CurPtr == '.') {
106 ++CurPtr;
107
108 const char *FracStart = CurPtr;
109 while (isxdigit(*CurPtr))
110 ++CurPtr;
111
112 NoFracDigits = CurPtr == FracStart;
113 }
114
115 if (NoIntDigits && NoFracDigits)
116 return ReturnError(TokStart, "invalid hexadecimal floating-point constant: "
117 "expected at least one significand digit");
118
119 // Make sure we do have some kind of proper exponent part
120 if (*CurPtr != 'p' && *CurPtr != 'P')
121 return ReturnError(TokStart, "invalid hexadecimal floating-point constant: "
122 "expected exponent part 'p'");
123 ++CurPtr;
124
125 if (*CurPtr == '+' || *CurPtr == '-')
126 ++CurPtr;
127
128 // N.b. exponent digits are *not* hex
129 const char *ExpStart = CurPtr;
130 while (isdigit(*CurPtr))
131 ++CurPtr;
132
133 if (CurPtr == ExpStart)
134 return ReturnError(TokStart, "invalid hexadecimal floating-point constant: "
135 "expected at least one exponent digit");
136
137 return AsmToken(AsmToken::Real, StringRef(TokStart, CurPtr - TokStart));
138}
139
Hans Wennborgce69d772013-10-18 20:46:28 +0000140/// LexIdentifier: [a-zA-Z_.][a-zA-Z0-9_$.@?]*
David Peixotto2cdc56d2013-12-06 20:35:58 +0000141static bool IsIdentifierChar(char c, bool AllowAt) {
142 return isalnum(c) || c == '_' || c == '$' || c == '.' ||
143 (c == '@' && AllowAt) || c == '?';
Daniel Dunbar3068a932010-09-24 01:59:31 +0000144}
Eugene Zelenko33d7b762016-08-23 17:14:32 +0000145
Daniel Dunbar8368f4e2009-07-28 03:00:54 +0000146AsmToken AsmLexer::LexIdentifier() {
Daniel Dunbar3068a932010-09-24 01:59:31 +0000147 // Check for floating point literals.
148 if (CurPtr[-1] == '.' && isdigit(*CurPtr)) {
Daniel Dunbard116d8a2010-09-27 20:12:52 +0000149 // Disambiguate a .1243foo identifier from a floating literal.
Daniel Dunbar3068a932010-09-24 01:59:31 +0000150 while (isdigit(*CurPtr))
151 ++CurPtr;
David Peixotto2cdc56d2013-12-06 20:35:58 +0000152 if (*CurPtr == 'e' || *CurPtr == 'E' ||
153 !IsIdentifierChar(*CurPtr, AllowAtInIdentifier))
Daniel Dunbard116d8a2010-09-27 20:12:52 +0000154 return LexFloatLiteral();
Daniel Dunbar3068a932010-09-24 01:59:31 +0000155 }
156
David Peixotto2cdc56d2013-12-06 20:35:58 +0000157 while (IsIdentifierChar(*CurPtr, AllowAtInIdentifier))
Chris Lattnerd0765612009-06-21 19:21:25 +0000158 ++CurPtr;
Jim Grosbach01af6c42011-02-11 19:05:56 +0000159
Chris Lattner6b55cb92010-04-14 04:40:28 +0000160 // Handle . as a special case.
Daniel Dunbarb0ceb762010-05-06 14:46:38 +0000161 if (CurPtr == TokStart+1 && TokStart[0] == '.')
162 return AsmToken(AsmToken::Dot, StringRef(TokStart, 1));
Jim Grosbach01af6c42011-02-11 19:05:56 +0000163
Daniel Dunbarf2dcd772009-07-28 16:08:33 +0000164 return AsmToken(AsmToken::Identifier, StringRef(TokStart, CurPtr - TokStart));
Chris Lattnerd0765612009-06-21 19:21:25 +0000165}
166
Chris Lattnerd0765612009-06-21 19:21:25 +0000167/// LexSlash: Slash: /
168/// C-Style Comment: /* ... */
Daniel Dunbar8368f4e2009-07-28 03:00:54 +0000169AsmToken AsmLexer::LexSlash() {
Daniel Dunbar6b22f9c2009-06-29 21:58:22 +0000170 switch (*CurPtr) {
Richard Trieu7a083812016-02-18 22:09:30 +0000171 case '*':
Nirav Davefd910412016-06-17 16:06:17 +0000172 IsAtStartOfStatement = false;
Richard Trieu7a083812016-02-18 22:09:30 +0000173 break; // C style comment.
174 case '/':
175 ++CurPtr;
176 return LexLineComment();
177 default:
Nirav Davefd910412016-06-17 16:06:17 +0000178 IsAtStartOfStatement = false;
179 return AsmToken(AsmToken::Slash, StringRef(TokStart, 1));
Daniel Dunbar6b22f9c2009-06-29 21:58:22 +0000180 }
Chris Lattnerd0765612009-06-21 19:21:25 +0000181
182 // C Style comment.
183 ++CurPtr; // skip the star.
Nirav Davefd910412016-06-17 16:06:17 +0000184 while (CurPtr != CurBuf.end()) {
185 switch (*CurPtr++) {
Chris Lattnerd0765612009-06-21 19:21:25 +0000186 case '*':
187 // End of the comment?
Nirav Davefd910412016-06-17 16:06:17 +0000188 if (*CurPtr != '/')
189 break;
Chris Lattnerd0765612009-06-21 19:21:25 +0000190 ++CurPtr; // End the */.
Nirav Davefd910412016-06-17 16:06:17 +0000191 return AsmToken(AsmToken::Comment,
192 StringRef(TokStart, CurPtr - TokStart));
Chris Lattnerd0765612009-06-21 19:21:25 +0000193 }
194 }
Nirav Davefd910412016-06-17 16:06:17 +0000195 return ReturnError(TokStart, "unterminated comment");
Chris Lattnerd0765612009-06-21 19:21:25 +0000196}
197
Daniel Dunbar6b22f9c2009-06-29 21:58:22 +0000198/// LexLineComment: Comment: #[^\n]*
199/// : //[^\n]*
Daniel Dunbar8368f4e2009-07-28 03:00:54 +0000200AsmToken AsmLexer::LexLineComment() {
Nirav Davefd910412016-06-17 16:06:17 +0000201 // Mark This as an end of statement with a body of the
202 // comment. While it would be nicer to leave this two tokens,
203 // backwards compatability with TargetParsers makes keeping this in this form
204 // better.
Chris Lattnerd0765612009-06-21 19:21:25 +0000205 int CurChar = getNextChar();
Chris Lattnere8baa382011-08-04 19:31:26 +0000206 while (CurChar != '\n' && CurChar != '\r' && CurChar != EOF)
Chris Lattnerd0765612009-06-21 19:21:25 +0000207 CurChar = getNextChar();
Jim Grosbach01af6c42011-02-11 19:05:56 +0000208
Nirav Davefd910412016-06-17 16:06:17 +0000209 IsAtStartOfLine = true;
Nirav Dave8b3dc872016-07-29 14:42:00 +0000210 // This is a whole line comment. leave newline
Nirav Davefd910412016-06-17 16:06:17 +0000211 if (IsAtStartOfStatement)
212 return AsmToken(AsmToken::EndOfStatement,
213 StringRef(TokStart, CurPtr - TokStart));
214 IsAtStartOfStatement = true;
215
216 return AsmToken(AsmToken::EndOfStatement,
217 StringRef(TokStart, CurPtr - 1 - TokStart));
Chris Lattnerd0765612009-06-21 19:21:25 +0000218}
219
Chris Lattner02db8f62010-08-24 00:43:25 +0000220static void SkipIgnoredIntegerSuffix(const char *&CurPtr) {
Jim Grosbach94a22602013-02-26 20:17:10 +0000221 // Skip ULL, UL, U, L and LL suffices.
222 if (CurPtr[0] == 'U')
223 ++CurPtr;
224 if (CurPtr[0] == 'L')
225 ++CurPtr;
226 if (CurPtr[0] == 'L')
227 ++CurPtr;
Chris Lattner02db8f62010-08-24 00:43:25 +0000228}
229
Chad Rosier8bc65562013-02-12 01:00:01 +0000230// Look ahead to search for first non-hex digit, if it's [hH], then we treat the
231// integer as a hexadecimal, possibly with leading zeroes.
232static unsigned doLookAhead(const char *&CurPtr, unsigned DefaultRadix) {
Craig Topper353eda42014-04-24 06:44:33 +0000233 const char *FirstHex = nullptr;
Chad Rosier8bc65562013-02-12 01:00:01 +0000234 const char *LookAhead = CurPtr;
Eugene Zelenko33d7b762016-08-23 17:14:32 +0000235 while (true) {
Chad Rosier8bc65562013-02-12 01:00:01 +0000236 if (isdigit(*LookAhead)) {
237 ++LookAhead;
238 } else if (isxdigit(*LookAhead)) {
239 if (!FirstHex)
240 FirstHex = LookAhead;
241 ++LookAhead;
242 } else {
243 break;
244 }
245 }
246 bool isHex = *LookAhead == 'h' || *LookAhead == 'H';
Rafael Espindola86d53452013-02-14 16:23:08 +0000247 CurPtr = isHex || !FirstHex ? LookAhead : FirstHex;
Chad Rosier8bc65562013-02-12 01:00:01 +0000248 if (isHex)
249 return 16;
250 return DefaultRadix;
251}
252
David Woodhousef42a6662014-02-01 16:20:54 +0000253static AsmToken intToken(StringRef Ref, APInt &Value)
254{
255 if (Value.isIntN(64))
256 return AsmToken(AsmToken::Integer, Ref, Value);
257 return AsmToken(AsmToken::BigNum, Ref, Value);
258}
259
Chris Lattnerd0765612009-06-21 19:21:25 +0000260/// LexDigit: First character is [0-9].
261/// Local Label: [0-9][:]
Rafael Espindola86d53452013-02-14 16:23:08 +0000262/// Forward/Backward Label: [0-9][fb]
263/// Binary integer: 0b[01]+
Chris Lattnerd0765612009-06-21 19:21:25 +0000264/// Octal integer: 0[0-7]+
Chad Rosier8bc65562013-02-12 01:00:01 +0000265/// Hex integer: 0x[0-9a-fA-F]+ or [0x]?[0-9][0-9a-fA-F]*[hH]
Chris Lattnerd0765612009-06-21 19:21:25 +0000266/// Decimal integer: [1-9][0-9]*
Daniel Dunbar8368f4e2009-07-28 03:00:54 +0000267AsmToken AsmLexer::LexDigit() {
Yunzhong Gao27ea29b2016-09-02 23:15:29 +0000268 // MASM-flavor binary integer: [01]+[bB]
269 // MASM-flavor hexadecimal integer: [0-9][0-9a-fA-F]*[hH]
270 if (IsParsingMSInlineAsm && isdigit(CurPtr[-1])) {
271 const char *FirstNonBinary = (CurPtr[-1] != '0' && CurPtr[-1] != '1') ?
272 CurPtr - 1 : nullptr;
273 const char *OldCurPtr = CurPtr;
274 while (isxdigit(*CurPtr)) {
275 if (*CurPtr != '0' && *CurPtr != '1' && !FirstNonBinary)
276 FirstNonBinary = CurPtr;
277 ++CurPtr;
278 }
279
280 unsigned Radix = 0;
281 if (*CurPtr == 'h' || *CurPtr == 'H') {
282 // hexadecimal number
283 ++CurPtr;
284 Radix = 16;
285 } else if (FirstNonBinary && FirstNonBinary + 1 == CurPtr &&
286 (*FirstNonBinary == 'b' || *FirstNonBinary == 'B'))
287 Radix = 2;
288
289 if (Radix == 2 || Radix == 16) {
290 StringRef Result(TokStart, CurPtr - TokStart);
291 APInt Value(128, 0, true);
292
293 if (Result.drop_back().getAsInteger(Radix, Value))
294 return ReturnError(TokStart, Radix == 2 ? "invalid binary number" :
295 "invalid hexdecimal number");
296
297 // MSVC accepts and ignores type suffices on integer literals.
298 SkipIgnoredIntegerSuffix(CurPtr);
299
300 return intToken(Result, Value);
301 }
302
303 // octal/decimal integers, or floating point numbers, fall through
304 CurPtr = OldCurPtr;
305 }
306
Chris Lattnerd0765612009-06-21 19:21:25 +0000307 // Decimal integer: [1-9][0-9]*
Daniel Dunbarce17f722010-09-24 17:10:26 +0000308 if (CurPtr[-1] != '0' || CurPtr[0] == '.') {
Chad Rosier8bc65562013-02-12 01:00:01 +0000309 unsigned Radix = doLookAhead(CurPtr, 10);
Rafael Espindola86d53452013-02-14 16:23:08 +0000310 bool isHex = Radix == 16;
Daniel Dunbar3068a932010-09-24 01:59:31 +0000311 // Check for floating point literals.
Rafael Espindola86d53452013-02-14 16:23:08 +0000312 if (!isHex && (*CurPtr == '.' || *CurPtr == 'e')) {
Daniel Dunbar3068a932010-09-24 01:59:31 +0000313 ++CurPtr;
Daniel Dunbard116d8a2010-09-27 20:12:52 +0000314 return LexFloatLiteral();
Daniel Dunbar3068a932010-09-24 01:59:31 +0000315 }
316
Chris Lattnere6494012010-01-22 07:34:12 +0000317 StringRef Result(TokStart, CurPtr - TokStart);
Chris Lattner02db8f62010-08-24 00:43:25 +0000318
David Woodhousef42a6662014-02-01 16:20:54 +0000319 APInt Value(128, 0, true);
320 if (Result.getAsInteger(Radix, Value))
321 return ReturnError(TokStart, !isHex ? "invalid decimal number" :
Chad Rosier8bc65562013-02-12 01:00:01 +0000322 "invalid hexdecimal number");
Jim Grosbach01af6c42011-02-11 19:05:56 +0000323
Chad Rosier8bc65562013-02-12 01:00:01 +0000324 // Consume the [bB][hH].
325 if (Radix == 2 || Radix == 16)
326 ++CurPtr;
327
Jim Grosbach94a22602013-02-26 20:17:10 +0000328 // The darwin/x86 (and x86-64) assembler accepts and ignores type
329 // suffices on integer literals.
Chris Lattner02db8f62010-08-24 00:43:25 +0000330 SkipIgnoredIntegerSuffix(CurPtr);
Jim Grosbach01af6c42011-02-11 19:05:56 +0000331
David Woodhousef42a6662014-02-01 16:20:54 +0000332 return intToken(Result, Value);
Chris Lattnerd0765612009-06-21 19:21:25 +0000333 }
Jim Grosbach01af6c42011-02-11 19:05:56 +0000334
Yunzhong Gao27ea29b2016-09-02 23:15:29 +0000335 if (!IsParsingMSInlineAsm && ((*CurPtr == 'b') || (*CurPtr == 'B'))) {
Rafael Espindola86d53452013-02-14 16:23:08 +0000336 ++CurPtr;
337 // See if we actually have "0b" as part of something like "jmp 0b\n"
338 if (!isdigit(CurPtr[0])) {
339 --CurPtr;
340 StringRef Result(TokStart, CurPtr - TokStart);
341 return AsmToken(AsmToken::Integer, Result, 0);
342 }
343 const char *NumStart = CurPtr;
Chris Lattnerd0765612009-06-21 19:21:25 +0000344 while (CurPtr[0] == '0' || CurPtr[0] == '1')
345 ++CurPtr;
Jim Grosbach01af6c42011-02-11 19:05:56 +0000346
Chris Lattnerd0765612009-06-21 19:21:25 +0000347 // Requires at least one binary digit.
348 if (CurPtr == NumStart)
Eric Christopherffc0e1f2011-04-12 00:18:03 +0000349 return ReturnError(TokStart, "invalid binary number");
Jim Grosbach01af6c42011-02-11 19:05:56 +0000350
Chris Lattnere6494012010-01-22 07:34:12 +0000351 StringRef Result(TokStart, CurPtr - TokStart);
Jim Grosbach01af6c42011-02-11 19:05:56 +0000352
David Woodhousef42a6662014-02-01 16:20:54 +0000353 APInt Value(128, 0, true);
Chris Lattner02db8f62010-08-24 00:43:25 +0000354 if (Result.substr(2).getAsInteger(2, Value))
Eric Christopherffc0e1f2011-04-12 00:18:03 +0000355 return ReturnError(TokStart, "invalid binary number");
Jim Grosbach01af6c42011-02-11 19:05:56 +0000356
Chris Lattner02db8f62010-08-24 00:43:25 +0000357 // The darwin/x86 (and x86-64) assembler accepts and ignores ULL and LL
358 // suffixes on integer literals.
359 SkipIgnoredIntegerSuffix(CurPtr);
Jim Grosbach01af6c42011-02-11 19:05:56 +0000360
David Woodhousef42a6662014-02-01 16:20:54 +0000361 return intToken(Result, Value);
Chris Lattnerd0765612009-06-21 19:21:25 +0000362 }
Jim Grosbach01af6c42011-02-11 19:05:56 +0000363
Colin LeMahieu01431462016-03-18 18:22:07 +0000364 if ((*CurPtr == 'x') || (*CurPtr == 'X')) {
Chris Lattnerd0765612009-06-21 19:21:25 +0000365 ++CurPtr;
366 const char *NumStart = CurPtr;
367 while (isxdigit(CurPtr[0]))
368 ++CurPtr;
Jim Grosbach01af6c42011-02-11 19:05:56 +0000369
Tim Northover1f256232013-08-14 14:23:31 +0000370 // "0x.0p0" is valid, and "0x0p0" (but not "0xp0" for example, which will be
371 // diagnosed by LexHexFloatLiteral).
372 if (CurPtr[0] == '.' || CurPtr[0] == 'p' || CurPtr[0] == 'P')
373 return LexHexFloatLiteral(NumStart == CurPtr);
374
375 // Otherwise requires at least one hex digit.
Chris Lattnerd0765612009-06-21 19:21:25 +0000376 if (CurPtr == NumStart)
Eric Christopherffc0e1f2011-04-12 00:18:03 +0000377 return ReturnError(CurPtr-2, "invalid hexadecimal number");
Chris Lattner6401c882010-01-22 01:17:12 +0000378
David Woodhousef42a6662014-02-01 16:20:54 +0000379 APInt Result(128, 0);
Chris Lattner6401c882010-01-22 01:17:12 +0000380 if (StringRef(TokStart, CurPtr - TokStart).getAsInteger(0, Result))
Eric Christopherffc0e1f2011-04-12 00:18:03 +0000381 return ReturnError(TokStart, "invalid hexadecimal number");
Jim Grosbach01af6c42011-02-11 19:05:56 +0000382
Chad Rosier8bc65562013-02-12 01:00:01 +0000383 // Consume the optional [hH].
Yunzhong Gao27ea29b2016-09-02 23:15:29 +0000384 if (!IsParsingMSInlineAsm && (*CurPtr == 'h' || *CurPtr == 'H'))
Chad Rosier8bc65562013-02-12 01:00:01 +0000385 ++CurPtr;
386
Chris Lattner02db8f62010-08-24 00:43:25 +0000387 // The darwin/x86 (and x86-64) assembler accepts and ignores ULL and LL
388 // suffixes on integer literals.
389 SkipIgnoredIntegerSuffix(CurPtr);
Jim Grosbach01af6c42011-02-11 19:05:56 +0000390
David Woodhousef42a6662014-02-01 16:20:54 +0000391 return intToken(StringRef(TokStart, CurPtr - TokStart), Result);
Chris Lattnerd0765612009-06-21 19:21:25 +0000392 }
Jim Grosbach01af6c42011-02-11 19:05:56 +0000393
Matt Beaumont-Gay0e760da2013-02-25 18:11:18 +0000394 // Either octal or hexadecimal.
David Woodhousef42a6662014-02-01 16:20:54 +0000395 APInt Value(128, 0, true);
Chad Rosier8bc65562013-02-12 01:00:01 +0000396 unsigned Radix = doLookAhead(CurPtr, 8);
Rafael Espindola86d53452013-02-14 16:23:08 +0000397 bool isHex = Radix == 16;
Chad Rosier8bc65562013-02-12 01:00:01 +0000398 StringRef Result(TokStart, CurPtr - TokStart);
399 if (Result.getAsInteger(Radix, Value))
Rafael Espindola86d53452013-02-14 16:23:08 +0000400 return ReturnError(TokStart, !isHex ? "invalid octal number" :
Chad Rosier559cea42013-02-12 01:12:24 +0000401 "invalid hexdecimal number");
Jim Grosbach01af6c42011-02-11 19:05:56 +0000402
Rafael Espindola86d53452013-02-14 16:23:08 +0000403 // Consume the [hH].
404 if (Radix == 16)
Chad Rosier8bc65562013-02-12 01:00:01 +0000405 ++CurPtr;
406
Chris Lattner02db8f62010-08-24 00:43:25 +0000407 // The darwin/x86 (and x86-64) assembler accepts and ignores ULL and LL
408 // suffixes on integer literals.
409 SkipIgnoredIntegerSuffix(CurPtr);
Jim Grosbach01af6c42011-02-11 19:05:56 +0000410
David Woodhousef42a6662014-02-01 16:20:54 +0000411 return intToken(Result, Value);
Chris Lattnerd0765612009-06-21 19:21:25 +0000412}
413
Roman Divacky71d29162010-12-18 08:56:37 +0000414/// LexSingleQuote: Integer: 'b'
415AsmToken AsmLexer::LexSingleQuote() {
416 int CurChar = getNextChar();
417
418 if (CurChar == '\\')
419 CurChar = getNextChar();
420
421 if (CurChar == EOF)
422 return ReturnError(TokStart, "unterminated single quote");
423
424 CurChar = getNextChar();
425
426 if (CurChar != '\'')
427 return ReturnError(TokStart, "single quote way too long");
428
429 // The idea here being that 'c' is basically just an integral
430 // constant.
431 StringRef Res = StringRef(TokStart,CurPtr - TokStart);
432 long long Value;
433
434 if (Res.startswith("\'\\")) {
435 char theChar = Res[2];
436 switch (theChar) {
437 default: Value = theChar; break;
438 case '\'': Value = '\''; break;
439 case 't': Value = '\t'; break;
440 case 'n': Value = '\n'; break;
441 case 'b': Value = '\b'; break;
442 }
443 } else
444 Value = TokStart[1];
445
Jim Grosbach01af6c42011-02-11 19:05:56 +0000446 return AsmToken(AsmToken::Integer, Res, Value);
Roman Divacky71d29162010-12-18 08:56:37 +0000447}
448
Chris Lattner419a9742009-06-21 19:56:35 +0000449/// LexQuote: String: "..."
Daniel Dunbar8368f4e2009-07-28 03:00:54 +0000450AsmToken AsmLexer::LexQuote() {
Chris Lattner419a9742009-06-21 19:56:35 +0000451 int CurChar = getNextChar();
452 // TODO: does gas allow multiline string constants?
453 while (CurChar != '"') {
454 if (CurChar == '\\') {
455 // Allow \", etc.
456 CurChar = getNextChar();
457 }
Jim Grosbach01af6c42011-02-11 19:05:56 +0000458
Chris Lattner2adc9e72009-06-21 21:22:11 +0000459 if (CurChar == EOF)
460 return ReturnError(TokStart, "unterminated string constant");
Chris Lattner419a9742009-06-21 19:56:35 +0000461
462 CurChar = getNextChar();
463 }
Jim Grosbach01af6c42011-02-11 19:05:56 +0000464
Daniel Dunbarf2dcd772009-07-28 16:08:33 +0000465 return AsmToken(AsmToken::String, StringRef(TokStart, CurPtr - TokStart));
Chris Lattner419a9742009-06-21 19:56:35 +0000466}
467
Chris Lattnercb307a272009-08-10 01:39:42 +0000468StringRef AsmLexer::LexUntilEndOfStatement() {
469 TokStart = CurPtr;
470
Saleem Abdulrasoolbb67af42014-08-14 02:51:43 +0000471 while (!isAtStartOfComment(CurPtr) && // Start of line comment.
Jim Grosbacha3df87f2011-03-24 18:46:34 +0000472 !isAtStatementSeparator(CurPtr) && // End of statement marker.
Nirav Davefd910412016-06-17 16:06:17 +0000473 *CurPtr != '\n' && *CurPtr != '\r' && CurPtr != CurBuf.end()) {
Chris Lattnercb307a272009-08-10 01:39:42 +0000474 ++CurPtr;
Kevin Enderbyf92f9902009-09-04 21:45:34 +0000475 }
Chris Lattnercb307a272009-08-10 01:39:42 +0000476 return StringRef(TokStart, CurPtr-TokStart);
477}
Chris Lattnerd0765612009-06-21 19:21:25 +0000478
Kevin Enderby72553612011-09-13 23:45:18 +0000479StringRef AsmLexer::LexUntilEndOfLine() {
480 TokStart = CurPtr;
481
Nirav Davefd910412016-06-17 16:06:17 +0000482 while (*CurPtr != '\n' && *CurPtr != '\r' && CurPtr != CurBuf.end()) {
Kevin Enderby72553612011-09-13 23:45:18 +0000483 ++CurPtr;
484 }
485 return StringRef(TokStart, CurPtr-TokStart);
486}
487
Benjamin Kramer1ee99a82015-08-17 14:35:25 +0000488size_t AsmLexer::peekTokens(MutableArrayRef<AsmToken> Buf,
489 bool ShouldSkipSpace) {
Saleem Abdulrasoola879fab2014-02-09 23:29:24 +0000490 const char *SavedTokStart = TokStart;
491 const char *SavedCurPtr = CurPtr;
Nirav Davefd910412016-06-17 16:06:17 +0000492 bool SavedAtStartOfLine = IsAtStartOfLine;
493 bool SavedAtStartOfStatement = IsAtStartOfStatement;
Saleem Abdulrasoola879fab2014-02-09 23:29:24 +0000494 bool SavedSkipSpace = SkipSpace;
495
496 std::string SavedErr = getErr();
497 SMLoc SavedErrLoc = getErrLoc();
498
499 SkipSpace = ShouldSkipSpace;
Benjamin Kramer1ee99a82015-08-17 14:35:25 +0000500
501 size_t ReadCount;
502 for (ReadCount = 0; ReadCount < Buf.size(); ++ReadCount) {
503 AsmToken Token = LexToken();
504
505 Buf[ReadCount] = Token;
506
507 if (Token.is(AsmToken::Eof))
508 break;
509 }
Saleem Abdulrasoola879fab2014-02-09 23:29:24 +0000510
511 SetError(SavedErrLoc, SavedErr);
512
513 SkipSpace = SavedSkipSpace;
Nirav Davefd910412016-06-17 16:06:17 +0000514 IsAtStartOfLine = SavedAtStartOfLine;
515 IsAtStartOfStatement = SavedAtStartOfStatement;
Saleem Abdulrasoola879fab2014-02-09 23:29:24 +0000516 CurPtr = SavedCurPtr;
517 TokStart = SavedTokStart;
518
Benjamin Kramer1ee99a82015-08-17 14:35:25 +0000519 return ReadCount;
Saleem Abdulrasoola879fab2014-02-09 23:29:24 +0000520}
521
Saleem Abdulrasoolbb67af42014-08-14 02:51:43 +0000522bool AsmLexer::isAtStartOfComment(const char *Ptr) {
523 const char *CommentString = MAI.getCommentString();
524
525 if (CommentString[1] == '\0')
526 return CommentString[0] == Ptr[0];
527
528 // FIXME: special case for the bogus "##" comment string in X86MCAsmInfoDarwin
529 if (CommentString[1] == '#')
530 return CommentString[0] == Ptr[0];
531
532 return strncmp(Ptr, CommentString, strlen(CommentString)) == 0;
Kevin Enderbyecd879a2009-09-16 18:08:00 +0000533}
534
Jim Grosbacha3df87f2011-03-24 18:46:34 +0000535bool AsmLexer::isAtStatementSeparator(const char *Ptr) {
536 return strncmp(Ptr, MAI.getSeparatorString(),
537 strlen(MAI.getSeparatorString())) == 0;
538}
539
Daniel Dunbar8368f4e2009-07-28 03:00:54 +0000540AsmToken AsmLexer::LexToken() {
Chris Lattnerc8dfbcb2009-06-21 07:19:10 +0000541 TokStart = CurPtr;
542 // This always consumes at least one character.
543 int CurChar = getNextChar();
Jim Grosbach01af6c42011-02-11 19:05:56 +0000544
Nirav Davefd910412016-06-17 16:06:17 +0000545 if (CurChar == '#' && IsAtStartOfStatement) {
546 // If this starts with a '#', this may be a cpp
547 // hash directive and otherwise a line comment.
548 AsmToken TokenBuf[2];
549 MutableArrayRef<AsmToken> Buf(TokenBuf, 2);
550 size_t num = peekTokens(Buf, true);
551 // There cannot be a space preceeding this
552 if (IsAtStartOfLine && num == 2 && TokenBuf[0].is(AsmToken::Integer) &&
553 TokenBuf[1].is(AsmToken::String)) {
554 CurPtr = TokStart; // reset curPtr;
555 StringRef s = LexUntilEndOfLine();
556 UnLex(TokenBuf[1]);
557 UnLex(TokenBuf[0]);
558 return AsmToken(AsmToken::HashDirective, s);
559 }
Kevin Enderbyecd879a2009-09-16 18:08:00 +0000560 return LexLineComment();
Kevin Enderby72553612011-09-13 23:45:18 +0000561 }
Nirav Davefd910412016-06-17 16:06:17 +0000562
563 if (isAtStartOfComment(TokStart))
564 return LexLineComment();
565
Jim Grosbacha3df87f2011-03-24 18:46:34 +0000566 if (isAtStatementSeparator(TokStart)) {
567 CurPtr += strlen(MAI.getSeparatorString()) - 1;
Nirav Davefd910412016-06-17 16:06:17 +0000568 IsAtStartOfLine = true;
569 IsAtStartOfStatement = true;
Jim Grosbacha3df87f2011-03-24 18:46:34 +0000570 return AsmToken(AsmToken::EndOfStatement,
571 StringRef(TokStart, strlen(MAI.getSeparatorString())));
572 }
Kevin Enderbyf92f9902009-09-04 21:45:34 +0000573
Jim Grosbacha9aa3c12011-09-15 16:52:06 +0000574 // If we're missing a newline at EOF, make sure we still get an
575 // EndOfStatement token before the Eof token.
Nirav Davefd910412016-06-17 16:06:17 +0000576 if (CurChar == EOF && !IsAtStartOfStatement) {
577 IsAtStartOfLine = true;
578 IsAtStartOfStatement = true;
Jim Grosbacha9aa3c12011-09-15 16:52:06 +0000579 return AsmToken(AsmToken::EndOfStatement, StringRef(TokStart, 1));
580 }
Nirav Davefd910412016-06-17 16:06:17 +0000581 IsAtStartOfLine = false;
582 bool OldIsAtStartOfStatement = IsAtStartOfStatement;
583 IsAtStartOfStatement = false;
Chris Lattnerc8dfbcb2009-06-21 07:19:10 +0000584 switch (CurChar) {
585 default:
Daniel Dunbarb0ceb762010-05-06 14:46:38 +0000586 // Handle identifier: [a-zA-Z_.][a-zA-Z0-9_$.@]*
587 if (isalpha(CurChar) || CurChar == '_' || CurChar == '.')
Chris Lattnerd0765612009-06-21 19:21:25 +0000588 return LexIdentifier();
Jim Grosbach01af6c42011-02-11 19:05:56 +0000589
Chris Lattnerc8dfbcb2009-06-21 07:19:10 +0000590 // Unknown character, emit an error.
Chris Lattnerb0133452009-06-21 20:16:42 +0000591 return ReturnError(TokStart, "invalid character in input");
Nirav Davefd910412016-06-17 16:06:17 +0000592 case EOF:
593 IsAtStartOfLine = true;
594 IsAtStartOfStatement = true;
595 return AsmToken(AsmToken::Eof, StringRef(TokStart, 0));
Chris Lattnerc8dfbcb2009-06-21 07:19:10 +0000596 case 0:
597 case ' ':
598 case '\t':
Nirav Davefd910412016-06-17 16:06:17 +0000599 IsAtStartOfStatement = OldIsAtStartOfStatement;
600 while (*CurPtr == ' ' || *CurPtr == '\t')
601 CurPtr++;
602 if (SkipSpace)
603 return LexToken(); // Ignore whitespace.
604 else
605 return AsmToken(AsmToken::Space, StringRef(TokStart, CurPtr - TokStart));
606 case '\n':
Jim Grosbacha3df87f2011-03-24 18:46:34 +0000607 case '\r':
Nirav Davefd910412016-06-17 16:06:17 +0000608 IsAtStartOfLine = true;
609 IsAtStartOfStatement = true;
Jim Grosbacha3df87f2011-03-24 18:46:34 +0000610 return AsmToken(AsmToken::EndOfStatement, StringRef(TokStart, 1));
Daniel Dunbarf2dcd772009-07-28 16:08:33 +0000611 case ':': return AsmToken(AsmToken::Colon, StringRef(TokStart, 1));
612 case '+': return AsmToken(AsmToken::Plus, StringRef(TokStart, 1));
613 case '-': return AsmToken(AsmToken::Minus, StringRef(TokStart, 1));
614 case '~': return AsmToken(AsmToken::Tilde, StringRef(TokStart, 1));
615 case '(': return AsmToken(AsmToken::LParen, StringRef(TokStart, 1));
616 case ')': return AsmToken(AsmToken::RParen, StringRef(TokStart, 1));
Kevin Enderby9c0f7fc2009-09-04 22:40:31 +0000617 case '[': return AsmToken(AsmToken::LBrac, StringRef(TokStart, 1));
618 case ']': return AsmToken(AsmToken::RBrac, StringRef(TokStart, 1));
619 case '{': return AsmToken(AsmToken::LCurly, StringRef(TokStart, 1));
620 case '}': return AsmToken(AsmToken::RCurly, StringRef(TokStart, 1));
Daniel Dunbarf2dcd772009-07-28 16:08:33 +0000621 case '*': return AsmToken(AsmToken::Star, StringRef(TokStart, 1));
622 case ',': return AsmToken(AsmToken::Comma, StringRef(TokStart, 1));
Daniel Dunbarb0ceb762010-05-06 14:46:38 +0000623 case '$': return AsmToken(AsmToken::Dollar, StringRef(TokStart, 1));
Matt Flemingec9d6fa2010-05-21 11:36:59 +0000624 case '@': return AsmToken(AsmToken::At, StringRef(TokStart, 1));
Rafael Espindola1134ab232011-06-05 02:43:45 +0000625 case '\\': return AsmToken(AsmToken::BackSlash, StringRef(TokStart, 1));
Jim Grosbach01af6c42011-02-11 19:05:56 +0000626 case '=':
Richard Trieu7a083812016-02-18 22:09:30 +0000627 if (*CurPtr == '=') {
628 ++CurPtr;
629 return AsmToken(AsmToken::EqualEqual, StringRef(TokStart, 2));
630 }
Daniel Dunbarf2dcd772009-07-28 16:08:33 +0000631 return AsmToken(AsmToken::Equal, StringRef(TokStart, 1));
Jim Grosbach01af6c42011-02-11 19:05:56 +0000632 case '|':
Richard Trieu7a083812016-02-18 22:09:30 +0000633 if (*CurPtr == '|') {
634 ++CurPtr;
635 return AsmToken(AsmToken::PipePipe, StringRef(TokStart, 2));
636 }
Daniel Dunbarf2dcd772009-07-28 16:08:33 +0000637 return AsmToken(AsmToken::Pipe, StringRef(TokStart, 1));
638 case '^': return AsmToken(AsmToken::Caret, StringRef(TokStart, 1));
Jim Grosbach01af6c42011-02-11 19:05:56 +0000639 case '&':
Richard Trieu7a083812016-02-18 22:09:30 +0000640 if (*CurPtr == '&') {
641 ++CurPtr;
642 return AsmToken(AsmToken::AmpAmp, StringRef(TokStart, 2));
643 }
Daniel Dunbarf2dcd772009-07-28 16:08:33 +0000644 return AsmToken(AsmToken::Amp, StringRef(TokStart, 1));
Jim Grosbach01af6c42011-02-11 19:05:56 +0000645 case '!':
Richard Trieu7a083812016-02-18 22:09:30 +0000646 if (*CurPtr == '=') {
647 ++CurPtr;
648 return AsmToken(AsmToken::ExclaimEqual, StringRef(TokStart, 2));
649 }
Daniel Dunbarf2dcd772009-07-28 16:08:33 +0000650 return AsmToken(AsmToken::Exclaim, StringRef(TokStart, 1));
Daniel Sanders3feeb9c2016-08-08 11:50:25 +0000651 case '%':
652 if (MAI.hasMipsExpressions()) {
653 AsmToken::TokenKind Operator;
654 unsigned OperatorLength;
655
656 std::tie(Operator, OperatorLength) =
657 StringSwitch<std::pair<AsmToken::TokenKind, unsigned>>(
658 StringRef(CurPtr))
659 .StartsWith("call16", {AsmToken::PercentCall16, 7})
660 .StartsWith("call_hi", {AsmToken::PercentCall_Hi, 8})
661 .StartsWith("call_lo", {AsmToken::PercentCall_Lo, 8})
662 .StartsWith("dtprel_hi", {AsmToken::PercentDtprel_Hi, 10})
663 .StartsWith("dtprel_lo", {AsmToken::PercentDtprel_Lo, 10})
664 .StartsWith("got_disp", {AsmToken::PercentGot_Disp, 9})
665 .StartsWith("got_hi", {AsmToken::PercentGot_Hi, 7})
666 .StartsWith("got_lo", {AsmToken::PercentGot_Lo, 7})
667 .StartsWith("got_ofst", {AsmToken::PercentGot_Ofst, 9})
668 .StartsWith("got_page", {AsmToken::PercentGot_Page, 9})
669 .StartsWith("gottprel", {AsmToken::PercentGottprel, 9})
670 .StartsWith("got", {AsmToken::PercentGot, 4})
671 .StartsWith("gp_rel", {AsmToken::PercentGp_Rel, 7})
672 .StartsWith("higher", {AsmToken::PercentHigher, 7})
673 .StartsWith("highest", {AsmToken::PercentHighest, 8})
674 .StartsWith("hi", {AsmToken::PercentHi, 3})
675 .StartsWith("lo", {AsmToken::PercentLo, 3})
676 .StartsWith("neg", {AsmToken::PercentNeg, 4})
677 .StartsWith("pcrel_hi", {AsmToken::PercentPcrel_Hi, 9})
678 .StartsWith("pcrel_lo", {AsmToken::PercentPcrel_Lo, 9})
679 .StartsWith("tlsgd", {AsmToken::PercentTlsgd, 6})
680 .StartsWith("tlsldm", {AsmToken::PercentTlsldm, 7})
681 .StartsWith("tprel_hi", {AsmToken::PercentTprel_Hi, 9})
682 .StartsWith("tprel_lo", {AsmToken::PercentTprel_Lo, 9})
683 .Default({AsmToken::Percent, 1});
684
685 if (Operator != AsmToken::Percent) {
686 CurPtr += OperatorLength - 1;
687 return AsmToken(Operator, StringRef(TokStart, OperatorLength));
688 }
689 }
690 return AsmToken(AsmToken::Percent, StringRef(TokStart, 1));
Nirav Davefd910412016-06-17 16:06:17 +0000691 case '/':
692 IsAtStartOfStatement = OldIsAtStartOfStatement;
693 return LexSlash();
Kevin Enderbyf92f9902009-09-04 21:45:34 +0000694 case '#': return AsmToken(AsmToken::Hash, StringRef(TokStart, 1));
Roman Divacky71d29162010-12-18 08:56:37 +0000695 case '\'': return LexSingleQuote();
Chris Lattner419a9742009-06-21 19:56:35 +0000696 case '"': return LexQuote();
Chris Lattnerd0765612009-06-21 19:21:25 +0000697 case '0': case '1': case '2': case '3': case '4':
698 case '5': case '6': case '7': case '8': case '9':
699 return LexDigit();
Chris Lattnerf97d8bb2009-06-23 05:57:07 +0000700 case '<':
Daniel Dunbar7e8d6c72009-06-29 20:37:27 +0000701 switch (*CurPtr) {
Richard Trieu7a083812016-02-18 22:09:30 +0000702 case '<':
703 ++CurPtr;
704 return AsmToken(AsmToken::LessLess, StringRef(TokStart, 2));
705 case '=':
706 ++CurPtr;
707 return AsmToken(AsmToken::LessEqual, StringRef(TokStart, 2));
708 case '>':
709 ++CurPtr;
710 return AsmToken(AsmToken::LessGreater, StringRef(TokStart, 2));
711 default:
712 return AsmToken(AsmToken::Less, StringRef(TokStart, 1));
Chris Lattnerf97d8bb2009-06-23 05:57:07 +0000713 }
Chris Lattnerf97d8bb2009-06-23 05:57:07 +0000714 case '>':
Daniel Dunbar7e8d6c72009-06-29 20:37:27 +0000715 switch (*CurPtr) {
Richard Trieu7a083812016-02-18 22:09:30 +0000716 case '>':
717 ++CurPtr;
718 return AsmToken(AsmToken::GreaterGreater, StringRef(TokStart, 2));
719 case '=':
720 ++CurPtr;
721 return AsmToken(AsmToken::GreaterEqual, StringRef(TokStart, 2));
722 default:
723 return AsmToken(AsmToken::Greater, StringRef(TokStart, 1));
Chris Lattnerf97d8bb2009-06-23 05:57:07 +0000724 }
Jim Grosbach01af6c42011-02-11 19:05:56 +0000725
Chris Lattnerd0765612009-06-21 19:21:25 +0000726 // TODO: Quoted identifiers (objc methods etc)
727 // local labels: [0-9][:]
728 // Forward/backward labels: [0-9][fb]
729 // Integers, fp constants, character constants.
Chris Lattnerc8dfbcb2009-06-21 07:19:10 +0000730 }
Duncan Sands376c6f12009-06-22 06:59:32 +0000731}