ubsan: moxie: left shift of negative value

[deliverable/binutils-gdb.git] / opcodes / moxie-dis.c

diff --git a/opcodes/moxie-dis.c b/opcodes/moxie-dis.c
index b1d123f5a440c393117de94a14648b9af3ff08e4..cbfcf958806831bcd32b85eca1fdb9f891e6e65b 100644 (file)
--- a/opcodes/moxie-dis.c
+++ b/opcodes/moxie-dis.c
@@ -1,6 +1,5 @@
 /* Disassemble moxie instructions.
-   Copyright 2009
-   Free Software Foundation, Inc.
+   Copyright (C) 2009-2019 Free Software Foundation, Inc.
 
    This file is part of the GNU opcodes library.
 
@@ -19,13 +18,14 @@
    Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
    MA 02110-1301, USA.  */
 
-#include <stdio.h>
 #include "sysdep.h"
+#include <stdio.h>
+
 #define STATIC_TABLE
 #define DEFINE_TABLE
 
 #include "opcode/moxie.h"
-#include "dis-asm.h"
+#include "disassemble.h"
 
 static fprintf_ftype fpr;
 static void *stream;
@@ -33,6 +33,7 @@ static void *stream;
 /* Macros to extract operands from the instruction word.  */
 #define OP_A(i) ((i >> 4) & 0xf)
 #define OP_B(i) (i & 0xf)
+#define INST2OFFSET(o) (((((o) & 0x3ff) ^ 0x200) - 0x200) << 1)
 
 static const char * reg_names[16] =
   { "$fp", "$sp", "$r0", "$r1", "$r2", "$r3", "$r4", "$r5",
@@ -51,7 +52,11 @@ print_insn_moxie (bfd_vma addr, struct disassemble_info * info)
 
   if ((status = info->read_memory_func (addr, buffer, 2, info)))
     goto fail;
-  iword = bfd_getb16 (buffer);
+
+  if (info->endian == BFD_ENDIAN_BIG)
+    iword = bfd_getb16 (buffer);
+  else
+    iword = bfd_getl16 (buffer);
 
   /* Form 1 instructions have the high bit set to 0.  */
   if ((iword & (1<<15)) == 0)
@@ -77,7 +82,10 @@ print_insn_moxie (bfd_vma addr, struct disassemble_info * info)
            unsigned imm;
            if ((status = info->read_memory_func (addr + 2, buffer, 4, info)))
              goto fail;
-           imm = bfd_getb32 (buffer);
+           if (info->endian == BFD_ENDIAN_BIG)
+             imm = bfd_getb32 (buffer);
+           else
+             imm = bfd_getl32 (buffer);
            fpr (stream, "%s\t%s, 0x%x", opcode->name,
                 reg_names[OP_A(iword)], imm);
            length = 6;
@@ -88,11 +96,28 @@ print_insn_moxie (bfd_vma addr, struct disassemble_info * info)
            unsigned imm;
            if ((status = info->read_memory_func (addr + 2, buffer, 4, info)))
              goto fail;
-           imm = bfd_getb32 (buffer);
+           if (info->endian == BFD_ENDIAN_BIG)
+             imm = bfd_getb32 (buffer);
+           else
+             imm = bfd_getl32 (buffer);
            fpr (stream, "%s\t0x%x", opcode->name, imm);
            length = 6;
          }
          break;
+       case MOXIE_F1_M:
+         {
+           unsigned imm;
+           if ((status = info->read_memory_func (addr + 2, buffer, 4, info)))
+             goto fail;
+           if (info->endian == BFD_ENDIAN_BIG)
+             imm = bfd_getb32 (buffer);
+           else
+             imm = bfd_getl32 (buffer);
+           fpr (stream, "%s\t", opcode->name);
+           info->print_address_func ((bfd_vma) imm, info);
+           length = 6;
+         }
+         break;
        case MOXIE_F1_AiB:
          fpr (stream, "%s\t(%s), %s", opcode->name,
               reg_names[OP_A(iword)], reg_names[OP_B(iword)]);
@@ -106,41 +131,53 @@ print_insn_moxie (bfd_vma addr, struct disassemble_info * info)
            unsigned imm;
            if ((status = info->read_memory_func (addr + 2, buffer, 4, info)))
              goto fail;
-           imm = bfd_getb32 (buffer);
+           if (info->endian == BFD_ENDIAN_BIG)
+             imm = bfd_getb32 (buffer);
+           else
+             imm = bfd_getl32 (buffer);
            fpr (stream, "%s\t0x%x, %s",
                 opcode->name, imm, reg_names[OP_A(iword)]);
            length = 6;
          }
          break;
-       case MOXIE_F1_AiB4:
+       case MOXIE_F1_AiB2:
          {
            unsigned imm;
-           if ((status = info->read_memory_func (addr+2, buffer, 4, info)))
+           if ((status = info->read_memory_func (addr+2, buffer, 2, info)))
              goto fail;
-           imm = bfd_getb32 (buffer);
+           if (info->endian == BFD_ENDIAN_BIG)
+             imm = bfd_getb16 (buffer);
+           else
+             imm = bfd_getl16 (buffer);
            fpr (stream, "%s\t0x%x(%s), %s", opcode->name,
                 imm,
                 reg_names[OP_A(iword)],
                 reg_names[OP_B(iword)]);
-           length = 6;
+           length = 4;
          }
          break;
-       case MOXIE_F1_ABi4:
+       case MOXIE_F1_ABi2:
          {
            unsigned imm;
-           if ((status = info->read_memory_func (addr+2, buffer, 4, info)))
+           if ((status = info->read_memory_func (addr+2, buffer, 2, info)))
              goto fail;
-           imm = bfd_getb32 (buffer);
+           if (info->endian == BFD_ENDIAN_BIG)
+             imm = bfd_getb16 (buffer);
+           else
+             imm = bfd_getl16 (buffer);
            fpr (stream, "%s\t%s, 0x%x(%s)",
                 opcode->name,
                 reg_names[OP_A(iword)],
                 imm,
                 reg_names[OP_B(iword)]);
-           length = 6;
+           length = 4;
          }
          break;
+        case MOXIE_BAD:
+         fpr (stream, "bad");
+         break;
        default:
-         abort ();
+         abort();
        }
     }
   else if ((iword & (1<<14)) == 0)
@@ -158,6 +195,9 @@ print_insn_moxie (bfd_vma addr, struct disassemble_info * info)
        case MOXIE_F2_NARG:
          fpr (stream, "%s", opcode->name);
          break;
+        case MOXIE_BAD:
+         fpr (stream, "bad");
+         break;
        default:
          abort();
        }
@@ -165,11 +205,16 @@ print_insn_moxie (bfd_vma addr, struct disassemble_info * info)
   else
     {
       /* Extract the Form 3 opcode.  */
-      opcode = &moxie_form2_opc_info[(iword >> 12) & 3];
+      opcode = &moxie_form3_opc_info[(iword >> 10) & 15];
       switch (opcode->itype)
        {
-       case MOXIE_F3_NARG:
-         fpr (stream, "%s", opcode->name);
+       case MOXIE_F3_PCREL:
+         fpr (stream, "%s\t", opcode->name);
+         info->print_address_func ((bfd_vma) (addr + INST2OFFSET(iword) + 2),
+                                   info);
+         break;
+        case MOXIE_BAD:
+         fpr (stream, "bad");
          break;
        default:
          abort();