ubsan: z8k: index 10 out of bounds for type 'unsigned int const[10]'
[deliverable/binutils-gdb.git] / opcodes / z8k-dis.c
index 7123622a291cb49d5ec09a7a1d74e75ba2e2bb29..cb871decfaba7033f601b5b347171db068940135 100644 (file)
@@ -1,33 +1,32 @@
 /* Disassemble z8000 code.
-   Copyright 1992, 1993, 1995, 1998 Free Software Foundation, Inc.
+   Copyright (C) 1992-2020 Free Software Foundation, Inc.
 
-This file is part of GNU Binutils.
+   This file is part of the GNU opcodes library.
 
-This program is free software; you can redistribute it and/or modify
-it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 2 of the License, or
-(at your option) any later version.
+   This library is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 3, or (at your option)
+   any later version.
 
-This program is distributed in the hope that it will be useful,
-but WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-GNU General Public License for more details.
+   It is distributed in the hope that it will be useful, but WITHOUT
+   ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+   or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
+   License for more details.
 
-You should have received a copy of the GNU General Public License
-along with this program; if not, write to the Free Software
-Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
+   You should have received a copy of the GNU General Public License
+   along with this file; see the file COPYING.  If not, write to the
+   Free Software Foundation, 51 Franklin Street - Fifth Floor, Boston,
+   MA 02110-1301, USA.  */
 
-#include <ansidecl.h>
 #include "sysdep.h"
-#include "dis-asm.h"
+#include "disassemble.h"
+#include "libiberty.h"
 
 #define DEFINE_TABLE
 #include "z8k-opc.h"
 
-\f
 #include <setjmp.h>
 
-\f
 typedef struct
 {
   /* These are all indexed by nibble number (i.e only every other entry
@@ -37,11 +36,11 @@ typedef struct
   unsigned short words[24];
 
   /* Nibble number of first word not yet fetched.  */
-  int max_fetched;
+  unsigned int max_fetched;
   bfd_vma insn_start;
-  jmp_buf bailout;
+  OPCODES_SIGJMP_BUF bailout;
 
-  long tabl_index;
+  int tabl_index;
   char instr_asmsrc[80];
   unsigned long arg_reg[0x0f];
   unsigned long immediate;
@@ -58,17 +57,15 @@ instr_data_s;
    to ADDR (exclusive) are valid.  Returns 1 for success, longjmps
    on error.  */
 #define FETCH_DATA(info, nibble) \
-  ((nibble) < ((instr_data_s *)(info->private_data))->max_fetched \
+  ((nibble) < ((instr_data_s *) (info->private_data))->max_fetched \
    ? 1 : fetch_data ((info), (nibble)))
 
 static int
-fetch_data (info, nibble)
-     struct disassemble_info *info;
-     int nibble;
+fetch_data (struct disassemble_info *info, int nibble)
 {
   unsigned char mybuf[20];
   int status;
-  instr_data_s *priv = (instr_data_s *)info->private_data;
+  instr_data_s *priv = (instr_data_s *) info->private_data;
 
   if ((nibble % 4) != 0)
     abort ();
@@ -80,20 +77,20 @@ fetch_data (info, nibble)
   if (status != 0)
     {
       (*info->memory_error_func) (status, priv->insn_start, info);
-      longjmp (priv->bailout, 1);
+      OPCODES_SIGLONGJMP (priv->bailout, 1);
     }
 
   {
     int i;
-    unsigned char *p = mybuf ;
-    
+    unsigned char *p = mybuf;
+
     for (i = 0; i < nibble;)
       {
        priv->words[i] = (p[0] << 8) | p[1];
-       
+
        priv->bytes[i] = *p;
        priv->nibbles[i++] = *p >> 4;
-       priv->nibbles[i++] = *p &0xf;
+       priv->nibbles[i++] = *p & 0xf;
 
        ++p;
        priv->bytes[i] = *p;
@@ -108,53 +105,66 @@ fetch_data (info, nibble)
 }
 
 static char *codes[16] =
-{
-  "f",
-  "lt",
-  "le",
-  "ule",
-  "ov/pe",
-  "mi",
-  "eq",
-  "c/ult",
-  "t",
-  "ge",
-  "gt",
-  "ugt",
-  "nov/po",
-  "pl",
-  "ne",
-  "nc/uge"
-};
-
-int z8k_lookup_instr PARAMS ((unsigned char*, disassemble_info *));
-static void output_instr
-  PARAMS ((instr_data_s *, unsigned long, disassemble_info *));
-static void unpack_instr PARAMS ((instr_data_s *, int, disassemble_info *));
-static void unparse_instr PARAMS ((instr_data_s *));
+  {
+    "f",
+    "lt",
+    "le",
+    "ule",
+    "ov/pe",
+    "mi",
+    "eq",
+    "c/ult",
+    "t",
+    "ge",
+    "gt",
+    "ugt",
+    "nov/po",
+    "pl",
+    "ne",
+    "nc/uge"
+  };
+
+static char *ctrl_names[8] =
+  {
+    "<invld>",
+    "flags",
+    "fcw",
+    "refresh",
+    "psapseg",
+    "psapoff",
+    "nspseg",
+    "nspoff"
+  };
+
+static int seg_length;
+int z8k_lookup_instr (unsigned char *, disassemble_info *);
+static void output_instr (instr_data_s *, unsigned long, disassemble_info *);
+static void unpack_instr (instr_data_s *, int, disassemble_info *);
+static void unparse_instr (instr_data_s *, int);
 
 static int
-print_insn_z8k (addr, info, is_segmented)
-     bfd_vma addr;
-     disassemble_info *info;
-     int is_segmented;
+print_insn_z8k (bfd_vma addr, disassemble_info *info, int is_segmented)
 {
   instr_data_s instr_data;
 
   info->private_data = (PTR) &instr_data;
   instr_data.max_fetched = 0;
   instr_data.insn_start = addr;
-  if (setjmp (instr_data.bailout) != 0)
+  if (OPCODES_SIGSETJMP (instr_data.bailout) != 0)
     /* Error return.  */
     return -1;
 
+  info->bytes_per_chunk = 2;
+  info->bytes_per_line = 6;
+  info->display_endian = BFD_ENDIAN_BIG;
+
   instr_data.tabl_index = z8k_lookup_instr (instr_data.nibbles, info);
-  if (instr_data.tabl_index > 0)
+  if (instr_data.tabl_index >= 0)
     {
       unpack_instr (&instr_data, is_segmented, info);
-      unparse_instr (&instr_data);
+      unparse_instr (&instr_data, is_segmented);
       output_instr (&instr_data, addr, info);
-      return z8k_table[instr_data.tabl_index].length;
+      return z8k_table[instr_data.tabl_index].length + seg_length;
     }
   else
     {
@@ -166,42 +176,48 @@ print_insn_z8k (addr, info, is_segmented)
 }
 
 int
-print_insn_z8001 (addr, info)
-     bfd_vma addr;
-     disassemble_info *info;
+print_insn_z8001 (bfd_vma addr, disassemble_info *info)
 {
   return print_insn_z8k (addr, info, 1);
 }
 
 int
-print_insn_z8002 (addr, info)
-     bfd_vma addr;
-     disassemble_info *info;
+print_insn_z8002 (bfd_vma addr, disassemble_info *info)
 {
   return print_insn_z8k (addr, info, 0);
 }
 
 int
-z8k_lookup_instr (nibbles, info)
-     unsigned char *nibbles;
-     disassemble_info *info;
+z8k_lookup_instr (unsigned char *nibbles, disassemble_info *info)
 {
-
-  int nibl_index, tabl_index;
+  unsigned int nibl_index, tabl_index;
   int nibl_matched;
+  int need_fetch = 0;
   unsigned short instr_nibl;
   unsigned short tabl_datum, datum_class, datum_value;
 
   nibl_matched = 0;
   tabl_index = 0;
+  FETCH_DATA (info, 4);
   while (!nibl_matched && z8k_table[tabl_index].name)
     {
       nibl_matched = 1;
-      for (nibl_index = 0; nibl_index < z8k_table[tabl_index].length * 2 && nibl_matched; nibl_index++)
+      for (nibl_index = 0;
+          nibl_matched
+            && nibl_index < ARRAY_SIZE (z8k_table[0].byte_info)
+            && nibl_index < z8k_table[tabl_index].length * 2;
+          nibl_index++)
        {
          if ((nibl_index % 4) == 0)
-           /* Fetch one word at a time.  */
-           FETCH_DATA (info, nibl_index + 4);
+            {
+              /* Fetch data only if it isn't already there.  */
+              if (nibl_index >= 4 || (nibl_index < 4 && need_fetch))
+                FETCH_DATA (info, nibl_index + 4);   /* Fetch one word at a time.  */
+              if (nibl_index < 4)
+                need_fetch = 0;
+              else
+                need_fetch = 1;
+            }
          instr_nibl = nibbles[nibl_index];
 
          tabl_datum = z8k_table[tabl_index].byte_info[nibl_index];
@@ -214,6 +230,8 @@ z8k_lookup_instr (nibbles, info)
              if (datum_value != instr_nibl)
                nibl_matched = 0;
              break;
+           case CLASS_IGNORE:
+             break;
            case CLASS_00II:
              if (!((~instr_nibl) & 0x4))
                nibl_matched = 0;
@@ -252,41 +270,27 @@ z8k_lookup_instr (nibbles, info)
              break;
            }
        }
+
       if (nibl_matched)
-       {
-         return tabl_index;
-       }
+       return tabl_index;
 
       tabl_index++;
     }
   return -1;
-
 }
 
 static void
-output_instr (instr_data, addr, info)
-     instr_data_s *instr_data;
-     unsigned long addr;
-     disassemble_info *info;
+output_instr (instr_data_s *instr_data,
+              unsigned long addr ATTRIBUTE_UNUSED,
+              disassemble_info *info)
 {
-  int loop, loop_limit;
-  char tmp_str[20];
+  unsigned int num_bytes;
   char out_str[100];
 
-  strcpy (out_str, "\t");
+  out_str[0] = 0;
 
-  loop_limit = z8k_table[instr_data->tabl_index].length * 2;
-  FETCH_DATA (info, loop_limit);
-  for (loop = 0; loop < loop_limit; loop++)
-    {
-      sprintf (tmp_str, "%x", instr_data->nibbles[loop]);
-      strcat (out_str, tmp_str);
-    }
-
-  while (loop++ < 8)
-    {
-      strcat (out_str, " ");
-    }
+  num_bytes = (z8k_table[instr_data->tabl_index].length + seg_length) * 2;
+  FETCH_DATA (info, num_bytes);
 
   strcat (out_str, instr_data->instr_asmsrc);
 
@@ -294,24 +298,24 @@ output_instr (instr_data, addr, info)
 }
 
 static void
-unpack_instr (instr_data, is_segmented, info)
-     instr_data_s *instr_data;
-     int is_segmented;
-     disassemble_info *info;
+unpack_instr (instr_data_s *instr_data, int is_segmented, disassemble_info *info)
 {
-  int nibl_count, loop;
+  unsigned int nibl_count, loop;
   unsigned short instr_nibl, instr_byte, instr_word;
   long instr_long;
-  unsigned short tabl_datum, datum_class, datum_value;
+  unsigned int tabl_datum, datum_class;
+  unsigned short datum_value;
 
   nibl_count = 0;
   loop = 0;
+  seg_length = 0;
+
   while (z8k_table[instr_data->tabl_index].byte_info[loop] != 0)
     {
       FETCH_DATA (info, nibl_count + 4 - (nibl_count % 4));
       instr_nibl = instr_data->nibbles[nibl_count];
-      instr_byte = instr_data->bytes[nibl_count];
-      instr_word = instr_data->words[nibl_count];
+      instr_byte = instr_data->bytes[nibl_count & ~1];
+      instr_word = instr_data->words[nibl_count & ~3];
 
       tabl_datum = z8k_table[instr_data->tabl_index].byte_info[loop];
       datum_class = tabl_datum & CLASS_MASK;
@@ -319,24 +323,23 @@ unpack_instr (instr_data, is_segmented, info)
 
       switch (datum_class)
        {
-       case CLASS_X:
-         instr_data->address = instr_nibl;
-         break;
-       case CLASS_BA:
-         instr_data->displacement = instr_nibl;
-         break;
-       case CLASS_BX:
-         instr_data->arg_reg[datum_value] = instr_nibl;
-         break;
        case CLASS_DISP:
          switch (datum_value)
            {
            case ARG_DISP16:
-             instr_data->displacement = instr_word;
+             instr_data->displacement = instr_data->insn_start + 4
+               + (signed short) (instr_word & 0xffff);
              nibl_count += 3;
              break;
            case ARG_DISP12:
-             instr_data->displacement = instr_word & 0x0fff;
+             if (instr_word & 0x800)
+               /* Negative 12 bit displacement.  */
+               instr_data->displacement = instr_data->insn_start + 2
+                 - (signed short) ((instr_word & 0xfff) | 0xf000) * 2;
+             else
+               instr_data->displacement = instr_data->insn_start + 2
+                 - (instr_word & 0x0fff) * 2;
+
              nibl_count += 2;
              break;
            default:
@@ -349,8 +352,11 @@ unpack_instr (instr_data, is_segmented, info)
            case ARG_IMM4:
              instr_data->immediate = instr_nibl;
              break;
+           case ARG_NIM4:
+             instr_data->immediate = (- instr_nibl) & 0xf;
+             break;
            case ARG_NIM8:
-             instr_data->immediate = (-instr_byte);
+             instr_data->immediate = (- instr_byte) & 0xff;
              nibl_count += 1;
              break;
            case ARG_IMM8:
@@ -390,10 +396,6 @@ unpack_instr (instr_data, is_segmented, info)
        case CLASS_CC:
          instr_data->cond_code = instr_nibl;
          break;
-       case CLASS_CTRL:
-         instr_data->ctrl_code = instr_nibl;
-         break;
-       case CLASS_DA:
        case CLASS_ADDRESS:
          if (is_segmented)
            {
@@ -402,14 +404,15 @@ unpack_instr (instr_data, is_segmented, info)
                  FETCH_DATA (info, nibl_count + 8);
                  instr_long = (instr_data->words[nibl_count] << 16)
                    | (instr_data->words[nibl_count + 4]);
-                 instr_data->address = ((instr_word & 0x7f00) << 8) +
-                   (instr_long & 0xffff);
+                 instr_data->address = ((instr_word & 0x7f00) << 16)
+                   (instr_long & 0xffff);
                  nibl_count += 7;
+                 seg_length = 2;
                }
              else
                {
-                 instr_data->address = ((instr_word & 0x7f00) << 8) +
-                   (instr_word & 0x00ff);
+                 instr_data->address = ((instr_word & 0x7f00) << 16)
+                   (instr_word & 0x00ff);
                  nibl_count += 3;
                }
            }
@@ -420,17 +423,17 @@ unpack_instr (instr_data, is_segmented, info)
            }
          break;
        case CLASS_0CCC:
-         instr_data->cond_code = instr_nibl & 0x7;
-         break;
        case CLASS_1CCC:
-         instr_data->cond_code = instr_nibl & 0x7;
+         instr_data->ctrl_code = instr_nibl & 0x7;
          break;
        case CLASS_0DISP7:
-         instr_data->displacement = instr_byte & 0x7f;
+         instr_data->displacement =
+           instr_data->insn_start + 2 - (instr_byte & 0x7f) * 2;
          nibl_count += 1;
          break;
        case CLASS_1DISP7:
-         instr_data->displacement = instr_byte & 0x7f;
+         instr_data->displacement =
+           instr_data->insn_start + 2 - (instr_byte & 0x7f) * 2;
          nibl_count += 1;
          break;
        case CLASS_01II:
@@ -439,11 +442,9 @@ unpack_instr (instr_data, is_segmented, info)
        case CLASS_00II:
          instr_data->interrupts = instr_nibl & 0x3;
          break;
+       case CLASS_IGNORE:
        case CLASS_BIT:
-         /* do nothing */
-         break;
-       case CLASS_IR:
-         instr_data->arg_reg[datum_value] = instr_nibl;
+         instr_data->ctrl_code = instr_nibl & 0x7;
          break;
        case CLASS_FLAGS:
          instr_data->flags = instr_nibl;
@@ -451,22 +452,20 @@ unpack_instr (instr_data, is_segmented, info)
        case CLASS_REG:
          instr_data->arg_reg[datum_value] = instr_nibl;
          break;
-       case CLASS_REG_BYTE:
-         instr_data->arg_reg[datum_value] = instr_nibl;
-         break;
-       case CLASS_REG_WORD:
-         instr_data->arg_reg[datum_value] = instr_nibl;
-         break;
-       case CLASS_REG_QUAD:
+       case CLASS_REGN0:
          instr_data->arg_reg[datum_value] = instr_nibl;
          break;
-       case CLASS_REG_LONG:
-         instr_data->arg_reg[datum_value] = instr_nibl;
+       case CLASS_DISP8:
+         instr_data->displacement =
+           instr_data->insn_start + 2 + (signed char) instr_byte * 2;
+         nibl_count += 1;
          break;
-       case CLASS_REGN0:
-         instr_data->arg_reg[datum_value] = instr_nibl;
+        case CLASS_BIT_1OR2:
+          instr_data->immediate = ((instr_nibl >> 1) & 0x1) + 1;
+          nibl_count += 1;
          break;
        default:
+         abort ();
          break;
        }
 
@@ -476,14 +475,62 @@ unpack_instr (instr_data, is_segmented, info)
 }
 
 static void
-unparse_instr (instr_data)
-     instr_data_s *instr_data;
+print_intr(char *tmp_str, unsigned long interrupts)
 {
-  unsigned short tabl_datum, datum_class, datum_value;
+  int comma = 0;
+
+  *tmp_str = 0;
+  if (! (interrupts & 2))
+    {
+      strcat (tmp_str, "vi");
+      comma = 1;
+    }
+  if (! (interrupts & 1))
+    {
+      if (comma) strcat (tmp_str, ",");
+      strcat (tmp_str, "nvi");
+    }
+}
+
+static void
+print_flags(char *tmp_str, unsigned long flags)
+{
+  int comma = 0;
+
+  *tmp_str = 0;
+  if (flags & 8)
+    {
+      strcat (tmp_str, "c");
+      comma = 1;
+    }
+  if (flags & 4)
+    {
+      if (comma) strcat (tmp_str, ",");
+      strcat (tmp_str, "z");
+      comma = 1;
+    }
+  if (flags & 2)
+    {
+      if (comma) strcat (tmp_str, ",");
+      strcat (tmp_str, "s");
+      comma = 1;
+    }
+  if (flags & 1)
+    {
+      if (comma) strcat (tmp_str, ",");
+      strcat (tmp_str, "p");
+    }
+}
+
+static void
+unparse_instr (instr_data_s *instr_data, int is_segmented)
+{
+  unsigned short datum_value;
+  unsigned int tabl_datum, datum_class;
   int loop, loop_limit;
   char out_str[80], tmp_str[25];
 
-  sprintf (out_str, "\t%s\t", z8k_table[instr_data->tabl_index].name);
+  sprintf (out_str, "%s\t", z8k_table[instr_data->tabl_index].name);
 
   loop_limit = z8k_table[instr_data->tabl_index].noperands;
   for (loop = 0; loop < loop_limit; loop++)
@@ -498,25 +545,39 @@ unparse_instr (instr_data)
       switch (datum_class)
        {
        case CLASS_X:
-         sprintf (tmp_str, "0x%0lx(R%ld)", instr_data->address,
-                  instr_data->arg_reg[datum_value]);
+          sprintf (tmp_str, "0x%0lx(r%ld)", instr_data->address,
+                   instr_data->arg_reg[datum_value]);
          strcat (out_str, tmp_str);
          break;
        case CLASS_BA:
-         sprintf (tmp_str, "r%ld(#%lx)", instr_data->arg_reg[datum_value],
-                  instr_data->immediate);
+          if (is_segmented)
+            sprintf (tmp_str, "rr%ld(#0x%lx)", instr_data->arg_reg[datum_value],
+                     instr_data->immediate);
+          else
+            sprintf (tmp_str, "r%ld(#0x%lx)", instr_data->arg_reg[datum_value],
+                     instr_data->immediate);
          strcat (out_str, tmp_str);
          break;
        case CLASS_BX:
-         sprintf (tmp_str, "r%ld(R%ld)", instr_data->arg_reg[datum_value],
-                  instr_data->arg_reg[ARG_RX]);
+          if (is_segmented)
+            sprintf (tmp_str, "rr%ld(r%ld)", instr_data->arg_reg[datum_value],
+                     instr_data->arg_reg[ARG_RX]);
+          else
+            sprintf (tmp_str, "r%ld(r%ld)", instr_data->arg_reg[datum_value],
+                     instr_data->arg_reg[ARG_RX]);
          strcat (out_str, tmp_str);
          break;
        case CLASS_DISP:
-         sprintf (tmp_str, "#0x%0lx", instr_data->displacement);
+         sprintf (tmp_str, "0x%0lx", instr_data->displacement);
          strcat (out_str, tmp_str);
          break;
        case CLASS_IMM:
+         if (datum_value == ARG_IMM2)  /* True with EI/DI instructions only.  */
+           {
+             print_intr (tmp_str, instr_data->interrupts);
+             strcat (out_str, tmp_str);
+             break;
+           }
          sprintf (tmp_str, "#0x%0lx", instr_data->immediate);
          strcat (out_str, tmp_str);
          break;
@@ -525,32 +586,35 @@ unparse_instr (instr_data)
          strcat (out_str, tmp_str);
          break;
        case CLASS_CTRL:
-         sprintf (tmp_str, "0x%0lx", instr_data->ctrl_code);
+         sprintf (tmp_str, "%s", ctrl_names[instr_data->ctrl_code]);
          strcat (out_str, tmp_str);
          break;
        case CLASS_DA:
        case CLASS_ADDRESS:
-         sprintf (tmp_str, "#0x%0lx", instr_data->address);
+         sprintf (tmp_str, "0x%0lx", instr_data->address);
          strcat (out_str, tmp_str);
          break;
        case CLASS_IR:
-         sprintf (tmp_str, "@R%ld", instr_data->arg_reg[datum_value]);
+         if (is_segmented)
+           sprintf (tmp_str, "@rr%ld", instr_data->arg_reg[datum_value]);
+         else
+           sprintf (tmp_str, "@r%ld", instr_data->arg_reg[datum_value]);
+         strcat (out_str, tmp_str);
+         break;
+       case CLASS_IRO:
+          sprintf (tmp_str, "@r%ld", instr_data->arg_reg[datum_value]);
          strcat (out_str, tmp_str);
          break;
        case CLASS_FLAGS:
-         sprintf (tmp_str, "0x%0lx", instr_data->flags);
+         print_flags(tmp_str, instr_data->flags);
          strcat (out_str, tmp_str);
          break;
        case CLASS_REG_BYTE:
          if (instr_data->arg_reg[datum_value] >= 0x8)
-           {
-             sprintf (tmp_str, "rl%ld",
-                      instr_data->arg_reg[datum_value] - 0x8);
-           }
+           sprintf (tmp_str, "rl%ld",
+                    instr_data->arg_reg[datum_value] - 0x8);
          else
-           {
-             sprintf (tmp_str, "rh%ld", instr_data->arg_reg[datum_value]);
-           }
+           sprintf (tmp_str, "rh%ld", instr_data->arg_reg[datum_value]);
          strcat (out_str, tmp_str);
          break;
        case CLASS_REG_WORD:
@@ -565,7 +629,15 @@ unparse_instr (instr_data)
          sprintf (tmp_str, "rr%ld", instr_data->arg_reg[datum_value]);
          strcat (out_str, tmp_str);
          break;
+       case CLASS_PR:
+         if (is_segmented)
+           sprintf (tmp_str, "rr%ld", instr_data->arg_reg[datum_value]);
+         else
+           sprintf (tmp_str, "r%ld", instr_data->arg_reg[datum_value]);
+         strcat (out_str, tmp_str);
+         break;
        default:
+         abort ();
          break;
        }
     }
This page took 0.031823 seconds and 4 git commands to generate.