1 %option noyywrap noinput nounput
2 %option 8bit reentrant bison-bridge
4 %option bison-locations
8 * Copyright(c) 2019-2023 rev.ng Labs Srl. All Rights Reserved.
10 * This program is free software; you can redistribute it and/or modify
11 * it under the terms of the GNU General Public License as published by
12 * the Free Software Foundation; either version 2 of the License, or
13 * (at your option) any later version.
15 * This program is distributed in the hope that it will be useful,
16 * but WITHOUT ANY WARRANTY; without even the implied warranty of
17 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 * GNU General Public License for more details.
20 * You should have received a copy of the GNU General Public License
21 * along with this program; if not, see <http://www.gnu.org/licenses/>.
29 #include "idef-parser.h"
30 #include "idef-parser.tab.h"
32 /* Keep track of scanner position for error message printout */
33 #define YY_USER_ACTION yylloc->first_column = yylloc->last_column; \
34 for (int i = 0; yytext[i] != '\0'; i++) { \
35 yylloc->last_column++; \
38 /* Global Error Counter */
48 INST_NAME [A-Z]+[0-9]_([A-Za-z]|[0-9]|_)+
50 REG_ID_32 e|s|d|t|u|v|x|y
51 REG_ID_64 ee|ss|dd|tt|uu|vv|xx|yy
54 PRED_ID d|s|t|u|v|e|x|x
56 VAR_ID [a-zA-Z_][a-zA-Z0-9_]*
58 STRING_LIT \"(\\.|[^"\\])*\"
63 [ \t\f\v]+ { /* Ignore whitespaces. */ }
64 [\n\r]+ { /* Ignore newlines. */ }
65 ^#.*$ { /* Ignore linemarkers. */ }
67 {INST_NAME} { yylval->string = g_string_new(yytext);
75 "0x1.0p-52" { return FAIL; }
78 yylval->rvalue.type = REGISTER_ARG;
79 yylval->rvalue.reg.type = GENERAL_PURPOSE;
80 yylval->rvalue.reg.id = yytext[1];
81 yylval->rvalue.reg.bit_width = 32;
82 yylval->rvalue.bit_width = 32;
83 yylval->rvalue.is_dotnew = false;
84 yylval->rvalue.signedness = SIGNED;
87 yylval->rvalue.type = REGISTER_ARG;
88 yylval->rvalue.reg.type = GENERAL_PURPOSE;
89 yylval->rvalue.reg.id = yytext[1];
90 yylval->rvalue.reg.bit_width = 64;
91 yylval->rvalue.bit_width = 64;
92 yylval->rvalue.is_dotnew = false;
93 yylval->rvalue.signedness = SIGNED;
96 yylval->rvalue.type = REGISTER_ARG;
97 yylval->rvalue.reg.type = MODIFIER;
98 yylval->rvalue.reg.id = 'u';
99 yylval->rvalue.reg.bit_width = 32;
100 yylval->rvalue.bit_width = 32;
101 yylval->rvalue.signedness = SIGNED;
104 yylval->rvalue.type = REGISTER_ARG;
105 yylval->rvalue.reg.type = CONTROL;
106 yylval->rvalue.reg.id = yytext[1];
107 yylval->rvalue.reg.bit_width = 32;
108 yylval->rvalue.bit_width = 32;
109 yylval->rvalue.is_dotnew = false;
110 yylval->rvalue.signedness = SIGNED;
113 yylval->rvalue.type = REGISTER_ARG;
114 yylval->rvalue.reg.type = CONTROL;
115 yylval->rvalue.reg.id = yytext[1];
116 yylval->rvalue.reg.bit_width = 64;
117 yylval->rvalue.bit_width = 64;
118 yylval->rvalue.is_dotnew = false;
119 yylval->rvalue.signedness = SIGNED;
122 yylval->rvalue.type = IMMEDIATE;
123 yylval->rvalue.signedness = SIGNED;
124 yylval->rvalue.imm.type = VARIABLE;
125 yylval->rvalue.imm.id = yytext[0];
126 yylval->rvalue.bit_width = 32;
127 yylval->rvalue.is_dotnew = false;
130 yylval->rvalue.type = PREDICATE;
131 yylval->rvalue.pred.id = yytext[1];
132 yylval->rvalue.bit_width = 32;
133 yylval->rvalue.is_dotnew = false;
134 yylval->rvalue.signedness = SIGNED;
137 yylval->rvalue.type = PREDICATE;
138 yylval->rvalue.pred.id = yytext[1];
139 yylval->rvalue.bit_width = 32;
140 yylval->rvalue.is_dotnew = true;
141 yylval->rvalue.signedness = SIGNED;
145 "++" { return PLUSPLUS; }
146 "&=" { return ANDA; }
148 "^=" { return XORA; }
151 ">>>" { return LSR; }
156 "&&" { return ANDL; }
157 "else" { return ELSE; }
158 "for" { return FOR; }
159 "fREAD_IREG" { return ICIRC; }
162 "fFRAME_UNSCRAMBLE" { return FSCR; }
163 "fFRAMECHECK" { return FCHK; }
164 "Constant_extended" { return CONSTEXT; }
165 "fCL1_"{DIGIT} { return LOCNT; }
166 "fbrev" { return BREV; }
167 "fSXTN" { return SXT; }
168 "fZXTN" { return ZXT; }
171 "fMAX" { return MAX; }
174 "fMIN" { return MIN; }
175 "fABS" { return ABS; }
176 "fRNDN" { return ROUND; }
177 "fCRND" { return CROUND; }
178 "fCRNDN" { return CROUND; }
179 "fPM_CIRI" { return CIRCADD; }
180 "fPM_CIRR" { return CIRCADD; }
181 "fCOUNTONES_"{DIGIT} { return COUNTONES; }
182 "fSATN" { yylval->sat.signedness = SIGNED;
184 "fSATUN" { yylval->sat.signedness = UNSIGNED;
186 "fCONSTLL" { yylval->cast.bit_width = 64;
187 yylval->cast.signedness = SIGNED;
189 "fSE32_64" { yylval->cast.bit_width = 64;
190 yylval->cast.signedness = SIGNED;
192 "fCAST4_4u" { yylval->cast.bit_width = 32;
193 yylval->cast.signedness = UNSIGNED;
195 "fCAST4_8s" { yylval->cast.bit_width = 64;
196 yylval->cast.signedness = SIGNED;
198 "fCAST4_8u" { return CAST4_8U; }
199 "fCAST4u" { yylval->cast.bit_width = 32;
200 yylval->cast.signedness = UNSIGNED;
204 "fCAST4s" { yylval->cast.bit_width = 32;
205 yylval->cast.signedness = SIGNED;
207 "fCAST8_8u" { yylval->cast.bit_width = 64;
208 yylval->cast.signedness = UNSIGNED;
210 "fCAST8u" { yylval->cast.bit_width = 64;
211 yylval->cast.signedness = UNSIGNED;
214 "fCAST8s" { yylval->cast.bit_width = 64;
215 yylval->cast.signedness = SIGNED;
217 "fGETBIT" { yylval->extract.bit_width = 1;
218 yylval->extract.storage_bit_width = 1;
219 yylval->extract.signedness = UNSIGNED;
221 "fGETBYTE" { yylval->extract.bit_width = 8;
222 yylval->extract.storage_bit_width = 8;
223 yylval->extract.signedness = SIGNED;
225 "fGETUBYTE" { yylval->extract.bit_width = 8;
226 yylval->extract.storage_bit_width = 8;
227 yylval->extract.signedness = UNSIGNED;
229 "fGETHALF" { yylval->extract.bit_width = 16;
230 yylval->extract.storage_bit_width = 16;
231 yylval->extract.signedness = SIGNED;
233 "fGETUHALF" { yylval->extract.bit_width = 16;
234 yylval->extract.storage_bit_width = 16;
235 yylval->extract.signedness = UNSIGNED;
237 "fGETWORD" { yylval->extract.bit_width = 32;
238 yylval->extract.storage_bit_width = 64;
239 yylval->extract.signedness = SIGNED;
241 "fGETUWORD" { yylval->extract.bit_width = 32;
242 yylval->extract.storage_bit_width = 64;
243 yylval->extract.signedness = UNSIGNED;
245 "fEXTRACTU_RANGE" { return EXTRANGE; }
246 "fSETBIT" { yylval->cast.bit_width = 1;
247 yylval->cast.signedness = SIGNED;
249 "fSETBYTE" { yylval->cast.bit_width = 8;
250 yylval->cast.signedness = SIGNED;
252 "fSETHALF" { yylval->cast.bit_width = 16;
253 yylval->cast.signedness = SIGNED;
255 "fSETWORD" { yylval->cast.bit_width = 32;
256 yylval->cast.signedness = SIGNED;
258 "fINSERT_BITS" { return INSBITS; }
259 "fSETBITS" { return SETBITS; }
260 "fMPY16UU" { yylval->mpy.first_bit_width = 16;
261 yylval->mpy.second_bit_width = 16;
262 yylval->mpy.first_signedness = UNSIGNED;
263 yylval->mpy.second_signedness = UNSIGNED;
265 "fMPY16SU" { yylval->mpy.first_bit_width = 16;
266 yylval->mpy.second_bit_width = 16;
267 yylval->mpy.first_signedness = SIGNED;
268 yylval->mpy.second_signedness = UNSIGNED;
270 "fMPY16SS" { yylval->mpy.first_bit_width = 16;
271 yylval->mpy.second_bit_width = 16;
272 yylval->mpy.first_signedness = SIGNED;
273 yylval->mpy.second_signedness = SIGNED;
275 "fMPY32UU" { yylval->mpy.first_bit_width = 32;
276 yylval->mpy.second_bit_width = 32;
277 yylval->mpy.first_signedness = UNSIGNED;
278 yylval->mpy.second_signedness = UNSIGNED;
280 "fMPY32SU" { yylval->mpy.first_bit_width = 32;
281 yylval->mpy.second_bit_width = 32;
282 yylval->mpy.first_signedness = SIGNED;
283 yylval->mpy.second_signedness = UNSIGNED;
286 "fMPY32SS" { yylval->mpy.first_bit_width = 32;
287 yylval->mpy.second_bit_width = 32;
288 yylval->mpy.first_signedness = SIGNED;
289 yylval->mpy.second_signedness = SIGNED;
291 "fMPY3216SS" { yylval->mpy.first_bit_width = 32;
292 yylval->mpy.second_bit_width = 16;
293 yylval->mpy.first_signedness = SIGNED;
294 yylval->mpy.second_signedness = SIGNED;
296 "fMPY3216SU" { yylval->mpy.first_bit_width = 32;
297 yylval->mpy.second_bit_width = 16;
298 yylval->mpy.first_signedness = SIGNED;
299 yylval->mpy.second_signedness = UNSIGNED;
305 "fECHO" { return IDENTITY; }
306 "(size8u_t)" { yylval->cast.bit_width = 64;
307 yylval->cast.signedness = UNSIGNED;
309 "(unsigned int)" { yylval->cast.bit_width = 32;
310 yylval->cast.signedness = UNSIGNED;
312 "fREAD_PC()" { return PC; }
313 "USR.LPCFG" { return LPCFG; }
314 "LOAD_CANCEL(EA)" { return LOAD_CANCEL; }
315 "STORE_CANCEL(EA)" { return STORE_CANCEL; }
316 "CANCEL" { return CANCEL; }
317 "N"{LOWER_ID}"N" { yylval->rvalue.type = REGISTER_ARG;
318 yylval->rvalue.reg.type = DOTNEW;
319 yylval->rvalue.reg.id = yytext[1];
320 yylval->rvalue.reg.bit_width = 32;
321 yylval->rvalue.bit_width = 32;
322 yylval->rvalue.signedness = UNSIGNED;
325 "SP" { yylval->rvalue.type = REGISTER;
326 yylval->rvalue.reg.type = GENERAL_PURPOSE;
327 yylval->rvalue.reg.id = HEX_REG_SP;
328 yylval->rvalue.reg.bit_width = 32;
329 yylval->rvalue.bit_width = 32;
330 yylval->rvalue.signedness = UNSIGNED;
333 "FP" { yylval->rvalue.type = REGISTER;
334 yylval->rvalue.reg.type = GENERAL_PURPOSE;
335 yylval->rvalue.reg.id = HEX_REG_FP;
336 yylval->rvalue.reg.bit_width = 32;
337 yylval->rvalue.bit_width = 32;
338 yylval->rvalue.signedness = UNSIGNED;
341 "LR" { yylval->rvalue.type = REGISTER;
342 yylval->rvalue.reg.type = GENERAL_PURPOSE;
343 yylval->rvalue.reg.id = HEX_REG_LR;
344 yylval->rvalue.reg.bit_width = 32;
345 yylval->rvalue.bit_width = 32;
346 yylval->rvalue.signedness = UNSIGNED;
349 "GP" { yylval->rvalue.type = REGISTER;
350 yylval->rvalue.reg.type = CONTROL;
351 yylval->rvalue.reg.id = HEX_REG_GP;
352 yylval->rvalue.reg.bit_width = 32;
353 yylval->rvalue.bit_width = 32;
354 yylval->rvalue.signedness = UNSIGNED;
356 "LC"[01] { yylval->rvalue.type = REGISTER;
357 yylval->rvalue.reg.type = CONTROL;
358 yylval->rvalue.reg.id = HEX_REG_LC0
359 + (yytext[2] - '0') * 2;
360 yylval->rvalue.reg.bit_width = 32;
361 yylval->rvalue.bit_width = 32;
362 yylval->rvalue.signedness = UNSIGNED;
364 "SA"[01] { yylval->rvalue.type = REGISTER;
365 yylval->rvalue.reg.type = CONTROL;
366 yylval->rvalue.reg.id = HEX_REG_SA0
367 + (yytext[2] - '0') * 2;
368 yylval->rvalue.reg.bit_width = 32;
369 yylval->rvalue.bit_width = 32;
370 yylval->rvalue.signedness = UNSIGNED;
372 "fREAD_P0()" { yylval->rvalue.type = PREDICATE;
373 yylval->rvalue.pred.id = '0';
374 yylval->rvalue.bit_width = 32;
376 [pP]{DIGIT} { yylval->rvalue.type = PREDICATE;
377 yylval->rvalue.pred.id = yytext[1];
378 yylval->rvalue.bit_width = 32;
379 yylval->rvalue.is_dotnew = false;
381 [pP]{DIGIT}[nN] { yylval->rvalue.type = PREDICATE;
382 yylval->rvalue.pred.id = yytext[1];
383 yylval->rvalue.bit_width = 32;
384 yylval->rvalue.is_dotnew = true;
386 "fLSBNEW" { return LSBNEW; }
387 "N" { yylval->rvalue.type = IMMEDIATE;
388 yylval->rvalue.bit_width = 32;
389 yylval->rvalue.imm.type = VARIABLE;
390 yylval->rvalue.imm.id = 'N';
392 "i" { yylval->rvalue.type = IMMEDIATE;
393 yylval->rvalue.bit_width = 32;
394 yylval->rvalue.signedness = SIGNED;
395 yylval->rvalue.imm.type = I;
397 {SIGN_ID} { if (yytext[0] == 'u') {
398 yylval->signedness = UNSIGNED;
400 yylval->signedness = SIGNED;
405 {DIGIT}+ { yylval->rvalue.type = IMMEDIATE;
406 yylval->rvalue.bit_width = 32;
407 yylval->rvalue.signedness = SIGNED;
408 yylval->rvalue.imm.type = VALUE;
409 yylval->rvalue.imm.value = strtoull(yytext, NULL, 0);
411 "0x"{HEX_DIGIT}+"ULL" |
412 {DIGIT}+"ULL" { yylval->rvalue.type = IMMEDIATE;
413 yylval->rvalue.bit_width = 64;
414 yylval->rvalue.signedness = UNSIGNED;
415 yylval->rvalue.imm.type = VALUE;
416 yylval->rvalue.imm.value = strtoull(yytext, NULL, 0);
418 "fLOAD" { return LOAD; }
419 "fSTORE" { return STORE; }
420 "fROTL" { return ROTL; }
421 "fCARRY_FROM_ADD" { return CARRY_FROM_ADD; }
422 "fADDSAT64" { return ADDSAT64; }
423 "size"[1248][us]"_t" { /* Handles "size_t" variants of int types */
424 const unsigned int bits_per_byte = 8;
425 const unsigned int bytes = yytext[4] - '0';
426 yylval->rvalue.bit_width = bits_per_byte * bytes;
427 if (yytext[5] == 'u') {
428 yylval->rvalue.signedness = UNSIGNED;
430 yylval->rvalue.signedness = SIGNED;
432 return TYPE_SIZE_T; }
433 "unsigned" { return TYPE_UNSIGNED; }
434 "long" { return TYPE_LONG; }
435 "int" { return TYPE_INT; }
436 "const" { /* Emit no token */ }
437 {VAR_ID} { /* Variable name, we adopt the C names convention */
438 yylval->rvalue.type = VARID;
439 yylval->rvalue.var.name = g_string_new(yytext);
440 /* Default to an unknown signedness and 0 width. */
441 yylval->rvalue.bit_width = 0;
442 yylval->rvalue.signedness = UNKNOWN_SIGNEDNESS;
444 "fatal("{STRING_LIT}")" { /* Emit no token */ }
445 "fHINTJR(RsV)" { /* Emit no token */ }
446 . { return yytext[0]; }