diff options
Diffstat (limited to 'src/prebuilt/wasm-ast-parser-gen.c')
| -rw-r--r-- | src/prebuilt/wasm-ast-parser-gen.c | 3540 |
1 files changed, 3540 insertions, 0 deletions
diff --git a/src/prebuilt/wasm-ast-parser-gen.c b/src/prebuilt/wasm-ast-parser-gen.c new file mode 100644 index 00000000..b3d00e71 --- /dev/null +++ b/src/prebuilt/wasm-ast-parser-gen.c @@ -0,0 +1,3540 @@ +/* A Bison parser, made by GNU Bison 3.0.2. */ + +/* Bison implementation for Yacc-like parsers in C + + Copyright (C) 1984, 1989-1990, 2000-2013 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 <http://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. */ + +/* 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. */ +#define YYBISON 1 + +/* Bison version. */ +#define YYBISON_VERSION "3.0.2" + +/* Skeleton name. */ +#define YYSKELETON_NAME "yacc.c" + +/* Pure parsers. */ +#define YYPURE 1 + +/* Push parsers. */ +#define YYPUSH 0 + +/* Pull parsers. */ +#define YYPULL 1 + +/* Substitute the type names. */ +#define YYSTYPE WASM_AST_PARSER_STYPE +#define YYLTYPE WASM_AST_PARSER_LTYPE +/* Substitute the variable and function names. */ +#define yyparse wasm_ast_parser_parse +#define yylex wasm_ast_parser_lex +#define yyerror wasm_ast_parser_error +#define yydebug wasm_ast_parser_debug +#define yynerrs wasm_ast_parser_nerrs + + +/* Copy the first part of user declarations. */ +#line 17 "src/wasm-ast-parser.y" /* yacc.c:339 */ + +#include <assert.h> +#include <stdarg.h> +#include <stdio.h> +#include <stdlib.h> + +#include "wasm-allocator.h" +#include "wasm-ast-parser.h" +#include "wasm-ast-parser-lexer-shared.h" +#include "wasm-literal.h" + +#define DUPTEXT(dst, src) \ + (dst).start = wasm_strndup(parser->allocator, (src).start, (src).length); \ + (dst).length = (src).length + +#define CHECK_ALLOC_(cond) \ + if (!(cond)) { \ + WasmLocation loc; \ + loc.filename = __FILE__; \ + loc.line = __LINE__; \ + loc.first_column = loc.last_column = 0; \ + wasm_ast_parser_error(&loc, lexer, parser, "allocation failed"); \ + YYERROR; \ + } + +#define CHECK_ALLOC(e) CHECK_ALLOC_(WASM_SUCCEEDED(e)) +#define CHECK_ALLOC_NULL(v) CHECK_ALLOC_((v) != NULL) +#define CHECK_ALLOC_STR(s) CHECK_ALLOC_((s).start != NULL) + +#define YYLLOC_DEFAULT(Current, Rhs, N) \ + do \ + if (N) { \ + (Current).filename = YYRHSLOC(Rhs, 1).filename; \ + (Current).line = YYRHSLOC(Rhs, 1).line; \ + (Current).first_column = YYRHSLOC(Rhs, 1).first_column; \ + (Current).last_column = YYRHSLOC(Rhs, N).last_column; \ + } else { \ + (Current).filename = NULL; \ + (Current).line = YYRHSLOC(Rhs, 0).line; \ + (Current).first_column = (Current).last_column = \ + YYRHSLOC(Rhs, 0).last_column; \ + } \ + while (0) + +#define YYMALLOC(size) wasm_alloc(parser->allocator, size, WASM_DEFAULT_ALIGN) +#define YYFREE(p) wasm_free(parser->allocator, p) + +#define USE_NATURAL_ALIGNMENT (~0) + +static WasmFuncField* new_func_field(WasmAllocator* allocator) { + return wasm_alloc_zero(allocator, sizeof(WasmFuncField), WASM_DEFAULT_ALIGN); +} + +static WasmFunc* new_func(WasmAllocator* allocator) { + return wasm_alloc_zero(allocator, sizeof(WasmFunc), WASM_DEFAULT_ALIGN); +} + +static WasmCommand* new_command(WasmAllocator* allocator) { + return wasm_alloc_zero(allocator, sizeof(WasmCommand), WASM_DEFAULT_ALIGN); +} + +static WasmModule* new_module(WasmAllocator* allocator) { + return wasm_alloc_zero(allocator, sizeof(WasmModule), WASM_DEFAULT_ALIGN); +} + +static WasmImport* new_import(WasmAllocator* allocator) { + return wasm_alloc_zero(allocator, sizeof(WasmImport), WASM_DEFAULT_ALIGN); +} + +static WasmResult parse_const(WasmType type, WasmLiteralType literal_type, + const char* s, const char* end, WasmConst* out); +static WasmResult dup_string_contents(WasmAllocator*, WasmStringSlice* text, + void** out_data, size_t* out_size); + +static WasmExpr* new_block_expr_with_one(WasmAllocator* allocator, + WasmExpr* expr); +static WasmExpr* new_block_expr_with_list(WasmAllocator* allocator, + WasmLabel* label, + WasmExprPtrVector* exprs); + +WasmResult copy_signature_from_func_type(WasmAllocator* allocator, + WasmModule* module, + WasmFuncDeclaration* decl); + +#define wasm_ast_parser_lex wasm_ast_lexer_lex + + +#line 162 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:339 */ + +# ifndef YY_NULLPTR +# if defined __cplusplus && 201103L <= __cplusplus +# define YY_NULLPTR nullptr +# else +# define YY_NULLPTR 0 +# endif +# endif + +/* Enabling verbose error messages. */ +#ifdef YYERROR_VERBOSE +# undef YYERROR_VERBOSE +# define YYERROR_VERBOSE 1 +#else +# define YYERROR_VERBOSE 1 +#endif + +/* In a future release of Bison, this section will be replaced + by #include "wasm-ast-parser-gen.h". */ +#ifndef YY_WASM_AST_PARSER_SRC_PREBUILT_WASM_AST_PARSER_GEN_H_INCLUDED +# define YY_WASM_AST_PARSER_SRC_PREBUILT_WASM_AST_PARSER_GEN_H_INCLUDED +/* Debug traces. */ +#ifndef WASM_AST_PARSER_DEBUG +# if defined YYDEBUG +#if YYDEBUG +# define WASM_AST_PARSER_DEBUG 1 +# else +# define WASM_AST_PARSER_DEBUG 0 +# endif +# else /* ! defined YYDEBUG */ +# define WASM_AST_PARSER_DEBUG 0 +# endif /* ! defined YYDEBUG */ +#endif /* ! defined WASM_AST_PARSER_DEBUG */ +#if WASM_AST_PARSER_DEBUG +extern int wasm_ast_parser_debug; +#endif + +/* Token type. */ +#ifndef WASM_AST_PARSER_TOKENTYPE +# define WASM_AST_PARSER_TOKENTYPE + enum wasm_ast_parser_tokentype + { + WASM_TOKEN_TYPE_EOF = 0, + WASM_TOKEN_TYPE_LPAR = 258, + WASM_TOKEN_TYPE_RPAR = 259, + WASM_TOKEN_TYPE_INT = 260, + WASM_TOKEN_TYPE_FLOAT = 261, + WASM_TOKEN_TYPE_TEXT = 262, + WASM_TOKEN_TYPE_VAR = 263, + WASM_TOKEN_TYPE_VALUE_TYPE = 264, + WASM_TOKEN_TYPE_NOP = 265, + WASM_TOKEN_TYPE_BLOCK = 266, + WASM_TOKEN_TYPE_IF = 267, + WASM_TOKEN_TYPE_THEN = 268, + WASM_TOKEN_TYPE_ELSE = 269, + WASM_TOKEN_TYPE_LOOP = 270, + WASM_TOKEN_TYPE_BR = 271, + WASM_TOKEN_TYPE_BR_IF = 272, + WASM_TOKEN_TYPE_BR_TABLE = 273, + WASM_TOKEN_TYPE_CASE = 274, + WASM_TOKEN_TYPE_CALL = 275, + WASM_TOKEN_TYPE_CALL_IMPORT = 276, + WASM_TOKEN_TYPE_CALL_INDIRECT = 277, + WASM_TOKEN_TYPE_RETURN = 278, + WASM_TOKEN_TYPE_GET_LOCAL = 279, + WASM_TOKEN_TYPE_SET_LOCAL = 280, + WASM_TOKEN_TYPE_LOAD = 281, + WASM_TOKEN_TYPE_STORE = 282, + WASM_TOKEN_TYPE_OFFSET = 283, + WASM_TOKEN_TYPE_ALIGN = 284, + WASM_TOKEN_TYPE_CONST = 285, + WASM_TOKEN_TYPE_UNARY = 286, + WASM_TOKEN_TYPE_BINARY = 287, + WASM_TOKEN_TYPE_COMPARE = 288, + WASM_TOKEN_TYPE_CONVERT = 289, + WASM_TOKEN_TYPE_SELECT = 290, + WASM_TOKEN_TYPE_FUNC = 291, + WASM_TOKEN_TYPE_START = 292, + WASM_TOKEN_TYPE_TYPE = 293, + WASM_TOKEN_TYPE_PARAM = 294, + WASM_TOKEN_TYPE_RESULT = 295, + WASM_TOKEN_TYPE_LOCAL = 296, + WASM_TOKEN_TYPE_MODULE = 297, + WASM_TOKEN_TYPE_MEMORY = 298, + WASM_TOKEN_TYPE_SEGMENT = 299, + WASM_TOKEN_TYPE_IMPORT = 300, + WASM_TOKEN_TYPE_EXPORT = 301, + WASM_TOKEN_TYPE_TABLE = 302, + WASM_TOKEN_TYPE_UNREACHABLE = 303, + WASM_TOKEN_TYPE_MEMORY_SIZE = 304, + WASM_TOKEN_TYPE_GROW_MEMORY = 305, + WASM_TOKEN_TYPE_ASSERT_INVALID = 306, + WASM_TOKEN_TYPE_ASSERT_RETURN = 307, + WASM_TOKEN_TYPE_ASSERT_RETURN_NAN = 308, + WASM_TOKEN_TYPE_ASSERT_TRAP = 309, + WASM_TOKEN_TYPE_INVOKE = 310, + WASM_TOKEN_TYPE_LOW = 311 + }; +#endif + +/* Value type. */ +#if ! defined WASM_AST_PARSER_STYPE && ! defined WASM_AST_PARSER_STYPE_IS_DECLARED +typedef WasmToken WASM_AST_PARSER_STYPE; +# define WASM_AST_PARSER_STYPE_IS_TRIVIAL 1 +# define WASM_AST_PARSER_STYPE_IS_DECLARED 1 +#endif + +/* Location type. */ +#if ! defined WASM_AST_PARSER_LTYPE && ! defined WASM_AST_PARSER_LTYPE_IS_DECLARED +typedef struct WASM_AST_PARSER_LTYPE WASM_AST_PARSER_LTYPE; +struct WASM_AST_PARSER_LTYPE +{ + int first_line; + int first_column; + int last_line; + int last_column; +}; +# define WASM_AST_PARSER_LTYPE_IS_DECLARED 1 +# define WASM_AST_PARSER_LTYPE_IS_TRIVIAL 1 +#endif + + + +int wasm_ast_parser_parse (WasmAstLexer* lexer, WasmAstParser* parser); + +#endif /* !YY_WASM_AST_PARSER_SRC_PREBUILT_WASM_AST_PARSER_GEN_H_INCLUDED */ + +/* Copy the second part of user declarations. */ + +#line 292 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:358 */ + +#ifdef short +# undef short +#endif + +#ifdef YYTYPE_UINT8 +typedef YYTYPE_UINT8 yytype_uint8; +#else +typedef unsigned char yytype_uint8; +#endif + +#ifdef YYTYPE_INT8 +typedef YYTYPE_INT8 yytype_int8; +#else +typedef signed char yytype_int8; +#endif + +#ifdef YYTYPE_UINT16 +typedef YYTYPE_UINT16 yytype_uint16; +#else +typedef unsigned short int yytype_uint16; +#endif + +#ifdef YYTYPE_INT16 +typedef YYTYPE_INT16 yytype_int16; +#else +typedef short int yytype_int16; +#endif + +#ifndef YYSIZE_T +# ifdef __SIZE_TYPE__ +# define YYSIZE_T __SIZE_TYPE__ +# elif defined size_t +# define YYSIZE_T size_t +# elif ! defined YYSIZE_T +# include <stddef.h> /* INFRINGES ON USER NAME SPACE */ +# define YYSIZE_T size_t +# else +# define YYSIZE_T unsigned int +# endif +#endif + +#define YYSIZE_MAXIMUM ((YYSIZE_T) -1) + +#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 +# if (defined __GNUC__ \ + && (2 < __GNUC__ || (__GNUC__ == 2 && 96 <= __GNUC_MINOR__))) \ + || defined __SUNPRO_C && 0x5110 <= __SUNPRO_C +# define YY_ATTRIBUTE(Spec) __attribute__(Spec) +# else +# define YY_ATTRIBUTE(Spec) /* empty */ +# endif +#endif + +#ifndef YY_ATTRIBUTE_PURE +# define YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__)) +#endif + +#ifndef YY_ATTRIBUTE_UNUSED +# define YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__)) +#endif + +#if !defined _Noreturn \ + && (!defined __STDC_VERSION__ || __STDC_VERSION__ < 201112) +# if defined _MSC_VER && 1200 <= _MSC_VER +# define _Noreturn __declspec (noreturn) +# else +# define _Noreturn YY_ATTRIBUTE ((__noreturn__)) +# endif +#endif + +/* Suppress unused-variable warnings by "using" E. */ +#if ! defined lint || defined __GNUC__ +# define YYUSE(E) ((void) (E)) +#else +# define YYUSE(E) /* empty */ +#endif + +#if defined __GNUC__ && 407 <= __GNUC__ * 100 + __GNUC_MINOR__ +/* Suppress an incorrect diagnostic about yylval being uninitialized. */ +# define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \ + _Pragma ("GCC diagnostic push") \ + _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"")\ + _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"") +# 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 yyoverflow || YYERROR_VERBOSE + +/* 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 /* ! defined yyoverflow || YYERROR_VERBOSE */ + + +#if (! defined yyoverflow \ + && (! defined __cplusplus \ + || (defined WASM_AST_PARSER_LTYPE_IS_TRIVIAL && WASM_AST_PARSER_LTYPE_IS_TRIVIAL \ + && defined WASM_AST_PARSER_STYPE_IS_TRIVIAL && WASM_AST_PARSER_STYPE_IS_TRIVIAL))) + +/* A type that is properly aligned for any stack member. */ +union yyalloc +{ + yytype_int16 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 (sizeof (union yyalloc) - 1) + +/* The size of an array large to enough to hold all stacks, each with + N elements. */ +# define YYSTACK_BYTES(N) \ + ((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE) + sizeof (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 \ + { \ + YYSIZE_T yynewbytes; \ + YYCOPY (&yyptr->Stack_alloc, Stack, yysize); \ + Stack = &yyptr->Stack_alloc; \ + yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \ + yyptr += yynewbytes / sizeof (*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, (Count) * sizeof (*(Src))) +# else +# define YYCOPY(Dst, Src, Count) \ + do \ + { \ + YYSIZE_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 7 +/* YYLAST -- Last index in YYTABLE. */ +#define YYLAST 321 + +/* YYNTOKENS -- Number of terminals. */ +#define YYNTOKENS 57 +/* YYNNTS -- Number of nonterminals. */ +#define YYNNTS 42 +/* YYNRULES -- Number of rules. */ +#define YYNRULES 114 +/* YYNSTATES -- Number of states. */ +#define YYNSTATES 264 + +/* YYTRANSLATE[YYX] -- Symbol number corresponding to YYX as returned + by yylex, with out-of-bounds checking. */ +#define YYUNDEFTOK 2 +#define YYMAXUTOK 311 + +#define YYTRANSLATE(YYX) \ + ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) + +/* YYTRANSLATE[TOKEN-NUM] -- Symbol number corresponding to TOKEN-NUM + as returned by yylex, without out-of-bounds checking. */ +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 +}; + +#if WASM_AST_PARSER_DEBUG + /* YYRLINE[YYN] -- Source line where rule number YYN was defined. */ +static const yytype_uint16 yyrline[] = +{ + 0, 191, 191, 192, 198, 199, 203, 207, 214, 219, + 227, 239, 247, 248, 254, 258, 268, 275, 276, 280, + 281, 290, 291, 302, 305, 309, 313, 321, 330, 341, + 354, 360, 367, 374, 381, 389, 395, 400, 407, 413, + 419, 426, 431, 437, 445, 454, 467, 473, 480, 487, + 494, 500, 504, 508, 515, 516, 519, 523, 529, 530, + 535, 542, 548, 556, 562, 568, 578, 581, 645, 651, + 658, 663, 674, 678, 691, 699, 700, 707, 720, 732, + 738, 747, 751, 758, 762, 769, 777, 784, 795, 802, + 808, 811, 820, 829, 837, 845, 853, 861, 869, 879, + 975, 981, 988, 995, 1003, 1010, 1020, 1021, 1029, 1041, + 1042, 1045, 1046, 1053, 1062 +}; +#endif + +#if WASM_AST_PARSER_DEBUG || YYERROR_VERBOSE || 1 +/* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM. + First, the terminals, then, starting at YYNTOKENS, nonterminals. */ +static const char *const yytname[] = +{ + "\"EOF\"", "error", "$undefined", "\"(\"", "\")\"", "INT", "FLOAT", + "TEXT", "VAR", "VALUE_TYPE", "NOP", "BLOCK", "IF", "THEN", "ELSE", + "LOOP", "BR", "BR_IF", "BR_TABLE", "CASE", "CALL", "CALL_IMPORT", + "CALL_INDIRECT", "RETURN", "GET_LOCAL", "SET_LOCAL", "LOAD", "STORE", + "OFFSET", "ALIGN", "CONST", "UNARY", "BINARY", "COMPARE", "CONVERT", + "SELECT", "FUNC", "START", "TYPE", "PARAM", "RESULT", "LOCAL", "MODULE", + "MEMORY", "SEGMENT", "IMPORT", "EXPORT", "TABLE", "UNREACHABLE", + "MEMORY_SIZE", "GROW_MEMORY", "ASSERT_INVALID", "ASSERT_RETURN", + "ASSERT_RETURN_NAN", "ASSERT_TRAP", "INVOKE", "LOW", "$accept", + "value_type_list", "func_type", "literal", "var", "var_list", "bind_var", + "quoted_text", "string_contents", "labeling", "offset", "align", "expr", + "expr1", "expr_opt", "non_empty_expr_list", "expr_list", "func_fields", + "type_use", "func_info", "func", "start", "segment_address", "segment", + "segment_list", "initial_pages", "max_pages", "memory", "type_def", + "table", "import", "export", "export_memory", "module_fields", "module", + "cmd", "cmd_list", "const", "const_opt", "const_list", "script", + "script_start", YY_NULLPTR +}; +#endif + +# ifdef YYPRINT +/* YYTOKNUM[NUM] -- (External) token number corresponding to the + (internal) symbol number NUM (which must be that of a token). */ +static const yytype_uint16 yytoknum[] = +{ + 0, 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, 286, 287, 288, 289, 290, 291, 292, 293, 294, + 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, + 305, 306, 307, 308, 309, 310, 311 +}; +# endif + +#define YYPACT_NINF -130 + +#define yypact_value_is_default(Yystate) \ + (!!((Yystate) == (-130))) + +#define YYTABLE_NINF -1 + +#define yytable_value_is_error(Yytable_value) \ + 0 + + /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing + STATE-NUM. */ +static const yytype_int16 yypact[] = +{ + -130, 4, -130, 9, 42, -130, -130, -130, -130, 12, + 31, 73, 80, 39, 28, 49, 39, 33, 45, 50, + -130, -130, 270, -130, -130, -130, -130, -130, -130, -130, + -130, -130, 104, 39, 39, 39, 115, 5, 46, 20, + 108, 116, 39, -130, -130, -130, -130, -130, 86, -130, + -130, 139, -130, 119, -130, 124, -130, -130, 128, 132, + -130, -130, 154, 146, 164, -130, 163, 39, 39, 13, + 82, 122, 126, 131, 134, -130, 167, 124, 167, 21, + 46, -130, 46, 46, 46, 124, 46, 46, 155, 155, + 134, 124, 124, 124, 124, 124, 46, 167, 175, 167, + -130, -130, 124, 181, 128, 182, 262, -130, 180, 189, + -130, -130, 191, 172, -130, 138, -130, 39, 196, 205, + 212, -130, -130, 214, 218, 39, -130, -130, 219, -130, + 124, 215, 167, 124, 124, -130, -130, 124, 46, 124, + 124, 124, -130, -130, 124, -130, 195, 195, -130, -130, + 124, 124, -130, 124, 222, 26, 216, 223, 43, 226, + -130, -130, 236, -130, -130, 107, 245, 191, 206, -130, + -130, 149, 196, 64, 253, 254, -130, -130, -130, 255, + -130, 256, -130, -130, 221, 124, 124, -130, -130, 124, + 124, -130, -130, 124, -130, -130, 124, 124, -130, -130, + 124, -130, 128, -130, 257, 128, 128, 258, -130, -130, + 259, 260, 261, 271, -130, 263, 277, -130, -130, -130, + -130, 167, -130, -130, -130, -130, -130, -130, 124, -130, + -130, 128, -130, -130, 128, 69, 286, -130, 287, -130, + 268, -130, -130, 124, -130, -130, -130, 295, -130, -130, + -130, 296, 297, 264, -130, 299, 290, 249, 301, 167, + -130, 124, 305, -130 +}; + + /* 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[] = +{ + 106, 113, 114, 0, 0, 100, 107, 1, 90, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 15, 111, 0, 99, 91, 98, 97, 96, 95, 92, + 93, 94, 0, 0, 0, 0, 0, 58, 0, 0, + 0, 0, 0, 12, 102, 111, 111, 111, 0, 101, + 112, 0, 14, 58, 56, 59, 60, 67, 58, 0, + 10, 11, 0, 0, 0, 77, 75, 0, 0, 0, + 0, 0, 0, 0, 0, 24, 17, 0, 17, 54, + 0, 12, 0, 0, 0, 54, 0, 0, 19, 19, + 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, + 51, 52, 0, 0, 58, 0, 0, 57, 0, 0, + 70, 72, 4, 0, 78, 0, 75, 0, 4, 0, + 0, 83, 13, 109, 0, 0, 8, 9, 0, 18, + 58, 0, 18, 58, 54, 55, 34, 0, 0, 58, + 58, 0, 36, 41, 0, 20, 21, 21, 45, 46, + 0, 0, 50, 0, 0, 0, 0, 0, 0, 0, + 53, 23, 0, 71, 68, 0, 0, 4, 0, 80, + 76, 0, 4, 0, 0, 0, 89, 88, 110, 0, + 104, 0, 108, 25, 0, 26, 58, 32, 35, 30, + 13, 38, 39, 58, 42, 22, 0, 0, 47, 49, + 0, 66, 58, 3, 0, 58, 58, 0, 69, 2, + 0, 0, 0, 0, 79, 0, 0, 86, 84, 103, + 105, 17, 28, 33, 31, 37, 40, 43, 0, 48, + 61, 58, 63, 64, 58, 0, 0, 81, 0, 73, + 0, 87, 85, 58, 44, 62, 65, 5, 7, 82, + 16, 0, 0, 0, 74, 27, 0, 0, 0, 17, + 6, 58, 0, 29 +}; + + /* YYPGOTO[NTERM-NUM]. */ +static const yytype_int16 yypgoto[] = +{ + -130, -94, -112, 176, -21, 233, -25, 3, -130, -78, + 229, 156, -52, -130, -65, -130, -129, -125, -51, -36, + -130, -130, -130, -130, 203, -130, -130, -130, -130, -130, + -130, -130, -130, -130, 311, -130, -130, 198, -130, 65, + -130, -130 +}; + + /* YYDEFGOTO[NTERM-NUM]. */ +static const yytype_int16 yydefgoto[] = +{ + -1, 155, 166, 128, 62, 70, 129, 21, 251, 130, + 146, 196, 54, 103, 136, 55, 56, 57, 58, 59, + 24, 25, 240, 170, 115, 66, 116, 26, 27, 28, + 29, 30, 31, 14, 5, 6, 1, 50, 179, 36, + 2, 3 +}; + + /* 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_uint16 yytable[] = +{ + 133, 183, 104, 107, 187, 158, 174, 4, 51, 7, + 191, 192, 53, 52, 64, 15, 67, 105, 60, 32, + 142, 61, 109, 63, 106, 131, 60, 135, 52, 61, + 202, 22, 23, 135, 17, 203, 45, 46, 47, 149, + 150, 151, 152, 153, 68, 69, 20, 206, 120, 122, + 160, 60, 203, 132, 61, 212, 119, 223, 134, 137, + 215, 139, 140, 141, 226, 143, 144, 175, 162, 188, + 117, 118, 156, 247, 159, 154, 18, 230, 203, 185, + 232, 233, 135, 19, 8, 189, 121, 60, 33, 193, + 61, 8, 194, 9, 10, 11, 12, 13, 198, 199, + 34, 200, 96, 209, 210, 35, 245, 186, 44, 246, + 71, 72, 73, 65, 252, 235, 74, 190, 48, 49, + 172, 216, 51, 20, 52, 48, 123, 106, 181, 48, + 124, 108, 262, 222, 48, 125, 110, 224, 225, 126, + 127, 168, 169, 243, 227, 228, 209, 210, 229, 75, + 76, 77, 168, 214, 78, 79, 80, 81, 111, 82, + 83, 84, 85, 86, 87, 88, 89, 113, 114, 90, + 91, 92, 93, 94, 95, 52, 244, 96, 97, 98, + 99, 261, 112, 145, 157, 161, 163, 100, 101, 102, + 75, 76, 77, 164, 165, 78, 79, 80, 81, 173, + 82, 83, 84, 85, 86, 87, 88, 89, 167, 176, + 90, 91, 92, 93, 94, 95, 177, 48, 184, 97, + 98, 99, 180, 182, 195, 204, 201, 205, 100, 101, + 102, 75, 76, 77, 221, 207, 78, 79, 80, 81, + 208, 82, 83, 84, 85, 86, 87, 88, 89, 211, + 213, 90, 91, 92, 93, 94, 95, 217, 218, 219, + 220, 231, 234, 259, 237, 238, 148, 241, 236, 100, + 101, 102, 75, 76, 77, 250, 239, 78, 79, 80, + 81, 242, 82, 83, 84, 85, 86, 87, 88, 89, + 248, 249, 90, 91, 92, 93, 94, 95, 253, 258, + 254, 255, 257, 197, 256, 260, 37, 38, 39, 263, + 100, 101, 102, 40, 138, 41, 42, 43, 147, 171, + 16, 178 +}; + +static const yytype_uint16 yycheck[] = +{ + 78, 130, 53, 55, 133, 99, 118, 3, 3, 0, + 139, 140, 37, 8, 39, 3, 41, 53, 5, 16, + 85, 8, 58, 3, 3, 77, 5, 79, 8, 8, + 4, 3, 4, 85, 3, 9, 33, 34, 35, 91, + 92, 93, 94, 95, 41, 42, 7, 4, 69, 70, + 102, 5, 9, 78, 8, 167, 43, 186, 79, 80, + 172, 82, 83, 84, 193, 86, 87, 118, 104, 134, + 67, 68, 97, 4, 99, 96, 3, 202, 9, 131, + 205, 206, 134, 3, 42, 137, 4, 5, 55, 141, + 8, 42, 144, 51, 52, 53, 54, 55, 150, 151, + 55, 153, 38, 39, 40, 55, 231, 132, 4, 234, + 45, 46, 47, 5, 243, 209, 30, 138, 3, 4, + 117, 172, 3, 7, 8, 3, 4, 3, 125, 3, + 4, 3, 261, 185, 3, 4, 4, 189, 190, 5, + 6, 3, 4, 221, 196, 197, 39, 40, 200, 10, + 11, 12, 3, 4, 15, 16, 17, 18, 4, 20, + 21, 22, 23, 24, 25, 26, 27, 3, 5, 30, + 31, 32, 33, 34, 35, 8, 228, 38, 39, 40, + 41, 259, 36, 28, 9, 4, 4, 48, 49, 50, + 10, 11, 12, 4, 3, 15, 16, 17, 18, 3, + 20, 21, 22, 23, 24, 25, 26, 27, 36, 4, + 30, 31, 32, 33, 34, 35, 4, 3, 3, 39, + 40, 41, 4, 4, 29, 9, 4, 4, 48, 49, + 50, 10, 11, 12, 13, 9, 15, 16, 17, 18, + 4, 20, 21, 22, 23, 24, 25, 26, 27, 4, + 44, 30, 31, 32, 33, 34, 35, 4, 4, 4, + 4, 4, 4, 14, 4, 4, 90, 4, 9, 48, + 49, 50, 10, 11, 12, 7, 5, 15, 16, 17, + 18, 4, 20, 21, 22, 23, 24, 25, 26, 27, + 4, 4, 30, 31, 32, 33, 34, 35, 3, 9, + 4, 4, 3, 147, 40, 4, 36, 37, 38, 4, + 48, 49, 50, 43, 81, 45, 46, 47, 89, 116, + 9, 123 +}; + + /* YYSTOS[STATE-NUM] -- The (internal number of the) accessing + symbol of state STATE-NUM. */ +static const yytype_uint8 yystos[] = +{ + 0, 93, 97, 98, 3, 91, 92, 0, 42, 51, + 52, 53, 54, 55, 90, 3, 91, 3, 3, 3, + 7, 64, 3, 4, 77, 78, 84, 85, 86, 87, + 88, 89, 64, 55, 55, 55, 96, 36, 37, 38, + 43, 45, 46, 47, 4, 64, 64, 64, 3, 4, + 94, 3, 8, 63, 69, 72, 73, 74, 75, 76, + 5, 8, 61, 3, 63, 5, 82, 63, 64, 64, + 62, 96, 96, 96, 30, 10, 11, 12, 15, 16, + 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, + 30, 31, 32, 33, 34, 35, 38, 39, 40, 41, + 48, 49, 50, 70, 75, 76, 3, 69, 3, 76, + 4, 4, 36, 3, 5, 81, 83, 64, 64, 43, + 61, 4, 61, 4, 4, 4, 5, 6, 60, 63, + 66, 69, 63, 66, 61, 69, 71, 61, 62, 61, + 61, 61, 71, 61, 61, 28, 67, 67, 60, 69, + 69, 69, 69, 69, 61, 58, 63, 9, 58, 63, + 69, 4, 76, 4, 4, 3, 59, 36, 3, 4, + 80, 81, 64, 3, 59, 75, 4, 4, 94, 95, + 4, 64, 4, 73, 3, 69, 63, 73, 71, 69, + 61, 73, 73, 69, 69, 29, 68, 68, 69, 69, + 69, 4, 4, 9, 9, 4, 4, 9, 4, 39, + 40, 4, 59, 44, 4, 59, 75, 4, 4, 4, + 4, 13, 69, 73, 69, 69, 73, 69, 69, 69, + 74, 4, 74, 74, 4, 58, 9, 4, 4, 5, + 79, 4, 4, 66, 69, 74, 74, 4, 4, 4, + 7, 65, 73, 3, 4, 4, 40, 3, 9, 14, + 4, 66, 73, 4 +}; + + /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */ +static const yytype_uint8 yyr1[] = +{ + 0, 57, 58, 58, 59, 59, 59, 59, 60, 60, + 61, 61, 62, 62, 63, 64, 65, 66, 66, 67, + 67, 68, 68, 69, 70, 70, 70, 70, 70, 70, + 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, + 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, + 70, 70, 70, 70, 71, 71, 72, 72, 73, 73, + 74, 74, 74, 74, 74, 74, 75, 76, 77, 77, + 77, 77, 78, 79, 80, 81, 81, 82, 83, 84, + 84, 85, 85, 86, 87, 87, 87, 87, 88, 89, + 90, 90, 90, 90, 90, 90, 90, 90, 90, 91, + 92, 92, 92, 92, 92, 92, 93, 93, 94, 95, + 95, 96, 96, 97, 98 +}; + + /* YYR2[YYN] -- Number of symbols on the right hand side of rule YYN. */ +static const yytype_uint8 yyr2[] = +{ + 0, 2, 0, 2, 0, 4, 8, 4, 1, 1, + 1, 1, 0, 2, 1, 1, 1, 0, 1, 0, + 1, 0, 1, 3, 1, 3, 3, 7, 4, 12, + 3, 4, 3, 4, 2, 3, 2, 4, 3, 3, + 4, 2, 3, 4, 5, 2, 2, 3, 4, 3, + 2, 1, 1, 2, 0, 1, 1, 2, 0, 1, + 1, 5, 6, 5, 5, 6, 4, 1, 5, 6, + 4, 5, 4, 1, 5, 0, 2, 1, 1, 6, + 5, 7, 8, 4, 6, 7, 6, 7, 5, 5, + 0, 2, 2, 2, 2, 2, 2, 2, 2, 4, + 1, 5, 5, 9, 8, 9, 0, 2, 4, 0, + 1, 0, 2, 1, 1 +}; + + +#define yyerrok (yyerrstatus = 0) +#define yyclearin (yychar = YYEMPTY) +#define YYEMPTY (-2) +#define YYEOF 0 + +#define YYACCEPT goto yyacceptlab +#define YYABORT goto yyabortlab +#define YYERROR goto yyerrorlab + + +#define YYRECOVERING() (!!yyerrstatus) + +#define YYBACKUP(Token, Value) \ +do \ + if (yychar == YYEMPTY) \ + { \ + yychar = (Token); \ + yylval = (Value); \ + YYPOPSTACK (yylen); \ + yystate = *yyssp; \ + goto yybackup; \ + } \ + else \ + { \ + yyerror (&yylloc, lexer, parser, YY_("syntax error: cannot back up")); \ + YYERROR; \ + } \ +while (0) + +/* Error token number */ +#define YYTERROR 1 +#define YYERRCODE 256 + + +/* 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 WASM_AST_PARSER_DEBUG + +# ifndef YYFPRINTF +# include <stdio.h> /* INFRINGES ON USER NAME SPACE */ +# define YYFPRINTF fprintf +# endif + +# define YYDPRINTF(Args) \ +do { \ + if (yydebug) \ + YYFPRINTF Args; \ +} while (0) + + +/* YY_LOCATION_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 YY_LOCATION_PRINT +# if defined WASM_AST_PARSER_LTYPE_IS_TRIVIAL && WASM_AST_PARSER_LTYPE_IS_TRIVIAL + +/* Print *YYLOCP on YYO. Private, do not rely on its existence. */ + +YY_ATTRIBUTE_UNUSED +static unsigned +yy_location_print_ (FILE *yyo, YYLTYPE const * const yylocp) +{ + unsigned 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 YY_LOCATION_PRINT(File, Loc) \ + yy_location_print_ (File, &(Loc)) + +# else +# define YY_LOCATION_PRINT(File, Loc) ((void) 0) +# endif +#endif + + +# define YY_SYMBOL_PRINT(Title, Type, Value, Location) \ +do { \ + if (yydebug) \ + { \ + YYFPRINTF (stderr, "%s ", Title); \ + yy_symbol_print (stderr, \ + Type, Value, Location, lexer, parser); \ + YYFPRINTF (stderr, "\n"); \ + } \ +} while (0) + + +/*----------------------------------------. +| Print this symbol's value on YYOUTPUT. | +`----------------------------------------*/ + +static void +yy_symbol_value_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep, YYLTYPE const * const yylocationp, WasmAstLexer* lexer, WasmAstParser* parser) +{ + FILE *yyo = yyoutput; + YYUSE (yyo); + YYUSE (yylocationp); + YYUSE (lexer); + YYUSE (parser); + if (!yyvaluep) + return; +# ifdef YYPRINT + if (yytype < YYNTOKENS) + YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep); +# endif + YYUSE (yytype); +} + + +/*--------------------------------. +| Print this symbol on YYOUTPUT. | +`--------------------------------*/ + +static void +yy_symbol_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep, YYLTYPE const * const yylocationp, WasmAstLexer* lexer, WasmAstParser* parser) +{ + YYFPRINTF (yyoutput, "%s %s (", + yytype < YYNTOKENS ? "token" : "nterm", yytname[yytype]); + + YY_LOCATION_PRINT (yyoutput, *yylocationp); + YYFPRINTF (yyoutput, ": "); + yy_symbol_value_print (yyoutput, yytype, yyvaluep, yylocationp, lexer, parser); + YYFPRINTF (yyoutput, ")"); +} + +/*------------------------------------------------------------------. +| yy_stack_print -- Print the state stack from its BOTTOM up to its | +| TOP (included). | +`------------------------------------------------------------------*/ + +static void +yy_stack_print (yytype_int16 *yybottom, yytype_int16 *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 (yytype_int16 *yyssp, YYSTYPE *yyvsp, YYLTYPE *yylsp, int yyrule, WasmAstLexer* lexer, WasmAstParser* parser) +{ + unsigned long int yylno = yyrline[yyrule]; + int yynrhs = yyr2[yyrule]; + int yyi; + YYFPRINTF (stderr, "Reducing stack by rule %d (line %lu):\n", + yyrule - 1, yylno); + /* The symbols being reduced. */ + for (yyi = 0; yyi < yynrhs; yyi++) + { + YYFPRINTF (stderr, " $%d = ", yyi + 1); + yy_symbol_print (stderr, + yystos[yyssp[yyi + 1 - yynrhs]], + &(yyvsp[(yyi + 1) - (yynrhs)]) + , &(yylsp[(yyi + 1) - (yynrhs)]) , lexer, parser); + YYFPRINTF (stderr, "\n"); + } +} + +# define YY_REDUCE_PRINT(Rule) \ +do { \ + if (yydebug) \ + yy_reduce_print (yyssp, yyvsp, yylsp, Rule, lexer, parser); \ +} while (0) + +/* Nonzero means print parse trace. It is left uninitialized so that + multiple parsers can coexist. */ +int yydebug; +#else /* !WASM_AST_PARSER_DEBUG */ +# define YYDPRINTF(Args) +# define YY_SYMBOL_PRINT(Title, Type, Value, Location) +# define YY_STACK_PRINT(Bottom, Top) +# define YY_REDUCE_PRINT(Rule) +#endif /* !WASM_AST_PARSER_DEBUG */ + + +/* 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 + + +#if YYERROR_VERBOSE + +# ifndef yystrlen +# if defined __GLIBC__ && defined _STRING_H +# define yystrlen strlen +# else +/* Return the length of YYSTR. */ +static YYSIZE_T +yystrlen (const char *yystr) +{ + YYSIZE_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 YYSIZE_T +yytnamerr (char *yyres, const char *yystr) +{ + if (*yystr == '"') + { + YYSIZE_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; + /* Fall through. */ + default: + if (yyres) + yyres[yyn] = *yyp; + yyn++; + break; + + case '"': + if (yyres) + yyres[yyn] = '\0'; + return yyn; + } + do_not_strip_quotes: ; + } + + if (! yyres) + return yystrlen (yystr); + + return yystpcpy (yyres, yystr) - yyres; +} +# endif + +/* 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 2 if the + required number of bytes is too large to store. */ +static int +yysyntax_error (YYSIZE_T *yymsg_alloc, char **yymsg, + yytype_int16 *yyssp, int yytoken) +{ + YYSIZE_T yysize0 = yytnamerr (YY_NULLPTR, yytname[yytoken]); + YYSIZE_T yysize = yysize0; + enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 }; + /* Internationalized format string. */ + const char *yyformat = YY_NULLPTR; + /* Arguments of yyformat. */ + char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM]; + /* Number of reported tokens (one for the "unexpected", one per + "expected"). */ + 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 (yytoken != YYEMPTY) + { + int yyn = yypact[*yyssp]; + yyarg[yycount++] = yytname[yytoken]; + 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 != YYTERROR + && !yytable_value_is_error (yytable[yyx + yyn])) + { + if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM) + { + yycount = 1; + yysize = yysize0; + break; + } + yyarg[yycount++] = yytname[yyx]; + { + YYSIZE_T yysize1 = yysize + yytnamerr (YY_NULLPTR, yytname[yyx]); + if (! (yysize <= yysize1 + && yysize1 <= YYSTACK_ALLOC_MAXIMUM)) + return 2; + yysize = yysize1; + } + } + } + } + + switch (yycount) + { +# define YYCASE_(N, S) \ + case N: \ + yyformat = S; \ + break + 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_ + } + + { + YYSIZE_T yysize1 = yysize + yystrlen (yyformat); + if (! (yysize <= yysize1 && yysize1 <= YYSTACK_ALLOC_MAXIMUM)) + return 2; + yysize = yysize1; + } + + 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, yyarg[yyi++]); + yyformat += 2; + } + else + { + yyp++; + yyformat++; + } + } + return 0; +} +#endif /* YYERROR_VERBOSE */ + +/*-----------------------------------------------. +| Release the memory associated to this symbol. | +`-----------------------------------------------*/ + +static void +yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep, YYLTYPE *yylocationp, WasmAstLexer* lexer, WasmAstParser* parser) +{ + YYUSE (yyvaluep); + YYUSE (yylocationp); + YYUSE (lexer); + YYUSE (parser); + if (!yymsg) + yymsg = "Deleting"; + YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp); + + YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN + switch (yytype) + { + case 58: /* value_type_list */ +#line 161 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_type_vector(parser->allocator, &((*yyvaluep).types)); } +#line 1388 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 59: /* func_type */ +#line 171 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_func_signature(parser->allocator, &((*yyvaluep).func_sig)); } +#line 1394 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 60: /* literal */ +#line 160 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_string_slice(parser->allocator, &((*yyvaluep).literal).text); } +#line 1400 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 61: /* var */ +#line 162 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_var(parser->allocator, &((*yyvaluep).var)); } +#line 1406 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 62: /* var_list */ +#line 163 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_var_vector_and_elements(parser->allocator, &((*yyvaluep).vars)); } +#line 1412 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 63: /* bind_var */ +#line 159 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_string_slice(parser->allocator, &((*yyvaluep).text)); } +#line 1418 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 64: /* quoted_text */ +#line 159 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_string_slice(parser->allocator, &((*yyvaluep).text)); } +#line 1424 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 65: /* string_contents */ +#line 168 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_segment(parser->allocator, &((*yyvaluep).segment)); } +#line 1430 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 66: /* labeling */ +#line 159 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_string_slice(parser->allocator, &((*yyvaluep).text)); } +#line 1436 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 69: /* expr */ +#line 164 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_expr_ptr(parser->allocator, &((*yyvaluep).expr)); } +#line 1442 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 70: /* expr1 */ +#line 164 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_expr_ptr(parser->allocator, &((*yyvaluep).expr)); } +#line 1448 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 71: /* expr_opt */ +#line 164 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_expr_ptr(parser->allocator, &((*yyvaluep).expr)); } +#line 1454 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 72: /* non_empty_expr_list */ +#line 165 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_expr_ptr_vector_and_elements(parser->allocator, &((*yyvaluep).exprs)); } +#line 1460 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 73: /* expr_list */ +#line 165 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_expr_ptr_vector_and_elements(parser->allocator, &((*yyvaluep).exprs)); } +#line 1466 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 74: /* func_fields */ +#line 166 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_func_fields(parser->allocator, ((*yyvaluep).func_fields)); } +#line 1472 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 76: /* func_info */ +#line 167 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_func(parser->allocator, ((*yyvaluep).func)); wasm_free(parser->allocator, ((*yyvaluep).func)); } +#line 1478 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 77: /* func */ +#line 167 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_func(parser->allocator, ((*yyvaluep).func)); wasm_free(parser->allocator, ((*yyvaluep).func)); } +#line 1484 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 80: /* segment */ +#line 168 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_segment(parser->allocator, &((*yyvaluep).segment)); } +#line 1490 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 81: /* segment_list */ +#line 169 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_segment_vector_and_elements(parser->allocator, &((*yyvaluep).segments)); } +#line 1496 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 84: /* memory */ +#line 170 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_memory(parser->allocator, &((*yyvaluep).memory)); } +#line 1502 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 85: /* type_def */ +#line 172 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_func_type(parser->allocator, &((*yyvaluep).func_type)); } +#line 1508 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 86: /* table */ +#line 163 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_var_vector_and_elements(parser->allocator, &((*yyvaluep).vars)); } +#line 1514 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 87: /* import */ +#line 173 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_import(parser->allocator, ((*yyvaluep).import)); wasm_free(parser->allocator, ((*yyvaluep).import)); } +#line 1520 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 88: /* export */ +#line 174 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_export(parser->allocator, &((*yyvaluep).export_)); } +#line 1526 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 90: /* module_fields */ +#line 175 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_module(parser->allocator, ((*yyvaluep).module)); wasm_free(parser->allocator, ((*yyvaluep).module)); } +#line 1532 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 91: /* module */ +#line 175 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_module(parser->allocator, ((*yyvaluep).module)); wasm_free(parser->allocator, ((*yyvaluep).module)); } +#line 1538 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 92: /* cmd */ +#line 177 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_command(parser->allocator, ((*yyvaluep).command)); wasm_free(parser->allocator, ((*yyvaluep).command)); } +#line 1544 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 93: /* cmd_list */ +#line 178 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_command_vector_and_elements(parser->allocator, &((*yyvaluep).commands)); } +#line 1550 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 96: /* const_list */ +#line 176 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_const_vector(parser->allocator, &((*yyvaluep).consts)); } +#line 1556 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + case 97: /* script */ +#line 179 "src/wasm-ast-parser.y" /* yacc.c:1257 */ + { wasm_destroy_script(&((*yyvaluep).script)); } +#line 1562 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1257 */ + break; + + + default: + break; + } + YY_IGNORE_MAYBE_UNINITIALIZED_END +} + + + + +/*----------. +| yyparse. | +`----------*/ + +int +yyparse (WasmAstLexer* lexer, WasmAstParser* parser) +{ +/* The lookahead symbol. */ +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 WASM_AST_PARSER_LTYPE_IS_TRIVIAL && WASM_AST_PARSER_LTYPE_IS_TRIVIAL + = { 1, 1, 1, 1 } +# endif +; +YYLTYPE yylloc = yyloc_default; + + /* Number of syntax errors so far. */ + int yynerrs; + + int yystate; + /* Number of tokens to shift before error messages enabled. */ + int yyerrstatus; + + /* The stacks and their tools: + 'yyss': related to states. + 'yyvs': related to semantic values. + 'yyls': related to locations. + + Refer to the stacks through separate pointers, to allow yyoverflow + to reallocate them elsewhere. */ + + /* The state stack. */ + yytype_int16 yyssa[YYINITDEPTH]; + yytype_int16 *yyss; + yytype_int16 *yyssp; + + /* The semantic value stack. */ + YYSTYPE yyvsa[YYINITDEPTH]; + YYSTYPE *yyvs; + YYSTYPE *yyvsp; + + /* The location stack. */ + YYLTYPE yylsa[YYINITDEPTH]; + YYLTYPE *yyls; + YYLTYPE *yylsp; + + /* The locations where the error started and ended. */ + YYLTYPE yyerror_range[3]; + + YYSIZE_T yystacksize; + + int yyn; + int yyresult; + /* Lookahead token as an internal (translated) token number. */ + int yytoken = 0; + /* The variables used to return semantic value and location from the + action routines. */ + YYSTYPE yyval; + YYLTYPE yyloc; + +#if YYERROR_VERBOSE + /* Buffer for error messages, and its allocated size. */ + char yymsgbuf[128]; + char *yymsg = yymsgbuf; + YYSIZE_T yymsg_alloc = sizeof yymsgbuf; +#endif + +#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; + + yyssp = yyss = yyssa; + yyvsp = yyvs = yyvsa; + yylsp = yyls = yylsa; + yystacksize = YYINITDEPTH; + + YYDPRINTF ((stderr, "Starting parse\n")); + + yystate = 0; + yyerrstatus = 0; + yynerrs = 0; + 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: + *yyssp = yystate; + + if (yyss + yystacksize - 1 <= yyssp) + { + /* Get the current used size of the three stacks, in elements. */ + YYSIZE_T yysize = yyssp - yyss + 1; + +#ifdef 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. */ + YYSTYPE *yyvs1 = yyvs; + yytype_int16 *yyss1 = yyss; + 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 * sizeof (*yyssp), + &yyvs1, yysize * sizeof (*yyvsp), + &yyls1, yysize * sizeof (*yylsp), + &yystacksize); + + yyls = yyls1; + yyss = yyss1; + yyvs = yyvs1; + } +#else /* no yyoverflow */ +# ifndef YYSTACK_RELOCATE + goto yyexhaustedlab; +# else + /* Extend the stack our own way. */ + if (YYMAXDEPTH <= yystacksize) + goto yyexhaustedlab; + yystacksize *= 2; + if (YYMAXDEPTH < yystacksize) + yystacksize = YYMAXDEPTH; + + { + yytype_int16 *yyss1 = yyss; + union yyalloc *yyptr = + (union yyalloc *) YYSTACK_ALLOC (YYSTACK_BYTES (yystacksize)); + if (! yyptr) + goto yyexhaustedlab; + 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 +#endif /* no yyoverflow */ + + yyssp = yyss + yysize - 1; + yyvsp = yyvs + yysize - 1; + yylsp = yyls + yysize - 1; + + YYDPRINTF ((stderr, "Stack size increased to %lu\n", + (unsigned long int) yystacksize)); + + if (yyss + yystacksize - 1 <= yyssp) + YYABORT; + } + + YYDPRINTF ((stderr, "Entering state %d\n", yystate)); + + 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 YYEMPTY or YYEOF or a valid lookahead symbol. */ + if (yychar == YYEMPTY) + { + YYDPRINTF ((stderr, "Reading a token: ")); + yychar = yylex (&yylval, &yylloc, lexer, parser); + } + + if (yychar <= YYEOF) + { + yychar = yytoken = YYEOF; + YYDPRINTF ((stderr, "Now at end of input.\n")); + } + 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); + + /* Discard the shifted token. */ + yychar = YYEMPTY; + + yystate = yyn; + YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN + *++yyvsp = yylval; + YY_IGNORE_MAYBE_UNINITIALIZED_END + *++yylsp = yylloc; + 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); + YY_REDUCE_PRINT (yyn); + switch (yyn) + { + case 2: +#line 191 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { WASM_ZERO_MEMORY((yyval.types)); } +#line 1856 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 3: +#line 192 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.types) = (yyvsp[-1].types); + CHECK_ALLOC(wasm_append_type_value(parser->allocator, &(yyval.types), &(yyvsp[0].type))); + } +#line 1865 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 4: +#line 198 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { WASM_ZERO_MEMORY((yyval.func_sig)); } +#line 1871 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 5: +#line 199 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.func_sig).result_type = WASM_TYPE_VOID; + (yyval.func_sig).param_types = (yyvsp[-1].types); + } +#line 1880 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 6: +#line 203 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.func_sig).result_type = (yyvsp[-1].type); + (yyval.func_sig).param_types = (yyvsp[-5].types); + } +#line 1889 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 7: +#line 207 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { WASM_ZERO_MEMORY((yyval.func_sig)); (yyval.func_sig).result_type = (yyvsp[-1].type); } +#line 1895 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 8: +#line 214 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.literal).type = (yyvsp[0].literal).type; + DUPTEXT((yyval.literal).text, (yyvsp[0].literal).text); + CHECK_ALLOC_STR((yyval.literal).text); + } +#line 1905 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 9: +#line 219 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.literal).type = (yyvsp[0].literal).type; + DUPTEXT((yyval.literal).text, (yyvsp[0].literal).text); + CHECK_ALLOC_STR((yyval.literal).text); + } +#line 1915 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 10: +#line 227 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.var).loc = (yylsp[0]); + (yyval.var).type = WASM_VAR_TYPE_INDEX; + uint32_t index; + if (WASM_FAILED(wasm_parse_int32((yyvsp[0].literal).text.start, + (yyvsp[0].literal).text.start + (yyvsp[0].literal).text.length, &index, + WASM_PARSE_UNSIGNED_ONLY))) { + wasm_ast_parser_error(&(yylsp[0]), lexer, parser, "invalid int " PRIstringslice, + WASM_PRINTF_STRING_SLICE_ARG((yyvsp[0].literal).text)); + } + (yyval.var).index = index; + } +#line 1932 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 11: +#line 239 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.var).loc = (yylsp[0]); + (yyval.var).type = WASM_VAR_TYPE_NAME; + DUPTEXT((yyval.var).name, (yyvsp[0].text)); + CHECK_ALLOC_STR((yyval.var).name); + } +#line 1943 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 12: +#line 247 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { WASM_ZERO_MEMORY((yyval.vars)); } +#line 1949 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 13: +#line 248 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.vars) = (yyvsp[-1].vars); + CHECK_ALLOC(wasm_append_var_value(parser->allocator, &(yyval.vars), &(yyvsp[0].var))); + } +#line 1958 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 14: +#line 254 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { DUPTEXT((yyval.text), (yyvsp[0].text)); CHECK_ALLOC_STR((yyval.text)); } +#line 1964 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 15: +#line 258 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + void* data; + size_t size; + CHECK_ALLOC(dup_string_contents(parser->allocator, &(yyvsp[0].text), &data, &size)); + (yyval.text).start = data; + (yyval.text).length = size; + } +#line 1976 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 16: +#line 268 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + CHECK_ALLOC(dup_string_contents(parser->allocator, &(yyvsp[0].text), &(yyval.segment).data, + &(yyval.segment).size)); + } +#line 1985 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 17: +#line 275 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { WASM_ZERO_MEMORY((yyval.text)); } +#line 1991 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 18: +#line 276 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { (yyval.text) = (yyvsp[0].text); } +#line 1997 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 19: +#line 280 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { (yyval.u64) = 0; } +#line 2003 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 20: +#line 281 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + if (WASM_FAILED(wasm_parse_int64((yyvsp[0].text).start, (yyvsp[0].text).start + (yyvsp[0].text).length, &(yyval.u64)))) { + wasm_ast_parser_error(&(yylsp[0]), lexer, parser, + "invalid offset \"" PRIstringslice "\"", + WASM_PRINTF_STRING_SLICE_ARG((yyvsp[0].text))); + } + } +#line 2015 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 21: +#line 290 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { (yyval.u32) = USE_NATURAL_ALIGNMENT; } +#line 2021 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 22: +#line 291 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + if (WASM_FAILED(wasm_parse_int32((yyvsp[0].text).start, (yyvsp[0].text).start + (yyvsp[0].text).length, &(yyval.u32), + WASM_PARSE_UNSIGNED_ONLY))) { + wasm_ast_parser_error(&(yylsp[0]), lexer, parser, + "invalid alignment \"" PRIstringslice "\"", + WASM_PRINTF_STRING_SLICE_ARG((yyvsp[0].text))); + } + } +#line 2034 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 23: +#line 302 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { (yyval.expr) = (yyvsp[-1].expr); (yyval.expr)->loc = (yylsp[-2]); } +#line 2040 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 24: +#line 305 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_empty_expr(parser->allocator, WASM_EXPR_TYPE_NOP); + CHECK_ALLOC_NULL((yyval.expr)); + } +#line 2049 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 25: +#line 309 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = new_block_expr_with_list(parser->allocator, &(yyvsp[-1].text), &(yyvsp[0].exprs)); + CHECK_ALLOC_NULL((yyval.expr)); + } +#line 2058 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 26: +#line 313 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_if_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->if_.cond = (yyvsp[-1].expr); + WasmExpr* true_block = new_block_expr_with_one(parser->allocator, (yyvsp[0].expr)); + CHECK_ALLOC_NULL(true_block); + (yyval.expr)->if_.true_ = true_block; + } +#line 2071 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 27: +#line 321 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_if_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->if_.cond = (yyvsp[-5].expr); + WasmExpr* true_block = + new_block_expr_with_list(parser->allocator, &(yyvsp[-2].text), &(yyvsp[-1].exprs)); + CHECK_ALLOC_NULL(true_block); + (yyval.expr)->if_.true_ = true_block; + } +#line 2085 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 28: +#line 330 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_if_else_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->if_else.cond = (yyvsp[-2].expr); + WasmExpr* true_block = new_block_expr_with_one(parser->allocator, (yyvsp[-1].expr)); + CHECK_ALLOC_NULL(true_block); + (yyval.expr)->if_else.true_ = true_block; + WasmExpr* false_block = new_block_expr_with_one(parser->allocator, (yyvsp[0].expr)); + CHECK_ALLOC_NULL(false_block); + (yyval.expr)->if_else.false_ = false_block; + } +#line 2101 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 29: +#line 341 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_if_else_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->if_else.cond = (yyvsp[-10].expr); + WasmExpr* true_block = + new_block_expr_with_list(parser->allocator, &(yyvsp[-7].text), &(yyvsp[-6].exprs)); + CHECK_ALLOC_NULL(true_block); + (yyval.expr)->if_else.true_ = true_block; + WasmExpr* false_block = + new_block_expr_with_list(parser->allocator, &(yyvsp[-2].text), &(yyvsp[-1].exprs)); + CHECK_ALLOC_NULL(false_block); + (yyval.expr)->if_else.false_ = false_block; + } +#line 2119 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 30: +#line 354 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_br_if_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->br_if.var = (yyvsp[-1].var); + (yyval.expr)->br_if.cond = (yyvsp[0].expr); + } +#line 2130 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 31: +#line 360 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_br_if_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->br_if.var = (yyvsp[-2].var); + (yyval.expr)->br_if.expr = (yyvsp[-1].expr); + (yyval.expr)->br_if.cond = (yyvsp[0].expr); + } +#line 2142 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 32: +#line 367 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_loop_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + WASM_ZERO_MEMORY((yyval.expr)->loop.outer); + (yyval.expr)->loop.inner = (yyvsp[-1].text); + (yyval.expr)->loop.exprs = (yyvsp[0].exprs); + } +#line 2154 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 33: +#line 374 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_loop_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->loop.outer = (yyvsp[-2].text); + (yyval.expr)->loop.inner = (yyvsp[-1].text); + (yyval.expr)->loop.exprs = (yyvsp[0].exprs); + } +#line 2166 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 34: +#line 381 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_br_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->br.var.loc = (yylsp[-1]); + (yyval.expr)->br.var.type = WASM_VAR_TYPE_INDEX; + (yyval.expr)->br.var.index = 0; + (yyval.expr)->br.expr = (yyvsp[0].expr); + } +#line 2179 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 35: +#line 389 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_br_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->br.var = (yyvsp[-1].var); + (yyval.expr)->br.expr = (yyvsp[0].expr); + } +#line 2190 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 36: +#line 395 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_return_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->return_.expr = (yyvsp[0].expr); + } +#line 2200 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 37: +#line 400 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_br_table_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->br_table.expr = (yyvsp[0].expr); + (yyval.expr)->br_table.targets = (yyvsp[-2].vars); + (yyval.expr)->br_table.default_target = (yyvsp[-1].var); + } +#line 2212 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 38: +#line 407 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_call_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->call.var = (yyvsp[-1].var); + (yyval.expr)->call.args = (yyvsp[0].exprs); + } +#line 2223 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 39: +#line 413 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_call_import_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->call.var = (yyvsp[-1].var); + (yyval.expr)->call.args = (yyvsp[0].exprs); + } +#line 2234 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 40: +#line 419 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_call_indirect_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->call_indirect.var = (yyvsp[-2].var); + (yyval.expr)->call_indirect.expr = (yyvsp[-1].expr); + (yyval.expr)->call_indirect.args = (yyvsp[0].exprs); + } +#line 2246 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 41: +#line 426 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_get_local_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->get_local.var = (yyvsp[0].var); + } +#line 2256 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 42: +#line 431 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_set_local_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->set_local.var = (yyvsp[-1].var); + (yyval.expr)->set_local.expr = (yyvsp[0].expr); + } +#line 2267 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 43: +#line 437 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_load_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->load.opcode = (yyvsp[-3].opcode); + (yyval.expr)->load.offset = (yyvsp[-2].u64); + (yyval.expr)->load.align = (yyvsp[-1].u32); + (yyval.expr)->load.addr = (yyvsp[0].expr); + } +#line 2280 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 44: +#line 445 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_store_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->store.opcode = (yyvsp[-4].opcode); + (yyval.expr)->store.offset = (yyvsp[-3].u64); + (yyval.expr)->store.align = (yyvsp[-2].u32); + (yyval.expr)->store.addr = (yyvsp[-1].expr); + (yyval.expr)->store.value = (yyvsp[0].expr); + } +#line 2294 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 45: +#line 454 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_const_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->const_.loc = (yylsp[-1]); + if (WASM_FAILED(parse_const((yyvsp[-1].type), (yyvsp[0].literal).type, (yyvsp[0].literal).text.start, + (yyvsp[0].literal).text.start + (yyvsp[0].literal).text.length, + &(yyval.expr)->const_))) { + wasm_ast_parser_error(&(yylsp[0]), lexer, parser, + "invalid literal \"" PRIstringslice "\"", + WASM_PRINTF_STRING_SLICE_ARG((yyvsp[0].literal).text)); + } + wasm_free(parser->allocator, (char*)(yyvsp[0].literal).text.start); + } +#line 2312 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 46: +#line 467 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_unary_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->unary.opcode = (yyvsp[-1].opcode); + (yyval.expr)->unary.expr = (yyvsp[0].expr); + } +#line 2323 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 47: +#line 473 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_binary_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->binary.opcode = (yyvsp[-2].opcode); + (yyval.expr)->binary.left = (yyvsp[-1].expr); + (yyval.expr)->binary.right = (yyvsp[0].expr); + } +#line 2335 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 48: +#line 480 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_select_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->select.true_ = (yyvsp[-2].expr); + (yyval.expr)->select.false_ = (yyvsp[-1].expr); + (yyval.expr)->select.cond = (yyvsp[0].expr); + } +#line 2347 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 49: +#line 487 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_compare_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->compare.opcode = (yyvsp[-2].opcode); + (yyval.expr)->compare.left = (yyvsp[-1].expr); + (yyval.expr)->compare.right = (yyvsp[0].expr); + } +#line 2359 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 50: +#line 494 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_convert_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->convert.opcode = (yyvsp[-1].opcode); + (yyval.expr)->convert.expr = (yyvsp[0].expr); + } +#line 2370 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 51: +#line 500 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_empty_expr(parser->allocator, WASM_EXPR_TYPE_UNREACHABLE); + CHECK_ALLOC_NULL((yyval.expr)); + } +#line 2379 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 52: +#line 504 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_empty_expr(parser->allocator, WASM_EXPR_TYPE_MEMORY_SIZE); + CHECK_ALLOC_NULL((yyval.expr)); + } +#line 2388 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 53: +#line 508 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.expr) = wasm_new_grow_memory_expr(parser->allocator); + CHECK_ALLOC_NULL((yyval.expr)); + (yyval.expr)->grow_memory.expr = (yyvsp[0].expr); + } +#line 2398 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 54: +#line 515 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { (yyval.expr) = NULL; } +#line 2404 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 56: +#line 519 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + WASM_ZERO_MEMORY((yyval.exprs)); + CHECK_ALLOC(wasm_append_expr_ptr_value(parser->allocator, &(yyval.exprs), &(yyvsp[0].expr))); + } +#line 2413 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 57: +#line 523 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.exprs) = (yyvsp[-1].exprs); + CHECK_ALLOC(wasm_append_expr_ptr_value(parser->allocator, &(yyval.exprs), &(yyvsp[0].expr))); + } +#line 2422 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 58: +#line 529 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { WASM_ZERO_MEMORY((yyval.exprs)); } +#line 2428 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 60: +#line 535 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.func_fields) = new_func_field(parser->allocator); + CHECK_ALLOC_NULL((yyval.func_fields)); + (yyval.func_fields)->type = WASM_FUNC_FIELD_TYPE_EXPRS; + (yyval.func_fields)->exprs = (yyvsp[0].exprs); + (yyval.func_fields)->next = NULL; + } +#line 2440 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 61: +#line 542 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.func_fields) = new_func_field(parser->allocator); + (yyval.func_fields)->type = WASM_FUNC_FIELD_TYPE_PARAM_TYPES; + (yyval.func_fields)->types = (yyvsp[-2].types); + (yyval.func_fields)->next = (yyvsp[0].func_fields); + } +#line 2451 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 62: +#line 548 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.func_fields) = new_func_field(parser->allocator); + (yyval.func_fields)->type = WASM_FUNC_FIELD_TYPE_BOUND_PARAM; + (yyval.func_fields)->bound_type.loc = (yylsp[-4]); + (yyval.func_fields)->bound_type.name = (yyvsp[-3].text); + (yyval.func_fields)->bound_type.type = (yyvsp[-2].type); + (yyval.func_fields)->next = (yyvsp[0].func_fields); + } +#line 2464 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 63: +#line 556 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.func_fields) = new_func_field(parser->allocator); + (yyval.func_fields)->type = WASM_FUNC_FIELD_TYPE_RESULT_TYPE; + (yyval.func_fields)->result_type = (yyvsp[-2].type); + (yyval.func_fields)->next = (yyvsp[0].func_fields); + } +#line 2475 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 64: +#line 562 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.func_fields) = new_func_field(parser->allocator); + (yyval.func_fields)->type = WASM_FUNC_FIELD_TYPE_LOCAL_TYPES; + (yyval.func_fields)->types = (yyvsp[-2].types); + (yyval.func_fields)->next = (yyvsp[0].func_fields); + } +#line 2486 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 65: +#line 568 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.func_fields) = new_func_field(parser->allocator); + (yyval.func_fields)->type = WASM_FUNC_FIELD_TYPE_BOUND_LOCAL; + (yyval.func_fields)->bound_type.loc = (yylsp[-4]); + (yyval.func_fields)->bound_type.name = (yyvsp[-3].text); + (yyval.func_fields)->bound_type.type = (yyvsp[-2].type); + (yyval.func_fields)->next = (yyvsp[0].func_fields); + } +#line 2499 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 66: +#line 578 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { (yyval.var) = (yyvsp[-1].var); } +#line 2505 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 67: +#line 581 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.func) = new_func(parser->allocator); + CHECK_ALLOC_NULL((yyval.func)); + WasmFuncField* field = (yyvsp[0].func_fields); + while (field) { + WasmFuncField* next = field->next; + + if (field->type == WASM_FUNC_FIELD_TYPE_PARAM_TYPES || + field->type == WASM_FUNC_FIELD_TYPE_BOUND_PARAM || + field->type == WASM_FUNC_FIELD_TYPE_RESULT_TYPE) { + (yyval.func)->decl.flags = WASM_FUNC_DECLARATION_FLAG_HAS_SIGNATURE; + } + + switch (field->type) { + case WASM_FUNC_FIELD_TYPE_EXPRS: + (yyval.func)->exprs = field->exprs; + break; + + case WASM_FUNC_FIELD_TYPE_PARAM_TYPES: + case WASM_FUNC_FIELD_TYPE_LOCAL_TYPES: { + WasmTypeVector* types = + field->type == WASM_FUNC_FIELD_TYPE_PARAM_TYPES + ? &(yyval.func)->decl.sig.param_types + : &(yyval.func)->local_types; + CHECK_ALLOC( + wasm_extend_types(parser->allocator, types, &field->types)); + wasm_destroy_type_vector(parser->allocator, &field->types); + break; + } + + case WASM_FUNC_FIELD_TYPE_BOUND_PARAM: + case WASM_FUNC_FIELD_TYPE_BOUND_LOCAL: { + WasmTypeVector* types; + WasmBindingHash* bindings; + if (field->type == WASM_FUNC_FIELD_TYPE_BOUND_PARAM) { + types = &(yyval.func)->decl.sig.param_types; + bindings = &(yyval.func)->param_bindings; + } else { + types = &(yyval.func)->local_types; + bindings = &(yyval.func)->local_bindings; + } + + CHECK_ALLOC(wasm_append_type_value(parser->allocator, types, + &field->bound_type.type)); + WasmBinding* binding = wasm_insert_binding( + parser->allocator, bindings, &field->bound_type.name); + CHECK_ALLOC_NULL(binding); + binding->loc = field->bound_type.loc; + binding->index = types->size - 1; + break; + } + + case WASM_FUNC_FIELD_TYPE_RESULT_TYPE: + (yyval.func)->decl.sig.result_type = field->result_type; + break; + } + + /* we steal memory from the func field, but not the linked list nodes */ + wasm_free(parser->allocator, field); + field = next; + } + } +#line 2572 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 68: +#line 645 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.func) = (yyvsp[-1].func); + (yyval.func)->loc = (yylsp[-3]); + (yyval.func)->decl.flags |= WASM_FUNC_DECLARATION_FLAG_HAS_FUNC_TYPE; + (yyval.func)->decl.type_var = (yyvsp[-2].var); + } +#line 2583 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 69: +#line 651 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.func) = (yyvsp[-1].func); + (yyval.func)->loc = (yylsp[-4]); + (yyval.func)->decl.flags |= WASM_FUNC_DECLARATION_FLAG_HAS_FUNC_TYPE; + (yyval.func)->decl.type_var = (yyvsp[-2].var); + (yyval.func)->name = (yyvsp[-3].text); + } +#line 2595 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 70: +#line 658 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.func) = (yyvsp[-1].func); + (yyval.func)->loc = (yylsp[-2]); + (yyval.func)->decl.flags = WASM_FUNC_DECLARATION_FLAG_HAS_SIGNATURE; + } +#line 2605 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 71: +#line 663 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.func) = (yyvsp[-1].func); + (yyval.func)->loc = (yylsp[-3]); + (yyval.func)->decl.flags = WASM_FUNC_DECLARATION_FLAG_HAS_SIGNATURE; + (yyval.func)->name = (yyvsp[-2].text); + } +#line 2616 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 72: +#line 674 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { (yyval.var) = (yyvsp[-1].var); } +#line 2622 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 73: +#line 678 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + if (WASM_FAILED(wasm_parse_int32((yyvsp[0].literal).text.start, + (yyvsp[0].literal).text.start + (yyvsp[0].literal).text.length, &(yyval.u32), + WASM_PARSE_UNSIGNED_ONLY))) { + wasm_ast_parser_error(&(yylsp[0]), lexer, parser, + "invalid memory segment address \"" PRIstringslice + "\"", + WASM_PRINTF_STRING_SLICE_ARG((yyvsp[0].literal).text)); + } + } +#line 2637 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 74: +#line 691 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.segment).loc = (yylsp[-3]); + (yyval.segment).data = (yyvsp[-1].segment).data; + (yyval.segment).size = (yyvsp[-1].segment).size; + (yyval.segment).addr = (yyvsp[-2].u32); + } +#line 2648 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 75: +#line 699 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { WASM_ZERO_MEMORY((yyval.segments)); } +#line 2654 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 76: +#line 700 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.segments) = (yyvsp[-1].segments); + CHECK_ALLOC(wasm_append_segment_value(parser->allocator, &(yyval.segments), &(yyvsp[0].segment))); + } +#line 2663 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 77: +#line 707 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + if (WASM_FAILED(wasm_parse_int32((yyvsp[0].literal).text.start, + (yyvsp[0].literal).text.start + (yyvsp[0].literal).text.length, &(yyval.u32), + WASM_PARSE_UNSIGNED_ONLY))) { + wasm_ast_parser_error(&(yylsp[0]), lexer, parser, + "invalid initial memory pages \"" PRIstringslice + "\"", + WASM_PRINTF_STRING_SLICE_ARG((yyvsp[0].literal).text)); + } + } +#line 2678 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 78: +#line 720 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + if (WASM_FAILED(wasm_parse_int32((yyvsp[0].literal).text.start, + (yyvsp[0].literal).text.start + (yyvsp[0].literal).text.length, &(yyval.u32), + WASM_PARSE_UNSIGNED_ONLY))) { + wasm_ast_parser_error(&(yylsp[0]), lexer, parser, + "invalid max memory pages \"" PRIstringslice "\"", + WASM_PRINTF_STRING_SLICE_ARG((yyvsp[0].literal).text)); + } + } +#line 2692 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 79: +#line 732 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.memory).loc = (yylsp[-4]); + (yyval.memory).initial_pages = (yyvsp[-3].u32); + (yyval.memory).max_pages = (yyvsp[-2].u32); + (yyval.memory).segments = (yyvsp[-1].segments); + } +#line 2703 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 80: +#line 738 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.memory).loc = (yylsp[-3]); + (yyval.memory).initial_pages = (yyvsp[-2].u32); + (yyval.memory).max_pages = (yyval.memory).initial_pages; + (yyval.memory).segments = (yyvsp[-1].segments); + } +#line 2714 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 81: +#line 747 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + WASM_ZERO_MEMORY((yyval.func_type)); + (yyval.func_type).sig = (yyvsp[-2].func_sig); + } +#line 2723 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 82: +#line 751 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.func_type).name = (yyvsp[-5].text); + (yyval.func_type).sig = (yyvsp[-2].func_sig); + } +#line 2732 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 83: +#line 758 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { (yyval.vars) = (yyvsp[-1].vars); } +#line 2738 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 84: +#line 762 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.import) = new_import(parser->allocator); + (yyval.import)->module_name = (yyvsp[-3].text); + (yyval.import)->func_name = (yyvsp[-2].text); + (yyval.import)->decl.flags = WASM_FUNC_DECLARATION_FLAG_HAS_FUNC_TYPE; + (yyval.import)->decl.type_var = (yyvsp[-1].var); + } +#line 2750 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 85: +#line 769 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.import) = new_import(parser->allocator); + (yyval.import)->name = (yyvsp[-4].text); + (yyval.import)->module_name = (yyvsp[-3].text); + (yyval.import)->func_name = (yyvsp[-2].text); + (yyval.import)->decl.flags = WASM_FUNC_DECLARATION_FLAG_HAS_FUNC_TYPE; + (yyval.import)->decl.type_var = (yyvsp[-1].var); + } +#line 2763 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 86: +#line 777 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.import) = new_import(parser->allocator); + (yyval.import)->module_name = (yyvsp[-3].text); + (yyval.import)->func_name = (yyvsp[-2].text); + (yyval.import)->decl.flags = WASM_FUNC_DECLARATION_FLAG_HAS_SIGNATURE; + (yyval.import)->decl.sig = (yyvsp[-1].func_sig); + } +#line 2775 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 87: +#line 784 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.import) = new_import(parser->allocator); + (yyval.import)->name = (yyvsp[-4].text); + (yyval.import)->module_name = (yyvsp[-3].text); + (yyval.import)->func_name = (yyvsp[-2].text); + (yyval.import)->decl.flags = WASM_FUNC_DECLARATION_FLAG_HAS_SIGNATURE; + (yyval.import)->decl.sig = (yyvsp[-1].func_sig); + } +#line 2788 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 88: +#line 795 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.export_).name = (yyvsp[-2].text); + (yyval.export_).var = (yyvsp[-1].var); + } +#line 2797 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 89: +#line 802 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.export_memory).name = (yyvsp[-2].text); + } +#line 2805 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 90: +#line 808 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.module) = new_module(parser->allocator); + } +#line 2813 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 91: +#line 811 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.module) = (yyvsp[-1].module); + WasmModuleField* field = wasm_append_module_field(parser->allocator, (yyval.module)); + CHECK_ALLOC_NULL(field); + field->loc = (yylsp[0]); + field->type = WASM_MODULE_FIELD_TYPE_FUNC; + field->func = *(yyvsp[0].func); + wasm_free(parser->allocator, (yyvsp[0].func)); + } +#line 2827 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 92: +#line 820 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.module) = (yyvsp[-1].module); + WasmModuleField* field = wasm_append_module_field(parser->allocator, (yyval.module)); + CHECK_ALLOC_NULL(field); + field->loc = (yylsp[0]); + field->type = WASM_MODULE_FIELD_TYPE_IMPORT; + field->import = *(yyvsp[0].import); + wasm_free(parser->allocator, (yyvsp[0].import)); + } +#line 2841 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 93: +#line 829 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.module) = (yyvsp[-1].module); + WasmModuleField* field = wasm_append_module_field(parser->allocator, (yyval.module)); + CHECK_ALLOC_NULL(field); + field->loc = (yylsp[0]); + field->type = WASM_MODULE_FIELD_TYPE_EXPORT; + field->export_ = (yyvsp[0].export_); + } +#line 2854 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 94: +#line 837 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.module) = (yyvsp[-1].module); + WasmModuleField* field = wasm_append_module_field(parser->allocator, (yyval.module)); + CHECK_ALLOC_NULL(field); + field->loc = (yylsp[0]); + field->type = WASM_MODULE_FIELD_TYPE_EXPORT_MEMORY; + field->export_memory = (yyvsp[0].export_memory); + } +#line 2867 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 95: +#line 845 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.module) = (yyvsp[-1].module); + WasmModuleField* field = wasm_append_module_field(parser->allocator, (yyval.module)); + CHECK_ALLOC_NULL(field); + field->loc = (yylsp[0]); + field->type = WASM_MODULE_FIELD_TYPE_TABLE; + field->table = (yyvsp[0].vars); + } +#line 2880 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 96: +#line 853 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.module) = (yyvsp[-1].module); + WasmModuleField* field = wasm_append_module_field(parser->allocator, (yyval.module)); + CHECK_ALLOC_NULL(field); + field->loc = (yylsp[0]); + field->type = WASM_MODULE_FIELD_TYPE_FUNC_TYPE; + field->func_type = (yyvsp[0].func_type); + } +#line 2893 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 97: +#line 861 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.module) = (yyvsp[-1].module); + WasmModuleField* field = wasm_append_module_field(parser->allocator, (yyval.module)); + CHECK_ALLOC_NULL(field); + field->loc = (yylsp[0]); + field->type = WASM_MODULE_FIELD_TYPE_MEMORY; + field->memory = (yyvsp[0].memory); + } +#line 2906 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 98: +#line 869 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.module) = (yyvsp[-1].module); + WasmModuleField* field = wasm_append_module_field(parser->allocator, (yyval.module)); + CHECK_ALLOC_NULL(field); + field->loc = (yylsp[0]); + field->type = WASM_MODULE_FIELD_TYPE_START; + field->start = (yyvsp[0].var); + } +#line 2919 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 99: +#line 879 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.module) = (yyvsp[-1].module); + (yyval.module)->loc = (yylsp[-2]); + + /* cache values */ + WasmModuleField* field; + for (field = (yyval.module)->first_field; field; field = field->next) { + switch (field->type) { + case WASM_MODULE_FIELD_TYPE_FUNC: { + WasmFuncPtr func_ptr = &field->func; + CHECK_ALLOC(wasm_append_func_ptr_value(parser->allocator, + &(yyval.module)->funcs, &func_ptr)); + if (field->func.name.start) { + WasmBinding* binding = wasm_insert_binding( + parser->allocator, &(yyval.module)->func_bindings, &field->func.name); + CHECK_ALLOC_NULL(binding); + binding->loc = field->loc; + binding->index = (yyval.module)->funcs.size - 1; + } + break; + } + case WASM_MODULE_FIELD_TYPE_IMPORT: { + WasmImportPtr import_ptr = &field->import; + CHECK_ALLOC(wasm_append_import_ptr_value( + parser->allocator, &(yyval.module)->imports, &import_ptr)); + if (field->import.name.start) { + WasmBinding* binding = wasm_insert_binding( + parser->allocator, &(yyval.module)->import_bindings, &field->import.name); + CHECK_ALLOC_NULL(binding); + binding->loc = field->loc; + binding->index = (yyval.module)->imports.size - 1; + } + break; + } + case WASM_MODULE_FIELD_TYPE_EXPORT: { + WasmExportPtr export_ptr = &field->export_; + CHECK_ALLOC(wasm_append_export_ptr_value( + parser->allocator, &(yyval.module)->exports, &export_ptr)); + if (field->export_.name.start) { + WasmBinding* binding = + wasm_insert_binding(parser->allocator, &(yyval.module)->export_bindings, + &field->export_.name); + CHECK_ALLOC_NULL(binding); + binding->loc = field->loc; + binding->index = (yyval.module)->exports.size - 1; + } + break; + } + case WASM_MODULE_FIELD_TYPE_EXPORT_MEMORY: + (yyval.module)->export_memory = &field->export_memory; + break; + case WASM_MODULE_FIELD_TYPE_TABLE: + (yyval.module)->table = &field->table; + break; + case WASM_MODULE_FIELD_TYPE_FUNC_TYPE: { + WasmFuncTypePtr func_type_ptr = &field->func_type; + CHECK_ALLOC(wasm_append_func_type_ptr_value( + parser->allocator, &(yyval.module)->func_types, &func_type_ptr)); + if (field->func_type.name.start) { + WasmBinding* binding = wasm_insert_binding( + parser->allocator, &(yyval.module)->func_type_bindings, + &field->func_type.name); + CHECK_ALLOC_NULL(binding); + binding->loc = field->loc; + binding->index = (yyval.module)->func_types.size - 1; + } + break; + } + case WASM_MODULE_FIELD_TYPE_MEMORY: + (yyval.module)->memory = &field->memory; + break; + case WASM_MODULE_FIELD_TYPE_START: + (yyval.module)->start = &field->start; + break; + } + } + + size_t i; + for (i = 0; i < (yyval.module)->funcs.size; ++i) { + WasmFunc* func = (yyval.module)->funcs.data[i]; + CHECK_ALLOC( + copy_signature_from_func_type(parser->allocator, (yyval.module), &func->decl)); + } + + for (i = 0; i < (yyval.module)->imports.size; ++i) { + WasmImport* import = (yyval.module)->imports.data[i]; + CHECK_ALLOC(copy_signature_from_func_type(parser->allocator, (yyval.module), + &import->decl)); + } + } +#line 3014 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 100: +#line 975 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.command) = new_command(parser->allocator); + (yyval.command)->type = WASM_COMMAND_TYPE_MODULE; + (yyval.command)->module = *(yyvsp[0].module); + wasm_free(parser->allocator, (yyvsp[0].module)); + } +#line 3025 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 101: +#line 981 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.command) = new_command(parser->allocator); + (yyval.command)->type = WASM_COMMAND_TYPE_INVOKE; + (yyval.command)->invoke.loc = (yylsp[-3]); + (yyval.command)->invoke.name = (yyvsp[-2].text); + (yyval.command)->invoke.args = (yyvsp[-1].consts); + } +#line 3037 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 102: +#line 988 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.command) = new_command(parser->allocator); + (yyval.command)->type = WASM_COMMAND_TYPE_ASSERT_INVALID; + (yyval.command)->assert_invalid.module = *(yyvsp[-2].module); + (yyval.command)->assert_invalid.text = (yyvsp[-1].text); + wasm_free(parser->allocator, (yyvsp[-2].module)); + } +#line 3049 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 103: +#line 995 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.command) = new_command(parser->allocator); + (yyval.command)->type = WASM_COMMAND_TYPE_ASSERT_RETURN; + (yyval.command)->assert_return.invoke.loc = (yylsp[-5]); + (yyval.command)->assert_return.invoke.name = (yyvsp[-4].text); + (yyval.command)->assert_return.invoke.args = (yyvsp[-3].consts); + (yyval.command)->assert_return.expected = (yyvsp[-1].const_); + } +#line 3062 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 104: +#line 1003 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.command) = new_command(parser->allocator); + (yyval.command)->type = WASM_COMMAND_TYPE_ASSERT_RETURN_NAN; + (yyval.command)->assert_return_nan.invoke.loc = (yylsp[-4]); + (yyval.command)->assert_return_nan.invoke.name = (yyvsp[-3].text); + (yyval.command)->assert_return_nan.invoke.args = (yyvsp[-2].consts); + } +#line 3074 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 105: +#line 1010 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.command) = new_command(parser->allocator); + (yyval.command)->type = WASM_COMMAND_TYPE_ASSERT_TRAP; + (yyval.command)->assert_trap.invoke.loc = (yylsp[-5]); + (yyval.command)->assert_trap.invoke.name = (yyvsp[-4].text); + (yyval.command)->assert_trap.invoke.args = (yyvsp[-3].consts); + (yyval.command)->assert_trap.text = (yyvsp[-1].text); + } +#line 3087 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 106: +#line 1020 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { WASM_ZERO_MEMORY((yyval.commands)); } +#line 3093 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 107: +#line 1021 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.commands) = (yyvsp[-1].commands); + CHECK_ALLOC(wasm_append_command_value(parser->allocator, &(yyval.commands), (yyvsp[0].command))); + wasm_free(parser->allocator, (yyvsp[0].command)); + } +#line 3103 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 108: +#line 1029 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.const_).loc = (yylsp[-2]); + if (WASM_FAILED(parse_const((yyvsp[-2].type), (yyvsp[-1].literal).type, (yyvsp[-1].literal).text.start, + (yyvsp[-1].literal).text.start + (yyvsp[-1].literal).text.length, &(yyval.const_)))) { + wasm_ast_parser_error(&(yylsp[-1]), lexer, parser, + "invalid literal \"" PRIstringslice "\"", + WASM_PRINTF_STRING_SLICE_ARG((yyvsp[-1].literal).text)); + } + wasm_free(parser->allocator, (char*)(yyvsp[-1].literal).text.start); + } +#line 3118 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 109: +#line 1041 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { (yyval.const_).type = WASM_TYPE_VOID; } +#line 3124 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 111: +#line 1045 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { WASM_ZERO_MEMORY((yyval.consts)); } +#line 3130 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 112: +#line 1046 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.consts) = (yyvsp[-1].consts); + CHECK_ALLOC(wasm_append_const_value(parser->allocator, &(yyval.consts), &(yyvsp[0].const_))); + } +#line 3139 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + case 113: +#line 1053 "src/wasm-ast-parser.y" /* yacc.c:1646 */ + { + (yyval.script).commands = (yyvsp[0].commands); + parser->script = (yyval.script); + } +#line 3148 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + break; + + +#line 3152 "src/prebuilt/wasm-ast-parser-gen.c" /* yacc.c:1646 */ + 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 ("-> $$ =", yyr1[yyn], &yyval, &yyloc); + + YYPOPSTACK (yylen); + yylen = 0; + YY_STACK_PRINT (yyss, yyssp); + + *++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. */ + + yyn = yyr1[yyn]; + + yystate = yypgoto[yyn - YYNTOKENS] + *yyssp; + if (0 <= yystate && yystate <= YYLAST && yycheck[yystate] == *yyssp) + yystate = yytable[yystate]; + else + yystate = yydefgoto[yyn - YYNTOKENS]; + + 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 ? YYEMPTY : YYTRANSLATE (yychar); + + /* If not already recovering from an error, report this error. */ + if (!yyerrstatus) + { + ++yynerrs; +#if ! YYERROR_VERBOSE + yyerror (&yylloc, lexer, parser, YY_("syntax error")); +#else +# define YYSYNTAX_ERROR yysyntax_error (&yymsg_alloc, &yymsg, \ + yyssp, yytoken) + { + char const *yymsgp = YY_("syntax error"); + int yysyntax_error_status; + yysyntax_error_status = YYSYNTAX_ERROR; + if (yysyntax_error_status == 0) + yymsgp = yymsg; + else if (yysyntax_error_status == 1) + { + if (yymsg != yymsgbuf) + YYSTACK_FREE (yymsg); + yymsg = (char *) YYSTACK_ALLOC (yymsg_alloc); + if (!yymsg) + { + yymsg = yymsgbuf; + yymsg_alloc = sizeof yymsgbuf; + yysyntax_error_status = 2; + } + else + { + yysyntax_error_status = YYSYNTAX_ERROR; + yymsgp = yymsg; + } + } + yyerror (&yylloc, lexer, parser, yymsgp); + if (yysyntax_error_status == 2) + goto yyexhaustedlab; + } +# undef YYSYNTAX_ERROR +#endif + } + + 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, lexer, parser); + 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 like GCC when the user code never invokes + YYERROR and the label yyerrorlab therefore never appears in user + code. */ + if (/*CONSTCOND*/ 0) + goto yyerrorlab; + + yyerror_range[1] = yylsp[1-yylen]; + /* 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. */ + + for (;;) + { + yyn = yypact[yystate]; + if (!yypact_value_is_default (yyn)) + { + yyn += YYTERROR; + if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR) + { + 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", + yystos[yystate], yyvsp, yylsp, lexer, parser); + 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; + /* Using YYLLOC is tempting, but would change the location of + the lookahead. YYLOC is available though. */ + YYLLOC_DEFAULT (yyloc, yyerror_range, 2); + *++yylsp = yyloc; + + /* Shift the error token. */ + YY_SYMBOL_PRINT ("Shifting", yystos[yyn], yyvsp, yylsp); + + yystate = yyn; + goto yynewstate; + + +/*-------------------------------------. +| yyacceptlab -- YYACCEPT comes here. | +`-------------------------------------*/ +yyacceptlab: + yyresult = 0; + goto yyreturn; + +/*-----------------------------------. +| yyabortlab -- YYABORT comes here. | +`-----------------------------------*/ +yyabortlab: + yyresult = 1; + goto yyreturn; + +#if !defined yyoverflow || YYERROR_VERBOSE +/*-------------------------------------------------. +| yyexhaustedlab -- memory exhaustion comes here. | +`-------------------------------------------------*/ +yyexhaustedlab: + yyerror (&yylloc, lexer, parser, YY_("memory exhausted")); + yyresult = 2; + /* Fall through. */ +#endif + +yyreturn: + 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, lexer, parser); + } + /* 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", + yystos[*yyssp], yyvsp, yylsp, lexer, parser); + YYPOPSTACK (1); + } +#ifndef yyoverflow + if (yyss != yyssa) + YYSTACK_FREE (yyss); +#endif +#if YYERROR_VERBOSE + if (yymsg != yymsgbuf) + YYSTACK_FREE (yymsg); +#endif + return yyresult; +} +#line 1065 "src/wasm-ast-parser.y" /* yacc.c:1906 */ + + +static WasmResult parse_const(WasmType type, + WasmLiteralType literal_type, + const char* s, + const char* end, + WasmConst* out) { + out->type = type; + switch (type) { + case WASM_TYPE_I32: + return wasm_parse_int32(s, end, &out->u32, + WASM_PARSE_SIGNED_AND_UNSIGNED); + case WASM_TYPE_I64: + return wasm_parse_int64(s, end, &out->u64); + case WASM_TYPE_F32: + return wasm_parse_float(literal_type, s, end, &out->f32_bits); + case WASM_TYPE_F64: + return wasm_parse_double(literal_type, s, end, &out->f64_bits); + default: + assert(0); + break; + } + return WASM_ERROR; +} + +static size_t copy_string_contents(WasmStringSlice* text, + char* dest, + size_t size) { + const char* src = text->start + 1; + const char* end = text->start + text->length - 1; + + char* dest_start = dest; + + while (src < end) { + if (*src == '\\') { + src++; + switch (*src) { + case 'n': + *dest++ = '\n'; + break; + case 't': + *dest++ = '\t'; + break; + case '\\': + *dest++ = '\\'; + break; + case '\'': + *dest++ = '\''; + break; + case '\"': + *dest++ = '\"'; + break; + default: { + /* The string should be validated already, so we know this is a hex + * sequence */ + uint32_t hi; + uint32_t lo; + if (WASM_SUCCEEDED(wasm_parse_hexdigit(src[0], &hi)) && + WASM_SUCCEEDED(wasm_parse_hexdigit(src[1], &lo))) { + *dest++ = (hi << 4) | lo; + } else { + assert(0); + } + src++; + break; + } + } + src++; + } else { + *dest++ = *src++; + } + } + /* return the data length */ + return dest - dest_start; +} + +static WasmResult dup_string_contents(WasmAllocator* allocator, + WasmStringSlice* text, + void** out_data, + size_t* out_size) { + const char* src = text->start + 1; + const char* end = text->start + text->length - 1; + /* Always allocate enough space for the entire string including the escape + * characters. It will only get shorter, and this way we only have to iterate + * through the string once. */ + size_t size = end - src; + char* result = wasm_alloc(allocator, size, 1); + if (!result) + return WASM_ERROR; + size_t actual_size = copy_string_contents(text, result, size); + *out_data = result; + *out_size = actual_size; + return WASM_OK; +} + +WasmResult wasm_parse_ast(WasmAstLexer* lexer, + struct WasmScript* out_script, + WasmSourceErrorHandler* error_handler) { + WasmAstParser parser; + WASM_ZERO_MEMORY(parser); + WasmAllocator* allocator = wasm_ast_lexer_get_allocator(lexer); + parser.allocator = allocator; + parser.error_handler = error_handler; + out_script->allocator = allocator; + int result = wasm_ast_parser_parse(lexer, &parser); + out_script->commands = parser.script.commands; + return result == 0 && parser.errors == 0 ? WASM_OK : WASM_ERROR; +} + +WasmExpr* new_block_expr_with_one(WasmAllocator* allocator, WasmExpr* expr) { + WasmExpr* block = wasm_new_block_expr(allocator); + if (block) { + WasmExprPtr* expr_ptr = + wasm_append_expr_ptr(allocator, &block->block.exprs); + if (expr_ptr) { + *expr_ptr = expr; + return block; + } + wasm_destroy_expr_ptr(allocator, &block); + } + return NULL; +} + +WasmExpr* new_block_expr_with_list(WasmAllocator* allocator, + WasmLabel* label, + WasmExprPtrVector* exprs) { + WasmExpr* block = wasm_new_block_expr(allocator); + if (!block) + return NULL; + block->block.label = *label; + block->block.exprs = *exprs; + return block; +} + +WasmResult copy_signature_from_func_type(WasmAllocator* allocator, + WasmModule* module, + WasmFuncDeclaration* decl) { + /* if a function or import only defines a func type (and no explicit + * signature), copy the signature over for convenience */ + if (wasm_decl_has_func_type(decl) && !wasm_decl_has_signature(decl)) { + int index = wasm_get_func_type_index_by_var(module, &decl->type_var); + if (index >= 0 && (size_t)index < module->func_types.size) { + WasmFuncType* func_type = module->func_types.data[index]; + decl->sig.result_type = func_type->sig.result_type; + return wasm_extend_types(allocator, &decl->sig.param_types, + &func_type->sig.param_types); + } else { + /* technically not OK, but we'll catch this error later in the AST + * checker */ + return WASM_OK; + } + } + return WASM_OK; +} |