diff options
| author | Kimplul <kimi.h.kuparinen@gmail.com> | 2023-10-29 14:38:33 +0200 |
|---|---|---|
| committer | Kimplul <kimi.h.kuparinen@gmail.com> | 2023-10-29 14:38:33 +0200 |
| commit | 5d29afb530ffdaab4b5032b7422da988b31c0867 (patch) | |
| tree | 0135976b951fa4c860a043f07e6d555e40c60d1f | |
| parent | 80d78c5589d42f81b04e671b28c103a2112458d1 (diff) | |
| download | tri-5d29afb530ffdaab4b5032b7422da988b31c0867.tar.gz tri-5d29afb530ffdaab4b5032b7422da988b31c0867.zip | |
initial working compiled program on simulator
| -rw-r--r-- | tasm/gen/gen_parser.c | 4 | ||||
| -rw-r--r-- | tasm/src/assembler.c | 2 | ||||
| -rw-r--r-- | tasm/src/parser.y | 4 | ||||
| -rw-r--r-- | tasm/tests/a.t | 2 | ||||
| -rw-r--r-- | tdump/Makefile | 56 | ||||
| -rw-r--r-- | tdump/gen/gen_lexer.inc | 2970 | ||||
| -rw-r--r-- | tdump/gen/gen_parser.c | 3229 | ||||
| -rw-r--r-- | tdump/include/tdump/disassembler.h | 9 | ||||
| -rwxr-xr-x | tdump/scripts/gen-deps | 37 | ||||
| -rwxr-xr-x | tdump/scripts/license | 16 | ||||
| -rw-r--r-- | tdump/scripts/makefile | 72 | ||||
| -rwxr-xr-x | tdump/scripts/warn-undocumented | 7 | ||||
| -rw-r--r-- | tdump/src/disassembler.c | 222 | ||||
| -rw-r--r-- | tdump/src/main.c | 51 | ||||
| -rw-r--r-- | tdump/src/source.mk | 2 | ||||
| -rwxr-xr-x | tdump/tdump | bin | 0 -> 32632 bytes | |||
| -rw-r--r-- | tdump/tests/a.t | 6 | ||||
| -rw-r--r-- | tdump/tests/include.t | 1 | ||||
| -rw-r--r-- | tdump/tests/labels.t | 13 | ||||
| -rw-r--r-- | triscv/src/cpu.c | 112 | ||||
| -rw-r--r-- | triscv/src/main.c | 5 | ||||
| -rw-r--r-- | triscv/src/mem.c | 12 |
22 files changed, 6722 insertions, 110 deletions
diff --git a/tasm/gen/gen_parser.c b/tasm/gen/gen_parser.c index aadb8fb..dc1eac6 100644 --- a/tasm/gen/gen_parser.c +++ b/tasm/gen/gen_parser.c @@ -2799,8 +2799,8 @@ yyreduce: case 118: /* i: li gpr "," imm */ #line 349 "src/parser.y" - {emit_u(ctx, OPCODE_LUI, (yyvsp[-2].gpr), 0); - emit_i(ctx, OPCODE_OP_IMM, (yyvsp[-2].gpr), OP_IMM_ADDI, (yyvsp[-2].gpr), 0);} + {emit_u(ctx, OPCODE_LUI, (yyvsp[-2].gpr), tri_sr((yyvsp[0].tri), 9)); + emit_i(ctx, OPCODE_OP_IMM, (yyvsp[-2].gpr), OP_IMM_ADDI, (yyvsp[-2].gpr), tri_mask((yyvsp[0].tri), 9));} #line 2805 "gen/gen_parser.c" break; diff --git a/tasm/src/assembler.c b/tasm/src/assembler.c index 3faf1fb..731a736 100644 --- a/tasm/src/assembler.c +++ b/tasm/src/assembler.c @@ -549,7 +549,7 @@ tri_t check_csr(const char *csr) { /** @todo only mpower supported for now, will have to work on this */ assert(strcmp(csr, "mpower")); - return 0; + return tri_from(-9841); } tri_t check_width(const char *width) diff --git a/tasm/src/parser.y b/tasm/src/parser.y index 64418d1..a39c9c1 100644 --- a/tasm/src/parser.y +++ b/tasm/src/parser.y @@ -346,8 +346,8 @@ i emit_i(ctx, OPCODE_OP_IMM, $2, OP_IMM_ADDI, $2, 0);} | li gpr "," imm - {emit_u(ctx, OPCODE_LUI, $2, 0); - emit_i(ctx, OPCODE_OP_IMM, $2, OP_IMM_ADDI, $2, 0);} + {emit_u(ctx, OPCODE_LUI, $2, tri_sr($4, 9)); + emit_i(ctx, OPCODE_OP_IMM, $2, OP_IMM_ADDI, $2, tri_mask($4, 9));} /* stuff like call and ret TBD once I've come up with a proper register * calling convention so we know which register to use as ra */ diff --git a/tasm/tests/a.t b/tasm/tests/a.t index f23f9c0..da41b34 100644 --- a/tasm/tests/a.t +++ b/tasm/tests/a.t @@ -1,6 +1,6 @@ start: li x1, 48 li x2, 19683 - st w, x1, 0(x2) + st t, x1, 0(x2) li x1, 3 csrrw mpower, x0, x1 diff --git a/tdump/Makefile b/tdump/Makefile new file mode 100644 index 0000000..cf721cf --- /dev/null +++ b/tdump/Makefile @@ -0,0 +1,56 @@ +.PHONY: all +all: setup + $(MAKE) -f scripts/makefile + +# this kicks all unrecognised targets to the client script. +# note that trying to compile individual files, e.g. +# +# make kernel.elf +# +# will not work, you would need +# +# make -f scripts/makefile kernel.elf +# +# instead +.DEFAULT: setup + $(MAKE) -f scripts/makefile $< + +.PHONY: +setup: + @echo -n > deps.mk + @./scripts/gen-deps -p TDUMP -c COMPILE_TDUMP -b tdump "${TDUMP_SOURCES}" + +CLEANUP := build deps.mk tdump +CLEANUP_CMD := +TDUMP_SOURCES := ../core/bits.c + +include src/source.mk + +.PHONY: format +format: + find arch lib common include -iname '*.[ch]' |\ + xargs uncrustify -c uncrustify.conf --no-backup -F - + +.PHONY: license +license: + find arch lib common include -iname '*.[ch]' |\ + xargs ./scripts/license + +.PHONY: docs +docs: + find arch lib common include -iname '*.[ch]' -not -path */gen/* |\ + xargs ./scripts/warn-undocumented + doxygen docs/doxygen.conf + +RM = rm + +.PHONY: clean +clean: + $(RM) -rf $(CLEANUP) + +.PHONY: clean_docs +clean_docs: + $(RM) -rf docs/output + +.PHONY: clean_all +clean_all: clean clean_docs diff --git a/tdump/gen/gen_lexer.inc b/tdump/gen/gen_lexer.inc new file mode 100644 index 0000000..be2fc6b --- /dev/null +++ b/tdump/gen/gen_lexer.inc @@ -0,0 +1,2970 @@ +#line 2 "gen/gen_lexer.inc" + +#line 4 "gen/gen_lexer.inc" + +#define YY_INT_ALIGNED short int + +/* A lexical scanner generated by flex */ + +#define FLEX_SCANNER +#define YY_FLEX_MAJOR_VERSION 2 +#define YY_FLEX_MINOR_VERSION 6 +#define YY_FLEX_SUBMINOR_VERSION 4 +#if YY_FLEX_SUBMINOR_VERSION > 0 +#define FLEX_BETA +#endif + +/* First, we deal with platform-specific or compiler-specific issues. */ + +/* begin standard C headers. */ +#include <stdio.h> +#include <string.h> +#include <errno.h> +#include <stdlib.h> + +/* end standard C headers. */ + +/* flex integer type definitions */ + +#ifndef FLEXINT_H +#define FLEXINT_H + +/* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */ + +#if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L + +/* C99 says to define __STDC_LIMIT_MACROS before including stdint.h, + * if you want the limit (max/min) macros for int types. + */ +#ifndef __STDC_LIMIT_MACROS +#define __STDC_LIMIT_MACROS 1 +#endif + +#include <inttypes.h> +typedef int8_t flex_int8_t; +typedef uint8_t flex_uint8_t; +typedef int16_t flex_int16_t; +typedef uint16_t flex_uint16_t; +typedef int32_t flex_int32_t; +typedef uint32_t flex_uint32_t; +#else +typedef signed char flex_int8_t; +typedef short int flex_int16_t; +typedef int flex_int32_t; +typedef unsigned char flex_uint8_t; +typedef unsigned short int flex_uint16_t; +typedef unsigned int flex_uint32_t; + +/* Limits of integral types. */ +#ifndef INT8_MIN +#define INT8_MIN (-128) +#endif +#ifndef INT16_MIN +#define INT16_MIN (-32767-1) +#endif +#ifndef INT32_MIN +#define INT32_MIN (-2147483647-1) +#endif +#ifndef INT8_MAX +#define INT8_MAX (127) +#endif +#ifndef INT16_MAX +#define INT16_MAX (32767) +#endif +#ifndef INT32_MAX +#define INT32_MAX (2147483647) +#endif +#ifndef UINT8_MAX +#define UINT8_MAX (255U) +#endif +#ifndef UINT16_MAX +#define UINT16_MAX (65535U) +#endif +#ifndef UINT32_MAX +#define UINT32_MAX (4294967295U) +#endif + +#ifndef SIZE_MAX +#define SIZE_MAX (~(size_t)0) +#endif + +#endif /* ! C99 */ + +#endif /* ! FLEXINT_H */ + +/* begin standard C++ headers. */ + +/* TODO: this is always defined, so inline it */ +#define yyconst const + +#if defined(__GNUC__) && __GNUC__ >= 3 +#define yynoreturn __attribute__((__noreturn__)) +#else +#define yynoreturn +#endif + +/* Returned upon end-of-file. */ +#define YY_NULL 0 + +/* Promotes a possibly negative, possibly signed char to an + * integer in range [0..255] for use as an array index. + */ +#define YY_SC_TO_UI(c) ((YY_CHAR) (c)) + +/* An opaque pointer. */ +#ifndef YY_TYPEDEF_YY_SCANNER_T +#define YY_TYPEDEF_YY_SCANNER_T +typedef void* yyscan_t; +#endif + +/* For convenience, these vars (plus the bison vars far below) + are macros in the reentrant scanner. */ +#define yyin yyg->yyin_r +#define yyout yyg->yyout_r +#define yyextra yyg->yyextra_r +#define yyleng yyg->yyleng_r +#define yytext yyg->yytext_r +#define yylineno (YY_CURRENT_BUFFER_LVALUE->yy_bs_lineno) +#define yycolumn (YY_CURRENT_BUFFER_LVALUE->yy_bs_column) +#define yy_flex_debug yyg->yy_flex_debug_r + +/* Enter a start condition. This macro really ought to take a parameter, + * but we do it the disgusting crufty way forced on us by the ()-less + * definition of BEGIN. + */ +#define BEGIN yyg->yy_start = 1 + 2 * +/* Translate the current start state into a value that can be later handed + * to BEGIN to return to the state. The YYSTATE alias is for lex + * compatibility. + */ +#define YY_START ((yyg->yy_start - 1) / 2) +#define YYSTATE YY_START +/* Action number for EOF rule of a given start state. */ +#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1) +/* Special action meaning "start processing a new file". */ +#define YY_NEW_FILE yyrestart( yyin , yyscanner ) +#define YY_END_OF_BUFFER_CHAR 0 + +/* Size of default input buffer. */ +#ifndef YY_BUF_SIZE +#ifdef __ia64__ +/* On IA-64, the buffer size is 16k, not 8k. + * Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case. + * Ditto for the __ia64__ case accordingly. + */ +#define YY_BUF_SIZE 32768 +#else +#define YY_BUF_SIZE 16384 +#endif /* __ia64__ */ +#endif + +/* The state buf must be large enough to hold one state per character in the main buffer. + */ +#define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type)) + +#ifndef YY_TYPEDEF_YY_BUFFER_STATE +#define YY_TYPEDEF_YY_BUFFER_STATE +typedef struct yy_buffer_state *YY_BUFFER_STATE; +#endif + +#ifndef YY_TYPEDEF_YY_SIZE_T +#define YY_TYPEDEF_YY_SIZE_T +typedef size_t yy_size_t; +#endif + +#define EOB_ACT_CONTINUE_SCAN 0 +#define EOB_ACT_END_OF_FILE 1 +#define EOB_ACT_LAST_MATCH 2 + + #define YY_LESS_LINENO(n) + #define YY_LINENO_REWIND_TO(ptr) + +/* Return all but the first "n" matched characters back to the input stream. */ +#define yyless(n) \ + do \ + { \ + /* Undo effects of setting up yytext. */ \ + int yyless_macro_arg = (n); \ + YY_LESS_LINENO(yyless_macro_arg);\ + *yy_cp = yyg->yy_hold_char; \ + YY_RESTORE_YY_MORE_OFFSET \ + yyg->yy_c_buf_p = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \ + YY_DO_BEFORE_ACTION; /* set up yytext again */ \ + } \ + while ( 0 ) +#define unput(c) yyunput( c, yyg->yytext_ptr , yyscanner ) + +#ifndef YY_STRUCT_YY_BUFFER_STATE +#define YY_STRUCT_YY_BUFFER_STATE +struct yy_buffer_state + { + FILE *yy_input_file; + + char *yy_ch_buf; /* input buffer */ + char *yy_buf_pos; /* current position in input buffer */ + + /* Size of input buffer in bytes, not including room for EOB + * characters. + */ + int yy_buf_size; + + /* Number of characters read into yy_ch_buf, not including EOB + * characters. + */ + int yy_n_chars; + + /* Whether we "own" the buffer - i.e., we know we created it, + * and can realloc() it to grow it, and should free() it to + * delete it. + */ + int yy_is_our_buffer; + + /* Whether this is an "interactive" input source; if so, and + * if we're using stdio for input, then we want to use getc() + * instead of fread(), to make sure we stop fetching input after + * each newline. + */ + int yy_is_interactive; + + /* Whether we're considered to be at the beginning of a line. + * If so, '^' rules will be active on the next match, otherwise + * not. + */ + int yy_at_bol; + + int yy_bs_lineno; /**< The line count. */ + int yy_bs_column; /**< The column count. */ + + /* Whether to try to fill the input buffer when we reach the + * end of it. + */ + int yy_fill_buffer; + + int yy_buffer_status; + +#define YY_BUFFER_NEW 0 +#define YY_BUFFER_NORMAL 1 + /* When an EOF's been seen but there's still some text to process + * then we mark the buffer as YY_EOF_PENDING, to indicate that we + * shouldn't try reading from the input source any more. We might + * still have a bunch of tokens to match, though, because of + * possible backing-up. + * + * When we actually see the EOF, we change the status to "new" + * (via yyrestart()), so that the user can continue scanning by + * just pointing yyin at a new input file. + */ +#define YY_BUFFER_EOF_PENDING 2 + + }; +#endif /* !YY_STRUCT_YY_BUFFER_STATE */ + +/* We provide macros for accessing buffer states in case in the + * future we want to put the buffer states in a more general + * "scanner state". + * + * Returns the top of the stack, or NULL. + */ +#define YY_CURRENT_BUFFER ( yyg->yy_buffer_stack \ + ? yyg->yy_buffer_stack[yyg->yy_buffer_stack_top] \ + : NULL) +/* Same as previous macro, but useful when we know that the buffer stack is not + * NULL or when we need an lvalue. For internal use only. + */ +#define YY_CURRENT_BUFFER_LVALUE yyg->yy_buffer_stack[yyg->yy_buffer_stack_top] + +void yyrestart ( FILE *input_file , yyscan_t yyscanner ); +void yy_switch_to_buffer ( YY_BUFFER_STATE new_buffer , yyscan_t yyscanner ); +YY_BUFFER_STATE yy_create_buffer ( FILE *file, int size , yyscan_t yyscanner ); +void yy_delete_buffer ( YY_BUFFER_STATE b , yyscan_t yyscanner ); +void yy_flush_buffer ( YY_BUFFER_STATE b , yyscan_t yyscanner ); +void yypush_buffer_state ( YY_BUFFER_STATE new_buffer , yyscan_t yyscanner ); +void yypop_buffer_state ( yyscan_t yyscanner ); + +static void yyensure_buffer_stack ( yyscan_t yyscanner ); +static void yy_load_buffer_state ( yyscan_t yyscanner ); +static void yy_init_buffer ( YY_BUFFER_STATE b, FILE *file , yyscan_t yyscanner ); +#define YY_FLUSH_BUFFER yy_flush_buffer( YY_CURRENT_BUFFER , yyscanner) + +YY_BUFFER_STATE yy_scan_buffer ( char *base, yy_size_t size , yyscan_t yyscanner ); +YY_BUFFER_STATE yy_scan_string ( const char *yy_str , yyscan_t yyscanner ); +YY_BUFFER_STATE yy_scan_bytes ( const char *bytes, int len , yyscan_t yyscanner ); + +void *yyalloc ( yy_size_t , yyscan_t yyscanner ); +void *yyrealloc ( void *, yy_size_t , yyscan_t yyscanner ); +void yyfree ( void * , yyscan_t yyscanner ); + +#define yy_new_buffer yy_create_buffer +#define yy_set_interactive(is_interactive) \ + { \ + if ( ! YY_CURRENT_BUFFER ){ \ + yyensure_buffer_stack (yyscanner); \ + YY_CURRENT_BUFFER_LVALUE = \ + yy_create_buffer( yyin, YY_BUF_SIZE , yyscanner); \ + } \ + YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \ + } +#define yy_set_bol(at_bol) \ + { \ + if ( ! YY_CURRENT_BUFFER ){\ + yyensure_buffer_stack (yyscanner); \ + YY_CURRENT_BUFFER_LVALUE = \ + yy_create_buffer( yyin, YY_BUF_SIZE , yyscanner); \ + } \ + YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \ + } +#define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol) + +/* Begin user sect3 */ + +#define yywrap(yyscanner) (/*CONSTCOND*/1) +#define YY_SKIP_YYWRAP +typedef flex_uint8_t YY_CHAR; + +typedef int yy_state_type; + +#define yytext_ptr yytext_r + +static yy_state_type yy_get_previous_state ( yyscan_t yyscanner ); +static yy_state_type yy_try_NUL_trans ( yy_state_type current_state , yyscan_t yyscanner); +static int yy_get_next_buffer ( yyscan_t yyscanner ); +static void yynoreturn yy_fatal_error ( const char* msg , yyscan_t yyscanner ); + +/* Done after the current pattern has been matched and before the + * corresponding action - sets up yytext. + */ +#define YY_DO_BEFORE_ACTION \ + yyg->yytext_ptr = yy_bp; \ + yyleng = (int) (yy_cp - yy_bp); \ + yyg->yy_hold_char = *yy_cp; \ + *yy_cp = '\0'; \ + yyg->yy_c_buf_p = yy_cp; +#define YY_NUM_RULES 145 +#define YY_END_OF_BUFFER 146 +/* This struct is not used in this scanner, + but its presence is necessary. */ +struct yy_trans_info + { + flex_int32_t yy_verify; + flex_int32_t yy_nxt; + }; +static const flex_int16_t yy_accept[234] = + { 0, + 0, 0, 0, 0, 146, 144, 143, 143, 144, 140, + 141, 142, 144, 144, 144, 2, 2, 139, 139, 139, + 139, 139, 139, 139, 139, 139, 139, 139, 139, 139, + 139, 139, 139, 136, 138, 135, 137, 143, 0, 3, + 0, 2, 0, 0, 132, 131, 0, 0, 0, 139, + 1, 139, 139, 139, 139, 139, 139, 139, 139, 139, + 139, 139, 139, 139, 139, 120, 112, 119, 139, 139, + 139, 139, 139, 139, 139, 139, 139, 139, 113, 139, + 139, 6, 7, 8, 9, 10, 11, 12, 13, 14, + 15, 136, 135, 134, 133, 0, 0, 131, 2, 2, + + 98, 139, 108, 111, 110, 109, 127, 139, 125, 139, + 122, 139, 139, 126, 139, 106, 104, 121, 118, 139, + 123, 102, 101, 96, 100, 103, 97, 124, 99, 139, + 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, + 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, + 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, + 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, + 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, + 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, + 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, + + 86, 0, 4, 87, 139, 139, 93, 139, 139, 139, + 107, 139, 90, 89, 94, 88, 91, 95, 92, 0, + 105, 130, 129, 128, 139, 114, 117, 116, 0, 115, + 0, 5, 0 + } ; + +static const YY_CHAR yy_ec[256] = + { 0, + 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, + 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 2, 1, 4, 1, 1, 1, 1, 1, 5, + 6, 7, 1, 8, 9, 10, 11, 12, 13, 14, + 15, 16, 17, 18, 19, 20, 21, 22, 1, 1, + 1, 1, 1, 1, 23, 23, 23, 23, 23, 23, + 23, 23, 24, 24, 23, 24, 23, 23, 24, 23, + 24, 23, 24, 23, 24, 23, 24, 23, 24, 23, + 1, 25, 1, 1, 24, 1, 26, 27, 28, 29, + + 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, + 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, + 24, 23, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1 + } ; + +static const YY_CHAR yy_meta[50] = + { 0, + 1, 2, 3, 1, 1, 1, 4, 1, 1, 1, + 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, + 5, 2, 6, 2, 1, 6, 6, 6, 6, 6, + 6, 6, 6, 2, 2, 6, 2, 6, 6, 2, + 6, 2, 6, 2, 6, 2, 6, 2, 6 + } ; + +static const flex_int16_t yy_base[241] = + { 0, + 0, 0, 47, 48, 144, 991, 50, 54, 56, 991, + 991, 991, 0, 27, 55, 30, 0, 62, 65, 67, + 70, 76, 80, 83, 98, 113, 115, 123, 126, 119, + 162, 128, 207, 0, 991, 69, 136, 88, 70, 991, + 137, 0, 99, 106, 991, 0, 0, 121, 149, 154, + 991, 166, 178, 171, 176, 194, 212, 215, 228, 230, + 233, 241, 243, 246, 256, 180, 259, 272, 277, 280, + 284, 287, 293, 298, 302, 305, 316, 319, 326, 331, + 333, 341, 362, 372, 382, 392, 402, 412, 422, 442, + 444, 0, 116, 991, 991, 104, 67, 0, 0, 177, + + 446, 448, 450, 453, 455, 457, 459, 471, 480, 482, + 484, 488, 493, 495, 497, 505, 509, 518, 530, 532, + 534, 536, 539, 541, 543, 557, 564, 578, 580, 582, + 585, 587, 590, 592, 594, 603, 608, 615, 617, 619, + 624, 626, 629, 631, 633, 640, 642, 647, 654, 656, + 658, 663, 665, 668, 670, 672, 679, 681, 686, 693, + 695, 697, 702, 704, 707, 709, 711, 718, 720, 725, + 732, 734, 736, 741, 743, 746, 748, 750, 757, 759, + 764, 771, 773, 775, 780, 782, 785, 787, 789, 796, + 798, 803, 810, 812, 814, 819, 821, 824, 826, 828, + + 835, 72, 991, 837, 842, 849, 851, 853, 858, 860, + 863, 865, 881, 886, 889, 896, 898, 902, 904, 57, + 907, 910, 912, 914, 919, 925, 928, 935, 64, 937, + 58, 991, 991, 959, 965, 72, 970, 976, 982, 984 + } ; + +static const flex_int16_t yy_def[241] = + { 0, + 233, 1, 234, 234, 233, 233, 233, 233, 235, 233, + 233, 233, 236, 233, 233, 236, 236, 237, 237, 237, + 237, 237, 237, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 237, 238, 233, 233, 233, 233, 235, 233, + 235, 236, 233, 233, 233, 239, 240, 233, 233, 237, + 233, 237, 237, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 237, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 237, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 33, 33, 33, 33, 33, 33, 33, 237, + 237, 238, 233, 233, 233, 233, 233, 239, 240, 233, + + 237, 237, 237, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 237, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 237, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 237, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 237, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 237, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 237, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 237, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 237, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 237, 237, 237, 237, 237, 237, 237, 237, + + 237, 233, 233, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 237, 237, 237, 237, 237, 237, 237, 233, + 237, 237, 237, 237, 237, 237, 237, 237, 233, 237, + 233, 233, 0, 233, 233, 233, 233, 233, 233, 233 + } ; + +static const flex_int16_t yy_nxt[1041] = + { 0, + 6, 7, 8, 9, 10, 11, 6, 12, 13, 14, + 15, 16, 17, 17, 17, 17, 17, 17, 17, 17, + 17, 6, 18, 18, 6, 19, 20, 21, 22, 23, + 24, 18, 18, 18, 25, 18, 26, 27, 28, 18, + 29, 18, 30, 31, 18, 32, 18, 18, 33, 35, + 35, 38, 38, 36, 36, 38, 38, 37, 37, 40, + 43, 45, 47, 49, 49, 46, 49, 49, 49, 49, + 44, 49, 49, 40, 48, 93, 42, 49, 49, 94, + 41, 49, 49, 51, 49, 49, 51, 232, 51, 38, + 38, 51, 231, 52, 41, 58, 54, 51, 55, 49, + + 49, 51, 229, 56, 51, 57, 61, 62, 220, 60, + 53, 203, 64, 59, 49, 49, 49, 49, 63, 51, + 49, 49, 93, 65, 49, 49, 94, 49, 49, 49, + 49, 202, 100, 100, 51, 97, 51, 96, 66, 233, + 51, 67, 95, 233, 51, 233, 68, 51, 73, 51, + 49, 49, 233, 72, 100, 49, 49, 233, 69, 233, + 70, 233, 71, 49, 49, 233, 81, 49, 49, 233, + 51, 233, 49, 49, 233, 51, 233, 49, 49, 49, + 49, 49, 49, 51, 233, 233, 233, 51, 100, 100, + 233, 74, 51, 75, 101, 49, 49, 51, 76, 51, + + 77, 51, 233, 233, 78, 104, 79, 80, 49, 49, + 100, 102, 103, 49, 49, 51, 49, 49, 82, 83, + 84, 85, 86, 87, 88, 89, 90, 91, 51, 49, + 49, 49, 49, 51, 49, 49, 51, 233, 105, 233, + 233, 106, 49, 49, 49, 49, 233, 49, 49, 51, + 233, 51, 233, 233, 51, 233, 233, 49, 49, 107, + 49, 49, 51, 233, 51, 233, 113, 51, 233, 110, + 108, 233, 109, 49, 49, 112, 111, 51, 49, 49, + 51, 49, 49, 233, 115, 49, 49, 114, 49, 49, + 233, 233, 116, 51, 49, 49, 233, 233, 51, 49, + + 49, 51, 233, 49, 49, 51, 49, 49, 51, 233, + 117, 233, 120, 233, 51, 233, 118, 49, 49, 51, + 49, 49, 233, 51, 119, 233, 51, 49, 49, 233, + 121, 123, 49, 49, 49, 49, 233, 51, 233, 122, + 51, 124, 49, 49, 233, 126, 233, 51, 233, 125, + 233, 233, 51, 233, 51, 127, 233, 129, 233, 233, + 233, 233, 51, 233, 233, 233, 233, 233, 233, 233, + 128, 233, 130, 131, 132, 133, 134, 135, 136, 137, + 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, + 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, + + 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, + 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, + 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, + 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, + 198, 199, 200, 49, 49, 49, 49, 49, 49, 49, + 49, 49, 49, 201, 49, 49, 49, 49, 49, 49, + 49, 49, 233, 51, 233, 51, 233, 51, 233, 51, + 233, 51, 49, 49, 51, 233, 51, 233, 51, 204, + 51, 49, 49, 49, 49, 49, 49, 233, 205, 49, + 49, 233, 51, 233, 49, 49, 49, 49, 49, 49, + + 233, 51, 233, 51, 233, 51, 49, 49, 233, 51, + 49, 49, 233, 206, 51, 233, 51, 208, 51, 49, + 49, 233, 207, 233, 210, 233, 51, 233, 233, 209, + 51, 49, 49, 49, 49, 49, 49, 49, 49, 51, + 49, 49, 49, 49, 49, 49, 233, 211, 233, 233, + 233, 51, 233, 51, 233, 51, 233, 51, 49, 49, + 51, 233, 51, 233, 51, 49, 49, 233, 212, 213, + 233, 233, 214, 233, 215, 233, 216, 233, 51, 49, + 49, 49, 49, 49, 49, 51, 49, 49, 49, 49, + 217, 49, 49, 49, 49, 49, 49, 218, 233, 51, + + 233, 51, 233, 51, 49, 49, 51, 233, 51, 49, + 49, 51, 233, 51, 233, 51, 49, 49, 49, 49, + 49, 49, 219, 233, 51, 49, 49, 49, 49, 51, + 49, 49, 49, 49, 49, 49, 51, 233, 51, 233, + 51, 49, 49, 49, 49, 51, 233, 51, 49, 49, + 51, 233, 51, 233, 51, 49, 49, 49, 49, 49, + 49, 51, 233, 51, 49, 49, 49, 49, 51, 49, + 49, 49, 49, 49, 49, 51, 233, 51, 233, 51, + 49, 49, 49, 49, 51, 233, 51, 49, 49, 51, + 233, 51, 233, 51, 49, 49, 49, 49, 49, 49, + + 51, 233, 51, 49, 49, 49, 49, 51, 49, 49, + 49, 49, 49, 49, 51, 233, 51, 233, 51, 49, + 49, 49, 49, 51, 233, 51, 49, 49, 51, 233, + 51, 233, 51, 49, 49, 49, 49, 49, 49, 51, + 233, 51, 49, 49, 49, 49, 51, 49, 49, 49, + 49, 49, 49, 51, 233, 51, 233, 51, 49, 49, + 49, 49, 51, 233, 51, 49, 49, 51, 233, 51, + 233, 51, 49, 49, 49, 49, 49, 49, 51, 233, + 51, 49, 49, 49, 49, 51, 49, 49, 49, 49, + 49, 49, 51, 233, 51, 233, 51, 49, 49, 49, + + 49, 51, 233, 51, 49, 49, 51, 233, 51, 233, + 51, 49, 49, 49, 49, 49, 49, 51, 233, 51, + 49, 49, 49, 49, 51, 49, 49, 49, 49, 49, + 49, 51, 233, 51, 233, 51, 49, 49, 49, 49, + 51, 233, 51, 49, 49, 51, 233, 51, 233, 51, + 49, 49, 49, 49, 49, 49, 51, 233, 51, 49, + 49, 49, 49, 51, 49, 49, 49, 49, 233, 221, + 51, 233, 51, 233, 51, 233, 222, 233, 225, 51, + 233, 51, 49, 49, 51, 233, 51, 49, 49, 227, + 49, 49, 223, 233, 226, 233, 224, 49, 49, 49, + + 49, 228, 51, 49, 49, 49, 49, 51, 49, 49, + 51, 49, 49, 49, 49, 49, 49, 51, 233, 51, + 49, 49, 233, 51, 233, 51, 49, 49, 51, 49, + 49, 51, 233, 51, 233, 51, 49, 49, 49, 49, + 51, 233, 233, 233, 233, 233, 51, 233, 233, 51, + 233, 233, 233, 233, 230, 233, 51, 233, 51, 34, + 34, 34, 34, 34, 34, 39, 39, 39, 39, 39, + 39, 50, 50, 233, 50, 50, 92, 92, 233, 233, + 92, 92, 98, 98, 233, 98, 98, 98, 99, 99, + 5, 233, 233, 233, 233, 233, 233, 233, 233, 233, + + 233, 233, 233, 233, 233, 233, 233, 233, 233, 233, + 233, 233, 233, 233, 233, 233, 233, 233, 233, 233, + 233, 233, 233, 233, 233, 233, 233, 233, 233, 233, + 233, 233, 233, 233, 233, 233, 233, 233, 233, 233 + } ; + +static const flex_int16_t yy_chk[1041] = + { 0, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, + 4, 7, 7, 3, 4, 8, 8, 3, 4, 9, + 14, 15, 16, 18, 18, 15, 19, 19, 20, 20, + 14, 21, 21, 39, 16, 36, 236, 22, 22, 36, + 9, 23, 23, 18, 24, 24, 19, 231, 20, 38, + 38, 21, 229, 19, 39, 21, 20, 22, 20, 25, + + 25, 23, 220, 20, 24, 20, 23, 23, 202, 22, + 19, 97, 24, 21, 26, 26, 27, 27, 23, 25, + 30, 30, 93, 25, 28, 28, 93, 29, 29, 32, + 32, 96, 48, 48, 26, 44, 27, 43, 26, 41, + 30, 26, 37, 5, 28, 0, 26, 29, 30, 32, + 49, 49, 0, 29, 48, 50, 50, 0, 26, 0, + 27, 0, 28, 31, 31, 0, 32, 52, 52, 0, + 49, 0, 54, 54, 0, 50, 0, 55, 55, 53, + 53, 66, 66, 31, 0, 0, 0, 52, 100, 100, + 0, 31, 54, 31, 52, 56, 56, 55, 31, 53, + + 31, 66, 0, 0, 31, 55, 31, 31, 33, 33, + 100, 53, 54, 57, 57, 56, 58, 58, 33, 33, + 33, 33, 33, 33, 33, 33, 33, 33, 33, 59, + 59, 60, 60, 57, 61, 61, 58, 0, 56, 0, + 0, 57, 62, 62, 63, 63, 0, 64, 64, 59, + 0, 60, 0, 0, 61, 0, 0, 65, 65, 58, + 67, 67, 62, 0, 63, 0, 62, 64, 0, 60, + 59, 0, 59, 68, 68, 61, 60, 65, 69, 69, + 67, 70, 70, 0, 64, 71, 71, 63, 72, 72, + 0, 0, 65, 68, 73, 73, 0, 0, 69, 74, + + 74, 70, 0, 75, 75, 71, 76, 76, 72, 0, + 69, 0, 72, 0, 73, 0, 70, 77, 77, 74, + 78, 78, 0, 75, 71, 0, 76, 79, 79, 0, + 73, 75, 80, 80, 81, 81, 0, 77, 0, 74, + 78, 76, 82, 82, 0, 77, 0, 79, 0, 76, + 0, 0, 80, 0, 81, 78, 0, 80, 0, 0, + 0, 0, 82, 0, 0, 0, 0, 0, 0, 0, + 79, 0, 81, 83, 83, 83, 83, 83, 83, 83, + 83, 83, 83, 84, 84, 84, 84, 84, 84, 84, + 84, 84, 84, 85, 85, 85, 85, 85, 85, 85, + + 85, 85, 85, 86, 86, 86, 86, 86, 86, 86, + 86, 86, 86, 87, 87, 87, 87, 87, 87, 87, + 87, 87, 87, 88, 88, 88, 88, 88, 88, 88, + 88, 88, 88, 89, 89, 89, 89, 89, 89, 89, + 89, 89, 89, 90, 90, 91, 91, 101, 101, 102, + 102, 103, 103, 90, 104, 104, 105, 105, 106, 106, + 107, 107, 0, 90, 0, 91, 0, 101, 0, 102, + 0, 103, 108, 108, 104, 0, 105, 0, 106, 101, + 107, 109, 109, 110, 110, 111, 111, 0, 102, 112, + 112, 0, 108, 0, 113, 113, 114, 114, 115, 115, + + 0, 109, 0, 110, 0, 111, 116, 116, 0, 112, + 117, 117, 0, 108, 113, 0, 114, 112, 115, 118, + 118, 0, 110, 0, 115, 0, 116, 0, 0, 113, + 117, 119, 119, 120, 120, 121, 121, 122, 122, 118, + 123, 123, 124, 124, 125, 125, 0, 116, 0, 0, + 0, 119, 0, 120, 0, 121, 0, 122, 126, 126, + 123, 0, 124, 0, 125, 127, 127, 0, 120, 122, + 0, 0, 123, 0, 124, 0, 125, 0, 126, 128, + 128, 129, 129, 130, 130, 127, 131, 131, 132, 132, + 126, 133, 133, 134, 134, 135, 135, 127, 0, 128, + + 0, 129, 0, 130, 136, 136, 131, 0, 132, 137, + 137, 133, 0, 134, 0, 135, 138, 138, 139, 139, + 140, 140, 130, 0, 136, 141, 141, 142, 142, 137, + 143, 143, 144, 144, 145, 145, 138, 0, 139, 0, + 140, 146, 146, 147, 147, 141, 0, 142, 148, 148, + 143, 0, 144, 0, 145, 149, 149, 150, 150, 151, + 151, 146, 0, 147, 152, 152, 153, 153, 148, 154, + 154, 155, 155, 156, 156, 149, 0, 150, 0, 151, + 157, 157, 158, 158, 152, 0, 153, 159, 159, 154, + 0, 155, 0, 156, 160, 160, 161, 161, 162, 162, + + 157, 0, 158, 163, 163, 164, 164, 159, 165, 165, + 166, 166, 167, 167, 160, 0, 161, 0, 162, 168, + 168, 169, 169, 163, 0, 164, 170, 170, 165, 0, + 166, 0, 167, 171, 171, 172, 172, 173, 173, 168, + 0, 169, 174, 174, 175, 175, 170, 176, 176, 177, + 177, 178, 178, 171, 0, 172, 0, 173, 179, 179, + 180, 180, 174, 0, 175, 181, 181, 176, 0, 177, + 0, 178, 182, 182, 183, 183, 184, 184, 179, 0, + 180, 185, 185, 186, 186, 181, 187, 187, 188, 188, + 189, 189, 182, 0, 183, 0, 184, 190, 190, 191, + + 191, 185, 0, 186, 192, 192, 187, 0, 188, 0, + 189, 193, 193, 194, 194, 195, 195, 190, 0, 191, + 196, 196, 197, 197, 192, 198, 198, 199, 199, 200, + 200, 193, 0, 194, 0, 195, 201, 201, 204, 204, + 196, 0, 197, 205, 205, 198, 0, 199, 0, 200, + 206, 206, 207, 207, 208, 208, 201, 0, 204, 209, + 209, 210, 210, 205, 211, 211, 212, 212, 0, 205, + 206, 0, 207, 0, 208, 0, 206, 0, 208, 209, + 0, 210, 213, 213, 211, 0, 212, 214, 214, 210, + 215, 215, 206, 0, 209, 0, 206, 216, 216, 217, + + 217, 212, 213, 218, 218, 219, 219, 214, 221, 221, + 215, 222, 222, 223, 223, 224, 224, 216, 0, 217, + 225, 225, 0, 218, 0, 219, 226, 226, 221, 227, + 227, 222, 0, 223, 0, 224, 228, 228, 230, 230, + 225, 0, 0, 0, 0, 0, 226, 0, 0, 227, + 0, 0, 0, 0, 225, 0, 228, 0, 230, 234, + 234, 234, 234, 234, 234, 235, 235, 235, 235, 235, + 235, 237, 237, 0, 237, 237, 238, 238, 0, 0, + 238, 238, 239, 239, 0, 239, 239, 239, 240, 240, + 233, 233, 233, 233, 233, 233, 233, 233, 233, 233, + + 233, 233, 233, 233, 233, 233, 233, 233, 233, 233, + 233, 233, 233, 233, 233, 233, 233, 233, 233, 233, + 233, 233, 233, 233, 233, 233, 233, 233, 233, 233, + 233, 233, 233, 233, 233, 233, 233, 233, 233, 233 + } ; + +/* The intent behind this definition is that it'll catch + * any uses of REJECT which flex missed. + */ +#define REJECT reject_used_but_not_detected +#define yymore() yymore_used_but_not_detected +#define YY_MORE_ADJ 0 +#define YY_RESTORE_YY_MORE_OFFSET +#line 1 "src/lexer.l" +/* SPDX-License-Identifier: copyleft-next-0.3.1 */ +/* Copyright 2023 Kim Kuparinen < kimi.h.kuparinen@gmail.com > */ +#define YY_NO_INPUT 1 +#line 6 "src/lexer.l" +#define FROM_LEXER +#include <tasm/parser.h> + +static void update_yylloc(struct parser *parser, YYLTYPE *lloc, const char *text) +{ + (void)parser; + + lloc->first_line = lloc->last_line; + lloc->first_column = lloc->last_column; + + for (size_t i = 0; text[i] != 0; ++i) { + if (text[i] == '\n') { + lloc->last_line++; + /* flex uses 1 based indexing */ + lloc->last_column = 1; + } else { + lloc->last_column++; + } + } +} + +#define YY_USER_ACTION update_yylloc(parser, yylloc, yytext); +#line 753 "gen/gen_lexer.inc" + +#line 755 "gen/gen_lexer.inc" + +#define INITIAL 0 +#define SC_COMMENT 1 + +#ifndef YY_NO_UNISTD_H +/* Special case for "unistd.h", since it is non-ANSI. We include it way + * down here because we want the user's section 1 to have been scanned first. + * The user has a chance to override it with an option. + */ +#include <unistd.h> +#endif + +#ifndef YY_EXTRA_TYPE +#define YY_EXTRA_TYPE void * +#endif + +/* Holds the entire state of the reentrant scanner. */ +struct yyguts_t + { + + /* User-defined. Not touched by flex. */ + YY_EXTRA_TYPE yyextra_r; + + /* The rest are the same as the globals declared in the non-reentrant scanner. */ + FILE *yyin_r, *yyout_r; + size_t yy_buffer_stack_top; /**< index of top of stack. */ + size_t yy_buffer_stack_max; /**< capacity of stack. */ + YY_BUFFER_STATE * yy_buffer_stack; /**< Stack as an array. */ + char yy_hold_char; + int yy_n_chars; + int yyleng_r; + char *yy_c_buf_p; + int yy_init; + int yy_start; + int yy_did_buffer_switch_on_eof; + int yy_start_stack_ptr; + int yy_start_stack_depth; + int *yy_start_stack; + yy_state_type yy_last_accepting_state; + char* yy_last_accepting_cpos; + + int yylineno_r; + int yy_flex_debug_r; + + char *yytext_r; + int yy_more_flag; + int yy_more_len; + + }; /* end struct yyguts_t */ + +static int yy_init_globals ( yyscan_t yyscanner ); + +int yylex_init (yyscan_t* scanner); + +int yylex_init_extra ( YY_EXTRA_TYPE user_defined, yyscan_t* scanner); + +/* Accessor methods to globals. + These are made visible to non-reentrant scanners for convenience. */ + +int yylex_destroy ( yyscan_t yyscanner ); + +int yyget_debug ( yyscan_t yyscanner ); + +void yyset_debug ( int debug_flag , yyscan_t yyscanner ); + +YY_EXTRA_TYPE yyget_extra ( yyscan_t yyscanner ); + +void yyset_extra ( YY_EXTRA_TYPE user_defined , yyscan_t yyscanner ); + +FILE *yyget_in ( yyscan_t yyscanner ); + +void yyset_in ( FILE * _in_str , yyscan_t yyscanner ); + +FILE *yyget_out ( yyscan_t yyscanner ); + +void yyset_out ( FILE * _out_str , yyscan_t yyscanner ); + + int yyget_leng ( yyscan_t yyscanner ); + +char *yyget_text ( yyscan_t yyscanner ); + +int yyget_lineno ( yyscan_t yyscanner ); + +void yyset_lineno ( int _line_number , yyscan_t yyscanner ); + +int yyget_column ( yyscan_t yyscanner ); + +void yyset_column ( int _column_no , yyscan_t yyscanner ); + +/* Macros after this point can all be overridden by user definitions in + * section 1. + */ + +#ifndef YY_SKIP_YYWRAP +#ifdef __cplusplus +extern "C" int yywrap ( yyscan_t yyscanner ); +#else +extern int yywrap ( yyscan_t yyscanner ); +#endif +#endif + +#ifndef YY_NO_UNPUT + +#endif + +#ifndef yytext_ptr +static void yy_flex_strncpy ( char *, const char *, int , yyscan_t yyscanner); +#endif + +#ifdef YY_NEED_STRLEN +static int yy_flex_strlen ( const char * , yyscan_t yyscanner); +#endif + +#ifndef YY_NO_INPUT +#ifdef __cplusplus +static int yyinput ( yyscan_t yyscanner ); +#else +static int input ( yyscan_t yyscanner ); +#endif + +#endif + +/* Amount of stuff to slurp up with each read. */ +#ifndef YY_READ_BUF_SIZE +#ifdef __ia64__ +/* On IA-64, the buffer size is 16k, not 8k */ +#define YY_READ_BUF_SIZE 16384 +#else +#define YY_READ_BUF_SIZE 8192 +#endif /* __ia64__ */ +#endif + +/* Copy whatever the last rule matched to the standard output. */ +#ifndef ECHO +/* This used to be an fputs(), but since the string might contain NUL's, + * we now use fwrite(). + */ +#define ECHO do { if (fwrite( yytext, (size_t) yyleng, 1, yyout )) {} } while (0) +#endif + +/* Gets input and stuffs it into "buf". number of characters read, or YY_NULL, + * is returned in "result". + */ +#ifndef YY_INPUT +#define YY_INPUT(buf,result,max_size) \ + if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \ + { \ + int c = '*'; \ + int n; \ + for ( n = 0; n < max_size && \ + (c = getc( yyin )) != EOF && c != '\n'; ++n ) \ + buf[n] = (char) c; \ + if ( c == '\n' ) \ + buf[n++] = (char) c; \ + if ( c == EOF && ferror( yyin ) ) \ + YY_FATAL_ERROR( "input in flex scanner failed" ); \ + result = n; \ + } \ + else \ + { \ + errno=0; \ + while ( (result = (int) fread(buf, 1, (yy_size_t) max_size, yyin)) == 0 && ferror(yyin)) \ + { \ + if( errno != EINTR) \ + { \ + YY_FATAL_ERROR( "input in flex scanner failed" ); \ + break; \ + } \ + errno=0; \ + clearerr(yyin); \ + } \ + }\ +\ + +#endif + +/* No semi-colon after return; correct usage is to write "yyterminate();" - + * we don't want an extra ';' after the "return" because that will cause + * some compilers to complain about unreachable statements. + */ +#ifndef yyterminate +#define yyterminate() return YY_NULL +#endif + +/* Number of entries by which start-condition stack grows. */ +#ifndef YY_START_STACK_INCR +#define YY_START_STACK_INCR 25 +#endif + +/* Report a fatal error. */ +#ifndef YY_FATAL_ERROR +#define YY_FATAL_ERROR(msg) yy_fatal_error( msg , yyscanner) +#endif + +/* end tables serialization structures and prototypes */ + +/* Default declaration of generated scanner - a define so the user can + * easily add parameters. + */ +#ifndef YY_DECL +#define YY_DECL_IS_OURS 1 + +extern int yylex (yyscan_t yyscanner); + +#define YY_DECL int yylex (yyscan_t yyscanner) +#endif /* !YY_DECL */ + +/* Code executed at the beginning of each rule, after yytext and yyleng + * have been set up. + */ +#ifndef YY_USER_ACTION +#define YY_USER_ACTION +#endif + +/* Code executed at the end of each rule. */ +#ifndef YY_BREAK +#define YY_BREAK /*LINTED*/break; +#endif + +#define YY_RULE_SETUP \ + YY_USER_ACTION + +/** The main scanner function which does all the work. + */ +YY_DECL +{ + yy_state_type yy_current_state; + char *yy_cp, *yy_bp; + int yy_act; + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + + if ( !yyg->yy_init ) + { + yyg->yy_init = 1; + +#ifdef YY_USER_INIT + YY_USER_INIT; +#endif + + if ( ! yyg->yy_start ) + yyg->yy_start = 1; /* first start state */ + + if ( ! yyin ) + yyin = stdin; + + if ( ! yyout ) + yyout = stdout; + + if ( ! YY_CURRENT_BUFFER ) { + yyensure_buffer_stack (yyscanner); + YY_CURRENT_BUFFER_LVALUE = + yy_create_buffer( yyin, YY_BUF_SIZE , yyscanner); + } + + yy_load_buffer_state( yyscanner ); + } + + { +#line 42 "src/lexer.l" + + +#line 1017 "gen/gen_lexer.inc" + + while ( /*CONSTCOND*/1 ) /* loops until end-of-file is reached */ + { + yy_cp = yyg->yy_c_buf_p; + + /* Support of yytext. */ + *yy_cp = yyg->yy_hold_char; + + /* yy_bp points to the position in yy_ch_buf of the start of + * the current run. + */ + yy_bp = yy_cp; + + yy_current_state = yyg->yy_start; +yy_match: + do + { + YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)] ; + if ( yy_accept[yy_current_state] ) + { + yyg->yy_last_accepting_state = yy_current_state; + yyg->yy_last_accepting_cpos = yy_cp; + } + while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) + { + yy_current_state = (int) yy_def[yy_current_state]; + if ( yy_current_state >= 234 ) + yy_c = yy_meta[yy_c]; + } + yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; + ++yy_cp; + } + while ( yy_base[yy_current_state] != 991 ); + +yy_find_action: + yy_act = yy_accept[yy_current_state]; + if ( yy_act == 0 ) + { /* have to back up */ + yy_cp = yyg->yy_last_accepting_cpos; + yy_current_state = yyg->yy_last_accepting_state; + yy_act = yy_accept[yy_current_state]; + } + + YY_DO_BEFORE_ACTION; + +do_action: /* This label is used only to access EOF actions. */ + + switch ( yy_act ) + { /* beginning of action switch */ + case 0: /* must back up */ + /* undo the effects of YY_DO_BEFORE_ACTION */ + *yy_cp = yyg->yy_hold_char; + yy_cp = yyg->yy_last_accepting_cpos; + yy_current_state = yyg->yy_last_accepting_state; + goto yy_find_action; + +case 1: +/* rule 1 can match eol */ +YY_RULE_SETUP +#line 44 "src/lexer.l" +{ + /* strip trailing ':' */ + char *s = yytext + strlen(yytext); + s[-1] = '\0'; + + yylval->str = yytext; + return label; +} + YY_BREAK +case 2: +YY_RULE_SETUP +#line 53 "src/lexer.l" +{ + yylval->tri = parse_imm(yytext); + return imm; +} + YY_BREAK +case 3: +/* rule 3 can match eol */ +YY_RULE_SETUP +#line 58 "src/lexer.l" +{ + /* strip leading and trailing " */ + char *s = yytext + strlen(yytext); + s[-1] = '\0'; + + yylval->str = yytext + 1; + return str; +} + YY_BREAK +case 4: +YY_RULE_SETUP +#line 67 "src/lexer.l" +{return set;} + YY_BREAK +case 5: +YY_RULE_SETUP +#line 68 "src/lexer.l" +{return include;} + YY_BREAK +case 6: +YY_RULE_SETUP +#line 70 "src/lexer.l" +{return x0;} + YY_BREAK +case 7: +YY_RULE_SETUP +#line 71 "src/lexer.l" +{return x1;} + YY_BREAK +case 8: +YY_RULE_SETUP +#line 72 "src/lexer.l" +{return x2;} + YY_BREAK +case 9: +YY_RULE_SETUP +#line 73 "src/lexer.l" +{return x3;} + YY_BREAK +case 10: +YY_RULE_SETUP +#line 74 "src/lexer.l" +{return x4;} + YY_BREAK +case 11: +YY_RULE_SETUP +#line 75 "src/lexer.l" +{return x5;} + YY_BREAK +case 12: +YY_RULE_SETUP +#line 76 "src/lexer.l" +{return x6;} + YY_BREAK +case 13: +YY_RULE_SETUP +#line 77 "src/lexer.l" +{return x7;} + YY_BREAK +case 14: +YY_RULE_SETUP +#line 78 "src/lexer.l" +{return x8;} + YY_BREAK +case 15: +YY_RULE_SETUP +#line 79 "src/lexer.l" +{return x9;} + YY_BREAK +case 16: +YY_RULE_SETUP +#line 80 "src/lexer.l" +{return x10;} + YY_BREAK +case 17: +YY_RULE_SETUP +#line 81 "src/lexer.l" +{return x11;} + YY_BREAK +case 18: +YY_RULE_SETUP +#line 82 "src/lexer.l" +{return x12;} + YY_BREAK +case 19: +YY_RULE_SETUP +#line 83 "src/lexer.l" +{return x13;} + YY_BREAK +case 20: +YY_RULE_SETUP +#line 84 "src/lexer.l" +{return x14;} + YY_BREAK +case 21: +YY_RULE_SETUP +#line 85 "src/lexer.l" +{return x15;} + YY_BREAK +case 22: +YY_RULE_SETUP +#line 86 "src/lexer.l" +{return x16;} + YY_BREAK +case 23: +YY_RULE_SETUP +#line 87 "src/lexer.l" +{return x17;} + YY_BREAK +case 24: +YY_RULE_SETUP +#line 88 "src/lexer.l" +{return x18;} + YY_BREAK +case 25: +YY_RULE_SETUP +#line 89 "src/lexer.l" +{return x19;} + YY_BREAK +case 26: +YY_RULE_SETUP +#line 90 "src/lexer.l" +{return x20;} + YY_BREAK +case 27: +YY_RULE_SETUP +#line 91 "src/lexer.l" +{return x21;} + YY_BREAK +case 28: +YY_RULE_SETUP +#line 92 "src/lexer.l" +{return x22;} + YY_BREAK +case 29: +YY_RULE_SETUP +#line 93 "src/lexer.l" +{return x23;} + YY_BREAK +case 30: +YY_RULE_SETUP +#line 94 "src/lexer.l" +{return x24;} + YY_BREAK +case 31: +YY_RULE_SETUP +#line 95 "src/lexer.l" +{return x25;} + YY_BREAK +case 32: +YY_RULE_SETUP +#line 96 "src/lexer.l" +{return x26;} + YY_BREAK +case 33: +YY_RULE_SETUP +#line 97 "src/lexer.l" +{return x27;} + YY_BREAK +case 34: +YY_RULE_SETUP +#line 98 "src/lexer.l" +{return x28;} + YY_BREAK +case 35: +YY_RULE_SETUP +#line 99 "src/lexer.l" +{return x29;} + YY_BREAK +case 36: +YY_RULE_SETUP +#line 100 "src/lexer.l" +{return x30;} + YY_BREAK +case 37: +YY_RULE_SETUP +#line 101 "src/lexer.l" +{return x31;} + YY_BREAK +case 38: +YY_RULE_SETUP +#line 102 "src/lexer.l" +{return x32;} + YY_BREAK +case 39: +YY_RULE_SETUP +#line 103 "src/lexer.l" +{return x33;} + YY_BREAK +case 40: +YY_RULE_SETUP +#line 104 "src/lexer.l" +{return x34;} + YY_BREAK +case 41: +YY_RULE_SETUP +#line 105 "src/lexer.l" +{return x35;} + YY_BREAK +case 42: +YY_RULE_SETUP +#line 106 "src/lexer.l" +{return x36;} + YY_BREAK +case 43: +YY_RULE_SETUP +#line 107 "src/lexer.l" +{return x37;} + YY_BREAK +case 44: +YY_RULE_SETUP +#line 108 "src/lexer.l" +{return x38;} + YY_BREAK +case 45: +YY_RULE_SETUP +#line 109 "src/lexer.l" +{return x39;} + YY_BREAK +case 46: +YY_RULE_SETUP +#line 110 "src/lexer.l" +{return x40;} + YY_BREAK +case 47: +YY_RULE_SETUP +#line 111 "src/lexer.l" +{return x41;} + YY_BREAK +case 48: +YY_RULE_SETUP +#line 112 "src/lexer.l" +{return x42;} + YY_BREAK +case 49: +YY_RULE_SETUP +#line 113 "src/lexer.l" +{return x43;} + YY_BREAK +case 50: +YY_RULE_SETUP +#line 114 "src/lexer.l" +{return x44;} + YY_BREAK +case 51: +YY_RULE_SETUP +#line 115 "src/lexer.l" +{return x45;} + YY_BREAK +case 52: +YY_RULE_SETUP +#line 116 "src/lexer.l" +{return x46;} + YY_BREAK +case 53: +YY_RULE_SETUP +#line 117 "src/lexer.l" +{return x47;} + YY_BREAK +case 54: +YY_RULE_SETUP +#line 118 "src/lexer.l" +{return x48;} + YY_BREAK +case 55: +YY_RULE_SETUP +#line 119 "src/lexer.l" +{return x49;} + YY_BREAK +case 56: +YY_RULE_SETUP +#line 120 "src/lexer.l" +{return x50;} + YY_BREAK +case 57: +YY_RULE_SETUP +#line 121 "src/lexer.l" +{return x51;} + YY_BREAK +case 58: +YY_RULE_SETUP +#line 122 "src/lexer.l" +{return x52;} + YY_BREAK +case 59: +YY_RULE_SETUP +#line 123 "src/lexer.l" +{return x53;} + YY_BREAK +case 60: +YY_RULE_SETUP +#line 124 "src/lexer.l" +{return x54;} + YY_BREAK +case 61: +YY_RULE_SETUP +#line 125 "src/lexer.l" +{return x55;} + YY_BREAK +case 62: +YY_RULE_SETUP +#line 126 "src/lexer.l" +{return x56;} + YY_BREAK +case 63: +YY_RULE_SETUP +#line 127 "src/lexer.l" +{return x57;} + YY_BREAK +case 64: +YY_RULE_SETUP +#line 128 "src/lexer.l" +{return x58;} + YY_BREAK +case 65: +YY_RULE_SETUP +#line 129 "src/lexer.l" +{return x59;} + YY_BREAK +case 66: +YY_RULE_SETUP +#line 130 "src/lexer.l" +{return x60;} + YY_BREAK +case 67: +YY_RULE_SETUP +#line 131 "src/lexer.l" +{return x61;} + YY_BREAK +case 68: +YY_RULE_SETUP +#line 132 "src/lexer.l" +{return x62;} + YY_BREAK +case 69: +YY_RULE_SETUP +#line 133 "src/lexer.l" +{return x63;} + YY_BREAK +case 70: +YY_RULE_SETUP +#line 134 "src/lexer.l" +{return x64;} + YY_BREAK +case 71: +YY_RULE_SETUP +#line 135 "src/lexer.l" +{return x65;} + YY_BREAK +case 72: +YY_RULE_SETUP +#line 136 "src/lexer.l" +{return x66;} + YY_BREAK +case 73: +YY_RULE_SETUP +#line 137 "src/lexer.l" +{return x67;} + YY_BREAK +case 74: +YY_RULE_SETUP +#line 138 "src/lexer.l" +{return x68;} + YY_BREAK +case 75: +YY_RULE_SETUP +#line 139 "src/lexer.l" +{return x69;} + YY_BREAK +case 76: +YY_RULE_SETUP +#line 140 "src/lexer.l" +{return x70;} + YY_BREAK +case 77: +YY_RULE_SETUP +#line 141 "src/lexer.l" +{return x71;} + YY_BREAK +case 78: +YY_RULE_SETUP +#line 142 "src/lexer.l" +{return x72;} + YY_BREAK +case 79: +YY_RULE_SETUP +#line 143 "src/lexer.l" +{return x73;} + YY_BREAK +case 80: +YY_RULE_SETUP +#line 144 "src/lexer.l" +{return x74;} + YY_BREAK +case 81: +YY_RULE_SETUP +#line 145 "src/lexer.l" +{return x75;} + YY_BREAK +case 82: +YY_RULE_SETUP +#line 146 "src/lexer.l" +{return x76;} + YY_BREAK +case 83: +YY_RULE_SETUP +#line 147 "src/lexer.l" +{return x77;} + YY_BREAK +case 84: +YY_RULE_SETUP +#line 148 "src/lexer.l" +{return x78;} + YY_BREAK +case 85: +YY_RULE_SETUP +#line 149 "src/lexer.l" +{return x79;} + YY_BREAK +case 86: +YY_RULE_SETUP +#line 150 "src/lexer.l" +{return x80;} + YY_BREAK +case 87: +YY_RULE_SETUP +#line 152 "src/lexer.l" +{return addi; /* i */} + YY_BREAK +case 88: +YY_RULE_SETUP +#line 153 "src/lexer.l" +{return slti;} + YY_BREAK +case 89: +YY_RULE_SETUP +#line 154 "src/lexer.l" +{return sgei;} + YY_BREAK +case 90: +YY_RULE_SETUP +#line 155 "src/lexer.l" +{return seqi;} + YY_BREAK +case 91: +YY_RULE_SETUP +#line 156 "src/lexer.l" +{return snei;} + YY_BREAK +case 92: +YY_RULE_SETUP +#line 157 "src/lexer.l" +{return unop;} + YY_BREAK +case 93: +YY_RULE_SETUP +#line 158 "src/lexer.l" +{return diop;} + YY_BREAK +case 94: +YY_RULE_SETUP +#line 159 "src/lexer.l" +{return slli;} + YY_BREAK +case 95: +YY_RULE_SETUP +#line 160 "src/lexer.l" +{return srli;} + YY_BREAK +case 96: +YY_RULE_SETUP +#line 161 "src/lexer.l" +{return sll;} + YY_BREAK +case 97: +YY_RULE_SETUP +#line 162 "src/lexer.l" +{return srl;} + YY_BREAK +case 98: +YY_RULE_SETUP +#line 163 "src/lexer.l" +{return add;} + YY_BREAK +case 99: +YY_RULE_SETUP +#line 164 "src/lexer.l" +{return sub;} + YY_BREAK +case 100: +YY_RULE_SETUP +#line 165 "src/lexer.l" +{return slt;} + YY_BREAK +case 101: +YY_RULE_SETUP +#line 166 "src/lexer.l" +{return sge;} + YY_BREAK +case 102: +YY_RULE_SETUP +#line 167 "src/lexer.l" +{return seq;} + YY_BREAK +case 103: +YY_RULE_SETUP +#line 168 "src/lexer.l" +{return sne;} + YY_BREAK +case 104: +YY_RULE_SETUP +#line 169 "src/lexer.l" +{return lui;} + YY_BREAK +case 105: +YY_RULE_SETUP +#line 170 "src/lexer.l" +{return auipc;} + YY_BREAK +case 106: +YY_RULE_SETUP +#line 171 "src/lexer.l" +{return jal;} + YY_BREAK +case 107: +YY_RULE_SETUP +#line 172 "src/lexer.l" +{return jalr;} + YY_BREAK +case 108: +YY_RULE_SETUP +#line 173 "src/lexer.l" +{return beq;} + YY_BREAK +case 109: +YY_RULE_SETUP +#line 174 "src/lexer.l" +{return bne;} + YY_BREAK +case 110: +YY_RULE_SETUP +#line 175 "src/lexer.l" +{return blt;} + YY_BREAK +case 111: +YY_RULE_SETUP +#line 176 "src/lexer.l" +{return bge;} + YY_BREAK +case 112: +YY_RULE_SETUP +#line 177 "src/lexer.l" +{return ld;} + YY_BREAK +case 113: +YY_RULE_SETUP +#line 178 "src/lexer.l" +{return st;} + YY_BREAK +case 114: +YY_RULE_SETUP +#line 179 "src/lexer.l" +{return ecall;} + YY_BREAK +case 115: +YY_RULE_SETUP +#line 180 "src/lexer.l" +{return ebreak;} + YY_BREAK +case 116: +YY_RULE_SETUP +#line 181 "src/lexer.l" +{return pcall;} + YY_BREAK +case 117: +YY_RULE_SETUP +#line 182 "src/lexer.l" +{return fence;} + YY_BREAK +case 118: +YY_RULE_SETUP +#line 183 "src/lexer.l" +{return nop; /* meta */} + YY_BREAK +case 119: +YY_RULE_SETUP +#line 184 "src/lexer.l" +{return li;} + YY_BREAK +case 120: +YY_RULE_SETUP +#line 185 "src/lexer.l" +{return la;} + YY_BREAK +case 121: +YY_RULE_SETUP +#line 187 "src/lexer.l" +{return mul; /* m */} + YY_BREAK +case 122: +YY_RULE_SETUP +#line 188 "src/lexer.l" +{return diV;} + YY_BREAK +case 123: +YY_RULE_SETUP +#line 189 "src/lexer.l" +{return rem;} + YY_BREAK +case 124: +YY_RULE_SETUP +#line 191 "src/lexer.l" +{return stt; /* a */} + YY_BREAK +case 125: +YY_RULE_SETUP +#line 192 "src/lexer.l" +{return cst;} + YY_BREAK +case 126: +YY_RULE_SETUP +#line 193 "src/lexer.l" +{return ent;} + YY_BREAK +case 127: +YY_RULE_SETUP +#line 194 "src/lexer.l" +{return cat;} + YY_BREAK +case 128: +YY_RULE_SETUP +#line 196 "src/lexer.l" +{return csrrw; /* Zcsr */} + YY_BREAK +case 129: +YY_RULE_SETUP +#line 197 "src/lexer.l" +{return csrrs;} + YY_BREAK +case 130: +YY_RULE_SETUP +#line 198 "src/lexer.l" +{return csrrc;} + YY_BREAK +case 131: +YY_RULE_SETUP +#line 200 "src/lexer.l" +{/* skip line comments */} + YY_BREAK +case 132: +YY_RULE_SETUP +#line 202 "src/lexer.l" +{BEGIN(SC_COMMENT);} + YY_BREAK + +case 133: +YY_RULE_SETUP +#line 204 "src/lexer.l" +{++parser->comment_nesting;} + YY_BREAK +case 134: +YY_RULE_SETUP +#line 205 "src/lexer.l" +{ + if (parser->comment_nesting) + --parser->comment_nesting; + else + BEGIN(INITIAL); + } + YY_BREAK +case 135: +YY_RULE_SETUP +#line 212 "src/lexer.l" +{} + YY_BREAK +case 136: +YY_RULE_SETUP +#line 213 "src/lexer.l" +{} + YY_BREAK +case 137: +YY_RULE_SETUP +#line 214 "src/lexer.l" +{} + YY_BREAK +case 138: +/* rule 138 can match eol */ +YY_RULE_SETUP +#line 215 "src/lexer.l" +{} + YY_BREAK + +case 139: +YY_RULE_SETUP +#line 218 "src/lexer.l" +{ + yylval->str = yytext; + return id; +} + YY_BREAK +case 140: +YY_RULE_SETUP +#line 223 "src/lexer.l" +{return LPAREN;} + YY_BREAK +case 141: +YY_RULE_SETUP +#line 224 "src/lexer.l" +{return RPAREN;} + YY_BREAK +case 142: +YY_RULE_SETUP +#line 225 "src/lexer.l" +{return COMMA;} + YY_BREAK +case 143: +/* rule 143 can match eol */ +YY_RULE_SETUP +#line 227 "src/lexer.l" +{/* skip whitespace */} + YY_BREAK +case 144: +YY_RULE_SETUP +#line 229 "src/lexer.l" +{ + struct src_issue issue; + issue.loc = to_src_loc(yylloc); + issue.fctx.fbuf = parser->buf; + issue.fctx.fname = parser->fname; + src_issue(issue, "unexpected token: %s", yytext); + parser->failed = true; +} + YY_BREAK +case 145: +YY_RULE_SETUP +#line 237 "src/lexer.l" +YY_FATAL_ERROR( "flex scanner jammed" ); + YY_BREAK +#line 1837 "gen/gen_lexer.inc" +case YY_STATE_EOF(INITIAL): +case YY_STATE_EOF(SC_COMMENT): + yyterminate(); + + case YY_END_OF_BUFFER: + { + /* Amount of text matched not including the EOB char. */ + int yy_amount_of_matched_text = (int) (yy_cp - yyg->yytext_ptr) - 1; + + /* Undo the effects of YY_DO_BEFORE_ACTION. */ + *yy_cp = yyg->yy_hold_char; + YY_RESTORE_YY_MORE_OFFSET + + if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW ) + { + /* We're scanning a new file or input source. It's + * possible that this happened because the user + * just pointed yyin at a new source and called + * yylex(). If so, then we have to assure + * consistency between YY_CURRENT_BUFFER and our + * globals. Here is the right place to do so, because + * this is the first action (other than possibly a + * back-up) that will match for the new input source. + */ + yyg->yy_n_chars = YY_CURRENT_BUFFER_LVALUE->yy_n_chars; + YY_CURRENT_BUFFER_LVALUE->yy_input_file = yyin; + YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL; + } + + /* Note that here we test for yy_c_buf_p "<=" to the position + * of the first EOB in the buffer, since yy_c_buf_p will + * already have been incremented past the NUL character + * (since all states make transitions on EOB to the + * end-of-buffer state). Contrast this with the test + * in input(). + */ + if ( yyg->yy_c_buf_p <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars] ) + { /* This was really a NUL. */ + yy_state_type yy_next_state; + + yyg->yy_c_buf_p = yyg->yytext_ptr + yy_amount_of_matched_text; + + yy_current_state = yy_get_previous_state( yyscanner ); + + /* Okay, we're now positioned to make the NUL + * transition. We couldn't have + * yy_get_previous_state() go ahead and do it + * for us because it doesn't know how to deal + * with the possibility of jamming (and we don't + * want to build jamming into it because then it + * will run more slowly). + */ + + yy_next_state = yy_try_NUL_trans( yy_current_state , yyscanner); + + yy_bp = yyg->yytext_ptr + YY_MORE_ADJ; + + if ( yy_next_state ) + { + /* Consume the NUL. */ + yy_cp = ++yyg->yy_c_buf_p; + yy_current_state = yy_next_state; + goto yy_match; + } + + else + { + yy_cp = yyg->yy_c_buf_p; + goto yy_find_action; + } + } + + else switch ( yy_get_next_buffer( yyscanner ) ) + { + case EOB_ACT_END_OF_FILE: + { + yyg->yy_did_buffer_switch_on_eof = 0; + + if ( yywrap( yyscanner ) ) + { + /* Note: because we've taken care in + * yy_get_next_buffer() to have set up + * yytext, we can now set up + * yy_c_buf_p so that if some total + * hoser (like flex itself) wants to + * call the scanner after we return the + * YY_NULL, it'll still work - another + * YY_NULL will get returned. + */ + yyg->yy_c_buf_p = yyg->yytext_ptr + YY_MORE_ADJ; + + yy_act = YY_STATE_EOF(YY_START); + goto do_action; + } + + else + { + if ( ! yyg->yy_did_buffer_switch_on_eof ) + YY_NEW_FILE; + } + break; + } + + case EOB_ACT_CONTINUE_SCAN: + yyg->yy_c_buf_p = + yyg->yytext_ptr + yy_amount_of_matched_text; + + yy_current_state = yy_get_previous_state( yyscanner ); + + yy_cp = yyg->yy_c_buf_p; + yy_bp = yyg->yytext_ptr + YY_MORE_ADJ; + goto yy_match; + + case EOB_ACT_LAST_MATCH: + yyg->yy_c_buf_p = + &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars]; + + yy_current_state = yy_get_previous_state( yyscanner ); + + yy_cp = yyg->yy_c_buf_p; + yy_bp = yyg->yytext_ptr + YY_MORE_ADJ; + goto yy_find_action; + } + break; + } + + default: + YY_FATAL_ERROR( + "fatal flex scanner internal error--no action found" ); + } /* end of action switch */ + } /* end of scanning one token */ + } /* end of user's declarations */ +} /* end of yylex */ + +/* yy_get_next_buffer - try to read in a new buffer + * + * Returns a code representing an action: + * EOB_ACT_LAST_MATCH - + * EOB_ACT_CONTINUE_SCAN - continue scanning from current position + * EOB_ACT_END_OF_FILE - end of file + */ +static int yy_get_next_buffer (yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf; + char *source = yyg->yytext_ptr; + int number_to_move, i; + int ret_val; + + if ( yyg->yy_c_buf_p > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars + 1] ) + YY_FATAL_ERROR( + "fatal flex scanner internal error--end of buffer missed" ); + + if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 ) + { /* Don't try to fill the buffer, so this is an EOF. */ + if ( yyg->yy_c_buf_p - yyg->yytext_ptr - YY_MORE_ADJ == 1 ) + { + /* We matched a single character, the EOB, so + * treat this as a final EOF. + */ + return EOB_ACT_END_OF_FILE; + } + + else + { + /* We matched some text prior to the EOB, first + * process it. + */ + return EOB_ACT_LAST_MATCH; + } + } + + /* Try to read more data. */ + + /* First move last chars to start of buffer. */ + number_to_move = (int) (yyg->yy_c_buf_p - yyg->yytext_ptr - 1); + + for ( i = 0; i < number_to_move; ++i ) + *(dest++) = *(source++); + + if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING ) + /* don't do the read, it's not guaranteed to return an EOF, + * just force an EOF + */ + YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars = 0; + + else + { + int num_to_read = + YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1; + + while ( num_to_read <= 0 ) + { /* Not enough room in the buffer - grow it. */ + + /* just a shorter name for the current buffer */ + YY_BUFFER_STATE b = YY_CURRENT_BUFFER_LVALUE; + + int yy_c_buf_p_offset = + (int) (yyg->yy_c_buf_p - b->yy_ch_buf); + + if ( b->yy_is_our_buffer ) + { + int new_size = b->yy_buf_size * 2; + + if ( new_size <= 0 ) + b->yy_buf_size += b->yy_buf_size / 8; + else + b->yy_buf_size *= 2; + + b->yy_ch_buf = (char *) + /* Include room in for 2 EOB chars. */ + yyrealloc( (void *) b->yy_ch_buf, + (yy_size_t) (b->yy_buf_size + 2) , yyscanner ); + } + else + /* Can't grow it, we don't own it. */ + b->yy_ch_buf = NULL; + + if ( ! b->yy_ch_buf ) + YY_FATAL_ERROR( + "fatal error - scanner input buffer overflow" ); + + yyg->yy_c_buf_p = &b->yy_ch_buf[yy_c_buf_p_offset]; + + num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size - + number_to_move - 1; + + } + + if ( num_to_read > YY_READ_BUF_SIZE ) + num_to_read = YY_READ_BUF_SIZE; + + /* Read in more data. */ + YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]), + yyg->yy_n_chars, num_to_read ); + + YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars; + } + + if ( yyg->yy_n_chars == 0 ) + { + if ( number_to_move == YY_MORE_ADJ ) + { + ret_val = EOB_ACT_END_OF_FILE; + yyrestart( yyin , yyscanner); + } + + else + { + ret_val = EOB_ACT_LAST_MATCH; + YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = + YY_BUFFER_EOF_PENDING; + } + } + + else + ret_val = EOB_ACT_CONTINUE_SCAN; + + if ((yyg->yy_n_chars + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) { + /* Extend the array by 50%, plus the number we really need. */ + int new_size = yyg->yy_n_chars + number_to_move + (yyg->yy_n_chars >> 1); + YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) yyrealloc( + (void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf, (yy_size_t) new_size , yyscanner ); + if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf ) + YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" ); + /* "- 2" to take care of EOB's */ + YY_CURRENT_BUFFER_LVALUE->yy_buf_size = (int) (new_size - 2); + } + + yyg->yy_n_chars += number_to_move; + YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars] = YY_END_OF_BUFFER_CHAR; + YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR; + + yyg->yytext_ptr = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0]; + + return ret_val; +} + +/* yy_get_previous_state - get the state just before the EOB char was reached */ + + static yy_state_type yy_get_previous_state (yyscan_t yyscanner) +{ + yy_state_type yy_current_state; + char *yy_cp; + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + + yy_current_state = yyg->yy_start; + + for ( yy_cp = yyg->yytext_ptr + YY_MORE_ADJ; yy_cp < yyg->yy_c_buf_p; ++yy_cp ) + { + YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1); + if ( yy_accept[yy_current_state] ) + { + yyg->yy_last_accepting_state = yy_current_state; + yyg->yy_last_accepting_cpos = yy_cp; + } + while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) + { + yy_current_state = (int) yy_def[yy_current_state]; + if ( yy_current_state >= 234 ) + yy_c = yy_meta[yy_c]; + } + yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; + } + + return yy_current_state; +} + +/* yy_try_NUL_trans - try to make a transition on the NUL character + * + * synopsis + * next_state = yy_try_NUL_trans( current_state ); + */ + static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state , yyscan_t yyscanner) +{ + int yy_is_jam; + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; /* This var may be unused depending upon options. */ + char *yy_cp = yyg->yy_c_buf_p; + + YY_CHAR yy_c = 1; + if ( yy_accept[yy_current_state] ) + { + yyg->yy_last_accepting_state = yy_current_state; + yyg->yy_last_accepting_cpos = yy_cp; + } + while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) + { + yy_current_state = (int) yy_def[yy_current_state]; + if ( yy_current_state >= 234 ) + yy_c = yy_meta[yy_c]; + } + yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; + yy_is_jam = (yy_current_state == 233); + + (void)yyg; + return yy_is_jam ? 0 : yy_current_state; +} + +#ifndef YY_NO_UNPUT + +#endif + +#ifndef YY_NO_INPUT +#ifdef __cplusplus + static int yyinput (yyscan_t yyscanner) +#else + static int input (yyscan_t yyscanner) +#endif + +{ + int c; + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + + *yyg->yy_c_buf_p = yyg->yy_hold_char; + + if ( *yyg->yy_c_buf_p == YY_END_OF_BUFFER_CHAR ) + { + /* yy_c_buf_p now points to the character we want to return. + * If this occurs *before* the EOB characters, then it's a + * valid NUL; if not, then we've hit the end of the buffer. + */ + if ( yyg->yy_c_buf_p < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars] ) + /* This was really a NUL. */ + *yyg->yy_c_buf_p = '\0'; + + else + { /* need more input */ + int offset = (int) (yyg->yy_c_buf_p - yyg->yytext_ptr); + ++yyg->yy_c_buf_p; + + switch ( yy_get_next_buffer( yyscanner ) ) + { + case EOB_ACT_LAST_MATCH: + /* This happens because yy_g_n_b() + * sees that we've accumulated a + * token and flags that we need to + * try matching the token before + * proceeding. But for input(), + * there's no matching to consider. + * So convert the EOB_ACT_LAST_MATCH + * to EOB_ACT_END_OF_FILE. + */ + + /* Reset buffer status. */ + yyrestart( yyin , yyscanner); + + /*FALLTHROUGH*/ + + case EOB_ACT_END_OF_FILE: + { + if ( yywrap( yyscanner ) ) + return 0; + + if ( ! yyg->yy_did_buffer_switch_on_eof ) + YY_NEW_FILE; +#ifdef __cplusplus + return yyinput(yyscanner); +#else + return input(yyscanner); +#endif + } + + case EOB_ACT_CONTINUE_SCAN: + yyg->yy_c_buf_p = yyg->yytext_ptr + offset; + break; + } + } + } + + c = *(unsigned char *) yyg->yy_c_buf_p; /* cast for 8-bit char's */ + *yyg->yy_c_buf_p = '\0'; /* preserve yytext */ + yyg->yy_hold_char = *++yyg->yy_c_buf_p; + + return c; +} +#endif /* ifndef YY_NO_INPUT */ + +/** Immediately switch to a different input stream. + * @param input_file A readable stream. + * @param yyscanner The scanner object. + * @note This function does not reset the start condition to @c INITIAL . + */ + void yyrestart (FILE * input_file , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + + if ( ! YY_CURRENT_BUFFER ){ + yyensure_buffer_stack (yyscanner); + YY_CURRENT_BUFFER_LVALUE = + yy_create_buffer( yyin, YY_BUF_SIZE , yyscanner); + } + + yy_init_buffer( YY_CURRENT_BUFFER, input_file , yyscanner); + yy_load_buffer_state( yyscanner ); +} + +/** Switch to a different input buffer. + * @param new_buffer The new input buffer. + * @param yyscanner The scanner object. + */ + void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + + /* TODO. We should be able to replace this entire function body + * with + * yypop_buffer_state(); + * yypush_buffer_state(new_buffer); + */ + yyensure_buffer_stack (yyscanner); + if ( YY_CURRENT_BUFFER == new_buffer ) + return; + + if ( YY_CURRENT_BUFFER ) + { + /* Flush out information for old buffer. */ + *yyg->yy_c_buf_p = yyg->yy_hold_char; + YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = yyg->yy_c_buf_p; + YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars; + } + + YY_CURRENT_BUFFER_LVALUE = new_buffer; + yy_load_buffer_state( yyscanner ); + + /* We don't actually know whether we did this switch during + * EOF (yywrap()) processing, but the only time this flag + * is looked at is after yywrap() is called, so it's safe + * to go ahead and always set it. + */ + yyg->yy_did_buffer_switch_on_eof = 1; +} + +static void yy_load_buffer_state (yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + yyg->yy_n_chars = YY_CURRENT_BUFFER_LVALUE->yy_n_chars; + yyg->yytext_ptr = yyg->yy_c_buf_p = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos; + yyin = YY_CURRENT_BUFFER_LVALUE->yy_input_file; + yyg->yy_hold_char = *yyg->yy_c_buf_p; +} + +/** Allocate and initialize an input buffer state. + * @param file A readable stream. + * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE. + * @param yyscanner The scanner object. + * @return the allocated buffer state. + */ + YY_BUFFER_STATE yy_create_buffer (FILE * file, int size , yyscan_t yyscanner) +{ + YY_BUFFER_STATE b; + + b = (YY_BUFFER_STATE) yyalloc( sizeof( struct yy_buffer_state ) , yyscanner ); + if ( ! b ) + YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" ); + + b->yy_buf_size = size; + + /* yy_ch_buf has to be 2 characters longer than the size given because + * we need to put in 2 end-of-buffer characters. + */ + b->yy_ch_buf = (char *) yyalloc( (yy_size_t) (b->yy_buf_size + 2) , yyscanner ); + if ( ! b->yy_ch_buf ) + YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" ); + + b->yy_is_our_buffer = 1; + + yy_init_buffer( b, file , yyscanner); + + return b; +} + +/** Destroy the buffer. + * @param b a buffer created with yy_create_buffer() + * @param yyscanner The scanner object. + */ + void yy_delete_buffer (YY_BUFFER_STATE b , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + + if ( ! b ) + return; + + if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */ + YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0; + + if ( b->yy_is_our_buffer ) + yyfree( (void *) b->yy_ch_buf , yyscanner ); + + yyfree( (void *) b , yyscanner ); +} + +/* Initializes or reinitializes a buffer. + * This function is sometimes called more than once on the same buffer, + * such as during a yyrestart() or at EOF. + */ + static void yy_init_buffer (YY_BUFFER_STATE b, FILE * file , yyscan_t yyscanner) + +{ + int oerrno = errno; + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + + yy_flush_buffer( b , yyscanner); + + b->yy_input_file = file; + b->yy_fill_buffer = 1; + + /* If b is the current buffer, then yy_init_buffer was _probably_ + * called from yyrestart() or through yy_get_next_buffer. + * In that case, we don't want to reset the lineno or column. + */ + if (b != YY_CURRENT_BUFFER){ + b->yy_bs_lineno = 1; + b->yy_bs_column = 0; + } + + b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0; + + errno = oerrno; +} + +/** Discard all buffered characters. On the next scan, YY_INPUT will be called. + * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER. + * @param yyscanner The scanner object. + */ + void yy_flush_buffer (YY_BUFFER_STATE b , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + if ( ! b ) + return; + + b->yy_n_chars = 0; + + /* We always need two end-of-buffer characters. The first causes + * a transition to the end-of-buffer state. The second causes + * a jam in that state. + */ + b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR; + b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR; + + b->yy_buf_pos = &b->yy_ch_buf[0]; + + b->yy_at_bol = 1; + b->yy_buffer_status = YY_BUFFER_NEW; + + if ( b == YY_CURRENT_BUFFER ) + yy_load_buffer_state( yyscanner ); +} + +/** Pushes the new state onto the stack. The new state becomes + * the current state. This function will allocate the stack + * if necessary. + * @param new_buffer The new state. + * @param yyscanner The scanner object. + */ +void yypush_buffer_state (YY_BUFFER_STATE new_buffer , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + if (new_buffer == NULL) + return; + + yyensure_buffer_stack(yyscanner); + + /* This block is copied from yy_switch_to_buffer. */ + if ( YY_CURRENT_BUFFER ) + { + /* Flush out information for old buffer. */ + *yyg->yy_c_buf_p = yyg->yy_hold_char; + YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = yyg->yy_c_buf_p; + YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars; + } + + /* Only push if top exists. Otherwise, replace top. */ + if (YY_CURRENT_BUFFER) + yyg->yy_buffer_stack_top++; + YY_CURRENT_BUFFER_LVALUE = new_buffer; + + /* copied from yy_switch_to_buffer. */ + yy_load_buffer_state( yyscanner ); + yyg->yy_did_buffer_switch_on_eof = 1; +} + +/** Removes and deletes the top of the stack, if present. + * The next element becomes the new top. + * @param yyscanner The scanner object. + */ +void yypop_buffer_state (yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + if (!YY_CURRENT_BUFFER) + return; + + yy_delete_buffer(YY_CURRENT_BUFFER , yyscanner); + YY_CURRENT_BUFFER_LVALUE = NULL; + if (yyg->yy_buffer_stack_top > 0) + --yyg->yy_buffer_stack_top; + + if (YY_CURRENT_BUFFER) { + yy_load_buffer_state( yyscanner ); + yyg->yy_did_buffer_switch_on_eof = 1; + } +} + +/* Allocates the stack if it does not exist. + * Guarantees space for at least one push. + */ +static void yyensure_buffer_stack (yyscan_t yyscanner) +{ + yy_size_t num_to_alloc; + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + + if (!yyg->yy_buffer_stack) { + + /* First allocation is just for 2 elements, since we don't know if this + * scanner will even need a stack. We use 2 instead of 1 to avoid an + * immediate realloc on the next call. + */ + num_to_alloc = 1; /* After all that talk, this was set to 1 anyways... */ + yyg->yy_buffer_stack = (struct yy_buffer_state**)yyalloc + (num_to_alloc * sizeof(struct yy_buffer_state*) + , yyscanner); + if ( ! yyg->yy_buffer_stack ) + YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" ); + + memset(yyg->yy_buffer_stack, 0, num_to_alloc * sizeof(struct yy_buffer_state*)); + + yyg->yy_buffer_stack_max = num_to_alloc; + yyg->yy_buffer_stack_top = 0; + return; + } + + if (yyg->yy_buffer_stack_top >= (yyg->yy_buffer_stack_max) - 1){ + + /* Increase the buffer to prepare for a possible push. */ + yy_size_t grow_size = 8 /* arbitrary grow size */; + + num_to_alloc = yyg->yy_buffer_stack_max + grow_size; + yyg->yy_buffer_stack = (struct yy_buffer_state**)yyrealloc + (yyg->yy_buffer_stack, + num_to_alloc * sizeof(struct yy_buffer_state*) + , yyscanner); + if ( ! yyg->yy_buffer_stack ) + YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" ); + + /* zero only the new slots.*/ + memset(yyg->yy_buffer_stack + yyg->yy_buffer_stack_max, 0, grow_size * sizeof(struct yy_buffer_state*)); + yyg->yy_buffer_stack_max = num_to_alloc; + } +} + +/** Setup the input buffer state to scan directly from a user-specified character buffer. + * @param base the character buffer + * @param size the size in bytes of the character buffer + * @param yyscanner The scanner object. + * @return the newly allocated buffer state object. + */ +YY_BUFFER_STATE yy_scan_buffer (char * base, yy_size_t size , yyscan_t yyscanner) +{ + YY_BUFFER_STATE b; + + if ( size < 2 || + base[size-2] != YY_END_OF_BUFFER_CHAR || + base[size-1] != YY_END_OF_BUFFER_CHAR ) + /* They forgot to leave room for the EOB's. */ + return NULL; + + b = (YY_BUFFER_STATE) yyalloc( sizeof( struct yy_buffer_state ) , yyscanner ); + if ( ! b ) + YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" ); + + b->yy_buf_size = (int) (size - 2); /* "- 2" to take care of EOB's */ + b->yy_buf_pos = b->yy_ch_buf = base; + b->yy_is_our_buffer = 0; + b->yy_input_file = NULL; + b->yy_n_chars = b->yy_buf_size; + b->yy_is_interactive = 0; + b->yy_at_bol = 1; + b->yy_fill_buffer = 0; + b->yy_buffer_status = YY_BUFFER_NEW; + + yy_switch_to_buffer( b , yyscanner ); + + return b; +} + +/** Setup the input buffer state to scan a string. The next call to yylex() will + * scan from a @e copy of @a str. + * @param yystr a NUL-terminated string to scan + * @param yyscanner The scanner object. + * @return the newly allocated buffer state object. + * @note If you want to scan bytes that may contain NUL values, then use + * yy_scan_bytes() instead. + */ +YY_BUFFER_STATE yy_scan_string (const char * yystr , yyscan_t yyscanner) +{ + + return yy_scan_bytes( yystr, (int) strlen(yystr) , yyscanner); +} + +/** Setup the input buffer state to scan the given bytes. The next call to yylex() will + * scan from a @e copy of @a bytes. + * @param yybytes the byte buffer to scan + * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes. + * @param yyscanner The scanner object. + * @return the newly allocated buffer state object. + */ +YY_BUFFER_STATE yy_scan_bytes (const char * yybytes, int _yybytes_len , yyscan_t yyscanner) +{ + YY_BUFFER_STATE b; + char *buf; + yy_size_t n; + int i; + + /* Get memory for full buffer, including space for trailing EOB's. */ + n = (yy_size_t) (_yybytes_len + 2); + buf = (char *) yyalloc( n , yyscanner ); + if ( ! buf ) + YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" ); + + for ( i = 0; i < _yybytes_len; ++i ) + buf[i] = yybytes[i]; + + buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR; + + b = yy_scan_buffer( buf, n , yyscanner); + if ( ! b ) + YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" ); + + /* It's okay to grow etc. this buffer, and we should throw it + * away when we're done. + */ + b->yy_is_our_buffer = 1; + + return b; +} + +#ifndef YY_EXIT_FAILURE +#define YY_EXIT_FAILURE 2 +#endif + +static void yynoreturn yy_fatal_error (const char* msg , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + (void)yyg; + fprintf( stderr, "%s\n", msg ); + exit( YY_EXIT_FAILURE ); +} + +/* Redefine yyless() so it works in section 3 code. */ + +#undef yyless +#define yyless(n) \ + do \ + { \ + /* Undo effects of setting up yytext. */ \ + int yyless_macro_arg = (n); \ + YY_LESS_LINENO(yyless_macro_arg);\ + yytext[yyleng] = yyg->yy_hold_char; \ + yyg->yy_c_buf_p = yytext + yyless_macro_arg; \ + yyg->yy_hold_char = *yyg->yy_c_buf_p; \ + *yyg->yy_c_buf_p = '\0'; \ + yyleng = yyless_macro_arg; \ + } \ + while ( 0 ) + +/* Accessor methods (get/set functions) to struct members. */ + +/** Get the user-defined data for this scanner. + * @param yyscanner The scanner object. + */ +YY_EXTRA_TYPE yyget_extra (yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + return yyextra; +} + +/** Get the current line number. + * @param yyscanner The scanner object. + */ +int yyget_lineno (yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + + if (! YY_CURRENT_BUFFER) + return 0; + + return yylineno; +} + +/** Get the current column number. + * @param yyscanner The scanner object. + */ +int yyget_column (yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + + if (! YY_CURRENT_BUFFER) + return 0; + + return yycolumn; +} + +/** Get the input stream. + * @param yyscanner The scanner object. + */ +FILE *yyget_in (yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + return yyin; +} + +/** Get the output stream. + * @param yyscanner The scanner object. + */ +FILE *yyget_out (yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + return yyout; +} + +/** Get the length of the current token. + * @param yyscanner The scanner object. + */ +int yyget_leng (yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + return yyleng; +} + +/** Get the current token. + * @param yyscanner The scanner object. + */ + +char *yyget_text (yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + return yytext; +} + +/** Set the user-defined data. This data is never touched by the scanner. + * @param user_defined The data to be associated with this scanner. + * @param yyscanner The scanner object. + */ +void yyset_extra (YY_EXTRA_TYPE user_defined , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + yyextra = user_defined ; +} + +/** Set the current line number. + * @param _line_number line number + * @param yyscanner The scanner object. + */ +void yyset_lineno (int _line_number , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + + /* lineno is only valid if an input buffer exists. */ + if (! YY_CURRENT_BUFFER ) + YY_FATAL_ERROR( "yyset_lineno called with no buffer" ); + + yylineno = _line_number; +} + +/** Set the current column. + * @param _column_no column number + * @param yyscanner The scanner object. + */ +void yyset_column (int _column_no , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + + /* column is only valid if an input buffer exists. */ + if (! YY_CURRENT_BUFFER ) + YY_FATAL_ERROR( "yyset_column called with no buffer" ); + + yycolumn = _column_no; +} + +/** Set the input stream. This does not discard the current + * input buffer. + * @param _in_str A readable stream. + * @param yyscanner The scanner object. + * @see yy_switch_to_buffer + */ +void yyset_in (FILE * _in_str , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + yyin = _in_str ; +} + +void yyset_out (FILE * _out_str , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + yyout = _out_str ; +} + +int yyget_debug (yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + return yy_flex_debug; +} + +void yyset_debug (int _bdebug , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + yy_flex_debug = _bdebug ; +} + +/* Accessor methods for yylval and yylloc */ + +/* User-visible API */ + +/* yylex_init is special because it creates the scanner itself, so it is + * the ONLY reentrant function that doesn't take the scanner as the last argument. + * That's why we explicitly handle the declaration, instead of using our macros. + */ +int yylex_init(yyscan_t* ptr_yy_globals) +{ + if (ptr_yy_globals == NULL){ + errno = EINVAL; + return 1; + } + + *ptr_yy_globals = (yyscan_t) yyalloc ( sizeof( struct yyguts_t ), NULL ); + + if (*ptr_yy_globals == NULL){ + errno = ENOMEM; + return 1; + } + + /* By setting to 0xAA, we expose bugs in yy_init_globals. Leave at 0x00 for releases. */ + memset(*ptr_yy_globals,0x00,sizeof(struct yyguts_t)); + + return yy_init_globals ( *ptr_yy_globals ); +} + +/* yylex_init_extra has the same functionality as yylex_init, but follows the + * convention of taking the scanner as the last argument. Note however, that + * this is a *pointer* to a scanner, as it will be allocated by this call (and + * is the reason, too, why this function also must handle its own declaration). + * The user defined value in the first argument will be available to yyalloc in + * the yyextra field. + */ +int yylex_init_extra( YY_EXTRA_TYPE yy_user_defined, yyscan_t* ptr_yy_globals ) +{ + struct yyguts_t dummy_yyguts; + + yyset_extra (yy_user_defined, &dummy_yyguts); + + if (ptr_yy_globals == NULL){ + errno = EINVAL; + return 1; + } + + *ptr_yy_globals = (yyscan_t) yyalloc ( sizeof( struct yyguts_t ), &dummy_yyguts ); + + if (*ptr_yy_globals == NULL){ + errno = ENOMEM; + return 1; + } + + /* By setting to 0xAA, we expose bugs in + yy_init_globals. Leave at 0x00 for releases. */ + memset(*ptr_yy_globals,0x00,sizeof(struct yyguts_t)); + + yyset_extra (yy_user_defined, *ptr_yy_globals); + + return yy_init_globals ( *ptr_yy_globals ); +} + +static int yy_init_globals (yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + /* Initialization is the same as for the non-reentrant scanner. + * This function is called from yylex_destroy(), so don't allocate here. + */ + + yyg->yy_buffer_stack = NULL; + yyg->yy_buffer_stack_top = 0; + yyg->yy_buffer_stack_max = 0; + yyg->yy_c_buf_p = NULL; + yyg->yy_init = 0; + yyg->yy_start = 0; + + yyg->yy_start_stack_ptr = 0; + yyg->yy_start_stack_depth = 0; + yyg->yy_start_stack = NULL; + +/* Defined in main.c */ +#ifdef YY_STDINIT + yyin = stdin; + yyout = stdout; +#else + yyin = NULL; + yyout = NULL; +#endif + + /* For future reference: Set errno on error, since we are called by + * yylex_init() + */ + return 0; +} + +/* yylex_destroy is for both reentrant and non-reentrant scanners. */ +int yylex_destroy (yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + + /* Pop the buffer stack, destroying each element. */ + while(YY_CURRENT_BUFFER){ + yy_delete_buffer( YY_CURRENT_BUFFER , yyscanner ); + YY_CURRENT_BUFFER_LVALUE = NULL; + yypop_buffer_state(yyscanner); + } + + /* Destroy the stack itself. */ + yyfree(yyg->yy_buffer_stack , yyscanner); + yyg->yy_buffer_stack = NULL; + + /* Destroy the start condition stack. */ + yyfree( yyg->yy_start_stack , yyscanner ); + yyg->yy_start_stack = NULL; + + /* Reset the globals. This is important in a non-reentrant scanner so the next time + * yylex() is called, initialization will occur. */ + yy_init_globals( yyscanner); + + /* Destroy the main struct (reentrant only). */ + yyfree ( yyscanner , yyscanner ); + yyscanner = NULL; + return 0; +} + +/* + * Internal utility routines. + */ + +#ifndef yytext_ptr +static void yy_flex_strncpy (char* s1, const char * s2, int n , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + (void)yyg; + + int i; + for ( i = 0; i < n; ++i ) + s1[i] = s2[i]; +} +#endif + +#ifdef YY_NEED_STRLEN +static int yy_flex_strlen (const char * s , yyscan_t yyscanner) +{ + int n; + for ( n = 0; s[n]; ++n ) + ; + + return n; +} +#endif + +void *yyalloc (yy_size_t size , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + (void)yyg; + return malloc(size); +} + +void *yyrealloc (void * ptr, yy_size_t size , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + (void)yyg; + + /* The cast to (char *) in the following accommodates both + * implementations that use char* generic pointers, and those + * that use void* generic pointers. It works with the latter + * because both ANSI C and C++ allow castless assignment from + * any pointer type to void*, and deal with argument conversions + * as though doing an assignment. + */ + return realloc(ptr, size); +} + +void yyfree (void * ptr , yyscan_t yyscanner) +{ + struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; + (void)yyg; + free( (char *) ptr ); /* see yyrealloc() for (char *) cast */ +} + +#define YYTABLES_NAME "yytables" + +#line 237 "src/lexer.l" + + diff --git a/tdump/gen/gen_parser.c b/tdump/gen/gen_parser.c new file mode 100644 index 0000000..aadb8fb --- /dev/null +++ b/tdump/gen/gen_parser.c @@ -0,0 +1,3229 @@ +/* A Bison parser, made by GNU Bison 3.8.2. */ + +/* Bison implementation for Yacc-like parsers in C + + Copyright (C) 1984, 1989-1990, 2000-2015, 2018-2021 Free Software Foundation, + Inc. + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see <https://www.gnu.org/licenses/>. */ + +/* As a special exception, you may create a larger work that contains + part or all of the Bison parser skeleton and distribute that work + under terms of your choice, so long as that work isn't itself a + parser generator using the skeleton or a modified version thereof + as a parser skeleton. Alternatively, if you modify or redistribute + the parser skeleton itself, you may (at your option) remove this + special exception, which will cause the skeleton and the resulting + Bison output files to be licensed under the GNU General Public + License without this special exception. + + This special exception was added by the Free Software Foundation in + version 2.2 of Bison. */ + +/* C LALR(1) parser skeleton written by Richard Stallman, by + simplifying the original so-called "semantic" parser. */ + +/* DO NOT RELY ON FEATURES THAT ARE NOT DOCUMENTED in the manual, + especially those whose name start with YY_ or yy_. They are + private implementation details that can be changed or removed. */ + +/* All symbols defined below should begin with yy or YY, to avoid + infringing on user name space. This should be done even for local + variables, as they might otherwise be expanded by user macros. + There are some unavoidable exceptions within include files to + define necessary library symbols; they are noted "INFRINGES ON + USER NAME SPACE" below. */ + +/* Identify Bison output, and Bison version. */ +#define YYBISON 30802 + +/* Bison version string. */ +#define YYBISON_VERSION "3.8.2" + +/* Skeleton name. */ +#define YYSKELETON_NAME "yacc.c" + +/* Pure parsers. */ +#define YYPURE 2 + +/* Push parsers. */ +#define YYPUSH 0 + +/* Pull parsers. */ +#define YYPULL 1 + + + + +/* First part of user prologue. */ +#line 4 "src/parser.y" + + +/* get access to fileno to avoid warnings with flex */ +#define _POSIX_SOURCE + +#include <stdio.h> +#include <stdlib.h> +#include <string.h> +#include <stdarg.h> + +#include <tasm/assembler.h> +#include <tasm/parser.h> +#include <bits.h> +#include <regs.h> +#include <tri.h> + + +#line 89 "gen/gen_parser.c" + +# ifndef YY_CAST +# ifdef __cplusplus +# define YY_CAST(Type, Val) static_cast<Type> (Val) +# define YY_REINTERPRET_CAST(Type, Val) reinterpret_cast<Type> (Val) +# else +# define YY_CAST(Type, Val) ((Type) (Val)) +# define YY_REINTERPRET_CAST(Type, Val) ((Type) (Val)) +# endif +# endif +# ifndef YY_NULLPTR +# if defined __cplusplus +# if 201103L <= __cplusplus +# define YY_NULLPTR nullptr +# else +# define YY_NULLPTR 0 +# endif +# else +# define YY_NULLPTR ((void*)0) +# endif +# endif + + +/* Debug traces. */ +#ifndef YYDEBUG +# define YYDEBUG 1 +#endif +#if YYDEBUG +extern int yydebug; +#endif + +/* Token kinds. */ +#ifndef YYTOKENTYPE +# define YYTOKENTYPE + enum yytokentype + { + YYEMPTY = -2, + YYEOF = 0, /* "end of file" */ + YYerror = 256, /* error */ + YYUNDEF = 257, /* "invalid token" */ + imm = 258, /* imm */ + label = 259, /* label */ + str = 260, /* str */ + id = 261, /* id */ + COMMA = 262, /* "," */ + LPAREN = 263, /* "(" */ + RPAREN = 264, /* ")" */ + set = 265, /* set */ + include = 266, /* include */ + x0 = 267, /* x0 */ + x1 = 268, /* x1 */ + x2 = 269, /* x2 */ + x3 = 270, /* x3 */ + x4 = 271, /* x4 */ + x5 = 272, /* x5 */ + x6 = 273, /* x6 */ + x7 = 274, /* x7 */ + x8 = 275, /* x8 */ + x9 = 276, /* x9 */ + x10 = 277, /* x10 */ + x11 = 278, /* x11 */ + x12 = 279, /* x12 */ + x13 = 280, /* x13 */ + x14 = 281, /* x14 */ + x15 = 282, /* x15 */ + x16 = 283, /* x16 */ + x17 = 284, /* x17 */ + x18 = 285, /* x18 */ + x19 = 286, /* x19 */ + x20 = 287, /* x20 */ + x21 = 288, /* x21 */ + x22 = 289, /* x22 */ + x23 = 290, /* x23 */ + x24 = 291, /* x24 */ + x25 = 292, /* x25 */ + x26 = 293, /* x26 */ + x27 = 294, /* x27 */ + x28 = 295, /* x28 */ + x29 = 296, /* x29 */ + x30 = 297, /* x30 */ + x31 = 298, /* x31 */ + x32 = 299, /* x32 */ + x33 = 300, /* x33 */ + x34 = 301, /* x34 */ + x35 = 302, /* x35 */ + x36 = 303, /* x36 */ + x37 = 304, /* x37 */ + x38 = 305, /* x38 */ + x39 = 306, /* x39 */ + x40 = 307, /* x40 */ + x41 = 308, /* x41 */ + x42 = 309, /* x42 */ + x43 = 310, /* x43 */ + x44 = 311, /* x44 */ + x45 = 312, /* x45 */ + x46 = 313, /* x46 */ + x47 = 314, /* x47 */ + x48 = 315, /* x48 */ + x49 = 316, /* x49 */ + x50 = 317, /* x50 */ + x51 = 318, /* x51 */ + x52 = 319, /* x52 */ + x53 = 320, /* x53 */ + x54 = 321, /* x54 */ + x55 = 322, /* x55 */ + x56 = 323, /* x56 */ + x57 = 324, /* x57 */ + x58 = 325, /* x58 */ + x59 = 326, /* x59 */ + x60 = 327, /* x60 */ + x61 = 328, /* x61 */ + x62 = 329, /* x62 */ + x63 = 330, /* x63 */ + x64 = 331, /* x64 */ + x65 = 332, /* x65 */ + x66 = 333, /* x66 */ + x67 = 334, /* x67 */ + x68 = 335, /* x68 */ + x69 = 336, /* x69 */ + x70 = 337, /* x70 */ + x71 = 338, /* x71 */ + x72 = 339, /* x72 */ + x73 = 340, /* x73 */ + x74 = 341, /* x74 */ + x75 = 342, /* x75 */ + x76 = 343, /* x76 */ + x77 = 344, /* x77 */ + x78 = 345, /* x78 */ + x79 = 346, /* x79 */ + x80 = 347, /* x80 */ + addi = 348, /* addi */ + slti = 349, /* slti */ + sgei = 350, /* sgei */ + seqi = 351, /* seqi */ + snei = 352, /* snei */ + unop = 353, /* unop */ + diop = 354, /* diop */ + slli = 355, /* slli */ + srli = 356, /* srli */ + sll = 357, /* sll */ + srl = 358, /* srl */ + add = 359, /* add */ + sub = 360, /* sub */ + slt = 361, /* slt */ + sge = 362, /* sge */ + seq = 363, /* seq */ + sne = 364, /* sne */ + lui = 365, /* lui */ + auipc = 366, /* auipc */ + jal = 367, /* jal */ + jalr = 368, /* jalr */ + beq = 369, /* beq */ + bne = 370, /* bne */ + blt = 371, /* blt */ + bge = 372, /* bge */ + ld = 373, /* ld */ + st = 374, /* st */ + ecall = 375, /* ecall */ + ebreak = 376, /* ebreak */ + pcall = 377, /* pcall */ + fence = 378, /* fence */ + li = 379, /* li */ + la = 380, /* la */ + nop = 381, /* nop */ + mul = 382, /* mul */ + diV = 383, /* diV */ + rem = 384, /* rem */ + stt = 385, /* stt */ + cst = 386, /* cst */ + ent = 387, /* ent */ + cat = 388, /* cat */ + csrrw = 389, /* csrrw */ + csrrs = 390, /* csrrs */ + csrrc = 391 /* csrrc */ + }; + typedef enum yytokentype yytoken_kind_t; +#endif + +/* Value type. */ +#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED +union YYSTYPE +{ +#line 32 "src/parser.y" + + const char *str; + enum gpr_num gpr; + tri_t tri; + +#line 278 "gen/gen_parser.c" + +}; +typedef union YYSTYPE YYSTYPE; +# define YYSTYPE_IS_TRIVIAL 1 +# define YYSTYPE_IS_DECLARED 1 +#endif + +/* Location type. */ +#if ! defined YYLTYPE && ! defined YYLTYPE_IS_DECLARED +typedef struct YYLTYPE YYLTYPE; +struct YYLTYPE +{ + int first_line; + int first_column; + int last_line; + int last_column; +}; +# define YYLTYPE_IS_DECLARED 1 +# define YYLTYPE_IS_TRIVIAL 1 +#endif + + + + +int yyparse (void *scanner, struct parser *parser, struct asm_ctx *ctx); + + + +/* Symbol kind. */ +enum yysymbol_kind_t +{ + YYSYMBOL_YYEMPTY = -2, + YYSYMBOL_YYEOF = 0, /* "end of file" */ + YYSYMBOL_YYerror = 1, /* error */ + YYSYMBOL_YYUNDEF = 2, /* "invalid token" */ + YYSYMBOL_imm = 3, /* imm */ + YYSYMBOL_label = 4, /* label */ + YYSYMBOL_str = 5, /* str */ + YYSYMBOL_id = 6, /* id */ + YYSYMBOL_COMMA = 7, /* "," */ + YYSYMBOL_LPAREN = 8, /* "(" */ + YYSYMBOL_RPAREN = 9, /* ")" */ + YYSYMBOL_set = 10, /* set */ + YYSYMBOL_include = 11, /* include */ + YYSYMBOL_x0 = 12, /* x0 */ + YYSYMBOL_x1 = 13, /* x1 */ + YYSYMBOL_x2 = 14, /* x2 */ + YYSYMBOL_x3 = 15, /* x3 */ + YYSYMBOL_x4 = 16, /* x4 */ + YYSYMBOL_x5 = 17, /* x5 */ + YYSYMBOL_x6 = 18, /* x6 */ + YYSYMBOL_x7 = 19, /* x7 */ + YYSYMBOL_x8 = 20, /* x8 */ + YYSYMBOL_x9 = 21, /* x9 */ + YYSYMBOL_x10 = 22, /* x10 */ + YYSYMBOL_x11 = 23, /* x11 */ + YYSYMBOL_x12 = 24, /* x12 */ + YYSYMBOL_x13 = 25, /* x13 */ + YYSYMBOL_x14 = 26, /* x14 */ + YYSYMBOL_x15 = 27, /* x15 */ + YYSYMBOL_x16 = 28, /* x16 */ + YYSYMBOL_x17 = 29, /* x17 */ + YYSYMBOL_x18 = 30, /* x18 */ + YYSYMBOL_x19 = 31, /* x19 */ + YYSYMBOL_x20 = 32, /* x20 */ + YYSYMBOL_x21 = 33, /* x21 */ + YYSYMBOL_x22 = 34, /* x22 */ + YYSYMBOL_x23 = 35, /* x23 */ + YYSYMBOL_x24 = 36, /* x24 */ + YYSYMBOL_x25 = 37, /* x25 */ + YYSYMBOL_x26 = 38, /* x26 */ + YYSYMBOL_x27 = 39, /* x27 */ + YYSYMBOL_x28 = 40, /* x28 */ + YYSYMBOL_x29 = 41, /* x29 */ + YYSYMBOL_x30 = 42, /* x30 */ + YYSYMBOL_x31 = 43, /* x31 */ + YYSYMBOL_x32 = 44, /* x32 */ + YYSYMBOL_x33 = 45, /* x33 */ + YYSYMBOL_x34 = 46, /* x34 */ + YYSYMBOL_x35 = 47, /* x35 */ + YYSYMBOL_x36 = 48, /* x36 */ + YYSYMBOL_x37 = 49, /* x37 */ + YYSYMBOL_x38 = 50, /* x38 */ + YYSYMBOL_x39 = 51, /* x39 */ + YYSYMBOL_x40 = 52, /* x40 */ + YYSYMBOL_x41 = 53, /* x41 */ + YYSYMBOL_x42 = 54, /* x42 */ + YYSYMBOL_x43 = 55, /* x43 */ + YYSYMBOL_x44 = 56, /* x44 */ + YYSYMBOL_x45 = 57, /* x45 */ + YYSYMBOL_x46 = 58, /* x46 */ + YYSYMBOL_x47 = 59, /* x47 */ + YYSYMBOL_x48 = 60, /* x48 */ + YYSYMBOL_x49 = 61, /* x49 */ + YYSYMBOL_x50 = 62, /* x50 */ + YYSYMBOL_x51 = 63, /* x51 */ + YYSYMBOL_x52 = 64, /* x52 */ + YYSYMBOL_x53 = 65, /* x53 */ + YYSYMBOL_x54 = 66, /* x54 */ + YYSYMBOL_x55 = 67, /* x55 */ + YYSYMBOL_x56 = 68, /* x56 */ + YYSYMBOL_x57 = 69, /* x57 */ + YYSYMBOL_x58 = 70, /* x58 */ + YYSYMBOL_x59 = 71, /* x59 */ + YYSYMBOL_x60 = 72, /* x60 */ + YYSYMBOL_x61 = 73, /* x61 */ + YYSYMBOL_x62 = 74, /* x62 */ + YYSYMBOL_x63 = 75, /* x63 */ + YYSYMBOL_x64 = 76, /* x64 */ + YYSYMBOL_x65 = 77, /* x65 */ + YYSYMBOL_x66 = 78, /* x66 */ + YYSYMBOL_x67 = 79, /* x67 */ + YYSYMBOL_x68 = 80, /* x68 */ + YYSYMBOL_x69 = 81, /* x69 */ + YYSYMBOL_x70 = 82, /* x70 */ + YYSYMBOL_x71 = 83, /* x71 */ + YYSYMBOL_x72 = 84, /* x72 */ + YYSYMBOL_x73 = 85, /* x73 */ + YYSYMBOL_x74 = 86, /* x74 */ + YYSYMBOL_x75 = 87, /* x75 */ + YYSYMBOL_x76 = 88, /* x76 */ + YYSYMBOL_x77 = 89, /* x77 */ + YYSYMBOL_x78 = 90, /* x78 */ + YYSYMBOL_x79 = 91, /* x79 */ + YYSYMBOL_x80 = 92, /* x80 */ + YYSYMBOL_addi = 93, /* addi */ + YYSYMBOL_slti = 94, /* slti */ + YYSYMBOL_sgei = 95, /* sgei */ + YYSYMBOL_seqi = 96, /* seqi */ + YYSYMBOL_snei = 97, /* snei */ + YYSYMBOL_unop = 98, /* unop */ + YYSYMBOL_diop = 99, /* diop */ + YYSYMBOL_slli = 100, /* slli */ + YYSYMBOL_srli = 101, /* srli */ + YYSYMBOL_sll = 102, /* sll */ + YYSYMBOL_srl = 103, /* srl */ + YYSYMBOL_add = 104, /* add */ + YYSYMBOL_sub = 105, /* sub */ + YYSYMBOL_slt = 106, /* slt */ + YYSYMBOL_sge = 107, /* sge */ + YYSYMBOL_seq = 108, /* seq */ + YYSYMBOL_sne = 109, /* sne */ + YYSYMBOL_lui = 110, /* lui */ + YYSYMBOL_auipc = 111, /* auipc */ + YYSYMBOL_jal = 112, /* jal */ + YYSYMBOL_jalr = 113, /* jalr */ + YYSYMBOL_beq = 114, /* beq */ + YYSYMBOL_bne = 115, /* bne */ + YYSYMBOL_blt = 116, /* blt */ + YYSYMBOL_bge = 117, /* bge */ + YYSYMBOL_ld = 118, /* ld */ + YYSYMBOL_st = 119, /* st */ + YYSYMBOL_ecall = 120, /* ecall */ + YYSYMBOL_ebreak = 121, /* ebreak */ + YYSYMBOL_pcall = 122, /* pcall */ + YYSYMBOL_fence = 123, /* fence */ + YYSYMBOL_li = 124, /* li */ + YYSYMBOL_la = 125, /* la */ + YYSYMBOL_nop = 126, /* nop */ + YYSYMBOL_mul = 127, /* mul */ + YYSYMBOL_diV = 128, /* diV */ + YYSYMBOL_rem = 129, /* rem */ + YYSYMBOL_stt = 130, /* stt */ + YYSYMBOL_cst = 131, /* cst */ + YYSYMBOL_ent = 132, /* ent */ + YYSYMBOL_cat = 133, /* cat */ + YYSYMBOL_csrrw = 134, /* csrrw */ + YYSYMBOL_csrrs = 135, /* csrrs */ + YYSYMBOL_csrrc = 136, /* csrrc */ + YYSYMBOL_YYACCEPT = 137, /* $accept */ + YYSYMBOL_width = 138, /* width */ + YYSYMBOL_addr = 139, /* addr */ + YYSYMBOL_gpr = 140, /* gpr */ + YYSYMBOL_i = 141, /* i */ + YYSYMBOL_m = 142, /* m */ + YYSYMBOL_a = 143, /* a */ + YYSYMBOL_Zcsr = 144, /* Zcsr */ + YYSYMBOL_csr = 145, /* csr */ + YYSYMBOL_statement = 146, /* statement */ + YYSYMBOL_directive = 147, /* directive */ + YYSYMBOL_top = 148, /* top */ + YYSYMBOL_unit = 149, /* unit */ + YYSYMBOL_input = 150 /* input */ +}; +typedef enum yysymbol_kind_t yysymbol_kind_t; + + +/* Second part of user prologue. */ +#line 87 "src/parser.y" + + +struct file_ctx { + const char *fname; + const char *fbuf; +}; + +struct src_loc { + int first_line; + int last_line; + int first_col; + int last_col; +}; + +struct src_issue { + struct src_loc loc; + struct file_ctx fctx; +}; + +/** Modifies the signature of yylex to fit our parser better. */ +#define YY_DECL int yylex(YYSTYPE *yylval, YYLTYPE *yylloc, \ + void *yyscanner, struct parser *parser) + +/** + * Declare yylex. + * + * @param yylval Bison current value. + * @param yylloc Bison location info. + * @param yyscanner Flex scanner. + * @param parser Current parser state. + * @return \c 0 when succesful, \c 1 otherwise. + * More info on yylex() can be found in the flex manual. + */ +YY_DECL; + +/** + * Convert bison location info to our own source location info. + * + * @param yylloc Bison location info. + * @return Internal location info. + */ +static struct src_loc to_src_loc(YYLTYPE *yylloc); + +/** + * Print parsing error. + * Automatically called by bison. + * + * @param yylloc Location of error. + * @param lexer Lexer. + * @param parser Parser state. + * @param msg Message to print. + */ +static void yyerror(YYLTYPE *yylloc, void *lexer, + struct parser *parser, struct asm_ctx *ctx, const char *msg); + + +#line 524 "gen/gen_parser.c" + + +#ifdef short +# undef short +#endif + +/* On compilers that do not define __PTRDIFF_MAX__ etc., make sure + <limits.h> and (if available) <stdint.h> are included + so that the code can choose integer types of a good width. */ + +#ifndef __PTRDIFF_MAX__ +# include <limits.h> /* INFRINGES ON USER NAME SPACE */ +# if defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__ +# include <stdint.h> /* INFRINGES ON USER NAME SPACE */ +# define YY_STDINT_H +# endif +#endif + +/* Narrow types that promote to a signed type and that can represent a + signed or unsigned integer of at least N bits. In tables they can + save space and decrease cache pressure. Promoting to a signed type + helps avoid bugs in integer arithmetic. */ + +#ifdef __INT_LEAST8_MAX__ +typedef __INT_LEAST8_TYPE__ yytype_int8; +#elif defined YY_STDINT_H +typedef int_least8_t yytype_int8; +#else +typedef signed char yytype_int8; +#endif + +#ifdef __INT_LEAST16_MAX__ +typedef __INT_LEAST16_TYPE__ yytype_int16; +#elif defined YY_STDINT_H +typedef int_least16_t yytype_int16; +#else +typedef short yytype_int16; +#endif + +/* Work around bug in HP-UX 11.23, which defines these macros + incorrectly for preprocessor constants. This workaround can likely + be removed in 2023, as HPE has promised support for HP-UX 11.23 + (aka HP-UX 11i v2) only through the end of 2022; see Table 2 of + <https://h20195.www2.hpe.com/V2/getpdf.aspx/4AA4-7673ENW.pdf>. */ +#ifdef __hpux +# undef UINT_LEAST8_MAX +# undef UINT_LEAST16_MAX +# define UINT_LEAST8_MAX 255 +# define UINT_LEAST16_MAX 65535 +#endif + +#if defined __UINT_LEAST8_MAX__ && __UINT_LEAST8_MAX__ <= __INT_MAX__ +typedef __UINT_LEAST8_TYPE__ yytype_uint8; +#elif (!defined __UINT_LEAST8_MAX__ && defined YY_STDINT_H \ + && UINT_LEAST8_MAX <= INT_MAX) +typedef uint_least8_t yytype_uint8; +#elif !defined __UINT_LEAST8_MAX__ && UCHAR_MAX <= INT_MAX +typedef unsigned char yytype_uint8; +#else +typedef short yytype_uint8; +#endif + +#if defined __UINT_LEAST16_MAX__ && __UINT_LEAST16_MAX__ <= __INT_MAX__ +typedef __UINT_LEAST16_TYPE__ yytype_uint16; +#elif (!defined __UINT_LEAST16_MAX__ && defined YY_STDINT_H \ + && UINT_LEAST16_MAX <= INT_MAX) +typedef uint_least16_t yytype_uint16; +#elif !defined __UINT_LEAST16_MAX__ && USHRT_MAX <= INT_MAX +typedef unsigned short yytype_uint16; +#else +typedef int yytype_uint16; +#endif + +#ifndef YYPTRDIFF_T +# if defined __PTRDIFF_TYPE__ && defined __PTRDIFF_MAX__ +# define YYPTRDIFF_T __PTRDIFF_TYPE__ +# define YYPTRDIFF_MAXIMUM __PTRDIFF_MAX__ +# elif defined PTRDIFF_MAX +# ifndef ptrdiff_t +# include <stddef.h> /* INFRINGES ON USER NAME SPACE */ +# endif +# define YYPTRDIFF_T ptrdiff_t +# define YYPTRDIFF_MAXIMUM PTRDIFF_MAX +# else +# define YYPTRDIFF_T long +# define YYPTRDIFF_MAXIMUM LONG_MAX +# endif +#endif + +#ifndef YYSIZE_T +# ifdef __SIZE_TYPE__ +# define YYSIZE_T __SIZE_TYPE__ +# elif defined size_t +# define YYSIZE_T size_t +# elif defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__ +# include <stddef.h> /* INFRINGES ON USER NAME SPACE */ +# define YYSIZE_T size_t +# else +# define YYSIZE_T unsigned +# endif +#endif + +#define YYSIZE_MAXIMUM \ + YY_CAST (YYPTRDIFF_T, \ + (YYPTRDIFF_MAXIMUM < YY_CAST (YYSIZE_T, -1) \ + ? YYPTRDIFF_MAXIMUM \ + : YY_CAST (YYSIZE_T, -1))) + +#define YYSIZEOF(X) YY_CAST (YYPTRDIFF_T, sizeof (X)) + + +/* Stored state numbers (used for stacks). */ +typedef yytype_int16 yy_state_t; + +/* State numbers in computations. */ +typedef int yy_state_fast_t; + +#ifndef YY_ +# if defined YYENABLE_NLS && YYENABLE_NLS +# if ENABLE_NLS +# include <libintl.h> /* INFRINGES ON USER NAME SPACE */ +# define YY_(Msgid) dgettext ("bison-runtime", Msgid) +# endif +# endif +# ifndef YY_ +# define YY_(Msgid) Msgid +# endif +#endif + + +#ifndef YY_ATTRIBUTE_PURE +# if defined __GNUC__ && 2 < __GNUC__ + (96 <= __GNUC_MINOR__) +# define YY_ATTRIBUTE_PURE __attribute__ ((__pure__)) +# else +# define YY_ATTRIBUTE_PURE +# endif +#endif + +#ifndef YY_ATTRIBUTE_UNUSED +# if defined __GNUC__ && 2 < __GNUC__ + (7 <= __GNUC_MINOR__) +# define YY_ATTRIBUTE_UNUSED __attribute__ ((__unused__)) +# else +# define YY_ATTRIBUTE_UNUSED +# endif +#endif + +/* Suppress unused-variable warnings by "using" E. */ +#if ! defined lint || defined __GNUC__ +# define YY_USE(E) ((void) (E)) +#else +# define YY_USE(E) /* empty */ +#endif + +/* Suppress an incorrect diagnostic about yylval being uninitialized. */ +#if defined __GNUC__ && ! defined __ICC && 406 <= __GNUC__ * 100 + __GNUC_MINOR__ +# if __GNUC__ * 100 + __GNUC_MINOR__ < 407 +# define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \ + _Pragma ("GCC diagnostic push") \ + _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"") +# else +# define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \ + _Pragma ("GCC diagnostic push") \ + _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"") \ + _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"") +# endif +# define YY_IGNORE_MAYBE_UNINITIALIZED_END \ + _Pragma ("GCC diagnostic pop") +#else +# define YY_INITIAL_VALUE(Value) Value +#endif +#ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN +# define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN +# define YY_IGNORE_MAYBE_UNINITIALIZED_END +#endif +#ifndef YY_INITIAL_VALUE +# define YY_INITIAL_VALUE(Value) /* Nothing. */ +#endif + +#if defined __cplusplus && defined __GNUC__ && ! defined __ICC && 6 <= __GNUC__ +# define YY_IGNORE_USELESS_CAST_BEGIN \ + _Pragma ("GCC diagnostic push") \ + _Pragma ("GCC diagnostic ignored \"-Wuseless-cast\"") +# define YY_IGNORE_USELESS_CAST_END \ + _Pragma ("GCC diagnostic pop") +#endif +#ifndef YY_IGNORE_USELESS_CAST_BEGIN +# define YY_IGNORE_USELESS_CAST_BEGIN +# define YY_IGNORE_USELESS_CAST_END +#endif + + +#define YY_ASSERT(E) ((void) (0 && (E))) + +#if 1 + +/* The parser invokes alloca or malloc; define the necessary symbols. */ + +# ifdef YYSTACK_USE_ALLOCA +# if YYSTACK_USE_ALLOCA +# ifdef __GNUC__ +# define YYSTACK_ALLOC __builtin_alloca +# elif defined __BUILTIN_VA_ARG_INCR +# include <alloca.h> /* INFRINGES ON USER NAME SPACE */ +# elif defined _AIX +# define YYSTACK_ALLOC __alloca +# elif defined _MSC_VER +# include <malloc.h> /* INFRINGES ON USER NAME SPACE */ +# define alloca _alloca +# else +# define YYSTACK_ALLOC alloca +# if ! defined _ALLOCA_H && ! defined EXIT_SUCCESS +# include <stdlib.h> /* INFRINGES ON USER NAME SPACE */ + /* Use EXIT_SUCCESS as a witness for stdlib.h. */ +# ifndef EXIT_SUCCESS +# define EXIT_SUCCESS 0 +# endif +# endif +# endif +# endif +# endif + +# ifdef YYSTACK_ALLOC + /* Pacify GCC's 'empty if-body' warning. */ +# define YYSTACK_FREE(Ptr) do { /* empty */; } while (0) +# ifndef YYSTACK_ALLOC_MAXIMUM + /* The OS might guarantee only one guard page at the bottom of the stack, + and a page size can be as small as 4096 bytes. So we cannot safely + invoke alloca (N) if N exceeds 4096. Use a slightly smaller number + to allow for a few compiler-allocated temporary stack slots. */ +# define YYSTACK_ALLOC_MAXIMUM 4032 /* reasonable circa 2006 */ +# endif +# else +# define YYSTACK_ALLOC YYMALLOC +# define YYSTACK_FREE YYFREE +# ifndef YYSTACK_ALLOC_MAXIMUM +# define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM +# endif +# if (defined __cplusplus && ! defined EXIT_SUCCESS \ + && ! ((defined YYMALLOC || defined malloc) \ + && (defined YYFREE || defined free))) +# include <stdlib.h> /* INFRINGES ON USER NAME SPACE */ +# ifndef EXIT_SUCCESS +# define EXIT_SUCCESS 0 +# endif +# endif +# ifndef YYMALLOC +# define YYMALLOC malloc +# if ! defined malloc && ! defined EXIT_SUCCESS +void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */ +# endif +# endif +# ifndef YYFREE +# define YYFREE free +# if ! defined free && ! defined EXIT_SUCCESS +void free (void *); /* INFRINGES ON USER NAME SPACE */ +# endif +# endif +# endif +#endif /* 1 */ + +#if (! defined yyoverflow \ + && (! defined __cplusplus \ + || (defined YYLTYPE_IS_TRIVIAL && YYLTYPE_IS_TRIVIAL \ + && defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL))) + +/* A type that is properly aligned for any stack member. */ +union yyalloc +{ + yy_state_t yyss_alloc; + YYSTYPE yyvs_alloc; + YYLTYPE yyls_alloc; +}; + +/* The size of the maximum gap between one aligned stack and the next. */ +# define YYSTACK_GAP_MAXIMUM (YYSIZEOF (union yyalloc) - 1) + +/* The size of an array large to enough to hold all stacks, each with + N elements. */ +# define YYSTACK_BYTES(N) \ + ((N) * (YYSIZEOF (yy_state_t) + YYSIZEOF (YYSTYPE) \ + + YYSIZEOF (YYLTYPE)) \ + + 2 * YYSTACK_GAP_MAXIMUM) + +# define YYCOPY_NEEDED 1 + +/* Relocate STACK from its old location to the new one. The + local variables YYSIZE and YYSTACKSIZE give the old and new number of + elements in the stack, and YYPTR gives the new location of the + stack. Advance YYPTR to a properly aligned location for the next + stack. */ +# define YYSTACK_RELOCATE(Stack_alloc, Stack) \ + do \ + { \ + YYPTRDIFF_T yynewbytes; \ + YYCOPY (&yyptr->Stack_alloc, Stack, yysize); \ + Stack = &yyptr->Stack_alloc; \ + yynewbytes = yystacksize * YYSIZEOF (*Stack) + YYSTACK_GAP_MAXIMUM; \ + yyptr += yynewbytes / YYSIZEOF (*yyptr); \ + } \ + while (0) + +#endif + +#if defined YYCOPY_NEEDED && YYCOPY_NEEDED +/* Copy COUNT objects from SRC to DST. The source and destination do + not overlap. */ +# ifndef YYCOPY +# if defined __GNUC__ && 1 < __GNUC__ +# define YYCOPY(Dst, Src, Count) \ + __builtin_memcpy (Dst, Src, YY_CAST (YYSIZE_T, (Count)) * sizeof (*(Src))) +# else +# define YYCOPY(Dst, Src, Count) \ + do \ + { \ + YYPTRDIFF_T yyi; \ + for (yyi = 0; yyi < (Count); yyi++) \ + (Dst)[yyi] = (Src)[yyi]; \ + } \ + while (0) +# endif +# endif +#endif /* !YYCOPY_NEEDED */ + +/* YYFINAL -- State number of the termination state. */ +#define YYFINAL 180 +/* YYLAST -- Last index in YYTABLE. */ +#define YYLAST 396 + +/* YYNTOKENS -- Number of terminals. */ +#define YYNTOKENS 137 +/* YYNNTS -- Number of nonterminals. */ +#define YYNNTS 14 +/* YYNRULES -- Number of rules. */ +#define YYNRULES 142 +/* YYNSTATES -- Number of states. */ +#define YYNSTATES 328 + +/* YYMAXUTOK -- Last valid token kind. */ +#define YYMAXUTOK 391 + + +/* YYTRANSLATE(TOKEN-NUM) -- Symbol number corresponding to TOKEN-NUM + as returned by yylex, with out-of-bounds checking. */ +#define YYTRANSLATE(YYX) \ + (0 <= (YYX) && (YYX) <= YYMAXUTOK \ + ? YY_CAST (yysymbol_kind_t, yytranslate[YYX]) \ + : YYSYMBOL_YYUNDEF) + +/* YYTRANSLATE[TOKEN-NUM] -- Symbol number corresponding to TOKEN-NUM + as returned by yylex. */ +static const yytype_uint8 yytranslate[] = +{ + 0, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 1, 2, 3, 4, + 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, + 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, + 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, + 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, + 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, + 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, + 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, + 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, + 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, + 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, + 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, + 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, + 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, + 135, 136 +}; + +#if YYDEBUG +/* YYRLINE[YYN] -- Source line where rule number YYN was defined. */ +static const yytype_int16 yyrline[] = +{ + 0, 148, 148, 153, 157, 158, 159, 160, 161, 162, + 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, + 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, + 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, + 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, + 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, + 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, + 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, + 233, 234, 235, 236, 237, 240, 243, 246, 249, 252, + 255, 258, 261, 264, 267, 270, 273, 276, 279, 282, + 285, 288, 291, 295, 298, 302, 306, 311, 315, 318, + 321, 324, 327, 330, 333, 336, 340, 343, 348, 355, + 358, 361, 365, 368, 371, 374, 378, 381, 384, 388, + 391, 392, 393, 394, 397, 398, 401, 402, 403, 406, + 407, 410, 411 +}; +#endif + +/** Accessing symbol of state STATE. */ +#define YY_ACCESSING_SYMBOL(State) YY_CAST (yysymbol_kind_t, yystos[State]) + +#if 1 +/* The user-facing name of the symbol whose (internal) number is + YYSYMBOL. No bounds checking. */ +static const char *yysymbol_name (yysymbol_kind_t yysymbol) YY_ATTRIBUTE_UNUSED; + +/* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM. + First, the terminals, then, starting at YYNTOKENS, nonterminals. */ +static const char *const yytname[] = +{ + "\"end of file\"", "error", "\"invalid token\"", "imm", "label", "str", + "id", "\",\"", "\"(\"", "\")\"", "set", "include", "x0", "x1", "x2", + "x3", "x4", "x5", "x6", "x7", "x8", "x9", "x10", "x11", "x12", "x13", + "x14", "x15", "x16", "x17", "x18", "x19", "x20", "x21", "x22", "x23", + "x24", "x25", "x26", "x27", "x28", "x29", "x30", "x31", "x32", "x33", + "x34", "x35", "x36", "x37", "x38", "x39", "x40", "x41", "x42", "x43", + "x44", "x45", "x46", "x47", "x48", "x49", "x50", "x51", "x52", "x53", + "x54", "x55", "x56", "x57", "x58", "x59", "x60", "x61", "x62", "x63", + "x64", "x65", "x66", "x67", "x68", "x69", "x70", "x71", "x72", "x73", + "x74", "x75", "x76", "x77", "x78", "x79", "x80", "addi", "slti", "sgei", + "seqi", "snei", "unop", "diop", "slli", "srli", "sll", "srl", "add", + "sub", "slt", "sge", "seq", "sne", "lui", "auipc", "jal", "jalr", "beq", + "bne", "blt", "bge", "ld", "st", "ecall", "ebreak", "pcall", "fence", + "li", "la", "nop", "mul", "diV", "rem", "stt", "cst", "ent", "cat", + "csrrw", "csrrs", "csrrc", "$accept", "width", "addr", "gpr", "i", "m", + "a", "Zcsr", "csr", "statement", "directive", "top", "unit", "input", YY_NULLPTR +}; + +static const char * +yysymbol_name (yysymbol_kind_t yysymbol) +{ + return yytname[yysymbol]; +} +#endif + +#define YYPACT_NINF (-187) + +#define yypact_value_is_default(Yyn) \ + ((Yyn) == YYPACT_NINF) + +#define YYTABLE_NINF (-1) + +#define yytable_value_is_error(Yyn) \ + 0 + +/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing + STATE-NUM. */ +static const yytype_int16 yypact[] = +{ + 32, -187, 22, 24, 304, 304, 304, 304, 304, 304, + 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, + 304, 304, 304, 304, 304, 304, 304, 304, 304, 26, + 26, -187, -187, -187, -187, 304, 304, -187, 304, 304, + 304, -187, 26, 304, -187, 31, 31, 31, -187, -187, + -187, -187, -187, -187, 32, -187, 40, 38, -187, -187, + -187, -187, -187, -187, -187, -187, -187, -187, -187, -187, + -187, -187, -187, -187, -187, -187, -187, -187, -187, -187, + -187, -187, -187, -187, -187, -187, -187, -187, -187, -187, + -187, -187, -187, -187, -187, -187, -187, -187, -187, -187, + -187, -187, -187, -187, -187, -187, -187, -187, -187, -187, + -187, -187, -187, -187, -187, -187, -187, -187, -187, -187, + -187, -187, -187, -187, -187, -187, -187, -187, -187, -187, + -187, -187, -187, -187, -187, -187, -187, -187, -187, -187, + 37, 39, 41, 42, 43, 44, 45, 46, 47, 48, + 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, + 59, 60, 61, 62, 63, -187, 64, 65, 66, 67, + 68, 69, 70, 71, -187, -187, 72, 73, 74, -187, + -187, -187, 304, 304, 304, 304, 304, 304, 304, 304, + 304, 304, 304, 304, 304, 304, 304, 304, 304, 79, + 80, 78, 304, 304, 304, 304, 304, 304, 304, 82, + 78, 304, 304, 304, 304, 304, 304, 304, 84, 85, + 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, + 96, 97, 98, 99, 100, -187, -187, -187, -187, 101, + 102, 103, 104, 105, 106, 107, -187, -187, 108, 109, + 110, 111, 112, 113, 114, 83, 119, 120, 121, 166, + 165, 304, 168, 169, 304, 304, 304, 304, 304, 304, + 304, 304, 170, 78, 78, 78, 78, 171, 172, 304, + 304, 304, 173, 304, 304, 304, -187, -187, -187, -187, + -187, -187, 187, -187, -187, -187, -187, -187, -187, -187, + -187, -187, -187, -187, -187, -187, -187, -187, 188, 196, + -187, -187, -187, 197, -187, -187, -187, 190, 304, 304, + 304, -187, 36, 204, 205, -187, -187, -187 +}; + +/* YYDEFACT[STATE-NUM] -- Default reduction number in state STATE-NUM. + Performed when YYTABLE does not specify something else to do. Zero + means the default is an error. */ +static const yytype_uint8 yydefact[] = +{ + 142, 136, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 110, 111, 112, 113, 0, 0, 116, 0, 0, + 0, 122, 0, 0, 125, 0, 0, 0, 130, 132, + 131, 133, 137, 138, 139, 141, 0, 0, 135, 4, + 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, + 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, + 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, + 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, + 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, + 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, + 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, + 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, + 0, 0, 0, 0, 124, 129, 0, 0, 0, 140, + 1, 134, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 100, 101, 3, 102, 0, + 0, 0, 0, 0, 0, 0, 118, 117, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 85, 86, 87, 88, + 89, 114, 0, 90, 91, 98, 99, 92, 93, 94, + 95, 96, 97, 103, 104, 105, 106, 107, 0, 0, + 119, 120, 121, 0, 126, 127, 128, 0, 0, 0, + 0, 115, 0, 0, 0, 108, 109, 123 +}; + +/* YYPGOTO[NTERM-NUM]. */ +static const yytype_int16 yypgoto[] = +{ + -187, -3, -186, -5, -187, -187, -187, -187, -21, -187, + -187, -187, -7, -187 +}; + +/* YYDEFGOTO[NTERM-NUM]. */ +static const yytype_uint8 yydefgoto[] = +{ + 0, 166, 238, 140, 48, 49, 50, 51, 176, 52, + 53, 54, 55, 56 +}; + +/* YYTABLE[YYPACT[STATE-NUM]] -- What to do in state STATE-NUM. If + positive, shift that token. If negative, reduce the rule whose + number is the opposite. If YYTABLE_NINF, syntax error. */ +static const yytype_int16 yytable[] = +{ + 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, + 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, + 161, 162, 163, 164, 247, 177, 178, 167, 57, 58, + 168, 169, 165, 170, 171, 172, 1, 175, 174, 173, + 180, 181, 2, 3, 182, 325, 183, 179, 184, 185, + 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, + 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, + 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, + 216, 217, 235, 236, 237, 246, 286, 304, 305, 306, + 307, 255, 256, 257, 258, 259, 260, 261, 262, 263, + 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, + 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, + 284, 285, 287, 288, 289, 4, 5, 6, 7, 8, + 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, + 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, + 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, + 39, 40, 41, 42, 43, 44, 45, 46, 47, 290, + 291, 293, 294, 303, 308, 309, 313, 218, 219, 220, + 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, + 231, 232, 233, 234, 317, 321, 318, 239, 240, 241, + 242, 243, 244, 245, 319, 320, 248, 249, 250, 251, + 252, 253, 254, 326, 327, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 292, 0, 0, 295, + 296, 297, 298, 299, 300, 301, 302, 0, 0, 0, + 0, 0, 0, 0, 310, 311, 312, 0, 314, 315, + 316, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 322, 323, 324, 59, 60, 61, 62, + 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, + 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, + 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, + 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, + 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, + 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, + 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, + 133, 134, 135, 136, 137, 138, 139 +}; + +static const yytype_int16 yycheck[] = +{ + 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, + 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, + 25, 26, 27, 28, 210, 46, 47, 30, 6, 5, + 35, 36, 6, 38, 39, 40, 4, 6, 43, 42, + 0, 3, 10, 11, 7, 9, 7, 54, 7, 7, + 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, + 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, + 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, + 7, 7, 3, 3, 6, 3, 3, 273, 274, 275, + 276, 7, 7, 7, 7, 7, 7, 7, 7, 7, + 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, + 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, + 7, 7, 3, 3, 3, 93, 94, 95, 96, 97, + 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, + 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, + 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, + 128, 129, 130, 131, 132, 133, 134, 135, 136, 3, + 5, 3, 3, 3, 3, 3, 3, 182, 183, 184, + 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, + 195, 196, 197, 198, 7, 5, 8, 202, 203, 204, + 205, 206, 207, 208, 8, 8, 211, 212, 213, 214, + 215, 216, 217, 9, 9, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, 261, -1, -1, 264, + 265, 266, 267, 268, 269, 270, 271, -1, -1, -1, + -1, -1, -1, -1, 279, 280, 281, -1, 283, 284, + 285, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, 318, 319, 320, 12, 13, 14, 15, + 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, + 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, + 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, + 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, + 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, + 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, + 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, + 86, 87, 88, 89, 90, 91, 92 +}; + +/* YYSTOS[STATE-NUM] -- The symbol kind of the accessing symbol of + state STATE-NUM. */ +static const yytype_uint8 yystos[] = +{ + 0, 4, 10, 11, 93, 94, 95, 96, 97, 98, + 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, + 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, + 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, + 129, 130, 131, 132, 133, 134, 135, 136, 141, 142, + 143, 144, 146, 147, 148, 149, 150, 6, 5, 12, + 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, + 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, + 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, + 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, + 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, + 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, + 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, + 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, + 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, + 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, + 140, 140, 140, 140, 140, 6, 138, 138, 140, 140, + 140, 140, 140, 138, 140, 6, 145, 145, 145, 149, + 0, 3, 7, 7, 7, 7, 7, 7, 7, 7, + 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, + 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, + 7, 7, 7, 7, 7, 7, 7, 7, 140, 140, + 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, + 140, 140, 140, 140, 140, 3, 3, 6, 139, 140, + 140, 140, 140, 140, 140, 140, 3, 139, 140, 140, + 140, 140, 140, 140, 140, 7, 7, 7, 7, 7, + 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, + 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, + 7, 7, 7, 7, 7, 7, 3, 3, 3, 3, + 3, 5, 140, 3, 3, 140, 140, 140, 140, 140, + 140, 140, 140, 3, 139, 139, 139, 139, 3, 3, + 140, 140, 140, 3, 140, 140, 140, 7, 8, 8, + 8, 5, 140, 140, 140, 9, 9, 9 +}; + +/* YYR1[RULE-NUM] -- Symbol kind of the left-hand side of rule RULE-NUM. */ +static const yytype_uint8 yyr1[] = +{ + 0, 137, 138, 139, 140, 140, 140, 140, 140, 140, + 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, + 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, + 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, + 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, + 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, + 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, + 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, + 140, 140, 140, 140, 140, 141, 141, 141, 141, 141, + 141, 141, 141, 141, 141, 141, 141, 141, 141, 141, + 141, 141, 141, 141, 141, 141, 141, 141, 141, 141, + 141, 141, 141, 141, 141, 141, 141, 141, 141, 142, + 142, 142, 143, 143, 143, 143, 144, 144, 144, 145, + 146, 146, 146, 146, 147, 147, 148, 148, 148, 149, + 149, 150, 150 +}; + +/* YYR2[RULE-NUM] -- Number of symbols on the right-hand side of rule RULE-NUM. */ +static const yytype_int8 yyr2[] = +{ + 0, 2, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 1, 1, 1, 6, 6, 6, 6, 6, + 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, + 4, 4, 4, 6, 6, 6, 6, 6, 9, 9, + 1, 1, 1, 1, 6, 8, 1, 4, 4, 6, + 6, 6, 1, 9, 2, 1, 6, 6, 6, 1, + 1, 1, 1, 1, 3, 2, 1, 1, 1, 1, + 2, 1, 0 +}; + + +enum { YYENOMEM = -2 }; + +#define yyerrok (yyerrstatus = 0) +#define yyclearin (yychar = YYEMPTY) + +#define YYACCEPT goto yyacceptlab +#define YYABORT goto yyabortlab +#define YYERROR goto yyerrorlab +#define YYNOMEM goto yyexhaustedlab + + +#define YYRECOVERING() (!!yyerrstatus) + +#define YYBACKUP(Token, Value) \ + do \ + if (yychar == YYEMPTY) \ + { \ + yychar = (Token); \ + yylval = (Value); \ + YYPOPSTACK (yylen); \ + yystate = *yyssp; \ + goto yybackup; \ + } \ + else \ + { \ + yyerror (&yylloc, scanner, parser, ctx, YY_("syntax error: cannot back up")); \ + YYERROR; \ + } \ + while (0) + +/* Backward compatibility with an undocumented macro. + Use YYerror or YYUNDEF. */ +#define YYERRCODE YYUNDEF + +/* YYLLOC_DEFAULT -- Set CURRENT to span from RHS[1] to RHS[N]. + If N is 0, then set CURRENT to the empty location which ends + the previous symbol: RHS[0] (always defined). */ + +#ifndef YYLLOC_DEFAULT +# define YYLLOC_DEFAULT(Current, Rhs, N) \ + do \ + if (N) \ + { \ + (Current).first_line = YYRHSLOC (Rhs, 1).first_line; \ + (Current).first_column = YYRHSLOC (Rhs, 1).first_column; \ + (Current).last_line = YYRHSLOC (Rhs, N).last_line; \ + (Current).last_column = YYRHSLOC (Rhs, N).last_column; \ + } \ + else \ + { \ + (Current).first_line = (Current).last_line = \ + YYRHSLOC (Rhs, 0).last_line; \ + (Current).first_column = (Current).last_column = \ + YYRHSLOC (Rhs, 0).last_column; \ + } \ + while (0) +#endif + +#define YYRHSLOC(Rhs, K) ((Rhs)[K]) + + +/* Enable debugging if requested. */ +#if YYDEBUG + +# ifndef YYFPRINTF +# include <stdio.h> /* INFRINGES ON USER NAME SPACE */ +# define YYFPRINTF fprintf +# endif + +# define YYDPRINTF(Args) \ +do { \ + if (yydebug) \ + YYFPRINTF Args; \ +} while (0) + + +/* YYLOCATION_PRINT -- Print the location on the stream. + This macro was not mandated originally: define only if we know + we won't break user code: when these are the locations we know. */ + +# ifndef YYLOCATION_PRINT + +# if defined YY_LOCATION_PRINT + + /* Temporary convenience wrapper in case some people defined the + undocumented and private YY_LOCATION_PRINT macros. */ +# define YYLOCATION_PRINT(File, Loc) YY_LOCATION_PRINT(File, *(Loc)) + +# elif defined YYLTYPE_IS_TRIVIAL && YYLTYPE_IS_TRIVIAL + +/* Print *YYLOCP on YYO. Private, do not rely on its existence. */ + +YY_ATTRIBUTE_UNUSED +static int +yy_location_print_ (FILE *yyo, YYLTYPE const * const yylocp) +{ + int res = 0; + int end_col = 0 != yylocp->last_column ? yylocp->last_column - 1 : 0; + if (0 <= yylocp->first_line) + { + res += YYFPRINTF (yyo, "%d", yylocp->first_line); + if (0 <= yylocp->first_column) + res += YYFPRINTF (yyo, ".%d", yylocp->first_column); + } + if (0 <= yylocp->last_line) + { + if (yylocp->first_line < yylocp->last_line) + { + res += YYFPRINTF (yyo, "-%d", yylocp->last_line); + if (0 <= end_col) + res += YYFPRINTF (yyo, ".%d", end_col); + } + else if (0 <= end_col && yylocp->first_column < end_col) + res += YYFPRINTF (yyo, "-%d", end_col); + } + return res; +} + +# define YYLOCATION_PRINT yy_location_print_ + + /* Temporary convenience wrapper in case some people defined the + undocumented and private YY_LOCATION_PRINT macros. */ +# define YY_LOCATION_PRINT(File, Loc) YYLOCATION_PRINT(File, &(Loc)) + +# else + +# define YYLOCATION_PRINT(File, Loc) ((void) 0) + /* Temporary convenience wrapper in case some people defined the + undocumented and private YY_LOCATION_PRINT macros. */ +# define YY_LOCATION_PRINT YYLOCATION_PRINT + +# endif +# endif /* !defined YYLOCATION_PRINT */ + + +# define YY_SYMBOL_PRINT(Title, Kind, Value, Location) \ +do { \ + if (yydebug) \ + { \ + YYFPRINTF (stderr, "%s ", Title); \ + yy_symbol_print (stderr, \ + Kind, Value, Location, scanner, parser, ctx); \ + YYFPRINTF (stderr, "\n"); \ + } \ +} while (0) + + +/*-----------------------------------. +| Print this symbol's value on YYO. | +`-----------------------------------*/ + +static void +yy_symbol_value_print (FILE *yyo, + yysymbol_kind_t yykind, YYSTYPE const * const yyvaluep, YYLTYPE const * const yylocationp, void *scanner, struct parser *parser, struct asm_ctx *ctx) +{ + FILE *yyoutput = yyo; + YY_USE (yyoutput); + YY_USE (yylocationp); + YY_USE (scanner); + YY_USE (parser); + YY_USE (ctx); + if (!yyvaluep) + return; + YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN + YY_USE (yykind); + YY_IGNORE_MAYBE_UNINITIALIZED_END +} + + +/*---------------------------. +| Print this symbol on YYO. | +`---------------------------*/ + +static void +yy_symbol_print (FILE *yyo, + yysymbol_kind_t yykind, YYSTYPE const * const yyvaluep, YYLTYPE const * const yylocationp, void *scanner, struct parser *parser, struct asm_ctx *ctx) +{ + YYFPRINTF (yyo, "%s %s (", + yykind < YYNTOKENS ? "token" : "nterm", yysymbol_name (yykind)); + + YYLOCATION_PRINT (yyo, yylocationp); + YYFPRINTF (yyo, ": "); + yy_symbol_value_print (yyo, yykind, yyvaluep, yylocationp, scanner, parser, ctx); + YYFPRINTF (yyo, ")"); +} + +/*------------------------------------------------------------------. +| yy_stack_print -- Print the state stack from its BOTTOM up to its | +| TOP (included). | +`------------------------------------------------------------------*/ + +static void +yy_stack_print (yy_state_t *yybottom, yy_state_t *yytop) +{ + YYFPRINTF (stderr, "Stack now"); + for (; yybottom <= yytop; yybottom++) + { + int yybot = *yybottom; + YYFPRINTF (stderr, " %d", yybot); + } + YYFPRINTF (stderr, "\n"); +} + +# define YY_STACK_PRINT(Bottom, Top) \ +do { \ + if (yydebug) \ + yy_stack_print ((Bottom), (Top)); \ +} while (0) + + +/*------------------------------------------------. +| Report that the YYRULE is going to be reduced. | +`------------------------------------------------*/ + +static void +yy_reduce_print (yy_state_t *yyssp, YYSTYPE *yyvsp, YYLTYPE *yylsp, + int yyrule, void *scanner, struct parser *parser, struct asm_ctx *ctx) +{ + int yylno = yyrline[yyrule]; + int yynrhs = yyr2[yyrule]; + int yyi; + YYFPRINTF (stderr, "Reducing stack by rule %d (line %d):\n", + yyrule - 1, yylno); + /* The symbols being reduced. */ + for (yyi = 0; yyi < yynrhs; yyi++) + { + YYFPRINTF (stderr, " $%d = ", yyi + 1); + yy_symbol_print (stderr, + YY_ACCESSING_SYMBOL (+yyssp[yyi + 1 - yynrhs]), + &yyvsp[(yyi + 1) - (yynrhs)], + &(yylsp[(yyi + 1) - (yynrhs)]), scanner, parser, ctx); + YYFPRINTF (stderr, "\n"); + } +} + +# define YY_REDUCE_PRINT(Rule) \ +do { \ + if (yydebug) \ + yy_reduce_print (yyssp, yyvsp, yylsp, Rule, scanner, parser, ctx); \ +} while (0) + +/* Nonzero means print parse trace. It is left uninitialized so that + multiple parsers can coexist. */ +int yydebug; +#else /* !YYDEBUG */ +# define YYDPRINTF(Args) ((void) 0) +# define YY_SYMBOL_PRINT(Title, Kind, Value, Location) +# define YY_STACK_PRINT(Bottom, Top) +# define YY_REDUCE_PRINT(Rule) +#endif /* !YYDEBUG */ + + +/* YYINITDEPTH -- initial size of the parser's stacks. */ +#ifndef YYINITDEPTH +# define YYINITDEPTH 200 +#endif + +/* YYMAXDEPTH -- maximum size the stacks can grow to (effective only + if the built-in stack extension method is used). + + Do not make this value too large; the results are undefined if + YYSTACK_ALLOC_MAXIMUM < YYSTACK_BYTES (YYMAXDEPTH) + evaluated with infinite-precision integer arithmetic. */ + +#ifndef YYMAXDEPTH +# define YYMAXDEPTH 10000 +#endif + + +/* Context of a parse error. */ +typedef struct +{ + yy_state_t *yyssp; + yysymbol_kind_t yytoken; + YYLTYPE *yylloc; +} yypcontext_t; + +/* Put in YYARG at most YYARGN of the expected tokens given the + current YYCTX, and return the number of tokens stored in YYARG. If + YYARG is null, return the number of expected tokens (guaranteed to + be less than YYNTOKENS). Return YYENOMEM on memory exhaustion. + Return 0 if there are more than YYARGN expected tokens, yet fill + YYARG up to YYARGN. */ +static int +yypcontext_expected_tokens (const yypcontext_t *yyctx, + yysymbol_kind_t yyarg[], int yyargn) +{ + /* Actual size of YYARG. */ + int yycount = 0; + int yyn = yypact[+*yyctx->yyssp]; + if (!yypact_value_is_default (yyn)) + { + /* Start YYX at -YYN if negative to avoid negative indexes in + YYCHECK. In other words, skip the first -YYN actions for + this state because they are default actions. */ + int yyxbegin = yyn < 0 ? -yyn : 0; + /* Stay within bounds of both yycheck and yytname. */ + int yychecklim = YYLAST - yyn + 1; + int yyxend = yychecklim < YYNTOKENS ? yychecklim : YYNTOKENS; + int yyx; + for (yyx = yyxbegin; yyx < yyxend; ++yyx) + if (yycheck[yyx + yyn] == yyx && yyx != YYSYMBOL_YYerror + && !yytable_value_is_error (yytable[yyx + yyn])) + { + if (!yyarg) + ++yycount; + else if (yycount == yyargn) + return 0; + else + yyarg[yycount++] = YY_CAST (yysymbol_kind_t, yyx); + } + } + if (yyarg && yycount == 0 && 0 < yyargn) + yyarg[0] = YYSYMBOL_YYEMPTY; + return yycount; +} + + + + +#ifndef yystrlen +# if defined __GLIBC__ && defined _STRING_H +# define yystrlen(S) (YY_CAST (YYPTRDIFF_T, strlen (S))) +# else +/* Return the length of YYSTR. */ +static YYPTRDIFF_T +yystrlen (const char *yystr) +{ + YYPTRDIFF_T yylen; + for (yylen = 0; yystr[yylen]; yylen++) + continue; + return yylen; +} +# endif +#endif + +#ifndef yystpcpy +# if defined __GLIBC__ && defined _STRING_H && defined _GNU_SOURCE +# define yystpcpy stpcpy +# else +/* Copy YYSRC to YYDEST, returning the address of the terminating '\0' in + YYDEST. */ +static char * +yystpcpy (char *yydest, const char *yysrc) +{ + char *yyd = yydest; + const char *yys = yysrc; + + while ((*yyd++ = *yys++) != '\0') + continue; + + return yyd - 1; +} +# endif +#endif + +#ifndef yytnamerr +/* Copy to YYRES the contents of YYSTR after stripping away unnecessary + quotes and backslashes, so that it's suitable for yyerror. The + heuristic is that double-quoting is unnecessary unless the string + contains an apostrophe, a comma, or backslash (other than + backslash-backslash). YYSTR is taken from yytname. If YYRES is + null, do not copy; instead, return the length of what the result + would have been. */ +static YYPTRDIFF_T +yytnamerr (char *yyres, const char *yystr) +{ + if (*yystr == '"') + { + YYPTRDIFF_T yyn = 0; + char const *yyp = yystr; + for (;;) + switch (*++yyp) + { + case '\'': + case ',': + goto do_not_strip_quotes; + + case '\\': + if (*++yyp != '\\') + goto do_not_strip_quotes; + else + goto append; + + append: + default: + if (yyres) + yyres[yyn] = *yyp; + yyn++; + break; + + case '"': + if (yyres) + yyres[yyn] = '\0'; + return yyn; + } + do_not_strip_quotes: ; + } + + if (yyres) + return yystpcpy (yyres, yystr) - yyres; + else + return yystrlen (yystr); +} +#endif + + +static int +yy_syntax_error_arguments (const yypcontext_t *yyctx, + yysymbol_kind_t yyarg[], int yyargn) +{ + /* Actual size of YYARG. */ + int yycount = 0; + /* There are many possibilities here to consider: + - If this state is a consistent state with a default action, then + the only way this function was invoked is if the default action + is an error action. In that case, don't check for expected + tokens because there are none. + - The only way there can be no lookahead present (in yychar) is if + this state is a consistent state with a default action. Thus, + detecting the absence of a lookahead is sufficient to determine + that there is no unexpected or expected token to report. In that + case, just report a simple "syntax error". + - Don't assume there isn't a lookahead just because this state is a + consistent state with a default action. There might have been a + previous inconsistent state, consistent state with a non-default + action, or user semantic action that manipulated yychar. + - Of course, the expected token list depends on states to have + correct lookahead information, and it depends on the parser not + to perform extra reductions after fetching a lookahead from the + scanner and before detecting a syntax error. Thus, state merging + (from LALR or IELR) and default reductions corrupt the expected + token list. However, the list is correct for canonical LR with + one exception: it will still contain any token that will not be + accepted due to an error action in a later state. + */ + if (yyctx->yytoken != YYSYMBOL_YYEMPTY) + { + int yyn; + if (yyarg) + yyarg[yycount] = yyctx->yytoken; + ++yycount; + yyn = yypcontext_expected_tokens (yyctx, + yyarg ? yyarg + 1 : yyarg, yyargn - 1); + if (yyn == YYENOMEM) + return YYENOMEM; + else + yycount += yyn; + } + return yycount; +} + +/* Copy into *YYMSG, which is of size *YYMSG_ALLOC, an error message + about the unexpected token YYTOKEN for the state stack whose top is + YYSSP. + + Return 0 if *YYMSG was successfully written. Return -1 if *YYMSG is + not large enough to hold the message. In that case, also set + *YYMSG_ALLOC to the required number of bytes. Return YYENOMEM if the + required number of bytes is too large to store. */ +static int +yysyntax_error (YYPTRDIFF_T *yymsg_alloc, char **yymsg, + const yypcontext_t *yyctx) +{ + enum { YYARGS_MAX = 5 }; + /* Internationalized format string. */ + const char *yyformat = YY_NULLPTR; + /* Arguments of yyformat: reported tokens (one for the "unexpected", + one per "expected"). */ + yysymbol_kind_t yyarg[YYARGS_MAX]; + /* Cumulated lengths of YYARG. */ + YYPTRDIFF_T yysize = 0; + + /* Actual size of YYARG. */ + int yycount = yy_syntax_error_arguments (yyctx, yyarg, YYARGS_MAX); + if (yycount == YYENOMEM) + return YYENOMEM; + + switch (yycount) + { +#define YYCASE_(N, S) \ + case N: \ + yyformat = S; \ + break + default: /* Avoid compiler warnings. */ + YYCASE_(0, YY_("syntax error")); + YYCASE_(1, YY_("syntax error, unexpected %s")); + YYCASE_(2, YY_("syntax error, unexpected %s, expecting %s")); + YYCASE_(3, YY_("syntax error, unexpected %s, expecting %s or %s")); + YYCASE_(4, YY_("syntax error, unexpected %s, expecting %s or %s or %s")); + YYCASE_(5, YY_("syntax error, unexpected %s, expecting %s or %s or %s or %s")); +#undef YYCASE_ + } + + /* Compute error message size. Don't count the "%s"s, but reserve + room for the terminator. */ + yysize = yystrlen (yyformat) - 2 * yycount + 1; + { + int yyi; + for (yyi = 0; yyi < yycount; ++yyi) + { + YYPTRDIFF_T yysize1 + = yysize + yytnamerr (YY_NULLPTR, yytname[yyarg[yyi]]); + if (yysize <= yysize1 && yysize1 <= YYSTACK_ALLOC_MAXIMUM) + yysize = yysize1; + else + return YYENOMEM; + } + } + + if (*yymsg_alloc < yysize) + { + *yymsg_alloc = 2 * yysize; + if (! (yysize <= *yymsg_alloc + && *yymsg_alloc <= YYSTACK_ALLOC_MAXIMUM)) + *yymsg_alloc = YYSTACK_ALLOC_MAXIMUM; + return -1; + } + + /* Avoid sprintf, as that infringes on the user's name space. + Don't have undefined behavior even if the translation + produced a string with the wrong number of "%s"s. */ + { + char *yyp = *yymsg; + int yyi = 0; + while ((*yyp = *yyformat) != '\0') + if (*yyp == '%' && yyformat[1] == 's' && yyi < yycount) + { + yyp += yytnamerr (yyp, yytname[yyarg[yyi++]]); + yyformat += 2; + } + else + { + ++yyp; + ++yyformat; + } + } + return 0; +} + + +/*-----------------------------------------------. +| Release the memory associated to this symbol. | +`-----------------------------------------------*/ + +static void +yydestruct (const char *yymsg, + yysymbol_kind_t yykind, YYSTYPE *yyvaluep, YYLTYPE *yylocationp, void *scanner, struct parser *parser, struct asm_ctx *ctx) +{ + YY_USE (yyvaluep); + YY_USE (yylocationp); + YY_USE (scanner); + YY_USE (parser); + YY_USE (ctx); + if (!yymsg) + yymsg = "Deleting"; + YY_SYMBOL_PRINT (yymsg, yykind, yyvaluep, yylocationp); + + YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN + YY_USE (yykind); + YY_IGNORE_MAYBE_UNINITIALIZED_END +} + + + + + + +/*----------. +| yyparse. | +`----------*/ + +int +yyparse (void *scanner, struct parser *parser, struct asm_ctx *ctx) +{ +/* Lookahead token kind. */ +int yychar; + + +/* The semantic value of the lookahead symbol. */ +/* Default value used for initialization, for pacifying older GCCs + or non-GCC compilers. */ +YY_INITIAL_VALUE (static YYSTYPE yyval_default;) +YYSTYPE yylval YY_INITIAL_VALUE (= yyval_default); + +/* Location data for the lookahead symbol. */ +static YYLTYPE yyloc_default +# if defined YYLTYPE_IS_TRIVIAL && YYLTYPE_IS_TRIVIAL + = { 1, 1, 1, 1 } +# endif +; +YYLTYPE yylloc = yyloc_default; + + /* Number of syntax errors so far. */ + int yynerrs = 0; + + yy_state_fast_t yystate = 0; + /* Number of tokens to shift before error messages enabled. */ + int yyerrstatus = 0; + + /* Refer to the stacks through separate pointers, to allow yyoverflow + to reallocate them elsewhere. */ + + /* Their size. */ + YYPTRDIFF_T yystacksize = YYINITDEPTH; + + /* The state stack: array, bottom, top. */ + yy_state_t yyssa[YYINITDEPTH]; + yy_state_t *yyss = yyssa; + yy_state_t *yyssp = yyss; + + /* The semantic value stack: array, bottom, top. */ + YYSTYPE yyvsa[YYINITDEPTH]; + YYSTYPE *yyvs = yyvsa; + YYSTYPE *yyvsp = yyvs; + + /* The location stack: array, bottom, top. */ + YYLTYPE yylsa[YYINITDEPTH]; + YYLTYPE *yyls = yylsa; + YYLTYPE *yylsp = yyls; + + int yyn; + /* The return value of yyparse. */ + int yyresult; + /* Lookahead symbol kind. */ + yysymbol_kind_t yytoken = YYSYMBOL_YYEMPTY; + /* The variables used to return semantic value and location from the + action routines. */ + YYSTYPE yyval; + YYLTYPE yyloc; + + /* The locations where the error started and ended. */ + YYLTYPE yyerror_range[3]; + + /* Buffer for error messages, and its allocated size. */ + char yymsgbuf[128]; + char *yymsg = yymsgbuf; + YYPTRDIFF_T yymsg_alloc = sizeof yymsgbuf; + +#define YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N), yylsp -= (N)) + + /* The number of symbols on the RHS of the reduced rule. + Keep to zero when no symbol should be popped. */ + int yylen = 0; + + YYDPRINTF ((stderr, "Starting parse\n")); + + yychar = YYEMPTY; /* Cause a token to be read. */ + + yylsp[0] = yylloc; + goto yysetstate; + + +/*------------------------------------------------------------. +| yynewstate -- push a new state, which is found in yystate. | +`------------------------------------------------------------*/ +yynewstate: + /* In all cases, when you get here, the value and location stacks + have just been pushed. So pushing a state here evens the stacks. */ + yyssp++; + + +/*--------------------------------------------------------------------. +| yysetstate -- set current state (the top of the stack) to yystate. | +`--------------------------------------------------------------------*/ +yysetstate: + YYDPRINTF ((stderr, "Entering state %d\n", yystate)); + YY_ASSERT (0 <= yystate && yystate < YYNSTATES); + YY_IGNORE_USELESS_CAST_BEGIN + *yyssp = YY_CAST (yy_state_t, yystate); + YY_IGNORE_USELESS_CAST_END + YY_STACK_PRINT (yyss, yyssp); + + if (yyss + yystacksize - 1 <= yyssp) +#if !defined yyoverflow && !defined YYSTACK_RELOCATE + YYNOMEM; +#else + { + /* Get the current used size of the three stacks, in elements. */ + YYPTRDIFF_T yysize = yyssp - yyss + 1; + +# if defined yyoverflow + { + /* Give user a chance to reallocate the stack. Use copies of + these so that the &'s don't force the real ones into + memory. */ + yy_state_t *yyss1 = yyss; + YYSTYPE *yyvs1 = yyvs; + YYLTYPE *yyls1 = yyls; + + /* Each stack pointer address is followed by the size of the + data in use in that stack, in bytes. This used to be a + conditional around just the two extra args, but that might + be undefined if yyoverflow is a macro. */ + yyoverflow (YY_("memory exhausted"), + &yyss1, yysize * YYSIZEOF (*yyssp), + &yyvs1, yysize * YYSIZEOF (*yyvsp), + &yyls1, yysize * YYSIZEOF (*yylsp), + &yystacksize); + yyss = yyss1; + yyvs = yyvs1; + yyls = yyls1; + } +# else /* defined YYSTACK_RELOCATE */ + /* Extend the stack our own way. */ + if (YYMAXDEPTH <= yystacksize) + YYNOMEM; + yystacksize *= 2; + if (YYMAXDEPTH < yystacksize) + yystacksize = YYMAXDEPTH; + + { + yy_state_t *yyss1 = yyss; + union yyalloc *yyptr = + YY_CAST (union yyalloc *, + YYSTACK_ALLOC (YY_CAST (YYSIZE_T, YYSTACK_BYTES (yystacksize)))); + if (! yyptr) + YYNOMEM; + YYSTACK_RELOCATE (yyss_alloc, yyss); + YYSTACK_RELOCATE (yyvs_alloc, yyvs); + YYSTACK_RELOCATE (yyls_alloc, yyls); +# undef YYSTACK_RELOCATE + if (yyss1 != yyssa) + YYSTACK_FREE (yyss1); + } +# endif + + yyssp = yyss + yysize - 1; + yyvsp = yyvs + yysize - 1; + yylsp = yyls + yysize - 1; + + YY_IGNORE_USELESS_CAST_BEGIN + YYDPRINTF ((stderr, "Stack size increased to %ld\n", + YY_CAST (long, yystacksize))); + YY_IGNORE_USELESS_CAST_END + + if (yyss + yystacksize - 1 <= yyssp) + YYABORT; + } +#endif /* !defined yyoverflow && !defined YYSTACK_RELOCATE */ + + + if (yystate == YYFINAL) + YYACCEPT; + + goto yybackup; + + +/*-----------. +| yybackup. | +`-----------*/ +yybackup: + /* Do appropriate processing given the current state. Read a + lookahead token if we need one and don't already have one. */ + + /* First try to decide what to do without reference to lookahead token. */ + yyn = yypact[yystate]; + if (yypact_value_is_default (yyn)) + goto yydefault; + + /* Not known => get a lookahead token if don't already have one. */ + + /* YYCHAR is either empty, or end-of-input, or a valid lookahead. */ + if (yychar == YYEMPTY) + { + YYDPRINTF ((stderr, "Reading a token\n")); + yychar = yylex (&yylval, &yylloc, scanner, parser); + } + + if (yychar <= YYEOF) + { + yychar = YYEOF; + yytoken = YYSYMBOL_YYEOF; + YYDPRINTF ((stderr, "Now at end of input.\n")); + } + else if (yychar == YYerror) + { + /* The scanner already issued an error message, process directly + to error recovery. But do not keep the error token as + lookahead, it is too special and may lead us to an endless + loop in error recovery. */ + yychar = YYUNDEF; + yytoken = YYSYMBOL_YYerror; + yyerror_range[1] = yylloc; + goto yyerrlab1; + } + else + { + yytoken = YYTRANSLATE (yychar); + YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc); + } + + /* If the proper action on seeing token YYTOKEN is to reduce or to + detect an error, take that action. */ + yyn += yytoken; + if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken) + goto yydefault; + yyn = yytable[yyn]; + if (yyn <= 0) + { + if (yytable_value_is_error (yyn)) + goto yyerrlab; + yyn = -yyn; + goto yyreduce; + } + + /* Count tokens shifted since error; after three, turn off error + status. */ + if (yyerrstatus) + yyerrstatus--; + + /* Shift the lookahead token. */ + YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc); + yystate = yyn; + YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN + *++yyvsp = yylval; + YY_IGNORE_MAYBE_UNINITIALIZED_END + *++yylsp = yylloc; + + /* Discard the shifted token. */ + yychar = YYEMPTY; + goto yynewstate; + + +/*-----------------------------------------------------------. +| yydefault -- do the default action for the current state. | +`-----------------------------------------------------------*/ +yydefault: + yyn = yydefact[yystate]; + if (yyn == 0) + goto yyerrlab; + goto yyreduce; + + +/*-----------------------------. +| yyreduce -- do a reduction. | +`-----------------------------*/ +yyreduce: + /* yyn is the number of a rule to reduce with. */ + yylen = yyr2[yyn]; + + /* If YYLEN is nonzero, implement the default value of the action: + '$$ = $1'. + + Otherwise, the following line sets YYVAL to garbage. + This behavior is undocumented and Bison + users should not rely upon it. Assigning to YYVAL + unconditionally makes the parser a bit smaller, and it avoids a + GCC warning that YYVAL may be used uninitialized. */ + yyval = yyvsp[1-yylen]; + + /* Default location. */ + YYLLOC_DEFAULT (yyloc, (yylsp - yylen), yylen); + yyerror_range[1] = yyloc; + YY_REDUCE_PRINT (yyn); + switch (yyn) + { + case 4: /* gpr: x0 */ +#line 157 "src/parser.y" + {(yyval.gpr) = X0_NUM;} +#line 2112 "gen/gen_parser.c" + break; + + case 5: /* gpr: x1 */ +#line 158 "src/parser.y" + {(yyval.gpr) = X1_NUM;} +#line 2118 "gen/gen_parser.c" + break; + + case 6: /* gpr: x2 */ +#line 159 "src/parser.y" + {(yyval.gpr) = X2_NUM;} +#line 2124 "gen/gen_parser.c" + break; + + case 7: /* gpr: x3 */ +#line 160 "src/parser.y" + {(yyval.gpr) = X3_NUM;} +#line 2130 "gen/gen_parser.c" + break; + + case 8: /* gpr: x4 */ +#line 161 "src/parser.y" + {(yyval.gpr) = X4_NUM;} +#line 2136 "gen/gen_parser.c" + break; + + case 9: /* gpr: x5 */ +#line 162 "src/parser.y" + {(yyval.gpr) = X5_NUM;} +#line 2142 "gen/gen_parser.c" + break; + + case 10: /* gpr: x6 */ +#line 163 "src/parser.y" + {(yyval.gpr) = X6_NUM;} +#line 2148 "gen/gen_parser.c" + break; + + case 11: /* gpr: x7 */ +#line 164 "src/parser.y" + {(yyval.gpr) = X7_NUM;} +#line 2154 "gen/gen_parser.c" + break; + + case 12: /* gpr: x8 */ +#line 165 "src/parser.y" + {(yyval.gpr) = X8_NUM;} +#line 2160 "gen/gen_parser.c" + break; + + case 13: /* gpr: x9 */ +#line 166 "src/parser.y" + {(yyval.gpr) = X9_NUM;} +#line 2166 "gen/gen_parser.c" + break; + + case 14: /* gpr: x10 */ +#line 167 "src/parser.y" + {(yyval.gpr) = X10_NUM;} +#line 2172 "gen/gen_parser.c" + break; + + case 15: /* gpr: x11 */ +#line 168 "src/parser.y" + {(yyval.gpr) = X11_NUM;} +#line 2178 "gen/gen_parser.c" + break; + + case 16: /* gpr: x12 */ +#line 169 "src/parser.y" + {(yyval.gpr) = X12_NUM;} +#line 2184 "gen/gen_parser.c" + break; + + case 17: /* gpr: x13 */ +#line 170 "src/parser.y" + {(yyval.gpr) = X13_NUM;} +#line 2190 "gen/gen_parser.c" + break; + + case 18: /* gpr: x14 */ +#line 171 "src/parser.y" + {(yyval.gpr) = X14_NUM;} +#line 2196 "gen/gen_parser.c" + break; + + case 19: /* gpr: x15 */ +#line 172 "src/parser.y" + {(yyval.gpr) = X15_NUM;} +#line 2202 "gen/gen_parser.c" + break; + + case 20: /* gpr: x16 */ +#line 173 "src/parser.y" + {(yyval.gpr) = X16_NUM;} +#line 2208 "gen/gen_parser.c" + break; + + case 21: /* gpr: x17 */ +#line 174 "src/parser.y" + {(yyval.gpr) = X17_NUM;} +#line 2214 "gen/gen_parser.c" + break; + + case 22: /* gpr: x18 */ +#line 175 "src/parser.y" + {(yyval.gpr) = X18_NUM;} +#line 2220 "gen/gen_parser.c" + break; + + case 23: /* gpr: x19 */ +#line 176 "src/parser.y" + {(yyval.gpr) = X19_NUM;} +#line 2226 "gen/gen_parser.c" + break; + + case 24: /* gpr: x20 */ +#line 177 "src/parser.y" + {(yyval.gpr) = X20_NUM;} +#line 2232 "gen/gen_parser.c" + break; + + case 25: /* gpr: x21 */ +#line 178 "src/parser.y" + {(yyval.gpr) = X21_NUM;} +#line 2238 "gen/gen_parser.c" + break; + + case 26: /* gpr: x22 */ +#line 179 "src/parser.y" + {(yyval.gpr) = X22_NUM;} +#line 2244 "gen/gen_parser.c" + break; + + case 27: /* gpr: x23 */ +#line 180 "src/parser.y" + {(yyval.gpr) = X23_NUM;} +#line 2250 "gen/gen_parser.c" + break; + + case 28: /* gpr: x24 */ +#line 181 "src/parser.y" + {(yyval.gpr) = X24_NUM;} +#line 2256 "gen/gen_parser.c" + break; + + case 29: /* gpr: x25 */ +#line 182 "src/parser.y" + {(yyval.gpr) = X25_NUM;} +#line 2262 "gen/gen_parser.c" + break; + + case 30: /* gpr: x26 */ +#line 183 "src/parser.y" + {(yyval.gpr) = X26_NUM;} +#line 2268 "gen/gen_parser.c" + break; + + case 31: /* gpr: x27 */ +#line 184 "src/parser.y" + {(yyval.gpr) = X27_NUM;} +#line 2274 "gen/gen_parser.c" + break; + + case 32: /* gpr: x28 */ +#line 185 "src/parser.y" + {(yyval.gpr) = X28_NUM;} +#line 2280 "gen/gen_parser.c" + break; + + case 33: /* gpr: x29 */ +#line 186 "src/parser.y" + {(yyval.gpr) = X29_NUM;} +#line 2286 "gen/gen_parser.c" + break; + + case 34: /* gpr: x30 */ +#line 187 "src/parser.y" + {(yyval.gpr) = X30_NUM;} +#line 2292 "gen/gen_parser.c" + break; + + case 35: /* gpr: x31 */ +#line 188 "src/parser.y" + {(yyval.gpr) = X31_NUM;} +#line 2298 "gen/gen_parser.c" + break; + + case 36: /* gpr: x32 */ +#line 189 "src/parser.y" + {(yyval.gpr) = X32_NUM;} +#line 2304 "gen/gen_parser.c" + break; + + case 37: /* gpr: x33 */ +#line 190 "src/parser.y" + {(yyval.gpr) = X33_NUM;} +#line 2310 "gen/gen_parser.c" + break; + + case 38: /* gpr: x34 */ +#line 191 "src/parser.y" + {(yyval.gpr) = X34_NUM;} +#line 2316 "gen/gen_parser.c" + break; + + case 39: /* gpr: x35 */ +#line 192 "src/parser.y" + {(yyval.gpr) = X35_NUM;} +#line 2322 "gen/gen_parser.c" + break; + + case 40: /* gpr: x36 */ +#line 193 "src/parser.y" + {(yyval.gpr) = X36_NUM;} +#line 2328 "gen/gen_parser.c" + break; + + case 41: /* gpr: x37 */ +#line 194 "src/parser.y" + {(yyval.gpr) = X37_NUM;} +#line 2334 "gen/gen_parser.c" + break; + + case 42: /* gpr: x38 */ +#line 195 "src/parser.y" + {(yyval.gpr) = X38_NUM;} +#line 2340 "gen/gen_parser.c" + break; + + case 43: /* gpr: x39 */ +#line 196 "src/parser.y" + {(yyval.gpr) = X39_NUM;} +#line 2346 "gen/gen_parser.c" + break; + + case 44: /* gpr: x40 */ +#line 197 "src/parser.y" + {(yyval.gpr) = X40_NUM;} +#line 2352 "gen/gen_parser.c" + break; + + case 45: /* gpr: x41 */ +#line 198 "src/parser.y" + {(yyval.gpr) = X41_NUM;} +#line 2358 "gen/gen_parser.c" + break; + + case 46: /* gpr: x42 */ +#line 199 "src/parser.y" + {(yyval.gpr) = X42_NUM;} +#line 2364 "gen/gen_parser.c" + break; + + case 47: /* gpr: x43 */ +#line 200 "src/parser.y" + {(yyval.gpr) = X43_NUM;} +#line 2370 "gen/gen_parser.c" + break; + + case 48: /* gpr: x44 */ +#line 201 "src/parser.y" + {(yyval.gpr) = X44_NUM;} +#line 2376 "gen/gen_parser.c" + break; + + case 49: /* gpr: x45 */ +#line 202 "src/parser.y" + {(yyval.gpr) = X45_NUM;} +#line 2382 "gen/gen_parser.c" + break; + + case 50: /* gpr: x46 */ +#line 203 "src/parser.y" + {(yyval.gpr) = X46_NUM;} +#line 2388 "gen/gen_parser.c" + break; + + case 51: /* gpr: x47 */ +#line 204 "src/parser.y" + {(yyval.gpr) = X47_NUM;} +#line 2394 "gen/gen_parser.c" + break; + + case 52: /* gpr: x48 */ +#line 205 "src/parser.y" + {(yyval.gpr) = X48_NUM;} +#line 2400 "gen/gen_parser.c" + break; + + case 53: /* gpr: x49 */ +#line 206 "src/parser.y" + {(yyval.gpr) = X49_NUM;} +#line 2406 "gen/gen_parser.c" + break; + + case 54: /* gpr: x50 */ +#line 207 "src/parser.y" + {(yyval.gpr) = X50_NUM;} +#line 2412 "gen/gen_parser.c" + break; + + case 55: /* gpr: x51 */ +#line 208 "src/parser.y" + {(yyval.gpr) = X51_NUM;} +#line 2418 "gen/gen_parser.c" + break; + + case 56: /* gpr: x52 */ +#line 209 "src/parser.y" + {(yyval.gpr) = X52_NUM;} +#line 2424 "gen/gen_parser.c" + break; + + case 57: /* gpr: x53 */ +#line 210 "src/parser.y" + {(yyval.gpr) = X53_NUM;} +#line 2430 "gen/gen_parser.c" + break; + + case 58: /* gpr: x54 */ +#line 211 "src/parser.y" + {(yyval.gpr) = X54_NUM;} +#line 2436 "gen/gen_parser.c" + break; + + case 59: /* gpr: x55 */ +#line 212 "src/parser.y" + {(yyval.gpr) = X55_NUM;} +#line 2442 "gen/gen_parser.c" + break; + + case 60: /* gpr: x56 */ +#line 213 "src/parser.y" + {(yyval.gpr) = X56_NUM;} +#line 2448 "gen/gen_parser.c" + break; + + case 61: /* gpr: x57 */ +#line 214 "src/parser.y" + {(yyval.gpr) = X57_NUM;} +#line 2454 "gen/gen_parser.c" + break; + + case 62: /* gpr: x58 */ +#line 215 "src/parser.y" + {(yyval.gpr) = X58_NUM;} +#line 2460 "gen/gen_parser.c" + break; + + case 63: /* gpr: x59 */ +#line 216 "src/parser.y" + {(yyval.gpr) = X59_NUM;} +#line 2466 "gen/gen_parser.c" + break; + + case 64: /* gpr: x60 */ +#line 217 "src/parser.y" + {(yyval.gpr) = X60_NUM;} +#line 2472 "gen/gen_parser.c" + break; + + case 65: /* gpr: x61 */ +#line 218 "src/parser.y" + {(yyval.gpr) = X61_NUM;} +#line 2478 "gen/gen_parser.c" + break; + + case 66: /* gpr: x62 */ +#line 219 "src/parser.y" + {(yyval.gpr) = X62_NUM;} +#line 2484 "gen/gen_parser.c" + break; + + case 67: /* gpr: x63 */ +#line 220 "src/parser.y" + {(yyval.gpr) = X63_NUM;} +#line 2490 "gen/gen_parser.c" + break; + + case 68: /* gpr: x64 */ +#line 221 "src/parser.y" + {(yyval.gpr) = X64_NUM;} +#line 2496 "gen/gen_parser.c" + break; + + case 69: /* gpr: x65 */ +#line 222 "src/parser.y" + {(yyval.gpr) = X65_NUM;} +#line 2502 "gen/gen_parser.c" + break; + + case 70: /* gpr: x66 */ +#line 223 "src/parser.y" + {(yyval.gpr) = X66_NUM;} +#line 2508 "gen/gen_parser.c" + break; + + case 71: /* gpr: x67 */ +#line 224 "src/parser.y" + {(yyval.gpr) = X67_NUM;} +#line 2514 "gen/gen_parser.c" + break; + + case 72: /* gpr: x68 */ +#line 225 "src/parser.y" + {(yyval.gpr) = X68_NUM;} +#line 2520 "gen/gen_parser.c" + break; + + case 73: /* gpr: x69 */ +#line 226 "src/parser.y" + {(yyval.gpr) = X69_NUM;} +#line 2526 "gen/gen_parser.c" + break; + + case 74: /* gpr: x70 */ +#line 227 "src/parser.y" + {(yyval.gpr) = X70_NUM;} +#line 2532 "gen/gen_parser.c" + break; + + case 75: /* gpr: x71 */ +#line 228 "src/parser.y" + {(yyval.gpr) = X71_NUM;} +#line 2538 "gen/gen_parser.c" + break; + + case 76: /* gpr: x72 */ +#line 229 "src/parser.y" + {(yyval.gpr) = X72_NUM;} +#line 2544 "gen/gen_parser.c" + break; + + case 77: /* gpr: x73 */ +#line 230 "src/parser.y" + {(yyval.gpr) = X73_NUM;} +#line 2550 "gen/gen_parser.c" + break; + + case 78: /* gpr: x74 */ +#line 231 "src/parser.y" + {(yyval.gpr) = X74_NUM;} +#line 2556 "gen/gen_parser.c" + break; + + case 79: /* gpr: x75 */ +#line 232 "src/parser.y" + {(yyval.gpr) = X75_NUM;} +#line 2562 "gen/gen_parser.c" + break; + + case 80: /* gpr: x76 */ +#line 233 "src/parser.y" + {(yyval.gpr) = X76_NUM;} +#line 2568 "gen/gen_parser.c" + break; + + case 81: /* gpr: x77 */ +#line 234 "src/parser.y" + {(yyval.gpr) = X77_NUM;} +#line 2574 "gen/gen_parser.c" + break; + + case 82: /* gpr: x78 */ +#line 235 "src/parser.y" + {(yyval.gpr) = X78_NUM;} +#line 2580 "gen/gen_parser.c" + break; + + case 83: /* gpr: x79 */ +#line 236 "src/parser.y" + {(yyval.gpr) = X79_NUM;} +#line 2586 "gen/gen_parser.c" + break; + + case 84: /* gpr: x80 */ +#line 237 "src/parser.y" + {(yyval.gpr) = X80_NUM;} +#line 2592 "gen/gen_parser.c" + break; + + case 85: /* i: addi gpr "," gpr "," imm */ +#line 241 "src/parser.y" + {emit_i(ctx, OPCODE_OP_IMM, (yyvsp[-4].gpr), OP_IMM_ADDI, (yyvsp[-2].gpr), (yyvsp[0].tri));} +#line 2598 "gen/gen_parser.c" + break; + + case 86: /* i: slti gpr "," gpr "," imm */ +#line 244 "src/parser.y" + {emit_i(ctx, OPCODE_OP_IMM, (yyvsp[-4].gpr), OP_IMM_SLTI, (yyvsp[-2].gpr), (yyvsp[0].tri));} +#line 2604 "gen/gen_parser.c" + break; + + case 87: /* i: sgei gpr "," gpr "," imm */ +#line 247 "src/parser.y" + {emit_i(ctx, OPCODE_OP_IMM, (yyvsp[-4].gpr), OP_IMM_SGEI, (yyvsp[-2].gpr), (yyvsp[0].tri));} +#line 2610 "gen/gen_parser.c" + break; + + case 88: /* i: seqi gpr "," gpr "," imm */ +#line 250 "src/parser.y" + {emit_i(ctx, OPCODE_OP_IMM, (yyvsp[-4].gpr), OP_IMM_SEQI, (yyvsp[-2].gpr), (yyvsp[0].tri));} +#line 2616 "gen/gen_parser.c" + break; + + case 89: /* i: snei gpr "," gpr "," imm */ +#line 253 "src/parser.y" + {emit_i(ctx, OPCODE_OP_IMM, (yyvsp[-4].gpr), OP_IMM_SNEI, (yyvsp[-2].gpr), (yyvsp[0].tri));} +#line 2622 "gen/gen_parser.c" + break; + + case 90: /* i: slli gpr "," gpr "," imm */ +#line 256 "src/parser.y" + {check_shift((yyvsp[0].tri)); emit_i(ctx, OPCODE_OP_IMM, (yyvsp[-4].gpr), OP_IMM_SLLI, (yyvsp[-2].gpr), (yyvsp[0].tri));} +#line 2628 "gen/gen_parser.c" + break; + + case 91: /* i: srli gpr "," gpr "," imm */ +#line 259 "src/parser.y" + {check_shift((yyvsp[0].tri)); emit_i(ctx, OPCODE_OP_IMM, (yyvsp[-4].gpr), OP_IMM_SRLI, (yyvsp[-2].gpr), (yyvsp[0].tri));} +#line 2634 "gen/gen_parser.c" + break; + + case 92: /* i: add gpr "," gpr "," gpr */ +#line 262 "src/parser.y" + {emit_r(ctx, OPCODE_OP, (yyvsp[-4].gpr), OP_ADD, (yyvsp[-2].gpr), (yyvsp[0].gpr), 0);} +#line 2640 "gen/gen_parser.c" + break; + + case 93: /* i: sub gpr "," gpr "," gpr */ +#line 265 "src/parser.y" + {emit_r(ctx, OPCODE_OP, (yyvsp[-4].gpr), OP_SUB, (yyvsp[-2].gpr), (yyvsp[0].gpr), 0);} +#line 2646 "gen/gen_parser.c" + break; + + case 94: /* i: slt gpr "," gpr "," gpr */ +#line 268 "src/parser.y" + {emit_r(ctx, OPCODE_OP, (yyvsp[-4].gpr), OP_SLT, (yyvsp[-2].gpr), (yyvsp[0].gpr), 0);} +#line 2652 "gen/gen_parser.c" + break; + + case 95: /* i: sge gpr "," gpr "," gpr */ +#line 271 "src/parser.y" + {emit_r(ctx, OPCODE_OP, (yyvsp[-4].gpr), OP_SGE, (yyvsp[-2].gpr), (yyvsp[0].gpr), 0);} +#line 2658 "gen/gen_parser.c" + break; + + case 96: /* i: seq gpr "," gpr "," gpr */ +#line 274 "src/parser.y" + {emit_r(ctx, OPCODE_OP, (yyvsp[-4].gpr), OP_SEQ, (yyvsp[-2].gpr), (yyvsp[0].gpr), 0);} +#line 2664 "gen/gen_parser.c" + break; + + case 97: /* i: sne gpr "," gpr "," gpr */ +#line 277 "src/parser.y" + {emit_r(ctx, OPCODE_OP, (yyvsp[-4].gpr), OP_SNE, (yyvsp[-2].gpr), (yyvsp[0].gpr), 0);} +#line 2670 "gen/gen_parser.c" + break; + + case 98: /* i: sll gpr "," gpr "," gpr */ +#line 280 "src/parser.y" + {emit_r(ctx, OPCODE_OP, (yyvsp[-4].gpr), OP_SLL, (yyvsp[-2].gpr), (yyvsp[0].gpr), 0);} +#line 2676 "gen/gen_parser.c" + break; + + case 99: /* i: srl gpr "," gpr "," gpr */ +#line 283 "src/parser.y" + {emit_r(ctx, OPCODE_OP, (yyvsp[-4].gpr), OP_SRL, (yyvsp[-2].gpr), (yyvsp[0].gpr), 0);} +#line 2682 "gen/gen_parser.c" + break; + + case 100: /* i: lui gpr "," imm */ +#line 286 "src/parser.y" + {emit_u(ctx, OPCODE_LUI, (yyvsp[-2].gpr), (yyvsp[0].tri));} +#line 2688 "gen/gen_parser.c" + break; + + case 101: /* i: auipc gpr "," imm */ +#line 289 "src/parser.y" + {emit_u(ctx, OPCODE_AUIPC, (yyvsp[-2].gpr), (yyvsp[0].tri));} +#line 2694 "gen/gen_parser.c" + break; + + case 102: /* i: jal gpr "," addr */ +#line 292 "src/parser.y" + {emit_reloc(ctx, RELOC_J, (yyvsp[0].str)); + emit_u(ctx, OPCODE_JAL, (yyvsp[-2].gpr), 0);} +#line 2701 "gen/gen_parser.c" + break; + + case 103: /* i: jalr gpr "," gpr "," imm */ +#line 296 "src/parser.y" + {emit_i(ctx, OPCODE_JALR, (yyvsp[-4].gpr), 0, (yyvsp[-2].gpr), (yyvsp[0].tri));} +#line 2707 "gen/gen_parser.c" + break; + + case 104: /* i: beq gpr "," gpr "," addr */ +#line 299 "src/parser.y" + {emit_reloc(ctx, RELOC_B, (yyvsp[0].str)); + emit_s(ctx, OPCODE_BRANCH, BRANCH_BEQ, (yyvsp[-4].gpr), (yyvsp[-2].gpr), 0);} +#line 2714 "gen/gen_parser.c" + break; + + case 105: /* i: bne gpr "," gpr "," addr */ +#line 303 "src/parser.y" + {emit_reloc(ctx, RELOC_B, (yyvsp[0].str)); + emit_s(ctx, OPCODE_BRANCH, BRANCH_BNE, (yyvsp[-4].gpr), (yyvsp[-2].gpr), 0);} +#line 2721 "gen/gen_parser.c" + break; + + case 106: /* i: blt gpr "," gpr "," addr */ +#line 307 "src/parser.y" + {emit_reloc(ctx, RELOC_B, (yyvsp[0].str)); + emit_s(ctx, OPCODE_BRANCH, BRANCH_BLT, (yyvsp[-4].gpr), (yyvsp[-2].gpr), 0); + } +#line 2729 "gen/gen_parser.c" + break; + + case 107: /* i: bge gpr "," gpr "," addr */ +#line 312 "src/parser.y" + {emit_reloc(ctx, RELOC_B, (yyvsp[0].str)); + emit_s(ctx, OPCODE_BRANCH, BRANCH_BGE, (yyvsp[-4].gpr), (yyvsp[-2].gpr), 0);} +#line 2736 "gen/gen_parser.c" + break; + + case 108: /* i: ld width "," gpr "," imm "(" gpr ")" */ +#line 316 "src/parser.y" + {emit_i(ctx, OPCODE_LOAD, check_width((yyvsp[-7].str)), (yyvsp[-5].gpr), (yyvsp[-1].gpr), (yyvsp[-3].tri));} +#line 2742 "gen/gen_parser.c" + break; + + case 109: /* i: st width "," gpr "," imm "(" gpr ")" */ +#line 319 "src/parser.y" + {emit_s(ctx, OPCODE_STORE, check_width((yyvsp[-7].str)), (yyvsp[-5].gpr), (yyvsp[-1].gpr), (yyvsp[-3].tri));} +#line 2748 "gen/gen_parser.c" + break; + + case 110: /* i: ecall */ +#line 322 "src/parser.y" + {emit_i(ctx, OPCODE_SYSTEM, X0_NUM, SYSTEM_ECALL, X0_NUM, 0);} +#line 2754 "gen/gen_parser.c" + break; + + case 111: /* i: ebreak */ +#line 325 "src/parser.y" + {emit_i(ctx, OPCODE_SYSTEM, X0_NUM, SYSTEM_EBREAK, X0_NUM, 0);} +#line 2760 "gen/gen_parser.c" + break; + + case 112: /* i: pcall */ +#line 328 "src/parser.y" + {emit_i(ctx, OPCODE_SYSTEM, X0_NUM, SYSTEM_PCALL, X0_NUM, 0);} +#line 2766 "gen/gen_parser.c" + break; + + case 113: /* i: fence */ +#line 331 "src/parser.y" + {emit_i(ctx, OPCODE_MEM, X0_NUM, MEM_FENCE, X0_NUM, 0); /* still todo */} +#line 2772 "gen/gen_parser.c" + break; + + case 114: /* i: unop gpr "," gpr "," str */ +#line 334 "src/parser.y" + {emit_i(ctx, OPCODE_OP_IMM, (yyvsp[-4].gpr), OP_IMM_UNOP, (yyvsp[-2].gpr), check_nop((yyvsp[0].str)));} +#line 2778 "gen/gen_parser.c" + break; + + case 115: /* i: diop gpr "," gpr "," gpr "," str */ +#line 337 "src/parser.y" + {emit_d(ctx, OPCODE_DIOP, (yyvsp[-6].gpr), (yyvsp[-4].gpr), (yyvsp[-2].gpr), check_nop3((yyvsp[0].str)));} +#line 2784 "gen/gen_parser.c" + break; + + case 116: /* i: nop */ +#line 341 "src/parser.y" + {emit_i(ctx, OPCODE_OP_IMM, X0_NUM, OP_IMM_ADDI, X0_NUM, 0);} +#line 2790 "gen/gen_parser.c" + break; + + case 117: /* i: la gpr "," addr */ +#line 344 "src/parser.y" + {emit_reloc(ctx, RELOC_LA, (yyvsp[0].str)); + emit_u(ctx, OPCODE_LUI, (yyvsp[-2].gpr), 0); + emit_i(ctx, OPCODE_OP_IMM, (yyvsp[-2].gpr), OP_IMM_ADDI, (yyvsp[-2].gpr), 0);} +#line 2798 "gen/gen_parser.c" + break; + + case 118: /* i: li gpr "," imm */ +#line 349 "src/parser.y" + {emit_u(ctx, OPCODE_LUI, (yyvsp[-2].gpr), 0); + emit_i(ctx, OPCODE_OP_IMM, (yyvsp[-2].gpr), OP_IMM_ADDI, (yyvsp[-2].gpr), 0);} +#line 2805 "gen/gen_parser.c" + break; + + case 119: /* m: mul gpr "," gpr "," gpr */ +#line 356 "src/parser.y" + {emit_r(ctx, OPCODE_OP, (yyvsp[-4].gpr), OP_MUL, (yyvsp[-2].gpr), (yyvsp[0].gpr), 0);} +#line 2811 "gen/gen_parser.c" + break; + + case 120: /* m: diV gpr "," gpr "," gpr */ +#line 359 "src/parser.y" + {emit_r(ctx, OPCODE_OP, (yyvsp[-4].gpr), OP_DIV, (yyvsp[-2].gpr), (yyvsp[0].gpr), 0);} +#line 2817 "gen/gen_parser.c" + break; + + case 121: /* m: rem gpr "," gpr "," gpr */ +#line 362 "src/parser.y" + {emit_r(ctx, OPCODE_OP, (yyvsp[-4].gpr), OP_DIV, (yyvsp[-2].gpr), (yyvsp[0].gpr), 0);} +#line 2823 "gen/gen_parser.c" + break; + + case 122: /* a: stt */ +#line 366 "src/parser.y" + {emit_i(ctx, OPCODE_MEM, X0_NUM, MEM_STT, X0_NUM, 0);} +#line 2829 "gen/gen_parser.c" + break; + + case 123: /* a: cst width "," gpr "," imm "(" gpr ")" */ +#line 369 "src/parser.y" + {emit_s(ctx, OPCODE_STORE, STORE_CST | check_width((yyvsp[-7].str)), (yyvsp[-5].gpr), (yyvsp[-1].gpr), (yyvsp[-3].tri));} +#line 2835 "gen/gen_parser.c" + break; + + case 124: /* a: ent gpr */ +#line 372 "src/parser.y" + {emit_i(ctx, OPCODE_MEM, (yyvsp[0].gpr), MEM_ENT, X0_NUM, 0);} +#line 2841 "gen/gen_parser.c" + break; + + case 125: /* a: cat */ +#line 375 "src/parser.y" + {emit_i(ctx, OPCODE_MEM, X0_NUM, MEM_CAT, X0_NUM, 0);} +#line 2847 "gen/gen_parser.c" + break; + + case 126: /* Zcsr: csrrw csr "," gpr "," gpr */ +#line 379 "src/parser.y" + {emit_i(ctx, OPCODE_SYSTEM, (yyvsp[-2].gpr), SYSTEM_CSRRW, (yyvsp[0].gpr), check_csr((yyvsp[-4].str)));} +#line 2853 "gen/gen_parser.c" + break; + + case 127: /* Zcsr: csrrs csr "," gpr "," gpr */ +#line 382 "src/parser.y" + {emit_i(ctx, OPCODE_SYSTEM, (yyvsp[-2].gpr), SYSTEM_CSRRS, (yyvsp[0].gpr), check_csr((yyvsp[-4].str)));} +#line 2859 "gen/gen_parser.c" + break; + + case 128: /* Zcsr: csrrc csr "," gpr "," gpr */ +#line 385 "src/parser.y" + {emit_i(ctx, OPCODE_SYSTEM, (yyvsp[-2].gpr), SYSTEM_CSRRC, (yyvsp[0].gpr), check_csr((yyvsp[-4].str)));} +#line 2865 "gen/gen_parser.c" + break; + + case 135: /* directive: include str */ +#line 398 "src/parser.y" + {process_file(ctx, (yyvsp[0].str));} +#line 2871 "gen/gen_parser.c" + break; + + case 136: /* top: label */ +#line 401 "src/parser.y" + {emit_label(ctx, (yyvsp[0].str));} +#line 2877 "gen/gen_parser.c" + break; + + +#line 2881 "gen/gen_parser.c" + + default: break; + } + /* User semantic actions sometimes alter yychar, and that requires + that yytoken be updated with the new translation. We take the + approach of translating immediately before every use of yytoken. + One alternative is translating here after every semantic action, + but that translation would be missed if the semantic action invokes + YYABORT, YYACCEPT, or YYERROR immediately after altering yychar or + if it invokes YYBACKUP. In the case of YYABORT or YYACCEPT, an + incorrect destructor might then be invoked immediately. In the + case of YYERROR or YYBACKUP, subsequent parser actions might lead + to an incorrect destructor call or verbose syntax error message + before the lookahead is translated. */ + YY_SYMBOL_PRINT ("-> $$ =", YY_CAST (yysymbol_kind_t, yyr1[yyn]), &yyval, &yyloc); + + YYPOPSTACK (yylen); + yylen = 0; + + *++yyvsp = yyval; + *++yylsp = yyloc; + + /* Now 'shift' the result of the reduction. Determine what state + that goes to, based on the state we popped back to and the rule + number reduced by. */ + { + const int yylhs = yyr1[yyn] - YYNTOKENS; + const int yyi = yypgoto[yylhs] + *yyssp; + yystate = (0 <= yyi && yyi <= YYLAST && yycheck[yyi] == *yyssp + ? yytable[yyi] + : yydefgoto[yylhs]); + } + + goto yynewstate; + + +/*--------------------------------------. +| yyerrlab -- here on detecting error. | +`--------------------------------------*/ +yyerrlab: + /* Make sure we have latest lookahead translation. See comments at + user semantic actions for why this is necessary. */ + yytoken = yychar == YYEMPTY ? YYSYMBOL_YYEMPTY : YYTRANSLATE (yychar); + /* If not already recovering from an error, report this error. */ + if (!yyerrstatus) + { + ++yynerrs; + { + yypcontext_t yyctx + = {yyssp, yytoken, &yylloc}; + char const *yymsgp = YY_("syntax error"); + int yysyntax_error_status; + yysyntax_error_status = yysyntax_error (&yymsg_alloc, &yymsg, &yyctx); + if (yysyntax_error_status == 0) + yymsgp = yymsg; + else if (yysyntax_error_status == -1) + { + if (yymsg != yymsgbuf) + YYSTACK_FREE (yymsg); + yymsg = YY_CAST (char *, + YYSTACK_ALLOC (YY_CAST (YYSIZE_T, yymsg_alloc))); + if (yymsg) + { + yysyntax_error_status + = yysyntax_error (&yymsg_alloc, &yymsg, &yyctx); + yymsgp = yymsg; + } + else + { + yymsg = yymsgbuf; + yymsg_alloc = sizeof yymsgbuf; + yysyntax_error_status = YYENOMEM; + } + } + yyerror (&yylloc, scanner, parser, ctx, yymsgp); + if (yysyntax_error_status == YYENOMEM) + YYNOMEM; + } + } + + yyerror_range[1] = yylloc; + if (yyerrstatus == 3) + { + /* If just tried and failed to reuse lookahead token after an + error, discard it. */ + + if (yychar <= YYEOF) + { + /* Return failure if at end of input. */ + if (yychar == YYEOF) + YYABORT; + } + else + { + yydestruct ("Error: discarding", + yytoken, &yylval, &yylloc, scanner, parser, ctx); + yychar = YYEMPTY; + } + } + + /* Else will try to reuse lookahead token after shifting the error + token. */ + goto yyerrlab1; + + +/*---------------------------------------------------. +| yyerrorlab -- error raised explicitly by YYERROR. | +`---------------------------------------------------*/ +yyerrorlab: + /* Pacify compilers when the user code never invokes YYERROR and the + label yyerrorlab therefore never appears in user code. */ + if (0) + YYERROR; + ++yynerrs; + + /* Do not reclaim the symbols of the rule whose action triggered + this YYERROR. */ + YYPOPSTACK (yylen); + yylen = 0; + YY_STACK_PRINT (yyss, yyssp); + yystate = *yyssp; + goto yyerrlab1; + + +/*-------------------------------------------------------------. +| yyerrlab1 -- common code for both syntax error and YYERROR. | +`-------------------------------------------------------------*/ +yyerrlab1: + yyerrstatus = 3; /* Each real token shifted decrements this. */ + + /* Pop stack until we find a state that shifts the error token. */ + for (;;) + { + yyn = yypact[yystate]; + if (!yypact_value_is_default (yyn)) + { + yyn += YYSYMBOL_YYerror; + if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYSYMBOL_YYerror) + { + yyn = yytable[yyn]; + if (0 < yyn) + break; + } + } + + /* Pop the current state because it cannot handle the error token. */ + if (yyssp == yyss) + YYABORT; + + yyerror_range[1] = *yylsp; + yydestruct ("Error: popping", + YY_ACCESSING_SYMBOL (yystate), yyvsp, yylsp, scanner, parser, ctx); + YYPOPSTACK (1); + yystate = *yyssp; + YY_STACK_PRINT (yyss, yyssp); + } + + YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN + *++yyvsp = yylval; + YY_IGNORE_MAYBE_UNINITIALIZED_END + + yyerror_range[2] = yylloc; + ++yylsp; + YYLLOC_DEFAULT (*yylsp, yyerror_range, 2); + + /* Shift the error token. */ + YY_SYMBOL_PRINT ("Shifting", YY_ACCESSING_SYMBOL (yyn), yyvsp, yylsp); + + yystate = yyn; + goto yynewstate; + + +/*-------------------------------------. +| yyacceptlab -- YYACCEPT comes here. | +`-------------------------------------*/ +yyacceptlab: + yyresult = 0; + goto yyreturnlab; + + +/*-----------------------------------. +| yyabortlab -- YYABORT comes here. | +`-----------------------------------*/ +yyabortlab: + yyresult = 1; + goto yyreturnlab; + + +/*-----------------------------------------------------------. +| yyexhaustedlab -- YYNOMEM (memory exhaustion) comes here. | +`-----------------------------------------------------------*/ +yyexhaustedlab: + yyerror (&yylloc, scanner, parser, ctx, YY_("memory exhausted")); + yyresult = 2; + goto yyreturnlab; + + +/*----------------------------------------------------------. +| yyreturnlab -- parsing is finished, clean up and return. | +`----------------------------------------------------------*/ +yyreturnlab: + if (yychar != YYEMPTY) + { + /* Make sure we have latest lookahead translation. See comments at + user semantic actions for why this is necessary. */ + yytoken = YYTRANSLATE (yychar); + yydestruct ("Cleanup: discarding lookahead", + yytoken, &yylval, &yylloc, scanner, parser, ctx); + } + /* Do not reclaim the symbols of the rule whose action triggered + this YYABORT or YYACCEPT. */ + YYPOPSTACK (yylen); + YY_STACK_PRINT (yyss, yyssp); + while (yyssp != yyss) + { + yydestruct ("Cleanup: popping", + YY_ACCESSING_SYMBOL (+*yyssp), yyvsp, yylsp, scanner, parser, ctx); + YYPOPSTACK (1); + } +#ifndef yyoverflow + if (yyss != yyssa) + YYSTACK_FREE (yyss); +#endif + if (yymsg != yymsgbuf) + YYSTACK_FREE (yymsg); + return yyresult; +} + +#line 413 "src/parser.y" + + +static const char *find_lineno(const char *buf, size_t no) +{ + if (no == 0 || no == 1) + return buf; + + char c; + while ((c = *buf)) { + buf++; + + if (c == '\n') + no--; + + if (no == 1) + break; + } + + return buf; +} + +static void _issue(struct src_issue issue, const char *fmt, va_list args) +{ + /* get start and end of current line in buffer */ + const char *line_start = find_lineno(issue.fctx.fbuf, + issue.loc.first_line); + const char *line_end = strchr(line_start, '\n'); + if (!line_end) + line_end = strchr(line_start, 0); + + const int line_len = line_end - line_start; + + fprintf(stderr, "%s:%i:%i: ", + issue.fctx.fname, + issue.loc.first_line, + issue.loc.first_col); + + vfprintf(stderr, fmt, args); + fputc('\n', stderr); + + int lineno_len = snprintf(NULL, 0, "%i", issue.loc.first_line); + fputc(' ', stderr); + fprintf(stderr, "%i | ", issue.loc.first_line); + + fprintf(stderr, "%.*s\n", line_len, line_start); + + for (int i = 0; i < lineno_len + 2; ++i) + fputc(' ', stderr); + + fprintf(stderr, "| "); + + for (int i = 0; i < issue.loc.first_col - 1; ++i) + fputc(line_start[i] == '\t' ? '\t' : ' ', stderr); + + for (int i = issue.loc.first_col; i < issue.loc.last_col; ++i) { + if (i == issue.loc.first_col) + fputc('^', stderr); + else + fputc('~', stderr); + } + + fputc('\n', stderr); +} + +void src_issue(struct src_issue issue, const char *err_msg, ...) +{ + va_list args; + va_start(args, err_msg); + _issue(issue, err_msg, args); + va_end(args); +} +#include "gen_lexer.inc" + +static struct src_loc to_src_loc(YYLTYPE *yylloc) +{ + struct src_loc loc; + loc.first_line = yylloc->first_line; + loc.last_line = yylloc->last_line; + loc.first_col = yylloc->first_column; + loc.last_col = yylloc->last_column; + return loc; +} + +static void yyerror(YYLTYPE *yylloc, void *lexer, + struct parser *parser, struct asm_ctx *ctx, const char *msg) +{ + (void)lexer; + (void)ctx; + + struct src_issue issue; + issue.loc = to_src_loc(yylloc); + issue.fctx.fbuf = parser->buf; + issue.fctx.fname = parser->fname; + src_issue(issue, msg); +} + +struct parser *create_parser() +{ + return calloc(1, sizeof(struct parser)); +} + +void destroy_parser(struct parser *p) +{ + yylex_destroy(p->lexer); + free(p); +} + +void parse(struct parser *p, struct asm_ctx *ctx, const char *fname, const char *buf) +{ + p->fname = fname; + p->buf = buf; + + p->comment_nesting = 0; + + p->failed = false; + + yylex_init(&p->lexer); + yy_scan_string(buf, p->lexer); + yyparse(p->lexer, p, ctx); +} diff --git a/tdump/include/tdump/disassembler.h b/tdump/include/tdump/disassembler.h new file mode 100644 index 0000000..6754bac --- /dev/null +++ b/tdump/include/tdump/disassembler.h @@ -0,0 +1,9 @@ +#ifndef TDUMP_DISASSEMBLER_H +#define TDUMP_DISASSEMBLER_H + +#include <regs.h> +#include <tri.h> + +int disassemble(const char *file); + +#endif diff --git a/tdump/scripts/gen-deps b/tdump/scripts/gen-deps new file mode 100755 index 0000000..f45707c --- /dev/null +++ b/tdump/scripts/gen-deps @@ -0,0 +1,37 @@ +#!/bin/sh + +PREFIX= +COMPILE=COMPILE +LINT=LINT +BUILD=build/ + +while getopts "p:c:b:l:" opt; do + case "$opt" in + p) PREFIX="$OPTARG"_;; + c) COMPILE="$OPTARG";; + l) LINT="$OPTARG";; + b) BUILD=build/"$OPTARG";; + *) echo "unrecognised option -$OPTARG" >&2; exit 1;; + esac +done + +shift $((OPTIND - 1)) + +# create all subdirectories +mkdir -p $(echo "${@}" | tr ' ' '\n' | sed "s|[^/]*$||;s|^|${BUILD}/|" | uniq) + +for s in ${@} +do + obj="${BUILD}/${s%.*}.o" + lint="${obj}.l" + dep="${obj}.d" + + echo "${PREFIX}OBJS += ${obj}" >> deps.mk + echo "${PREFIX}LINTS += ${lint}" >> deps.mk + echo "${dep}:" >> deps.mk + echo "-include ${dep}" >> deps.mk + echo "${obj}: ${s}" >> deps.mk + echo " \$(${COMPILE}) -c ${s} -o ${obj}" >> deps.mk + echo "${lint}: ${s}" >> deps.mk + echo " \$(${LINT}) -c ${s} -o /dev/null" >> deps.mk +done diff --git a/tdump/scripts/license b/tdump/scripts/license new file mode 100755 index 0000000..53bd5da --- /dev/null +++ b/tdump/scripts/license @@ -0,0 +1,16 @@ +#!/bin/sh + +SPDX="/* SPDX-License-Identifier: copyleft-next-0.3.1 */" + +for f in "$@" +do + if [ "$(head -1 "$f")" != "${SPDX}" ] + then + sed -i "1i${SPDX}\n" "$f" + fi + + if ! grep 'Copyright' "$f" > /dev/null + then + echo "Missing copyright info in $f" + fi +done diff --git a/tdump/scripts/makefile b/tdump/scripts/makefile new file mode 100644 index 0000000..b782cd1 --- /dev/null +++ b/tdump/scripts/makefile @@ -0,0 +1,72 @@ +# this could be done better +RELEASE ?= 0 +OPTFLAGS != [ "$(RELEASE)" != "0" ] \ + && echo "-O3 -flto" \ + || echo "-O0" + +DEBUG ?= 1 +DEBUGFLAGS != [ "$(DEBUG)" != "0" ] \ + && echo "-DDEBUG=1" \ + || echo "-DNDEBUG=1" + +ASSERT ?= 1 +ASSERTFLAGS != [ "$(ASSERT)" != "0" ] \ + && echo "-DASSERT=1" \ + || echo + +DEPFLAGS = -MT $@ -MMD -MP -MF $@.d +LINTFLAGS = -fsyntax-only +PREPROCESS = -E + +LLVM ?= 0 +BUILD = build + +all: tdump + +# default values, overwrite if/when needed +CROSS_COMPILE = + +OBJCOPY != [ "$(LLVM)" != "0" ] \ + && echo llvm-objcopy \ + || echo $(CROSS_COMPILE)objcopy + +COMPILER != [ "$(LLVM)" != "0" ] \ + && echo clang --target="$(CROSS_COMPILE)" \ + || echo $(CROSS_COMPILE)gcc + + +OBFLAGS = -std=gnu17 -g +WARNFLAGS = -Wall -Wextra + +COMPILE_FLAGS = $(CFLAGS) $(WARNFLAGS) $(OPTFLAGS) $(OBFLAGS) $(ASSERTFLAGS) \ + $(DEBUGFLAGS) + +INCLUDE_FLAGS = -I include -I ../core + +# This makes sure .bss is loaded into the binary +OBJCOPY_FLAGS ?= -Obinary -R .garbage \ + --set-section-flags .bss=alloc,load,contents + +COMPILE = $(COMPILER) \ + $(COMPILE_FLAGS) $(DEPFLAGS) $(INCLUDE_FLAGS) + +LINT = $(COMPILER) \ + $(COMPILE_FLAGS) $(LINTFLAGS) $(INCLUDE_FLAGS) + +UBSAN ?= 0 +TASM_FLAGS != [ "$(UBSAN)" != "0" ] \ + && echo -fsanitize=undefined \ + || echo + +COMPILE_TDUMP = $(COMPILE) $(TDUMP_FLAGS) + +-include deps.mk +-include src/source.mk + +tdump: $(TDUMP_OBJS) + $(COMPILE_TDUMP) $(TDUMP_OBJS) -o $@ + + +# might lint some common things twice +.PHONY: +lint: $(TDUMP_LINTS) diff --git a/tdump/scripts/warn-undocumented b/tdump/scripts/warn-undocumented new file mode 100755 index 0000000..aa7d0f7 --- /dev/null +++ b/tdump/scripts/warn-undocumented @@ -0,0 +1,7 @@ +#!/bin/sh +# look through all files for either @file or \file +for file in $@ +do + grep -c '[@\]file' "$file" |\ + awk -F':' "\$1 == 0 {print \"Undocumented file: $file\"}" +done diff --git a/tdump/src/disassembler.c b/tdump/src/disassembler.c new file mode 100644 index 0000000..63c8d9d --- /dev/null +++ b/tdump/src/disassembler.c @@ -0,0 +1,222 @@ +#include <tdump/disassembler.h> +#include <limits.h> +#include <bits.h> + +struct disasm_ctx { + const uint32_t *buf; + size_t pc; + size_t len; +}; + +static const char *get_gpr(tri_t x) +{ + switch (x) { + case X0: return "x0"; + case X1: return "x1"; + case X2: return "x2"; + case X3: return "x3"; + case X4: return "x4"; + case X5: return "x5"; + case X6: return "x6"; + case X7: return "x7"; + case X8: return "x8"; + case X9: return "x9"; + case X10: return "x10"; + case X11: return "x11"; + case X12: return "x12"; + case X13: return "x13"; + case X14: return "x14"; + case X15: return "x15"; + case X16: return "x16"; + case X17: return "x17"; + case X18: return "x18"; + case X19: return "x19"; + case X20: return "x20"; + case X21: return "x21"; + case X22: return "x22"; + case X23: return "x23"; + case X24: return "x24"; + case X25: return "x25"; + case X26: return "x26"; + case X27: return "x27"; + case X28: return "x28"; + case X29: return "x29"; + case X30: return "x30"; + case X31: return "x31"; + case X32: return "x32"; + case X33: return "x33"; + case X34: return "x34"; + case X35: return "x35"; + case X36: return "x36"; + case X37: return "x37"; + case X38: return "x38"; + case X39: return "x39"; + case X40: return "x40"; + case X41: return "x41"; + case X42: return "x42"; + case X43: return "x43"; + case X44: return "x44"; + case X45: return "x45"; + case X46: return "x46"; + case X47: return "x47"; + case X48: return "x48"; + case X49: return "x49"; + case X50: return "x50"; + case X51: return "x51"; + case X52: return "x52"; + case X53: return "x53"; + case X54: return "x54"; + case X55: return "x55"; + case X56: return "x56"; + case X57: return "x57"; + case X58: return "x58"; + case X59: return "x59"; + case X60: return "x60"; + case X61: return "x61"; + case X62: return "x62"; + case X63: return "x63"; + case X64: return "x64"; + case X65: return "x65"; + case X66: return "x66"; + case X67: return "x67"; + case X68: return "x68"; + case X69: return "x69"; + case X70: return "x70"; + case X71: return "x71"; + case X72: return "x72"; + case X73: return "x73"; + case X74: return "x74"; + case X75: return "x75"; + case X76: return "x76"; + case X77: return "x77"; + case X78: return "x78"; + case X79: return "x79"; + case X80: return "x80"; + default: return "ill"; + } +} + +static void *read_object_file(const char *file, size_t *len) +{ + FILE *f = fopen(file, "rb"); + if (!f) { + fprintf(stderr, "failed opening simulation file %s\n", file); + return NULL; + } + + fseek(f, 0, SEEK_END); + long s = ftell(f); + if (s == LONG_MAX) { + fprintf(stderr, "unable to get file size of %s\n", file); + return NULL; + } + + if (len) + *len = s; + + fseek(f, 0, SEEK_SET); + char *buf = malloc(s); + if (!buf) + return NULL; + + fread(buf, s, 1 , f); + fclose(f); + + return buf; +} + +#define DEFAULT_PREFIX "%zu\t" + +static void disasm_lui(struct disasm_ctx *ctx, tri_t i) +{ + tri_t rd, imm18; + parse_u(i, &rd, &imm18); + + char imm[256]; + size_t l = tri_fmt_default(imm, 256, imm18); + imm[l] = '\0'; + printf(DEFAULT_PREFIX "lui %s, %s\n", + ctx->pc, get_gpr(rd), imm); +} + +static void disasm_store(struct disasm_ctx *ctx, tri_t i) +{ + tri_t imm4, fn0, rs1, rs2, imm5; + parse_s(i, &imm4, &fn0, &rs1, &rs2, &imm5); + + tri_t imm9 = tri_sl(imm4, 5) | imm5; + + int w = tri_get_trit(fn0, 4); + char *width = NULL; + switch (w) { + case 0: width = "t"; break; + case 1: width = "w"; break; + default: width = "ill"; break; + } + + char imm[256]; + size_t l = tri_fmt_default(imm, 256, imm9); + imm[l] = '\0'; + printf(DEFAULT_PREFIX "st %s, %s, %s(%s)\n", + ctx->pc, width, get_gpr(rs1), imm, get_gpr(rs2)); +} + +static void disasm_op_imm(struct disasm_ctx *ctx, tri_t i) +{ + tri_t rd, fn0, rs1, imm9; + parse_i(i, &rd, &fn0, &rs1, &imm9); + + char imm[256]; + size_t l = tri_fmt_default(imm, 256, imm9); + imm[l] = '\0'; + + switch (fn0) { + case OP_IMM_ADDI: + printf(DEFAULT_PREFIX "addi %s, %s, %s\n", + ctx->pc, get_gpr(rd), get_gpr(rs1), imm); + break; + + default: + printf(DEFAULT_PREFIX "unknown/unimp op_imm\n", + ctx->pc); + } +} + +static tri_t read1(struct disasm_ctx *ctx, size_t off) +{ + tri_t t = (tri_t)ctx->buf[off]; + return tri_mask(t, 9); +} + +static tri_t read3(struct disasm_ctx *ctx, size_t off) +{ + tri_t t0 = read1(ctx, off + 0); + tri_t t1 = read1(ctx, off + 1); + tri_t t2 = read1(ctx, off + 2); + return t0 | tri_sl(t1, 9) | tri_sl(t2, 18); +} + +int disassemble(const char *file) +{ + size_t len = 0; + const uint32_t *buf = read_object_file(file, &len); + /* somewhat specific but we know that each tryte is mapped to uin32_t */ + struct disasm_ctx ctx = {.buf = buf, .pc = 0, .len = len / sizeof(uint32_t)}; + while (ctx.pc < ctx.len) { + tri_t i = read3(&ctx, ctx.pc); + + switch (parse_opcode(i)) { + case OPCODE_LUI: disasm_lui(&ctx, i); break; + case OPCODE_STORE: disasm_store(&ctx, i); break; + //case OPCODE_SYSTEM: disasm_system(&ctx, i); break; + case OPCODE_OP_IMM: disasm_op_imm(&ctx, i); break; + default: + printf(DEFAULT_PREFIX "unimp/illegal\n", ctx.pc); + break; + } + ctx.pc += 3; + } + + free((void *)buf); + return 0; +} diff --git a/tdump/src/main.c b/tdump/src/main.c new file mode 100644 index 0000000..4008d2c --- /dev/null +++ b/tdump/src/main.c @@ -0,0 +1,51 @@ +#include <tdump/disassembler.h> +#include <stdlib.h> +#include <unistd.h> +#include <stdio.h> + +static const char *cmdline_usage = +"tdump trinary deassembler usage:\n" +" tdump infile\n" +" -h Show usage (this)\n" +" infile File to deassemble\n" +; + +static void usage() +{ + fprintf(stderr, cmdline_usage); +} + +int main(int argc, char *argv[]) +{ + int opt; + while ((opt = getopt(argc, argv, "h")) != -1) { + switch (opt) { + case 'h': + usage(); + exit(EXIT_SUCCESS); + break; + + default: + usage(); + exit(EXIT_FAILURE); + break; + } + } + + if (optind >= argc) { + fprintf(stderr, "no input files\n"); + usage(); + exit(EXIT_FAILURE); + } + + if (optind != argc - 1) { + fprintf(stderr, "too many input files\n"); + usage(); + exit(EXIT_FAILURE); + } + + if (disassemble(argv[optind])) + exit(EXIT_FAILURE); + + return EXIT_SUCCESS; +} diff --git a/tdump/src/source.mk b/tdump/src/source.mk new file mode 100644 index 0000000..5be3731 --- /dev/null +++ b/tdump/src/source.mk @@ -0,0 +1,2 @@ +SOURCES != echo src/*.c +TDUMP_SOURCES += $(SOURCES) diff --git a/tdump/tdump b/tdump/tdump Binary files differnew file mode 100755 index 0000000..21583a4 --- /dev/null +++ b/tdump/tdump diff --git a/tdump/tests/a.t b/tdump/tests/a.t new file mode 100644 index 0000000..f23f9c0 --- /dev/null +++ b/tdump/tests/a.t @@ -0,0 +1,6 @@ +start: + li x1, 48 + li x2, 19683 + st w, x1, 0(x2) + li x1, 3 + csrrw mpower, x0, x1 diff --git a/tdump/tests/include.t b/tdump/tests/include.t new file mode 100644 index 0000000..50dfe97 --- /dev/null +++ b/tdump/tests/include.t @@ -0,0 +1 @@ +.include "a.t" diff --git a/tdump/tests/labels.t b/tdump/tests/labels.t new file mode 100644 index 0000000..5ad0d42 --- /dev/null +++ b/tdump/tests/labels.t @@ -0,0 +1,13 @@ +start: + /* RELOC_LA */ + la x1, other_func + /* RELOC_B */ + beq x0, x0, other_func + +other_func: + /* RELOC_J */ + jal x0, final_func + jal x0, start + +final_func: + nop diff --git a/triscv/src/cpu.c b/triscv/src/cpu.c index 54e892c..fc6b721 100644 --- a/triscv/src/cpu.c +++ b/triscv/src/cpu.c @@ -1,6 +1,7 @@ #include <triscv/cpu.h> #include <triscv/mmu.h> #include <triscv/csr.h> +#include <bits.h> struct cpu { vm_t pc; @@ -95,72 +96,15 @@ void cpu_destroy(struct cpu *cpu) free(cpu); } -static tri_t get_rd(tri_t i) -{ - i = tri_sr(i, 5); - return tri_mask(i, 4); -} - -static tri_t get_rs1(tri_t i) -{ - i = tri_sr(i, 14); - return tri_mask(i, 4); -} - -static tri_t get_rs2(tri_t i) -{ - i = tri_sr(i, 18); - return tri_mask(i, 4); -} - -static tri_t get_imm4(tri_t i) -{ - i = tri_sr(i, 5); - return tri_mask(i, 4); -} - -static tri_t get_imm5(tri_t i) -{ - i = tri_sr(i, 22); - return tri_mask(i, 5); -} - -static tri_t get_imm9(tri_t i) -{ - i = tri_sr(i, 18); - return tri_mask(i, 9); -} - -static tri_t get_imm18(tri_t i) -{ - i = tri_sr(i, 9); - return tri_mask(i, 18); -} - -static tri_t get_fn0(tri_t i) -{ - i = tri_sr(i, 9); - return tri_mask(i, 5); -} - -/** @todo these macros should be ripped out into some common repository for - * reuse in an assembler */ -/* ALL HARDCODED VALUES ARE PLACEHOLDERS FOR NOW */ - -/* 0 */ -#define OP_IMM 0b0000000000 static void do_op_imm(struct cpu *cpu, tri_t i) { - tri_t rs1 = get_rs1(i); - tri_t rd = get_rd(i); + tri_t rd, fn0, rs1, imm9; + parse_i(i, &rd, &fn0, &rs1, &imm9); tri_t src = get_gpr(cpu, rs1); - tri_t imm9 = get_imm9(i); - tri_t fn0 = get_fn0(i); -#define ADDI 0 switch (fn0) { - case ADDI: { + case OP_IMM_ADDI: { tri_t r = tri_add(src, imm9); set_gpr(cpu, rd, r); break; @@ -173,23 +117,17 @@ static void do_op_imm(struct cpu *cpu, tri_t i) cpu->pc += 3; } -/* 1 */ -#define SYSTEM 0b0000000001 static void do_system(struct cpu *cpu, tri_t i) { - size_t rs1 = get_rs1(i); - size_t rd = get_rd(i); + tri_t rd, fn0, rs1, imm9; + parse_i(i, &rd, &fn0, &rs1, &imm9); tri_t src = get_gpr(cpu, rs1); - tri_t csr = get_imm9(i); - tri_t fn0 = get_fn0(i); - -#define CSRRW 0 switch (fn0) { - case CSRRW: { + case SYSTEM_CSRRW: { /* read existing value and replace it with rs1 */ - size_t n = get_csr_num(csr); + size_t n = get_csr_num(imm9); tri_t c = get_csr(cpu, n); set_csr(cpu, n, src); set_gpr(cpu, rd, c); @@ -204,27 +142,21 @@ static void do_system(struct cpu *cpu, tri_t i) cpu->pc += 3; } -/* -1 */ -#define STORE 0b0000000010 static void do_store(struct cpu *cpu, tri_t i) { - size_t rs1 = get_rs1(i); - size_t rs2 = get_rs2(i); - - tri_t src = get_gpr(cpu, rs2); - tri_t base = get_gpr(cpu, rs1); - tri_t imm4 = get_imm4(i); - tri_t imm5 = get_imm5(i); - tri_t fn0 = get_fn0(i); + tri_t imm4, fn0, rs1, rs2, imm5; + parse_s(i, &imm4, &fn0, &rs1, &rs2, &imm5); - tri_t imm = tri_sl(imm5, 4) | imm4; + tri_t imm9 = tri_sl(imm4, 5) | imm5; + tri_t base = get_gpr(cpu, rs2); + tri_t src = get_gpr(cpu, rs1); /* should maybe check that there's zeroes in other trits in fn0? */ int w = tri_get_trit(fn0, 4); /* somewhat unsure if mmu should function in trinary or binary at this * point */ - tri_t addr = tri_add(base, imm); + tri_t addr = tri_add(base, imm9); vm_t a = tri_to(addr); switch (w) { @@ -238,12 +170,10 @@ static void do_store(struct cpu *cpu, tri_t i) cpu->pc += 3; } -/* 3 */ -#define LUI 0b0000000100 static void do_lui(struct cpu *cpu, tri_t i) { - size_t rd = get_rd(i); - tri_t imm18 = get_imm18(i); + tri_t rd, imm18; + parse_u(i, &rd, &imm18); set_gpr(cpu, rd, tri_sl(imm18, 9)); cpu->pc += 3; } @@ -263,11 +193,11 @@ void cpu_run(struct cpu *cpu, vm_t start) /** @todo check for raised interrupts, illegal addr etc. */ /* check lowest five trits to determine opcode */ - switch (tri_mask(i, 5)) { - case LUI: do_lui(cpu, i); break; - case STORE: do_store(cpu, i); break; - case SYSTEM: do_system(cpu, i); break; - case OP_IMM: do_op_imm(cpu, i); break; + switch (parse_opcode(i)) { + case OPCODE_LUI: do_lui(cpu, i); break; + case OPCODE_STORE: do_store(cpu, i); break; + case OPCODE_SYSTEM: do_system(cpu, i); break; + case OPCODE_OP_IMM: do_op_imm(cpu, i); break; default: /** @todo raise illegal instruction exception */ fprintf(stderr, "illegal/unimplemented " "instruction at %lx, aborting\n", diff --git a/triscv/src/main.c b/triscv/src/main.c index 87a3b05..37be2cb 100644 --- a/triscv/src/main.c +++ b/triscv/src/main.c @@ -31,7 +31,7 @@ static void usage() fprintf(stderr, cmdline_usage); } -static const char *read_simulation_file(const char *file, size_t *len) +static void *read_simulation_file(const char *file, size_t *len) { FILE *f = fopen(file, "rb"); if (!f) { @@ -55,6 +55,7 @@ static const char *read_simulation_file(const char *file, size_t *len) return NULL; fread(buf, s, 1 , f); + fclose(f); return buf; } @@ -93,7 +94,7 @@ int main(int argc, char *argv[]) /* map one trinary page */ struct mem *mem = mem_create(19683); size_t len = 0; - const char *buf = read_simulation_file(argv[optind], &len); + const uint32_t *buf = read_simulation_file(argv[optind], &len); mem_init(mem, buf, len); mmu_map_dev(mmu, 0, mem_dev(mem)); diff --git a/triscv/src/mem.c b/triscv/src/mem.c index 5d70896..84bd71f 100644 --- a/triscv/src/mem.c +++ b/triscv/src/mem.c @@ -20,17 +20,7 @@ void mem_destroy(struct mem *mem) void mem_init(struct mem *mem, const void *buf, size_t len) { - assert((len * 3) < mem->size); - for (size_t i = 0; i < len * 3; i += 3) { - tri_t t = ((tri_t *)buf)[i / 3]; - mem->buf[i + 0] = tri_mask(t, 9); - t = tri_sr(t, 9); - - mem->buf[i + 1] = tri_mask(t, 9); - t = tri_sr(t, 9); - - mem->buf[i + 2] = tri_mask(t, 9); - } + memcpy(mem->buf, buf, len); } static void mem_write1(struct cpu *cpu, struct mem *mem, pm_t addr, tri_t t) |