blob: d4762a4219137df3c6621ee939873011aff1871e [file] [log] [blame]
Chris Lattnerda4ab672007-11-18 02:57:27 +00001//===- TGLexer.cpp - Lexer for TableGen -----------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner8adcd9f2007-12-29 20:37:13 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattnerda4ab672007-11-18 02:57:27 +00007//
8//===----------------------------------------------------------------------===//
9//
10// Implement the Lexer for TableGen.
11//
12//===----------------------------------------------------------------------===//
13
Chris Lattner98c39512007-11-18 05:25:45 +000014#include "TGLexer.h"
Bill Wendling55bc7182010-12-08 20:02:49 +000015#include "llvm/ADT/StringSwitch.h"
16#include "llvm/ADT/Twine.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "llvm/Config/config.h" // for strtoull()/strtoll() define
Eugene Zelenko33d7b762016-08-23 17:14:32 +000018#include "llvm/Support/Compiler.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/Support/MemoryBuffer.h"
20#include "llvm/Support/SourceMgr.h"
21#include "llvm/TableGen/Error.h"
Chris Lattnerda4ab672007-11-18 02:57:27 +000022#include <cctype>
Chandler Carruthed0881b2012-12-03 16:50:05 +000023#include <cerrno>
Eugene Zelenko33d7b762016-08-23 17:14:32 +000024#include <cstdint>
Duncan Sands26ff6f92008-10-08 07:23:46 +000025#include <cstdio>
Anton Korobeynikov579f0712008-02-20 11:08:44 +000026#include <cstdlib>
27#include <cstring>
Dylan Noblesmith345b7432011-12-22 23:08:39 +000028
Chris Lattnerda4ab672007-11-18 02:57:27 +000029using namespace llvm;
30
Chris Lattnerfd255752009-06-21 03:41:50 +000031TGLexer::TGLexer(SourceMgr &SM) : SrcMgr(SM) {
Alp Tokera55b95b2014-07-06 10:33:31 +000032 CurBuffer = SrcMgr.getMainFileID();
Rafael Espindolaa3c65092014-07-06 14:24:03 +000033 CurBuf = SrcMgr.getMemoryBuffer(CurBuffer)->getBuffer();
34 CurPtr = CurBuf.begin();
Craig Topper011817a2014-04-09 04:50:04 +000035 TokStart = nullptr;
Chris Lattnerda4ab672007-11-18 02:57:27 +000036}
37
Chris Lattner526c8cb2009-06-21 03:39:35 +000038SMLoc TGLexer::getLoc() const {
39 return SMLoc::getFromPointer(TokStart);
Chris Lattner87710ca2009-03-13 16:01:53 +000040}
41
Chris Lattner1a262962007-11-19 07:38:58 +000042/// ReturnError - Set the error to the specified string at the specified
Chris Lattnerf4127dd2007-11-22 20:49:04 +000043/// location. This is defined to always return tgtok::Error.
Benjamin Kramerc7583112010-09-27 17:42:11 +000044tgtok::TokKind TGLexer::ReturnError(const char *Loc, const Twine &Msg) {
Chris Lattner1a262962007-11-19 07:38:58 +000045 PrintError(Loc, Msg);
Chris Lattnerf4127dd2007-11-22 20:49:04 +000046 return tgtok::Error;
Chris Lattner1a262962007-11-19 07:38:58 +000047}
Chris Lattnerda4ab672007-11-18 02:57:27 +000048
Chris Lattnerda4ab672007-11-18 02:57:27 +000049int TGLexer::getNextChar() {
50 char CurChar = *CurPtr++;
51 switch (CurChar) {
52 default:
Chris Lattner60700282007-11-18 05:48:46 +000053 return (unsigned char)CurChar;
Chris Lattner8db9bc72009-03-13 07:05:43 +000054 case 0: {
Chris Lattnerda4ab672007-11-18 02:57:27 +000055 // A nul character in the stream is either the end of the current buffer or
56 // a random nul in the file. Disambiguate that here.
Rafael Espindolaa3c65092014-07-06 14:24:03 +000057 if (CurPtr-1 != CurBuf.end())
Chris Lattnerda4ab672007-11-18 02:57:27 +000058 return 0; // Just whitespace.
Nicolai Haehnle169ec092018-03-09 18:32:04 +000059
Chris Lattnerda4ab672007-11-18 02:57:27 +000060 // If this is the end of an included file, pop the parent file off the
61 // include stack.
Chris Lattner526c8cb2009-06-21 03:39:35 +000062 SMLoc ParentIncludeLoc = SrcMgr.getParentIncludeLoc(CurBuffer);
63 if (ParentIncludeLoc != SMLoc()) {
Chris Lattner8db9bc72009-03-13 07:05:43 +000064 CurBuffer = SrcMgr.FindBufferContainingLoc(ParentIncludeLoc);
Rafael Espindolaa3c65092014-07-06 14:24:03 +000065 CurBuf = SrcMgr.getMemoryBuffer(CurBuffer)->getBuffer();
Chris Lattner87710ca2009-03-13 16:01:53 +000066 CurPtr = ParentIncludeLoc.getPointer();
Chris Lattnerda4ab672007-11-18 02:57:27 +000067 return getNextChar();
68 }
Nicolai Haehnle169ec092018-03-09 18:32:04 +000069
Chris Lattnerda4ab672007-11-18 02:57:27 +000070 // Otherwise, return end of file.
Nicolai Haehnle169ec092018-03-09 18:32:04 +000071 --CurPtr; // Another call to lex will return EOF again.
Chris Lattnerda4ab672007-11-18 02:57:27 +000072 return EOF;
Chris Lattner8db9bc72009-03-13 07:05:43 +000073 }
Chris Lattnerda4ab672007-11-18 02:57:27 +000074 case '\n':
75 case '\r':
76 // Handle the newline character by ignoring it and incrementing the line
77 // count. However, be careful about 'dos style' files with \n\r in them.
78 // Only treat a \n\r or \r\n as a single line.
79 if ((*CurPtr == '\n' || (*CurPtr == '\r')) &&
80 *CurPtr != CurChar)
Chris Lattner60700282007-11-18 05:48:46 +000081 ++CurPtr; // Eat the two char newline sequence.
Chris Lattnerda4ab672007-11-18 02:57:27 +000082 return '\n';
Nicolai Haehnle169ec092018-03-09 18:32:04 +000083 }
Chris Lattnerda4ab672007-11-18 02:57:27 +000084}
85
David Greene9ba42082011-10-19 13:03:35 +000086int TGLexer::peekNextChar(int Index) {
87 return *(CurPtr + Index);
88}
89
Chris Lattnerf4127dd2007-11-22 20:49:04 +000090tgtok::TokKind TGLexer::LexToken() {
Chris Lattner4205d252007-11-19 07:43:52 +000091 TokStart = CurPtr;
Chris Lattnerda4ab672007-11-18 02:57:27 +000092 // This always consumes at least one character.
93 int CurChar = getNextChar();
94
95 switch (CurChar) {
96 default:
David Greene8e85b482011-10-19 13:04:43 +000097 // Handle letters: [a-zA-Z_]
98 if (isalpha(CurChar) || CurChar == '_')
Chris Lattnerda4ab672007-11-18 02:57:27 +000099 return LexIdentifier();
David Greene8e85b482011-10-19 13:04:43 +0000100
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000101 // Unknown character, emit an error.
102 return ReturnError(TokStart, "Unexpected character");
103 case EOF: return tgtok::Eof;
104 case ':': return tgtok::colon;
105 case ';': return tgtok::semi;
106 case '.': return tgtok::period;
107 case ',': return tgtok::comma;
108 case '<': return tgtok::less;
109 case '>': return tgtok::greater;
110 case ']': return tgtok::r_square;
111 case '{': return tgtok::l_brace;
112 case '}': return tgtok::r_brace;
113 case '(': return tgtok::l_paren;
114 case ')': return tgtok::r_paren;
115 case '=': return tgtok::equal;
116 case '?': return tgtok::question;
David Greene8e85b482011-10-19 13:04:43 +0000117 case '#': return tgtok::paste;
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000118
Chris Lattnerda4ab672007-11-18 02:57:27 +0000119 case 0:
120 case ' ':
121 case '\t':
122 case '\n':
123 case '\r':
124 // Ignore whitespace.
125 return LexToken();
126 case '/':
127 // If this is the start of a // comment, skip until the end of the line or
128 // the end of the buffer.
129 if (*CurPtr == '/')
130 SkipBCPLComment();
131 else if (*CurPtr == '*') {
132 if (SkipCComment())
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000133 return tgtok::Error;
134 } else // Otherwise, this is an error.
135 return ReturnError(TokStart, "Unexpected character");
Chris Lattnerda4ab672007-11-18 02:57:27 +0000136 return LexToken();
137 case '-': case '+':
138 case '0': case '1': case '2': case '3': case '4': case '5': case '6':
David Greene5c9fa022011-10-19 13:03:39 +0000139 case '7': case '8': case '9': {
140 int NextChar = 0;
141 if (isdigit(CurChar)) {
142 // Allow identifiers to start with a number if it is followed by
143 // an identifier. This can happen with paste operations like
144 // foo#8i.
145 int i = 0;
146 do {
147 NextChar = peekNextChar(i++);
148 } while (isdigit(NextChar));
149
150 if (NextChar == 'x' || NextChar == 'b') {
151 // If this is [0-9]b[01] or [0-9]x[0-9A-fa-f] this is most
152 // likely a number.
153 int NextNextChar = peekNextChar(i);
154 switch (NextNextChar) {
155 default:
156 break;
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000157 case '0': case '1':
David Greene5c9fa022011-10-19 13:03:39 +0000158 if (NextChar == 'b')
159 return LexNumber();
Justin Bognerb03fd122016-08-17 05:10:15 +0000160 LLVM_FALLTHROUGH;
David Greene5c9fa022011-10-19 13:03:39 +0000161 case '2': case '3': case '4': case '5':
162 case '6': case '7': case '8': case '9':
163 case 'a': case 'b': case 'c': case 'd': case 'e': case 'f':
164 case 'A': case 'B': case 'C': case 'D': case 'E': case 'F':
165 if (NextChar == 'x')
166 return LexNumber();
167 break;
168 }
169 }
170 }
171
172 if (isalpha(NextChar) || NextChar == '_')
173 return LexIdentifier();
174
Chris Lattnerda4ab672007-11-18 02:57:27 +0000175 return LexNumber();
David Greene5c9fa022011-10-19 13:03:39 +0000176 }
Chris Lattnerda4ab672007-11-18 02:57:27 +0000177 case '"': return LexString();
178 case '$': return LexVarName();
179 case '[': return LexBracket();
180 case '!': return LexExclaim();
181 }
182}
183
184/// LexString - Lex "[^"]*"
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000185tgtok::TokKind TGLexer::LexString() {
Chris Lattnerda4ab672007-11-18 02:57:27 +0000186 const char *StrStart = CurPtr;
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000187
Chris Lattner1bd36742009-03-13 21:03:27 +0000188 CurStrVal = "";
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000189
Chris Lattnerda4ab672007-11-18 02:57:27 +0000190 while (*CurPtr != '"') {
191 // If we hit the end of the buffer, report an error.
Rafael Espindolaa3c65092014-07-06 14:24:03 +0000192 if (*CurPtr == 0 && CurPtr == CurBuf.end())
Chris Lattner1a262962007-11-19 07:38:58 +0000193 return ReturnError(StrStart, "End of file in string literal");
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000194
Chris Lattner1a262962007-11-19 07:38:58 +0000195 if (*CurPtr == '\n' || *CurPtr == '\r')
196 return ReturnError(StrStart, "End of line in string literal");
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000197
Chris Lattner1bd36742009-03-13 21:03:27 +0000198 if (*CurPtr != '\\') {
199 CurStrVal += *CurPtr++;
200 continue;
201 }
202
Chris Lattnerda4ab672007-11-18 02:57:27 +0000203 ++CurPtr;
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000204
Chris Lattner1bd36742009-03-13 21:03:27 +0000205 switch (*CurPtr) {
206 case '\\': case '\'': case '"':
207 // These turn into their literal character.
208 CurStrVal += *CurPtr++;
209 break;
Chris Lattnera614ef22009-03-13 21:23:43 +0000210 case 't':
Chris Lattner8bd06d82009-03-13 21:33:17 +0000211 CurStrVal += '\t';
Chris Lattnera614ef22009-03-13 21:23:43 +0000212 ++CurPtr;
213 break;
214 case 'n':
Chris Lattner8bd06d82009-03-13 21:33:17 +0000215 CurStrVal += '\n';
Chris Lattnera614ef22009-03-13 21:23:43 +0000216 ++CurPtr;
217 break;
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000218
Chris Lattner1bd36742009-03-13 21:03:27 +0000219 case '\n':
220 case '\r':
221 return ReturnError(CurPtr, "escaped newlines not supported in tblgen");
222
223 // If we hit the end of the buffer, report an error.
224 case '\0':
Rafael Espindolaa3c65092014-07-06 14:24:03 +0000225 if (CurPtr == CurBuf.end())
Chris Lattner1bd36742009-03-13 21:03:27 +0000226 return ReturnError(StrStart, "End of file in string literal");
Justin Bognercd1d5aa2016-08-17 20:30:52 +0000227 LLVM_FALLTHROUGH;
Chris Lattner1bd36742009-03-13 21:03:27 +0000228 default:
229 return ReturnError(CurPtr, "invalid escape in string literal");
230 }
Chris Lattnerda4ab672007-11-18 02:57:27 +0000231 }
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000232
Chris Lattnerda4ab672007-11-18 02:57:27 +0000233 ++CurPtr;
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000234 return tgtok::StrVal;
Chris Lattnerda4ab672007-11-18 02:57:27 +0000235}
236
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000237tgtok::TokKind TGLexer::LexVarName() {
Chris Lattnerda4ab672007-11-18 02:57:27 +0000238 if (!isalpha(CurPtr[0]) && CurPtr[0] != '_')
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000239 return ReturnError(TokStart, "Invalid variable name");
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000240
Chris Lattnerda4ab672007-11-18 02:57:27 +0000241 // Otherwise, we're ok, consume the rest of the characters.
242 const char *VarNameStart = CurPtr++;
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000243
Chris Lattnerda4ab672007-11-18 02:57:27 +0000244 while (isalpha(*CurPtr) || isdigit(*CurPtr) || *CurPtr == '_')
245 ++CurPtr;
246
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000247 CurStrVal.assign(VarNameStart, CurPtr);
248 return tgtok::VarName;
Chris Lattnerda4ab672007-11-18 02:57:27 +0000249}
250
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000251tgtok::TokKind TGLexer::LexIdentifier() {
Chris Lattnerb8ff8f02010-10-05 22:59:29 +0000252 // The first letter is [a-zA-Z_#].
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000253 const char *IdentStart = TokStart;
Benjamin Kramera54985e2011-10-06 18:23:56 +0000254
Chris Lattnerb8ff8f02010-10-05 22:59:29 +0000255 // Match the rest of the identifier regex: [0-9a-zA-Z_#]*
David Greene8e85b482011-10-19 13:04:43 +0000256 while (isalpha(*CurPtr) || isdigit(*CurPtr) || *CurPtr == '_')
Chris Lattnerb8ff8f02010-10-05 22:59:29 +0000257 ++CurPtr;
Benjamin Kramera54985e2011-10-06 18:23:56 +0000258
Chris Lattnerda4ab672007-11-18 02:57:27 +0000259 // Check to see if this identifier is a keyword.
Benjamin Kramera54985e2011-10-06 18:23:56 +0000260 StringRef Str(IdentStart, CurPtr-IdentStart);
261
Benjamin Kramera54985e2011-10-06 18:23:56 +0000262 if (Str == "include") {
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000263 if (LexInclude()) return tgtok::Error;
264 return Lex();
Chris Lattnerda4ab672007-11-18 02:57:27 +0000265 }
Benjamin Kramera54985e2011-10-06 18:23:56 +0000266
Benjamin Kramerf9389a32011-10-06 18:53:43 +0000267 tgtok::TokKind Kind = StringSwitch<tgtok::TokKind>(Str)
268 .Case("int", tgtok::Int)
269 .Case("bit", tgtok::Bit)
270 .Case("bits", tgtok::Bits)
271 .Case("string", tgtok::String)
272 .Case("list", tgtok::List)
273 .Case("code", tgtok::Code)
274 .Case("dag", tgtok::Dag)
275 .Case("class", tgtok::Class)
276 .Case("def", tgtok::Def)
David Greenefb927af2012-02-22 16:09:41 +0000277 .Case("foreach", tgtok::Foreach)
Benjamin Kramerf9389a32011-10-06 18:53:43 +0000278 .Case("defm", tgtok::Defm)
Nicolai Haehnlefcd65252018-03-09 12:24:42 +0000279 .Case("defset", tgtok::Defset)
Benjamin Kramerf9389a32011-10-06 18:53:43 +0000280 .Case("multiclass", tgtok::MultiClass)
281 .Case("field", tgtok::Field)
282 .Case("let", tgtok::Let)
283 .Case("in", tgtok::In)
284 .Default(tgtok::Id);
285
286 if (Kind == tgtok::Id)
287 CurStrVal.assign(Str.begin(), Str.end());
288 return Kind;
Chris Lattnerda4ab672007-11-18 02:57:27 +0000289}
290
291/// LexInclude - We just read the "include" token. Get the string token that
292/// comes next and enter the include.
293bool TGLexer::LexInclude() {
294 // The token after the include must be a string.
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000295 tgtok::TokKind Tok = LexToken();
296 if (Tok == tgtok::Error) return true;
297 if (Tok != tgtok::StrVal) {
298 PrintError(getLoc(), "Expected filename after include");
Chris Lattnerda4ab672007-11-18 02:57:27 +0000299 return true;
300 }
301
302 // Get the string.
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000303 std::string Filename = CurStrVal;
Joerg Sonnenbergeraf5f23e2011-06-01 13:10:15 +0000304 std::string IncludedFile;
Chris Lattnerda4ab672007-11-18 02:57:27 +0000305
Joerg Sonnenbergeraf5f23e2011-06-01 13:10:15 +0000306 CurBuffer = SrcMgr.AddIncludeFile(Filename, SMLoc::getFromPointer(CurPtr),
307 IncludedFile);
Alp Tokera55b95b2014-07-06 10:33:31 +0000308 if (!CurBuffer) {
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000309 PrintError(getLoc(), "Could not find include file '" + Filename + "'");
Chris Lattnerda4ab672007-11-18 02:57:27 +0000310 return true;
311 }
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000312
Sean Silva3b964242013-02-07 04:30:39 +0000313 DependenciesMapTy::const_iterator Found = Dependencies.find(IncludedFile);
314 if (Found != Dependencies.end()) {
315 PrintError(getLoc(),
316 "File '" + IncludedFile + "' has already been included.");
317 SrcMgr.PrintMessage(Found->second, SourceMgr::DK_Note,
318 "previously included here");
319 return true;
320 }
321 Dependencies.insert(std::make_pair(IncludedFile, getLoc()));
Chris Lattnerda4ab672007-11-18 02:57:27 +0000322 // Save the line number and lex buffer of the includer.
Rafael Espindolaa3c65092014-07-06 14:24:03 +0000323 CurBuf = SrcMgr.getMemoryBuffer(CurBuffer)->getBuffer();
324 CurPtr = CurBuf.begin();
Chris Lattnerda4ab672007-11-18 02:57:27 +0000325 return false;
326}
327
328void TGLexer::SkipBCPLComment() {
329 ++CurPtr; // skip the second slash.
Eugene Zelenko33d7b762016-08-23 17:14:32 +0000330 while (true) {
Chris Lattnerda4ab672007-11-18 02:57:27 +0000331 switch (*CurPtr) {
332 case '\n':
333 case '\r':
334 return; // Newline is end of comment.
335 case 0:
336 // If this is the end of the buffer, end the comment.
Rafael Espindolaa3c65092014-07-06 14:24:03 +0000337 if (CurPtr == CurBuf.end())
Chris Lattnerda4ab672007-11-18 02:57:27 +0000338 return;
339 break;
340 }
341 // Otherwise, skip the character.
342 ++CurPtr;
343 }
344}
345
346/// SkipCComment - This skips C-style /**/ comments. The only difference from C
347/// is that we allow nesting.
348bool TGLexer::SkipCComment() {
349 ++CurPtr; // skip the star.
350 unsigned CommentDepth = 1;
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000351
Eugene Zelenko33d7b762016-08-23 17:14:32 +0000352 while (true) {
Chris Lattnerda4ab672007-11-18 02:57:27 +0000353 int CurChar = getNextChar();
354 switch (CurChar) {
355 case EOF:
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000356 PrintError(TokStart, "Unterminated comment!");
Chris Lattnerda4ab672007-11-18 02:57:27 +0000357 return true;
358 case '*':
359 // End of the comment?
360 if (CurPtr[0] != '/') break;
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000361
Chris Lattnerda4ab672007-11-18 02:57:27 +0000362 ++CurPtr; // End the */.
363 if (--CommentDepth == 0)
364 return false;
365 break;
366 case '/':
367 // Start of a nested comment?
368 if (CurPtr[0] != '*') break;
369 ++CurPtr;
370 ++CommentDepth;
371 break;
372 }
373 }
374}
375
376/// LexNumber - Lex:
377/// [-+]?[0-9]+
378/// 0x[0-9a-fA-F]+
379/// 0b[01]+
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000380tgtok::TokKind TGLexer::LexNumber() {
Chris Lattnerda4ab672007-11-18 02:57:27 +0000381 if (CurPtr[-1] == '0') {
382 if (CurPtr[0] == 'x') {
383 ++CurPtr;
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000384 const char *NumStart = CurPtr;
Chris Lattnerda4ab672007-11-18 02:57:27 +0000385 while (isxdigit(CurPtr[0]))
386 ++CurPtr;
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000387
Chris Lattner1a262962007-11-19 07:38:58 +0000388 // Requires at least one hex digit.
389 if (CurPtr == NumStart)
Chris Lattner7d4c0d5f2009-06-21 19:22:49 +0000390 return ReturnError(TokStart, "Invalid hexadecimal number");
Chris Lattner1a262962007-11-19 07:38:58 +0000391
Dan Gohmanca0546f2008-10-17 01:33:43 +0000392 errno = 0;
Craig Topper011817a2014-04-09 04:50:04 +0000393 CurIntVal = strtoll(NumStart, nullptr, 16);
Dan Gohmanca0546f2008-10-17 01:33:43 +0000394 if (errno == EINVAL)
Chris Lattner7d4c0d5f2009-06-21 19:22:49 +0000395 return ReturnError(TokStart, "Invalid hexadecimal number");
Dan Gohmanca0546f2008-10-17 01:33:43 +0000396 if (errno == ERANGE) {
397 errno = 0;
Craig Topper011817a2014-04-09 04:50:04 +0000398 CurIntVal = (int64_t)strtoull(NumStart, nullptr, 16);
Dan Gohmanca0546f2008-10-17 01:33:43 +0000399 if (errno == EINVAL)
Chris Lattner7d4c0d5f2009-06-21 19:22:49 +0000400 return ReturnError(TokStart, "Invalid hexadecimal number");
Dan Gohmanca0546f2008-10-17 01:33:43 +0000401 if (errno == ERANGE)
Chris Lattner7d4c0d5f2009-06-21 19:22:49 +0000402 return ReturnError(TokStart, "Hexadecimal number out of range");
Dan Gohmanca0546f2008-10-17 01:33:43 +0000403 }
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000404 return tgtok::IntVal;
Chris Lattnerda4ab672007-11-18 02:57:27 +0000405 } else if (CurPtr[0] == 'b') {
406 ++CurPtr;
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000407 const char *NumStart = CurPtr;
Chris Lattnerda4ab672007-11-18 02:57:27 +0000408 while (CurPtr[0] == '0' || CurPtr[0] == '1')
409 ++CurPtr;
Chris Lattner1a262962007-11-19 07:38:58 +0000410
411 // Requires at least one binary digit.
412 if (CurPtr == NumStart)
413 return ReturnError(CurPtr-2, "Invalid binary number");
Craig Topper011817a2014-04-09 04:50:04 +0000414 CurIntVal = strtoll(NumStart, nullptr, 2);
Pete Cooper25977642014-08-07 05:47:00 +0000415 return tgtok::BinaryIntVal;
Chris Lattnerda4ab672007-11-18 02:57:27 +0000416 }
417 }
418
419 // Check for a sign without a digit.
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000420 if (!isdigit(CurPtr[0])) {
421 if (CurPtr[-1] == '-')
422 return tgtok::minus;
423 else if (CurPtr[-1] == '+')
424 return tgtok::plus;
Chris Lattnerda4ab672007-11-18 02:57:27 +0000425 }
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000426
Chris Lattnerda4ab672007-11-18 02:57:27 +0000427 while (isdigit(CurPtr[0]))
428 ++CurPtr;
Craig Topper011817a2014-04-09 04:50:04 +0000429 CurIntVal = strtoll(TokStart, nullptr, 10);
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000430 return tgtok::IntVal;
Chris Lattnerda4ab672007-11-18 02:57:27 +0000431}
432
433/// LexBracket - We just read '['. If this is a code block, return it,
434/// otherwise return the bracket. Match: '[' and '[{ ( [^}]+ | }[^]] )* }]'
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000435tgtok::TokKind TGLexer::LexBracket() {
Chris Lattnerda4ab672007-11-18 02:57:27 +0000436 if (CurPtr[0] != '{')
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000437 return tgtok::l_square;
Chris Lattnerda4ab672007-11-18 02:57:27 +0000438 ++CurPtr;
439 const char *CodeStart = CurPtr;
Eugene Zelenko33d7b762016-08-23 17:14:32 +0000440 while (true) {
Chris Lattnerda4ab672007-11-18 02:57:27 +0000441 int Char = getNextChar();
442 if (Char == EOF) break;
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000443
Chris Lattnerda4ab672007-11-18 02:57:27 +0000444 if (Char != '}') continue;
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000445
Chris Lattnerda4ab672007-11-18 02:57:27 +0000446 Char = getNextChar();
447 if (Char == EOF) break;
448 if (Char == ']') {
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000449 CurStrVal.assign(CodeStart, CurPtr-2);
450 return tgtok::CodeFragment;
Chris Lattnerda4ab672007-11-18 02:57:27 +0000451 }
452 }
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000453
Chris Lattner1a262962007-11-19 07:38:58 +0000454 return ReturnError(CodeStart-2, "Unterminated Code Block");
Chris Lattnerda4ab672007-11-18 02:57:27 +0000455}
456
457/// LexExclaim - Lex '!' and '![a-zA-Z]+'.
Chris Lattnerf4127dd2007-11-22 20:49:04 +0000458tgtok::TokKind TGLexer::LexExclaim() {
Chris Lattnerda4ab672007-11-18 02:57:27 +0000459 if (!isalpha(*CurPtr))
Bill Wendling4182a162010-12-08 13:03:15 +0000460 return ReturnError(CurPtr - 1, "Invalid \"!operator\"");
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000461
Chris Lattnerda4ab672007-11-18 02:57:27 +0000462 const char *Start = CurPtr++;
463 while (isalpha(*CurPtr))
464 ++CurPtr;
Nicolai Haehnle169ec092018-03-09 18:32:04 +0000465
Chris Lattnerda4ab672007-11-18 02:57:27 +0000466 // Check to see which operator this is.
Bill Wendling55bc7182010-12-08 20:02:49 +0000467 tgtok::TokKind Kind =
468 StringSwitch<tgtok::TokKind>(StringRef(Start, CurPtr - Start))
469 .Case("eq", tgtok::XEq)
470 .Case("if", tgtok::XIf)
Nicolai Haehnleb5376052018-03-09 12:24:06 +0000471 .Case("isa", tgtok::XIsA)
David Greene2f7cf7f2011-01-07 17:05:37 +0000472 .Case("head", tgtok::XHead)
473 .Case("tail", tgtok::XTail)
Nicolai Haehnle0243aaf2018-02-23 10:46:07 +0000474 .Case("size", tgtok::XSize)
Bill Wendling55bc7182010-12-08 20:02:49 +0000475 .Case("con", tgtok::XConcat)
Nicolai Haehnle6c118652018-03-14 11:00:26 +0000476 .Case("dag", tgtok::XDag)
Hal Finkelc7d4dc12013-01-25 14:49:08 +0000477 .Case("add", tgtok::XADD)
Joerg Sonnenberger6b41a992014-08-05 09:43:25 +0000478 .Case("and", tgtok::XAND)
Matt Arsenault1c8d9332016-11-15 06:49:28 +0000479 .Case("or", tgtok::XOR)
Bill Wendling55bc7182010-12-08 20:02:49 +0000480 .Case("shl", tgtok::XSHL)
481 .Case("sra", tgtok::XSRA)
482 .Case("srl", tgtok::XSRL)
483 .Case("cast", tgtok::XCast)
David Greene2f7cf7f2011-01-07 17:05:37 +0000484 .Case("empty", tgtok::XEmpty)
Bill Wendling55bc7182010-12-08 20:02:49 +0000485 .Case("subst", tgtok::XSubst)
Nicolai Haehnled34f6842018-03-06 13:49:16 +0000486 .Case("foldl", tgtok::XFoldl)
Bill Wendling55bc7182010-12-08 20:02:49 +0000487 .Case("foreach", tgtok::XForEach)
Daniel Sanders314e80e2014-05-07 10:13:19 +0000488 .Case("listconcat", tgtok::XListConcat)
Bill Wendling55bc7182010-12-08 20:02:49 +0000489 .Case("strconcat", tgtok::XStrConcat)
490 .Default(tgtok::Error);
David Greene5d0c0512009-05-14 20:54:48 +0000491
Bill Wendling55bc7182010-12-08 20:02:49 +0000492 return Kind != tgtok::Error ? Kind : ReturnError(Start-1, "Unknown operator");
Chris Lattnerda4ab672007-11-18 02:57:27 +0000493}