LCOV - code coverage report
Current view: top level - elfutils/libcpu - i386_parse.y (source / functions) Hit Total Coverage
Test: lcov.out Lines: 514 564 91.1 %
Date: 2013-03-08 Functions: 16 17 94.1 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 293 368 79.6 %

           Branch data     Line data    Source code
       1                 :            : %{
       2                 :            : /* Parser for i386 CPU description.
       3                 :            :    Copyright (C) 2004, 2005, 2007, 2008, 2009 Red Hat, Inc.
       4                 :            :    Written by Ulrich Drepper <drepper@redhat.com>, 2004.
       5                 :            : 
       6                 :            :    This file is free software; you can redistribute it and/or modify
       7                 :            :    it under the terms of either
       8                 :            : 
       9                 :            :      * the GNU Lesser General Public License as published by the Free
      10                 :            :        Software Foundation; either version 3 of the License, or (at
      11                 :            :        your option) any later version
      12                 :            : 
      13                 :            :    or
      14                 :            : 
      15                 :            :      * the GNU General Public License as published by the Free
      16                 :            :        Software Foundation; either version 2 of the License, or (at
      17                 :            :        your option) any later version
      18                 :            : 
      19                 :            :    or both in parallel, as here.
      20                 :            : 
      21                 :            :    elfutils is distributed in the hope that it will be useful, but
      22                 :            :    WITHOUT ANY WARRANTY; without even the implied warranty of
      23                 :            :    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
      24                 :            :    General Public License for more details.
      25                 :            : 
      26                 :            :    You should have received copies of the GNU General Public License and
      27                 :            :    the GNU Lesser General Public License along with this program.  If
      28                 :            :    not, see <http://www.gnu.org/licenses/>.  */
      29                 :            : 
      30                 :            : #ifdef HAVE_CONFIG_H
      31                 :            : # include <config.h>
      32                 :            : #endif
      33                 :            : 
      34                 :            : #include <assert.h>
      35                 :            : #include <ctype.h>
      36                 :            : #include <errno.h>
      37                 :            : #include <error.h>
      38                 :            : #include <inttypes.h>
      39                 :            : #include <libintl.h>
      40                 :            : #include <math.h>
      41                 :            : #include <obstack.h>
      42                 :            : #include <search.h>
      43                 :            : #include <stdbool.h>
      44                 :            : #include <stdio.h>
      45                 :            : #include <stdlib.h>
      46                 :            : #include <string.h>
      47                 :            : #include <sys/param.h>
      48                 :            : 
      49                 :            : #include <system.h>
      50                 :            : 
      51                 :            : #define obstack_chunk_alloc xmalloc
      52                 :            : #define obstack_chunk_free free
      53                 :            : 
      54                 :            : /* The error handler.  */
      55                 :            : static void yyerror (const char *s);
      56                 :            : 
      57                 :            : extern int yylex (void);
      58                 :            : extern int i386_lineno;
      59                 :            : extern char *infname;
      60                 :            : 
      61                 :            : 
      62                 :            : struct known_bitfield
      63                 :            : {
      64                 :            :   char *name;
      65                 :            :   unsigned long int bits;
      66                 :            :   int tmp;
      67                 :            : };
      68                 :            : 
      69                 :            : 
      70                 :            : struct bitvalue
      71                 :            : {
      72                 :            :   enum bittype { zeroone, field, failure } type;
      73                 :            :   union
      74                 :            :   {
      75                 :            :     unsigned int value;
      76                 :            :     struct known_bitfield *field;
      77                 :            :   };
      78                 :            :   struct bitvalue *next;
      79                 :            : };
      80                 :            : 
      81                 :            : 
      82                 :            : struct argname
      83                 :            : {
      84                 :            :   enum nametype { string, nfield } type;
      85                 :            :   union
      86                 :            :   {
      87                 :            :     char *str;
      88                 :            :     struct known_bitfield *field;
      89                 :            :   };
      90                 :            :   struct argname *next;
      91                 :            : };
      92                 :            : 
      93                 :            : 
      94                 :            : struct argument
      95                 :            : {
      96                 :            :   struct argname *name;
      97                 :            :   struct argument *next;
      98                 :            : };
      99                 :            : 
     100                 :            : 
     101                 :            : struct instruction
     102                 :            : {
     103                 :            :   /* The byte encoding.  */
     104                 :            :   struct bitvalue *bytes;
     105                 :            : 
     106                 :            :   /* Prefix possible.  */
     107                 :            :   int repe;
     108                 :            :   int rep;
     109                 :            : 
     110                 :            :   /* Mnemonic.  */
     111                 :            :   char *mnemonic;
     112                 :            : 
     113                 :            :   /* Suffix.  */
     114                 :            :   enum { suffix_none = 0, suffix_w, suffix_w0, suffix_W, suffix_tttn,
     115                 :            :          suffix_w1, suffix_W1, suffix_D } suffix;
     116                 :            : 
     117                 :            :   /* Flag set if modr/m is used.  */
     118                 :            :   int modrm;
     119                 :            : 
     120                 :            :   /* Operands.  */
     121                 :            :   struct operand
     122                 :            :   {
     123                 :            :     char *fct;
     124                 :            :     char *str;
     125                 :            :     int off1;
     126                 :            :     int off2;
     127                 :            :     int off3;
     128                 :            :   } operands[3];
     129                 :            : 
     130                 :            :   struct instruction *next;
     131                 :            : };
     132                 :            : 
     133                 :            : 
     134                 :            : struct synonym
     135                 :            : {
     136                 :            :   char *from;
     137                 :            :   char *to;
     138                 :            : };
     139                 :            : 
     140                 :            : 
     141                 :            : struct suffix
     142                 :            : {
     143                 :            :   char *name;
     144                 :            :   int idx;
     145                 :            : };
     146                 :            : 
     147                 :            : 
     148                 :            : struct argstring
     149                 :            : {
     150                 :            :   char *str;
     151                 :            :   int idx;
     152                 :            :   int off;
     153                 :            : };
     154                 :            : 
     155                 :            : 
     156                 :            : static struct known_bitfield ax_reg =
     157                 :            :   {
     158                 :            :     .name = "ax", .bits = 0, .tmp = 0
     159                 :            :   };
     160                 :            : 
     161                 :            : static struct known_bitfield dx_reg =
     162                 :            :   {
     163                 :            :     .name = "dx", .bits = 0, .tmp = 0
     164                 :            :   };
     165                 :            : 
     166                 :            : static struct known_bitfield di_reg =
     167                 :            :   {
     168                 :            :     .name = "es_di", .bits = 0, .tmp = 0
     169                 :            :   };
     170                 :            : 
     171                 :            : static struct known_bitfield si_reg =
     172                 :            :   {
     173                 :            :     .name = "ds_si", .bits = 0, .tmp = 0
     174                 :            :   };
     175                 :            : 
     176                 :            : static struct known_bitfield bx_reg =
     177                 :            :   {
     178                 :            :     .name = "ds_bx", .bits = 0, .tmp = 0
     179                 :            :   };
     180                 :            : 
     181                 :            : 
     182                 :            : static int bitfield_compare (const void *p1, const void *p2);
     183                 :            : static void new_bitfield (char *name, unsigned long int num);
     184                 :            : static void check_bits (struct bitvalue *value);
     185                 :            : static int check_duplicates (struct bitvalue *val);
     186                 :            : static int check_argsdef (struct bitvalue *bitval, struct argument *args);
     187                 :            : static int check_bitsused (struct bitvalue *bitval,
     188                 :            :                            struct known_bitfield *suffix,
     189                 :            :                            struct argument *args);
     190                 :            : static struct argname *combine (struct argname *name);
     191                 :            : static void fillin_arg (struct bitvalue *bytes, struct argname *name,
     192                 :            :                         struct instruction *instr, int n);
     193                 :            : static void find_numbers (void);
     194                 :            : static int compare_syn (const void *p1, const void *p2);
     195                 :            : static int compare_suf (const void *p1, const void *p2);
     196                 :            : static void instrtable_out (void);
     197                 :            : #if 0
     198                 :            : static void create_mnemonic_table (void);
     199                 :            : #endif
     200                 :            : 
     201                 :            : static void *bitfields;
     202                 :            : static struct instruction *instructions;
     203                 :            : static size_t ninstructions;
     204                 :            : static void *synonyms;
     205                 :            : static void *suffixes;
     206                 :            : static int nsuffixes;
     207                 :            : static void *mnemonics;
     208                 :            : size_t nmnemonics;
     209                 :            : extern FILE *outfile;
     210                 :            : 
     211                 :            : /* Number of bits used mnemonics.  */
     212                 :            : #if 0
     213                 :            : static size_t best_mnemonic_bits;
     214                 :            : #endif
     215                 :            : %}
     216                 :            : 
     217                 :            : %union {
     218                 :            :   unsigned long int num;
     219                 :            :   char *str;
     220                 :            :   char ch;
     221                 :            :   struct known_bitfield *field;
     222                 :            :   struct bitvalue *bit;
     223                 :            :   struct argname *name;
     224                 :            :   struct argument *arg;
     225                 :            : }
     226                 :            : 
     227                 :            : %token kMASK
     228                 :            : %token kPREFIX
     229                 :            : %token kSUFFIX
     230                 :            : %token kSYNONYM
     231                 :            : %token <str> kID
     232                 :            : %token <num> kNUMBER
     233                 :            : %token kPERCPERC
     234                 :            : %token <str> kBITFIELD
     235                 :            : %token <ch> kCHAR
     236                 :            : %token kSPACE
     237                 :            : 
     238                 :            : %type <bit> bit byte bytes
     239                 :            : %type <field> bitfieldopt
     240                 :            : %type <name> argcomp arg
     241                 :            : %type <arg> args optargs
     242                 :            : 
     243                 :            : %defines
     244                 :            : 
     245                 :            : %%
     246                 :            : 
     247                 :            : spec:             masks kPERCPERC '\n' instrs
     248                 :            :                     {
     249         [ -  + ]:          2 :                       if (error_message_count != 0)
     250                 :            :                         error (EXIT_FAILURE, 0,
     251                 :            :                                "terminated due to previous error");
     252                 :            : 
     253                 :          2 :                       instrtable_out ();
     254                 :            :                     }
     255                 :          2 :                 ;
     256                 :            : 
     257                 :            : masks:            masks '\n' mask
     258                 :            :                 | mask
     259                 :            :                 ;
     260                 :            : 
     261                 :            : mask:             kMASK kBITFIELD kNUMBER
     262                 :         94 :                     { new_bitfield ($2, $3); }
     263                 :         94 :                 | kPREFIX kBITFIELD
     264                 :          4 :                     { new_bitfield ($2, -1); }
     265                 :          4 :                 | kSUFFIX kBITFIELD
     266                 :          4 :                     { new_bitfield ($2, -2); }
     267                 :          4 :                 | kSYNONYM kBITFIELD kBITFIELD
     268                 :            :                     {
     269                 :         10 :                       struct synonym *newp = xmalloc (sizeof (*newp));
     270                 :         10 :                       newp->from = $2;
     271                 :         10 :                       newp->to = $3;
     272         [ -  + ]:         10 :                       if (tfind (newp, &synonyms, compare_syn) != NULL)
     273                 :          0 :                         error (0, 0,
     274                 :            :                                "%d: duplicate definition for synonym '%s'",
     275                 :            :                                i386_lineno, $2);
     276         [ -  + ]:         10 :                       else if (tsearch ( newp, &synonyms, compare_syn) == NULL)
     277                 :            :                         error (EXIT_FAILURE, 0, "tsearch");
     278                 :            :                     }
     279                 :            :                 |
     280                 :            :                 ;
     281                 :            : 
     282                 :            : instrs:           instrs '\n' instr
     283                 :            :                 | instr
     284                 :            :                 ;
     285                 :            : 
     286                 :            : instr:            bytes ':' bitfieldopt kID bitfieldopt optargs
     287                 :            :                     {
     288 [ +  + ][ +  - ]:       1501 :                       if ($3 != NULL && strcmp ($3->name, "RE") != 0
         [ +  + ][ +  + ]
     289 [ +  - ][ -  + ]:         10 :                           && strcmp ($3->name, "R") != 0)
     290                 :            :                         {
     291                 :          0 :                           error (0, 0, "%d: only 'R' and 'RE' prefix allowed",
     292                 :            :                                  i386_lineno - 1);
     293                 :            :                         }
     294         [ +  - ]:       1501 :                       if (check_duplicates ($1) == 0
     295         [ +  - ]:       1501 :                           && check_argsdef ($1, $6) == 0
     296         [ +  - ]:       1501 :                           && check_bitsused ($1, $5, $6) == 0)
     297                 :            :                         {
     298                 :       1501 :                           struct instruction *newp = xcalloc (sizeof (*newp),
     299                 :            :                                                               1);
     300         [ +  + ]:       1501 :                           if ($3 != NULL)
     301                 :            :                             {
     302 [ +  - ][ +  + ]:         14 :                               if (strcmp ($3->name, "RE") == 0)
                 [ +  + ]
     303                 :          4 :                                 newp->repe = 1;
     304 [ +  - ][ +  - ]:         10 :                               else if (strcmp ($3->name, "R") == 0)
     305                 :         10 :                                 newp->rep = 1;
     306                 :            :                             }
     307                 :            : 
     308                 :       1501 :                           newp->bytes = $1;
     309                 :       1501 :                           newp->mnemonic = $4;
     310         [ +  + ]:       1501 :                           if (newp->mnemonic != (void *) -1l
     311         [ +  + ]:       1483 :                               && tfind ($4, &mnemonics,
     312                 :            :                                         (comparison_fn_t) strcmp) == NULL)
     313                 :            :                             {
     314         [ -  + ]:       1018 :                               if (tsearch ($4, &mnemonics,
     315                 :            :                                            (comparison_fn_t) strcmp) == NULL)
     316                 :          0 :                                 error (EXIT_FAILURE, errno, "tsearch");
     317                 :       1018 :                               ++nmnemonics;
     318                 :            :                             }
     319                 :            : 
     320         [ +  + ]:       1501 :                           if ($5 != NULL)
     321                 :            :                             {
     322 [ +  + ][ +  + ]:        201 :                               if (strcmp ($5->name, "w") == 0)
     323                 :        114 :                                 newp->suffix = suffix_w;
     324 [ +  + ][ +  + ]:         87 :                               else if (strcmp ($5->name, "w0") == 0)
                 [ +  + ]
     325                 :          2 :                                 newp->suffix = suffix_w0;
     326         [ +  + ]:         85 :                               else if (strcmp ($5->name, "tttn") == 0)
     327                 :         10 :                                 newp->suffix = suffix_tttn;
     328 [ +  + ][ +  - ]:         75 :                               else if (strcmp ($5->name, "w1") == 0)
                 [ +  + ]
     329                 :         18 :                                 newp->suffix = suffix_w1;
     330 [ +  + ][ +  + ]:         57 :                               else if (strcmp ($5->name, "W") == 0)
     331                 :         33 :                                 newp->suffix = suffix_W;
     332 [ +  + ][ +  - ]:         24 :                               else if (strcmp ($5->name, "W1") == 0)
                 [ +  + ]
     333                 :          2 :                                 newp->suffix = suffix_W1;
     334 [ +  - ][ +  - ]:         22 :                               else if (strcmp ($5->name, "D") == 0)
     335                 :         22 :                                 newp->suffix = suffix_D;
     336                 :            :                               else
     337                 :          0 :                                 error (EXIT_FAILURE, 0,
     338                 :            :                                        "%s: %d: unknown suffix '%s'",
     339                 :            :                                        infname, i386_lineno - 1, $5->name);
     340                 :            : 
     341                 :        201 :                               struct suffix search = { .name = $5->name };
     342         [ +  + ]:        201 :                               if (tfind (&search, &suffixes, compare_suf)
     343                 :            :                                   == NULL)
     344                 :            :                                 {
     345                 :         13 :                                   struct suffix *ns = xmalloc (sizeof (*ns));
     346                 :         13 :                                   ns->name = $5->name;
     347                 :         13 :                                   ns->idx = ++nsuffixes;
     348         [ -  + ]:         13 :                                   if (tsearch (ns, &suffixes, compare_suf)
     349                 :            :                                       == NULL)
     350                 :          0 :                                     error (EXIT_FAILURE, errno, "tsearch");
     351                 :            :                                 }
     352                 :            :                             }
     353                 :            : 
     354                 :       1501 :                           struct argument *args = $6;
     355                 :       1501 :                           int n = 0;
     356         [ +  + ]:       3965 :                           while (args != NULL)
     357                 :            :                             {
     358                 :       2464 :                               fillin_arg ($1, args->name, newp, n);
     359                 :            : 
     360                 :       2464 :                               args = args->next;
     361                 :       2464 :                               ++n;
     362                 :            :                             }
     363                 :            : 
     364                 :       1501 :                           newp->next = instructions;
     365                 :       1501 :                           instructions = newp;
     366                 :       1501 :                           ++ninstructions;
     367                 :            :                         }
     368                 :            :                     }
     369                 :            :                 |
     370                 :            :                 ;
     371                 :            : 
     372                 :            : bitfieldopt:      kBITFIELD
     373                 :            :                     {
     374                 :            :                       struct known_bitfield search;
     375                 :        215 :                       search.name = $1;
     376                 :            :                       struct known_bitfield **res;
     377                 :        215 :                       res = tfind (&search, &bitfields, bitfield_compare);
     378         [ -  + ]:        215 :                       if (res == NULL)
     379                 :            :                         {
     380                 :          0 :                           error (0, 0, "%d: unknown bitfield '%s'",
     381                 :            :                                  i386_lineno, search.name);
     382                 :          0 :                           $$ = NULL;
     383                 :            :                         }
     384                 :            :                       else
     385                 :        215 :                         $$ = *res;
     386                 :            :                     }
     387                 :        215 :                 |
     388                 :       2787 :                     { $$ = NULL; }
     389                 :       2787 :                 ;
     390                 :            : 
     391                 :            : bytes:            bytes ',' byte
     392                 :            :                     {
     393                 :       3175 :                       check_bits ($3);
     394                 :            : 
     395                 :       3175 :                       struct bitvalue *runp = $1;
     396         [ +  + ]:      46961 :                       while (runp->next != NULL)
     397                 :            :                         runp = runp->next;
     398                 :       3175 :                       runp->next = $3;
     399                 :       3175 :                       $$ = $1;
     400                 :            :                     }
     401                 :       3175 :                 | byte
     402                 :            :                     {
     403                 :       1501 :                       check_bits ($1);
     404                 :       1501 :                       $$ = $1;
     405                 :            :                     }
     406                 :       1501 :                 ;
     407                 :            : 
     408                 :            : byte:             byte bit
     409                 :            :                     {
     410                 :      25897 :                       struct bitvalue *runp = $1;
     411         [ +  + ]:      97045 :                       while (runp->next != NULL)
     412                 :            :                         runp = runp->next;
     413                 :      25897 :                       runp->next = $2;
     414                 :      25897 :                       $$ = $1;
     415                 :            :                     }
     416                 :      25897 :                 | bit
     417                 :       4676 :                     { $$ = $1; }
     418                 :       4676 :                 ;
     419                 :            : 
     420                 :            : bit:              '0'
     421                 :            :                     {
     422                 :      13145 :                       $$ = xmalloc (sizeof (struct bitvalue));
     423                 :      13145 :                       $$->type = zeroone;
     424                 :      13145 :                       $$->value = 0;
     425                 :      13145 :                       $$->next = NULL;
     426                 :            :                     }
     427                 :      13145 :                 | '1'
     428                 :            :                     {
     429                 :      13839 :                       $$ = xmalloc (sizeof (struct bitvalue));
     430                 :      13839 :                       $$->type = zeroone;
     431                 :      13839 :                       $$->value = 1;
     432                 :      13839 :                       $$->next = NULL;
     433                 :            :                     }
     434                 :      13839 :                 | kBITFIELD
     435                 :            :                     {
     436                 :       3589 :                       $$ = xmalloc (sizeof (struct bitvalue));
     437                 :            :                       struct known_bitfield search;
     438                 :       3589 :                       search.name = $1;
     439                 :            :                       struct known_bitfield **res;
     440                 :       3589 :                       res = tfind (&search, &bitfields, bitfield_compare);
     441         [ -  + ]:       3589 :                       if (res == NULL)
     442                 :            :                         {
     443                 :          0 :                           error (0, 0, "%d: unknown bitfield '%s'",
     444                 :            :                                  i386_lineno, search.name);
     445                 :          0 :                           $$->type = failure;
     446                 :            :                         }
     447                 :            :                       else
     448                 :            :                         {
     449                 :       3589 :                           $$->type = field;
     450                 :       3589 :                           $$->field = *res;
     451                 :            :                         }
     452                 :       3589 :                       $$->next = NULL;
     453                 :            :                     }
     454                 :       3589 :                 ;
     455                 :            : 
     456                 :            : optargs:          kSPACE args
     457                 :       1322 :                     { $$ = $2; }
     458                 :       1322 :                 |
     459                 :        179 :                     { $$ = NULL; }
     460                 :        179 :                 ;
     461                 :            : 
     462                 :            : args:             args ',' arg
     463                 :            :                     {
     464                 :       1142 :                       struct argument *runp = $1;
     465         [ +  + ]:       1218 :                       while (runp->next != NULL)
     466                 :            :                         runp = runp->next;
     467                 :       1142 :                       runp->next = xmalloc (sizeof (struct argument));
     468                 :       1142 :                       runp->next->name = combine ($3);
     469                 :       1142 :                       runp->next->next = NULL;
     470                 :       1142 :                       $$ = $1;
     471                 :            :                     }
     472                 :       1142 :                 | arg
     473                 :            :                     {
     474                 :       1322 :                       $$ = xmalloc (sizeof (struct argument));
     475                 :       1322 :                       $$->name = combine ($1);
     476                 :       1322 :                       $$->next = NULL;
     477                 :            :                     }
     478                 :       1322 :                 ;
     479                 :            : 
     480                 :            : arg:              arg argcomp
     481                 :            :                     {
     482                 :       1413 :                       struct argname *runp = $1;
     483         [ +  + ]:       1545 :                       while (runp->next != NULL)
     484                 :            :                         runp = runp->next;
     485                 :       1413 :                       runp->next = $2;
     486                 :       1413 :                       $$ = $1;
     487                 :            :                     }
     488                 :       1413 :                 | argcomp
     489                 :       2464 :                     { $$ = $1; }
     490                 :       2464 :                 ;
     491                 :            : argcomp:          kBITFIELD
     492                 :            :                     {
     493                 :       3661 :                       $$ = xmalloc (sizeof (struct argname));
     494                 :       3661 :                       $$->type = nfield;
     495                 :       3661 :                       $$->next = NULL;
     496                 :            : 
     497                 :            :                       struct known_bitfield search;
     498                 :       3661 :                       search.name = $1;
     499                 :            :                       struct known_bitfield **res;
     500                 :       3661 :                       res = tfind (&search, &bitfields, bitfield_compare);
     501         [ +  + ]:       3661 :                       if (res == NULL)
     502                 :            :                         {
     503 [ +  + ][ +  - ]:         66 :                           if (strcmp ($1, "ax") == 0)
                 [ +  + ]
     504                 :         38 :                             $$->field = &ax_reg;
     505 [ +  + ][ +  + ]:         28 :                           else if (strcmp ($1, "dx") == 0)
                 [ +  + ]
     506                 :          8 :                             $$->field = &dx_reg;
     507         [ +  + ]:         20 :                           else if (strcmp ($1, "es_di") == 0)
     508                 :         10 :                             $$->field = &di_reg;
     509         [ +  + ]:         10 :                           else if (strcmp ($1, "ds_si") == 0)
     510                 :          8 :                             $$->field = &si_reg;
     511         [ +  - ]:          2 :                           else if (strcmp ($1, "ds_bx") == 0)
     512                 :          2 :                             $$->field = &bx_reg;
     513                 :            :                           else
     514                 :            :                             {
     515                 :          0 :                               error (0, 0, "%d: unknown bitfield '%s'",
     516                 :            :                                      i386_lineno, search.name);
     517                 :          0 :                               $$->field = NULL;
     518                 :            :                             }
     519                 :            :                         }
     520                 :            :                       else
     521                 :       3595 :                         $$->field = *res;
     522                 :            :                     }
     523                 :       3661 :                 | kCHAR
     524                 :            :                     {
     525                 :        112 :                       $$ = xmalloc (sizeof (struct argname));
     526                 :        112 :                       $$->type = string;
     527                 :        112 :                       $$->next = NULL;
     528                 :        112 :                       $$->str = xmalloc (2);
     529                 :        112 :                       $$->str[0] = $1;
     530                 :        112 :                       $$->str[1] = '\0';
     531                 :            :                     }
     532                 :        112 :                 | kID
     533                 :            :                     {
     534                 :        104 :                       $$ = xmalloc (sizeof (struct argname));
     535                 :        104 :                       $$->type = string;
     536                 :        104 :                       $$->next = NULL;
     537                 :        104 :                       $$->str = $1;
     538                 :            :                     }
     539                 :        104 :                 | ':'
     540                 :            :                     {
     541                 :          0 :                       $$ = xmalloc (sizeof (struct argname));
     542                 :          0 :                       $$->type = string;
     543                 :          0 :                       $$->next = NULL;
     544                 :          0 :                       $$->str = xmalloc (2);
     545                 :          0 :                       $$->str[0] = ':';
     546                 :          0 :                       $$->str[1] = '\0';
     547                 :            :                     }
     548                 :          0 :                 ;
     549                 :            : 
     550                 :            : %%
     551                 :            : 
     552                 :            : static void
     553                 :          0 : yyerror (const char *s)
     554                 :            : {
     555                 :          0 :   error (0, 0, gettext ("while reading i386 CPU description: %s at line %d"),
     556                 :            :          gettext (s), i386_lineno);
     557                 :          0 : }
     558                 :            : 
     559                 :            : 
     560                 :            : static int
     561                 :      39235 : bitfield_compare (const void *p1, const void *p2)
     562                 :            : {
     563                 :      39235 :   struct known_bitfield *f1 = (struct known_bitfield *) p1;
     564                 :      39235 :   struct known_bitfield *f2 = (struct known_bitfield *) p2;
     565                 :            : 
     566                 :      39235 :   return strcmp (f1->name, f2->name);
     567                 :            : }
     568                 :            : 
     569                 :            : 
     570                 :            : static void
     571                 :        102 : new_bitfield (char *name, unsigned long int num)
     572                 :            : {
     573                 :        102 :   struct known_bitfield *newp = xmalloc (sizeof (struct known_bitfield));
     574                 :        102 :   newp->name = name;
     575                 :        102 :   newp->bits = num;
     576                 :        102 :   newp->tmp = 0;
     577                 :            : 
     578         [ -  + ]:        102 :   if (tfind (newp, &bitfields, bitfield_compare) != NULL)
     579                 :            :     {
     580                 :          0 :       error (0, 0, "%d: duplicated definition of bitfield '%s'",
     581                 :            :              i386_lineno, name);
     582                 :          0 :       free (name);
     583                 :        102 :       return;
     584                 :            :     }
     585                 :            : 
     586         [ -  + ]:        102 :   if (tsearch (newp, &bitfields, bitfield_compare) == NULL)
     587                 :          0 :     error (EXIT_FAILURE, errno, "%d: cannot insert new bitfield '%s'",
     588                 :            :            i386_lineno, name);
     589                 :            : }
     590                 :            : 
     591                 :            : 
     592                 :            : /* Check that the number of bits is a multiple of 8.  */
     593                 :            : static void
     594                 :       4676 : check_bits (struct bitvalue *val)
     595                 :            : {
     596                 :       4676 :   struct bitvalue *runp = val;
     597                 :       4676 :   unsigned int total = 0;
     598                 :            : 
     599         [ +  + ]:      35249 :   while (runp != NULL)
     600                 :            :     {
     601         [ +  + ]:      30573 :       if (runp->type == zeroone)
     602                 :      26984 :         ++total;
     603         [ +  - ]:       3589 :       else if (runp->field == NULL)
     604                 :            :         /* No sense doing anything, the field is not known.  */
     605                 :       4676 :         return;
     606                 :            :       else
     607                 :       3589 :         total += runp->field->bits;
     608                 :            : 
     609                 :      30573 :       runp = runp->next;
     610                 :            :     }
     611                 :            : 
     612         [ -  + ]:       4676 :   if (total % 8 != 0)
     613                 :            :     {
     614                 :            :       struct obstack os;
     615                 :          0 :       obstack_init (&os);
     616                 :            : 
     617         [ #  # ]:          0 :       while (val != NULL)
     618                 :            :         {
     619         [ #  # ]:          0 :           if (val->type == zeroone)
     620                 :          0 :             obstack_printf (&os, "%u", val->value);
     621                 :            :           else
     622                 :          0 :             obstack_printf (&os, "{%s}", val->field->name);
     623                 :          0 :           val = val->next;
     624                 :            :         }
     625         [ #  # ]:          0 :       obstack_1grow (&os, '\0');
     626                 :            : 
     627                 :          0 :       error (0, 0, "%d: field '%s' not a multiple of 8 bits in size",
     628 [ #  # ][ #  # ]:          0 :              i386_lineno, (char *) obstack_finish (&os));
     629                 :            : 
     630                 :          0 :       obstack_free (&os, NULL);
     631                 :            :     }
     632                 :            : }
     633                 :            : 
     634                 :            : 
     635                 :            : static int
     636                 :       1501 : check_duplicates (struct bitvalue *val)
     637                 :            : {
     638                 :            :   static int testcnt;
     639                 :       1501 :   ++testcnt;
     640                 :            : 
     641                 :       1501 :   int result = 0;
     642         [ +  + ]:      32074 :   while (val != NULL)
     643                 :            :     {
     644 [ +  + ][ +  - ]:      30573 :       if (val->type == field && val->field != NULL)
     645                 :            :         {
     646         [ -  + ]:       3589 :           if (val->field->tmp == testcnt)
     647                 :            :             {
     648                 :          0 :               error (0, 0, "%d: bitfield '%s' used more than once",
     649                 :            :                      i386_lineno - 1, val->field->name);
     650                 :          0 :               result = 1;
     651                 :            :             }
     652                 :       3589 :           val->field->tmp = testcnt;
     653                 :            :         }
     654                 :            : 
     655                 :      30573 :       val = val->next;
     656                 :            :     }
     657                 :            : 
     658                 :       1501 :   return result;
     659                 :            : }
     660                 :            : 
     661                 :            : 
     662                 :            : static int
     663                 :       1501 : check_argsdef (struct bitvalue *bitval, struct argument *args)
     664                 :            : {
     665                 :       1501 :   int result = 0;
     666                 :            : 
     667         [ +  + ]:       3965 :   while (args != NULL)
     668                 :            :     {
     669         [ +  + ]:       6237 :       for (struct argname *name = args->name; name != NULL; name = name->next)
     670 [ +  + ][ +  - ]:       3773 :         if (name->type == nfield && name->field != NULL
     671 [ +  + ][ +  + ]:       3661 :             && name->field != &ax_reg && name->field != &dx_reg
     672 [ +  + ][ +  + ]:       3615 :             && name->field != &di_reg && name->field != &si_reg
     673         [ +  + ]:       3597 :             && name->field != &bx_reg)
     674                 :            :           {
     675                 :            :             struct bitvalue *runp = bitval;
     676                 :            : 
     677         [ +  - ]:      73449 :             while (runp != NULL)
     678 [ +  + ][ +  + ]:      73449 :               if (runp->type == field && runp->field == name->field)
     679                 :            :                 break;
     680                 :            :               else
     681                 :      69854 :                 runp = runp->next;
     682                 :            : 
     683         [ -  + ]:       3595 :             if (runp == NULL)
     684                 :            :               {
     685                 :          0 :                 error (0, 0, "%d: unknown bitfield '%s' used in output format",
     686                 :            :                        i386_lineno - 1, name->field->name);
     687                 :          0 :                 result = 1;
     688                 :            :               }
     689                 :            :           }
     690                 :            : 
     691                 :       2464 :       args = args->next;
     692                 :            :     }
     693                 :            : 
     694                 :       1501 :   return result;
     695                 :            : }
     696                 :            : 
     697                 :            : 
     698                 :            : static int
     699                 :       1501 : check_bitsused (struct bitvalue *bitval, struct known_bitfield *suffix,
     700                 :            :                 struct argument *args)
     701                 :            : {
     702                 :       1501 :   int result = 0;
     703                 :            : 
     704         [ +  + ]:      32074 :   while (bitval != NULL)
     705                 :            :     {
     706 [ +  + ][ +  - ]:      30573 :       if (bitval->type == field && bitval->field != NULL
     707         [ +  + ]:       3589 :           && bitval->field != suffix
     708                 :            :           /* {w} is handled special.  */
     709 [ +  + ][ +  + ]:       3441 :           && strcmp (bitval->field->name, "w") != 0)
     710                 :            :         {
     711                 :            :           struct argument *runp;
     712         [ +  + ]:       4737 :           for (runp = args; runp != NULL; runp = runp->next)
     713                 :            :             {
     714                 :       4727 :               struct argname *name = runp->name;
     715                 :            : 
     716         [ +  + ]:       8011 :               while (name != NULL)
     717 [ +  + ][ +  + ]:       6633 :                 if (name->type == nfield && name->field == bitval->field)
     718                 :            :                   break;
     719                 :            :                 else
     720                 :       3284 :                   name = name->next;
     721                 :            : 
     722         [ +  + ]:       4727 :               if (name != NULL)
     723                 :            :                 break;
     724                 :            :             }
     725                 :            : 
     726                 :            : #if 0
     727                 :            :           if (runp == NULL)
     728                 :            :             {
     729                 :            :               error (0, 0, "%d: bitfield '%s' not used",
     730                 :            :                      i386_lineno - 1, bitval->field->name);
     731                 :            :               result = 1;
     732                 :            :             }
     733                 :            : #endif
     734                 :            :         }
     735                 :            : 
     736                 :      30573 :       bitval = bitval->next;
     737                 :            :     }
     738                 :            : 
     739                 :       1501 :   return result;
     740                 :            : }
     741                 :            : 
     742                 :            : 
     743                 :            : static struct argname *
     744                 :       2464 : combine (struct argname *name)
     745                 :            : {
     746                 :       2464 :   struct argname *last_str = NULL;
     747         [ +  + ]:       6341 :   for (struct argname *runp = name; runp != NULL; runp = runp->next)
     748                 :            :     {
     749         [ +  + ]:       3877 :       if (runp->type == string)
     750                 :            :         {
     751         [ +  + ]:        216 :           if (last_str == NULL)
     752                 :            :             last_str = runp;
     753                 :            :           else
     754                 :            :             {
     755                 :        104 :               last_str->str = xrealloc (last_str->str,
     756                 :        104 :                                         strlen (last_str->str)
     757                 :        104 :                                         + strlen (runp->str) + 1);
     758                 :        104 :               strcat (last_str->str, runp->str);
     759                 :        104 :               last_str->next = runp->next;
     760                 :            :             }
     761                 :            :         }
     762                 :            :       else
     763                 :            :         last_str = NULL;
     764                 :            :     }
     765                 :       2464 :   return name;
     766                 :            : }
     767                 :            : 
     768                 :            : 
     769                 :            : #define obstack_grow_str(ob, str) obstack_grow (ob, str, strlen (str))
     770                 :            : 
     771                 :            : 
     772                 :            : static void
     773                 :       2464 : fillin_arg (struct bitvalue *bytes, struct argname *name,
     774                 :            :             struct instruction *instr, int n)
     775                 :            : {
     776                 :            :   static struct obstack ob;
     777                 :            :   static int initialized;
     778         [ +  + ]:       2464 :   if (! initialized)
     779                 :            :     {
     780                 :          2 :       initialized = 1;
     781                 :          2 :       obstack_init (&ob);
     782                 :            :     }
     783                 :            : 
     784                 :       2464 :   struct argname *runp = name;
     785                 :       2464 :   int cnt = 0;
     786         [ +  + ]:       6237 :   while (runp != NULL)
     787                 :            :     {
     788                 :            :       /* We ignore strings in the function name.  */
     789         [ +  + ]:       3773 :       if (runp->type == string)
     790                 :            :         {
     791         [ -  + ]:        112 :           if (instr->operands[n].str != NULL)
     792                 :          0 :             error (EXIT_FAILURE, 0,
     793                 :            :                    "%d: cannot have more than one string parameter",
     794                 :            :                    i386_lineno - 1);
     795                 :            : 
     796                 :        112 :           instr->operands[n].str = runp->str;
     797                 :            :         }
     798                 :            :       else
     799                 :            :         {
     800         [ -  + ]:       3661 :           assert (runp->type == nfield);
     801                 :            : 
     802                 :            :           /* Construct the function name.  */
     803         [ +  + ]:       3661 :           if (cnt++ > 0)
     804         [ -  + ]:       1301 :             obstack_1grow (&ob, '$');
     805                 :            : 
     806         [ -  + ]:       3661 :           if (runp->field == NULL)
     807                 :            :             /* Add some string which contains invalid characters.  */
     808         [ #  # ]:          0 :             obstack_grow_str (&ob, "!!!INVALID!!!");
     809                 :            :           else
     810                 :            :             {
     811                 :       3661 :               char *fieldname = runp->field->name;
     812                 :            : 
     813                 :       3661 :               struct synonym search = { .from = fieldname };
     814                 :            : 
     815                 :       3661 :               struct synonym **res = tfind (&search, &synonyms, compare_syn);
     816         [ +  + ]:       3661 :               if (res != NULL)
     817                 :         35 :                 fieldname = (*res)->to;
     818                 :            : 
     819         [ +  + ]:       3661 :               obstack_grow_str (&ob, fieldname);
     820                 :            :             }
     821                 :            : 
     822                 :            :           /* Now compute the bit offset of the field.  */
     823                 :       3661 :           struct bitvalue *b = bytes;
     824                 :       3661 :           int bitoff = 0;
     825         [ +  - ]:       3661 :           if (runp->field != NULL)
     826         [ +  + ]:      74065 :             while (b != NULL)
     827                 :            :               {
     828 [ +  + ][ +  - ]:      73999 :                 if (b->type == field && b->field != NULL)
     829                 :            :                   {
     830         [ +  + ]:       7207 :                     if (strcmp (b->field->name, runp->field->name) == 0)
     831                 :            :                       break;
     832                 :       3612 :                     bitoff += b->field->bits;
     833                 :            :                   }
     834                 :            :                 else
     835                 :      66792 :                   ++bitoff;
     836                 :            : 
     837                 :      70404 :                 b = b->next;
     838                 :            :               }
     839         [ +  + ]:       3661 :           if (instr->operands[n].off1 == 0)
     840                 :       2360 :             instr->operands[n].off1 = bitoff;
     841         [ +  + ]:       1301 :           else if (instr->operands[n].off2 == 0)
     842                 :       1177 :             instr->operands[n].off2 = bitoff;
     843         [ +  - ]:        124 :           else if (instr->operands[n].off3 == 0)
     844                 :        124 :             instr->operands[n].off3 = bitoff;
     845                 :            :           else
     846                 :          0 :             error (EXIT_FAILURE, 0,
     847                 :            :                    "%d: cannot have more than three fields in parameter",
     848                 :            :                    i386_lineno - 1);
     849                 :            : 
     850         [ +  - ]:       3661 :           if  (runp->field != NULL
     851         [ +  + ]:       3661 :                && strncasecmp (runp->field->name, "mod", 3) == 0)
     852                 :       1051 :             instr->modrm = 1;
     853                 :            :         }
     854                 :            : 
     855                 :       3773 :       runp = runp->next;
     856                 :            :     }
     857         [ +  + ]:       2464 :   if (obstack_object_size (&ob) == 0)
     858         [ -  + ]:        104 :     obstack_grow_str (&ob, "string");
     859         [ -  + ]:       2464 :   obstack_1grow (&ob, '\0');
     860 [ -  + ][ -  + ]:       2464 :   char *fct = obstack_finish (&ob);
     861                 :            : 
     862                 :       2464 :   instr->operands[n].fct = fct;
     863                 :       2464 : }
     864                 :            : 
     865                 :            : 
     866                 :            : #if 0
     867                 :            : static void
     868                 :            : nameout (const void *nodep, VISIT value, int level)
     869                 :            : {
     870                 :            :   if (value == leaf || value == postorder)
     871                 :            :     printf ("  %s\n", *(const char **) nodep);
     872                 :            : }
     873                 :            : #endif
     874                 :            : 
     875                 :            : 
     876                 :            : static int
     877                 :      16303 : compare_argstring (const void *p1, const void *p2)
     878                 :            : {
     879                 :      16303 :   const struct argstring *a1 = (const struct argstring *) p1;
     880                 :      16303 :   const struct argstring *a2 = (const struct argstring *) p2;
     881                 :            : 
     882                 :      16303 :   return strcmp (a1->str, a2->str);
     883                 :            : }
     884                 :            : 
     885                 :            : 
     886                 :            : static int maxoff[3][3];
     887                 :            : static int minoff[3][3] = { { 1000, 1000, 1000 },
     888                 :            :                             { 1000, 1000, 1000 },
     889                 :            :                             { 1000, 1000, 1000 } };
     890                 :            : static int nbitoff[3][3];
     891                 :            : static void *fct_names[3];
     892                 :            : static int nbitfct[3];
     893                 :            : static int nbitsuf;
     894                 :            : static void *strs[3];
     895                 :            : static int nbitstr[3];
     896                 :            : static int total_bits = 2;      // Already counted the rep/repe bits.
     897                 :            : 
     898                 :            : static void
     899                 :          2 : find_numbers (void)
     900                 :            : {
     901                 :          2 :   int nfct_names[3] = { 0, 0, 0 };
     902                 :          2 :   int nstrs[3] = { 0, 0, 0 };
     903                 :            : 
     904                 :            :   /* We reverse the order of the instruction list while processing it.
     905                 :            :      Later phases need it in the order in which the input file has
     906                 :            :      them.  */
     907                 :          2 :   struct instruction *reversed = NULL;
     908                 :            : 
     909                 :          2 :   struct instruction *runp = instructions;
     910         [ +  + ]:       1503 :   while (runp != NULL)
     911                 :            :     {
     912         [ +  + ]:       6004 :       for (int i = 0; i < 3; ++i)
     913         [ +  + ]:       4503 :         if (runp->operands[i].fct != NULL)
     914                 :            :           {
     915                 :       2464 :             struct argstring search = { .str = runp->operands[i].fct };
     916         [ +  + ]:       2464 :             if (tfind (&search, &fct_names[i], compare_argstring) == NULL)
     917                 :            :               {
     918                 :        125 :                 struct argstring *newp = xmalloc (sizeof (*newp));
     919                 :        125 :                 newp->str = runp->operands[i].fct;
     920                 :        125 :                 newp->idx = 0;
     921         [ -  + ]:        125 :                 if (tsearch (newp, &fct_names[i], compare_argstring) == NULL)
     922                 :          0 :                   error (EXIT_FAILURE, errno, "tsearch");
     923                 :        125 :                 ++nfct_names[i];
     924                 :            :               }
     925                 :            : 
     926         [ +  + ]:       2464 :             if (runp->operands[i].str != NULL)
     927                 :            :               {
     928                 :        112 :                 search.str = runp->operands[i].str;
     929         [ +  + ]:        112 :                 if (tfind (&search, &strs[i], compare_argstring) == NULL)
     930                 :            :                   {
     931                 :         18 :                     struct argstring *newp = xmalloc (sizeof (*newp));
     932                 :         18 :                     newp->str = runp->operands[i].str;
     933                 :         18 :                     newp->idx = 0;
     934         [ -  + ]:         18 :                     if (tsearch (newp, &strs[i], compare_argstring) == NULL)
     935                 :          0 :                       error (EXIT_FAILURE, errno, "tsearch");
     936                 :         18 :                     ++nstrs[i];
     937                 :            :                   }
     938                 :            :               }
     939                 :            : 
     940                 :       2464 :             maxoff[i][0] = MAX (maxoff[i][0], runp->operands[i].off1);
     941                 :       2464 :             maxoff[i][1] = MAX (maxoff[i][1], runp->operands[i].off2);
     942                 :       2464 :             maxoff[i][2] = MAX (maxoff[i][2], runp->operands[i].off3);
     943                 :            : 
     944         [ +  + ]:       2464 :             if (runp->operands[i].off1 > 0)
     945                 :       2360 :               minoff[i][0] = MIN (minoff[i][0], runp->operands[i].off1);
     946         [ +  + ]:       2464 :             if (runp->operands[i].off2 > 0)
     947                 :       1177 :               minoff[i][1] = MIN (minoff[i][1], runp->operands[i].off2);
     948         [ +  + ]:       2464 :             if (runp->operands[i].off3 > 0)
     949                 :       2464 :               minoff[i][2] = MIN (minoff[i][2], runp->operands[i].off3);
     950                 :            :           }
     951                 :            : 
     952                 :       1501 :       struct instruction *old = runp;
     953                 :       1501 :       runp = runp->next;
     954                 :            : 
     955                 :       1501 :       old->next = reversed;
     956                 :       1501 :       reversed = old;
     957                 :            :     }
     958                 :          2 :   instructions = reversed;
     959                 :            : 
     960                 :            :   int d;
     961                 :            :   int c;
     962         [ +  + ]:          8 :   for (int i = 0; i < 3; ++i)
     963                 :            :     {
     964                 :            :       // printf ("min1 = %d, min2 = %d, min3 = %d\n", minoff[i][0], minoff[i][1], minoff[i][2]);
     965                 :            :       // printf ("max1 = %d, max2 = %d, max3 = %d\n", maxoff[i][0], maxoff[i][1], maxoff[i][2]);
     966                 :            : 
     967         [ -  + ]:          6 :       if (minoff[i][0] == 1000)
     968                 :          0 :         nbitoff[i][0] = 0;
     969                 :            :       else
     970                 :            :         {
     971                 :          6 :           nbitoff[i][0] = 1;
     972                 :          6 :           d = maxoff[i][0] - minoff[i][0];
     973                 :          6 :           c = 1;
     974         [ +  + ]:         40 :           while (c < d)
     975                 :            :             {
     976                 :         34 :               ++nbitoff[i][0];
     977                 :         34 :               c *= 2;
     978                 :            :             }
     979                 :          6 :           total_bits += nbitoff[i][0];
     980                 :            :         }
     981                 :            : 
     982         [ -  + ]:          6 :       if (minoff[i][1] == 1000)
     983                 :          0 :         nbitoff[i][1] = 0;
     984                 :            :       else
     985                 :            :         {
     986                 :          6 :           nbitoff[i][1] = 1;
     987                 :          6 :           d = maxoff[i][1] - minoff[i][1];
     988                 :          6 :           c = 1;
     989         [ +  + ]:         30 :           while (c < d)
     990                 :            :             {
     991                 :         24 :               ++nbitoff[i][1];
     992                 :         24 :               c *= 2;
     993                 :            :             }
     994                 :          6 :           total_bits += nbitoff[i][1];
     995                 :            :         }
     996                 :            : 
     997         [ +  + ]:          6 :       if (minoff[i][2] == 1000)
     998                 :          2 :         nbitoff[i][2] = 0;
     999                 :            :       else
    1000                 :            :         {
    1001                 :          4 :           nbitoff[i][2] = 1;
    1002                 :          4 :           d = maxoff[i][2] - minoff[i][2];
    1003                 :          4 :           c = 1;
    1004         [ +  + ]:         10 :           while (c < d)
    1005                 :            :             {
    1006                 :          6 :               ++nbitoff[i][2];
    1007                 :          6 :               c *= 2;
    1008                 :            :             }
    1009                 :          4 :           total_bits += nbitoff[i][2];
    1010                 :            :         }
    1011                 :            :       // printf ("off1 = %d, off2 = %d, off3 = %d\n", nbitoff[i][0], nbitoff[i][1], nbitoff[i][2]);
    1012                 :            : 
    1013                 :          6 :       nbitfct[i] = 1;
    1014                 :          6 :       d = nfct_names[i];
    1015                 :          6 :       c = 1;
    1016         [ +  + ]:         34 :       while (c < d)
    1017                 :            :         {
    1018                 :         28 :           ++nbitfct[i];
    1019                 :         28 :           c *= 2;
    1020                 :            :         }
    1021                 :          6 :       total_bits += nbitfct[i];
    1022                 :            :       // printf ("%d fct[%d], %d bits\n", nfct_names[i], i, nbitfct[i]);
    1023                 :            : 
    1024         [ +  - ]:          6 :       if (nstrs[i] != 0)
    1025                 :            :         {
    1026                 :          6 :           nbitstr[i] = 1;
    1027                 :          6 :           d = nstrs[i];
    1028                 :          6 :           c = 1;
    1029         [ +  + ]:         14 :           while (c < d)
    1030                 :            :             {
    1031                 :          8 :               ++nbitstr[i];
    1032                 :          8 :               c *= 2;
    1033                 :            :             }
    1034                 :          6 :           total_bits += nbitstr[i];
    1035                 :            :         }
    1036                 :            : 
    1037                 :            :       // twalk (fct_names[i], nameout);
    1038                 :            :     }
    1039                 :            : 
    1040                 :          2 :   nbitsuf = 0;
    1041                 :          2 :   d = nsuffixes;
    1042                 :          2 :   c = 1;
    1043         [ +  + ]:          8 :   while (c < d)
    1044                 :            :     {
    1045                 :          6 :       ++nbitsuf;
    1046                 :          6 :       c *= 2;
    1047                 :            :     }
    1048                 :          2 :   total_bits += nbitsuf;
    1049                 :            :   // printf ("%d suffixes, %d bits\n", nsuffixes, nbitsuf);
    1050                 :          2 : }
    1051                 :            : 
    1052                 :            : 
    1053                 :            : static int
    1054                 :      10968 : compare_syn (const void *p1, const void *p2)
    1055                 :            : {
    1056                 :      10968 :   const struct synonym *s1 = (const struct synonym *) p1;
    1057                 :      10968 :   const struct synonym *s2 = (const struct synonym *) p2;
    1058                 :            : 
    1059                 :      10968 :   return strcmp (s1->from, s2->from);
    1060                 :            : }
    1061                 :            : 
    1062                 :            : 
    1063                 :            : static int
    1064                 :        467 : compare_suf (const void *p1, const void *p2)
    1065                 :            : {
    1066                 :        467 :   const struct suffix *s1 = (const struct suffix *) p1;
    1067                 :        467 :   const struct suffix *s2 = (const struct suffix *) p2;
    1068                 :            : 
    1069                 :        467 :   return strcmp (s1->name, s2->name);
    1070                 :            : }
    1071                 :            : 
    1072                 :            : 
    1073                 :            : static int count_op_str;
    1074                 :            : static int off_op_str;
    1075                 :            : static void
    1076                 :         34 : print_op_str (const void *nodep, VISIT value,
    1077                 :            :               int level __attribute__ ((unused)))
    1078                 :            : {
    1079         [ +  + ]:         34 :   if (value == leaf || value == postorder)
    1080                 :            :     {
    1081                 :         18 :       const char *str = (*(struct argstring **) nodep)->str;
    1082         [ +  + ]:         18 :       fprintf (outfile, "%s\n  \"%s",
    1083                 :         18 :                count_op_str == 0 ? "" : "\\0\"", str);
    1084                 :         18 :       (*(struct argstring **) nodep)->idx = ++count_op_str;
    1085                 :         18 :       (*(struct argstring **) nodep)->off = off_op_str;
    1086                 :         18 :       off_op_str += strlen (str) + 1;
    1087                 :            :     }
    1088                 :         34 : }
    1089                 :            : 
    1090                 :            : 
    1091                 :            : static void
    1092                 :         34 : print_op_str_idx (const void *nodep, VISIT value,
    1093                 :            :                   int level __attribute__ ((unused)))
    1094                 :            : {
    1095         [ +  + ]:         34 :   if (value == leaf || value == postorder)
    1096                 :         18 :     printf ("  %d,\n", (*(struct argstring **) nodep)->off);
    1097                 :         34 : }
    1098                 :            : 
    1099                 :            : 
    1100                 :            : static void
    1101                 :        265 : print_op_fct (const void *nodep, VISIT value,
    1102                 :            :               int level __attribute__ ((unused)))
    1103                 :            : {
    1104         [ +  + ]:        265 :   if (value == leaf || value == postorder)
    1105                 :            :     {
    1106                 :        125 :       fprintf (outfile, "  FCT_%s,\n", (*(struct argstring **) nodep)->str);
    1107                 :        125 :       (*(struct argstring **) nodep)->idx = ++count_op_str;
    1108                 :            :     }
    1109                 :        265 : }
    1110                 :            : 
    1111                 :            : 
    1112                 :            : #if NMNES < 2
    1113                 :            : # error "bogus NMNES value"
    1114                 :            : #endif
    1115                 :            : 
    1116                 :            : static void
    1117                 :          2 : instrtable_out (void)
    1118                 :            : {
    1119                 :          2 :   find_numbers ();
    1120                 :            : 
    1121                 :            : #if 0
    1122                 :            :   create_mnemonic_table ();
    1123                 :            : 
    1124                 :            :   fprintf (outfile, "#define MNEMONIC_BITS %zu\n", best_mnemonic_bits);
    1125                 :            : #else
    1126                 :          2 :   fprintf (outfile, "#define MNEMONIC_BITS %ld\n",
    1127                 :            :            lrint (ceil (log2 (NMNES))));
    1128                 :            : #endif
    1129                 :          2 :   fprintf (outfile, "#define SUFFIX_BITS %d\n", nbitsuf);
    1130         [ +  + ]:          8 :   for (int i = 0; i < 3; ++i)
    1131                 :            :     {
    1132                 :          6 :       fprintf (outfile, "#define FCT%d_BITS %d\n", i + 1, nbitfct[i]);
    1133         [ +  - ]:          6 :       if (nbitstr[i] != 0)
    1134                 :          6 :         fprintf (outfile, "#define STR%d_BITS %d\n", i + 1, nbitstr[i]);
    1135                 :          6 :       fprintf (outfile, "#define OFF%d_1_BITS %d\n", i + 1, nbitoff[i][0]);
    1136                 :          6 :       fprintf (outfile, "#define OFF%d_1_BIAS %d\n", i + 1, minoff[i][0]);
    1137         [ +  - ]:          6 :       if (nbitoff[i][1] != 0)
    1138                 :            :         {
    1139                 :          6 :           fprintf (outfile, "#define OFF%d_2_BITS %d\n", i + 1, nbitoff[i][1]);
    1140                 :          6 :           fprintf (outfile, "#define OFF%d_2_BIAS %d\n", i + 1, minoff[i][1]);
    1141                 :            :         }
    1142         [ +  + ]:          6 :       if (nbitoff[i][2] != 0)
    1143                 :            :         {
    1144                 :          4 :           fprintf (outfile, "#define OFF%d_3_BITS %d\n", i + 1, nbitoff[i][2]);
    1145                 :          4 :           fprintf (outfile, "#define OFF%d_3_BIAS %d\n", i + 1, minoff[i][2]);
    1146                 :            :         }
    1147                 :            :     }
    1148                 :            : 
    1149                 :          2 :   fputs ("\n#include <i386_data.h>\n\n", outfile);
    1150                 :            : 
    1151                 :            : 
    1152                 :            : #define APPEND(a, b) APPEND_ (a, b)
    1153                 :            : #define APPEND_(a, b) a##b
    1154                 :            : #define EMIT_SUFFIX(suf) \
    1155                 :            :   fprintf (outfile, "#define suffix_%s %d\n", #suf, APPEND (suffix_, suf))
    1156                 :          2 :   EMIT_SUFFIX (none);
    1157                 :          2 :   EMIT_SUFFIX (w);
    1158                 :          2 :   EMIT_SUFFIX (w0);
    1159                 :          2 :   EMIT_SUFFIX (W);
    1160                 :          2 :   EMIT_SUFFIX (tttn);
    1161                 :          2 :   EMIT_SUFFIX (D);
    1162                 :          2 :   EMIT_SUFFIX (w1);
    1163                 :          2 :   EMIT_SUFFIX (W1);
    1164                 :            : 
    1165                 :          2 :   fputc_unlocked ('\n', outfile);
    1166                 :            : 
    1167         [ +  + ]:          8 :   for (int i = 0; i < 3; ++i)
    1168                 :            :     {
    1169                 :            :       /* Functions.  */
    1170                 :          6 :       count_op_str = 0;
    1171                 :          6 :       fprintf (outfile, "static const opfct_t op%d_fct[] =\n{\n  NULL,\n",
    1172                 :            :                i + 1);
    1173                 :          6 :       twalk (fct_names[i], print_op_fct);
    1174                 :          6 :       fputs ("};\n", outfile);
    1175                 :            : 
    1176                 :            :       /* The operand strings.  */
    1177         [ +  - ]:          6 :       if (nbitstr[i] != 0)
    1178                 :            :         {
    1179                 :          6 :           count_op_str = 0;
    1180                 :          6 :           off_op_str = 0;
    1181                 :          6 :           fprintf (outfile, "static const char op%d_str[] =", i + 1);
    1182                 :          6 :           twalk (strs[i], print_op_str);
    1183                 :          6 :           fputs ("\";\n", outfile);
    1184                 :            : 
    1185                 :          6 :           fprintf (outfile, "static const uint8_t op%d_str_idx[] = {\n",
    1186                 :            :                    i + 1);
    1187                 :          6 :           twalk (strs[i], print_op_str_idx);
    1188                 :          6 :           fputs ("};\n", outfile);
    1189                 :            :         }
    1190                 :            :     }
    1191                 :            : 
    1192                 :            : 
    1193                 :          2 :   fputs ("static const struct instr_enc instrtab[] =\n{\n", outfile);
    1194                 :            :   struct instruction *instr;
    1195         [ +  + ]:       1503 :   for (instr = instructions; instr != NULL; instr = instr->next)
    1196                 :            :     {
    1197                 :       1501 :       fputs ("  {", outfile);
    1198         [ +  + ]:       1501 :       if (instr->mnemonic == (void *) -1l)
    1199                 :         18 :         fputs (" .mnemonic = MNE_INVALID,", outfile);
    1200                 :            :       else
    1201                 :       1483 :         fprintf (outfile, " .mnemonic = MNE_%s,", instr->mnemonic);
    1202                 :       1501 :       fprintf (outfile, " .rep = %d,", instr->rep);
    1203                 :       1501 :       fprintf (outfile, " .repe = %d,", instr->repe);
    1204                 :       1501 :       fprintf (outfile, " .suffix = %d,", instr->suffix);
    1205                 :       1501 :       fprintf (outfile, " .modrm = %d,", instr->modrm);
    1206                 :            : 
    1207         [ +  + ]:       6004 :       for (int i = 0; i < 3; ++i)
    1208                 :            :         {
    1209                 :       4503 :           int idx = 0;
    1210         [ +  + ]:       4503 :           if (instr->operands[i].fct != NULL)
    1211                 :            :             {
    1212                 :       2464 :               struct argstring search = { .str = instr->operands[i].fct };
    1213                 :       2464 :               struct argstring **res = tfind (&search, &fct_names[i],
    1214                 :            :                                               compare_argstring);
    1215         [ -  + ]:       2464 :               assert (res != NULL);
    1216                 :       2464 :               idx = (*res)->idx;
    1217                 :            :             }
    1218                 :       4503 :           fprintf (outfile, " .fct%d = %d,", i + 1, idx);
    1219                 :            : 
    1220                 :       4503 :           idx = 0;
    1221         [ +  + ]:       4503 :           if (instr->operands[i].str != NULL)
    1222                 :            :             {
    1223                 :        112 :               struct argstring search = { .str = instr->operands[i].str };
    1224                 :        112 :               struct argstring **res = tfind (&search, &strs[i],
    1225                 :            :                                               compare_argstring);
    1226         [ -  + ]:        112 :               assert (res != NULL);
    1227                 :        112 :               idx = (*res)->idx;
    1228                 :            :             }
    1229         [ +  - ]:       4503 :           if (nbitstr[i] != 0)
    1230                 :       4503 :             fprintf (outfile, " .str%d = %d,", i + 1, idx);
    1231                 :            : 
    1232                 :       4503 :           fprintf (outfile, " .off%d_1 = %d,", i + 1,
    1233                 :       4503 :                    MAX (0, instr->operands[i].off1 - minoff[i][0]));
    1234                 :            : 
    1235         [ +  - ]:       4503 :           if (nbitoff[i][1] != 0)
    1236                 :       4503 :             fprintf (outfile, " .off%d_2 = %d,", i + 1,
    1237                 :       4503 :                      MAX (0, instr->operands[i].off2 - minoff[i][1]));
    1238                 :            : 
    1239         [ +  + ]:       4503 :           if (nbitoff[i][2] != 0)
    1240                 :       3002 :             fprintf (outfile, " .off%d_3 = %d,", i + 1,
    1241                 :       3002 :                      MAX (0, instr->operands[i].off3 - minoff[i][2]));
    1242                 :            :         }
    1243                 :            : 
    1244                 :       1501 :       fputs (" },\n", outfile);
    1245                 :            :     }
    1246                 :          2 :   fputs ("};\n", outfile);
    1247                 :            : 
    1248                 :          2 :   fputs ("static const uint8_t match_data[] =\n{\n", outfile);
    1249                 :          2 :   size_t cnt = 0;
    1250         [ +  + ]:       1503 :   for (instr = instructions; instr != NULL; instr = instr->next, ++cnt)
    1251                 :            :     {
    1252                 :            :       /* First count the number of bytes.  */
    1253                 :       1501 :       size_t totalbits = 0;
    1254                 :       1501 :       size_t zerobits = 0;
    1255                 :       1501 :       bool leading_p = true;
    1256                 :       1501 :       size_t leadingbits = 0;
    1257                 :       1501 :       struct bitvalue *b = instr->bytes;
    1258         [ +  + ]:      32074 :       while (b != NULL)
    1259                 :            :         {
    1260         [ +  + ]:      30573 :           if (b->type == zeroone)
    1261                 :            :             {
    1262                 :      26984 :               ++totalbits;
    1263                 :      26984 :               zerobits = 0;
    1264         [ +  + ]:      26984 :               if (leading_p)
    1265                 :      25852 :                 ++leadingbits;
    1266                 :            :             }
    1267                 :            :           else
    1268                 :            :             {
    1269                 :       3589 :               totalbits += b->field->bits;
    1270                 :            :               /* We must always count the mod/rm byte.  */
    1271         [ +  + ]:       3589 :               if (strncasecmp (b->field->name, "mod", 3) == 0)
    1272                 :            :                 zerobits = 0;
    1273                 :            :               else
    1274                 :       2538 :                 zerobits += b->field->bits;
    1275                 :            :               leading_p = false;
    1276                 :            :             }
    1277                 :      30573 :           b = b->next;
    1278                 :            :         }
    1279                 :       1501 :       size_t nbytes = (totalbits - zerobits + 7) / 8;
    1280         [ -  + ]:       1501 :       assert (nbytes > 0);
    1281                 :       1501 :       size_t leadingbytes = leadingbits / 8;
    1282                 :            : 
    1283                 :       1501 :       fprintf (outfile, "  %#zx,", nbytes | (leadingbytes << 4));
    1284                 :            : 
    1285                 :            :       /* Now create the mask and byte values.  */
    1286                 :       1501 :       uint8_t byte = 0;
    1287                 :       1501 :       uint8_t mask = 0;
    1288                 :       1501 :       int nbits = 0;
    1289                 :       1501 :       b = instr->bytes;
    1290         [ +  - ]:      30343 :       while (b != NULL)
    1291                 :            :         {
    1292         [ +  + ]:      30343 :           if (b->type == zeroone)
    1293                 :            :             {
    1294                 :      26984 :               byte = (byte << 1) | b->value;
    1295                 :      26984 :               mask = (mask << 1) | 1;
    1296         [ +  + ]:      26984 :               if (++nbits == 8)
    1297                 :            :                 {
    1298         [ +  + ]:       3027 :                   if (leadingbytes > 0)
    1299                 :            :                     {
    1300         [ -  + ]:       2943 :                       assert (mask == 0xff);
    1301                 :       2943 :                       fprintf (outfile, " %#" PRIx8 ",", byte);
    1302                 :       2943 :                       --leadingbytes;
    1303                 :            :                     }
    1304                 :            :                   else
    1305                 :         84 :                     fprintf (outfile, " %#" PRIx8 ", %#" PRIx8 ",",
    1306                 :            :                              mask, byte);
    1307                 :       3027 :                   byte = mask = nbits = 0;
    1308         [ +  + ]:       3027 :                   if (--nbytes == 0)
    1309                 :            :                     break;
    1310                 :            :                 }
    1311                 :            :             }
    1312                 :            :           else
    1313                 :            :             {
    1314         [ -  + ]:       3359 :               assert (leadingbytes == 0);
    1315                 :            : 
    1316                 :       3359 :               unsigned long int remaining = b->field->bits;
    1317         [ -  + ]:       3359 :               while (nbits + remaining > 8)
    1318                 :            :                 {
    1319                 :          0 :                   fprintf (outfile, " %#" PRIx8 ", %#" PRIx8 ",",
    1320                 :          0 :                            mask << (8 - nbits), byte << (8 - nbits));
    1321                 :          0 :                   remaining = nbits + remaining - 8;
    1322                 :          0 :                   byte = mask = nbits = 0;
    1323         [ #  # ]:          0 :                   if (--nbytes == 0)
    1324                 :            :                     break;
    1325                 :            :                 }
    1326                 :       3359 :               byte <<= remaining;
    1327                 :       3359 :               mask <<= remaining;
    1328                 :       3359 :               nbits += remaining;
    1329         [ +  + ]:       3359 :               if (nbits == 8)
    1330                 :            :                 {
    1331                 :       1419 :                   fprintf (outfile, " %#" PRIx8 ", %#" PRIx8 ",", mask, byte);
    1332                 :       1419 :                   byte = mask = nbits = 0;
    1333         [ +  + ]:       1419 :                   if (--nbytes == 0)
    1334                 :            :                     break;
    1335                 :            :                 }
    1336                 :            :             }
    1337                 :      28842 :           b = b->next;
    1338                 :            :         }
    1339                 :            : 
    1340                 :       1501 :       fputc_unlocked ('\n', outfile);
    1341                 :            :     }
    1342                 :          2 :   fputs ("};\n", outfile);
    1343                 :          2 : }
    1344                 :            : 
    1345                 :            : 
    1346                 :            : #if 0
    1347                 :            : static size_t mnemonic_maxlen;
    1348                 :            : static size_t mnemonic_minlen;
    1349                 :            : static size_t
    1350                 :            : which_chars (const char *str[], size_t nstr)
    1351                 :            : {
    1352                 :            :   char used_char[256];
    1353                 :            :   memset (used_char, '\0', sizeof (used_char));
    1354                 :            :   mnemonic_maxlen = 0;
    1355                 :            :   mnemonic_minlen = 10000;
    1356                 :            :   for (size_t cnt = 0; cnt < nstr; ++cnt)
    1357                 :            :     {
    1358                 :            :       const unsigned char *cp = (const unsigned char *) str[cnt];
    1359                 :            :       mnemonic_maxlen = MAX (mnemonic_maxlen, strlen ((char *) cp));
    1360                 :            :       mnemonic_minlen = MIN (mnemonic_minlen, strlen ((char *) cp));
    1361                 :            :       do
    1362                 :            :         used_char[*cp++] = 1;
    1363                 :            :       while (*cp != '\0');
    1364                 :            :     }
    1365                 :            :   size_t nused_char = 0;
    1366                 :            :   for (size_t cnt = 0; cnt < 256; ++cnt)
    1367                 :            :     if (used_char[cnt] != 0)
    1368                 :            :       ++nused_char;
    1369                 :            :   return nused_char;
    1370                 :            : }
    1371                 :            : 
    1372                 :            : 
    1373                 :            : static const char **mnemonic_strs;
    1374                 :            : static size_t nmnemonic_strs;
    1375                 :            : static void
    1376                 :            : add_mnemonics (const void *nodep, VISIT value,
    1377                 :            :                int level __attribute__ ((unused)))
    1378                 :            : {
    1379                 :            :   if (value == leaf || value == postorder)
    1380                 :            :     mnemonic_strs[nmnemonic_strs++] = *(const char **) nodep;
    1381                 :            : }
    1382                 :            : 
    1383                 :            : 
    1384                 :            : struct charfreq
    1385                 :            : {
    1386                 :            :   char ch;
    1387                 :            :   int freq;
    1388                 :            : };
    1389                 :            : static struct charfreq pfxfreq[256];
    1390                 :            : static struct charfreq sfxfreq[256];
    1391                 :            : 
    1392                 :            : 
    1393                 :            : static int
    1394                 :            : compare_freq (const void *p1, const void *p2)
    1395                 :            : {
    1396                 :            :   const struct charfreq *c1 = (const struct charfreq *) p1;
    1397                 :            :   const struct charfreq *c2 = (const struct charfreq *) p2;
    1398                 :            : 
    1399                 :            :   if (c1->freq > c2->freq)
    1400                 :            :     return -1;
    1401                 :            :   if (c1->freq < c2->freq)
    1402                 :            :     return 1;
    1403                 :            :   return 0;
    1404                 :            : }
    1405                 :            : 
    1406                 :            : 
    1407                 :            : static size_t
    1408                 :            : compute_pfxfreq (const char *str[], size_t nstr)
    1409                 :            : {
    1410                 :            :   memset (pfxfreq, '\0', sizeof (pfxfreq));
    1411                 :            : 
    1412                 :            :   for (size_t i = 0; i < nstr; ++i)
    1413                 :            :     pfxfreq[i].ch = i;
    1414                 :            : 
    1415                 :            :   for (size_t i = 0; i < nstr; ++i)
    1416                 :            :     ++pfxfreq[*((const unsigned char *) str[i])].freq;
    1417                 :            : 
    1418                 :            :   qsort (pfxfreq, 256, sizeof (struct charfreq), compare_freq);
    1419                 :            : 
    1420                 :            :   size_t n = 0;
    1421                 :            :   while (n < 256 && pfxfreq[n].freq != 0)
    1422                 :            :     ++n;
    1423                 :            :   return n;
    1424                 :            : }
    1425                 :            : 
    1426                 :            : 
    1427                 :            : struct strsnlen
    1428                 :            : {
    1429                 :            :   const char *str;
    1430                 :            :   size_t len;
    1431                 :            : };
    1432                 :            : 
    1433                 :            : static size_t
    1434                 :            : compute_sfxfreq (size_t nstr, struct strsnlen *strsnlen)
    1435                 :            : {
    1436                 :            :   memset (sfxfreq, '\0', sizeof (sfxfreq));
    1437                 :            : 
    1438                 :            :   for (size_t i = 0; i < nstr; ++i)
    1439                 :            :     sfxfreq[i].ch = i;
    1440                 :            : 
    1441                 :            :   for (size_t i = 0; i < nstr; ++i)
    1442                 :            :     ++sfxfreq[((const unsigned char *) strchrnul (strsnlen[i].str, '\0'))[-1]].freq;
    1443                 :            : 
    1444                 :            :   qsort (sfxfreq, 256, sizeof (struct charfreq), compare_freq);
    1445                 :            : 
    1446                 :            :   size_t n = 0;
    1447                 :            :   while (n < 256 && sfxfreq[n].freq != 0)
    1448                 :            :     ++n;
    1449                 :            :   return n;
    1450                 :            : }
    1451                 :            : 
    1452                 :            : 
    1453                 :            : static void
    1454                 :            : create_mnemonic_table (void)
    1455                 :            : {
    1456                 :            :   mnemonic_strs = xmalloc (nmnemonics * sizeof (char *));
    1457                 :            : 
    1458                 :            :   twalk (mnemonics, add_mnemonics);
    1459                 :            : 
    1460                 :            :   (void) which_chars (mnemonic_strs, nmnemonic_strs);
    1461                 :            : 
    1462                 :            :   size_t best_so_far = 100000000;
    1463                 :            :   char *best_prefix = NULL;
    1464                 :            :   char *best_suffix = NULL;
    1465                 :            :   char *best_table = NULL;
    1466                 :            :   size_t best_table_size = 0;
    1467                 :            :   size_t best_table_bits = 0;
    1468                 :            :   size_t best_prefix_bits = 0;
    1469                 :            : 
    1470                 :            :   /* We can precompute the prefix characters.  */
    1471                 :            :   size_t npfx_char = compute_pfxfreq (mnemonic_strs, nmnemonic_strs);
    1472                 :            : 
    1473                 :            :   /* Compute best size for string representation including explicit NUL.  */
    1474                 :            :   for (size_t pfxbits = 0; (1u << pfxbits) < 2 * npfx_char; ++pfxbits)
    1475                 :            :     {
    1476                 :            :       char prefix[1 << pfxbits];
    1477                 :            :       size_t i;
    1478                 :            :       for (i = 0; i < (1u << pfxbits) - 1; ++i)
    1479                 :            :         prefix[i] = pfxfreq[i].ch;
    1480                 :            :       prefix[i] = '\0';
    1481                 :            : 
    1482                 :            :       struct strsnlen strsnlen[nmnemonic_strs];
    1483                 :            : 
    1484                 :            :       for (i = 0; i < nmnemonic_strs; ++i)
    1485                 :            :         {
    1486                 :            :           if (strchr (prefix, *mnemonic_strs[i]) != NULL)
    1487                 :            :             strsnlen[i].str = mnemonic_strs[i] + 1;
    1488                 :            :           else
    1489                 :            :             strsnlen[i].str = mnemonic_strs[i];
    1490                 :            :           strsnlen[i].len = strlen (strsnlen[i].str);
    1491                 :            :         }
    1492                 :            : 
    1493                 :            :       /* With the prefixes gone, try to combine strings.  */
    1494                 :            :       size_t nstrsnlen = 1;
    1495                 :            :       for (i = 1; i < nmnemonic_strs; ++i)
    1496                 :            :         {
    1497                 :            :           size_t j;
    1498                 :            :           for (j = 0; j < nstrsnlen; ++j)
    1499                 :            :             if (strsnlen[i].len > strsnlen[j].len
    1500                 :            :                 && strcmp (strsnlen[j].str,
    1501                 :            :                            strsnlen[i].str + (strsnlen[i].len
    1502                 :            :                                               - strsnlen[j].len)) == 0)
    1503                 :            :               {
    1504                 :            :                 strsnlen[j] = strsnlen[i];
    1505                 :            :                 break;
    1506                 :            :               }
    1507                 :            :             else if (strsnlen[i].len < strsnlen[j].len
    1508                 :            :                      && strcmp (strsnlen[i].str,
    1509                 :            :                                 strsnlen[j].str + (strsnlen[j].len
    1510                 :            :                                                    - strsnlen[i].len)) == 0)
    1511                 :            :               break;
    1512                 :            : ;
    1513                 :            :           if (j == nstrsnlen)
    1514                 :            :               strsnlen[nstrsnlen++] = strsnlen[i];
    1515                 :            :         }
    1516                 :            : 
    1517                 :            :       size_t nsfx_char = compute_sfxfreq (nstrsnlen, strsnlen);
    1518                 :            : 
    1519                 :            :       for (size_t sfxbits = 0; (1u << sfxbits) < 2 * nsfx_char; ++sfxbits)
    1520                 :            :         {
    1521                 :            :           char suffix[1 << sfxbits];
    1522                 :            : 
    1523                 :            :           for (i = 0; i < (1u << sfxbits) - 1; ++i)
    1524                 :            :             suffix[i] = sfxfreq[i].ch;
    1525                 :            :           suffix[i] = '\0';
    1526                 :            : 
    1527                 :            :           size_t newlen[nstrsnlen];
    1528                 :            : 
    1529                 :            :           for (i = 0; i < nstrsnlen; ++i)
    1530                 :            :             if (strchr (suffix, strsnlen[i].str[strsnlen[i].len - 1]) != NULL)
    1531                 :            :               newlen[i] = strsnlen[i].len - 1;
    1532                 :            :             else
    1533                 :            :               newlen[i] = strsnlen[i].len;
    1534                 :            : 
    1535                 :            :           char charused[256];
    1536                 :            :           memset (charused, '\0', sizeof (charused));
    1537                 :            :           size_t ncharused = 0;
    1538                 :            : 
    1539                 :            :           const char *tablestr[nstrsnlen];
    1540                 :            :           size_t ntablestr = 1;
    1541                 :            :           tablestr[0] = strsnlen[0].str;
    1542                 :            :           size_t table = newlen[0] + 1;
    1543                 :            :           for (i = 1; i < nstrsnlen; ++i)
    1544                 :            :             {
    1545                 :            :               size_t j;
    1546                 :            :               for (j = 0; j < ntablestr; ++j)
    1547                 :            :                 if (newlen[i] > newlen[j]
    1548                 :            :                     && memcmp (tablestr[j],
    1549                 :            :                                strsnlen[i].str + (newlen[i] - newlen[j]),
    1550                 :            :                                newlen[j]) == 0)
    1551                 :            :                   {
    1552                 :            :                     table += newlen[i] - newlen[j];
    1553                 :            :                     tablestr[j] = strsnlen[i].str;
    1554                 :            :                     newlen[j] = newlen[i];
    1555                 :            :                     break;
    1556                 :            :                   }
    1557                 :            :                 else if (newlen[i] < newlen[j]
    1558                 :            :                      && memcmp (strsnlen[i].str,
    1559                 :            :                                 tablestr[j] + (newlen[j] - newlen[i]),
    1560                 :            :                                 newlen[i]) == 0)
    1561                 :            :                   break;
    1562                 :            : 
    1563                 :            :               if (j == ntablestr)
    1564                 :            :                 {
    1565                 :            :                   table += newlen[i] + 1;
    1566                 :            :                   tablestr[ntablestr] = strsnlen[i].str;
    1567                 :            :                   newlen[ntablestr] = newlen[i];
    1568                 :            : 
    1569                 :            :                   ++ntablestr;
    1570                 :            :                 }
    1571                 :            : 
    1572                 :            :               for (size_t x = 0; x < newlen[j]; ++x)
    1573                 :            :                 if (charused[((const unsigned char *) tablestr[j])[x]]++ == 0)
    1574                 :            :                   ++ncharused;
    1575                 :            :             }
    1576                 :            : 
    1577                 :            :           size_t ncharused_bits = 0;
    1578                 :            :           i = 1;
    1579                 :            :           while (i < ncharused)
    1580                 :            :             {
    1581                 :            :               i *= 2;
    1582                 :            :               ++ncharused_bits;
    1583                 :            :             }
    1584                 :            : 
    1585                 :            :           size_t table_bits = 0;
    1586                 :            :           i = 1;
    1587                 :            :           while (i < table)
    1588                 :            :             {
    1589                 :            :               i *= 2;
    1590                 :            :               ++table_bits;
    1591                 :            :             }
    1592                 :            : 
    1593                 :            :           size_t mnemonic_bits = table_bits + pfxbits + sfxbits;
    1594                 :            :           size_t new_total = (((table + 7) / 8) * ncharused_bits + ncharused
    1595                 :            :                               + (pfxbits == 0 ? 0 : (1 << pfxbits) - 1)
    1596                 :            :                               + (sfxbits == 0 ? 0 : (1 << sfxbits) - 1)
    1597                 :            :                               + (((total_bits + mnemonic_bits + 7) / 8)
    1598                 :            :                                  * ninstructions));
    1599                 :            : 
    1600                 :            :           if (new_total < best_so_far)
    1601                 :            :             {
    1602                 :            :               best_so_far = new_total;
    1603                 :            :               best_mnemonic_bits = mnemonic_bits;
    1604                 :            : 
    1605                 :            :               free (best_suffix);
    1606                 :            :               best_suffix = xstrdup (suffix);
    1607                 :            : 
    1608                 :            :               free (best_prefix);
    1609                 :            :               best_prefix = xstrdup (prefix);
    1610                 :            :               best_prefix_bits = pfxbits;
    1611                 :            : 
    1612                 :            :               best_table_size = table;
    1613                 :            :               best_table_bits = table_bits;
    1614                 :            :               char *cp = best_table = xrealloc (best_table, table);
    1615                 :            :               for (i = 0; i < ntablestr; ++i)
    1616                 :            :                 {
    1617                 :            :                   assert (cp + newlen[i] + 1 <= best_table + table);
    1618                 :            :                   cp = mempcpy (cp, tablestr[i], newlen[i]);
    1619                 :            :                   *cp++ = '\0';
    1620                 :            :                 }
    1621                 :            :               assert (cp == best_table + table);
    1622                 :            :             }
    1623                 :            :         }
    1624                 :            :     }
    1625                 :            : 
    1626                 :            :   fputs ("static const char mnemonic_table[] =\n\"", outfile);
    1627                 :            :   for (size_t i = 0; i < best_table_size; ++i)
    1628                 :            :     {
    1629                 :            :       if (((i + 1) % 60) == 0)
    1630                 :            :         fputs ("\"\n\"", outfile);
    1631                 :            :       if (!isascii (best_table[i]) || !isprint (best_table[i]))
    1632                 :            :         fprintf (outfile, "\\%03o", best_table[i]);
    1633                 :            :       else
    1634                 :            :         fputc (best_table[i], outfile);
    1635                 :            :     }
    1636                 :            :   fputs ("\";\n", outfile);
    1637                 :            : 
    1638                 :            :   if (best_prefix[0] != '\0')
    1639                 :            :     fprintf (outfile,
    1640                 :            :              "static const char prefix[%zu] = \"%s\";\n"
    1641                 :            :              "#define PREFIXCHAR_BITS %zu\n",
    1642                 :            :              strlen (best_prefix), best_prefix, best_prefix_bits);
    1643                 :            :   else
    1644                 :            :     fputs ("#define NO_PREFIX\n", outfile);
    1645                 :            : 
    1646                 :            :   if (best_suffix[0] != '\0')
    1647                 :            :     fprintf (outfile, "static const char suffix[%zu] = \"%s\";\n",
    1648                 :            :              strlen (best_suffix), best_suffix);
    1649                 :            :   else
    1650                 :            :     fputs ("#define NO_SUFFIX\n", outfile);
    1651                 :            : 
    1652                 :            :   for (size_t i = 0; i < nmnemonic_strs; ++i)
    1653                 :            :     {
    1654                 :            :       const char *mne = mnemonic_strs[i];
    1655                 :            : 
    1656                 :            :       size_t pfxval = 0;
    1657                 :            :       char *cp = strchr (best_prefix, *mne);
    1658                 :            :       if (cp != NULL)
    1659                 :            :         {
    1660                 :            :           pfxval = 1 + (cp - best_prefix);
    1661                 :            :           ++mne;
    1662                 :            :         }
    1663                 :            : 
    1664                 :            :       size_t l = strlen (mne);
    1665                 :            : 
    1666                 :            :       size_t sfxval = 0;
    1667                 :            :       cp = strchr (best_suffix, mne[l - 1]);
    1668                 :            :       if (cp != NULL)
    1669                 :            :         {
    1670                 :            :           sfxval = 1 + (cp - best_suffix);
    1671                 :            :           --l;
    1672                 :            :         }
    1673                 :            : 
    1674                 :            :       char *off = memmem (best_table, best_table_size, mne, l);
    1675                 :            :       while (off[l] != '\0')
    1676                 :            :         {
    1677                 :            :           off = memmem (off + 1, best_table_size, mne, l);
    1678                 :            :           assert (off != NULL);
    1679                 :            :         }
    1680                 :            : 
    1681                 :            :       fprintf (outfile, "#define MNE_%s %#zx\n",
    1682                 :            :                mnemonic_strs[i],
    1683                 :            :                (off - best_table)
    1684                 :            :                + ((pfxval + (sfxval << best_prefix_bits)) << best_table_bits));
    1685                 :            :     }
    1686                 :            : }
    1687                 :            : #endif

Generated by: LCOV version 1.9