blob: 209f9881468af5335a99bd1b94e0ea40194b8d3e [file] [log] [blame]
Chris Lattnere79379a2018-06-22 10:39:19 -07001//===- Lexer.cpp - MLIR Lexer Implementation ------------------------------===//
2//
3// Copyright 2019 The MLIR Authors.
4//
5// Licensed under the Apache License, Version 2.0 (the "License");
6// you may not use this file except in compliance with the License.
7// You may obtain a copy of the License at
8//
9// http://www.apache.org/licenses/LICENSE-2.0
10//
11// Unless required by applicable law or agreed to in writing, software
12// distributed under the License is distributed on an "AS IS" BASIS,
13// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14// See the License for the specific language governing permissions and
15// limitations under the License.
16// =============================================================================
17//
18// This file implements the lexer for the MLIR textual form.
19//
20//===----------------------------------------------------------------------===//
21
22#include "Lexer.h"
23#include "llvm/Support/SourceMgr.h"
24using namespace mlir;
25using llvm::SMLoc;
26using llvm::SourceMgr;
27
MLIR Teamf85a6262018-06-27 11:03:08 -070028// Returns true if 'c' is an allowable puncuation character: [$._-]
29// Returns false otherwise.
30static bool isPunct(char c) {
31 return c == '$' || c == '.' || c == '_' || c == '-';
32}
33
Jacques Pienaar9c411be2018-06-24 19:17:35 -070034Lexer::Lexer(llvm::SourceMgr &sourceMgr,
35 const SMDiagnosticHandlerTy &errorReporter)
36 : sourceMgr(sourceMgr), errorReporter(errorReporter) {
Chris Lattnere79379a2018-06-22 10:39:19 -070037 auto bufferID = sourceMgr.getMainFileID();
38 curBuffer = sourceMgr.getMemoryBuffer(bufferID)->getBuffer();
39 curPtr = curBuffer.begin();
40}
41
42/// emitError - Emit an error message and return an Token::error token.
43Token Lexer::emitError(const char *loc, const Twine &message) {
Jacques Pienaar9c411be2018-06-24 19:17:35 -070044 errorReporter(sourceMgr.GetMessage(SMLoc::getFromPointer(loc),
45 SourceMgr::DK_Error, message));
Chris Lattnere79379a2018-06-22 10:39:19 -070046 return formToken(Token::error, loc);
47}
48
49Token Lexer::lexToken() {
50 const char *tokStart = curPtr;
51
52 switch (*curPtr++) {
53 default:
54 // Handle bare identifiers.
55 if (isalpha(curPtr[-1]))
56 return lexBareIdentifierOrKeyword(tokStart);
57
58 // Unknown character, emit an error.
59 return emitError(tokStart, "unexpected character");
60
61 case 0:
62 // This may either be a nul character in the source file or may be the EOF
63 // marker that llvm::MemoryBuffer guarantees will be there.
64 if (curPtr-1 == curBuffer.end())
65 return formToken(Token::eof, tokStart);
66
67 LLVM_FALLTHROUGH;
68 case ' ':
69 case '\t':
70 case '\n':
71 case '\r':
72 // Ignore whitespace.
73 return lexToken();
74
Chris Lattner4c95a502018-06-23 16:03:42 -070075 case ':': return formToken(Token::colon, tokStart);
Chris Lattnerbb8fafc2018-06-22 15:52:02 -070076 case ',': return formToken(Token::comma, tokStart);
Chris Lattnere79379a2018-06-22 10:39:19 -070077 case '(': return formToken(Token::l_paren, tokStart);
78 case ')': return formToken(Token::r_paren, tokStart);
Chris Lattner4c95a502018-06-23 16:03:42 -070079 case '{': return formToken(Token::l_brace, tokStart);
80 case '}': return formToken(Token::r_brace, tokStart);
Chris Lattnere79379a2018-06-22 10:39:19 -070081 case '<': return formToken(Token::less, tokStart);
82 case '>': return formToken(Token::greater, tokStart);
83
Chris Lattnerbb8fafc2018-06-22 15:52:02 -070084 case '-':
85 if (*curPtr == '>') {
86 ++curPtr;
87 return formToken(Token::arrow, tokStart);
88 }
89 return emitError(tokStart, "unexpected character");
90
91 case '?':
92 if (*curPtr == '?') {
93 ++curPtr;
94 return formToken(Token::questionquestion, tokStart);
95 }
96
97 return formToken(Token::question, tokStart);
98
Chris Lattnere79379a2018-06-22 10:39:19 -070099 case ';': return lexComment();
100 case '@': return lexAtIdentifier(tokStart);
MLIR Teamf85a6262018-06-27 11:03:08 -0700101 case '#': return lexAffineMapId(tokStart);
Chris Lattnerbb8fafc2018-06-22 15:52:02 -0700102
103 case '0': case '1': case '2': case '3': case '4':
104 case '5': case '6': case '7': case '8': case '9':
105 return lexNumber(tokStart);
Chris Lattnere79379a2018-06-22 10:39:19 -0700106 }
107}
108
109/// Lex a comment line, starting with a semicolon.
110///
111/// TODO: add a regex for comments here and to the spec.
112///
113Token Lexer::lexComment() {
114 while (true) {
115 switch (*curPtr++) {
116 case '\n':
117 case '\r':
118 // Newline is end of comment.
119 return lexToken();
120 case 0:
121 // If this is the end of the buffer, end the comment.
122 if (curPtr-1 == curBuffer.end()) {
123 --curPtr;
124 return lexToken();
125 }
126 LLVM_FALLTHROUGH;
127 default:
128 // Skip over other characters.
129 break;
130 }
131 }
132}
133
134/// Lex a bare identifier or keyword that starts with a letter.
135///
Chris Lattnerf6d80a02018-06-24 11:18:29 -0700136/// bare-id ::= letter (letter|digit|[_])*
Chris Lattnere79379a2018-06-22 10:39:19 -0700137///
138Token Lexer::lexBareIdentifierOrKeyword(const char *tokStart) {
Chris Lattnerf6d80a02018-06-24 11:18:29 -0700139 // Match the rest of the identifier regex: [0-9a-zA-Z_]*
140 while (isalpha(*curPtr) || isdigit(*curPtr) || *curPtr == '_')
Chris Lattnere79379a2018-06-22 10:39:19 -0700141 ++curPtr;
142
143 // Check to see if this identifier is a keyword.
144 StringRef spelling(tokStart, curPtr-tokStart);
145
146 Token::TokenKind kind = llvm::StringSwitch<Token::TokenKind>(spelling)
Chris Lattnerf6d80a02018-06-24 11:18:29 -0700147 .Case("bf16", Token::kw_bf16)
148 .Case("br", Token::kw_br)
Chris Lattnere79379a2018-06-22 10:39:19 -0700149 .Case("cfgfunc", Token::kw_cfgfunc)
150 .Case("extfunc", Token::kw_extfunc)
Chris Lattnerbb8fafc2018-06-22 15:52:02 -0700151 .Case("f16", Token::kw_f16)
152 .Case("f32", Token::kw_f32)
153 .Case("f64", Token::kw_f64)
154 .Case("i1", Token::kw_i1)
155 .Case("i16", Token::kw_i16)
156 .Case("i32", Token::kw_i32)
157 .Case("i64", Token::kw_i64)
158 .Case("i8", Token::kw_i8)
159 .Case("int", Token::kw_int)
160 .Case("memref", Token::kw_memref)
Chris Lattnere79379a2018-06-22 10:39:19 -0700161 .Case("mlfunc", Token::kw_mlfunc)
Chris Lattner4c95a502018-06-23 16:03:42 -0700162 .Case("return", Token::kw_return)
Chris Lattnerbb8fafc2018-06-22 15:52:02 -0700163 .Case("tensor", Token::kw_tensor)
164 .Case("vector", Token::kw_vector)
Chris Lattnere79379a2018-06-22 10:39:19 -0700165 .Default(Token::bare_identifier);
166
167 return Token(kind, spelling);
168}
169
170/// Lex an '@foo' identifier.
171///
172/// function-id ::= `@` bare-id
173///
174Token Lexer::lexAtIdentifier(const char *tokStart) {
175 // These always start with a letter.
176 if (!isalpha(*curPtr++))
177 return emitError(curPtr-1, "expected letter in @ identifier");
178
Chris Lattnerf6d80a02018-06-24 11:18:29 -0700179 while (isalpha(*curPtr) || isdigit(*curPtr) || *curPtr == '_')
Chris Lattnere79379a2018-06-22 10:39:19 -0700180 ++curPtr;
181 return formToken(Token::at_identifier, tokStart);
182}
Chris Lattnerbb8fafc2018-06-22 15:52:02 -0700183
MLIR Teamf85a6262018-06-27 11:03:08 -0700184/// Lex an '#foo' identifier.
185///
186/// affine-map-id ::= `#` suffix-id
187/// suffix-id ::= digit+ | (letter|id-punct) (letter|id-punct|digit)*
188///
189// TODO(andydavis) Consider moving suffix-id parsing to a shared function
190// so it can be re-used to parse %suffix-id.
191Token Lexer::lexAffineMapId(const char *tokStart) {
192 // Parse suffix-id.
193 if (isdigit(*curPtr)) {
194 // If suffix-id starts with a digit, the rest must be digits.
195 while (isdigit(*curPtr)) {
196 ++curPtr;
197 }
198 } else if (isalpha(*curPtr) || isPunct(*curPtr)) {
199 do {
200 ++curPtr;
201 } while (isalpha(*curPtr) || isdigit(*curPtr) || isPunct(*curPtr));
202 } else {
203 return emitError(curPtr-1, "invalid affine map id");
204 }
205 return formToken(Token::affine_map_id, tokStart);
206}
207
Chris Lattnerbb8fafc2018-06-22 15:52:02 -0700208/// Lex an integer literal.
209///
210/// integer-literal ::= digit+ | `0x` hex_digit+
211///
212Token Lexer::lexNumber(const char *tokStart) {
213 assert(isdigit(curPtr[-1]));
214
215 // Handle the hexadecimal case.
216 if (curPtr[-1] == '0' && *curPtr == 'x') {
217 ++curPtr;
218
219 if (!isxdigit(*curPtr))
220 return emitError(curPtr, "expected hexadecimal digit");
221
222 while (isxdigit(*curPtr))
223 ++curPtr;
224
225 return formToken(Token::integer, tokStart);
226 }
227
228 // Handle the normal decimal case.
229 while (isdigit(*curPtr))
230 ++curPtr;
231
232 return formToken(Token::integer, tokStart);
233}