]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blobdiff - opcodes/m68hc11-dis.c
Update year range in copyright notice of all files.
[thirdparty/binutils-gdb.git] / opcodes / m68hc11-dis.c
index 31fbf27eaae6c739ac027a519e26c2212ce7b65e..0a597395e21013e0f825c50ce3cf49146cdab132 100644 (file)
@@ -1,55 +1,59 @@
 /* m68hc11-dis.c -- Motorola 68HC11 & 68HC12 disassembly
-   Copyright 1999, 2000, 2001 Free Software Foundation, Inc.
-   Written by Stephane Carrez (stcarrez@worldnet.fr)
+   Copyright (C) 1999-2017 Free Software Foundation, Inc.
+   Written by Stephane Carrez (stcarrez@nerim.fr)
+   XGATE and S12X added by James Murray (jsm@jsm-net.demon.co.uk)
 
-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 file is part of the GNU opcodes library.
 
-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.
+   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.
 
-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.  */
+   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., 51 Franklin Street - Fifth Floor, Boston,
+   MA 02110-1301, USA.  */
+
+#include "sysdep.h"
 #include <stdio.h>
 
-#include "ansidecl.h"
 #include "opcode/m68hc11.h"
 #include "dis-asm.h"
 
-static const char *const reg_name[] = {
+#define PC_REGNUM 3
+
+static const char *const reg_name[] =
+{
   "X", "Y", "SP", "PC"
 };
 
-static const char *const reg_src_table[] = {
+static const char *const reg_src_table[] =
+{
   "A", "B", "CCR", "TMP3", "D", "X", "Y", "SP"
 };
 
-static const char *const reg_dst_table[] = {
+static const char *const reg_dst_table[] =
+{
   "A", "B", "CCR", "TMP2", "D", "X", "Y", "SP"
 };
 
 #define OP_PAGE_MASK (M6811_OP_PAGE2|M6811_OP_PAGE3|M6811_OP_PAGE4)
 
 /* Prototypes for local functions.  */
-static int read_memory
-  PARAMS ((bfd_vma, bfd_byte *, int, struct disassemble_info *));
-static int print_indexed_operand
-  PARAMS ((bfd_vma, struct disassemble_info *, int));
-static int print_insn
-  PARAMS ((bfd_vma, struct disassemble_info *, int));
+static int read_memory (bfd_vma, bfd_byte *, int, struct disassemble_info *);
+static int print_indexed_operand (bfd_vma, struct disassemble_info *,
+                                  int*, int, int, bfd_vma, int);
+static int print_insn (bfd_vma, struct disassemble_info *, int);
 
 static int
-read_memory (memaddr, buffer, size, info)
-     bfd_vma memaddr;
-     bfd_byte *buffer;
-     int size;
-     struct disassemble_info *info;
+read_memory (bfd_vma memaddr, bfd_byte* buffer, int size,
+             struct disassemble_info* info)
 {
   int status;
 
@@ -68,10 +72,9 @@ read_memory (memaddr, buffer, size, info)
 /* Read the 68HC12 indexed operand byte and print the corresponding mode.
    Returns the number of bytes read or -1 if failure.  */
 static int
-print_indexed_operand (memaddr, info, mov_insn)
-     bfd_vma memaddr;
-     struct disassemble_info *info;
-     int mov_insn;
+print_indexed_operand (bfd_vma memaddr, struct disassemble_info* info,
+                       int* indirect, int mov_insn, int pc_offset,
+                       bfd_vma endaddr, int arch)
 {
   bfd_byte buffer[4];
   int reg;
@@ -79,6 +82,9 @@ print_indexed_operand (memaddr, info, mov_insn)
   short sval;
   int pos = 1;
 
+  if (indirect)
+    *indirect = 0;
+
   status = read_memory (memaddr, &buffer[0], 1, info);
   if (status != 0)
     {
@@ -92,8 +98,20 @@ print_indexed_operand (memaddr, info, mov_insn)
       sval = (buffer[0] & 0x1f);
       if (sval & 0x10)
        sval |= 0xfff0;
-      (*info->fprintf_func) (info->stream, "%d,%s",
-                            (int) sval, reg_name[reg]);
+      /* 68HC12 requires an adjustment for movb/movw pc relative modes.  */
+      if (reg == PC_REGNUM && info->mach == bfd_mach_m6812 && mov_insn)
+        sval += pc_offset;
+      (*info->fprintf_func) (info->stream, "0x%x,%s",
+                            (unsigned short) sval, reg_name[reg]);
+
+      if (reg == PC_REGNUM)
+        {
+          (* info->fprintf_func) (info->stream, " {");
+             if (info->symtab_size > 0) /* Avoid duplicate 0x from core binutils. */
+               (*info->fprintf_func) (info->stream, "0x");
+          (* info->print_address_func) (endaddr + sval, info);
+          (* info->fprintf_func) (info->stream, "}");
+        }
     }
 
   /* Auto pre/post increment/decrement.  */
@@ -115,7 +133,7 @@ print_indexed_operand (memaddr, info, mov_insn)
          mode = "+";
        }
       (*info->fprintf_func) (info->stream, "%d,%s%s%s",
-                            (int) sval,
+                            (unsigned short) sval,
                             (buffer[0] & 0x10 ? "" : mode),
                             reg_name[reg], (buffer[0] & 0x10 ? mode : ""));
     }
@@ -123,12 +141,12 @@ print_indexed_operand (memaddr, info, mov_insn)
   /* [n,r] 16-bits offset indexed indirect.  */
   else if ((buffer[0] & 0x07) == 3)
     {
-      if (mov_insn)
-       {
-         (*info->fprintf_func) (info->stream, "<invalid op: 0x%x>",
-                                buffer[0] & 0x0ff);
-         return 0;
-       }
+      if ((mov_insn) && (!(arch & cpu9s12x)))
+       {
+         (*info->fprintf_func) (info->stream, "<invalid op: 0x%x>",
+                                buffer[0] & 0x0ff);
+         return 0;
+       }
       reg = (buffer[0] >> 3) & 0x03;
       status = read_memory (memaddr + pos, &buffer[0], 2, info);
       if (status != 0)
@@ -138,17 +156,22 @@ print_indexed_operand (memaddr, info, mov_insn)
 
       pos += 2;
       sval = ((buffer[0] << 8) | (buffer[1] & 0x0FF));
-      (*info->fprintf_func) (info->stream, "[%u,%s]",
+      (*info->fprintf_func) (info->stream, "[0x%x,%s]",
                             sval & 0x0ffff, reg_name[reg]);
+      if (indirect)
+        *indirect = 1;
     }
+
+  /* n,r with 9 and 16 bit signed constant.  */
   else if ((buffer[0] & 0x4) == 0)
     {
-      if (mov_insn)
-       {
-         (*info->fprintf_func) (info->stream, "<invalid op: 0x%x>",
-                                buffer[0] & 0x0ff);
-         return 0;
-       }
+      if ((mov_insn) && (!(arch & cpu9s12x)))
+       {
+         (*info->fprintf_func) (info->stream, "<invalid op: 0x%x>",
+                                buffer[0] & 0x0ff);
+         return 0;
+       }
+
       reg = (buffer[0] >> 3) & 0x03;
       status = read_memory (memaddr + pos,
                            &buffer[1], (buffer[0] & 0x2 ? 2 : 1), info);
@@ -161,6 +184,7 @@ print_indexed_operand (memaddr, info, mov_insn)
          sval = ((buffer[1] << 8) | (buffer[2] & 0x0FF));
          sval &= 0x0FFFF;
          pos += 2;
+          endaddr += 2;
        }
       else
        {
@@ -168,9 +192,16 @@ print_indexed_operand (memaddr, info, mov_insn)
          if (buffer[0] & 0x01)
            sval |= 0xff00;
          pos++;
+          endaddr++;
        }
-      (*info->fprintf_func) (info->stream, "%d,%s",
-                            (int) sval, reg_name[reg]);
+      (*info->fprintf_func) (info->stream, "0x%x,%s",
+                            (unsigned short) sval, reg_name[reg]);
+      if (reg == PC_REGNUM)
+        {
+          (* info->fprintf_func) (info->stream, " {0x");
+          (* info->print_address_func) (endaddr + sval, info);
+          (* info->fprintf_func) (info->stream, "}");
+        }
     }
   else
     {
@@ -189,6 +220,8 @@ print_indexed_operand (memaddr, info, mov_insn)
        case 3:
        default:
          (*info->fprintf_func) (info->stream, "[D,%s]", reg_name[reg]);
+          if (indirect)
+            *indirect = 1;
          break;
        }
     }
@@ -199,25 +232,118 @@ print_indexed_operand (memaddr, info, mov_insn)
 /* Disassemble one instruction at address 'memaddr'.  Returns the number
    of bytes used by that instruction.  */
 static int
-print_insn (memaddr, info, arch)
-     bfd_vma memaddr;
-     struct disassemble_info *info;
-     int arch;
+print_insn (bfd_vma memaddr, struct disassemble_info* info, int arch)
 {
   int status;
   bfd_byte buffer[4];
-  unsigned char code;
+  unsigned int code;
   long format, pos, i;
   short sval;
   const struct m68hc11_opcode *opcode;
 
+  if (arch & cpuxgate)
+    {
+      int val;
+      /* Get two bytes as all XGATE instructions are 16bit.  */
+      status = read_memory (memaddr, buffer, 2, info);
+      if (status != 0)
+       return status;
+
+      format = 0;
+      code = (buffer[0] << 8) + buffer[1];
+
+      /* Scan the opcode table until we find the opcode
+        with the corresponding page.  */
+      opcode = m68hc11_opcodes;
+      for (i = 0; i < m68hc11_num_opcodes; i++, opcode++)
+       {
+         if ((opcode->opcode != (code & opcode->xg_mask)) || (opcode->arch != cpuxgate))
+           continue;
+         /* We have found the opcode.  Extract the operand and print it.  */
+         (*info->fprintf_func) (info->stream, "%s", opcode->name);
+         format = opcode->format;
+         if (format & (M68XG_OP_NONE))
+           {
+             /* Nothing to print.  */
+           }
+         else if (format & M68XG_OP_IMM3)
+           (*info->fprintf_func) (info->stream, " #0x%x", (code >> 8) & 0x7);
+         else if (format & M68XG_OP_R_R)
+           (*info->fprintf_func) (info->stream, " R%x, R%x",
+                                  (code >> 8) & 0x7, (code >> 5) & 0x7);
+         else if (format & M68XG_OP_R_R_R)
+           (*info->fprintf_func) (info->stream, " R%x, R%x, R%x",
+                                  (code >> 8) & 0x7, (code >> 5) & 0x7, (code >> 2) & 0x7);
+         else if (format & M68XG_OP_RD_RB_RI)
+           (*info->fprintf_func) (info->stream, " R%x, (R%x, R%x)",
+                                  (code >> 8) & 0x7, (code >> 5) & 0x7, (code >> 2) & 0x7);
+         else if (format & M68XG_OP_RD_RB_RIp)
+           (*info->fprintf_func) (info->stream, " R%x, (R%x, R%x+)",
+                                  (code >> 8) & 0x7, (code >> 5) & 0x7, (code >> 2) & 0x7);
+         else if (format & M68XG_OP_RD_RB_mRI)
+           (*info->fprintf_func) (info->stream, " R%x, (R%x, -R%x)",
+                                  (code >> 8) & 0x7, (code >> 5) & 0x7, (code >> 2) & 0x7);
+         else if (format & M68XG_OP_R_R_OFFS5)
+           (*info->fprintf_func) (info->stream, " R%x, (R%x, #0x%x)",
+                                  (code >> 8) & 0x7, (code >> 5) & 0x7, code & 0x1f);
+         else if (format & M68XG_OP_R_IMM8)
+           (*info->fprintf_func) (info->stream, " R%x, #0x%02x",
+                                  (code >> 8) & 0x7, code & 0xff);
+         else if (format & M68XG_OP_R_IMM4)
+           (*info->fprintf_func) (info->stream, " R%x, #0x%x",
+                                  (code >> 8) & 0x7, (code & 0xf0) >> 4);
+         else if (format & M68XG_OP_REL9)
+           {
+             (*info->fprintf_func) (info->stream, " 0x");
+             val = (buffer[0] & 0x1) ? buffer[1] | 0xFFFFFF00 : buffer[1];
+             (*info->print_address_func) (memaddr + (val << 1) + 2, info);
+           }
+         else if (format & M68XG_OP_REL10)
+           {
+             (*info->fprintf_func) (info->stream, " 0x");
+             val = (buffer[0] << 8) | (unsigned int) buffer[1];
+             if (val & 0x200)
+               val |= 0xfffffc00;
+             else
+               val &= 0x000001ff;
+             (*info->print_address_func) (memaddr + (val << 1) + 2, info);
+           }
+         else if ((code & 0x00ff) == 0x00f8)
+           (*info->fprintf_func) (info->stream, " R%x, CCR", (code >> 8) & 0x7);
+         else if ((code & 0x00ff) == 0x00f9)
+           (*info->fprintf_func) (info->stream, " CCR, R%x", (code >> 8) & 0x7);
+         else if ((code & 0x00ff) == 0x0)
+           (*info->fprintf_func) (info->stream, " R%x, PC", (code >> 8) & 0x7);
+         else if (format & M68XG_OP_R)
+           {
+             /* Special cases for TFR.  */
+             if ((code & 0xf8ff) == 0x00f8)
+               (*info->fprintf_func) (info->stream, " R%x, CCR", (code >> 8) & 0x7);
+             else if ((code & 0xf8ff) == 0x00f9)
+               (*info->fprintf_func) (info->stream, " CCR, R%x", (code >> 8) & 0x7);
+             else if ((code & 0xf8ff) == 0x00fa)
+               (*info->fprintf_func) (info->stream, " R%x, PC",  (code >> 8) & 0x7);
+             else
+               (*info->fprintf_func) (info->stream, " R%x", (code >> 8) & 0x7);
+           }
+         else
+           /* Opcode not recognized.  */
+           (*info->fprintf_func) (info->stream, "Not yet handled TEST .byte\t0x%04x", code);
+         return 2;
+       }
+
+      /* Opcode not recognized.  */
+      (*info->fprintf_func) (info->stream, ".byte\t0x%04x", code);
+      return 2; /* Everything is two bytes.  */
+    }
+
+  /* HC11 and HC12.  */
+
   /* Get first byte.  Only one at a time because we don't know the
      size of the insn.  */
   status = read_memory (memaddr, buffer, 1, info);
   if (status != 0)
-    {
-      return status;
-    }
+    return status;
 
   format = 0;
   code = buffer[0];
@@ -245,13 +371,11 @@ print_insn (memaddr, info, arch)
     {
       status = read_memory (memaddr + pos, &buffer[1], 1, info);
       if (status != 0)
-       {
-         return status;
-       }
+       return status;
+
       code = buffer[1];
     }
 
-
   /* Look first for a 68HC12 alias.  All of them are 2-bytes long and
      in page 1.  There is no operand to print.  We read the second byte
      only when we have a possible match.  */
@@ -291,6 +415,8 @@ print_insn (memaddr, info, arch)
   for (i = 0; i < m68hc11_num_opcodes; i++, opcode++)
     {
       int offset;
+      int pc_src_offset;
+      int pc_dst_offset = 0;
 
       if ((opcode->arch & arch) == 0)
        continue;
@@ -348,6 +474,10 @@ print_insn (memaddr, info, arch)
                  && (((buffer[0] & 0x07) >= 3 && (buffer[0] & 7) <= 7))
                  && ((buffer[0] & 0x0f0) <= 0x20))
                break;
+             if ((opcode[j].format & M6812_OP_SEX_MARKER)
+                 && (arch & cpu9s12x)
+                 && ((buffer[0] == 0x4d) || (buffer[0] == 0x4e)))
+               break;
              if (opcode[j].format & M6812_OP_TFR_MARKER
                  && !(buffer[0] & 0x80))
                break;
@@ -366,62 +496,138 @@ print_insn (memaddr, info, arch)
          (*info->fprintf_func) (info->stream, "\t");
        }
 
-      /* The movb and movw must be handled in a special way...  */
-      offset = 0;
-      if (format & (M6812_OP_IDX_P2 | M6812_OP_IND16_P2))
+      /* The movb and movw must be handled in a special way...
+        The source constant 'ii' is not always at the same place.
+        This is the same for the destination for the post-indexed byte.
+        The 'offset' is used to do the appropriate correction.
+
+        offset          offset
+        for constant     for destination
+        movb   18 OB ii hh ll       0          0
+        18 08 xb ii          1          -1
+        18 08 xb ff ii       2          1  9 bit
+        18 08 xb ee ff ii    3          1  16 bit
+        18 0C hh ll hh ll    0          0
+        18 09 xb hh ll       1          -1
+        18 0D xb hh ll       0          0
+        18 0A xb xb          0          0
+
+        movw   18 03 jj kk hh ll    0          0
+        18 00 xb jj kk       1          -1
+        18 04 hh ll hh ll    0          0
+        18 01 xb hh ll       1          -1
+        18 05 xb hh ll       0          0
+        18 02 xb xb          0          0
+
+        After the source operand is read, the position 'pos' is incremented
+        this explains the negative offset for destination.
+
+        movb/movw above are the only instructions with this matching
+        format.  */
+      offset = ((format & M6812_OP_IDX_P2)
+               && (format & (M6811_OP_IMM8 | M6811_OP_IMM16 |
+                             M6811_OP_IND16)));
+
+      if (offset)
        {
-         if ((format & M6812_OP_IDX_P2)
-             && (format & (M6811_OP_IMM8 | M6811_OP_IMM16 | M6811_OP_IND16)))
-           offset = 1;
+         /* Check xb to see position of data.  */
+         status = read_memory (memaddr + pos, &buffer[0], 1, info);
+         if (status != 0)
+           {
+             return status;
+           }
+
+         if (((buffer[0] & 0xe0) == 0xe0) && ((buffer[0] & 0x04) == 0))
+           {
+             /* 9 or 16 bit.  */
+             if ((buffer[0] & 0x02) == 0)
+               {
+                 /* 9 bit.  */
+                 offset = 2;
+               }
+             else
+               {
+                 /* 16 bit.  */
+                 offset = 3;
+               }
+           }
        }
 
       /* Operand with one more byte: - immediate, offset,
-         direct-low address.  */
+        direct-low address.  */
       if (format &
          (M6811_OP_IMM8 | M6811_OP_IX | M6811_OP_IY | M6811_OP_DIRECT))
        {
          status = read_memory (memaddr + pos + offset, &buffer[0], 1, info);
          if (status != 0)
+           return status;
+
+         /* This movb/movw is special (see above).  */
+         if (offset < 2)
            {
-             return status;
+             offset = -offset;
+             pc_dst_offset = 2;
+           }
+         else
+           {
+             offset = -1;
+             pc_dst_offset = 5;
            }
-
          pos++;
-         offset = -1;
+
          if (format & M6811_OP_IMM8)
            {
-             (*info->fprintf_func) (info->stream, "#%d", (int) buffer[0]);
+             (*info->fprintf_func) (info->stream, "#0x%x", (int) buffer[0]);
              format &= ~M6811_OP_IMM8;
+             /* Set PC destination offset.  */
+             pc_dst_offset = 1;
            }
          else if (format & M6811_OP_IX)
            {
              /* Offsets are in range 0..255, print them unsigned.  */
-             (*info->fprintf_func) (info->stream, "%u,x", buffer[0] & 0x0FF);
+             (*info->fprintf_func) (info->stream, "0x%x,x", buffer[0] & 0x0FF);
              format &= ~M6811_OP_IX;
            }
          else if (format & M6811_OP_IY)
            {
-             (*info->fprintf_func) (info->stream, "%u,y", buffer[0] & 0x0FF);
+             (*info->fprintf_func) (info->stream, "0x%x,y", buffer[0] & 0x0FF);
              format &= ~M6811_OP_IY;
            }
          else if (format & M6811_OP_DIRECT)
            {
              (*info->fprintf_func) (info->stream, "*");
+             if (info->symtab_size > 0) /* Avoid duplicate 0x. */
+               (*info->fprintf_func) (info->stream, "0x");
              (*info->print_address_func) (buffer[0] & 0x0FF, info);
              format &= ~M6811_OP_DIRECT;
            }
        }
 
+#define M6812_DST_MOVE  (M6812_OP_IND16_P2 | M6812_OP_IDX_P2)
 #define M6812_INDEXED_FLAGS (M6812_OP_IDX|M6812_OP_IDX_1|M6812_OP_IDX_2)
       /* Analyze the 68HC12 indexed byte.  */
       if (format & M6812_INDEXED_FLAGS)
        {
-         status = print_indexed_operand (memaddr + pos, info, 0);
+         int indirect;
+         bfd_vma endaddr;
+
+         endaddr = memaddr + pos + 1;
+         if (format & M6811_OP_IND16)
+           endaddr += 2;
+         pc_src_offset = -1;
+         pc_dst_offset = 1;
+         status = print_indexed_operand (memaddr + pos, info, &indirect,
+                                         (format & M6812_DST_MOVE),
+                                         pc_src_offset, endaddr, arch);
          if (status < 0)
-           {
-             return status;
-           }
+           return status;
+
          pos += status;
+
+         /* The indirect addressing mode of the call instruction does
+            not need the page code.  */
+         if ((format & M6812_OP_PAGE) && indirect)
+           format &= ~M6812_OP_PAGE;
        }
 
       /* 68HC12 dbcc/ibcc/tbcc operands.  */
@@ -429,9 +635,8 @@ print_insn (memaddr, info, arch)
        {
          status = read_memory (memaddr + pos, &buffer[0], 2, info);
          if (status != 0)
-           {
-             return status;
-           }
+           return status;
+
          (*info->fprintf_func) (info->stream, "%s,",
                                 reg_src_table[buffer[0] & 0x07]);
          sval = buffer[1] & 0x0ff;
@@ -439,6 +644,7 @@ print_insn (memaddr, info, arch)
            sval |= 0xff00;
 
          pos += 2;
+         (*info->fprintf_func) (info->stream, "0x");
          (*info->print_address_func) (memaddr + pos + sval, info);
          format &= ~(M6812_OP_REG | M6811_OP_JUMP_REL);
        }
@@ -446,9 +652,7 @@ print_insn (memaddr, info, arch)
        {
          status = read_memory (memaddr + pos, &buffer[0], 1, info);
          if (status != 0)
-           {
-             return status;
-           }
+           return status;
 
          pos++;
          (*info->fprintf_func) (info->stream, "%s,%s",
@@ -456,64 +660,16 @@ print_insn (memaddr, info, arch)
                                 reg_dst_table[(buffer[0] & 7)]);
        }
 
-      /* M6811_OP_BITMASK and M6811_OP_JUMP_REL must be treated separately
-         and in that order.  The brset/brclr insn have a bitmask and then
-         a relative branch offset.  */
-      if (format & M6811_OP_BITMASK)
-       {
-         status = read_memory (memaddr + pos, &buffer[0], 1, info);
-         if (status != 0)
-           {
-             return status;
-           }
-         pos++;
-         (*info->fprintf_func) (info->stream, " #$%02x%s",
-                                buffer[0] & 0x0FF,
-                                (format & M6811_OP_JUMP_REL ? " " : ""));
-         format &= ~M6811_OP_BITMASK;
-       }
-      if (format & M6811_OP_JUMP_REL)
-       {
-         int val;
-
-         status = read_memory (memaddr + pos, &buffer[0], 1, info);
-         if (status != 0)
-           {
-             return status;
-           }
-
-         pos++;
-         val = (buffer[0] & 0x80) ? buffer[0] | 0xFFFFFF00 : buffer[0];
-         (*info->print_address_func) (memaddr + pos + val, info);
-         format &= ~M6811_OP_JUMP_REL;
-       }
-      else if (format & M6812_OP_JUMP_REL16)
-       {
-         int val;
-
-         status = read_memory (memaddr + pos, &buffer[0], 2, info);
-         if (status != 0)
-           {
-             return status;
-           }
-
-         pos += 2;
-         val = ((buffer[0] << 8) | (buffer[1] & 0x0FF));
-         if (val & 0x8000)
-           val |= 0xffff0000;
-
-         (*info->print_address_func) (memaddr + pos + val, info);
-         format &= ~M6812_OP_JUMP_REL16;
-       }
       if (format & (M6811_OP_IMM16 | M6811_OP_IND16))
        {
          int val;
+         bfd_vma addr;
+         unsigned page = 0;
 
          status = read_memory (memaddr + pos + offset, &buffer[0], 2, info);
          if (status != 0)
-           {
-             return status;
-           }
+           return status;
+
          if (format & M6812_OP_IDX_P2)
            offset = -2;
          else
@@ -522,21 +678,71 @@ print_insn (memaddr, info, arch)
 
          val = ((buffer[0] << 8) | (buffer[1] & 0x0FF));
          val &= 0x0FFFF;
+         addr = val;
+         pc_dst_offset = 2;
+         if (format & M6812_OP_PAGE)
+           {
+             status = read_memory (memaddr + pos + offset, buffer, 1, info);
+             if (status != 0)
+               return status;
+
+             page = (unsigned) buffer[0];
+             if (addr >= M68HC12_BANK_BASE && addr < 0x0c000)
+               addr = ((val - M68HC12_BANK_BASE)
+                       | (page << M68HC12_BANK_SHIFT))
+                 + M68HC12_BANK_VIRT;
+           }
+         else if ((arch & cpu6812)
+                  && addr >= M68HC12_BANK_BASE && addr < 0x0c000)
+           {
+             int cur_page;
+             bfd_vma vaddr;
+
+             if (memaddr >= M68HC12_BANK_VIRT)
+               cur_page = ((memaddr - M68HC12_BANK_VIRT)
+                           >> M68HC12_BANK_SHIFT);
+             else
+               cur_page = 0;
+
+             vaddr = ((addr - M68HC12_BANK_BASE)
+                      + (cur_page << M68HC12_BANK_SHIFT))
+               + M68HC12_BANK_VIRT;
+             if (!info->symbol_at_address_func (addr, info)
+                 && info->symbol_at_address_func (vaddr, info))
+               addr = vaddr;
+           }
          if (format & M6811_OP_IMM16)
            {
              format &= ~M6811_OP_IMM16;
              (*info->fprintf_func) (info->stream, "#");
            }
          else
-           format &= ~M6811_OP_IND16;
+           {
+             format &= ~M6811_OP_IND16;
+           }
 
-         (*info->print_address_func) (val, info);
+         if (info->symtab_size > 0) /* Avoid duplicate 0x from core binutils. */
+           (*info->fprintf_func) (info->stream, "0x");
+
+         (*info->print_address_func) (addr, info);
+         if (format & M6812_OP_PAGE)
+           {
+             (* info->fprintf_func) (info->stream, " {");
+             if (info->symtab_size > 0) /* Avoid duplicate 0x from core binutils. */
+               (*info->fprintf_func) (info->stream, "0x");
+             (* info->print_address_func) (val, info);
+             (* info->fprintf_func) (info->stream, ", 0x%x}", page);
+             format &= ~M6812_OP_PAGE;
+             pos += 1;
+           }
        }
 
       if (format & M6812_OP_IDX_P2)
        {
          (*info->fprintf_func) (info->stream, ", ");
-         status = print_indexed_operand (memaddr + pos + offset, info, 1);
+         status = print_indexed_operand (memaddr + pos + offset, info,
+                                         0, 1, pc_dst_offset,
+                                         memaddr + pos + offset + 1, arch);
          if (status < 0)
            return status;
          pos += status;
@@ -550,37 +756,96 @@ print_insn (memaddr, info, arch)
 
          status = read_memory (memaddr + pos + offset, &buffer[0], 2, info);
          if (status != 0)
-           {
-             return status;
-           }
+           return status;
+
          pos += 2;
 
          val = ((buffer[0] << 8) | (buffer[1] & 0x0FF));
          val &= 0x0FFFF;
+         if (info->symtab_size > 0) /* Avoid duplicate 0x from core binutils. */
+           (*info->fprintf_func) (info->stream, "0x");
          (*info->print_address_func) (val, info);
        }
 
-#ifdef DEBUG
-      /* Consistency check.  'format' must be 0, so that we have handled
-         all formats; and the computed size of the insn must match the
-         opcode table content.  */
-      if (format & ~(M6811_OP_PAGE4 | M6811_OP_PAGE3 | M6811_OP_PAGE2))
+      /* M6811_OP_BITMASK and M6811_OP_JUMP_REL must be treated separately
+        and in that order.  The brset/brclr insn have a bitmask and then
+        a relative branch offset.  */
+      if (format & M6811_OP_BITMASK)
        {
-         (*info->fprintf_func) (info->stream, "; Error, format: %x", format);
+         status = read_memory (memaddr + pos, &buffer[0], 1, info);
+         if (status != 0)
+           return status;
+
+         pos++;
+         (*info->fprintf_func) (info->stream, ", #0x%02x%s",
+                                buffer[0] & 0x0FF,
+                                (format & M6811_OP_JUMP_REL ? ", " : ""));
+         format &= ~M6811_OP_BITMASK;
        }
-      if (pos != opcode->size)
+      if (format & M6811_OP_JUMP_REL)
        {
-         (*info->fprintf_func) (info->stream, "; Error, size: %d expect %d",
-                                pos, opcode->size);
+         int val;
+
+         status = read_memory (memaddr + pos, &buffer[0], 1, info);
+         if (status != 0)
+           return status;
+
+         (*info->fprintf_func) (info->stream, "0x");
+         pos++;
+         val = (buffer[0] & 0x80) ? buffer[0] | 0xFFFFFF00 : buffer[0];
+         (*info->print_address_func) (memaddr + pos + val, info);
+         format &= ~M6811_OP_JUMP_REL;
        }
+      else if (format & M6812_OP_JUMP_REL16)
+       {
+         int val;
+
+         status = read_memory (memaddr + pos, &buffer[0], 2, info);
+         if (status != 0)
+           return status;
+
+         pos += 2;
+         val = ((buffer[0] << 8) | (buffer[1] & 0x0FF));
+         if (val & 0x8000)
+           val |= 0xffff0000;
+
+         (*info->fprintf_func) (info->stream, "0x");
+         (*info->print_address_func) (memaddr + pos + val, info);
+         format &= ~M6812_OP_JUMP_REL16;
+       }
+
+      if (format & M6812_OP_PAGE)
+       {
+         int val;
+
+         status = read_memory (memaddr + pos + offset, &buffer[0], 1, info);
+         if (status != 0)
+           return status;
+
+         pos += 1;
+
+         val = buffer[0] & 0x0ff;
+         (*info->fprintf_func) (info->stream, ", 0x%x", val);
+       }
+
+#ifdef DEBUG
+      /* Consistency check.  'format' must be 0, so that we have handled
+        all formats; and the computed size of the insn must match the
+        opcode table content.  */
+      if (format & ~(M6811_OP_PAGE4 | M6811_OP_PAGE3 | M6811_OP_PAGE2))
+       (*info->fprintf_func) (info->stream, "; Error, format: %lx", format);
+
+      if (pos != opcode->size)
+       (*info->fprintf_func) (info->stream, "; Error, size: %ld expect %d",
+                              pos, opcode->size);
 #endif
       return pos;
     }
 
   /* Opcode not recognized.  */
   if (format == M6811_OP_PAGE2 && arch & cpu6812
-      && ((code >= 0x30 && code <= 0x39) || (code >= 0x40 && code <= 0xff)))
-    (*info->fprintf_func) (info->stream, "trap\t#%d", code & 0x0ff);
+      && ((code >= 0x30 && code <= 0x39) || (code >= 0x40)))
+    (*info->fprintf_func) (info->stream, "trap\t#0x%02x", code & 0x0ff);
 
   else if (format == M6811_OP_PAGE2)
     (*info->fprintf_func) (info->stream, ".byte\t0x%02x, 0x%02x",
@@ -600,17 +865,25 @@ print_insn (memaddr, info, arch)
 /* Disassemble one instruction at address 'memaddr'.  Returns the number
    of bytes used by that instruction.  */
 int
-print_insn_m68hc11 (memaddr, info)
-     bfd_vma memaddr;
-     struct disassemble_info *info;
+print_insn_m68hc11 (bfd_vma memaddr, struct disassemble_info* info)
 {
   return print_insn (memaddr, info, cpu6811);
 }
 
 int
-print_insn_m68hc12 (memaddr, info)
-     bfd_vma memaddr;
-     struct disassemble_info *info;
+print_insn_m68hc12 (bfd_vma memaddr, struct disassemble_info* info)
 {
   return print_insn (memaddr, info, cpu6812);
 }
+
+int
+print_insn_m9s12x (bfd_vma memaddr, struct disassemble_info* info)
+{
+  return print_insn (memaddr, info, cpu6812|cpu9s12x);
+}
+
+int
+print_insn_m9s12xg (bfd_vma memaddr, struct disassemble_info* info)
+{
+  return print_insn (memaddr, info, cpuxgate);
+}