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