Branch data Line data Source code
1 : : /* A Bison parser, made by GNU Bison 3.7.5. */
2 : :
3 : : /* Bison implementation for Yacc-like parsers in C
4 : :
5 : : Copyright (C) 1984, 1989-1990, 2000-2015, 2018-2021 Free Software Foundation,
6 : : Inc.
7 : :
8 : : This program is free software: you can redistribute it and/or modify
9 : : it under the terms of the GNU General Public License as published by
10 : : the Free Software Foundation, either version 3 of the License, or
11 : : (at your option) any later version.
12 : :
13 : : This program is distributed in the hope that it will be useful,
14 : : but WITHOUT ANY WARRANTY; without even the implied warranty of
15 : : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 : : GNU General Public License for more details.
17 : :
18 : : You should have received a copy of the GNU General Public License
19 : : along with this program. If not, see <http://www.gnu.org/licenses/>. */
20 : :
21 : : /* As a special exception, you may create a larger work that contains
22 : : part or all of the Bison parser skeleton and distribute that work
23 : : under terms of your choice, so long as that work isn't itself a
24 : : parser generator using the skeleton or a modified version thereof
25 : : as a parser skeleton. Alternatively, if you modify or redistribute
26 : : the parser skeleton itself, you may (at your option) remove this
27 : : special exception, which will cause the skeleton and the resulting
28 : : Bison output files to be licensed under the GNU General Public
29 : : License without this special exception.
30 : :
31 : : This special exception was added by the Free Software Foundation in
32 : : version 2.2 of Bison. */
33 : :
34 : : /* C LALR(1) parser skeleton written by Richard Stallman, by
35 : : simplifying the original so-called "semantic" parser. */
36 : :
37 : : /* DO NOT RELY ON FEATURES THAT ARE NOT DOCUMENTED in the manual,
38 : : especially those whose name start with YY_ or yy_. They are
39 : : private implementation details that can be changed or removed. */
40 : :
41 : : /* All symbols defined below should begin with yy or YY, to avoid
42 : : infringing on user name space. This should be done even for local
43 : : variables, as they might otherwise be expanded by user macros.
44 : : There are some unavoidable exceptions within include files to
45 : : define necessary library symbols; they are noted "INFRINGES ON
46 : : USER NAME SPACE" below. */
47 : :
48 : : /* Identify Bison output, and Bison version. */
49 : : #define YYBISON 30705
50 : :
51 : : /* Bison version string. */
52 : : #define YYBISON_VERSION "3.7.5"
53 : :
54 : : /* Skeleton name. */
55 : : #define YYSKELETON_NAME "yacc.c"
56 : :
57 : : /* Pure parsers. */
58 : : #define YYPURE 0
59 : :
60 : : /* Push parsers. */
61 : : #define YYPUSH 0
62 : :
63 : : /* Pull parsers. */
64 : : #define YYPULL 1
65 : :
66 : :
67 : : /* Substitute the variable and function names. */
68 : : #define yyparse i386_parse
69 : : #define yylex i386_lex
70 : : #define yyerror i386_error
71 : : #define yydebug i386_debug
72 : : #define yynerrs i386_nerrs
73 : : #define yylval i386_lval
74 : : #define yychar i386_char
75 : :
76 : : /* First part of user prologue. */
77 : : #line 1 "i386_parse.y"
78 : :
79 : : /* Parser for i386 CPU description.
80 : : Copyright (C) 2004, 2005, 2007, 2008, 2009 Red Hat, Inc.
81 : : Written by Ulrich Drepper <drepper@redhat.com>, 2004.
82 : :
83 : : This file is free software; you can redistribute it and/or modify
84 : : it under the terms of either
85 : :
86 : : * the GNU Lesser General Public License as published by the Free
87 : : Software Foundation; either version 3 of the License, or (at
88 : : your option) any later version
89 : :
90 : : or
91 : :
92 : : * the GNU General Public License as published by the Free
93 : : Software Foundation; either version 2 of the License, or (at
94 : : your option) any later version
95 : :
96 : : or both in parallel, as here.
97 : :
98 : : elfutils is distributed in the hope that it will be useful, but
99 : : WITHOUT ANY WARRANTY; without even the implied warranty of
100 : : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
101 : : General Public License for more details.
102 : :
103 : : You should have received copies of the GNU General Public License and
104 : : the GNU Lesser General Public License along with this program. If
105 : : not, see <http://www.gnu.org/licenses/>. */
106 : :
107 : : #ifdef HAVE_CONFIG_H
108 : : # include <config.h>
109 : : #endif
110 : :
111 : : #include <assert.h>
112 : : #include <ctype.h>
113 : : #include <errno.h>
114 : : #include <inttypes.h>
115 : : #include <math.h>
116 : : #include <obstack.h>
117 : : #include <search.h>
118 : : #include <stdbool.h>
119 : : #include <stdio.h>
120 : : #include <stdlib.h>
121 : : #include <string.h>
122 : :
123 : : #include <libeu.h>
124 : : #include <system.h>
125 : :
126 : : #include "i386_mne.h"
127 : :
128 : : #define obstack_chunk_alloc xmalloc
129 : : #define obstack_chunk_free free
130 : :
131 : : /* The error handler. */
132 : : static void yyerror (const char *s);
133 : :
134 : : extern int yylex (void);
135 : : extern int i386_lineno;
136 : : extern char *infname;
137 : :
138 : :
139 : : struct known_bitfield
140 : : {
141 : : char *name;
142 : : unsigned long int bits;
143 : : int tmp;
144 : : };
145 : :
146 : :
147 : : struct bitvalue
148 : : {
149 : : enum bittype { zeroone, field, failure } type;
150 : : union
151 : : {
152 : : unsigned int value;
153 : : struct known_bitfield *field;
154 : : };
155 : : struct bitvalue *next;
156 : : };
157 : :
158 : :
159 : : struct argname
160 : : {
161 : : enum nametype { string, nfield } type;
162 : : union
163 : : {
164 : : char *str;
165 : : struct known_bitfield *field;
166 : : };
167 : : struct argname *next;
168 : : };
169 : :
170 : :
171 : : struct argument
172 : : {
173 : : struct argname *name;
174 : : struct argument *next;
175 : : };
176 : :
177 : :
178 : : struct instruction
179 : : {
180 : : /* The byte encoding. */
181 : : struct bitvalue *bytes;
182 : :
183 : : /* Prefix possible. */
184 : : int repe;
185 : : int rep;
186 : :
187 : : /* Mnemonic. */
188 : : char *mnemonic;
189 : :
190 : : /* Suffix. */
191 : : enum { suffix_none = 0, suffix_w, suffix_w0, suffix_W, suffix_tttn,
192 : : suffix_w1, suffix_W1, suffix_D } suffix;
193 : :
194 : : /* Flag set if modr/m is used. */
195 : : int modrm;
196 : :
197 : : /* Operands. */
198 : : struct operand
199 : : {
200 : : char *fct;
201 : : char *str;
202 : : int off1;
203 : : int off2;
204 : : int off3;
205 : : } operands[3];
206 : :
207 : : struct instruction *next;
208 : : };
209 : :
210 : :
211 : : struct synonym
212 : : {
213 : : char *from;
214 : : char *to;
215 : : };
216 : :
217 : :
218 : : struct suffix
219 : : {
220 : : char *name;
221 : : int idx;
222 : : };
223 : :
224 : :
225 : : struct argstring
226 : : {
227 : : char *str;
228 : : int idx;
229 : : int off;
230 : : };
231 : :
232 : :
233 : : static struct known_bitfield ax_reg =
234 : : {
235 : : .name = "ax", .bits = 0, .tmp = 0
236 : : };
237 : :
238 : : static struct known_bitfield dx_reg =
239 : : {
240 : : .name = "dx", .bits = 0, .tmp = 0
241 : : };
242 : :
243 : : static struct known_bitfield di_reg =
244 : : {
245 : : .name = "es_di", .bits = 0, .tmp = 0
246 : : };
247 : :
248 : : static struct known_bitfield si_reg =
249 : : {
250 : : .name = "ds_si", .bits = 0, .tmp = 0
251 : : };
252 : :
253 : : static struct known_bitfield bx_reg =
254 : : {
255 : : .name = "ds_bx", .bits = 0, .tmp = 0
256 : : };
257 : :
258 : :
259 : : static int bitfield_compare (const void *p1, const void *p2);
260 : : static void new_bitfield (char *name, unsigned long int num);
261 : : static void check_bits (struct bitvalue *value);
262 : : static int check_duplicates (struct bitvalue *val);
263 : : static int check_argsdef (struct bitvalue *bitval, struct argument *args);
264 : : static int check_bitsused (struct bitvalue *bitval,
265 : : struct known_bitfield *suffix,
266 : : struct argument *args);
267 : : static struct argname *combine (struct argname *name);
268 : : static void fillin_arg (struct bitvalue *bytes, struct argname *name,
269 : : struct instruction *instr, int n);
270 : : static void find_numbers (void);
271 : : static int compare_syn (const void *p1, const void *p2);
272 : : static int compare_suf (const void *p1, const void *p2);
273 : : static void instrtable_out (void);
274 : : #if 0
275 : : static void create_mnemonic_table (void);
276 : : #endif
277 : :
278 : : static void *bitfields;
279 : : static struct instruction *instructions;
280 : : static size_t ninstructions;
281 : : static void *synonyms;
282 : : static void *suffixes;
283 : : static int nsuffixes;
284 : : static void *mnemonics;
285 : : size_t nmnemonics;
286 : : extern FILE *outfile;
287 : :
288 : : /* Number of bits used mnemonics. */
289 : : #if 0
290 : : static size_t best_mnemonic_bits;
291 : : #endif
292 : :
293 : : #line 294 "i386_parse.c"
294 : :
295 : : # ifndef YY_CAST
296 : : # ifdef __cplusplus
297 : : # define YY_CAST(Type, Val) static_cast<Type> (Val)
298 : : # define YY_REINTERPRET_CAST(Type, Val) reinterpret_cast<Type> (Val)
299 : : # else
300 : : # define YY_CAST(Type, Val) ((Type) (Val))
301 : : # define YY_REINTERPRET_CAST(Type, Val) ((Type) (Val))
302 : : # endif
303 : : # endif
304 : : # ifndef YY_NULLPTR
305 : : # if defined __cplusplus
306 : : # if 201103L <= __cplusplus
307 : : # define YY_NULLPTR nullptr
308 : : # else
309 : : # define YY_NULLPTR 0
310 : : # endif
311 : : # else
312 : : # define YY_NULLPTR ((void*)0)
313 : : # endif
314 : : # endif
315 : :
316 : : /* Use api.header.include to #include this header
317 : : instead of duplicating it here. */
318 : : #ifndef YY_I386_I_PARSE_H_INCLUDED
319 : : # define YY_I386_I_PARSE_H_INCLUDED
320 : : /* Debug traces. */
321 : : #ifndef YYDEBUG
322 : : # define YYDEBUG 0
323 : : #endif
324 : : #if YYDEBUG
325 : : extern int i386_debug;
326 : : #endif
327 : :
328 : : /* Token kinds. */
329 : : #ifndef YYTOKENTYPE
330 : : # define YYTOKENTYPE
331 : : enum yytokentype
332 : : {
333 : : YYEMPTY = -2,
334 : : YYEOF = 0, /* "end of file" */
335 : : YYerror = 256, /* error */
336 : : YYUNDEF = 257, /* "invalid token" */
337 : : kMASK = 258, /* kMASK */
338 : : kPREFIX = 259, /* kPREFIX */
339 : : kSUFFIX = 260, /* kSUFFIX */
340 : : kSYNONYM = 261, /* kSYNONYM */
341 : : kID = 262, /* kID */
342 : : kNUMBER = 263, /* kNUMBER */
343 : : kPERCPERC = 264, /* kPERCPERC */
344 : : kBITFIELD = 265, /* kBITFIELD */
345 : : kCHAR = 266, /* kCHAR */
346 : : kSPACE = 267 /* kSPACE */
347 : : };
348 : : typedef enum yytokentype yytoken_kind_t;
349 : : #endif
350 : : /* Token kinds. */
351 : : #define YYEMPTY -2
352 : : #define YYEOF 0
353 : : #define YYerror 256
354 : : #define YYUNDEF 257
355 : : #define kMASK 258
356 : : #define kPREFIX 259
357 : : #define kSUFFIX 260
358 : : #define kSYNONYM 261
359 : : #define kID 262
360 : : #define kNUMBER 263
361 : : #define kPERCPERC 264
362 : : #define kBITFIELD 265
363 : : #define kCHAR 266
364 : : #define kSPACE 267
365 : :
366 : : /* Value type. */
367 : : #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
368 : : union YYSTYPE
369 : : {
370 : : #line 217 "i386_parse.y"
371 : :
372 : : unsigned long int num;
373 : : char *str;
374 : : char ch;
375 : : struct known_bitfield *field;
376 : : struct bitvalue *bit;
377 : : struct argname *name;
378 : : struct argument *arg;
379 : :
380 : : #line 381 "i386_parse.c"
381 : :
382 : : };
383 : : typedef union YYSTYPE YYSTYPE;
384 : : # define YYSTYPE_IS_TRIVIAL 1
385 : : # define YYSTYPE_IS_DECLARED 1
386 : : #endif
387 : :
388 : :
389 : : extern YYSTYPE i386_lval;
390 : :
391 : : int i386_parse (void);
392 : :
393 : : #endif /* !YY_I386_I_PARSE_H_INCLUDED */
394 : : /* Symbol kind. */
395 : : enum yysymbol_kind_t
396 : : {
397 : : YYSYMBOL_YYEMPTY = -2,
398 : : YYSYMBOL_YYEOF = 0, /* "end of file" */
399 : : YYSYMBOL_YYerror = 1, /* error */
400 : : YYSYMBOL_YYUNDEF = 2, /* "invalid token" */
401 : : YYSYMBOL_kMASK = 3, /* kMASK */
402 : : YYSYMBOL_kPREFIX = 4, /* kPREFIX */
403 : : YYSYMBOL_kSUFFIX = 5, /* kSUFFIX */
404 : : YYSYMBOL_kSYNONYM = 6, /* kSYNONYM */
405 : : YYSYMBOL_kID = 7, /* kID */
406 : : YYSYMBOL_kNUMBER = 8, /* kNUMBER */
407 : : YYSYMBOL_kPERCPERC = 9, /* kPERCPERC */
408 : : YYSYMBOL_kBITFIELD = 10, /* kBITFIELD */
409 : : YYSYMBOL_kCHAR = 11, /* kCHAR */
410 : : YYSYMBOL_kSPACE = 12, /* kSPACE */
411 : : YYSYMBOL_13_n_ = 13, /* '\n' */
412 : : YYSYMBOL_14_ = 14, /* ':' */
413 : : YYSYMBOL_15_ = 15, /* ',' */
414 : : YYSYMBOL_16_0_ = 16, /* '0' */
415 : : YYSYMBOL_17_1_ = 17, /* '1' */
416 : : YYSYMBOL_YYACCEPT = 18, /* $accept */
417 : : YYSYMBOL_spec = 19, /* spec */
418 : : YYSYMBOL_masks = 20, /* masks */
419 : : YYSYMBOL_mask = 21, /* mask */
420 : : YYSYMBOL_instrs = 22, /* instrs */
421 : : YYSYMBOL_instr = 23, /* instr */
422 : : YYSYMBOL_bitfieldopt = 24, /* bitfieldopt */
423 : : YYSYMBOL_bytes = 25, /* bytes */
424 : : YYSYMBOL_byte = 26, /* byte */
425 : : YYSYMBOL_bit = 27, /* bit */
426 : : YYSYMBOL_optargs = 28, /* optargs */
427 : : YYSYMBOL_args = 29, /* args */
428 : : YYSYMBOL_arg = 30, /* arg */
429 : : YYSYMBOL_argcomp = 31 /* argcomp */
430 : : };
431 : : typedef enum yysymbol_kind_t yysymbol_kind_t;
432 : :
433 : :
434 : :
435 : :
436 : : #ifdef short
437 : : # undef short
438 : : #endif
439 : :
440 : : /* On compilers that do not define __PTRDIFF_MAX__ etc., make sure
441 : : <limits.h> and (if available) <stdint.h> are included
442 : : so that the code can choose integer types of a good width. */
443 : :
444 : : #ifndef __PTRDIFF_MAX__
445 : : # include <limits.h> /* INFRINGES ON USER NAME SPACE */
446 : : # if defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__
447 : : # include <stdint.h> /* INFRINGES ON USER NAME SPACE */
448 : : # define YY_STDINT_H
449 : : # endif
450 : : #endif
451 : :
452 : : /* Narrow types that promote to a signed type and that can represent a
453 : : signed or unsigned integer of at least N bits. In tables they can
454 : : save space and decrease cache pressure. Promoting to a signed type
455 : : helps avoid bugs in integer arithmetic. */
456 : :
457 : : #ifdef __INT_LEAST8_MAX__
458 : : typedef __INT_LEAST8_TYPE__ yytype_int8;
459 : : #elif defined YY_STDINT_H
460 : : typedef int_least8_t yytype_int8;
461 : : #else
462 : : typedef signed char yytype_int8;
463 : : #endif
464 : :
465 : : #ifdef __INT_LEAST16_MAX__
466 : : typedef __INT_LEAST16_TYPE__ yytype_int16;
467 : : #elif defined YY_STDINT_H
468 : : typedef int_least16_t yytype_int16;
469 : : #else
470 : : typedef short yytype_int16;
471 : : #endif
472 : :
473 : : /* Work around bug in HP-UX 11.23, which defines these macros
474 : : incorrectly for preprocessor constants. This workaround can likely
475 : : be removed in 2023, as HPE has promised support for HP-UX 11.23
476 : : (aka HP-UX 11i v2) only through the end of 2022; see Table 2 of
477 : : <https://h20195.www2.hpe.com/V2/getpdf.aspx/4AA4-7673ENW.pdf>. */
478 : : #ifdef __hpux
479 : : # undef UINT_LEAST8_MAX
480 : : # undef UINT_LEAST16_MAX
481 : : # define UINT_LEAST8_MAX 255
482 : : # define UINT_LEAST16_MAX 65535
483 : : #endif
484 : :
485 : : #if defined __UINT_LEAST8_MAX__ && __UINT_LEAST8_MAX__ <= __INT_MAX__
486 : : typedef __UINT_LEAST8_TYPE__ yytype_uint8;
487 : : #elif (!defined __UINT_LEAST8_MAX__ && defined YY_STDINT_H \
488 : : && UINT_LEAST8_MAX <= INT_MAX)
489 : : typedef uint_least8_t yytype_uint8;
490 : : #elif !defined __UINT_LEAST8_MAX__ && UCHAR_MAX <= INT_MAX
491 : : typedef unsigned char yytype_uint8;
492 : : #else
493 : : typedef short yytype_uint8;
494 : : #endif
495 : :
496 : : #if defined __UINT_LEAST16_MAX__ && __UINT_LEAST16_MAX__ <= __INT_MAX__
497 : : typedef __UINT_LEAST16_TYPE__ yytype_uint16;
498 : : #elif (!defined __UINT_LEAST16_MAX__ && defined YY_STDINT_H \
499 : : && UINT_LEAST16_MAX <= INT_MAX)
500 : : typedef uint_least16_t yytype_uint16;
501 : : #elif !defined __UINT_LEAST16_MAX__ && USHRT_MAX <= INT_MAX
502 : : typedef unsigned short yytype_uint16;
503 : : #else
504 : : typedef int yytype_uint16;
505 : : #endif
506 : :
507 : : #ifndef YYPTRDIFF_T
508 : : # if defined __PTRDIFF_TYPE__ && defined __PTRDIFF_MAX__
509 : : # define YYPTRDIFF_T __PTRDIFF_TYPE__
510 : : # define YYPTRDIFF_MAXIMUM __PTRDIFF_MAX__
511 : : # elif defined PTRDIFF_MAX
512 : : # ifndef ptrdiff_t
513 : : # include <stddef.h> /* INFRINGES ON USER NAME SPACE */
514 : : # endif
515 : : # define YYPTRDIFF_T ptrdiff_t
516 : : # define YYPTRDIFF_MAXIMUM PTRDIFF_MAX
517 : : # else
518 : : # define YYPTRDIFF_T long
519 : : # define YYPTRDIFF_MAXIMUM LONG_MAX
520 : : # endif
521 : : #endif
522 : :
523 : : #ifndef YYSIZE_T
524 : : # ifdef __SIZE_TYPE__
525 : : # define YYSIZE_T __SIZE_TYPE__
526 : : # elif defined size_t
527 : : # define YYSIZE_T size_t
528 : : # elif defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__
529 : : # include <stddef.h> /* INFRINGES ON USER NAME SPACE */
530 : : # define YYSIZE_T size_t
531 : : # else
532 : : # define YYSIZE_T unsigned
533 : : # endif
534 : : #endif
535 : :
536 : : #define YYSIZE_MAXIMUM \
537 : : YY_CAST (YYPTRDIFF_T, \
538 : : (YYPTRDIFF_MAXIMUM < YY_CAST (YYSIZE_T, -1) \
539 : : ? YYPTRDIFF_MAXIMUM \
540 : : : YY_CAST (YYSIZE_T, -1)))
541 : :
542 : : #define YYSIZEOF(X) YY_CAST (YYPTRDIFF_T, sizeof (X))
543 : :
544 : :
545 : : /* Stored state numbers (used for stacks). */
546 : : typedef yytype_int8 yy_state_t;
547 : :
548 : : /* State numbers in computations. */
549 : : typedef int yy_state_fast_t;
550 : :
551 : : #ifndef YY_
552 : : # if defined YYENABLE_NLS && YYENABLE_NLS
553 : : # if ENABLE_NLS
554 : : # include <libintl.h> /* INFRINGES ON USER NAME SPACE */
555 : : # define YY_(Msgid) dgettext ("bison-runtime", Msgid)
556 : : # endif
557 : : # endif
558 : : # ifndef YY_
559 : : # define YY_(Msgid) Msgid
560 : : # endif
561 : : #endif
562 : :
563 : :
564 : : #ifndef YY_ATTRIBUTE_PURE
565 : : # if defined __GNUC__ && 2 < __GNUC__ + (96 <= __GNUC_MINOR__)
566 : : # define YY_ATTRIBUTE_PURE __attribute__ ((__pure__))
567 : : # else
568 : : # define YY_ATTRIBUTE_PURE
569 : : # endif
570 : : #endif
571 : :
572 : : #ifndef YY_ATTRIBUTE_UNUSED
573 : : # if defined __GNUC__ && 2 < __GNUC__ + (7 <= __GNUC_MINOR__)
574 : : # define YY_ATTRIBUTE_UNUSED __attribute__ ((__unused__))
575 : : # else
576 : : # define YY_ATTRIBUTE_UNUSED
577 : : # endif
578 : : #endif
579 : :
580 : : /* Suppress unused-variable warnings by "using" E. */
581 : : #if ! defined lint || defined __GNUC__
582 : : # define YY_USE(E) ((void) (E))
583 : : #else
584 : : # define YY_USE(E) /* empty */
585 : : #endif
586 : :
587 : : #if defined __GNUC__ && ! defined __ICC && 407 <= __GNUC__ * 100 + __GNUC_MINOR__
588 : : /* Suppress an incorrect diagnostic about yylval being uninitialized. */
589 : : # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \
590 : : _Pragma ("GCC diagnostic push") \
591 : : _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"") \
592 : : _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"")
593 : : # define YY_IGNORE_MAYBE_UNINITIALIZED_END \
594 : : _Pragma ("GCC diagnostic pop")
595 : : #else
596 : : # define YY_INITIAL_VALUE(Value) Value
597 : : #endif
598 : : #ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
599 : : # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
600 : : # define YY_IGNORE_MAYBE_UNINITIALIZED_END
601 : : #endif
602 : : #ifndef YY_INITIAL_VALUE
603 : : # define YY_INITIAL_VALUE(Value) /* Nothing. */
604 : : #endif
605 : :
606 : : #if defined __cplusplus && defined __GNUC__ && ! defined __ICC && 6 <= __GNUC__
607 : : # define YY_IGNORE_USELESS_CAST_BEGIN \
608 : : _Pragma ("GCC diagnostic push") \
609 : : _Pragma ("GCC diagnostic ignored \"-Wuseless-cast\"")
610 : : # define YY_IGNORE_USELESS_CAST_END \
611 : : _Pragma ("GCC diagnostic pop")
612 : : #endif
613 : : #ifndef YY_IGNORE_USELESS_CAST_BEGIN
614 : : # define YY_IGNORE_USELESS_CAST_BEGIN
615 : : # define YY_IGNORE_USELESS_CAST_END
616 : : #endif
617 : :
618 : :
619 : : #define YY_ASSERT(E) ((void) (0 && (E)))
620 : :
621 : : #if !defined yyoverflow
622 : :
623 : : /* The parser invokes alloca or malloc; define the necessary symbols. */
624 : :
625 : : # ifdef YYSTACK_USE_ALLOCA
626 : : # if YYSTACK_USE_ALLOCA
627 : : # ifdef __GNUC__
628 : : # define YYSTACK_ALLOC __builtin_alloca
629 : : # elif defined __BUILTIN_VA_ARG_INCR
630 : : # include <alloca.h> /* INFRINGES ON USER NAME SPACE */
631 : : # elif defined _AIX
632 : : # define YYSTACK_ALLOC __alloca
633 : : # elif defined _MSC_VER
634 : : # include <malloc.h> /* INFRINGES ON USER NAME SPACE */
635 : : # define alloca _alloca
636 : : # else
637 : : # define YYSTACK_ALLOC alloca
638 : : # if ! defined _ALLOCA_H && ! defined EXIT_SUCCESS
639 : : # include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
640 : : /* Use EXIT_SUCCESS as a witness for stdlib.h. */
641 : : # ifndef EXIT_SUCCESS
642 : : # define EXIT_SUCCESS 0
643 : : # endif
644 : : # endif
645 : : # endif
646 : : # endif
647 : : # endif
648 : :
649 : : # ifdef YYSTACK_ALLOC
650 : : /* Pacify GCC's 'empty if-body' warning. */
651 : : # define YYSTACK_FREE(Ptr) do { /* empty */; } while (0)
652 : : # ifndef YYSTACK_ALLOC_MAXIMUM
653 : : /* The OS might guarantee only one guard page at the bottom of the stack,
654 : : and a page size can be as small as 4096 bytes. So we cannot safely
655 : : invoke alloca (N) if N exceeds 4096. Use a slightly smaller number
656 : : to allow for a few compiler-allocated temporary stack slots. */
657 : : # define YYSTACK_ALLOC_MAXIMUM 4032 /* reasonable circa 2006 */
658 : : # endif
659 : : # else
660 : : # define YYSTACK_ALLOC YYMALLOC
661 : : # define YYSTACK_FREE YYFREE
662 : : # ifndef YYSTACK_ALLOC_MAXIMUM
663 : : # define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM
664 : : # endif
665 : : # if (defined __cplusplus && ! defined EXIT_SUCCESS \
666 : : && ! ((defined YYMALLOC || defined malloc) \
667 : : && (defined YYFREE || defined free)))
668 : : # include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
669 : : # ifndef EXIT_SUCCESS
670 : : # define EXIT_SUCCESS 0
671 : : # endif
672 : : # endif
673 : : # ifndef YYMALLOC
674 : : # define YYMALLOC malloc
675 : : # if ! defined malloc && ! defined EXIT_SUCCESS
676 : : void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */
677 : : # endif
678 : : # endif
679 : : # ifndef YYFREE
680 : : # define YYFREE free
681 : : # if ! defined free && ! defined EXIT_SUCCESS
682 : : void free (void *); /* INFRINGES ON USER NAME SPACE */
683 : : # endif
684 : : # endif
685 : : # endif
686 : : #endif /* !defined yyoverflow */
687 : :
688 : : #if (! defined yyoverflow \
689 : : && (! defined __cplusplus \
690 : : || (defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL)))
691 : :
692 : : /* A type that is properly aligned for any stack member. */
693 : : union yyalloc
694 : : {
695 : : yy_state_t yyss_alloc;
696 : : YYSTYPE yyvs_alloc;
697 : : };
698 : :
699 : : /* The size of the maximum gap between one aligned stack and the next. */
700 : : # define YYSTACK_GAP_MAXIMUM (YYSIZEOF (union yyalloc) - 1)
701 : :
702 : : /* The size of an array large to enough to hold all stacks, each with
703 : : N elements. */
704 : : # define YYSTACK_BYTES(N) \
705 : : ((N) * (YYSIZEOF (yy_state_t) + YYSIZEOF (YYSTYPE)) \
706 : : + YYSTACK_GAP_MAXIMUM)
707 : :
708 : : # define YYCOPY_NEEDED 1
709 : :
710 : : /* Relocate STACK from its old location to the new one. The
711 : : local variables YYSIZE and YYSTACKSIZE give the old and new number of
712 : : elements in the stack, and YYPTR gives the new location of the
713 : : stack. Advance YYPTR to a properly aligned location for the next
714 : : stack. */
715 : : # define YYSTACK_RELOCATE(Stack_alloc, Stack) \
716 : : do \
717 : : { \
718 : : YYPTRDIFF_T yynewbytes; \
719 : : YYCOPY (&yyptr->Stack_alloc, Stack, yysize); \
720 : : Stack = &yyptr->Stack_alloc; \
721 : : yynewbytes = yystacksize * YYSIZEOF (*Stack) + YYSTACK_GAP_MAXIMUM; \
722 : : yyptr += yynewbytes / YYSIZEOF (*yyptr); \
723 : : } \
724 : : while (0)
725 : :
726 : : #endif
727 : :
728 : : #if defined YYCOPY_NEEDED && YYCOPY_NEEDED
729 : : /* Copy COUNT objects from SRC to DST. The source and destination do
730 : : not overlap. */
731 : : # ifndef YYCOPY
732 : : # if defined __GNUC__ && 1 < __GNUC__
733 : : # define YYCOPY(Dst, Src, Count) \
734 : : __builtin_memcpy (Dst, Src, YY_CAST (YYSIZE_T, (Count)) * sizeof (*(Src)))
735 : : # else
736 : : # define YYCOPY(Dst, Src, Count) \
737 : : do \
738 : : { \
739 : : YYPTRDIFF_T yyi; \
740 : : for (yyi = 0; yyi < (Count); yyi++) \
741 : : (Dst)[yyi] = (Src)[yyi]; \
742 : : } \
743 : : while (0)
744 : : # endif
745 : : # endif
746 : : #endif /* !YYCOPY_NEEDED */
747 : :
748 : : /* YYFINAL -- State number of the termination state. */
749 : : #define YYFINAL 12
750 : : /* YYLAST -- Last index in YYTABLE. */
751 : : #define YYLAST 37
752 : :
753 : : /* YYNTOKENS -- Number of terminals. */
754 : : #define YYNTOKENS 18
755 : : /* YYNNTS -- Number of nonterminals. */
756 : : #define YYNNTS 14
757 : : /* YYNRULES -- Number of rules. */
758 : : #define YYNRULES 32
759 : : /* YYNSTATES -- Number of states. */
760 : : #define YYNSTATES 49
761 : :
762 : : /* YYMAXUTOK -- Last valid token kind. */
763 : : #define YYMAXUTOK 267
764 : :
765 : :
766 : : /* YYTRANSLATE(TOKEN-NUM) -- Symbol number corresponding to TOKEN-NUM
767 : : as returned by yylex, with out-of-bounds checking. */
768 : : #define YYTRANSLATE(YYX) \
769 : : (0 <= (YYX) && (YYX) <= YYMAXUTOK \
770 : : ? YY_CAST (yysymbol_kind_t, yytranslate[YYX]) \
771 : : : YYSYMBOL_YYUNDEF)
772 : :
773 : : /* YYTRANSLATE[TOKEN-NUM] -- Symbol number corresponding to TOKEN-NUM
774 : : as returned by yylex. */
775 : : static const yytype_int8 yytranslate[] =
776 : : {
777 : : 0, 2, 2, 2, 2, 2, 2, 2, 2, 2,
778 : : 13, 2, 2, 2, 2, 2, 2, 2, 2, 2,
779 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
780 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
781 : : 2, 2, 2, 2, 15, 2, 2, 2, 16, 17,
782 : : 2, 2, 2, 2, 2, 2, 2, 2, 14, 2,
783 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
784 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
785 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
786 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
787 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
788 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
789 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
790 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
791 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
792 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
793 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
794 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
795 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
796 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
797 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
798 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
799 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
800 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
801 : : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
802 : : 2, 2, 2, 2, 2, 2, 1, 2, 3, 4,
803 : : 5, 6, 7, 8, 9, 10, 11, 12
804 : : };
805 : :
806 : : #if YYDEBUG
807 : : /* YYRLINE[YYN] -- Source line where rule number YYN was defined. */
808 : : static const yytype_int16 yyrline[] =
809 : : {
810 : : 0, 247, 247, 257, 258, 261, 263, 265, 267, 279,
811 : : 282, 283, 286, 369, 372, 388, 391, 401, 408, 416,
812 : : 420, 427, 434, 456, 459, 462, 472, 480, 488, 491,
813 : : 523, 532, 539
814 : : };
815 : : #endif
816 : :
817 : : /** Accessing symbol of state STATE. */
818 : : #define YY_ACCESSING_SYMBOL(State) YY_CAST (yysymbol_kind_t, yystos[State])
819 : :
820 : : #if YYDEBUG || 0
821 : : /* The user-facing name of the symbol whose (internal) number is
822 : : YYSYMBOL. No bounds checking. */
823 : : static const char *yysymbol_name (yysymbol_kind_t yysymbol) YY_ATTRIBUTE_UNUSED;
824 : :
825 : : /* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
826 : : First, the terminals, then, starting at YYNTOKENS, nonterminals. */
827 : : static const char *const yytname[] =
828 : : {
829 : : "\"end of file\"", "error", "\"invalid token\"", "kMASK", "kPREFIX",
830 : : "kSUFFIX", "kSYNONYM", "kID", "kNUMBER", "kPERCPERC", "kBITFIELD",
831 : : "kCHAR", "kSPACE", "'\\n'", "':'", "','", "'0'", "'1'", "$accept",
832 : : "spec", "masks", "mask", "instrs", "instr", "bitfieldopt", "bytes",
833 : : "byte", "bit", "optargs", "args", "arg", "argcomp", YY_NULLPTR
834 : : };
835 : :
836 : : static const char *
837 : : yysymbol_name (yysymbol_kind_t yysymbol)
838 : : {
839 : : return yytname[yysymbol];
840 : : }
841 : : #endif
842 : :
843 : : #ifdef YYPRINT
844 : : /* YYTOKNUM[NUM] -- (External) token number corresponding to the
845 : : (internal) symbol number NUM (which must be that of a token). */
846 : : static const yytype_int16 yytoknum[] =
847 : : {
848 : : 0, 256, 257, 258, 259, 260, 261, 262, 263, 264,
849 : : 265, 266, 267, 10, 58, 44, 48, 49
850 : : };
851 : : #endif
852 : :
853 : : #define YYPACT_NINF (-35)
854 : :
855 : : #define yypact_value_is_default(Yyn) \
856 : : ((Yyn) == YYPACT_NINF)
857 : :
858 : : #define YYTABLE_NINF (-1)
859 : :
860 : : #define yytable_value_is_error(Yyn) \
861 : : 0
862 : :
863 : : /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
864 : : STATE-NUM. */
865 : : static const yytype_int8 yypact[] =
866 : : {
867 : : 12, 9, 10, 11, 13, 22, -2, -35, 16, -35,
868 : : -35, 15, -35, 14, 12, -35, -35, -4, -35, -35,
869 : : -35, -35, 17, -35, -12, -4, -35, -4, 18, -4,
870 : : -35, -35, -35, 19, -4, 18, 20, -6, -35, -35,
871 : : -35, -35, -35, 21, -6, -35, -6, -35, -6
872 : : };
873 : :
874 : : /* YYDEFACT[STATE-NUM] -- Default reduction number in state STATE-NUM.
875 : : Performed when YYTABLE does not specify something else to do. Zero
876 : : means the default is an error. */
877 : : static const yytype_int8 yydefact[] =
878 : : {
879 : : 9, 0, 0, 0, 0, 0, 0, 4, 0, 6,
880 : : 7, 0, 1, 0, 9, 5, 8, 13, 3, 22,
881 : : 20, 21, 2, 11, 0, 17, 19, 13, 15, 0,
882 : : 18, 10, 14, 0, 16, 15, 24, 0, 12, 31,
883 : : 29, 30, 32, 23, 26, 28, 0, 27, 25
884 : : };
885 : :
886 : : /* YYPGOTO[NTERM-NUM]. */
887 : : static const yytype_int8 yypgoto[] =
888 : : {
889 : : -35, -35, -35, 23, -35, 2, -1, -35, 4, -25,
890 : : -35, -35, -15, -34
891 : : };
892 : :
893 : : /* YYDEFGOTO[NTERM-NUM]. */
894 : : static const yytype_int8 yydefgoto[] =
895 : : {
896 : : 0, 5, 6, 7, 22, 23, 33, 24, 25, 26,
897 : : 38, 43, 44, 45
898 : : };
899 : :
900 : : /* YYTABLE[YYPACT[STATE-NUM]] -- What to do in state STATE-NUM. If
901 : : positive, shift that token. If negative, reduce the rule whose
902 : : number is the opposite. If YYTABLE_NINF, syntax error. */
903 : : static const yytype_int8 yytable[] =
904 : : {
905 : : 30, 39, 28, 29, 40, 41, 19, 13, 42, 30,
906 : : 47, 14, 20, 21, 47, 1, 2, 3, 4, 8,
907 : : 9, 10, 12, 11, 15, 16, 35, 17, 32, 31,
908 : : 27, 48, 37, 34, 36, 0, 46, 18
909 : : };
910 : :
911 : : static const yytype_int8 yycheck[] =
912 : : {
913 : : 25, 7, 14, 15, 10, 11, 10, 9, 14, 34,
914 : : 44, 13, 16, 17, 48, 3, 4, 5, 6, 10,
915 : : 10, 10, 0, 10, 8, 10, 7, 13, 10, 27,
916 : : 13, 46, 12, 29, 35, -1, 15, 14
917 : : };
918 : :
919 : : /* YYSTOS[STATE-NUM] -- The (internal number of the) accessing
920 : : symbol of state STATE-NUM. */
921 : : static const yytype_int8 yystos[] =
922 : : {
923 : : 0, 3, 4, 5, 6, 19, 20, 21, 10, 10,
924 : : 10, 10, 0, 9, 13, 8, 10, 13, 21, 10,
925 : : 16, 17, 22, 23, 25, 26, 27, 13, 14, 15,
926 : : 27, 23, 10, 24, 26, 7, 24, 12, 28, 7,
927 : : 10, 11, 14, 29, 30, 31, 15, 31, 30
928 : : };
929 : :
930 : : /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
931 : : static const yytype_int8 yyr1[] =
932 : : {
933 : : 0, 18, 19, 20, 20, 21, 21, 21, 21, 21,
934 : : 22, 22, 23, 23, 24, 24, 25, 25, 26, 26,
935 : : 27, 27, 27, 28, 28, 29, 29, 30, 30, 31,
936 : : 31, 31, 31
937 : : };
938 : :
939 : : /* YYR2[YYN] -- Number of symbols on the right hand side of rule YYN. */
940 : : static const yytype_int8 yyr2[] =
941 : : {
942 : : 0, 2, 4, 3, 1, 3, 2, 2, 3, 0,
943 : : 3, 1, 6, 0, 1, 0, 3, 1, 2, 1,
944 : : 1, 1, 1, 2, 0, 3, 1, 2, 1, 1,
945 : : 1, 1, 1
946 : : };
947 : :
948 : :
949 : : enum { YYENOMEM = -2 };
950 : :
951 : : #define yyerrok (yyerrstatus = 0)
952 : : #define yyclearin (yychar = YYEMPTY)
953 : :
954 : : #define YYACCEPT goto yyacceptlab
955 : : #define YYABORT goto yyabortlab
956 : : #define YYERROR goto yyerrorlab
957 : :
958 : :
959 : : #define YYRECOVERING() (!!yyerrstatus)
960 : :
961 : : #define YYBACKUP(Token, Value) \
962 : : do \
963 : : if (yychar == YYEMPTY) \
964 : : { \
965 : : yychar = (Token); \
966 : : yylval = (Value); \
967 : : YYPOPSTACK (yylen); \
968 : : yystate = *yyssp; \
969 : : goto yybackup; \
970 : : } \
971 : : else \
972 : : { \
973 : : yyerror (YY_("syntax error: cannot back up")); \
974 : : YYERROR; \
975 : : } \
976 : : while (0)
977 : :
978 : : /* Backward compatibility with an undocumented macro.
979 : : Use YYerror or YYUNDEF. */
980 : : #define YYERRCODE YYUNDEF
981 : :
982 : :
983 : : /* Enable debugging if requested. */
984 : : #if YYDEBUG
985 : :
986 : : # ifndef YYFPRINTF
987 : : # include <stdio.h> /* INFRINGES ON USER NAME SPACE */
988 : : # define YYFPRINTF fprintf
989 : : # endif
990 : :
991 : : # define YYDPRINTF(Args) \
992 : : do { \
993 : : if (yydebug) \
994 : : YYFPRINTF Args; \
995 : : } while (0)
996 : :
997 : : /* This macro is provided for backward compatibility. */
998 : : # ifndef YY_LOCATION_PRINT
999 : : # define YY_LOCATION_PRINT(File, Loc) ((void) 0)
1000 : : # endif
1001 : :
1002 : :
1003 : : # define YY_SYMBOL_PRINT(Title, Kind, Value, Location) \
1004 : : do { \
1005 : : if (yydebug) \
1006 : : { \
1007 : : YYFPRINTF (stderr, "%s ", Title); \
1008 : : yy_symbol_print (stderr, \
1009 : : Kind, Value); \
1010 : : YYFPRINTF (stderr, "\n"); \
1011 : : } \
1012 : : } while (0)
1013 : :
1014 : :
1015 : : /*-----------------------------------.
1016 : : | Print this symbol's value on YYO. |
1017 : : `-----------------------------------*/
1018 : :
1019 : : static void
1020 : : yy_symbol_value_print (FILE *yyo,
1021 : : yysymbol_kind_t yykind, YYSTYPE const * const yyvaluep)
1022 : : {
1023 : : FILE *yyoutput = yyo;
1024 : : YY_USE (yyoutput);
1025 : : if (!yyvaluep)
1026 : : return;
1027 : : # ifdef YYPRINT
1028 : : if (yykind < YYNTOKENS)
1029 : : YYPRINT (yyo, yytoknum[yykind], *yyvaluep);
1030 : : # endif
1031 : : YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
1032 : : YY_USE (yykind);
1033 : : YY_IGNORE_MAYBE_UNINITIALIZED_END
1034 : : }
1035 : :
1036 : :
1037 : : /*---------------------------.
1038 : : | Print this symbol on YYO. |
1039 : : `---------------------------*/
1040 : :
1041 : : static void
1042 : : yy_symbol_print (FILE *yyo,
1043 : : yysymbol_kind_t yykind, YYSTYPE const * const yyvaluep)
1044 : : {
1045 : : YYFPRINTF (yyo, "%s %s (",
1046 : : yykind < YYNTOKENS ? "token" : "nterm", yysymbol_name (yykind));
1047 : :
1048 : : yy_symbol_value_print (yyo, yykind, yyvaluep);
1049 : : YYFPRINTF (yyo, ")");
1050 : : }
1051 : :
1052 : : /*------------------------------------------------------------------.
1053 : : | yy_stack_print -- Print the state stack from its BOTTOM up to its |
1054 : : | TOP (included). |
1055 : : `------------------------------------------------------------------*/
1056 : :
1057 : : static void
1058 : : yy_stack_print (yy_state_t *yybottom, yy_state_t *yytop)
1059 : : {
1060 : : YYFPRINTF (stderr, "Stack now");
1061 : : for (; yybottom <= yytop; yybottom++)
1062 : : {
1063 : : int yybot = *yybottom;
1064 : : YYFPRINTF (stderr, " %d", yybot);
1065 : : }
1066 : : YYFPRINTF (stderr, "\n");
1067 : : }
1068 : :
1069 : : # define YY_STACK_PRINT(Bottom, Top) \
1070 : : do { \
1071 : : if (yydebug) \
1072 : : yy_stack_print ((Bottom), (Top)); \
1073 : : } while (0)
1074 : :
1075 : :
1076 : : /*------------------------------------------------.
1077 : : | Report that the YYRULE is going to be reduced. |
1078 : : `------------------------------------------------*/
1079 : :
1080 : : static void
1081 : : yy_reduce_print (yy_state_t *yyssp, YYSTYPE *yyvsp,
1082 : : int yyrule)
1083 : : {
1084 : : int yylno = yyrline[yyrule];
1085 : : int yynrhs = yyr2[yyrule];
1086 : : int yyi;
1087 : : YYFPRINTF (stderr, "Reducing stack by rule %d (line %d):\n",
1088 : : yyrule - 1, yylno);
1089 : : /* The symbols being reduced. */
1090 : : for (yyi = 0; yyi < yynrhs; yyi++)
1091 : : {
1092 : : YYFPRINTF (stderr, " $%d = ", yyi + 1);
1093 : : yy_symbol_print (stderr,
1094 : : YY_ACCESSING_SYMBOL (+yyssp[yyi + 1 - yynrhs]),
1095 : : &yyvsp[(yyi + 1) - (yynrhs)]);
1096 : : YYFPRINTF (stderr, "\n");
1097 : : }
1098 : : }
1099 : :
1100 : : # define YY_REDUCE_PRINT(Rule) \
1101 : : do { \
1102 : : if (yydebug) \
1103 : : yy_reduce_print (yyssp, yyvsp, Rule); \
1104 : : } while (0)
1105 : :
1106 : : /* Nonzero means print parse trace. It is left uninitialized so that
1107 : : multiple parsers can coexist. */
1108 : : int yydebug;
1109 : : #else /* !YYDEBUG */
1110 : : # define YYDPRINTF(Args) ((void) 0)
1111 : : # define YY_SYMBOL_PRINT(Title, Kind, Value, Location)
1112 : : # define YY_STACK_PRINT(Bottom, Top)
1113 : : # define YY_REDUCE_PRINT(Rule)
1114 : : #endif /* !YYDEBUG */
1115 : :
1116 : :
1117 : : /* YYINITDEPTH -- initial size of the parser's stacks. */
1118 : : #ifndef YYINITDEPTH
1119 : : # define YYINITDEPTH 200
1120 : : #endif
1121 : :
1122 : : /* YYMAXDEPTH -- maximum size the stacks can grow to (effective only
1123 : : if the built-in stack extension method is used).
1124 : :
1125 : : Do not make this value too large; the results are undefined if
1126 : : YYSTACK_ALLOC_MAXIMUM < YYSTACK_BYTES (YYMAXDEPTH)
1127 : : evaluated with infinite-precision integer arithmetic. */
1128 : :
1129 : : #ifndef YYMAXDEPTH
1130 : : # define YYMAXDEPTH 10000
1131 : : #endif
1132 : :
1133 : :
1134 : :
1135 : :
1136 : :
1137 : :
1138 : : /*-----------------------------------------------.
1139 : : | Release the memory associated to this symbol. |
1140 : : `-----------------------------------------------*/
1141 : :
1142 : : static void
1143 : 0 : yydestruct (const char *yymsg,
1144 : : yysymbol_kind_t yykind, YYSTYPE *yyvaluep)
1145 : : {
1146 : 0 : YY_USE (yyvaluep);
1147 : 0 : if (!yymsg)
1148 : 0 : yymsg = "Deleting";
1149 : 0 : YY_SYMBOL_PRINT (yymsg, yykind, yyvaluep, yylocationp);
1150 : :
1151 : : YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
1152 : 0 : YY_USE (yykind);
1153 : : YY_IGNORE_MAYBE_UNINITIALIZED_END
1154 : : }
1155 : :
1156 : :
1157 : : /* Lookahead token kind. */
1158 : : int yychar;
1159 : :
1160 : : /* The semantic value of the lookahead symbol. */
1161 : : YYSTYPE yylval;
1162 : : /* Number of syntax errors so far. */
1163 : : int yynerrs;
1164 : :
1165 : :
1166 : :
1167 : :
1168 : : /*----------.
1169 : : | yyparse. |
1170 : : `----------*/
1171 : :
1172 : : int
1173 : 2 : yyparse (void)
1174 : : {
1175 : 2 : yy_state_fast_t yystate = 0;
1176 : : /* Number of tokens to shift before error messages enabled. */
1177 : 2 : int yyerrstatus = 0;
1178 : :
1179 : : /* Refer to the stacks through separate pointers, to allow yyoverflow
1180 : : to reallocate them elsewhere. */
1181 : :
1182 : : /* Their size. */
1183 : 2 : YYPTRDIFF_T yystacksize = YYINITDEPTH;
1184 : :
1185 : : /* The state stack: array, bottom, top. */
1186 : 2 : yy_state_t yyssa[YYINITDEPTH];
1187 : 2 : yy_state_t *yyss = yyssa;
1188 : 2 : yy_state_t *yyssp = yyss;
1189 : :
1190 : : /* The semantic value stack: array, bottom, top. */
1191 : 2 : YYSTYPE yyvsa[YYINITDEPTH];
1192 : 2 : YYSTYPE *yyvs = yyvsa;
1193 : 2 : YYSTYPE *yyvsp = yyvs;
1194 : :
1195 : 2 : int yyn;
1196 : : /* The return value of yyparse. */
1197 : 2 : int yyresult;
1198 : : /* Lookahead symbol kind. */
1199 : 2 : yysymbol_kind_t yytoken = YYSYMBOL_YYEMPTY;
1200 : : /* The variables used to return semantic value and location from the
1201 : : action routines. */
1202 : 2 : YYSTYPE yyval;
1203 : :
1204 : :
1205 : :
1206 : : #define YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N))
1207 : :
1208 : : /* The number of symbols on the RHS of the reduced rule.
1209 : : Keep to zero when no symbol should be popped. */
1210 : 2 : int yylen = 0;
1211 : :
1212 : 2 : YYDPRINTF ((stderr, "Starting parse\n"));
1213 : :
1214 : 2 : yychar = YYEMPTY; /* Cause a token to be read. */
1215 : 2 : goto yysetstate;
1216 : :
1217 : :
1218 : : /*------------------------------------------------------------.
1219 : : | yynewstate -- push a new state, which is found in yystate. |
1220 : : `------------------------------------------------------------*/
1221 : 129026 : yynewstate:
1222 : : /* In all cases, when you get here, the value and location stacks
1223 : : have just been pushed. So pushing a state here evens the stacks. */
1224 : 129026 : yyssp++;
1225 : :
1226 : :
1227 : : /*--------------------------------------------------------------------.
1228 : : | yysetstate -- set current state (the top of the stack) to yystate. |
1229 : : `--------------------------------------------------------------------*/
1230 : 129028 : yysetstate:
1231 : 129028 : YYDPRINTF ((stderr, "Entering state %d\n", yystate));
1232 : 129028 : YY_ASSERT (0 <= yystate && yystate < YYNSTATES);
1233 : : YY_IGNORE_USELESS_CAST_BEGIN
1234 : 129028 : *yyssp = YY_CAST (yy_state_t, yystate);
1235 : : YY_IGNORE_USELESS_CAST_END
1236 : 129028 : YY_STACK_PRINT (yyss, yyssp);
1237 : :
1238 [ - + ]: 129028 : if (yyss + yystacksize - 1 <= yyssp)
1239 : : #if !defined yyoverflow && !defined YYSTACK_RELOCATE
1240 : : goto yyexhaustedlab;
1241 : : #else
1242 : : {
1243 : : /* Get the current used size of the three stacks, in elements. */
1244 : 0 : YYPTRDIFF_T yysize = yyssp - yyss + 1;
1245 : :
1246 : : # if defined yyoverflow
1247 : : {
1248 : : /* Give user a chance to reallocate the stack. Use copies of
1249 : : these so that the &'s don't force the real ones into
1250 : : memory. */
1251 : : yy_state_t *yyss1 = yyss;
1252 : : YYSTYPE *yyvs1 = yyvs;
1253 : :
1254 : : /* Each stack pointer address is followed by the size of the
1255 : : data in use in that stack, in bytes. This used to be a
1256 : : conditional around just the two extra args, but that might
1257 : : be undefined if yyoverflow is a macro. */
1258 : : yyoverflow (YY_("memory exhausted"),
1259 : : &yyss1, yysize * YYSIZEOF (*yyssp),
1260 : : &yyvs1, yysize * YYSIZEOF (*yyvsp),
1261 : : &yystacksize);
1262 : : yyss = yyss1;
1263 : : yyvs = yyvs1;
1264 : : }
1265 : : # else /* defined YYSTACK_RELOCATE */
1266 : : /* Extend the stack our own way. */
1267 [ # # ]: 0 : if (YYMAXDEPTH <= yystacksize)
1268 : 0 : goto yyexhaustedlab;
1269 : 0 : yystacksize *= 2;
1270 : 0 : if (YYMAXDEPTH < yystacksize)
1271 : : yystacksize = YYMAXDEPTH;
1272 : :
1273 : : {
1274 : 0 : yy_state_t *yyss1 = yyss;
1275 : 0 : union yyalloc *yyptr =
1276 : 0 : YY_CAST (union yyalloc *,
1277 : : YYSTACK_ALLOC (YY_CAST (YYSIZE_T, YYSTACK_BYTES (yystacksize))));
1278 [ # # ]: 0 : if (! yyptr)
1279 : 0 : goto yyexhaustedlab;
1280 : 0 : YYSTACK_RELOCATE (yyss_alloc, yyss);
1281 : 0 : YYSTACK_RELOCATE (yyvs_alloc, yyvs);
1282 : : # undef YYSTACK_RELOCATE
1283 [ # # ]: 0 : if (yyss1 != yyssa)
1284 : 0 : YYSTACK_FREE (yyss1);
1285 : : }
1286 : : # endif
1287 : :
1288 : 0 : yyssp = yyss + yysize - 1;
1289 : 0 : yyvsp = yyvs + yysize - 1;
1290 : :
1291 : : YY_IGNORE_USELESS_CAST_BEGIN
1292 : 0 : YYDPRINTF ((stderr, "Stack size increased to %ld\n",
1293 : : YY_CAST (long, yystacksize)));
1294 : : YY_IGNORE_USELESS_CAST_END
1295 : :
1296 [ # # ]: 0 : if (yyss + yystacksize - 1 <= yyssp)
1297 : 0 : YYABORT;
1298 : : }
1299 : : #endif /* !defined yyoverflow && !defined YYSTACK_RELOCATE */
1300 : :
1301 [ + + ]: 129028 : if (yystate == YYFINAL)
1302 : 2 : YYACCEPT;
1303 : :
1304 : 129026 : goto yybackup;
1305 : :
1306 : :
1307 : : /*-----------.
1308 : : | yybackup. |
1309 : : `-----------*/
1310 : 129026 : yybackup:
1311 : : /* Do appropriate processing given the current state. Read a
1312 : : lookahead token if we need one and don't already have one. */
1313 : :
1314 : : /* First try to decide what to do without reference to lookahead token. */
1315 : 129026 : yyn = yypact[yystate];
1316 [ + + ]: 129026 : if (yypact_value_is_default (yyn))
1317 : 72343 : goto yydefault;
1318 : :
1319 : : /* Not known => get a lookahead token if don't already have one. */
1320 : :
1321 : : /* YYCHAR is either empty, or end-of-input, or a valid lookahead. */
1322 [ + + ]: 56683 : if (yychar == YYEMPTY)
1323 : : {
1324 : 45251 : YYDPRINTF ((stderr, "Reading a token\n"));
1325 : 45251 : yychar = yylex ();
1326 : : }
1327 : :
1328 [ + + ]: 56683 : if (yychar <= YYEOF)
1329 : : {
1330 : 6 : yychar = YYEOF;
1331 : 6 : yytoken = YYSYMBOL_YYEOF;
1332 : 6 : YYDPRINTF ((stderr, "Now at end of input.\n"));
1333 : : }
1334 [ - + ]: 56677 : else if (yychar == YYerror)
1335 : : {
1336 : : /* The scanner already issued an error message, process directly
1337 : : to error recovery. But do not keep the error token as
1338 : : lookahead, it is too special and may lead us to an endless
1339 : : loop in error recovery. */
1340 : 0 : yychar = YYUNDEF;
1341 : 0 : yytoken = YYSYMBOL_YYerror;
1342 : 0 : goto yyerrlab1;
1343 : : }
1344 : : else
1345 : : {
1346 [ + - ]: 56677 : yytoken = YYTRANSLATE (yychar);
1347 : 56683 : YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc);
1348 : : }
1349 : :
1350 : : /* If the proper action on seeing token YYTOKEN is to reduce or to
1351 : : detect an error, take that action. */
1352 : 56683 : yyn += yytoken;
1353 [ + + + + ]: 56683 : if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken)
1354 : 11432 : goto yydefault;
1355 : 45251 : yyn = yytable[yyn];
1356 [ - + ]: 45251 : if (yyn <= 0)
1357 : : {
1358 : 0 : if (yytable_value_is_error (yyn))
1359 : : goto yyerrlab;
1360 : 0 : yyn = -yyn;
1361 : 0 : goto yyreduce;
1362 : : }
1363 : :
1364 : : /* Count tokens shifted since error; after three, turn off error
1365 : : status. */
1366 [ - + ]: 45251 : if (yyerrstatus)
1367 : 0 : yyerrstatus--;
1368 : :
1369 : : /* Shift the lookahead token. */
1370 : 45251 : YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc);
1371 : 45251 : yystate = yyn;
1372 : : YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
1373 : 45251 : *++yyvsp = yylval;
1374 : : YY_IGNORE_MAYBE_UNINITIALIZED_END
1375 : :
1376 : : /* Discard the shifted token. */
1377 : 45251 : yychar = YYEMPTY;
1378 : 45251 : goto yynewstate;
1379 : :
1380 : :
1381 : : /*-----------------------------------------------------------.
1382 : : | yydefault -- do the default action for the current state. |
1383 : : `-----------------------------------------------------------*/
1384 : 83775 : yydefault:
1385 : 83775 : yyn = yydefact[yystate];
1386 [ - + ]: 83775 : if (yyn == 0)
1387 : 0 : goto yyerrlab;
1388 : 83775 : goto yyreduce;
1389 : :
1390 : :
1391 : : /*-----------------------------.
1392 : : | yyreduce -- do a reduction. |
1393 : : `-----------------------------*/
1394 : 83775 : yyreduce:
1395 : : /* yyn is the number of a rule to reduce with. */
1396 : 83775 : yylen = yyr2[yyn];
1397 : :
1398 : : /* If YYLEN is nonzero, implement the default value of the action:
1399 : : '$$ = $1'.
1400 : :
1401 : : Otherwise, the following line sets YYVAL to garbage.
1402 : : This behavior is undocumented and Bison
1403 : : users should not rely upon it. Assigning to YYVAL
1404 : : unconditionally makes the parser a bit smaller, and it avoids a
1405 : : GCC warning that YYVAL may be used uninitialized. */
1406 : 83775 : yyval = yyvsp[1-yylen];
1407 : :
1408 : :
1409 : 83775 : YY_REDUCE_PRINT (yyn);
1410 [ + + + + : 83775 : switch (yyn)
+ + + + +
+ + + + +
+ + + + +
+ + + + +
- + ]
1411 : : {
1412 [ - + ]: 2 : case 2: /* spec: masks kPERCPERC '\n' instrs */
1413 : : #line 248 "i386_parse.y"
1414 : : {
1415 : : if (error_message_count != 0)
1416 : : error (EXIT_FAILURE, 0,
1417 : : "terminated due to previous error");
1418 : :
1419 : : instrtable_out ();
1420 : : }
1421 : : #line 1422 "i386_parse.c"
1422 : 2 : break;
1423 : :
1424 : 94 : case 5: /* mask: kMASK kBITFIELD kNUMBER */
1425 : : #line 262 "i386_parse.y"
1426 : : { new_bitfield ((yyvsp[-1].str), (yyvsp[0].num)); }
1427 : : #line 1428 "i386_parse.c"
1428 : 94 : break;
1429 : :
1430 : 4 : case 6: /* mask: kPREFIX kBITFIELD */
1431 : : #line 264 "i386_parse.y"
1432 : : { new_bitfield ((yyvsp[0].str), -1); }
1433 : : #line 1434 "i386_parse.c"
1434 : 4 : break;
1435 : :
1436 : 4 : case 7: /* mask: kSUFFIX kBITFIELD */
1437 : : #line 266 "i386_parse.y"
1438 : : { new_bitfield ((yyvsp[0].str), -2); }
1439 : : #line 1440 "i386_parse.c"
1440 : 4 : break;
1441 : :
1442 : 10 : case 8: /* mask: kSYNONYM kBITFIELD kBITFIELD */
1443 : : #line 268 "i386_parse.y"
1444 : : {
1445 : : struct synonym *newp = xmalloc (sizeof (*newp));
1446 : : newp->from = (yyvsp[-1].str);
1447 : : newp->to = (yyvsp[0].str);
1448 : : if (tfind (newp, &synonyms, compare_syn) != NULL)
1449 : : error (0, 0,
1450 : : "%d: duplicate definition for synonym '%s'",
1451 : : i386_lineno, (yyvsp[-1].str));
1452 : : else if (tsearch ( newp, &synonyms, compare_syn) == NULL)
1453 : : error (EXIT_FAILURE, 0, "tsearch");
1454 : : }
1455 : : #line 1456 "i386_parse.c"
1456 : : break;
1457 : :
1458 [ + + ]: 1501 : case 12: /* instr: bytes ':' bitfieldopt kID bitfieldopt optargs */
1459 : : #line 287 "i386_parse.y"
1460 : : {
1461 : : if ((yyvsp[-3].field) != NULL && strcmp ((yyvsp[-3].field)->name, "RE") != 0
1462 : : && strcmp ((yyvsp[-3].field)->name, "R") != 0)
1463 : : {
1464 : : error (0, 0, "%d: only 'R' and 'RE' prefix allowed",
1465 : : i386_lineno - 1);
1466 : : }
1467 : : if (check_duplicates ((yyvsp[-5].bit)) == 0
1468 : : && check_argsdef ((yyvsp[-5].bit), (yyvsp[0].arg)) == 0
1469 : : && check_bitsused ((yyvsp[-5].bit), (yyvsp[-1].field), (yyvsp[0].arg)) == 0)
1470 : : {
1471 : : struct instruction *newp = xcalloc (sizeof (*newp),
1472 : : 1);
1473 : : if ((yyvsp[-3].field) != NULL)
1474 : : {
1475 : : if (strcmp ((yyvsp[-3].field)->name, "RE") == 0)
1476 : : newp->repe = 1;
1477 : : else if (strcmp ((yyvsp[-3].field)->name, "R") == 0)
1478 : : newp->rep = 1;
1479 : : }
1480 : :
1481 : : newp->bytes = (yyvsp[-5].bit);
1482 : : newp->mnemonic = (yyvsp[-2].str);
1483 : : if (newp->mnemonic != (void *) -1l
1484 : : && tfind ((yyvsp[-2].str), &mnemonics,
1485 : : (int (*)(const void *, const void *)) strcmp) == NULL)
1486 : : {
1487 : : if (tsearch ((yyvsp[-2].str), &mnemonics,
1488 : : (int (*)(const void *, const void *)) strcmp) == NULL)
1489 : : error (EXIT_FAILURE, errno, "tsearch");
1490 : : ++nmnemonics;
1491 : : }
1492 : :
1493 : : if ((yyvsp[-1].field) != NULL)
1494 : : {
1495 : : if (strcmp ((yyvsp[-1].field)->name, "w") == 0)
1496 : : newp->suffix = suffix_w;
1497 : : else if (strcmp ((yyvsp[-1].field)->name, "w0") == 0)
1498 : : newp->suffix = suffix_w0;
1499 : : else if (strcmp ((yyvsp[-1].field)->name, "tttn") == 0)
1500 : : newp->suffix = suffix_tttn;
1501 : : else if (strcmp ((yyvsp[-1].field)->name, "w1") == 0)
1502 : : newp->suffix = suffix_w1;
1503 : : else if (strcmp ((yyvsp[-1].field)->name, "W") == 0)
1504 : : newp->suffix = suffix_W;
1505 : : else if (strcmp ((yyvsp[-1].field)->name, "W1") == 0)
1506 : : newp->suffix = suffix_W1;
1507 : : else if (strcmp ((yyvsp[-1].field)->name, "D") == 0)
1508 : : newp->suffix = suffix_D;
1509 : : else
1510 : : error (EXIT_FAILURE, 0,
1511 : : "%s: %d: unknown suffix '%s'",
1512 : : infname, i386_lineno - 1, (yyvsp[-1].field)->name);
1513 : :
1514 : : struct suffix search = { .name = (yyvsp[-1].field)->name };
1515 : : if (tfind (&search, &suffixes, compare_suf)
1516 : : == NULL)
1517 : : {
1518 : : struct suffix *ns = xmalloc (sizeof (*ns));
1519 : : ns->name = (yyvsp[-1].field)->name;
1520 : : ns->idx = ++nsuffixes;
1521 : : if (tsearch (ns, &suffixes, compare_suf)
1522 : : == NULL)
1523 : : error (EXIT_FAILURE, errno, "tsearch");
1524 : : }
1525 : : }
1526 : :
1527 : : struct argument *args = (yyvsp[0].arg);
1528 : : int n = 0;
1529 : : while (args != NULL)
1530 : : {
1531 : : fillin_arg ((yyvsp[-5].bit), args->name, newp, n);
1532 : :
1533 : : args = args->next;
1534 : : ++n;
1535 : : }
1536 : :
1537 : : newp->next = instructions;
1538 : : instructions = newp;
1539 : : ++ninstructions;
1540 : : }
1541 : : }
1542 : : #line 1543 "i386_parse.c"
1543 : : break;
1544 : :
1545 : 215 : case 14: /* bitfieldopt: kBITFIELD */
1546 : : #line 373 "i386_parse.y"
1547 : : {
1548 : : struct known_bitfield search;
1549 : : search.name = (yyvsp[0].str);
1550 : : struct known_bitfield **res;
1551 : : res = tfind (&search, &bitfields, bitfield_compare);
1552 : : if (res == NULL)
1553 : : {
1554 : : error (0, 0, "%d: unknown bitfield '%s'",
1555 : : i386_lineno, search.name);
1556 : : (yyval.field) = NULL;
1557 : : }
1558 : : else
1559 : : (yyval.field) = *res;
1560 : : }
1561 : : #line 1562 "i386_parse.c"
1562 : 215 : break;
1563 : :
1564 : 2787 : case 15: /* bitfieldopt: %empty */
1565 : : #line 388 "i386_parse.y"
1566 : : { (yyval.field) = NULL; }
1567 : : #line 1568 "i386_parse.c"
1568 : 2787 : break;
1569 : :
1570 : 3175 : case 16: /* bytes: bytes ',' byte */
1571 : : #line 392 "i386_parse.y"
1572 : : {
1573 : : check_bits ((yyvsp[0].bit));
1574 : :
1575 : : struct bitvalue *runp = (yyvsp[-2].bit);
1576 : : while (runp->next != NULL)
1577 : : runp = runp->next;
1578 : : runp->next = (yyvsp[0].bit);
1579 : : (yyval.bit) = (yyvsp[-2].bit);
1580 : : }
1581 : : #line 1582 "i386_parse.c"
1582 : 3175 : break;
1583 : :
1584 : 1501 : case 17: /* bytes: byte */
1585 : : #line 402 "i386_parse.y"
1586 : : {
1587 : : check_bits ((yyvsp[0].bit));
1588 : : (yyval.bit) = (yyvsp[0].bit);
1589 : : }
1590 : : #line 1591 "i386_parse.c"
1591 : 1501 : break;
1592 : :
1593 : 25897 : case 18: /* byte: byte bit */
1594 : : #line 409 "i386_parse.y"
1595 : : {
1596 : : struct bitvalue *runp = (yyvsp[-1].bit);
1597 : : while (runp->next != NULL)
1598 : : runp = runp->next;
1599 : : runp->next = (yyvsp[0].bit);
1600 : : (yyval.bit) = (yyvsp[-1].bit);
1601 : : }
1602 : : #line 1603 "i386_parse.c"
1603 : 25897 : break;
1604 : :
1605 : 4676 : case 19: /* byte: bit */
1606 : : #line 417 "i386_parse.y"
1607 : : { (yyval.bit) = (yyvsp[0].bit); }
1608 : : #line 1609 "i386_parse.c"
1609 : 4676 : break;
1610 : :
1611 : 13145 : case 20: /* bit: '0' */
1612 : : #line 421 "i386_parse.y"
1613 : : {
1614 : : (yyval.bit) = xmalloc (sizeof (struct bitvalue));
1615 : : (yyval.bit)->type = zeroone;
1616 : : (yyval.bit)->value = 0;
1617 : : (yyval.bit)->next = NULL;
1618 : : }
1619 : : #line 1620 "i386_parse.c"
1620 : 13145 : break;
1621 : :
1622 : 13839 : case 21: /* bit: '1' */
1623 : : #line 428 "i386_parse.y"
1624 : : {
1625 : : (yyval.bit) = xmalloc (sizeof (struct bitvalue));
1626 : : (yyval.bit)->type = zeroone;
1627 : : (yyval.bit)->value = 1;
1628 : : (yyval.bit)->next = NULL;
1629 : : }
1630 : : #line 1631 "i386_parse.c"
1631 : 13839 : break;
1632 : :
1633 : 3589 : case 22: /* bit: kBITFIELD */
1634 : : #line 435 "i386_parse.y"
1635 : : {
1636 : : (yyval.bit) = xmalloc (sizeof (struct bitvalue));
1637 : : struct known_bitfield search;
1638 : : search.name = (yyvsp[0].str);
1639 : : struct known_bitfield **res;
1640 : : res = tfind (&search, &bitfields, bitfield_compare);
1641 : : if (res == NULL)
1642 : : {
1643 : : error (0, 0, "%d: unknown bitfield '%s'",
1644 : : i386_lineno, search.name);
1645 : : (yyval.bit)->type = failure;
1646 : : }
1647 : : else
1648 : : {
1649 : : (yyval.bit)->type = field;
1650 : : (yyval.bit)->field = *res;
1651 : : }
1652 : : (yyval.bit)->next = NULL;
1653 : : }
1654 : : #line 1655 "i386_parse.c"
1655 : 3589 : break;
1656 : :
1657 : 1322 : case 23: /* optargs: kSPACE args */
1658 : : #line 457 "i386_parse.y"
1659 : : { (yyval.arg) = (yyvsp[0].arg); }
1660 : : #line 1661 "i386_parse.c"
1661 : 1322 : break;
1662 : :
1663 : 179 : case 24: /* optargs: %empty */
1664 : : #line 459 "i386_parse.y"
1665 : : { (yyval.arg) = NULL; }
1666 : : #line 1667 "i386_parse.c"
1667 : 179 : break;
1668 : :
1669 : 1142 : case 25: /* args: args ',' arg */
1670 : : #line 463 "i386_parse.y"
1671 : : {
1672 : : struct argument *runp = (yyvsp[-2].arg);
1673 : : while (runp->next != NULL)
1674 : : runp = runp->next;
1675 : : runp->next = xmalloc (sizeof (struct argument));
1676 : : runp->next->name = combine ((yyvsp[0].name));
1677 : : runp->next->next = NULL;
1678 : : (yyval.arg) = (yyvsp[-2].arg);
1679 : : }
1680 : : #line 1681 "i386_parse.c"
1681 : 1142 : break;
1682 : :
1683 : 1322 : case 26: /* args: arg */
1684 : : #line 473 "i386_parse.y"
1685 : : {
1686 : : (yyval.arg) = xmalloc (sizeof (struct argument));
1687 : : (yyval.arg)->name = combine ((yyvsp[0].name));
1688 : : (yyval.arg)->next = NULL;
1689 : : }
1690 : : #line 1691 "i386_parse.c"
1691 : 1322 : break;
1692 : :
1693 : 1413 : case 27: /* arg: arg argcomp */
1694 : : #line 481 "i386_parse.y"
1695 : : {
1696 : : struct argname *runp = (yyvsp[-1].name);
1697 : : while (runp->next != NULL)
1698 : : runp = runp->next;
1699 : : runp->next = (yyvsp[0].name);
1700 : : (yyval.name) = (yyvsp[-1].name);
1701 : : }
1702 : : #line 1703 "i386_parse.c"
1703 : 1413 : break;
1704 : :
1705 : 2464 : case 28: /* arg: argcomp */
1706 : : #line 489 "i386_parse.y"
1707 : : { (yyval.name) = (yyvsp[0].name); }
1708 : : #line 1709 "i386_parse.c"
1709 : 2464 : break;
1710 : :
1711 : 3661 : case 29: /* argcomp: kBITFIELD */
1712 : : #line 492 "i386_parse.y"
1713 : : {
1714 : : (yyval.name) = xmalloc (sizeof (struct argname));
1715 : : (yyval.name)->type = nfield;
1716 : : (yyval.name)->next = NULL;
1717 : :
1718 : : struct known_bitfield search;
1719 : : search.name = (yyvsp[0].str);
1720 : : struct known_bitfield **res;
1721 : : res = tfind (&search, &bitfields, bitfield_compare);
1722 : : if (res == NULL)
1723 : : {
1724 : : if (strcmp ((yyvsp[0].str), "ax") == 0)
1725 : : (yyval.name)->field = &ax_reg;
1726 : : else if (strcmp ((yyvsp[0].str), "dx") == 0)
1727 : : (yyval.name)->field = &dx_reg;
1728 : : else if (strcmp ((yyvsp[0].str), "es_di") == 0)
1729 : : (yyval.name)->field = &di_reg;
1730 : : else if (strcmp ((yyvsp[0].str), "ds_si") == 0)
1731 : : (yyval.name)->field = &si_reg;
1732 : : else if (strcmp ((yyvsp[0].str), "ds_bx") == 0)
1733 : : (yyval.name)->field = &bx_reg;
1734 : : else
1735 : : {
1736 : : error (0, 0, "%d: unknown bitfield '%s'",
1737 : : i386_lineno, search.name);
1738 : : (yyval.name)->field = NULL;
1739 : : }
1740 : : }
1741 : : else
1742 : : (yyval.name)->field = *res;
1743 : : }
1744 : : #line 1745 "i386_parse.c"
1745 : 3661 : break;
1746 : :
1747 : 112 : case 30: /* argcomp: kCHAR */
1748 : : #line 524 "i386_parse.y"
1749 : : {
1750 : : (yyval.name) = xmalloc (sizeof (struct argname));
1751 : : (yyval.name)->type = string;
1752 : : (yyval.name)->next = NULL;
1753 : : (yyval.name)->str = xmalloc (2);
1754 : : (yyval.name)->str[0] = (yyvsp[0].ch);
1755 : : (yyval.name)->str[1] = '\0';
1756 : : }
1757 : : #line 1758 "i386_parse.c"
1758 : 112 : break;
1759 : :
1760 : 104 : case 31: /* argcomp: kID */
1761 : : #line 533 "i386_parse.y"
1762 : : {
1763 : : (yyval.name) = xmalloc (sizeof (struct argname));
1764 : : (yyval.name)->type = string;
1765 : : (yyval.name)->next = NULL;
1766 : : (yyval.name)->str = (yyvsp[0].str);
1767 : : }
1768 : : #line 1769 "i386_parse.c"
1769 : 104 : break;
1770 : :
1771 : 0 : case 32: /* argcomp: ':' */
1772 : : #line 540 "i386_parse.y"
1773 : : {
1774 : : (yyval.name) = xmalloc (sizeof (struct argname));
1775 : : (yyval.name)->type = string;
1776 : : (yyval.name)->next = NULL;
1777 : : (yyval.name)->str = xmalloc (2);
1778 : : (yyval.name)->str[0] = ':';
1779 : : (yyval.name)->str[1] = '\0';
1780 : : }
1781 : : #line 1782 "i386_parse.c"
1782 : 0 : break;
1783 : :
1784 : :
1785 : : #line 1786 "i386_parse.c"
1786 : :
1787 : : default: break;
1788 : : }
1789 : : /* User semantic actions sometimes alter yychar, and that requires
1790 : : that yytoken be updated with the new translation. We take the
1791 : : approach of translating immediately before every use of yytoken.
1792 : : One alternative is translating here after every semantic action,
1793 : : but that translation would be missed if the semantic action invokes
1794 : : YYABORT, YYACCEPT, or YYERROR immediately after altering yychar or
1795 : : if it invokes YYBACKUP. In the case of YYABORT or YYACCEPT, an
1796 : : incorrect destructor might then be invoked immediately. In the
1797 : : case of YYERROR or YYBACKUP, subsequent parser actions might lead
1798 : : to an incorrect destructor call or verbose syntax error message
1799 : : before the lookahead is translated. */
1800 : 83775 : YY_SYMBOL_PRINT ("-> $$ =", YY_CAST (yysymbol_kind_t, yyr1[yyn]), &yyval, &yyloc);
1801 : :
1802 : 83775 : YYPOPSTACK (yylen);
1803 : 83775 : yylen = 0;
1804 : :
1805 : 83775 : *++yyvsp = yyval;
1806 : :
1807 : : /* Now 'shift' the result of the reduction. Determine what state
1808 : : that goes to, based on the state we popped back to and the rule
1809 : : number reduced by. */
1810 : : {
1811 : 83775 : const int yylhs = yyr1[yyn] - YYNTOKENS;
1812 : 83775 : const int yyi = yypgoto[yylhs] + *yyssp;
1813 [ + + ]: 77480 : yystate = (0 <= yyi && yyi <= YYLAST && yycheck[yyi] == *yyssp
1814 : 50555 : ? yytable[yyi]
1815 [ + + ]: 161255 : : yydefgoto[yylhs]);
1816 : : }
1817 : :
1818 : 83775 : goto yynewstate;
1819 : :
1820 : :
1821 : : /*--------------------------------------.
1822 : : | yyerrlab -- here on detecting error. |
1823 : : `--------------------------------------*/
1824 : 0 : yyerrlab:
1825 : : /* Make sure we have latest lookahead translation. See comments at
1826 : : user semantic actions for why this is necessary. */
1827 : 0 : yytoken = yychar == YYEMPTY ? YYSYMBOL_YYEMPTY : YYTRANSLATE (yychar);
1828 : : /* If not already recovering from an error, report this error. */
1829 [ # # ]: 0 : if (!yyerrstatus)
1830 : : {
1831 : 0 : ++yynerrs;
1832 : 0 : yyerror (YY_("syntax error"));
1833 : : }
1834 : :
1835 [ # # ]: 0 : if (yyerrstatus == 3)
1836 : : {
1837 : : /* If just tried and failed to reuse lookahead token after an
1838 : : error, discard it. */
1839 : :
1840 [ # # ]: 0 : if (yychar <= YYEOF)
1841 : : {
1842 : : /* Return failure if at end of input. */
1843 [ # # ]: 0 : if (yychar == YYEOF)
1844 : 0 : YYABORT;
1845 : : }
1846 : : else
1847 : : {
1848 : 0 : yydestruct ("Error: discarding",
1849 : : yytoken, &yylval);
1850 : 0 : yychar = YYEMPTY;
1851 : : }
1852 : : }
1853 : :
1854 : : /* Else will try to reuse lookahead token after shifting the error
1855 : : token. */
1856 : 0 : goto yyerrlab1;
1857 : :
1858 : :
1859 : : /*---------------------------------------------------.
1860 : : | yyerrorlab -- error raised explicitly by YYERROR. |
1861 : : `---------------------------------------------------*/
1862 : : yyerrorlab:
1863 : : /* Pacify compilers when the user code never invokes YYERROR and the
1864 : : label yyerrorlab therefore never appears in user code. */
1865 : : if (0)
1866 : : YYERROR;
1867 : :
1868 : : /* Do not reclaim the symbols of the rule whose action triggered
1869 : : this YYERROR. */
1870 : : YYPOPSTACK (yylen);
1871 : : yylen = 0;
1872 : : YY_STACK_PRINT (yyss, yyssp);
1873 : : yystate = *yyssp;
1874 : : goto yyerrlab1;
1875 : :
1876 : :
1877 : : /*-------------------------------------------------------------.
1878 : : | yyerrlab1 -- common code for both syntax error and YYERROR. |
1879 : : `-------------------------------------------------------------*/
1880 : : yyerrlab1:
1881 : 0 : yyerrstatus = 3; /* Each real token shifted decrements this. */
1882 : :
1883 : : /* Pop stack until we find a state that shifts the error token. */
1884 : 0 : for (;;)
1885 : : {
1886 : 0 : yyn = yypact[yystate];
1887 [ # # ]: 0 : if (!yypact_value_is_default (yyn))
1888 : : {
1889 : 0 : yyn += YYSYMBOL_YYerror;
1890 [ # # # # ]: 0 : if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYSYMBOL_YYerror)
1891 : : {
1892 : 0 : yyn = yytable[yyn];
1893 [ # # ]: 0 : if (0 < yyn)
1894 : : break;
1895 : : }
1896 : : }
1897 : :
1898 : : /* Pop the current state because it cannot handle the error token. */
1899 [ # # ]: 0 : if (yyssp == yyss)
1900 : 0 : YYABORT;
1901 : :
1902 : :
1903 : 0 : yydestruct ("Error: popping",
1904 : 0 : YY_ACCESSING_SYMBOL (yystate), yyvsp);
1905 : 0 : YYPOPSTACK (1);
1906 : 0 : yystate = *yyssp;
1907 : 0 : YY_STACK_PRINT (yyss, yyssp);
1908 : : }
1909 : :
1910 : : YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
1911 : 0 : *++yyvsp = yylval;
1912 : : YY_IGNORE_MAYBE_UNINITIALIZED_END
1913 : :
1914 : :
1915 : : /* Shift the error token. */
1916 : 0 : YY_SYMBOL_PRINT ("Shifting", YY_ACCESSING_SYMBOL (yyn), yyvsp, yylsp);
1917 : :
1918 : 0 : yystate = yyn;
1919 : 0 : goto yynewstate;
1920 : :
1921 : :
1922 : : /*-------------------------------------.
1923 : : | yyacceptlab -- YYACCEPT comes here. |
1924 : : `-------------------------------------*/
1925 : 2 : yyacceptlab:
1926 : 2 : yyresult = 0;
1927 : 2 : goto yyreturn;
1928 : :
1929 : :
1930 : : /*-----------------------------------.
1931 : : | yyabortlab -- YYABORT comes here. |
1932 : : `-----------------------------------*/
1933 : 0 : yyabortlab:
1934 : 0 : yyresult = 1;
1935 : 0 : goto yyreturn;
1936 : :
1937 : :
1938 : : #if !defined yyoverflow
1939 : : /*-------------------------------------------------.
1940 : : | yyexhaustedlab -- memory exhaustion comes here. |
1941 : : `-------------------------------------------------*/
1942 : 0 : yyexhaustedlab:
1943 : 0 : yyerror (YY_("memory exhausted"));
1944 : 0 : yyresult = 2;
1945 : 0 : goto yyreturn;
1946 : : #endif
1947 : :
1948 : :
1949 : : /*-------------------------------------------------------.
1950 : : | yyreturn -- parsing is finished, clean up and return. |
1951 : : `-------------------------------------------------------*/
1952 : 2 : yyreturn:
1953 : 2 : if (yychar != YYEMPTY)
1954 : : {
1955 : : /* Make sure we have latest lookahead translation. See comments at
1956 : : user semantic actions for why this is necessary. */
1957 : 2 : yytoken = YYTRANSLATE (yychar);
1958 : 2 : yydestruct ("Cleanup: discarding lookahead",
1959 : : yytoken, &yylval);
1960 : : }
1961 : : /* Do not reclaim the symbols of the rule whose action triggered
1962 : : this YYABORT or YYACCEPT. */
1963 : : YYPOPSTACK (yylen);
1964 : : YY_STACK_PRINT (yyss, yyssp);
1965 : 2 : while (yyssp != yyss)
1966 : : {
1967 : : yydestruct ("Cleanup: popping",
1968 : : YY_ACCESSING_SYMBOL (+*yyssp), yyvsp);
1969 : : YYPOPSTACK (1);
1970 : : }
1971 : : #ifndef yyoverflow
1972 [ - + ]: 2 : if (yyss != yyssa)
1973 : 0 : YYSTACK_FREE (yyss);
1974 : : #endif
1975 : :
1976 : 2 : return yyresult;
1977 : : }
1978 : :
1979 : : #line 550 "i386_parse.y"
1980 : :
1981 : :
1982 : : static void
1983 : : yyerror (const char *s)
1984 : : {
1985 : : error (0, 0, _("while reading i386 CPU description: %s at line %d"),
1986 : : _(s), i386_lineno);
1987 : : }
1988 : :
1989 : :
1990 : : static int
1991 : : bitfield_compare (const void *p1, const void *p2)
1992 : : {
1993 : : struct known_bitfield *f1 = (struct known_bitfield *) p1;
1994 : : struct known_bitfield *f2 = (struct known_bitfield *) p2;
1995 : :
1996 : : return strcmp (f1->name, f2->name);
1997 : : }
1998 : :
1999 : :
2000 : : static void
2001 : : new_bitfield (char *name, unsigned long int num)
2002 : : {
2003 : : struct known_bitfield *newp = xmalloc (sizeof (struct known_bitfield));
2004 : : newp->name = name;
2005 : : newp->bits = num;
2006 : : newp->tmp = 0;
2007 : :
2008 : : if (tfind (newp, &bitfields, bitfield_compare) != NULL)
2009 : : {
2010 : : error (0, 0, "%d: duplicated definition of bitfield '%s'",
2011 : : i386_lineno, name);
2012 : : free (name);
2013 : : free (newp);
2014 : : return;
2015 : : }
2016 : :
2017 : : if (tsearch (newp, &bitfields, bitfield_compare) == NULL)
2018 : : error (EXIT_FAILURE, errno, "%d: cannot insert new bitfield '%s'",
2019 : : i386_lineno, name);
2020 : : }
2021 : :
2022 : :
2023 : : /* Check that the number of bits is a multiple of 8. */
2024 : : static void
2025 : : check_bits (struct bitvalue *val)
2026 : : {
2027 : : struct bitvalue *runp = val;
2028 : : unsigned int total = 0;
2029 : :
2030 : : while (runp != NULL)
2031 : : {
2032 : : if (runp->type == zeroone)
2033 : : ++total;
2034 : : else if (runp->field == NULL)
2035 : : /* No sense doing anything, the field is not known. */
2036 : : return;
2037 : : else
2038 : : total += runp->field->bits;
2039 : :
2040 : : runp = runp->next;
2041 : : }
2042 : :
2043 : : if (total % 8 != 0)
2044 : : {
2045 : : struct obstack os;
2046 : : obstack_init (&os);
2047 : :
2048 : : while (val != NULL)
2049 : : {
2050 : : if (val->type == zeroone)
2051 : : obstack_printf (&os, "%u", val->value);
2052 : : else
2053 : : obstack_printf (&os, "{%s}", val->field->name);
2054 : : val = val->next;
2055 : : }
2056 : : obstack_1grow (&os, '\0');
2057 : :
2058 : : error (0, 0, "%d: field '%s' not a multiple of 8 bits in size",
2059 : : i386_lineno, (char *) obstack_finish (&os));
2060 : :
2061 : : obstack_free (&os, NULL);
2062 : : }
2063 : : }
2064 : :
2065 : :
2066 : : static int
2067 : : check_duplicates (struct bitvalue *val)
2068 : : {
2069 : : static int testcnt;
2070 : : ++testcnt;
2071 : :
2072 : : int result = 0;
2073 : : while (val != NULL)
2074 : : {
2075 : : if (val->type == field && val->field != NULL)
2076 : : {
2077 : : if (val->field->tmp == testcnt)
2078 : : {
2079 : : error (0, 0, "%d: bitfield '%s' used more than once",
2080 : : i386_lineno - 1, val->field->name);
2081 : : result = 1;
2082 : : }
2083 : : val->field->tmp = testcnt;
2084 : : }
2085 : :
2086 : : val = val->next;
2087 : : }
2088 : :
2089 : : return result;
2090 : : }
2091 : :
2092 : :
2093 : : static int
2094 : : check_argsdef (struct bitvalue *bitval, struct argument *args)
2095 : : {
2096 : : int result = 0;
2097 : :
2098 : : while (args != NULL)
2099 : : {
2100 : : for (struct argname *name = args->name; name != NULL; name = name->next)
2101 : : if (name->type == nfield && name->field != NULL
2102 : : && name->field != &ax_reg && name->field != &dx_reg
2103 : : && name->field != &di_reg && name->field != &si_reg
2104 : : && name->field != &bx_reg)
2105 : : {
2106 : : struct bitvalue *runp = bitval;
2107 : :
2108 : : while (runp != NULL)
2109 : : if (runp->type == field && runp->field == name->field)
2110 : : break;
2111 : : else
2112 : : runp = runp->next;
2113 : :
2114 : : if (runp == NULL)
2115 : : {
2116 : : error (0, 0, "%d: unknown bitfield '%s' used in output format",
2117 : : i386_lineno - 1, name->field->name);
2118 : : result = 1;
2119 : : }
2120 : : }
2121 : :
2122 : : args = args->next;
2123 : : }
2124 : :
2125 : : return result;
2126 : : }
2127 : :
2128 : :
2129 : : static int
2130 : : check_bitsused (struct bitvalue *bitval, struct known_bitfield *suffix,
2131 : : struct argument *args)
2132 : : {
2133 : : int result = 0;
2134 : :
2135 : : while (bitval != NULL)
2136 : : {
2137 : : if (bitval->type == field && bitval->field != NULL
2138 : : && bitval->field != suffix
2139 : : /* {w} is handled special. */
2140 : : && strcmp (bitval->field->name, "w") != 0)
2141 : : {
2142 : : struct argument *runp;
2143 : : for (runp = args; runp != NULL; runp = runp->next)
2144 : : {
2145 : : struct argname *name = runp->name;
2146 : :
2147 : : while (name != NULL)
2148 : : if (name->type == nfield && name->field == bitval->field)
2149 : : break;
2150 : : else
2151 : : name = name->next;
2152 : :
2153 : : if (name != NULL)
2154 : : break;
2155 : : }
2156 : :
2157 : : #if 0
2158 : : if (runp == NULL)
2159 : : {
2160 : : error (0, 0, "%d: bitfield '%s' not used",
2161 : : i386_lineno - 1, bitval->field->name);
2162 : : result = 1;
2163 : : }
2164 : : #endif
2165 : : }
2166 : :
2167 : : bitval = bitval->next;
2168 : : }
2169 : :
2170 : : return result;
2171 : : }
2172 : :
2173 : :
2174 : : static struct argname *
2175 : : combine (struct argname *name)
2176 : : {
2177 : : struct argname *last_str = NULL;
2178 : : for (struct argname *runp = name; runp != NULL; runp = runp->next)
2179 : : {
2180 : : if (runp->type == string)
2181 : : {
2182 : : if (last_str == NULL)
2183 : : last_str = runp;
2184 : : else
2185 : : {
2186 : : last_str->str = xrealloc (last_str->str,
2187 : : strlen (last_str->str)
2188 : : + strlen (runp->str) + 1);
2189 : : strcat (last_str->str, runp->str);
2190 : : last_str->next = runp->next;
2191 : : }
2192 : : }
2193 : : else
2194 : : last_str = NULL;
2195 : : }
2196 : : return name;
2197 : : }
2198 : :
2199 : :
2200 : : #define obstack_grow_str(ob, str) obstack_grow (ob, str, strlen (str))
2201 : :
2202 : :
2203 : : static void
2204 : : fillin_arg (struct bitvalue *bytes, struct argname *name,
2205 : : struct instruction *instr, int n)
2206 : : {
2207 : : static struct obstack ob;
2208 : : static int initialized;
2209 : : if (! initialized)
2210 : : {
2211 : : initialized = 1;
2212 : : obstack_init (&ob);
2213 : : }
2214 : :
2215 : : struct argname *runp = name;
2216 : : int cnt = 0;
2217 : : while (runp != NULL)
2218 : : {
2219 : : /* We ignore strings in the function name. */
2220 : : if (runp->type == string)
2221 : : {
2222 : : if (instr->operands[n].str != NULL)
2223 : : error (EXIT_FAILURE, 0,
2224 : : "%d: cannot have more than one string parameter",
2225 : : i386_lineno - 1);
2226 : :
2227 : : instr->operands[n].str = runp->str;
2228 : : }
2229 : : else
2230 : : {
2231 : : assert (runp->type == nfield);
2232 : :
2233 : : /* Construct the function name. */
2234 : : if (cnt++ > 0)
2235 : : obstack_1grow (&ob, '$');
2236 : :
2237 : : if (runp->field == NULL)
2238 : : /* Add some string which contains invalid characters. */
2239 : : obstack_grow_str (&ob, "!!!INVALID!!!");
2240 : : else
2241 : : {
2242 : : char *fieldname = runp->field->name;
2243 : :
2244 : : struct synonym search = { .from = fieldname };
2245 : :
2246 : : struct synonym **res = tfind (&search, &synonyms, compare_syn);
2247 : : if (res != NULL)
2248 : : fieldname = (*res)->to;
2249 : :
2250 : : obstack_grow_str (&ob, fieldname);
2251 : : }
2252 : :
2253 : : /* Now compute the bit offset of the field. */
2254 : : struct bitvalue *b = bytes;
2255 : : int bitoff = 0;
2256 : : if (runp->field != NULL)
2257 : : while (b != NULL)
2258 : : {
2259 : : if (b->type == field && b->field != NULL)
2260 : : {
2261 : : if (strcmp (b->field->name, runp->field->name) == 0)
2262 : : break;
2263 : : bitoff += b->field->bits;
2264 : : }
2265 : : else
2266 : : ++bitoff;
2267 : :
2268 : : b = b->next;
2269 : : }
2270 : : if (instr->operands[n].off1 == 0)
2271 : : instr->operands[n].off1 = bitoff;
2272 : : else if (instr->operands[n].off2 == 0)
2273 : : instr->operands[n].off2 = bitoff;
2274 : : else if (instr->operands[n].off3 == 0)
2275 : : instr->operands[n].off3 = bitoff;
2276 : : else
2277 : : error (EXIT_FAILURE, 0,
2278 : : "%d: cannot have more than three fields in parameter",
2279 : : i386_lineno - 1);
2280 : :
2281 : : if (runp->field != NULL
2282 : : && strncasecmp (runp->field->name, "mod", 3) == 0)
2283 : : instr->modrm = 1;
2284 : : }
2285 : :
2286 : : runp = runp->next;
2287 : : }
2288 : : if (obstack_object_size (&ob) == 0)
2289 : : obstack_grow_str (&ob, "string");
2290 : : obstack_1grow (&ob, '\0');
2291 : : char *fct = obstack_finish (&ob);
2292 : :
2293 : : instr->operands[n].fct = fct;
2294 : : }
2295 : :
2296 : :
2297 : : #if 0
2298 : : static void
2299 : : nameout (const void *nodep, VISIT value, int level)
2300 : : {
2301 : : if (value == leaf || value == postorder)
2302 : : printf (" %s\n", *(const char **) nodep);
2303 : : }
2304 : : #endif
2305 : :
2306 : :
2307 : : static int
2308 : : compare_argstring (const void *p1, const void *p2)
2309 : : {
2310 : : const struct argstring *a1 = (const struct argstring *) p1;
2311 : : const struct argstring *a2 = (const struct argstring *) p2;
2312 : :
2313 : : return strcmp (a1->str, a2->str);
2314 : : }
2315 : :
2316 : :
2317 : : static int maxoff[3][3];
2318 : : static int minoff[3][3] = { { 1000, 1000, 1000 },
2319 : : { 1000, 1000, 1000 },
2320 : : { 1000, 1000, 1000 } };
2321 : : static int nbitoff[3][3];
2322 : : static void *fct_names[3];
2323 : : static int nbitfct[3];
2324 : : static int nbitsuf;
2325 : : static void *strs[3];
2326 : : static int nbitstr[3];
2327 : : static int total_bits = 2; // Already counted the rep/repe bits.
2328 : :
2329 : : static void
2330 : : find_numbers (void)
2331 : : {
2332 : : int nfct_names[3] = { 0, 0, 0 };
2333 : : int nstrs[3] = { 0, 0, 0 };
2334 : :
2335 : : /* We reverse the order of the instruction list while processing it.
2336 : : Later phases need it in the order in which the input file has
2337 : : them. */
2338 : : struct instruction *reversed = NULL;
2339 : :
2340 : : struct instruction *runp = instructions;
2341 : : while (runp != NULL)
2342 : : {
2343 : : for (int i = 0; i < 3; ++i)
2344 : : if (runp->operands[i].fct != NULL)
2345 : : {
2346 : : struct argstring search = { .str = runp->operands[i].fct };
2347 : : if (tfind (&search, &fct_names[i], compare_argstring) == NULL)
2348 : : {
2349 : : struct argstring *newp = xmalloc (sizeof (*newp));
2350 : : newp->str = runp->operands[i].fct;
2351 : : newp->idx = 0;
2352 : : if (tsearch (newp, &fct_names[i], compare_argstring) == NULL)
2353 : : error (EXIT_FAILURE, errno, "tsearch");
2354 : : ++nfct_names[i];
2355 : : }
2356 : :
2357 : : if (runp->operands[i].str != NULL)
2358 : : {
2359 : : search.str = runp->operands[i].str;
2360 : : if (tfind (&search, &strs[i], compare_argstring) == NULL)
2361 : : {
2362 : : struct argstring *newp = xmalloc (sizeof (*newp));
2363 : : newp->str = runp->operands[i].str;
2364 : : newp->idx = 0;
2365 : : if (tsearch (newp, &strs[i], compare_argstring) == NULL)
2366 : : error (EXIT_FAILURE, errno, "tsearch");
2367 : : ++nstrs[i];
2368 : : }
2369 : : }
2370 : :
2371 : : maxoff[i][0] = MAX (maxoff[i][0], runp->operands[i].off1);
2372 : : maxoff[i][1] = MAX (maxoff[i][1], runp->operands[i].off2);
2373 : : maxoff[i][2] = MAX (maxoff[i][2], runp->operands[i].off3);
2374 : :
2375 : : if (runp->operands[i].off1 > 0)
2376 : : minoff[i][0] = MIN (minoff[i][0], runp->operands[i].off1);
2377 : : if (runp->operands[i].off2 > 0)
2378 : : minoff[i][1] = MIN (minoff[i][1], runp->operands[i].off2);
2379 : : if (runp->operands[i].off3 > 0)
2380 : : minoff[i][2] = MIN (minoff[i][2], runp->operands[i].off3);
2381 : : }
2382 : :
2383 : : struct instruction *old = runp;
2384 : : runp = runp->next;
2385 : :
2386 : : old->next = reversed;
2387 : : reversed = old;
2388 : : }
2389 : : instructions = reversed;
2390 : :
2391 : : int d;
2392 : : int c;
2393 : : for (int i = 0; i < 3; ++i)
2394 : : {
2395 : : // printf ("min1 = %d, min2 = %d, min3 = %d\n", minoff[i][0], minoff[i][1], minoff[i][2]);
2396 : : // printf ("max1 = %d, max2 = %d, max3 = %d\n", maxoff[i][0], maxoff[i][1], maxoff[i][2]);
2397 : :
2398 : : if (minoff[i][0] == 1000)
2399 : : nbitoff[i][0] = 0;
2400 : : else
2401 : : {
2402 : : nbitoff[i][0] = 1;
2403 : : d = maxoff[i][0] - minoff[i][0];
2404 : : c = 1;
2405 : : while (c < d)
2406 : : {
2407 : : ++nbitoff[i][0];
2408 : : c *= 2;
2409 : : }
2410 : : total_bits += nbitoff[i][0];
2411 : : }
2412 : :
2413 : : if (minoff[i][1] == 1000)
2414 : : nbitoff[i][1] = 0;
2415 : : else
2416 : : {
2417 : : nbitoff[i][1] = 1;
2418 : : d = maxoff[i][1] - minoff[i][1];
2419 : : c = 1;
2420 : : while (c < d)
2421 : : {
2422 : : ++nbitoff[i][1];
2423 : : c *= 2;
2424 : : }
2425 : : total_bits += nbitoff[i][1];
2426 : : }
2427 : :
2428 : : if (minoff[i][2] == 1000)
2429 : : nbitoff[i][2] = 0;
2430 : : else
2431 : : {
2432 : : nbitoff[i][2] = 1;
2433 : : d = maxoff[i][2] - minoff[i][2];
2434 : : c = 1;
2435 : : while (c < d)
2436 : : {
2437 : : ++nbitoff[i][2];
2438 : : c *= 2;
2439 : : }
2440 : : total_bits += nbitoff[i][2];
2441 : : }
2442 : : // printf ("off1 = %d, off2 = %d, off3 = %d\n", nbitoff[i][0], nbitoff[i][1], nbitoff[i][2]);
2443 : :
2444 : : nbitfct[i] = 1;
2445 : : d = nfct_names[i];
2446 : : c = 1;
2447 : : while (c < d)
2448 : : {
2449 : : ++nbitfct[i];
2450 : : c *= 2;
2451 : : }
2452 : : total_bits += nbitfct[i];
2453 : : // printf ("%d fct[%d], %d bits\n", nfct_names[i], i, nbitfct[i]);
2454 : :
2455 : : if (nstrs[i] != 0)
2456 : : {
2457 : : nbitstr[i] = 1;
2458 : : d = nstrs[i];
2459 : : c = 1;
2460 : : while (c < d)
2461 : : {
2462 : : ++nbitstr[i];
2463 : : c *= 2;
2464 : : }
2465 : : total_bits += nbitstr[i];
2466 : : }
2467 : :
2468 : : // twalk (fct_names[i], nameout);
2469 : : }
2470 : :
2471 : : nbitsuf = 0;
2472 : : d = nsuffixes;
2473 : : c = 1;
2474 : : while (c < d)
2475 : : {
2476 : : ++nbitsuf;
2477 : : c *= 2;
2478 : : }
2479 : : total_bits += nbitsuf;
2480 : : // printf ("%d suffixes, %d bits\n", nsuffixes, nbitsuf);
2481 : : }
2482 : :
2483 : :
2484 : : static int
2485 : : compare_syn (const void *p1, const void *p2)
2486 : : {
2487 : : const struct synonym *s1 = (const struct synonym *) p1;
2488 : : const struct synonym *s2 = (const struct synonym *) p2;
2489 : :
2490 : : return strcmp (s1->from, s2->from);
2491 : : }
2492 : :
2493 : :
2494 : : static int
2495 : : compare_suf (const void *p1, const void *p2)
2496 : : {
2497 : : const struct suffix *s1 = (const struct suffix *) p1;
2498 : : const struct suffix *s2 = (const struct suffix *) p2;
2499 : :
2500 : : return strcmp (s1->name, s2->name);
2501 : : }
2502 : :
2503 : :
2504 : : static int count_op_str;
2505 : : static int off_op_str;
2506 : : static void
2507 : : print_op_str (const void *nodep, VISIT value,
2508 : : int level __attribute__ ((unused)))
2509 : : {
2510 : : if (value == leaf || value == postorder)
2511 : : {
2512 : : const char *str = (*(struct argstring **) nodep)->str;
2513 : : fprintf (outfile, "%s\n \"%s",
2514 : : count_op_str == 0 ? "" : "\\0\"", str);
2515 : : (*(struct argstring **) nodep)->idx = ++count_op_str;
2516 : : (*(struct argstring **) nodep)->off = off_op_str;
2517 : : off_op_str += strlen (str) + 1;
2518 : : }
2519 : : }
2520 : :
2521 : :
2522 : : static void
2523 : : print_op_str_idx (const void *nodep, VISIT value,
2524 : : int level __attribute__ ((unused)))
2525 : : {
2526 : : if (value == leaf || value == postorder)
2527 : : printf (" %d,\n", (*(struct argstring **) nodep)->off);
2528 : : }
2529 : :
2530 : :
2531 : : static void
2532 : : print_op_fct (const void *nodep, VISIT value,
2533 : : int level __attribute__ ((unused)))
2534 : : {
2535 : : if (value == leaf || value == postorder)
2536 : : {
2537 : : fprintf (outfile, " FCT_%s,\n", (*(struct argstring **) nodep)->str);
2538 : : (*(struct argstring **) nodep)->idx = ++count_op_str;
2539 : : }
2540 : : }
2541 : :
2542 : : static void
2543 : : instrtable_out (void)
2544 : : {
2545 : : find_numbers ();
2546 : :
2547 : : #if 0
2548 : : create_mnemonic_table ();
2549 : :
2550 : : fprintf (outfile, "#define MNEMONIC_BITS %zu\n", best_mnemonic_bits);
2551 : : #else
2552 : : fprintf (outfile, "#define MNEMONIC_BITS %ld\n",
2553 : : lrint (ceil (log2 (MNE_COUNT))));
2554 : : #endif
2555 : : fprintf (outfile, "#define SUFFIX_BITS %d\n", nbitsuf);
2556 : : for (int i = 0; i < 3; ++i)
2557 : : {
2558 : : fprintf (outfile, "#define FCT%d_BITS %d\n", i + 1, nbitfct[i]);
2559 : : if (nbitstr[i] != 0)
2560 : : fprintf (outfile, "#define STR%d_BITS %d\n", i + 1, nbitstr[i]);
2561 : : fprintf (outfile, "#define OFF%d_1_BITS %d\n", i + 1, nbitoff[i][0]);
2562 : : fprintf (outfile, "#define OFF%d_1_BIAS %d\n", i + 1, minoff[i][0]);
2563 : : if (nbitoff[i][1] != 0)
2564 : : {
2565 : : fprintf (outfile, "#define OFF%d_2_BITS %d\n", i + 1, nbitoff[i][1]);
2566 : : fprintf (outfile, "#define OFF%d_2_BIAS %d\n", i + 1, minoff[i][1]);
2567 : : }
2568 : : if (nbitoff[i][2] != 0)
2569 : : {
2570 : : fprintf (outfile, "#define OFF%d_3_BITS %d\n", i + 1, nbitoff[i][2]);
2571 : : fprintf (outfile, "#define OFF%d_3_BIAS %d\n", i + 1, minoff[i][2]);
2572 : : }
2573 : : }
2574 : :
2575 : : fputs ("\n#include <i386_data.h>\n\n", outfile);
2576 : :
2577 : :
2578 : : #define APPEND(a, b) APPEND_ (a, b)
2579 : : #define APPEND_(a, b) a##b
2580 : : #define EMIT_SUFFIX(suf) \
2581 : : fprintf (outfile, "#define suffix_%s %d\n", #suf, APPEND (suffix_, suf))
2582 : : EMIT_SUFFIX (none);
2583 : : EMIT_SUFFIX (w);
2584 : : EMIT_SUFFIX (w0);
2585 : : EMIT_SUFFIX (W);
2586 : : EMIT_SUFFIX (tttn);
2587 : : EMIT_SUFFIX (D);
2588 : : EMIT_SUFFIX (w1);
2589 : : EMIT_SUFFIX (W1);
2590 : :
2591 : : fputc_unlocked ('\n', outfile);
2592 : :
2593 : : for (int i = 0; i < 3; ++i)
2594 : : {
2595 : : /* Functions. */
2596 : : count_op_str = 0;
2597 : : fprintf (outfile, "static const opfct_t op%d_fct[] =\n{\n NULL,\n",
2598 : : i + 1);
2599 : : twalk (fct_names[i], print_op_fct);
2600 : : fputs ("};\n", outfile);
2601 : :
2602 : : /* The operand strings. */
2603 : : if (nbitstr[i] != 0)
2604 : : {
2605 : : count_op_str = 0;
2606 : : off_op_str = 0;
2607 : : fprintf (outfile, "static const char op%d_str[] =", i + 1);
2608 : : twalk (strs[i], print_op_str);
2609 : : fputs ("\";\n", outfile);
2610 : :
2611 : : fprintf (outfile, "static const uint8_t op%d_str_idx[] = {\n",
2612 : : i + 1);
2613 : : twalk (strs[i], print_op_str_idx);
2614 : : fputs ("};\n", outfile);
2615 : : }
2616 : : }
2617 : :
2618 : :
2619 : : fputs ("static const struct instr_enc instrtab[] =\n{\n", outfile);
2620 : : struct instruction *instr;
2621 : : for (instr = instructions; instr != NULL; instr = instr->next)
2622 : : {
2623 : : fputs (" {", outfile);
2624 : : if (instr->mnemonic == (void *) -1l)
2625 : : fputs (" .mnemonic = MNE_INVALID,", outfile);
2626 : : else
2627 : : fprintf (outfile, " .mnemonic = MNE_%s,", instr->mnemonic);
2628 : : fprintf (outfile, " .rep = %d,", instr->rep);
2629 : : fprintf (outfile, " .repe = %d,", instr->repe);
2630 : : fprintf (outfile, " .suffix = %d,", instr->suffix);
2631 : : fprintf (outfile, " .modrm = %d,", instr->modrm);
2632 : :
2633 : : for (int i = 0; i < 3; ++i)
2634 : : {
2635 : : int idx = 0;
2636 : : if (instr->operands[i].fct != NULL)
2637 : : {
2638 : : struct argstring search = { .str = instr->operands[i].fct };
2639 : : struct argstring **res = tfind (&search, &fct_names[i],
2640 : : compare_argstring);
2641 : : assert (res != NULL);
2642 : : idx = (*res)->idx;
2643 : : }
2644 : : fprintf (outfile, " .fct%d = %d,", i + 1, idx);
2645 : :
2646 : : idx = 0;
2647 : : if (instr->operands[i].str != NULL)
2648 : : {
2649 : : struct argstring search = { .str = instr->operands[i].str };
2650 : : struct argstring **res = tfind (&search, &strs[i],
2651 : : compare_argstring);
2652 : : assert (res != NULL);
2653 : : idx = (*res)->idx;
2654 : : }
2655 : : if (nbitstr[i] != 0)
2656 : : fprintf (outfile, " .str%d = %d,", i + 1, idx);
2657 : :
2658 : : fprintf (outfile, " .off%d_1 = %d,", i + 1,
2659 : : MAX (0, instr->operands[i].off1 - minoff[i][0]));
2660 : :
2661 : : if (nbitoff[i][1] != 0)
2662 : : fprintf (outfile, " .off%d_2 = %d,", i + 1,
2663 : : MAX (0, instr->operands[i].off2 - minoff[i][1]));
2664 : :
2665 : : if (nbitoff[i][2] != 0)
2666 : : fprintf (outfile, " .off%d_3 = %d,", i + 1,
2667 : : MAX (0, instr->operands[i].off3 - minoff[i][2]));
2668 : : }
2669 : :
2670 : : fputs (" },\n", outfile);
2671 : : }
2672 : : fputs ("};\n", outfile);
2673 : :
2674 : : fputs ("static const uint8_t match_data[] =\n{\n", outfile);
2675 : : size_t cnt = 0;
2676 : : for (instr = instructions; instr != NULL; instr = instr->next, ++cnt)
2677 : : {
2678 : : /* First count the number of bytes. */
2679 : : size_t totalbits = 0;
2680 : : size_t zerobits = 0;
2681 : : bool leading_p = true;
2682 : : size_t leadingbits = 0;
2683 : : struct bitvalue *b = instr->bytes;
2684 : : while (b != NULL)
2685 : : {
2686 : : if (b->type == zeroone)
2687 : : {
2688 : : ++totalbits;
2689 : : zerobits = 0;
2690 : : if (leading_p)
2691 : : ++leadingbits;
2692 : : }
2693 : : else
2694 : : {
2695 : : totalbits += b->field->bits;
2696 : : /* We must always count the mod/rm byte. */
2697 : : if (strncasecmp (b->field->name, "mod", 3) == 0)
2698 : : zerobits = 0;
2699 : : else
2700 : : zerobits += b->field->bits;
2701 : : leading_p = false;
2702 : : }
2703 : : b = b->next;
2704 : : }
2705 : : size_t nbytes = (totalbits - zerobits + 7) / 8;
2706 : : assert (nbytes > 0);
2707 : : size_t leadingbytes = leadingbits / 8;
2708 : :
2709 : : fprintf (outfile, " %#zx,", nbytes | (leadingbytes << 4));
2710 : :
2711 : : /* Now create the mask and byte values. */
2712 : : uint8_t byte = 0;
2713 : : uint8_t mask = 0;
2714 : : int nbits = 0;
2715 : : b = instr->bytes;
2716 : : while (b != NULL)
2717 : : {
2718 : : if (b->type == zeroone)
2719 : : {
2720 : : byte = (byte << 1) | b->value;
2721 : : mask = (mask << 1) | 1;
2722 : : if (++nbits == 8)
2723 : : {
2724 : : if (leadingbytes > 0)
2725 : : {
2726 : : assert (mask == 0xff);
2727 : : fprintf (outfile, " %#" PRIx8 ",", byte);
2728 : : --leadingbytes;
2729 : : }
2730 : : else
2731 : : fprintf (outfile, " %#" PRIx8 ", %#" PRIx8 ",",
2732 : : mask, byte);
2733 : : byte = mask = nbits = 0;
2734 : : if (--nbytes == 0)
2735 : : break;
2736 : : }
2737 : : }
2738 : : else
2739 : : {
2740 : : assert (leadingbytes == 0);
2741 : :
2742 : : unsigned long int remaining = b->field->bits;
2743 : : while (nbits + remaining > 8)
2744 : : {
2745 : : fprintf (outfile, " %#" PRIx8 ", %#" PRIx8 ",",
2746 : : mask << (8 - nbits), byte << (8 - nbits));
2747 : : remaining = nbits + remaining - 8;
2748 : : byte = mask = nbits = 0;
2749 : : if (--nbytes == 0)
2750 : : break;
2751 : : }
2752 : : byte <<= remaining;
2753 : : mask <<= remaining;
2754 : : nbits += remaining;
2755 : : if (nbits == 8)
2756 : : {
2757 : : fprintf (outfile, " %#" PRIx8 ", %#" PRIx8 ",", mask, byte);
2758 : : byte = mask = nbits = 0;
2759 : : if (--nbytes == 0)
2760 : : break;
2761 : : }
2762 : : }
2763 : : b = b->next;
2764 : : }
2765 : :
2766 : : fputc_unlocked ('\n', outfile);
2767 : : }
2768 : : fputs ("};\n", outfile);
2769 : : }
2770 : :
2771 : :
2772 : : #if 0
2773 : : static size_t mnemonic_maxlen;
2774 : : static size_t mnemonic_minlen;
2775 : : static size_t
2776 : : which_chars (const char *str[], size_t nstr)
2777 : : {
2778 : : char used_char[256];
2779 : : memset (used_char, '\0', sizeof (used_char));
2780 : : mnemonic_maxlen = 0;
2781 : : mnemonic_minlen = 10000;
2782 : : for (size_t cnt = 0; cnt < nstr; ++cnt)
2783 : : {
2784 : : const unsigned char *cp = (const unsigned char *) str[cnt];
2785 : : mnemonic_maxlen = MAX (mnemonic_maxlen, strlen ((char *) cp));
2786 : : mnemonic_minlen = MIN (mnemonic_minlen, strlen ((char *) cp));
2787 : : do
2788 : : used_char[*cp++] = 1;
2789 : : while (*cp != '\0');
2790 : : }
2791 : : size_t nused_char = 0;
2792 : : for (size_t cnt = 0; cnt < 256; ++cnt)
2793 : : if (used_char[cnt] != 0)
2794 : : ++nused_char;
2795 : : return nused_char;
2796 : : }
2797 : :
2798 : :
2799 : : static const char **mnemonic_strs;
2800 : : static size_t nmnemonic_strs;
2801 : : static void
2802 : : add_mnemonics (const void *nodep, VISIT value,
2803 : : int level __attribute__ ((unused)))
2804 : : {
2805 : : if (value == leaf || value == postorder)
2806 : : mnemonic_strs[nmnemonic_strs++] = *(const char **) nodep;
2807 : : }
2808 : :
2809 : :
2810 : : struct charfreq
2811 : : {
2812 : : char ch;
2813 : : int freq;
2814 : : };
2815 : : static struct charfreq pfxfreq[256];
2816 : : static struct charfreq sfxfreq[256];
2817 : :
2818 : :
2819 : : static int
2820 : : compare_freq (const void *p1, const void *p2)
2821 : : {
2822 : : const struct charfreq *c1 = (const struct charfreq *) p1;
2823 : : const struct charfreq *c2 = (const struct charfreq *) p2;
2824 : :
2825 : : if (c1->freq > c2->freq)
2826 : : return -1;
2827 : : if (c1->freq < c2->freq)
2828 : : return 1;
2829 : : return 0;
2830 : : }
2831 : :
2832 : :
2833 : : static size_t
2834 : : compute_pfxfreq (const char *str[], size_t nstr)
2835 : : {
2836 : : memset (pfxfreq, '\0', sizeof (pfxfreq));
2837 : :
2838 : : for (size_t i = 0; i < nstr; ++i)
2839 : : pfxfreq[i].ch = i;
2840 : :
2841 : : for (size_t i = 0; i < nstr; ++i)
2842 : : ++pfxfreq[*((const unsigned char *) str[i])].freq;
2843 : :
2844 : : qsort (pfxfreq, 256, sizeof (struct charfreq), compare_freq);
2845 : :
2846 : : size_t n = 0;
2847 : : while (n < 256 && pfxfreq[n].freq != 0)
2848 : : ++n;
2849 : : return n;
2850 : : }
2851 : :
2852 : :
2853 : : struct strsnlen
2854 : : {
2855 : : const char *str;
2856 : : size_t len;
2857 : : };
2858 : :
2859 : : static size_t
2860 : : compute_sfxfreq (size_t nstr, struct strsnlen *strsnlen)
2861 : : {
2862 : : memset (sfxfreq, '\0', sizeof (sfxfreq));
2863 : :
2864 : : for (size_t i = 0; i < nstr; ++i)
2865 : : sfxfreq[i].ch = i;
2866 : :
2867 : : for (size_t i = 0; i < nstr; ++i)
2868 : : ++sfxfreq[((const unsigned char *) strchrnul (strsnlen[i].str, '\0'))[-1]].freq;
2869 : :
2870 : : qsort (sfxfreq, 256, sizeof (struct charfreq), compare_freq);
2871 : :
2872 : : size_t n = 0;
2873 : : while (n < 256 && sfxfreq[n].freq != 0)
2874 : : ++n;
2875 : : return n;
2876 : : }
2877 : :
2878 : :
2879 : : static void
2880 : : create_mnemonic_table (void)
2881 : : {
2882 : : mnemonic_strs = xmalloc (nmnemonics * sizeof (char *));
2883 : :
2884 : : twalk (mnemonics, add_mnemonics);
2885 : :
2886 : : (void) which_chars (mnemonic_strs, nmnemonic_strs);
2887 : :
2888 : : size_t best_so_far = 100000000;
2889 : : char *best_prefix = NULL;
2890 : : char *best_suffix = NULL;
2891 : : char *best_table = NULL;
2892 : : size_t best_table_size = 0;
2893 : : size_t best_table_bits = 0;
2894 : : size_t best_prefix_bits = 0;
2895 : :
2896 : : /* We can precompute the prefix characters. */
2897 : : size_t npfx_char = compute_pfxfreq (mnemonic_strs, nmnemonic_strs);
2898 : :
2899 : : /* Compute best size for string representation including explicit NUL. */
2900 : : for (size_t pfxbits = 0; (1u << pfxbits) < 2 * npfx_char; ++pfxbits)
2901 : : {
2902 : : char prefix[1 << pfxbits];
2903 : : size_t i;
2904 : : for (i = 0; i < (1u << pfxbits) - 1; ++i)
2905 : : prefix[i] = pfxfreq[i].ch;
2906 : : prefix[i] = '\0';
2907 : :
2908 : : struct strsnlen strsnlen[nmnemonic_strs];
2909 : :
2910 : : for (i = 0; i < nmnemonic_strs; ++i)
2911 : : {
2912 : : if (strchr (prefix, *mnemonic_strs[i]) != NULL)
2913 : : strsnlen[i].str = mnemonic_strs[i] + 1;
2914 : : else
2915 : : strsnlen[i].str = mnemonic_strs[i];
2916 : : strsnlen[i].len = strlen (strsnlen[i].str);
2917 : : }
2918 : :
2919 : : /* With the prefixes gone, try to combine strings. */
2920 : : size_t nstrsnlen = 1;
2921 : : for (i = 1; i < nmnemonic_strs; ++i)
2922 : : {
2923 : : size_t j;
2924 : : for (j = 0; j < nstrsnlen; ++j)
2925 : : if (strsnlen[i].len > strsnlen[j].len
2926 : : && strcmp (strsnlen[j].str,
2927 : : strsnlen[i].str + (strsnlen[i].len
2928 : : - strsnlen[j].len)) == 0)
2929 : : {
2930 : : strsnlen[j] = strsnlen[i];
2931 : : break;
2932 : : }
2933 : : else if (strsnlen[i].len < strsnlen[j].len
2934 : : && strcmp (strsnlen[i].str,
2935 : : strsnlen[j].str + (strsnlen[j].len
2936 : : - strsnlen[i].len)) == 0)
2937 : : break;
2938 : : ;
2939 : : if (j == nstrsnlen)
2940 : : strsnlen[nstrsnlen++] = strsnlen[i];
2941 : : }
2942 : :
2943 : : size_t nsfx_char = compute_sfxfreq (nstrsnlen, strsnlen);
2944 : :
2945 : : for (size_t sfxbits = 0; (1u << sfxbits) < 2 * nsfx_char; ++sfxbits)
2946 : : {
2947 : : char suffix[1 << sfxbits];
2948 : :
2949 : : for (i = 0; i < (1u << sfxbits) - 1; ++i)
2950 : : suffix[i] = sfxfreq[i].ch;
2951 : : suffix[i] = '\0';
2952 : :
2953 : : size_t newlen[nstrsnlen];
2954 : :
2955 : : for (i = 0; i < nstrsnlen; ++i)
2956 : : if (strchr (suffix, strsnlen[i].str[strsnlen[i].len - 1]) != NULL)
2957 : : newlen[i] = strsnlen[i].len - 1;
2958 : : else
2959 : : newlen[i] = strsnlen[i].len;
2960 : :
2961 : : char charused[256];
2962 : : memset (charused, '\0', sizeof (charused));
2963 : : size_t ncharused = 0;
2964 : :
2965 : : const char *tablestr[nstrsnlen];
2966 : : size_t ntablestr = 1;
2967 : : tablestr[0] = strsnlen[0].str;
2968 : : size_t table = newlen[0] + 1;
2969 : : for (i = 1; i < nstrsnlen; ++i)
2970 : : {
2971 : : size_t j;
2972 : : for (j = 0; j < ntablestr; ++j)
2973 : : if (newlen[i] > newlen[j]
2974 : : && memcmp (tablestr[j],
2975 : : strsnlen[i].str + (newlen[i] - newlen[j]),
2976 : : newlen[j]) == 0)
2977 : : {
2978 : : table += newlen[i] - newlen[j];
2979 : : tablestr[j] = strsnlen[i].str;
2980 : : newlen[j] = newlen[i];
2981 : : break;
2982 : : }
2983 : : else if (newlen[i] < newlen[j]
2984 : : && memcmp (strsnlen[i].str,
2985 : : tablestr[j] + (newlen[j] - newlen[i]),
2986 : : newlen[i]) == 0)
2987 : : break;
2988 : :
2989 : : if (j == ntablestr)
2990 : : {
2991 : : table += newlen[i] + 1;
2992 : : tablestr[ntablestr] = strsnlen[i].str;
2993 : : newlen[ntablestr] = newlen[i];
2994 : :
2995 : : ++ntablestr;
2996 : : }
2997 : :
2998 : : for (size_t x = 0; x < newlen[j]; ++x)
2999 : : if (charused[((const unsigned char *) tablestr[j])[x]]++ == 0)
3000 : : ++ncharused;
3001 : : }
3002 : :
3003 : : size_t ncharused_bits = 0;
3004 : : i = 1;
3005 : : while (i < ncharused)
3006 : : {
3007 : : i *= 2;
3008 : : ++ncharused_bits;
3009 : : }
3010 : :
3011 : : size_t table_bits = 0;
3012 : : i = 1;
3013 : : while (i < table)
3014 : : {
3015 : : i *= 2;
3016 : : ++table_bits;
3017 : : }
3018 : :
3019 : : size_t mnemonic_bits = table_bits + pfxbits + sfxbits;
3020 : : size_t new_total = (((table + 7) / 8) * ncharused_bits + ncharused
3021 : : + (pfxbits == 0 ? 0 : (1 << pfxbits) - 1)
3022 : : + (sfxbits == 0 ? 0 : (1 << sfxbits) - 1)
3023 : : + (((total_bits + mnemonic_bits + 7) / 8)
3024 : : * ninstructions));
3025 : :
3026 : : if (new_total < best_so_far)
3027 : : {
3028 : : best_so_far = new_total;
3029 : : best_mnemonic_bits = mnemonic_bits;
3030 : :
3031 : : free (best_suffix);
3032 : : best_suffix = xstrdup (suffix);
3033 : :
3034 : : free (best_prefix);
3035 : : best_prefix = xstrdup (prefix);
3036 : : best_prefix_bits = pfxbits;
3037 : :
3038 : : best_table_size = table;
3039 : : best_table_bits = table_bits;
3040 : : char *cp = best_table = xrealloc (best_table, table);
3041 : : for (i = 0; i < ntablestr; ++i)
3042 : : {
3043 : : assert (cp + newlen[i] + 1 <= best_table + table);
3044 : : cp = mempcpy (cp, tablestr[i], newlen[i]);
3045 : : *cp++ = '\0';
3046 : : }
3047 : : assert (cp == best_table + table);
3048 : : }
3049 : : }
3050 : : }
3051 : :
3052 : : fputs ("static const char mnemonic_table[] =\n\"", outfile);
3053 : : for (size_t i = 0; i < best_table_size; ++i)
3054 : : {
3055 : : if (((i + 1) % 60) == 0)
3056 : : fputs ("\"\n\"", outfile);
3057 : : if (!isascii (best_table[i]) || !isprint (best_table[i]))
3058 : : fprintf (outfile, "\\%03o", best_table[i]);
3059 : : else
3060 : : fputc (best_table[i], outfile);
3061 : : }
3062 : : fputs ("\";\n", outfile);
3063 : :
3064 : : if (best_prefix[0] != '\0')
3065 : : fprintf (outfile,
3066 : : "static const char prefix[%zu] = \"%s\";\n"
3067 : : "#define PREFIXCHAR_BITS %zu\n",
3068 : : strlen (best_prefix), best_prefix, best_prefix_bits);
3069 : : else
3070 : : fputs ("#define NO_PREFIX\n", outfile);
3071 : :
3072 : : if (best_suffix[0] != '\0')
3073 : : fprintf (outfile, "static const char suffix[%zu] = \"%s\";\n",
3074 : : strlen (best_suffix), best_suffix);
3075 : : else
3076 : : fputs ("#define NO_SUFFIX\n", outfile);
3077 : :
3078 : : for (size_t i = 0; i < nmnemonic_strs; ++i)
3079 : : {
3080 : : const char *mne = mnemonic_strs[i];
3081 : :
3082 : : size_t pfxval = 0;
3083 : : char *cp = strchr (best_prefix, *mne);
3084 : : if (cp != NULL)
3085 : : {
3086 : : pfxval = 1 + (cp - best_prefix);
3087 : : ++mne;
3088 : : }
3089 : :
3090 : : size_t l = strlen (mne);
3091 : :
3092 : : size_t sfxval = 0;
3093 : : cp = strchr (best_suffix, mne[l - 1]);
3094 : : if (cp != NULL)
3095 : : {
3096 : : sfxval = 1 + (cp - best_suffix);
3097 : : --l;
3098 : : }
3099 : :
3100 : : char *off = memmem (best_table, best_table_size, mne, l);
3101 : : while (off[l] != '\0')
3102 : : {
3103 : : off = memmem (off + 1, best_table_size, mne, l);
3104 : : assert (off != NULL);
3105 : : }
3106 : :
3107 : : fprintf (outfile, "#define MNE_%s %#zx\n",
3108 : : mnemonic_strs[i],
3109 : : (off - best_table)
3110 : : + ((pfxval + (sfxval << best_prefix_bits)) << best_table_bits));
3111 : : }
3112 : : }
3113 : : #endif
|
