blob: 4dafa0eae94f25a7bab68fc931b7f98561214942 [file] [log] [blame]
Chris Lattnera59e8772009-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
14#include "AsmLexer.h"
15#include "llvm/Support/SourceMgr.h"
16#include "llvm/Support/MemoryBuffer.h"
Chris Lattnerbcd0b8d2009-06-23 00:24:36 +000017#include "llvm/Config/config.h" // for strtoull.
Chris Lattner4651bca2009-06-21 19:21:25 +000018#include <cerrno>
Duncan Sands66b9f292009-06-22 06:59:32 +000019#include <cstdio>
Chris Lattner4506bd22009-06-21 19:43:50 +000020#include <cstdlib>
Chris Lattnera59e8772009-06-21 07:19:10 +000021using namespace llvm;
22
Daniel Dunbarcb358b62009-07-28 03:00:54 +000023AsmLexer::AsmLexer(SourceMgr &SM) : SrcMgr(SM) {
Chris Lattnera59e8772009-06-21 07:19:10 +000024 CurBuffer = 0;
25 CurBuf = SrcMgr.getMemoryBuffer(CurBuffer);
26 CurPtr = CurBuf->getBufferStart();
27 TokStart = 0;
Chris Lattnerfaf32c12009-06-24 00:33:19 +000028}
29
30AsmLexer::~AsmLexer() {
Chris Lattnera59e8772009-06-21 07:19:10 +000031}
32
Chris Lattner4651bca2009-06-21 19:21:25 +000033SMLoc AsmLexer::getLoc() const {
34 return SMLoc::getFromPointer(TokStart);
35}
36
Daniel Dunbar3fb76832009-06-30 00:49:23 +000037void AsmLexer::PrintMessage(SMLoc Loc, const std::string &Msg,
38 const char *Type) const {
39 SrcMgr.PrintMessage(Loc, Msg, Type);
Chris Lattnera59e8772009-06-21 07:19:10 +000040}
41
Chris Lattner4651bca2009-06-21 19:21:25 +000042/// ReturnError - Set the error to the specified string at the specified
Daniel Dunbar3f872332009-07-28 16:08:33 +000043/// location. This is defined to always return AsmToken::Error.
Daniel Dunbarcb358b62009-07-28 03:00:54 +000044AsmToken AsmLexer::ReturnError(const char *Loc, const std::string &Msg) {
Daniel Dunbar3fb76832009-06-30 00:49:23 +000045 SrcMgr.PrintMessage(SMLoc::getFromPointer(Loc), Msg, "error");
Daniel Dunbar3f872332009-07-28 16:08:33 +000046 return AsmToken(AsmToken::Error, StringRef(Loc, 0));
Chris Lattner4651bca2009-06-21 19:21:25 +000047}
48
Chris Lattner8e25e2d2009-07-16 06:14:39 +000049/// EnterIncludeFile - Enter the specified file. This prints an error and
50/// returns true on failure.
51bool AsmLexer::EnterIncludeFile(const std::string &Filename) {
52 int NewBuf = SrcMgr.AddIncludeFile(Filename, SMLoc::getFromPointer(CurPtr));
53 if (NewBuf == -1)
54 return true;
55
56 // Save the line number and lex buffer of the includer.
57 CurBuffer = NewBuf;
58 CurBuf = SrcMgr.getMemoryBuffer(CurBuffer);
59 CurPtr = CurBuf->getBufferStart();
60 return false;
61}
62
63
Chris Lattnera59e8772009-06-21 07:19:10 +000064int AsmLexer::getNextChar() {
65 char CurChar = *CurPtr++;
66 switch (CurChar) {
67 default:
68 return (unsigned char)CurChar;
69 case 0: {
70 // A nul character in the stream is either the end of the current buffer or
71 // a random nul in the file. Disambiguate that here.
72 if (CurPtr-1 != CurBuf->getBufferEnd())
73 return 0; // Just whitespace.
74
75 // If this is the end of an included file, pop the parent file off the
76 // include stack.
77 SMLoc ParentIncludeLoc = SrcMgr.getParentIncludeLoc(CurBuffer);
78 if (ParentIncludeLoc != SMLoc()) {
79 CurBuffer = SrcMgr.FindBufferContainingLoc(ParentIncludeLoc);
80 CurBuf = SrcMgr.getMemoryBuffer(CurBuffer);
81 CurPtr = ParentIncludeLoc.getPointer();
Chris Lattner8e25e2d2009-07-16 06:14:39 +000082
83 // Reset the token start pointer to the start of the new file.
84 TokStart = CurPtr;
85
Chris Lattnera59e8772009-06-21 07:19:10 +000086 return getNextChar();
87 }
88
89 // Otherwise, return end of file.
90 --CurPtr; // Another call to lex will return EOF again.
91 return EOF;
92 }
93 }
94}
95
Chris Lattner4651bca2009-06-21 19:21:25 +000096/// LexIdentifier: [a-zA-Z_.][a-zA-Z0-9_$.@]*
Daniel Dunbarcb358b62009-07-28 03:00:54 +000097AsmToken AsmLexer::LexIdentifier() {
Chris Lattner4651bca2009-06-21 19:21:25 +000098 while (isalnum(*CurPtr) || *CurPtr == '_' || *CurPtr == '$' ||
99 *CurPtr == '.' || *CurPtr == '@')
100 ++CurPtr;
Daniel Dunbar3f872332009-07-28 16:08:33 +0000101 return AsmToken(AsmToken::Identifier, StringRef(TokStart, CurPtr - TokStart));
Chris Lattner4651bca2009-06-21 19:21:25 +0000102}
103
Chris Lattner4651bca2009-06-21 19:21:25 +0000104/// LexSlash: Slash: /
105/// C-Style Comment: /* ... */
Daniel Dunbarcb358b62009-07-28 03:00:54 +0000106AsmToken AsmLexer::LexSlash() {
Daniel Dunbar383a4a82009-06-29 21:58:22 +0000107 switch (*CurPtr) {
108 case '*': break; // C style comment.
109 case '/': return ++CurPtr, LexLineComment();
Daniel Dunbar3f872332009-07-28 16:08:33 +0000110 default: return AsmToken(AsmToken::Slash, StringRef(CurPtr, 1));
Daniel Dunbar383a4a82009-06-29 21:58:22 +0000111 }
Chris Lattner4651bca2009-06-21 19:21:25 +0000112
113 // C Style comment.
114 ++CurPtr; // skip the star.
115 while (1) {
116 int CurChar = getNextChar();
117 switch (CurChar) {
118 case EOF:
Chris Lattner27aa7d22009-06-21 20:16:42 +0000119 return ReturnError(TokStart, "unterminated comment");
Chris Lattner4651bca2009-06-21 19:21:25 +0000120 case '*':
121 // End of the comment?
122 if (CurPtr[0] != '/') break;
123
124 ++CurPtr; // End the */.
125 return LexToken();
126 }
127 }
128}
129
Daniel Dunbar383a4a82009-06-29 21:58:22 +0000130/// LexLineComment: Comment: #[^\n]*
131/// : //[^\n]*
Daniel Dunbarcb358b62009-07-28 03:00:54 +0000132AsmToken AsmLexer::LexLineComment() {
133 // FIXME: This is broken if we happen to a comment at the end of a file, which
134 // was .included, and which doesn't end with a newline.
Chris Lattner4651bca2009-06-21 19:21:25 +0000135 int CurChar = getNextChar();
136 while (CurChar != '\n' && CurChar != '\n' && CurChar != EOF)
137 CurChar = getNextChar();
138
139 if (CurChar == EOF)
Daniel Dunbar3f872332009-07-28 16:08:33 +0000140 return AsmToken(AsmToken::Eof, StringRef(CurPtr, 0));
141 return AsmToken(AsmToken::EndOfStatement, StringRef(CurPtr, 0));
Chris Lattner4651bca2009-06-21 19:21:25 +0000142}
143
144
145/// LexDigit: First character is [0-9].
146/// Local Label: [0-9][:]
147/// Forward/Backward Label: [0-9][fb]
148/// Binary integer: 0b[01]+
149/// Octal integer: 0[0-7]+
150/// Hex integer: 0x[0-9a-fA-F]+
151/// Decimal integer: [1-9][0-9]*
152/// TODO: FP literal.
Daniel Dunbarcb358b62009-07-28 03:00:54 +0000153AsmToken AsmLexer::LexDigit() {
Chris Lattner4651bca2009-06-21 19:21:25 +0000154 if (*CurPtr == ':')
Chris Lattner27aa7d22009-06-21 20:16:42 +0000155 return ReturnError(TokStart, "FIXME: local label not implemented");
Chris Lattner4651bca2009-06-21 19:21:25 +0000156 if (*CurPtr == 'f' || *CurPtr == 'b')
Chris Lattner27aa7d22009-06-21 20:16:42 +0000157 return ReturnError(TokStart, "FIXME: directional label not implemented");
Chris Lattner4651bca2009-06-21 19:21:25 +0000158
159 // Decimal integer: [1-9][0-9]*
160 if (CurPtr[-1] != '0') {
161 while (isdigit(*CurPtr))
162 ++CurPtr;
Daniel Dunbar3f872332009-07-28 16:08:33 +0000163 return AsmToken(AsmToken::Integer, StringRef(TokStart, CurPtr - TokStart),
Daniel Dunbarcb358b62009-07-28 03:00:54 +0000164 strtoll(TokStart, 0, 10));
Chris Lattner4651bca2009-06-21 19:21:25 +0000165 }
166
167 if (*CurPtr == 'b') {
168 ++CurPtr;
169 const char *NumStart = CurPtr;
170 while (CurPtr[0] == '0' || CurPtr[0] == '1')
171 ++CurPtr;
172
173 // Requires at least one binary digit.
174 if (CurPtr == NumStart)
175 return ReturnError(CurPtr-2, "Invalid binary number");
Daniel Dunbar3f872332009-07-28 16:08:33 +0000176 return AsmToken(AsmToken::Integer, StringRef(TokStart, CurPtr - TokStart),
Daniel Dunbarcb358b62009-07-28 03:00:54 +0000177 strtoll(NumStart, 0, 2));
Chris Lattner4651bca2009-06-21 19:21:25 +0000178 }
179
180 if (*CurPtr == 'x') {
181 ++CurPtr;
182 const char *NumStart = CurPtr;
183 while (isxdigit(CurPtr[0]))
184 ++CurPtr;
185
186 // Requires at least one hex digit.
187 if (CurPtr == NumStart)
188 return ReturnError(CurPtr-2, "Invalid hexadecimal number");
189
190 errno = 0;
Chris Lattner4651bca2009-06-21 19:21:25 +0000191 if (errno == EINVAL)
192 return ReturnError(CurPtr-2, "Invalid hexadecimal number");
193 if (errno == ERANGE) {
194 errno = 0;
Chris Lattner4651bca2009-06-21 19:21:25 +0000195 if (errno == EINVAL)
196 return ReturnError(CurPtr-2, "Invalid hexadecimal number");
197 if (errno == ERANGE)
198 return ReturnError(CurPtr-2, "Hexadecimal number out of range");
199 }
Daniel Dunbar3f872332009-07-28 16:08:33 +0000200 return AsmToken(AsmToken::Integer, StringRef(TokStart, CurPtr - TokStart),
Daniel Dunbarcb358b62009-07-28 03:00:54 +0000201 (int64_t) strtoull(NumStart, 0, 16));
Chris Lattner4651bca2009-06-21 19:21:25 +0000202 }
203
204 // Must be an octal number, it starts with 0.
205 while (*CurPtr >= '0' && *CurPtr <= '7')
206 ++CurPtr;
Daniel Dunbar3f872332009-07-28 16:08:33 +0000207 return AsmToken(AsmToken::Integer, StringRef(TokStart, CurPtr - TokStart),
Daniel Dunbarcb358b62009-07-28 03:00:54 +0000208 strtoll(TokStart, 0, 8));
Chris Lattner4651bca2009-06-21 19:21:25 +0000209}
210
Chris Lattner10a907d2009-06-21 19:56:35 +0000211/// LexQuote: String: "..."
Daniel Dunbarcb358b62009-07-28 03:00:54 +0000212AsmToken AsmLexer::LexQuote() {
Chris Lattner10a907d2009-06-21 19:56:35 +0000213 int CurChar = getNextChar();
214 // TODO: does gas allow multiline string constants?
215 while (CurChar != '"') {
216 if (CurChar == '\\') {
217 // Allow \", etc.
218 CurChar = getNextChar();
219 }
220
Chris Lattner14ee48a2009-06-21 21:22:11 +0000221 if (CurChar == EOF)
222 return ReturnError(TokStart, "unterminated string constant");
Chris Lattner10a907d2009-06-21 19:56:35 +0000223
224 CurChar = getNextChar();
225 }
226
Daniel Dunbar3f872332009-07-28 16:08:33 +0000227 return AsmToken(AsmToken::String, StringRef(TokStart, CurPtr - TokStart));
Chris Lattner10a907d2009-06-21 19:56:35 +0000228}
229
Chris Lattnerff4bc462009-08-10 01:39:42 +0000230StringRef AsmLexer::LexUntilEndOfStatement() {
231 TokStart = CurPtr;
232
233 while (*CurPtr != '#' && // Start of line comment.
234 *CurPtr != ';' && // End of statement marker.
235 *CurPtr != '\n' &&
236 *CurPtr != '\r' &&
237 (*CurPtr != 0 || CurPtr != CurBuf->getBufferEnd()))
238 ++CurPtr;
239 return StringRef(TokStart, CurPtr-TokStart);
240}
Chris Lattner4651bca2009-06-21 19:21:25 +0000241
Daniel Dunbarcb358b62009-07-28 03:00:54 +0000242AsmToken AsmLexer::LexToken() {
Chris Lattnera59e8772009-06-21 07:19:10 +0000243 TokStart = CurPtr;
244 // This always consumes at least one character.
245 int CurChar = getNextChar();
246
247 switch (CurChar) {
248 default:
Chris Lattner4651bca2009-06-21 19:21:25 +0000249 // Handle identifier: [a-zA-Z_.][a-zA-Z0-9_$.@]*
250 if (isalpha(CurChar) || CurChar == '_' || CurChar == '.')
251 return LexIdentifier();
Chris Lattnera59e8772009-06-21 07:19:10 +0000252
253 // Unknown character, emit an error.
Chris Lattner27aa7d22009-06-21 20:16:42 +0000254 return ReturnError(TokStart, "invalid character in input");
Daniel Dunbar3f872332009-07-28 16:08:33 +0000255 case EOF: return AsmToken(AsmToken::Eof, StringRef(TokStart, 0));
Chris Lattnera59e8772009-06-21 07:19:10 +0000256 case 0:
257 case ' ':
258 case '\t':
Chris Lattnera59e8772009-06-21 07:19:10 +0000259 // Ignore whitespace.
260 return LexToken();
Chris Lattner4651bca2009-06-21 19:21:25 +0000261 case '\n': // FALL THROUGH.
262 case '\r': // FALL THROUGH.
Daniel Dunbar3f872332009-07-28 16:08:33 +0000263 case ';': return AsmToken(AsmToken::EndOfStatement, StringRef(TokStart, 1));
264 case ':': return AsmToken(AsmToken::Colon, StringRef(TokStart, 1));
265 case '+': return AsmToken(AsmToken::Plus, StringRef(TokStart, 1));
266 case '-': return AsmToken(AsmToken::Minus, StringRef(TokStart, 1));
267 case '~': return AsmToken(AsmToken::Tilde, StringRef(TokStart, 1));
268 case '(': return AsmToken(AsmToken::LParen, StringRef(TokStart, 1));
269 case ')': return AsmToken(AsmToken::RParen, StringRef(TokStart, 1));
270 case '*': return AsmToken(AsmToken::Star, StringRef(TokStart, 1));
271 case ',': return AsmToken(AsmToken::Comma, StringRef(TokStart, 1));
272 case '$': return AsmToken(AsmToken::Dollar, StringRef(TokStart, 1));
Daniel Dunbar475839e2009-06-29 20:37:27 +0000273 case '=':
274 if (*CurPtr == '=')
Daniel Dunbar3f872332009-07-28 16:08:33 +0000275 return ++CurPtr, AsmToken(AsmToken::EqualEqual, StringRef(TokStart, 2));
276 return AsmToken(AsmToken::Equal, StringRef(TokStart, 1));
Daniel Dunbar475839e2009-06-29 20:37:27 +0000277 case '|':
278 if (*CurPtr == '|')
Daniel Dunbar3f872332009-07-28 16:08:33 +0000279 return ++CurPtr, AsmToken(AsmToken::PipePipe, StringRef(TokStart, 2));
280 return AsmToken(AsmToken::Pipe, StringRef(TokStart, 1));
281 case '^': return AsmToken(AsmToken::Caret, StringRef(TokStart, 1));
Daniel Dunbar475839e2009-06-29 20:37:27 +0000282 case '&':
283 if (*CurPtr == '&')
Daniel Dunbar3f872332009-07-28 16:08:33 +0000284 return ++CurPtr, AsmToken(AsmToken::AmpAmp, StringRef(TokStart, 2));
285 return AsmToken(AsmToken::Amp, StringRef(TokStart, 1));
Daniel Dunbar475839e2009-06-29 20:37:27 +0000286 case '!':
287 if (*CurPtr == '=')
Daniel Dunbar3f872332009-07-28 16:08:33 +0000288 return ++CurPtr, AsmToken(AsmToken::ExclaimEqual, StringRef(TokStart, 2));
289 return AsmToken(AsmToken::Exclaim, StringRef(TokStart, 1));
Kevin Enderby7b4608d2009-09-03 17:15:07 +0000290 case '%': return AsmToken(AsmToken::Percent, StringRef(TokStart, 1));
Chris Lattner4651bca2009-06-21 19:21:25 +0000291 case '/': return LexSlash();
Daniel Dunbar383a4a82009-06-29 21:58:22 +0000292 case '#': return LexLineComment();
Chris Lattner10a907d2009-06-21 19:56:35 +0000293 case '"': return LexQuote();
Chris Lattner4651bca2009-06-21 19:21:25 +0000294 case '0': case '1': case '2': case '3': case '4':
295 case '5': case '6': case '7': case '8': case '9':
296 return LexDigit();
Chris Lattner8dfbe6c2009-06-23 05:57:07 +0000297 case '<':
Daniel Dunbar475839e2009-06-29 20:37:27 +0000298 switch (*CurPtr) {
Daniel Dunbar3f872332009-07-28 16:08:33 +0000299 case '<': return ++CurPtr, AsmToken(AsmToken::LessLess,
Daniel Dunbarcb358b62009-07-28 03:00:54 +0000300 StringRef(TokStart, 2));
Daniel Dunbar3f872332009-07-28 16:08:33 +0000301 case '=': return ++CurPtr, AsmToken(AsmToken::LessEqual,
Daniel Dunbarcb358b62009-07-28 03:00:54 +0000302 StringRef(TokStart, 2));
Daniel Dunbar3f872332009-07-28 16:08:33 +0000303 case '>': return ++CurPtr, AsmToken(AsmToken::LessGreater,
Daniel Dunbarcb358b62009-07-28 03:00:54 +0000304 StringRef(TokStart, 2));
Daniel Dunbar3f872332009-07-28 16:08:33 +0000305 default: return AsmToken(AsmToken::Less, StringRef(TokStart, 1));
Chris Lattner8dfbe6c2009-06-23 05:57:07 +0000306 }
Chris Lattner8dfbe6c2009-06-23 05:57:07 +0000307 case '>':
Daniel Dunbar475839e2009-06-29 20:37:27 +0000308 switch (*CurPtr) {
Daniel Dunbar3f872332009-07-28 16:08:33 +0000309 case '>': return ++CurPtr, AsmToken(AsmToken::GreaterGreater,
Daniel Dunbarcb358b62009-07-28 03:00:54 +0000310 StringRef(TokStart, 2));
Daniel Dunbar3f872332009-07-28 16:08:33 +0000311 case '=': return ++CurPtr, AsmToken(AsmToken::GreaterEqual,
Daniel Dunbarcb358b62009-07-28 03:00:54 +0000312 StringRef(TokStart, 2));
Daniel Dunbar3f872332009-07-28 16:08:33 +0000313 default: return AsmToken(AsmToken::Greater, StringRef(TokStart, 1));
Chris Lattner8dfbe6c2009-06-23 05:57:07 +0000314 }
Chris Lattner4651bca2009-06-21 19:21:25 +0000315
316 // TODO: Quoted identifiers (objc methods etc)
317 // local labels: [0-9][:]
318 // Forward/backward labels: [0-9][fb]
319 // Integers, fp constants, character constants.
Chris Lattnera59e8772009-06-21 07:19:10 +0000320 }
Duncan Sands66b9f292009-06-22 06:59:32 +0000321}