LCOV - code coverage report
Current view: top level - libcpu - i386_disasm.c (source / functions) Hit Total Coverage
Test: elfutils-0.190 Lines: 326 477 68.3 %
Date: 2024-03-01 17:28:02 Functions: 2 2 100.0 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 247 437 56.5 %

           Branch data     Line data    Source code
       1                 :            : /* Disassembler for x86.
       2                 :            :    Copyright (C) 2007, 2008, 2009, 2011 Red Hat, Inc.
       3                 :            :    This file is part of elfutils.
       4                 :            :    Written by Ulrich Drepper <drepper@redhat.com>, 2007.
       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 <config.h>
      36                 :            : #include <ctype.h>
      37                 :            : #include <errno.h>
      38                 :            : #include <gelf.h>
      39                 :            : #include <stddef.h>
      40                 :            : #include <stdint.h>
      41                 :            : #include <stdlib.h>
      42                 :            : #include <string.h>
      43                 :            : 
      44                 :            : #include "libeblP.h"
      45                 :            : 
      46                 :            : #define MACHINE_ENCODING LITTLE_ENDIAN
      47                 :            : #include "memory-access.h"
      48                 :            : 
      49                 :            : #include "i386_mne.h"
      50                 :            : 
      51                 :            : #define MNESTRFIELD(line) MNESTRFIELD1 (line)
      52                 :            : #define MNESTRFIELD1(line) str##line
      53                 :            : static const union mnestr_t
      54                 :            : {
      55                 :            :   struct
      56                 :            :   {
      57                 :            : #define MNE(name) char MNESTRFIELD (__LINE__)[sizeof (#name)];
      58                 :            : #include MNEFILE
      59                 :            : #undef MNE
      60                 :            :   };
      61                 :            :   char str[0];
      62                 :            : } mnestr =
      63                 :            :   {
      64                 :            :     {
      65                 :            : #define MNE(name) #name,
      66                 :            : #include MNEFILE
      67                 :            : #undef MNE
      68                 :            :     }
      69                 :            :   };
      70                 :            : 
      71                 :            : static const unsigned short int mneidx[] =
      72                 :            :   {
      73                 :            : #define MNE(name) \
      74                 :            :   [MNE_##name] = offsetof (union mnestr_t, MNESTRFIELD (__LINE__)),
      75                 :            : #include MNEFILE
      76                 :            : #undef MNE
      77                 :            :   };
      78                 :            : 
      79                 :            : 
      80                 :            : enum
      81                 :            :   {
      82                 :            :     idx_rex_b = 0,
      83                 :            :     idx_rex_x,
      84                 :            :     idx_rex_r,
      85                 :            :     idx_rex_w,
      86                 :            :     idx_rex,
      87                 :            :     idx_cs,
      88                 :            :     idx_ds,
      89                 :            :     idx_es,
      90                 :            :     idx_fs,
      91                 :            :     idx_gs,
      92                 :            :     idx_ss,
      93                 :            :     idx_data16,
      94                 :            :     idx_addr16,
      95                 :            :     idx_rep,
      96                 :            :     idx_repne,
      97                 :            :     idx_lock
      98                 :            :   };
      99                 :            : 
     100                 :            : enum
     101                 :            :   {
     102                 :            : #define prefbit(pref) has_##pref = 1 << idx_##pref
     103                 :            :     prefbit (rex_b),
     104                 :            :     prefbit (rex_x),
     105                 :            :     prefbit (rex_r),
     106                 :            :     prefbit (rex_w),
     107                 :            :     prefbit (rex),
     108                 :            :     prefbit (cs),
     109                 :            :     prefbit (ds),
     110                 :            :     prefbit (es),
     111                 :            :     prefbit (fs),
     112                 :            :     prefbit (gs),
     113                 :            :     prefbit (ss),
     114                 :            :     prefbit (data16),
     115                 :            :     prefbit (addr16),
     116                 :            :     prefbit (rep),
     117                 :            :     prefbit (repne),
     118                 :            :     prefbit (lock)
     119                 :            : #undef prefbit
     120                 :            :   };
     121                 :            : #define SEGMENT_PREFIXES \
     122                 :            :   (has_cs | has_ds | has_es | has_fs | has_gs | has_ss)
     123                 :            : 
     124                 :            : #define prefix_cs       0x2e
     125                 :            : #define prefix_ds       0x3e
     126                 :            : #define prefix_es       0x26
     127                 :            : #define prefix_fs       0x64
     128                 :            : #define prefix_gs       0x65
     129                 :            : #define prefix_ss       0x36
     130                 :            : #define prefix_data16   0x66
     131                 :            : #define prefix_addr16   0x67
     132                 :            : #define prefix_rep      0xf3
     133                 :            : #define prefix_repne    0xf2
     134                 :            : #define prefix_lock     0xf0
     135                 :            : 
     136                 :            : 
     137                 :            : static const uint8_t known_prefixes[] =
     138                 :            :   {
     139                 :            : #define newpref(pref) [idx_##pref] = prefix_##pref
     140                 :            :     newpref (cs),
     141                 :            :     newpref (ds),
     142                 :            :     newpref (es),
     143                 :            :     newpref (fs),
     144                 :            :     newpref (gs),
     145                 :            :     newpref (ss),
     146                 :            :     newpref (data16),
     147                 :            :     newpref (addr16),
     148                 :            :     newpref (rep),
     149                 :            :     newpref (repne),
     150                 :            :     newpref (lock)
     151                 :            : #undef newpref
     152                 :            :   };
     153                 :            : #define nknown_prefixes (sizeof (known_prefixes) / sizeof (known_prefixes[0]))
     154                 :            : 
     155                 :            : 
     156                 :            : #if 0
     157                 :            : static const char *prefix_str[] =
     158                 :            :   {
     159                 :            : #define newpref(pref) [idx_##pref] = #pref
     160                 :            :     newpref (cs),
     161                 :            :     newpref (ds),
     162                 :            :     newpref (es),
     163                 :            :     newpref (fs),
     164                 :            :     newpref (gs),
     165                 :            :     newpref (ss),
     166                 :            :     newpref (data16),
     167                 :            :     newpref (addr16),
     168                 :            :     newpref (rep),
     169                 :            :     newpref (repne),
     170                 :            :     newpref (lock)
     171                 :            : #undef newpref
     172                 :            :   };
     173                 :            : #endif
     174                 :            : 
     175                 :            : 
     176                 :            : static const char amd3dnowstr[] =
     177                 :            : #define MNE_3DNOW_PAVGUSB 1
     178                 :            :   "pavgusb\0"
     179                 :            : #define MNE_3DNOW_PFADD (MNE_3DNOW_PAVGUSB + 8)
     180                 :            :   "pfadd\0"
     181                 :            : #define MNE_3DNOW_PFSUB (MNE_3DNOW_PFADD + 6)
     182                 :            :   "pfsub\0"
     183                 :            : #define MNE_3DNOW_PFSUBR (MNE_3DNOW_PFSUB + 6)
     184                 :            :   "pfsubr\0"
     185                 :            : #define MNE_3DNOW_PFACC (MNE_3DNOW_PFSUBR + 7)
     186                 :            :   "pfacc\0"
     187                 :            : #define MNE_3DNOW_PFCMPGE (MNE_3DNOW_PFACC + 6)
     188                 :            :   "pfcmpge\0"
     189                 :            : #define MNE_3DNOW_PFCMPGT (MNE_3DNOW_PFCMPGE + 8)
     190                 :            :   "pfcmpgt\0"
     191                 :            : #define MNE_3DNOW_PFCMPEQ (MNE_3DNOW_PFCMPGT + 8)
     192                 :            :   "pfcmpeq\0"
     193                 :            : #define MNE_3DNOW_PFMIN (MNE_3DNOW_PFCMPEQ + 8)
     194                 :            :   "pfmin\0"
     195                 :            : #define MNE_3DNOW_PFMAX (MNE_3DNOW_PFMIN + 6)
     196                 :            :   "pfmax\0"
     197                 :            : #define MNE_3DNOW_PI2FD (MNE_3DNOW_PFMAX + 6)
     198                 :            :   "pi2fd\0"
     199                 :            : #define MNE_3DNOW_PF2ID (MNE_3DNOW_PI2FD + 6)
     200                 :            :   "pf2id\0"
     201                 :            : #define MNE_3DNOW_PFRCP (MNE_3DNOW_PF2ID + 6)
     202                 :            :   "pfrcp\0"
     203                 :            : #define MNE_3DNOW_PFRSQRT (MNE_3DNOW_PFRCP + 6)
     204                 :            :   "pfrsqrt\0"
     205                 :            : #define MNE_3DNOW_PFMUL (MNE_3DNOW_PFRSQRT + 8)
     206                 :            :   "pfmul\0"
     207                 :            : #define MNE_3DNOW_PFRCPIT1 (MNE_3DNOW_PFMUL + 6)
     208                 :            :   "pfrcpit1\0"
     209                 :            : #define MNE_3DNOW_PFRSQIT1 (MNE_3DNOW_PFRCPIT1 + 9)
     210                 :            :   "pfrsqit1\0"
     211                 :            : #define MNE_3DNOW_PFRCPIT2 (MNE_3DNOW_PFRSQIT1 + 9)
     212                 :            :   "pfrcpit2\0"
     213                 :            : #define MNE_3DNOW_PMULHRW (MNE_3DNOW_PFRCPIT2 + 9)
     214                 :            :   "pmulhrw";
     215                 :            : 
     216                 :            : #define AMD3DNOW_LOW_IDX 0x0d
     217                 :            : #define AMD3DNOW_HIGH_IDX (sizeof (amd3dnow) + AMD3DNOW_LOW_IDX - 1)
     218                 :            : #define AMD3DNOW_IDX(val) ((val) - AMD3DNOW_LOW_IDX)
     219                 :            : static const unsigned char amd3dnow[] =
     220                 :            :   {
     221                 :            :     [AMD3DNOW_IDX (0xbf)] = MNE_3DNOW_PAVGUSB,
     222                 :            :     [AMD3DNOW_IDX (0x9e)] = MNE_3DNOW_PFADD,
     223                 :            :     [AMD3DNOW_IDX (0x9a)] = MNE_3DNOW_PFSUB,
     224                 :            :     [AMD3DNOW_IDX (0xaa)] = MNE_3DNOW_PFSUBR,
     225                 :            :     [AMD3DNOW_IDX (0xae)] = MNE_3DNOW_PFACC,
     226                 :            :     [AMD3DNOW_IDX (0x90)] = MNE_3DNOW_PFCMPGE,
     227                 :            :     [AMD3DNOW_IDX (0xa0)] = MNE_3DNOW_PFCMPGT,
     228                 :            :     [AMD3DNOW_IDX (0xb0)] = MNE_3DNOW_PFCMPEQ,
     229                 :            :     [AMD3DNOW_IDX (0x94)] = MNE_3DNOW_PFMIN,
     230                 :            :     [AMD3DNOW_IDX (0xa4)] = MNE_3DNOW_PFMAX,
     231                 :            :     [AMD3DNOW_IDX (0x0d)] = MNE_3DNOW_PI2FD,
     232                 :            :     [AMD3DNOW_IDX (0x1d)] = MNE_3DNOW_PF2ID,
     233                 :            :     [AMD3DNOW_IDX (0x96)] = MNE_3DNOW_PFRCP,
     234                 :            :     [AMD3DNOW_IDX (0x97)] = MNE_3DNOW_PFRSQRT,
     235                 :            :     [AMD3DNOW_IDX (0xb4)] = MNE_3DNOW_PFMUL,
     236                 :            :     [AMD3DNOW_IDX (0xa6)] = MNE_3DNOW_PFRCPIT1,
     237                 :            :     [AMD3DNOW_IDX (0xa7)] = MNE_3DNOW_PFRSQIT1,
     238                 :            :     [AMD3DNOW_IDX (0xb6)] = MNE_3DNOW_PFRCPIT2,
     239                 :            :     [AMD3DNOW_IDX (0xb7)] = MNE_3DNOW_PMULHRW
     240                 :            :   };
     241                 :            : 
     242                 :            : 
     243                 :            : struct output_data
     244                 :            : {
     245                 :            :   GElf_Addr addr;
     246                 :            :   int *prefixes;
     247                 :            :   size_t opoff1;
     248                 :            :   size_t opoff2;
     249                 :            :   size_t opoff3;
     250                 :            :   char *bufp;
     251                 :            :   size_t *bufcntp;
     252                 :            :   size_t bufsize;
     253                 :            :   const uint8_t *data;
     254                 :            :   const uint8_t **param_start;
     255                 :            :   const uint8_t *end;
     256                 :            :   char *labelbuf;
     257                 :            :   size_t labelbufsize;
     258                 :            :   enum
     259                 :            :     {
     260                 :            :       addr_none = 0,
     261                 :            :       addr_abs_symbolic,
     262                 :            :       addr_abs_always,
     263                 :            :       addr_rel_symbolic,
     264                 :            :       addr_rel_always
     265                 :            :     } symaddr_use;
     266                 :            :   GElf_Addr symaddr;
     267                 :            : };
     268                 :            : 
     269                 :            : 
     270                 :            : #ifndef DISFILE
     271                 :            : # define DISFILE "i386_dis.h"
     272                 :            : #endif
     273                 :            : #include DISFILE
     274                 :            : 
     275                 :            : 
     276                 :            : #define ADD_CHAR(ch) \
     277                 :            :   do {                                                                        \
     278                 :            :     if (unlikely (bufcnt == bufsize))                                         \
     279                 :            :       goto enomem;                                                            \
     280                 :            :     buf[bufcnt++] = (ch);                                                     \
     281                 :            :   } while (0)
     282                 :            : 
     283                 :            : #define ADD_STRING(str) \
     284                 :            :   do {                                                                        \
     285                 :            :     const char *_str0 = (str);                                                \
     286                 :            :     size_t _len0 = strlen (_str0);                                            \
     287                 :            :     ADD_NSTRING (_str0, _len0);                                               \
     288                 :            :   } while (0)
     289                 :            : 
     290                 :            : #define ADD_NSTRING(str, len) \
     291                 :            :   do {                                                                        \
     292                 :            :     const char *_str = (str);                                                 \
     293                 :            :     size_t _len = (len);                                                      \
     294                 :            :     if (unlikely (bufcnt + _len > bufsize))                                \
     295                 :            :       goto enomem;                                                            \
     296                 :            :     memcpy (buf + bufcnt, _str, _len);                                        \
     297                 :            :     bufcnt += _len;                                                           \
     298                 :            :   } while (0)
     299                 :            : 
     300                 :            : 
     301                 :            : int
     302                 :          4 : i386_disasm (Ebl *ebl __attribute__((unused)),
     303                 :            :              const uint8_t **startp, const uint8_t *end, GElf_Addr addr,
     304                 :            :              const char *fmt, DisasmOutputCB_t outcb, DisasmGetSymCB_t symcb,
     305                 :            :              void *outcbarg, void *symcbarg)
     306                 :            : {
     307                 :          4 :   const char *save_fmt = fmt;
     308                 :            : 
     309                 :            : #define BUFSIZE 512
     310                 :          4 :   char initbuf[BUFSIZE];
     311                 :          4 :   int prefixes;
     312                 :          4 :   size_t bufcnt;
     313                 :          4 :   size_t bufsize = BUFSIZE;
     314                 :          4 :   char *buf = initbuf;
     315                 :          4 :   const uint8_t *param_start;
     316                 :            : 
     317                 :          4 :   struct output_data output_data =
     318                 :            :     {
     319                 :            :       .prefixes = &prefixes,
     320                 :            :       .bufp = buf,
     321                 :            :       .bufsize = bufsize,
     322                 :            :       .bufcntp = &bufcnt,
     323                 :            :       .param_start = &param_start,
     324                 :            :       .end = end
     325                 :            :     };
     326                 :            : 
     327                 :          4 :   int retval = 0;
     328                 :      37892 :   while (1)
     329                 :            :     {
     330                 :      37892 :       prefixes = 0;
     331                 :            : 
     332                 :      37892 :       const uint8_t *data = *startp;
     333                 :      37892 :       const uint8_t *begin = data;
     334                 :            : 
     335                 :            :       /* Recognize all prefixes.  */
     336                 :      37892 :       int last_prefix_bit = 0;
     337         [ +  + ]:      48356 :       while (data < end)
     338                 :            :         {
     339                 :            :           unsigned int i;
     340         [ +  + ]:     533796 :           for (i = idx_cs; i < nknown_prefixes; ++i)
     341         [ +  + ]:     495908 :             if (known_prefixes[i] == *data)
     342                 :            :               break;
     343         [ +  + ]:      48352 :           if (i == nknown_prefixes)
     344                 :            :             break;
     345                 :            : 
     346                 :      10464 :           prefixes |= last_prefix_bit = 1 << i;
     347                 :            : 
     348                 :      10464 :           ++data;
     349                 :            :         }
     350                 :            : 
     351                 :            : #ifdef X86_64
     352   [ +  +  +  + ]:      22846 :       if (data < end && (*data & 0xf0) == 0x40)
     353                 :       7842 :         prefixes |= ((*data++) & 0xf) | has_rex;
     354                 :            : #endif
     355                 :            : 
     356                 :      37892 :       bufcnt = 0;
     357                 :      37892 :       size_t cnt = 0;
     358                 :            : 
     359                 :      37892 :       const uint8_t *curr = match_data;
     360                 :      37892 :       const uint8_t *const match_end = match_data + sizeof (match_data);
     361                 :            : 
     362         [ -  + ]:      37892 :       assert (data <= end);
     363         [ +  + ]:      37892 :       if (data == end)
     364                 :            :         {
     365         [ -  + ]:          4 :           if (prefixes != 0)
     366                 :          0 :             goto print_prefix;
     367                 :            : 
     368                 :          4 :           retval = -1;
     369                 :          4 :           goto do_ret;
     370                 :            :         }
     371                 :            : 
     372                 :      37888 :     next_match:
     373         [ +  - ]:   10663930 :       while (curr < match_end)
     374                 :            :         {
     375                 :   10663930 :           uint_fast8_t len = *curr++;
     376                 :   10663930 :           uint_fast8_t clen = len >> 4;
     377                 :   10663930 :           len &= 0xf;
     378                 :   10663930 :           const uint8_t *next_curr = curr + clen + (len - clen) * 2;
     379                 :            : 
     380         [ -  + ]:   10663930 :           assert (len > 0);
     381         [ -  + ]:   10663930 :           assert (curr + clen + 2 * (len - clen) <= match_end);
     382                 :            : 
     383                 :   10663930 :           const uint8_t *codep = data;
     384                 :   10663930 :           int correct_prefix = 0;
     385                 :   10663930 :           int opoff = 0;
     386                 :            : 
     387   [ +  +  +  +  :   10663930 :           if (data > begin && codep[-1] == *curr && clen > 0)
                   +  - ]
     388                 :            :             {
     389                 :            :               /* We match a prefix byte.  This is exactly one byte and
     390                 :            :                  is matched exactly, without a mask.  */
     391                 :     685224 :               --len;
     392                 :     685224 :               --clen;
     393                 :     685224 :               opoff = 8;
     394                 :            : 
     395                 :     685224 :               ++curr;
     396                 :            : 
     397         [ -  + ]:     685224 :               if (last_prefix_bit == 0)
     398                 :          0 :                 goto invalid_op;
     399                 :            :               correct_prefix = last_prefix_bit;
     400                 :            :             }
     401                 :            : 
     402                 :   10663930 :           size_t avail = len;
     403         [ +  + ]:   14052602 :           while (clen > 0)
     404                 :            :             {
     405         [ +  + ]:   11485666 :               if (*codep++ != *curr++)
     406                 :    8096994 :                 goto not;
     407                 :    3388672 :               --avail;
     408                 :    3388672 :               --clen;
     409         [ -  + ]:    3388672 :               if (codep == end && avail > 0)
     410                 :          0 :                 goto do_ret;
     411                 :            :             }
     412                 :            : 
     413         [ +  + ]:    2630466 :           while (avail > 0)
     414                 :            :             {
     415                 :    2592574 :               uint_fast8_t masked = *codep++ & *curr++;
     416         [ +  + ]:    2592574 :               if (masked != *curr++)
     417                 :            :                 {
     418                 :    2529044 :                 not:
     419                 :   10626042 :                   curr = next_curr;
     420                 :   10626042 :                   ++cnt;
     421                 :   10626042 :                   bufcnt = 0;
     422                 :   10626042 :                   goto next_match;
     423                 :            :                 }
     424                 :            : 
     425                 :      63530 :               --avail;
     426         [ -  + ]:      63530 :               if (codep == end && avail > 0)
     427                 :          0 :                 goto do_ret;
     428                 :            :             }
     429                 :            : 
     430         [ -  + ]:      37892 :           if (len > end - data)
     431                 :            :             /* There is not enough data for the entire instruction.  The
     432                 :            :                caller can figure this out by looking at the pointer into
     433                 :            :                the input data.  */
     434                 :          0 :             goto do_ret;
     435                 :            : 
     436   [ +  +  -  + ]:      37892 :           if (correct_prefix != 0 && (prefixes & correct_prefix) == 0)
     437                 :          0 :             goto invalid_op;
     438                 :      37892 :           prefixes ^= correct_prefix;
     439                 :            : 
     440                 :      37892 :           if (0)
     441                 :            :             {
     442                 :            :               /* Resize the buffer.  */
     443                 :          0 :               char *oldbuf;
     444                 :          0 :             enomem:
     445                 :          0 :               oldbuf = buf;
     446         [ #  # ]:          0 :               if (buf == initbuf)
     447                 :          0 :                 buf = malloc (2 * bufsize);
     448                 :            :               else
     449                 :          0 :                 buf = realloc (buf, 2 * bufsize);
     450         [ #  # ]:          0 :               if (buf == NULL)
     451                 :            :                 {
     452                 :          0 :                   buf = oldbuf;
     453                 :          0 :                   retval = ENOMEM;
     454                 :          0 :                   goto do_ret;
     455                 :            :                 }
     456                 :          0 :               bufsize *= 2;
     457                 :            : 
     458                 :          0 :               output_data.bufp = buf;
     459                 :          0 :               output_data.bufsize = bufsize;
     460                 :          0 :               bufcnt = 0;
     461                 :            : 
     462         [ #  # ]:          0 :               if (data == end)
     463                 :            :                 {
     464         [ #  # ]:          0 :                   if (prefixes == 0)
     465                 :          0 :                     goto invalid_op;
     466                 :          0 :                   goto print_prefix;
     467                 :            :                 }
     468                 :            : 
     469                 :            :               /* gcc is not clever enough to see the following variables
     470                 :            :                  are not used uninitialized.  */
     471                 :          0 :               __asm (""
     472                 :            :                      : "=mr" (opoff), "=mr" (correct_prefix), "=mr" (codep),
     473                 :            :                      "=mr" (next_curr), "=mr" (len));
     474                 :            :             }
     475                 :            : 
     476                 :      37892 :           size_t prefix_size = 0;
     477                 :            : 
     478                 :            :           // XXXonly print as prefix if valid?
     479         [ -  + ]:      37892 :           if ((prefixes & has_lock) != 0)
     480                 :            :             {
     481         [ #  # ]:          0 :               ADD_STRING ("lock ");
     482                 :          0 :               prefix_size += 5;
     483                 :            :             }
     484                 :            : 
     485         [ +  + ]:      37892 :           if (instrtab[cnt].rep)
     486                 :            :             {
     487         [ -  + ]:         72 :               if ((prefixes & has_rep) !=  0)
     488                 :            :                 {
     489         [ #  # ]:          0 :                   ADD_STRING ("rep ");
     490                 :          0 :                   prefix_size += 4;
     491                 :            :                 }
     492                 :            :             }
     493         [ +  + ]:      37820 :           else if (instrtab[cnt].repe
     494         [ -  + ]:         36 :                    && (prefixes & (has_rep | has_repne)) != 0)
     495                 :            :             {
     496         [ #  # ]:          0 :               if ((prefixes & has_repne) != 0)
     497                 :            :                 {
     498         [ #  # ]:          0 :                   ADD_STRING ("repne ");
     499                 :          0 :                   prefix_size += 6;
     500                 :            :                 }
     501         [ #  # ]:          0 :               else if ((prefixes & has_rep) != 0)
     502                 :            :                 {
     503         [ #  # ]:          0 :                   ADD_STRING ("repe ");
     504                 :          0 :                   prefix_size += 5;
     505                 :            :                 }
     506                 :            :             }
     507         [ -  + ]:      37820 :           else if ((prefixes & (has_rep | has_repne)) != 0)
     508                 :            :             {
     509                 :         18 :               uint_fast8_t byte;
     510                 :          0 :             print_prefix:
     511                 :         18 :               bufcnt = 0;
     512                 :         18 :               byte = *begin;
     513                 :            :               /* This is a prefix byte.  Print it.  */
     514   [ -  -  +  +  :         18 :               switch (byte)
          +  +  +  +  -  
             -  -  -  - ]
     515                 :            :                 {
     516                 :          0 :                 case prefix_rep:
     517         [ #  # ]:          0 :                   ADD_STRING ("rep");
     518                 :          0 :                   break;
     519                 :          0 :                 case prefix_repne:
     520         [ #  # ]:          0 :                   ADD_STRING ("repne");
     521                 :          0 :                   break;
     522                 :          2 :                 case prefix_cs:
     523         [ -  + ]:          2 :                   ADD_STRING ("cs");
     524                 :          2 :                   break;
     525                 :          4 :                 case prefix_ds:
     526         [ -  + ]:          4 :                   ADD_STRING ("ds");
     527                 :          4 :                   break;
     528                 :          2 :                 case prefix_es:
     529         [ -  + ]:          2 :                   ADD_STRING ("es");
     530                 :          2 :                   break;
     531                 :          4 :                 case prefix_fs:
     532         [ -  + ]:          4 :                   ADD_STRING ("fs");
     533                 :          4 :                   break;
     534                 :          4 :                 case prefix_gs:
     535         [ -  + ]:          4 :                   ADD_STRING ("gs");
     536                 :          4 :                   break;
     537                 :          2 :                 case prefix_ss:
     538         [ -  + ]:          2 :                   ADD_STRING ("ss");
     539                 :          2 :                   break;
     540                 :          0 :                 case prefix_data16:
     541         [ #  # ]:          0 :                   ADD_STRING ("data16");
     542                 :          0 :                   break;
     543                 :          0 :                 case prefix_addr16:
     544         [ #  # ]:          0 :                   ADD_STRING ("addr16");
     545                 :          0 :                   break;
     546                 :          0 :                 case prefix_lock:
     547         [ #  # ]:          0 :                   ADD_STRING ("lock");
     548                 :          0 :                   break;
     549                 :            : #ifdef X86_64
     550                 :          0 :                 case 0x40 ... 0x4f:
     551   [ #  #  #  # ]:          0 :                   ADD_STRING ("rex");
     552         [ #  # ]:          0 :                   if (byte != 0x40)
     553                 :            :                     {
     554                 :          0 :                       ADD_CHAR ('.');
     555         [ #  # ]:          0 :                       if (byte & 0x8)
     556                 :          0 :                         ADD_CHAR ('w');
     557         [ #  # ]:          0 :                       if (byte & 0x4)
     558         [ #  # ]:          0 :                         ADD_CHAR ('r');
     559         [ #  # ]:          0 :                       if (byte & 0x3)
     560         [ #  # ]:          0 :                         ADD_CHAR ('x');
     561         [ #  # ]:          0 :                       if (byte & 0x1)
     562         [ #  # ]:          0 :                         ADD_CHAR ('b');
     563                 :            :                     }
     564                 :            :                   break;
     565                 :            : #endif
     566                 :          0 :                 default:
     567                 :            :                   /* Cannot happen.  */
     568                 :          0 :                   puts ("unknown prefix");
     569                 :          0 :                   abort ();
     570                 :            :                 }
     571                 :         18 :               data = begin + 1;
     572                 :         18 :               ++addr;
     573                 :            : 
     574                 :         18 :               goto out;
     575                 :            :             }
     576                 :            : 
     577                 :            :           /* We have a match.  First determine how many bytes are
     578                 :            :              needed for the addressing mode.  */
     579                 :      37892 :           param_start = codep;
     580         [ +  + ]:      37892 :           if (instrtab[cnt].modrm)
     581                 :            :             {
     582                 :      33516 :               uint_fast8_t modrm = codep[-1];
     583                 :            : 
     584                 :            : #ifndef X86_64
     585         [ +  + ]:      12852 :               if (likely ((prefixes & has_addr16) != 0))
     586                 :            :                 {
     587                 :            :                   /* Account for displacement.  */
     588   [ +  +  +  + ]:         80 :                   if ((modrm & 0xc7) == 6 || (modrm & 0xc0) == 0x80)
     589                 :         34 :                     param_start += 2;
     590         [ +  + ]:         46 :                   else if ((modrm & 0xc0) == 0x40)
     591                 :         32 :                     param_start += 1;
     592                 :            :                 }
     593                 :            :               else
     594                 :            : #endif
     595                 :            :                 {
     596                 :            :                   /* Account for SIB.  */
     597   [ +  +  +  + ]:      33436 :                   if ((modrm & 0xc0) != 0xc0 && (modrm & 0x7) == 0x4)
     598                 :      12272 :                     param_start += 1;
     599                 :            : 
     600                 :            :                   /* Account for displacement.  */
     601   [ +  +  +  + ]:      33436 :                   if ((modrm & 0xc7) == 5 || (modrm & 0xc0) == 0x80
     602         [ +  + ]:      25988 :                       || ((modrm & 0xc7) == 0x4
     603         [ +  - ]:       4912 :                           && param_start < end
     604         [ +  + ]:       4912 :                           && (codep[0] & 0x7) == 0x5))
     605                 :       8132 :                     param_start += 4;
     606         [ +  + ]:      25304 :                   else if ((modrm & 0xc0) == 0x40)
     607                 :       7162 :                     param_start += 1;
     608                 :            :                 }
     609                 :            : 
     610         [ -  + ]:      33516 :               if (unlikely (param_start > end))
     611                 :          0 :                 goto not;
     612                 :            :             }
     613                 :            : 
     614                 :      37892 :           output_data.addr = addr + (data - begin);
     615                 :      37892 :           output_data.data = data;
     616                 :            : 
     617                 :      37892 :           unsigned long string_end_idx = 0;
     618                 :      37892 :           fmt = save_fmt;
     619                 :      37892 :           const char *deferred_start = NULL;
     620                 :      37892 :           size_t deferred_len = 0;
     621                 :            :           // XXX Can we get this from color.c?
     622                 :      37892 :           static const char color_off[] = "\e[0m";
     623         [ +  + ]:     568324 :           while (*fmt != '\0')
     624                 :            :             {
     625         [ +  + ]:     530436 :               if (*fmt != '%')
     626                 :     227328 :                 {
     627                 :     227328 :                   char ch = *fmt++;
     628         [ -  + ]:     227328 :                   if (ch == '\\')
     629                 :            :                     {
     630   [ #  #  #  # ]:          0 :                       switch ((ch = *fmt++))
     631                 :            :                         {
     632                 :          0 :                         case '0' ... '7':
     633                 :            :                           {
     634                 :          0 :                             int val = ch - '0';
     635                 :          0 :                             ch = *fmt;
     636         [ #  # ]:          0 :                             if (ch >= '0' && ch <= '7')
     637                 :            :                               {
     638                 :          0 :                                 val *= 8;
     639                 :          0 :                                 val += ch - '0';
     640                 :          0 :                                 ch = *++fmt;
     641   [ #  #  #  # ]:          0 :                                 if (ch >= '0' && ch <= '7' && val < 32)
     642                 :            :                                   {
     643                 :          0 :                                     val *= 8;
     644                 :          0 :                                     val += ch - '0';
     645                 :          0 :                                     ++fmt;
     646                 :            :                                   }
     647                 :            :                               }
     648                 :          0 :                             ch = val;
     649                 :            :                           }
     650                 :          0 :                           break;
     651                 :            : 
     652                 :            :                         case 'n':
     653                 :            :                           ch = '\n';
     654                 :            :                           break;
     655                 :            : 
     656                 :          0 :                         case 't':
     657                 :          0 :                           ch = '\t';
     658                 :          0 :                           break;
     659                 :            : 
     660                 :          0 :                         default:
     661                 :          0 :                           retval = EINVAL;
     662                 :          0 :                           goto do_ret;
     663                 :            :                         }
     664                 :            :                     }
     665   [ -  +  -  - ]:     227328 :                   else if (ch == '\e' && *fmt == '[')
     666                 :            :                     {
     667                 :          0 :                       deferred_start = fmt - 1;
     668                 :          0 :                       do
     669                 :          0 :                         ++fmt;
     670         [ #  # ]:          0 :                       while (*fmt != 'm' && *fmt != '\0');
     671                 :            : 
     672         [ #  # ]:          0 :                       if (*fmt == 'm')
     673                 :            :                         {
     674                 :          0 :                           deferred_len = ++fmt - deferred_start;
     675                 :          0 :                           continue;
     676                 :            :                         }
     677                 :            : 
     678                 :            :                       fmt = deferred_start + 1;
     679                 :            :                       deferred_start = NULL;
     680                 :            :                     }
     681         [ -  + ]:     227328 :                   ADD_CHAR (ch);
     682                 :     227328 :                   continue;
     683                 :            :                 }
     684                 :     303108 :               ++fmt;
     685                 :            : 
     686                 :     303108 :               int width = 0;
     687         [ +  + ]:     416776 :               while (isdigit (*fmt))
     688                 :     113668 :                 width = width * 10 + (*fmt++ - '0');
     689                 :            : 
     690                 :     303108 :               int prec = 0;
     691         [ +  + ]:     303108 :               if (*fmt == '.')
     692         [ +  + ]:     378880 :                 while (isdigit (*++fmt))
     693                 :     189440 :                   prec = prec * 10 + (*fmt - '0');
     694                 :            : 
     695                 :     303108 :               size_t start_idx = bufcnt;
     696                 :     303108 :               size_t non_printing = 0;
     697   [ +  +  +  +  :     303108 :               switch (*fmt++)
                   -  - ]
     698                 :            :                 {
     699                 :      37892 :                   char mnebuf[16];
     700                 :      37892 :                   const char *str;
     701                 :            : 
     702                 :      37892 :                 case 'm':
     703                 :            :                   /* Mnemonic.  */
     704                 :            : 
     705         [ +  + ]:      37892 :                   if (unlikely (instrtab[cnt].mnemonic == MNE_INVALID))
     706                 :            :                     {
     707   [ +  +  +  +  :        434 :                       switch (*data)
                   +  - ]
     708                 :            :                         {
     709                 :            : #ifdef X86_64
     710                 :          6 :                         case 0x90:
     711         [ +  + ]:          6 :                           if (prefixes & has_rex_b)
     712                 :          4 :                             goto not;
     713                 :            :                           str = "nop";
     714                 :            :                           break;
     715                 :            : #endif
     716                 :            : 
     717                 :         12 :                         case 0x98:
     718                 :            : #ifdef X86_64
     719         [ +  + ]:          8 :                           if (prefixes == (has_rex_w | has_rex))
     720                 :            :                             {
     721                 :            :                               str = "cltq";
     722                 :            :                               break;
     723                 :            :                             }
     724                 :            : #endif
     725         [ -  + ]:         10 :                           if (prefixes & ~has_data16)
     726                 :          0 :                             goto print_prefix;
     727         [ +  + ]:         10 :                           str = prefixes & has_data16 ? "cbtw" : "cwtl";
     728                 :            :                           break;
     729                 :            : 
     730                 :         12 :                         case 0x99:
     731                 :            : #ifdef X86_64
     732         [ +  + ]:          8 :                           if (prefixes == (has_rex_w | has_rex))
     733                 :            :                             {
     734                 :            :                               str = "cqto";
     735                 :            :                               break;
     736                 :            :                             }
     737                 :            : #endif
     738         [ -  + ]:         10 :                           if (prefixes & ~has_data16)
     739                 :          0 :                             goto print_prefix;
     740         [ +  + ]:         10 :                           str = prefixes & has_data16 ? "cwtd" : "cltd";
     741                 :            :                           break;
     742                 :            : 
     743                 :         16 :                         case 0xe3:
     744         [ -  + ]:         16 :                           if (prefixes & ~has_addr16)
     745                 :          0 :                             goto print_prefix;
     746                 :            : #ifdef X86_64
     747         [ +  + ]:          8 :                           str = prefixes & has_addr16 ? "jecxz" : "jrcxz";
     748                 :            : #else
     749         [ +  + ]:          8 :                           str = prefixes & has_addr16 ? "jcxz" : "jecxz";
     750                 :            : #endif
     751                 :            :                           break;
     752                 :            : 
     753                 :        388 :                         case 0x0f:
     754         [ +  + ]:        388 :                           if (data[1] == 0x0f)
     755                 :            :                             {
     756                 :            :                               /* AMD 3DNOW.  We need one more byte.  */
     757         [ -  + ]:        200 :                               if (param_start >= end)
     758                 :          0 :                                 goto not;
     759                 :        200 :                               if (*param_start < AMD3DNOW_LOW_IDX
     760         [ -  + ]:        200 :                                   || *param_start > AMD3DNOW_HIGH_IDX)
     761                 :          0 :                                 goto not;
     762                 :        200 :                               unsigned int idx
     763                 :        200 :                                 = amd3dnow[AMD3DNOW_IDX (*param_start)];
     764         [ -  + ]:        200 :                               if (idx == 0)
     765                 :          0 :                                 goto not;
     766                 :        200 :                               str = amd3dnowstr + idx - 1;
     767                 :            :                               /* Eat the immediate byte indicating the
     768                 :            :                                  operation.  */
     769                 :        200 :                               ++param_start;
     770                 :        200 :                               break;
     771                 :            :                             }
     772                 :            : #ifdef X86_64
     773         [ +  + ]:        100 :                           if (data[1] == 0xc7)
     774                 :            :                             {
     775                 :         12 :                               str = ((prefixes & has_rex_w)
     776         [ +  + ]:         12 :                                      ? "cmpxchg16b" : "cmpxchg8b");
     777                 :            :                               break;
     778                 :            :                             }
     779                 :            : #endif
     780         [ +  - ]:        176 :                           if (data[1] == 0xc2)
     781                 :            :                             {
     782         [ -  + ]:        176 :                               if (param_start >= end)
     783                 :          0 :                                 goto not;
     784         [ -  + ]:        176 :                               if (*param_start > 7)
     785                 :          0 :                                 goto not;
     786                 :        176 :                               static const char cmpops[][9] =
     787                 :            :                                 {
     788                 :            :                                   [0] = "cmpeq",
     789                 :            :                                   [1] = "cmplt",
     790                 :            :                                   [2] = "cmple",
     791                 :            :                                   [3] = "cmpunord",
     792                 :            :                                   [4] = "cmpneq",
     793                 :            :                                   [5] = "cmpnlt",
     794                 :            :                                   [6] = "cmpnle",
     795                 :            :                                   [7] = "cmpord"
     796                 :            :                                 };
     797         [ +  + ]:        176 :                               char *cp = stpcpy (mnebuf, cmpops[*param_start]);
     798         [ +  + ]:        176 :                               if (correct_prefix & (has_rep | has_repne))
     799                 :         88 :                                 *cp++ = 's';
     800                 :            :                               else
     801                 :         88 :                                 *cp++ = 'p';
     802         [ +  + ]:        176 :                               if (correct_prefix & (has_data16 | has_repne))
     803                 :         88 :                                 *cp++ = 'd';
     804                 :            :                               else
     805                 :         88 :                                 *cp++ = 's';
     806                 :        176 :                               *cp = '\0';
     807                 :        176 :                               str = mnebuf;
     808                 :            :                               /* Eat the immediate byte indicating the
     809                 :            :                                  operation.  */
     810                 :        176 :                               ++param_start;
     811                 :        176 :                               break;
     812                 :            :                             }
     813                 :            :                           FALLTHROUGH;
     814                 :            :                         default:
     815                 :            :                           str = "INVALID not handled";
     816                 :            :                           break;
     817                 :            :                         }
     818                 :            :                     }
     819                 :            :                   else
     820                 :      37458 :                     str = mnestr.str + mneidx[instrtab[cnt].mnemonic];
     821                 :            : 
     822         [ -  + ]:      37888 :                   if (deferred_start != NULL)
     823                 :            :                     {
     824         [ #  # ]:          0 :                       ADD_NSTRING (deferred_start, deferred_len);
     825                 :          0 :                       non_printing += deferred_len;
     826                 :            :                     }
     827                 :            : 
     828   [ -  +  +  +  :      37888 :                   ADD_STRING (str);
          +  +  +  +  +  
                   -  + ]
     829                 :            : 
     830   [ +  +  +  +  :      37888 :                   switch (instrtab[cnt].suffix)
             +  +  +  -  
                      + ]
     831                 :            :                     {
     832                 :            :                     case suffix_none:
     833                 :            :                       break;
     834                 :            : 
     835                 :       2034 :                     case suffix_w:
     836         [ +  + ]:       2034 :                       if ((codep[-1] & 0xc0) != 0xc0)
     837                 :            :                         {
     838                 :       1566 :                           char ch;
     839                 :            : 
     840         [ +  + ]:       1566 :                           if (data[0] & 1)
     841                 :            :                             {
     842         [ +  + ]:        978 :                               if (prefixes & has_data16)
     843                 :            :                                 ch = 'w';
     844                 :            : #ifdef X86_64
     845         [ +  + ]:        430 :                               else if (prefixes & has_rex_w)
     846                 :            :                                 ch = 'q';
     847                 :            : #endif
     848                 :            :                               else
     849                 :        838 :                                 ch = 'l';
     850                 :            :                             }
     851                 :            :                           else
     852                 :            :                             ch = 'b';
     853                 :            : 
     854         [ -  + ]:       1566 :                           ADD_CHAR (ch);
     855                 :            :                         }
     856                 :            :                       break;
     857                 :            : 
     858                 :         12 :                     case suffix_w0:
     859         [ +  - ]:         12 :                       if ((codep[-1] & 0xc0) != 0xc0)
     860         [ -  + ]:         12 :                         ADD_CHAR ('l');
     861                 :            :                       break;
     862                 :            : 
     863                 :        216 :                     case suffix_w1:
     864         [ +  + ]:        216 :                       if ((data[0] & 0x4) == 0)
     865         [ -  + ]:        108 :                         ADD_CHAR ('l');
     866                 :            :                       break;
     867                 :            : 
     868                 :        168 :                     case suffix_W:
     869         [ +  + ]:        168 :                       if (prefixes & has_data16)
     870                 :            :                         {
     871         [ -  + ]:          8 :                           ADD_CHAR ('w');
     872                 :          8 :                           prefixes &= ~has_data16;
     873                 :            :                         }
     874                 :            : #ifdef X86_64
     875                 :            :                       else
     876         [ -  + ]:         88 :                         ADD_CHAR ('q');
     877                 :            : #endif
     878                 :            :                       break;
     879                 :            : 
     880                 :          8 :                     case suffix_W1:
     881         [ +  + ]:          8 :                       if (prefixes & has_data16)
     882                 :            :                         {
     883         [ -  + ]:          4 :                           ADD_CHAR ('w');
     884                 :          4 :                           prefixes &= ~has_data16;
     885                 :            :                         }
     886                 :            : #ifdef X86_64
     887         [ -  + ]:          2 :                       else if (prefixes & has_rex_w)
     888         [ #  # ]:          0 :                         ADD_CHAR ('q');
     889                 :            : #endif
     890                 :            :                       break;
     891                 :            : 
     892                 :        576 :                     case suffix_tttn:;
     893                 :        576 :                       static const char tttn[16][3] =
     894                 :            :                         {
     895                 :            :                           "o", "no", "b", "ae", "e", "ne", "be", "a",
     896                 :            :                           "s", "ns", "p", "np", "l", "ge", "le", "g"
     897                 :            :                         };
     898         [ -  + ]:        576 :                       ADD_STRING (tttn[codep[-1 - instrtab[cnt].modrm] & 0x0f]);
     899                 :        576 :                       break;
     900                 :            : 
     901                 :        264 :                     case suffix_D:
     902         [ +  - ]:        264 :                       if ((codep[-1] & 0xc0) != 0xc0)
     903   [ -  +  +  + ]:        396 :                         ADD_CHAR ((data[0] & 0x04) == 0 ? 's' : 'l');
     904                 :            :                       break;
     905                 :            : 
     906                 :          0 :                     default:
     907                 :          0 :                       printf("unknown suffix %d\n", instrtab[cnt].suffix);
     908                 :          0 :                       abort ();
     909                 :            :                     }
     910                 :            : 
     911         [ -  + ]:      37888 :                   if (deferred_start != NULL)
     912                 :            :                     {
     913         [ #  # ]:          0 :                       ADD_STRING (color_off);
     914                 :          0 :                       non_printing += strlen (color_off);
     915                 :            :                     }
     916                 :            : 
     917                 :      37888 :                   string_end_idx = bufcnt;
     918                 :      37888 :                   break;
     919                 :            : 
     920                 :     189440 :                 case 'o':
     921   [ +  +  +  + ]:     189440 :                   if (prec == 1 && instrtab[cnt].fct1 != 0)
     922                 :      37518 :                     {
     923                 :            :                       /* First parameter.  */
     924         [ -  + ]:      37518 :                       if (deferred_start != NULL)
     925                 :            :                         {
     926         [ #  # ]:          0 :                           ADD_NSTRING (deferred_start, deferred_len);
     927                 :          0 :                           non_printing += deferred_len;
     928                 :            :                         }
     929                 :            : 
     930         [ +  + ]:      37518 :                       if (instrtab[cnt].str1 != 0)
     931         [ -  + ]:        892 :                         ADD_STRING (op1_str
     932                 :            :                                     + op1_str_idx[instrtab[cnt].str1 - 1]);
     933                 :            : 
     934                 :      37518 :                       output_data.opoff1 = (instrtab[cnt].off1_1
     935                 :      37518 :                                             + OFF1_1_BIAS - opoff);
     936                 :      37518 :                       output_data.opoff2 = (instrtab[cnt].off1_2
     937                 :      37518 :                                             + OFF1_2_BIAS - opoff);
     938                 :      37518 :                       output_data.opoff3 = (instrtab[cnt].off1_3
     939                 :      37518 :                                             + OFF1_3_BIAS - opoff);
     940                 :      37518 :                       int r = op1_fct[instrtab[cnt].fct1] (&output_data);
     941         [ -  + ]:      37518 :                       if (r < 0)
     942                 :          0 :                         goto not;
     943         [ -  + ]:      37518 :                       if (r > 0)
     944                 :          0 :                         goto enomem;
     945                 :            : 
     946         [ -  + ]:      37518 :                       if (deferred_start != NULL)
     947                 :            :                         {
     948         [ #  # ]:          0 :                           ADD_STRING (color_off);
     949                 :          0 :                           non_printing += strlen (color_off);
     950                 :            :                         }
     951                 :            : 
     952                 :      37518 :                       string_end_idx = bufcnt;
     953                 :            :                     }
     954   [ +  +  +  + ]:     151922 :                   else if (prec == 2 && instrtab[cnt].fct2 != 0)
     955                 :      34652 :                     {
     956                 :            :                       /* Second parameter.  */
     957         [ -  + ]:      34652 :                       if (deferred_start != NULL)
     958                 :            :                         {
     959         [ #  # ]:          0 :                           ADD_NSTRING (deferred_start, deferred_len);
     960                 :          0 :                           non_printing += deferred_len;
     961                 :            :                         }
     962                 :            : 
     963         [ +  + ]:      34652 :                       if (instrtab[cnt].str2 != 0)
     964         [ -  + ]:        584 :                         ADD_STRING (op2_str
     965                 :            :                                     + op2_str_idx[instrtab[cnt].str2 - 1]);
     966                 :            : 
     967                 :      34652 :                       output_data.opoff1 = (instrtab[cnt].off2_1
     968                 :      34652 :                                             + OFF2_1_BIAS - opoff);
     969                 :      34652 :                       output_data.opoff2 = (instrtab[cnt].off2_2
     970                 :      34652 :                                             + OFF2_2_BIAS - opoff);
     971                 :      34652 :                       output_data.opoff3 = (instrtab[cnt].off2_3
     972                 :      34652 :                                             + OFF2_3_BIAS - opoff);
     973                 :      34652 :                       int r = op2_fct[instrtab[cnt].fct2] (&output_data);
     974         [ -  + ]:      34652 :                       if (r < 0)
     975                 :          0 :                         goto not;
     976         [ -  + ]:      34652 :                       if (r > 0)
     977                 :          0 :                         goto enomem;
     978                 :            : 
     979         [ -  + ]:      34652 :                       if (deferred_start != NULL)
     980                 :            :                         {
     981         [ #  # ]:          0 :                           ADD_STRING (color_off);
     982                 :          0 :                           non_printing += strlen (color_off);
     983                 :            :                         }
     984                 :            : 
     985                 :      34652 :                       string_end_idx = bufcnt;
     986                 :            :                     }
     987   [ +  +  +  + ]:     117270 :                   else if (prec == 3 && instrtab[cnt].fct3 != 0)
     988                 :       1624 :                     {
     989                 :            :                       /* Third parameter.  */
     990         [ -  + ]:       1624 :                       if (deferred_start != NULL)
     991                 :            :                         {
     992         [ #  # ]:          0 :                           ADD_NSTRING (deferred_start, deferred_len);
     993                 :          0 :                           non_printing += deferred_len;
     994                 :            :                         }
     995                 :            : 
     996         [ +  + ]:       1624 :                       if (instrtab[cnt].str3 != 0)
     997         [ -  + ]:          4 :                         ADD_STRING (op3_str
     998                 :            :                                     + op3_str_idx[instrtab[cnt].str3 - 1]);
     999                 :            : 
    1000                 :       1624 :                       output_data.opoff1 = (instrtab[cnt].off3_1
    1001                 :       1624 :                                             + OFF3_1_BIAS - opoff);
    1002                 :       1624 :                       output_data.opoff2 = (instrtab[cnt].off3_2
    1003                 :       1624 :                                             + OFF3_2_BIAS - opoff);
    1004                 :            : #ifdef OFF3_3_BITS
    1005                 :            :                       output_data.opoff3 = (instrtab[cnt].off3_3
    1006                 :            :                                             + OFF3_3_BIAS - opoff);
    1007                 :            : #else
    1008                 :       1624 :                       output_data.opoff3 = 0;
    1009                 :            : #endif
    1010                 :       1624 :                       int r = op3_fct[instrtab[cnt].fct3] (&output_data);
    1011         [ -  + ]:       1624 :                       if (r < 0)
    1012                 :          0 :                         goto not;
    1013         [ -  + ]:       1624 :                       if (r > 0)
    1014                 :          0 :                         goto enomem;
    1015                 :            : 
    1016         [ -  + ]:       1624 :                       if (deferred_start != NULL)
    1017                 :            :                         {
    1018         [ #  # ]:          0 :                           ADD_STRING (color_off);
    1019                 :          0 :                           non_printing += strlen (color_off);
    1020                 :            :                         }
    1021                 :            : 
    1022                 :       1624 :                       string_end_idx = bufcnt;
    1023                 :            :                     }
    1024                 :            :                   else
    1025                 :     115646 :                     start_idx = bufcnt = string_end_idx;
    1026                 :            :                   break;
    1027                 :            : 
    1028                 :            :                 case 'e':
    1029                 :            :                   string_end_idx = bufcnt;
    1030                 :            :                   break;
    1031                 :            : 
    1032                 :            :                 case 'a':
    1033                 :            :                   /* Pad to requested column.  */
    1034                 :     445672 :                   while (bufcnt - non_printing < (size_t) width)
    1035   [ -  +  +  + ]:     445672 :                     ADD_CHAR (' ');
    1036                 :            :                   width = 0;
    1037                 :            :                   break;
    1038                 :            : 
    1039                 :      37888 :                 case 'l':
    1040         [ -  + ]:      37888 :                   if (deferred_start != NULL)
    1041                 :            :                     {
    1042         [ #  # ]:          0 :                       ADD_NSTRING (deferred_start, deferred_len);
    1043                 :          0 :                       non_printing += deferred_len;
    1044                 :            :                     }
    1045                 :            : 
    1046         [ -  + ]:      37888 :                   if (output_data.labelbuf != NULL
    1047         [ #  # ]:          0 :                       && output_data.labelbuf[0] != '\0')
    1048                 :            :                     {
    1049         [ #  # ]:          0 :                       ADD_STRING (output_data.labelbuf);
    1050                 :          0 :                       output_data.labelbuf[0] = '\0';
    1051                 :          0 :                       string_end_idx = bufcnt;
    1052                 :            :                     }
    1053         [ +  + ]:      37888 :                   else if (output_data.symaddr_use != addr_none)
    1054                 :            :                     {
    1055                 :        222 :                       GElf_Addr symaddr = output_data.symaddr;
    1056         [ +  - ]:        222 :                       if (output_data.symaddr_use >= addr_rel_symbolic)
    1057                 :        222 :                         symaddr += addr + param_start - begin;
    1058                 :            : 
    1059                 :            :                       // XXX Lookup symbol based on symaddr
    1060                 :        222 :                       const char *symstr = NULL;
    1061         [ -  + ]:        222 :                       if (symcb != NULL
    1062         [ +  - ]:        222 :                           && symcb (0 /* XXX */, 0 /* XXX */, symaddr,
    1063                 :            :                                     &output_data.labelbuf,
    1064                 :            :                                     &output_data.labelbufsize, symcbarg) == 0)
    1065                 :          0 :                         symstr = output_data.labelbuf;
    1066                 :            : 
    1067                 :        222 :                       size_t bufavail = bufsize - bufcnt;
    1068                 :        222 :                       int r = 0;
    1069         [ -  + ]:        222 :                       if (symstr != NULL)
    1070                 :          0 :                         r = snprintf (&buf[bufcnt], bufavail, "# <%s>",
    1071                 :            :                                       symstr);
    1072                 :        222 :                       else if (output_data.symaddr_use == addr_abs_always
    1073         [ +  - ]:        222 :                                || output_data.symaddr_use == addr_rel_always)
    1074                 :        222 :                         r = snprintf (&buf[bufcnt], bufavail, "# %#" PRIx64,
    1075                 :            :                                       (uint64_t) symaddr);
    1076                 :            : 
    1077         [ -  + ]:        222 :                       assert (r >= 0);
    1078         [ -  + ]:        222 :                       if ((size_t) r >= bufavail)
    1079                 :          0 :                         goto enomem;
    1080                 :        222 :                       bufcnt += r;
    1081                 :        222 :                       string_end_idx = bufcnt;
    1082                 :            : 
    1083                 :        222 :                       output_data.symaddr_use = addr_none;
    1084                 :            :                     }
    1085         [ -  + ]:      37888 :                   if (deferred_start != NULL)
    1086                 :            :                     {
    1087         [ #  # ]:          0 :                       ADD_STRING (color_off);
    1088                 :          0 :                       non_printing += strlen (color_off);
    1089                 :            :                     }
    1090                 :            :                   break;
    1091                 :            : 
    1092                 :          0 :                 default:
    1093                 :          0 :                   abort ();
    1094                 :            :                 }
    1095                 :            : 
    1096                 :     303104 :               deferred_start = NULL;
    1097                 :            : 
    1098                 :            :               /* Pad according to the specified width.  */
    1099                 :     303104 :               while (bufcnt + prefix_size - non_printing < start_idx + width)
    1100   [ -  +  +  + ]:     399514 :                 ADD_CHAR (' ');
    1101                 :            :               prefix_size = 0;
    1102                 :            :             }
    1103                 :            : 
    1104         [ +  + ]:      37888 :           if ((prefixes & SEGMENT_PREFIXES) != 0)
    1105                 :         18 :             goto print_prefix;
    1106                 :            : 
    1107         [ -  + ]:      37870 :           assert (string_end_idx != ~0ul);
    1108                 :      37870 :           bufcnt = string_end_idx;
    1109                 :            : 
    1110                 :      37870 :           addr += param_start - begin;
    1111                 :      37870 :           data = param_start;
    1112                 :            : 
    1113                 :      37870 :           goto out;
    1114                 :            :         }
    1115                 :            : 
    1116                 :            :       /* Invalid (or at least unhandled) opcode.  */
    1117                 :          0 :     invalid_op:
    1118         [ #  # ]:          0 :       if (prefixes != 0)
    1119                 :          0 :         goto print_prefix;
    1120                 :            :       /* Make sure we get past the unrecognized opcode if we haven't yet.  */
    1121         [ #  # ]:          0 :       if (*startp == data)
    1122                 :          0 :         ++data;
    1123         [ #  # ]:          0 :       ADD_STRING ("(bad)");
    1124                 :          0 :       addr += data - begin;
    1125                 :            : 
    1126                 :      37888 :     out:
    1127         [ -  + ]:      37888 :       if (bufcnt == bufsize)
    1128                 :          0 :         goto enomem;
    1129                 :      37888 :       buf[bufcnt] = '\0';
    1130                 :            : 
    1131                 :      37888 :       *startp = data;
    1132                 :      37888 :       retval = outcb (buf, bufcnt, outcbarg);
    1133         [ +  - ]:      37888 :       if (retval != 0)
    1134                 :          0 :         goto do_ret;
    1135                 :            :     }
    1136                 :            : 
    1137                 :          4 :  do_ret:
    1138                 :          4 :   free (output_data.labelbuf);
    1139         [ -  + ]:          4 :   if (buf != initbuf)
    1140                 :          0 :     free (buf);
    1141                 :            : 
    1142                 :          4 :   return retval;
    1143                 :            : }

Generated by: LCOV version 1.16