Chris Lattner | c8dfbcb | 2009-06-21 07:19:10 +0000 | [diff] [blame] | 1 | //===- 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 Zelenko | 33d7b76 | 2016-08-23 17:14:32 +0000 | [diff] [blame] | 14 | #include "llvm/ADT/APInt.h" |
| 15 | #include "llvm/ADT/ArrayRef.h" |
Daniel Sanders | 3feeb9c | 2016-08-08 11:50:25 +0000 | [diff] [blame] | 16 | #include "llvm/ADT/StringSwitch.h" |
Eugene Zelenko | 33d7b76 | 2016-08-23 17:14:32 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/StringRef.h" |
Chris Lattner | 5b0e01c | 2010-01-22 01:58:08 +0000 | [diff] [blame] | 18 | #include "llvm/MC/MCParser/AsmLexer.h" |
Eugene Zelenko | 33d7b76 | 2016-08-23 17:14:32 +0000 | [diff] [blame] | 19 | #include "llvm/MC/MCParser/MCAsmLexer.h" |
Kevin Enderby | f92f990 | 2009-09-04 21:45:34 +0000 | [diff] [blame] | 20 | #include "llvm/MC/MCAsmInfo.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 21 | #include "llvm/Support/SMLoc.h" |
Eugene Zelenko | 33d7b76 | 2016-08-23 17:14:32 +0000 | [diff] [blame] | 22 | #include <cassert> |
Nick Lewycky | 0de20af | 2010-12-19 20:43:38 +0000 | [diff] [blame] | 23 | #include <cctype> |
Duncan Sands | 376c6f1 | 2009-06-22 06:59:32 +0000 | [diff] [blame] | 24 | #include <cstdio> |
Eugene Zelenko | 33d7b76 | 2016-08-23 17:14:32 +0000 | [diff] [blame] | 25 | #include <cstring> |
Daniel Sanders | 3feeb9c | 2016-08-08 11:50:25 +0000 | [diff] [blame] | 26 | #include <tuple> |
Eugene Zelenko | 33d7b76 | 2016-08-23 17:14:32 +0000 | [diff] [blame] | 27 | #include <string> |
| 28 | #include <utility> |
Daniel Sanders | 3feeb9c | 2016-08-08 11:50:25 +0000 | [diff] [blame] | 29 | |
Chris Lattner | c8dfbcb | 2009-06-21 07:19:10 +0000 | [diff] [blame] | 30 | using namespace llvm; |
| 31 | |
David Blaikie | 9f380a3 | 2015-03-16 18:06:57 +0000 | [diff] [blame] | 32 | AsmLexer::AsmLexer(const MCAsmInfo &MAI) : MAI(MAI) { |
Craig Topper | 353eda4 | 2014-04-24 06:44:33 +0000 | [diff] [blame] | 33 | CurPtr = nullptr; |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 34 | IsAtStartOfLine = true; |
| 35 | IsAtStartOfStatement = true; |
Yunzhong Gao | 27ea29b | 2016-09-02 23:15:29 +0000 | [diff] [blame^] | 36 | IsParsingMSInlineAsm = false; |
David Peixotto | 27aa001 | 2013-12-06 23:05:33 +0000 | [diff] [blame] | 37 | AllowAtInIdentifier = !StringRef(MAI.getCommentString()).startswith("@"); |
Chris Lattner | 4c501fc | 2009-06-24 00:33:19 +0000 | [diff] [blame] | 38 | } |
| 39 | |
| 40 | AsmLexer::~AsmLexer() { |
Chris Lattner | c8dfbcb | 2009-06-21 07:19:10 +0000 | [diff] [blame] | 41 | } |
| 42 | |
Rafael Espindola | 8026bd0 | 2014-07-06 14:17:29 +0000 | [diff] [blame] | 43 | void AsmLexer::setBuffer(StringRef Buf, const char *ptr) { |
| 44 | CurBuf = Buf; |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 45 | |
Sean Callanan | 7a77eae | 2010-01-21 00:19:58 +0000 | [diff] [blame] | 46 | if (ptr) |
| 47 | CurPtr = ptr; |
| 48 | else |
Rafael Espindola | 8026bd0 | 2014-07-06 14:17:29 +0000 | [diff] [blame] | 49 | CurPtr = CurBuf.begin(); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 50 | |
Craig Topper | 353eda4 | 2014-04-24 06:44:33 +0000 | [diff] [blame] | 51 | TokStart = nullptr; |
Sean Callanan | 7a77eae | 2010-01-21 00:19:58 +0000 | [diff] [blame] | 52 | } |
| 53 | |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 54 | /// ReturnError - Set the error to the specified string at the specified |
Daniel Dunbar | f2dcd77 | 2009-07-28 16:08:33 +0000 | [diff] [blame] | 55 | /// location. This is defined to always return AsmToken::Error. |
Daniel Dunbar | 8368f4e | 2009-07-28 03:00:54 +0000 | [diff] [blame] | 56 | AsmToken AsmLexer::ReturnError(const char *Loc, const std::string &Msg) { |
Sean Callanan | 70855e4 | 2010-01-20 22:18:24 +0000 | [diff] [blame] | 57 | SetError(SMLoc::getFromPointer(Loc), Msg); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 58 | |
Nirav Dave | 1180e689 | 2016-06-02 17:15:05 +0000 | [diff] [blame] | 59 | return AsmToken(AsmToken::Error, StringRef(Loc, CurPtr - Loc)); |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 60 | } |
| 61 | |
Chris Lattner | c8dfbcb | 2009-06-21 07:19:10 +0000 | [diff] [blame] | 62 | int AsmLexer::getNextChar() { |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 63 | if (CurPtr == CurBuf.end()) |
Chris Lattner | c8dfbcb | 2009-06-21 07:19:10 +0000 | [diff] [blame] | 64 | return EOF; |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 65 | return (unsigned char)*CurPtr++; |
Chris Lattner | c8dfbcb | 2009-06-21 07:19:10 +0000 | [diff] [blame] | 66 | } |
| 67 | |
Daniel Dunbar | d116d8a | 2010-09-27 20:12:52 +0000 | [diff] [blame] | 68 | /// 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. |
| 73 | AsmToken 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 Northover | 1f25623 | 2013-08-14 14:23:31 +0000 | [diff] [blame] | 93 | /// 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. |
| 99 | AsmToken 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 Wennborg | ce69d77 | 2013-10-18 20:46:28 +0000 | [diff] [blame] | 140 | /// LexIdentifier: [a-zA-Z_.][a-zA-Z0-9_$.@?]* |
David Peixotto | 2cdc56d | 2013-12-06 20:35:58 +0000 | [diff] [blame] | 141 | static bool IsIdentifierChar(char c, bool AllowAt) { |
| 142 | return isalnum(c) || c == '_' || c == '$' || c == '.' || |
| 143 | (c == '@' && AllowAt) || c == '?'; |
Daniel Dunbar | 3068a93 | 2010-09-24 01:59:31 +0000 | [diff] [blame] | 144 | } |
Eugene Zelenko | 33d7b76 | 2016-08-23 17:14:32 +0000 | [diff] [blame] | 145 | |
Daniel Dunbar | 8368f4e | 2009-07-28 03:00:54 +0000 | [diff] [blame] | 146 | AsmToken AsmLexer::LexIdentifier() { |
Daniel Dunbar | 3068a93 | 2010-09-24 01:59:31 +0000 | [diff] [blame] | 147 | // Check for floating point literals. |
| 148 | if (CurPtr[-1] == '.' && isdigit(*CurPtr)) { |
Daniel Dunbar | d116d8a | 2010-09-27 20:12:52 +0000 | [diff] [blame] | 149 | // Disambiguate a .1243foo identifier from a floating literal. |
Daniel Dunbar | 3068a93 | 2010-09-24 01:59:31 +0000 | [diff] [blame] | 150 | while (isdigit(*CurPtr)) |
| 151 | ++CurPtr; |
David Peixotto | 2cdc56d | 2013-12-06 20:35:58 +0000 | [diff] [blame] | 152 | if (*CurPtr == 'e' || *CurPtr == 'E' || |
| 153 | !IsIdentifierChar(*CurPtr, AllowAtInIdentifier)) |
Daniel Dunbar | d116d8a | 2010-09-27 20:12:52 +0000 | [diff] [blame] | 154 | return LexFloatLiteral(); |
Daniel Dunbar | 3068a93 | 2010-09-24 01:59:31 +0000 | [diff] [blame] | 155 | } |
| 156 | |
David Peixotto | 2cdc56d | 2013-12-06 20:35:58 +0000 | [diff] [blame] | 157 | while (IsIdentifierChar(*CurPtr, AllowAtInIdentifier)) |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 158 | ++CurPtr; |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 159 | |
Chris Lattner | 6b55cb9 | 2010-04-14 04:40:28 +0000 | [diff] [blame] | 160 | // Handle . as a special case. |
Daniel Dunbar | b0ceb76 | 2010-05-06 14:46:38 +0000 | [diff] [blame] | 161 | if (CurPtr == TokStart+1 && TokStart[0] == '.') |
| 162 | return AsmToken(AsmToken::Dot, StringRef(TokStart, 1)); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 163 | |
Daniel Dunbar | f2dcd77 | 2009-07-28 16:08:33 +0000 | [diff] [blame] | 164 | return AsmToken(AsmToken::Identifier, StringRef(TokStart, CurPtr - TokStart)); |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 165 | } |
| 166 | |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 167 | /// LexSlash: Slash: / |
| 168 | /// C-Style Comment: /* ... */ |
Daniel Dunbar | 8368f4e | 2009-07-28 03:00:54 +0000 | [diff] [blame] | 169 | AsmToken AsmLexer::LexSlash() { |
Daniel Dunbar | 6b22f9c | 2009-06-29 21:58:22 +0000 | [diff] [blame] | 170 | switch (*CurPtr) { |
Richard Trieu | 7a08381 | 2016-02-18 22:09:30 +0000 | [diff] [blame] | 171 | case '*': |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 172 | IsAtStartOfStatement = false; |
Richard Trieu | 7a08381 | 2016-02-18 22:09:30 +0000 | [diff] [blame] | 173 | break; // C style comment. |
| 174 | case '/': |
| 175 | ++CurPtr; |
| 176 | return LexLineComment(); |
| 177 | default: |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 178 | IsAtStartOfStatement = false; |
| 179 | return AsmToken(AsmToken::Slash, StringRef(TokStart, 1)); |
Daniel Dunbar | 6b22f9c | 2009-06-29 21:58:22 +0000 | [diff] [blame] | 180 | } |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 181 | |
| 182 | // C Style comment. |
| 183 | ++CurPtr; // skip the star. |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 184 | while (CurPtr != CurBuf.end()) { |
| 185 | switch (*CurPtr++) { |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 186 | case '*': |
| 187 | // End of the comment? |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 188 | if (*CurPtr != '/') |
| 189 | break; |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 190 | ++CurPtr; // End the */. |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 191 | return AsmToken(AsmToken::Comment, |
| 192 | StringRef(TokStart, CurPtr - TokStart)); |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 193 | } |
| 194 | } |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 195 | return ReturnError(TokStart, "unterminated comment"); |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 196 | } |
| 197 | |
Daniel Dunbar | 6b22f9c | 2009-06-29 21:58:22 +0000 | [diff] [blame] | 198 | /// LexLineComment: Comment: #[^\n]* |
| 199 | /// : //[^\n]* |
Daniel Dunbar | 8368f4e | 2009-07-28 03:00:54 +0000 | [diff] [blame] | 200 | AsmToken AsmLexer::LexLineComment() { |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 201 | // 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 Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 205 | int CurChar = getNextChar(); |
Chris Lattner | e8baa38 | 2011-08-04 19:31:26 +0000 | [diff] [blame] | 206 | while (CurChar != '\n' && CurChar != '\r' && CurChar != EOF) |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 207 | CurChar = getNextChar(); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 208 | |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 209 | IsAtStartOfLine = true; |
Nirav Dave | 8b3dc87 | 2016-07-29 14:42:00 +0000 | [diff] [blame] | 210 | // This is a whole line comment. leave newline |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 211 | 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 Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 218 | } |
| 219 | |
Chris Lattner | 02db8f6 | 2010-08-24 00:43:25 +0000 | [diff] [blame] | 220 | static void SkipIgnoredIntegerSuffix(const char *&CurPtr) { |
Jim Grosbach | 94a2260 | 2013-02-26 20:17:10 +0000 | [diff] [blame] | 221 | // 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 Lattner | 02db8f6 | 2010-08-24 00:43:25 +0000 | [diff] [blame] | 228 | } |
| 229 | |
Chad Rosier | 8bc6556 | 2013-02-12 01:00:01 +0000 | [diff] [blame] | 230 | // 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. |
| 232 | static unsigned doLookAhead(const char *&CurPtr, unsigned DefaultRadix) { |
Craig Topper | 353eda4 | 2014-04-24 06:44:33 +0000 | [diff] [blame] | 233 | const char *FirstHex = nullptr; |
Chad Rosier | 8bc6556 | 2013-02-12 01:00:01 +0000 | [diff] [blame] | 234 | const char *LookAhead = CurPtr; |
Eugene Zelenko | 33d7b76 | 2016-08-23 17:14:32 +0000 | [diff] [blame] | 235 | while (true) { |
Chad Rosier | 8bc6556 | 2013-02-12 01:00:01 +0000 | [diff] [blame] | 236 | 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 Espindola | 86d5345 | 2013-02-14 16:23:08 +0000 | [diff] [blame] | 247 | CurPtr = isHex || !FirstHex ? LookAhead : FirstHex; |
Chad Rosier | 8bc6556 | 2013-02-12 01:00:01 +0000 | [diff] [blame] | 248 | if (isHex) |
| 249 | return 16; |
| 250 | return DefaultRadix; |
| 251 | } |
| 252 | |
David Woodhouse | f42a666 | 2014-02-01 16:20:54 +0000 | [diff] [blame] | 253 | static 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 Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 260 | /// LexDigit: First character is [0-9]. |
| 261 | /// Local Label: [0-9][:] |
Rafael Espindola | 86d5345 | 2013-02-14 16:23:08 +0000 | [diff] [blame] | 262 | /// Forward/Backward Label: [0-9][fb] |
| 263 | /// Binary integer: 0b[01]+ |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 264 | /// Octal integer: 0[0-7]+ |
Chad Rosier | 8bc6556 | 2013-02-12 01:00:01 +0000 | [diff] [blame] | 265 | /// Hex integer: 0x[0-9a-fA-F]+ or [0x]?[0-9][0-9a-fA-F]*[hH] |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 266 | /// Decimal integer: [1-9][0-9]* |
Daniel Dunbar | 8368f4e | 2009-07-28 03:00:54 +0000 | [diff] [blame] | 267 | AsmToken AsmLexer::LexDigit() { |
Yunzhong Gao | 27ea29b | 2016-09-02 23:15:29 +0000 | [diff] [blame^] | 268 | // 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 Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 307 | // Decimal integer: [1-9][0-9]* |
Daniel Dunbar | ce17f72 | 2010-09-24 17:10:26 +0000 | [diff] [blame] | 308 | if (CurPtr[-1] != '0' || CurPtr[0] == '.') { |
Chad Rosier | 8bc6556 | 2013-02-12 01:00:01 +0000 | [diff] [blame] | 309 | unsigned Radix = doLookAhead(CurPtr, 10); |
Rafael Espindola | 86d5345 | 2013-02-14 16:23:08 +0000 | [diff] [blame] | 310 | bool isHex = Radix == 16; |
Daniel Dunbar | 3068a93 | 2010-09-24 01:59:31 +0000 | [diff] [blame] | 311 | // Check for floating point literals. |
Rafael Espindola | 86d5345 | 2013-02-14 16:23:08 +0000 | [diff] [blame] | 312 | if (!isHex && (*CurPtr == '.' || *CurPtr == 'e')) { |
Daniel Dunbar | 3068a93 | 2010-09-24 01:59:31 +0000 | [diff] [blame] | 313 | ++CurPtr; |
Daniel Dunbar | d116d8a | 2010-09-27 20:12:52 +0000 | [diff] [blame] | 314 | return LexFloatLiteral(); |
Daniel Dunbar | 3068a93 | 2010-09-24 01:59:31 +0000 | [diff] [blame] | 315 | } |
| 316 | |
Chris Lattner | e649401 | 2010-01-22 07:34:12 +0000 | [diff] [blame] | 317 | StringRef Result(TokStart, CurPtr - TokStart); |
Chris Lattner | 02db8f6 | 2010-08-24 00:43:25 +0000 | [diff] [blame] | 318 | |
David Woodhouse | f42a666 | 2014-02-01 16:20:54 +0000 | [diff] [blame] | 319 | APInt Value(128, 0, true); |
| 320 | if (Result.getAsInteger(Radix, Value)) |
| 321 | return ReturnError(TokStart, !isHex ? "invalid decimal number" : |
Chad Rosier | 8bc6556 | 2013-02-12 01:00:01 +0000 | [diff] [blame] | 322 | "invalid hexdecimal number"); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 323 | |
Chad Rosier | 8bc6556 | 2013-02-12 01:00:01 +0000 | [diff] [blame] | 324 | // Consume the [bB][hH]. |
| 325 | if (Radix == 2 || Radix == 16) |
| 326 | ++CurPtr; |
| 327 | |
Jim Grosbach | 94a2260 | 2013-02-26 20:17:10 +0000 | [diff] [blame] | 328 | // The darwin/x86 (and x86-64) assembler accepts and ignores type |
| 329 | // suffices on integer literals. |
Chris Lattner | 02db8f6 | 2010-08-24 00:43:25 +0000 | [diff] [blame] | 330 | SkipIgnoredIntegerSuffix(CurPtr); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 331 | |
David Woodhouse | f42a666 | 2014-02-01 16:20:54 +0000 | [diff] [blame] | 332 | return intToken(Result, Value); |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 333 | } |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 334 | |
Yunzhong Gao | 27ea29b | 2016-09-02 23:15:29 +0000 | [diff] [blame^] | 335 | if (!IsParsingMSInlineAsm && ((*CurPtr == 'b') || (*CurPtr == 'B'))) { |
Rafael Espindola | 86d5345 | 2013-02-14 16:23:08 +0000 | [diff] [blame] | 336 | ++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 Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 344 | while (CurPtr[0] == '0' || CurPtr[0] == '1') |
| 345 | ++CurPtr; |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 346 | |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 347 | // Requires at least one binary digit. |
| 348 | if (CurPtr == NumStart) |
Eric Christopher | ffc0e1f | 2011-04-12 00:18:03 +0000 | [diff] [blame] | 349 | return ReturnError(TokStart, "invalid binary number"); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 350 | |
Chris Lattner | e649401 | 2010-01-22 07:34:12 +0000 | [diff] [blame] | 351 | StringRef Result(TokStart, CurPtr - TokStart); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 352 | |
David Woodhouse | f42a666 | 2014-02-01 16:20:54 +0000 | [diff] [blame] | 353 | APInt Value(128, 0, true); |
Chris Lattner | 02db8f6 | 2010-08-24 00:43:25 +0000 | [diff] [blame] | 354 | if (Result.substr(2).getAsInteger(2, Value)) |
Eric Christopher | ffc0e1f | 2011-04-12 00:18:03 +0000 | [diff] [blame] | 355 | return ReturnError(TokStart, "invalid binary number"); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 356 | |
Chris Lattner | 02db8f6 | 2010-08-24 00:43:25 +0000 | [diff] [blame] | 357 | // The darwin/x86 (and x86-64) assembler accepts and ignores ULL and LL |
| 358 | // suffixes on integer literals. |
| 359 | SkipIgnoredIntegerSuffix(CurPtr); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 360 | |
David Woodhouse | f42a666 | 2014-02-01 16:20:54 +0000 | [diff] [blame] | 361 | return intToken(Result, Value); |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 362 | } |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 363 | |
Colin LeMahieu | 0143146 | 2016-03-18 18:22:07 +0000 | [diff] [blame] | 364 | if ((*CurPtr == 'x') || (*CurPtr == 'X')) { |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 365 | ++CurPtr; |
| 366 | const char *NumStart = CurPtr; |
| 367 | while (isxdigit(CurPtr[0])) |
| 368 | ++CurPtr; |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 369 | |
Tim Northover | 1f25623 | 2013-08-14 14:23:31 +0000 | [diff] [blame] | 370 | // "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 Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 376 | if (CurPtr == NumStart) |
Eric Christopher | ffc0e1f | 2011-04-12 00:18:03 +0000 | [diff] [blame] | 377 | return ReturnError(CurPtr-2, "invalid hexadecimal number"); |
Chris Lattner | 6401c88 | 2010-01-22 01:17:12 +0000 | [diff] [blame] | 378 | |
David Woodhouse | f42a666 | 2014-02-01 16:20:54 +0000 | [diff] [blame] | 379 | APInt Result(128, 0); |
Chris Lattner | 6401c88 | 2010-01-22 01:17:12 +0000 | [diff] [blame] | 380 | if (StringRef(TokStart, CurPtr - TokStart).getAsInteger(0, Result)) |
Eric Christopher | ffc0e1f | 2011-04-12 00:18:03 +0000 | [diff] [blame] | 381 | return ReturnError(TokStart, "invalid hexadecimal number"); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 382 | |
Chad Rosier | 8bc6556 | 2013-02-12 01:00:01 +0000 | [diff] [blame] | 383 | // Consume the optional [hH]. |
Yunzhong Gao | 27ea29b | 2016-09-02 23:15:29 +0000 | [diff] [blame^] | 384 | if (!IsParsingMSInlineAsm && (*CurPtr == 'h' || *CurPtr == 'H')) |
Chad Rosier | 8bc6556 | 2013-02-12 01:00:01 +0000 | [diff] [blame] | 385 | ++CurPtr; |
| 386 | |
Chris Lattner | 02db8f6 | 2010-08-24 00:43:25 +0000 | [diff] [blame] | 387 | // The darwin/x86 (and x86-64) assembler accepts and ignores ULL and LL |
| 388 | // suffixes on integer literals. |
| 389 | SkipIgnoredIntegerSuffix(CurPtr); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 390 | |
David Woodhouse | f42a666 | 2014-02-01 16:20:54 +0000 | [diff] [blame] | 391 | return intToken(StringRef(TokStart, CurPtr - TokStart), Result); |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 392 | } |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 393 | |
Matt Beaumont-Gay | 0e760da | 2013-02-25 18:11:18 +0000 | [diff] [blame] | 394 | // Either octal or hexadecimal. |
David Woodhouse | f42a666 | 2014-02-01 16:20:54 +0000 | [diff] [blame] | 395 | APInt Value(128, 0, true); |
Chad Rosier | 8bc6556 | 2013-02-12 01:00:01 +0000 | [diff] [blame] | 396 | unsigned Radix = doLookAhead(CurPtr, 8); |
Rafael Espindola | 86d5345 | 2013-02-14 16:23:08 +0000 | [diff] [blame] | 397 | bool isHex = Radix == 16; |
Chad Rosier | 8bc6556 | 2013-02-12 01:00:01 +0000 | [diff] [blame] | 398 | StringRef Result(TokStart, CurPtr - TokStart); |
| 399 | if (Result.getAsInteger(Radix, Value)) |
Rafael Espindola | 86d5345 | 2013-02-14 16:23:08 +0000 | [diff] [blame] | 400 | return ReturnError(TokStart, !isHex ? "invalid octal number" : |
Chad Rosier | 559cea4 | 2013-02-12 01:12:24 +0000 | [diff] [blame] | 401 | "invalid hexdecimal number"); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 402 | |
Rafael Espindola | 86d5345 | 2013-02-14 16:23:08 +0000 | [diff] [blame] | 403 | // Consume the [hH]. |
| 404 | if (Radix == 16) |
Chad Rosier | 8bc6556 | 2013-02-12 01:00:01 +0000 | [diff] [blame] | 405 | ++CurPtr; |
| 406 | |
Chris Lattner | 02db8f6 | 2010-08-24 00:43:25 +0000 | [diff] [blame] | 407 | // The darwin/x86 (and x86-64) assembler accepts and ignores ULL and LL |
| 408 | // suffixes on integer literals. |
| 409 | SkipIgnoredIntegerSuffix(CurPtr); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 410 | |
David Woodhouse | f42a666 | 2014-02-01 16:20:54 +0000 | [diff] [blame] | 411 | return intToken(Result, Value); |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 412 | } |
| 413 | |
Roman Divacky | 71d2916 | 2010-12-18 08:56:37 +0000 | [diff] [blame] | 414 | /// LexSingleQuote: Integer: 'b' |
| 415 | AsmToken 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 Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 446 | return AsmToken(AsmToken::Integer, Res, Value); |
Roman Divacky | 71d2916 | 2010-12-18 08:56:37 +0000 | [diff] [blame] | 447 | } |
| 448 | |
Chris Lattner | 419a974 | 2009-06-21 19:56:35 +0000 | [diff] [blame] | 449 | /// LexQuote: String: "..." |
Daniel Dunbar | 8368f4e | 2009-07-28 03:00:54 +0000 | [diff] [blame] | 450 | AsmToken AsmLexer::LexQuote() { |
Chris Lattner | 419a974 | 2009-06-21 19:56:35 +0000 | [diff] [blame] | 451 | 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 Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 458 | |
Chris Lattner | 2adc9e7 | 2009-06-21 21:22:11 +0000 | [diff] [blame] | 459 | if (CurChar == EOF) |
| 460 | return ReturnError(TokStart, "unterminated string constant"); |
Chris Lattner | 419a974 | 2009-06-21 19:56:35 +0000 | [diff] [blame] | 461 | |
| 462 | CurChar = getNextChar(); |
| 463 | } |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 464 | |
Daniel Dunbar | f2dcd77 | 2009-07-28 16:08:33 +0000 | [diff] [blame] | 465 | return AsmToken(AsmToken::String, StringRef(TokStart, CurPtr - TokStart)); |
Chris Lattner | 419a974 | 2009-06-21 19:56:35 +0000 | [diff] [blame] | 466 | } |
| 467 | |
Chris Lattner | cb307a27 | 2009-08-10 01:39:42 +0000 | [diff] [blame] | 468 | StringRef AsmLexer::LexUntilEndOfStatement() { |
| 469 | TokStart = CurPtr; |
| 470 | |
Saleem Abdulrasool | bb67af4 | 2014-08-14 02:51:43 +0000 | [diff] [blame] | 471 | while (!isAtStartOfComment(CurPtr) && // Start of line comment. |
Jim Grosbach | a3df87f | 2011-03-24 18:46:34 +0000 | [diff] [blame] | 472 | !isAtStatementSeparator(CurPtr) && // End of statement marker. |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 473 | *CurPtr != '\n' && *CurPtr != '\r' && CurPtr != CurBuf.end()) { |
Chris Lattner | cb307a27 | 2009-08-10 01:39:42 +0000 | [diff] [blame] | 474 | ++CurPtr; |
Kevin Enderby | f92f990 | 2009-09-04 21:45:34 +0000 | [diff] [blame] | 475 | } |
Chris Lattner | cb307a27 | 2009-08-10 01:39:42 +0000 | [diff] [blame] | 476 | return StringRef(TokStart, CurPtr-TokStart); |
| 477 | } |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 478 | |
Kevin Enderby | 7255361 | 2011-09-13 23:45:18 +0000 | [diff] [blame] | 479 | StringRef AsmLexer::LexUntilEndOfLine() { |
| 480 | TokStart = CurPtr; |
| 481 | |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 482 | while (*CurPtr != '\n' && *CurPtr != '\r' && CurPtr != CurBuf.end()) { |
Kevin Enderby | 7255361 | 2011-09-13 23:45:18 +0000 | [diff] [blame] | 483 | ++CurPtr; |
| 484 | } |
| 485 | return StringRef(TokStart, CurPtr-TokStart); |
| 486 | } |
| 487 | |
Benjamin Kramer | 1ee99a8 | 2015-08-17 14:35:25 +0000 | [diff] [blame] | 488 | size_t AsmLexer::peekTokens(MutableArrayRef<AsmToken> Buf, |
| 489 | bool ShouldSkipSpace) { |
Saleem Abdulrasool | a879fab | 2014-02-09 23:29:24 +0000 | [diff] [blame] | 490 | const char *SavedTokStart = TokStart; |
| 491 | const char *SavedCurPtr = CurPtr; |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 492 | bool SavedAtStartOfLine = IsAtStartOfLine; |
| 493 | bool SavedAtStartOfStatement = IsAtStartOfStatement; |
Saleem Abdulrasool | a879fab | 2014-02-09 23:29:24 +0000 | [diff] [blame] | 494 | bool SavedSkipSpace = SkipSpace; |
| 495 | |
| 496 | std::string SavedErr = getErr(); |
| 497 | SMLoc SavedErrLoc = getErrLoc(); |
| 498 | |
| 499 | SkipSpace = ShouldSkipSpace; |
Benjamin Kramer | 1ee99a8 | 2015-08-17 14:35:25 +0000 | [diff] [blame] | 500 | |
| 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 Abdulrasool | a879fab | 2014-02-09 23:29:24 +0000 | [diff] [blame] | 510 | |
| 511 | SetError(SavedErrLoc, SavedErr); |
| 512 | |
| 513 | SkipSpace = SavedSkipSpace; |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 514 | IsAtStartOfLine = SavedAtStartOfLine; |
| 515 | IsAtStartOfStatement = SavedAtStartOfStatement; |
Saleem Abdulrasool | a879fab | 2014-02-09 23:29:24 +0000 | [diff] [blame] | 516 | CurPtr = SavedCurPtr; |
| 517 | TokStart = SavedTokStart; |
| 518 | |
Benjamin Kramer | 1ee99a8 | 2015-08-17 14:35:25 +0000 | [diff] [blame] | 519 | return ReadCount; |
Saleem Abdulrasool | a879fab | 2014-02-09 23:29:24 +0000 | [diff] [blame] | 520 | } |
| 521 | |
Saleem Abdulrasool | bb67af4 | 2014-08-14 02:51:43 +0000 | [diff] [blame] | 522 | bool 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 Enderby | ecd879a | 2009-09-16 18:08:00 +0000 | [diff] [blame] | 533 | } |
| 534 | |
Jim Grosbach | a3df87f | 2011-03-24 18:46:34 +0000 | [diff] [blame] | 535 | bool AsmLexer::isAtStatementSeparator(const char *Ptr) { |
| 536 | return strncmp(Ptr, MAI.getSeparatorString(), |
| 537 | strlen(MAI.getSeparatorString())) == 0; |
| 538 | } |
| 539 | |
Daniel Dunbar | 8368f4e | 2009-07-28 03:00:54 +0000 | [diff] [blame] | 540 | AsmToken AsmLexer::LexToken() { |
Chris Lattner | c8dfbcb | 2009-06-21 07:19:10 +0000 | [diff] [blame] | 541 | TokStart = CurPtr; |
| 542 | // This always consumes at least one character. |
| 543 | int CurChar = getNextChar(); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 544 | |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 545 | 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 Enderby | ecd879a | 2009-09-16 18:08:00 +0000 | [diff] [blame] | 560 | return LexLineComment(); |
Kevin Enderby | 7255361 | 2011-09-13 23:45:18 +0000 | [diff] [blame] | 561 | } |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 562 | |
| 563 | if (isAtStartOfComment(TokStart)) |
| 564 | return LexLineComment(); |
| 565 | |
Jim Grosbach | a3df87f | 2011-03-24 18:46:34 +0000 | [diff] [blame] | 566 | if (isAtStatementSeparator(TokStart)) { |
| 567 | CurPtr += strlen(MAI.getSeparatorString()) - 1; |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 568 | IsAtStartOfLine = true; |
| 569 | IsAtStartOfStatement = true; |
Jim Grosbach | a3df87f | 2011-03-24 18:46:34 +0000 | [diff] [blame] | 570 | return AsmToken(AsmToken::EndOfStatement, |
| 571 | StringRef(TokStart, strlen(MAI.getSeparatorString()))); |
| 572 | } |
Kevin Enderby | f92f990 | 2009-09-04 21:45:34 +0000 | [diff] [blame] | 573 | |
Jim Grosbach | a9aa3c1 | 2011-09-15 16:52:06 +0000 | [diff] [blame] | 574 | // If we're missing a newline at EOF, make sure we still get an |
| 575 | // EndOfStatement token before the Eof token. |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 576 | if (CurChar == EOF && !IsAtStartOfStatement) { |
| 577 | IsAtStartOfLine = true; |
| 578 | IsAtStartOfStatement = true; |
Jim Grosbach | a9aa3c1 | 2011-09-15 16:52:06 +0000 | [diff] [blame] | 579 | return AsmToken(AsmToken::EndOfStatement, StringRef(TokStart, 1)); |
| 580 | } |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 581 | IsAtStartOfLine = false; |
| 582 | bool OldIsAtStartOfStatement = IsAtStartOfStatement; |
| 583 | IsAtStartOfStatement = false; |
Chris Lattner | c8dfbcb | 2009-06-21 07:19:10 +0000 | [diff] [blame] | 584 | switch (CurChar) { |
| 585 | default: |
Daniel Dunbar | b0ceb76 | 2010-05-06 14:46:38 +0000 | [diff] [blame] | 586 | // Handle identifier: [a-zA-Z_.][a-zA-Z0-9_$.@]* |
| 587 | if (isalpha(CurChar) || CurChar == '_' || CurChar == '.') |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 588 | return LexIdentifier(); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 589 | |
Chris Lattner | c8dfbcb | 2009-06-21 07:19:10 +0000 | [diff] [blame] | 590 | // Unknown character, emit an error. |
Chris Lattner | b013345 | 2009-06-21 20:16:42 +0000 | [diff] [blame] | 591 | return ReturnError(TokStart, "invalid character in input"); |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 592 | case EOF: |
| 593 | IsAtStartOfLine = true; |
| 594 | IsAtStartOfStatement = true; |
| 595 | return AsmToken(AsmToken::Eof, StringRef(TokStart, 0)); |
Chris Lattner | c8dfbcb | 2009-06-21 07:19:10 +0000 | [diff] [blame] | 596 | case 0: |
| 597 | case ' ': |
| 598 | case '\t': |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 599 | 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 Grosbach | a3df87f | 2011-03-24 18:46:34 +0000 | [diff] [blame] | 607 | case '\r': |
Nirav Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 608 | IsAtStartOfLine = true; |
| 609 | IsAtStartOfStatement = true; |
Jim Grosbach | a3df87f | 2011-03-24 18:46:34 +0000 | [diff] [blame] | 610 | return AsmToken(AsmToken::EndOfStatement, StringRef(TokStart, 1)); |
Daniel Dunbar | f2dcd77 | 2009-07-28 16:08:33 +0000 | [diff] [blame] | 611 | 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 Enderby | 9c0f7fc | 2009-09-04 22:40:31 +0000 | [diff] [blame] | 617 | 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 Dunbar | f2dcd77 | 2009-07-28 16:08:33 +0000 | [diff] [blame] | 621 | case '*': return AsmToken(AsmToken::Star, StringRef(TokStart, 1)); |
| 622 | case ',': return AsmToken(AsmToken::Comma, StringRef(TokStart, 1)); |
Daniel Dunbar | b0ceb76 | 2010-05-06 14:46:38 +0000 | [diff] [blame] | 623 | case '$': return AsmToken(AsmToken::Dollar, StringRef(TokStart, 1)); |
Matt Fleming | ec9d6fa | 2010-05-21 11:36:59 +0000 | [diff] [blame] | 624 | case '@': return AsmToken(AsmToken::At, StringRef(TokStart, 1)); |
Rafael Espindola | 1134ab23 | 2011-06-05 02:43:45 +0000 | [diff] [blame] | 625 | case '\\': return AsmToken(AsmToken::BackSlash, StringRef(TokStart, 1)); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 626 | case '=': |
Richard Trieu | 7a08381 | 2016-02-18 22:09:30 +0000 | [diff] [blame] | 627 | if (*CurPtr == '=') { |
| 628 | ++CurPtr; |
| 629 | return AsmToken(AsmToken::EqualEqual, StringRef(TokStart, 2)); |
| 630 | } |
Daniel Dunbar | f2dcd77 | 2009-07-28 16:08:33 +0000 | [diff] [blame] | 631 | return AsmToken(AsmToken::Equal, StringRef(TokStart, 1)); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 632 | case '|': |
Richard Trieu | 7a08381 | 2016-02-18 22:09:30 +0000 | [diff] [blame] | 633 | if (*CurPtr == '|') { |
| 634 | ++CurPtr; |
| 635 | return AsmToken(AsmToken::PipePipe, StringRef(TokStart, 2)); |
| 636 | } |
Daniel Dunbar | f2dcd77 | 2009-07-28 16:08:33 +0000 | [diff] [blame] | 637 | return AsmToken(AsmToken::Pipe, StringRef(TokStart, 1)); |
| 638 | case '^': return AsmToken(AsmToken::Caret, StringRef(TokStart, 1)); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 639 | case '&': |
Richard Trieu | 7a08381 | 2016-02-18 22:09:30 +0000 | [diff] [blame] | 640 | if (*CurPtr == '&') { |
| 641 | ++CurPtr; |
| 642 | return AsmToken(AsmToken::AmpAmp, StringRef(TokStart, 2)); |
| 643 | } |
Daniel Dunbar | f2dcd77 | 2009-07-28 16:08:33 +0000 | [diff] [blame] | 644 | return AsmToken(AsmToken::Amp, StringRef(TokStart, 1)); |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 645 | case '!': |
Richard Trieu | 7a08381 | 2016-02-18 22:09:30 +0000 | [diff] [blame] | 646 | if (*CurPtr == '=') { |
| 647 | ++CurPtr; |
| 648 | return AsmToken(AsmToken::ExclaimEqual, StringRef(TokStart, 2)); |
| 649 | } |
Daniel Dunbar | f2dcd77 | 2009-07-28 16:08:33 +0000 | [diff] [blame] | 650 | return AsmToken(AsmToken::Exclaim, StringRef(TokStart, 1)); |
Daniel Sanders | 3feeb9c | 2016-08-08 11:50:25 +0000 | [diff] [blame] | 651 | 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 Dave | fd91041 | 2016-06-17 16:06:17 +0000 | [diff] [blame] | 691 | case '/': |
| 692 | IsAtStartOfStatement = OldIsAtStartOfStatement; |
| 693 | return LexSlash(); |
Kevin Enderby | f92f990 | 2009-09-04 21:45:34 +0000 | [diff] [blame] | 694 | case '#': return AsmToken(AsmToken::Hash, StringRef(TokStart, 1)); |
Roman Divacky | 71d2916 | 2010-12-18 08:56:37 +0000 | [diff] [blame] | 695 | case '\'': return LexSingleQuote(); |
Chris Lattner | 419a974 | 2009-06-21 19:56:35 +0000 | [diff] [blame] | 696 | case '"': return LexQuote(); |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 697 | 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 Lattner | f97d8bb | 2009-06-23 05:57:07 +0000 | [diff] [blame] | 700 | case '<': |
Daniel Dunbar | 7e8d6c7 | 2009-06-29 20:37:27 +0000 | [diff] [blame] | 701 | switch (*CurPtr) { |
Richard Trieu | 7a08381 | 2016-02-18 22:09:30 +0000 | [diff] [blame] | 702 | 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 Lattner | f97d8bb | 2009-06-23 05:57:07 +0000 | [diff] [blame] | 713 | } |
Chris Lattner | f97d8bb | 2009-06-23 05:57:07 +0000 | [diff] [blame] | 714 | case '>': |
Daniel Dunbar | 7e8d6c7 | 2009-06-29 20:37:27 +0000 | [diff] [blame] | 715 | switch (*CurPtr) { |
Richard Trieu | 7a08381 | 2016-02-18 22:09:30 +0000 | [diff] [blame] | 716 | 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 Lattner | f97d8bb | 2009-06-23 05:57:07 +0000 | [diff] [blame] | 724 | } |
Jim Grosbach | 01af6c4 | 2011-02-11 19:05:56 +0000 | [diff] [blame] | 725 | |
Chris Lattner | d076561 | 2009-06-21 19:21:25 +0000 | [diff] [blame] | 726 | // 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 Lattner | c8dfbcb | 2009-06-21 07:19:10 +0000 | [diff] [blame] | 730 | } |
Duncan Sands | 376c6f1 | 2009-06-22 06:59:32 +0000 | [diff] [blame] | 731 | } |