LXR qemu/disas/moxie.c

   1/* Disassemble moxie instructions.
   2   Copyright (c) 2009  Free Software Foundation, Inc.
   3
   4   This program is free software; you can redistribute it and/or modify
   5   it under the terms of the GNU General Public License as published by
   6   the Free Software Foundation; either version 2 of the License, or
   7   (at your option) any later version.
   8
   9   This program is distributed in the hope that it will be useful,
  10   but WITHOUT ANY WARRANTY; without even the implied warranty of
  11   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12   GNU General Public License for more details.
  13
  14   You should have received a copy of the GNU General Public License
  15   along with this program; if not, see <http://www.gnu.org/licenses/>. */
  16
  17#include "qemu/osdep.h"
  18#define STATIC_TABLE
  19#define DEFINE_TABLE
  20
  21#include "disas/dis-asm.h"
  22
  23static void *stream;
  24
  25/* Form 1 instructions come in different flavors:
  26
  27   Some have no arguments                          (MOXIE_F1_NARG)
  28   Some only use the A operand                     (MOXIE_F1_A)
  29   Some use A and B registers                      (MOXIE_F1_AB)
  30   Some use A and consume a 4 byte immediate value (MOXIE_F1_A4)
  31   Some use just a 4 byte immediate value          (MOXIE_F1_4)
  32   Some use just a 4 byte memory address           (MOXIE_F1_M)
  33   Some use B and an indirect A                    (MOXIE_F1_AiB)
  34   Some use A and an indirect B                    (MOXIE_F1_ABi)
  35   Some consume a 4 byte immediate value and use X (MOXIE_F1_4A)
  36   Some use B and an indirect A plus 4 bytes       (MOXIE_F1_AiB4)
  37   Some use A and an indirect B plus 4 bytes       (MOXIE_F1_ABi4)
  38
  39   Form 2 instructions also come in different flavors:
  40
  41   Some have no arguments                          (MOXIE_F2_NARG)
  42   Some use the A register and an 8-bit value      (MOXIE_F2_A8V)
  43
  44   Form 3 instructions also come in different flavors:
  45
  46   Some have no arguments                          (MOXIE_F3_NARG)
  47   Some have a 10-bit PC relative operand          (MOXIE_F3_PCREL).  */
  48
  49#define MOXIE_F1_NARG 0x100
  50#define MOXIE_F1_A    0x101
  51#define MOXIE_F1_AB   0x102
  52/* #define MOXIE_F1_ABC  0x103 */
  53#define MOXIE_F1_A4   0x104
  54#define MOXIE_F1_4    0x105
  55#define MOXIE_F1_AiB  0x106
  56#define MOXIE_F1_ABi  0x107
  57#define MOXIE_F1_4A   0x108
  58#define MOXIE_F1_AiB4 0x109
  59#define MOXIE_F1_ABi4 0x10a
  60#define MOXIE_F1_M    0x10b
  61
  62#define MOXIE_F2_NARG 0x200
  63#define MOXIE_F2_A8V  0x201
  64
  65#define MOXIE_F3_NARG  0x300
  66#define MOXIE_F3_PCREL 0x301
  67
  68typedef struct moxie_opc_info_t {
  69    short         opcode;
  70    unsigned      itype;
  71    const char *  name;
  72} moxie_opc_info_t;
  73
  74extern const moxie_opc_info_t moxie_form1_opc_info[64];
  75extern const moxie_opc_info_t moxie_form2_opc_info[4];
  76extern const moxie_opc_info_t moxie_form3_opc_info[16];
  77
  78/* The moxie processor's 16-bit instructions come in two forms:
  79
  80   FORM 1 instructions start with a 0 bit...
  81
  82   0oooooooaaaabbbb
  83   0              F
  84
  85   ooooooo - form 1 opcode number
  86   aaaa    - operand A
  87   bbbb    - operand B
  88
  89   FORM 2 instructions start with bits "10"...
  90
  91   10ooaaaavvvvvvvv
  92   0              F
  93
  94   oo       - form 2 opcode number
  95   aaaa     - operand A
  96   vvvvvvvv - 8-bit immediate value
  97
  98   FORM 3 instructions start with a bits "11"...
  99
 100   11oooovvvvvvvvvv
 101   0              F
 102
 103   oooo         - form 3 opcode number
 104   vvvvvvvvvv   - 10-bit immediate value.  */
 105
 106const moxie_opc_info_t moxie_form1_opc_info[64] =
 107    {
 108        { 0x00, MOXIE_F1_NARG, "nop" },
 109        { 0x01, MOXIE_F1_A4,   "ldi.l" },
 110        { 0x02, MOXIE_F1_AB,   "mov" },
 111        { 0x03, MOXIE_F1_M,    "jsra" },
 112        { 0x04, MOXIE_F1_NARG, "ret" },
 113        { 0x05, MOXIE_F1_AB,   "add.l" },
 114        { 0x06, MOXIE_F1_AB,   "push" },
 115        { 0x07, MOXIE_F1_AB,   "pop" },
 116        { 0x08, MOXIE_F1_A4,   "lda.l" },
 117        { 0x09, MOXIE_F1_4A,   "sta.l" },
 118        { 0x0a, MOXIE_F1_ABi,  "ld.l" },
 119        { 0x0b, MOXIE_F1_AiB,  "st.l" },
 120        { 0x0c, MOXIE_F1_ABi4, "ldo.l" },
 121        { 0x0d, MOXIE_F1_AiB4, "sto.l" },
 122        { 0x0e, MOXIE_F1_AB,   "cmp" },
 123        { 0x0f, MOXIE_F1_NARG, "bad" },
 124        { 0x10, MOXIE_F1_NARG, "bad" },
 125        { 0x11, MOXIE_F1_NARG, "bad" },
 126        { 0x12, MOXIE_F1_NARG, "bad" },
 127        { 0x13, MOXIE_F1_NARG, "bad" },
 128        { 0x14, MOXIE_F1_NARG, "bad" },
 129        { 0x15, MOXIE_F1_NARG, "bad" },
 130        { 0x16, MOXIE_F1_NARG, "bad" },
 131        { 0x17, MOXIE_F1_NARG, "bad" },
 132        { 0x18, MOXIE_F1_NARG, "bad" },
 133        { 0x19, MOXIE_F1_A,    "jsr" },
 134        { 0x1a, MOXIE_F1_M,    "jmpa" },
 135        { 0x1b, MOXIE_F1_A4,   "ldi.b" },
 136        { 0x1c, MOXIE_F1_ABi,  "ld.b" },
 137        { 0x1d, MOXIE_F1_A4,   "lda.b" },
 138        { 0x1e, MOXIE_F1_AiB,  "st.b" },
 139        { 0x1f, MOXIE_F1_4A,   "sta.b" },
 140        { 0x20, MOXIE_F1_A4,   "ldi.s" },
 141        { 0x21, MOXIE_F1_ABi,  "ld.s" },
 142        { 0x22, MOXIE_F1_A4,   "lda.s" },
 143        { 0x23, MOXIE_F1_AiB,  "st.s" },
 144        { 0x24, MOXIE_F1_4A,   "sta.s" },
 145        { 0x25, MOXIE_F1_A,    "jmp" },
 146        { 0x26, MOXIE_F1_AB,   "and" },
 147        { 0x27, MOXIE_F1_AB,   "lshr" },
 148        { 0x28, MOXIE_F1_AB,   "ashl" },
 149        { 0x29, MOXIE_F1_AB,   "sub.l" },
 150        { 0x2a, MOXIE_F1_AB,   "neg" },
 151        { 0x2b, MOXIE_F1_AB,   "or" },
 152        { 0x2c, MOXIE_F1_AB,   "not" },
 153        { 0x2d, MOXIE_F1_AB,   "ashr" },
 154        { 0x2e, MOXIE_F1_AB,   "xor" },
 155        { 0x2f, MOXIE_F1_AB,   "mul.l" },
 156        { 0x30, MOXIE_F1_4,    "swi" },
 157        { 0x31, MOXIE_F1_AB,   "div.l" },
 158        { 0x32, MOXIE_F1_AB,   "udiv.l" },
 159        { 0x33, MOXIE_F1_AB,   "mod.l" },
 160        { 0x34, MOXIE_F1_AB,   "umod.l" },
 161        { 0x35, MOXIE_F1_NARG, "brk" },
 162        { 0x36, MOXIE_F1_ABi4, "ldo.b" },
 163        { 0x37, MOXIE_F1_AiB4, "sto.b" },
 164        { 0x38, MOXIE_F1_ABi4, "ldo.s" },
 165        { 0x39, MOXIE_F1_AiB4, "sto.s" },
 166        { 0x3a, MOXIE_F1_NARG, "bad" },
 167        { 0x3b, MOXIE_F1_NARG, "bad" },
 168        { 0x3c, MOXIE_F1_NARG, "bad" },
 169        { 0x3d, MOXIE_F1_NARG, "bad" },
 170        { 0x3e, MOXIE_F1_NARG, "bad" },
 171        { 0x3f, MOXIE_F1_NARG, "bad" }
 172    };
 173
 174const moxie_opc_info_t moxie_form2_opc_info[4] =
 175    {
 176        { 0x00, MOXIE_F2_A8V,  "inc" },
 177        { 0x01, MOXIE_F2_A8V,  "dec" },
 178        { 0x02, MOXIE_F2_A8V,  "gsr" },
 179        { 0x03, MOXIE_F2_A8V,  "ssr" }
 180    };
 181
 182const moxie_opc_info_t moxie_form3_opc_info[16] =
 183    {
 184        { 0x00, MOXIE_F3_PCREL,"beq" },
 185        { 0x01, MOXIE_F3_PCREL,"bne" },
 186        { 0x02, MOXIE_F3_PCREL,"blt" },
 187        { 0x03, MOXIE_F3_PCREL,"bgt" },
 188        { 0x04, MOXIE_F3_PCREL,"bltu" },
 189        { 0x05, MOXIE_F3_PCREL,"bgtu" },
 190        { 0x06, MOXIE_F3_PCREL,"bge" },
 191        { 0x07, MOXIE_F3_PCREL,"ble" },
 192        { 0x08, MOXIE_F3_PCREL,"bgeu" },
 193        { 0x09, MOXIE_F3_PCREL,"bleu" },
 194        { 0x0a, MOXIE_F3_NARG, "bad" },
 195        { 0x0b, MOXIE_F3_NARG, "bad" },
 196        { 0x0c, MOXIE_F3_NARG, "bad" },
 197        { 0x0d, MOXIE_F3_NARG, "bad" },
 198        { 0x0e, MOXIE_F3_NARG, "bad" },
 199        { 0x0f, MOXIE_F3_NARG, "bad" }
 200    };
 201
 202/* Macros to extract operands from the instruction word.  */
 203#define OP_A(i) ((i >> 4) & 0xf)
 204#define OP_B(i) (i & 0xf)
 205#define INST2OFFSET(o) ((((signed short)((o & ((1<<10)-1))<<6))>>6)<<1)
 206
 207static const char * reg_names[16] =
 208    { "$fp", "$sp", "$r0", "$r1", "$r2", "$r3", "$r4", "$r5",
 209      "$r6", "$r7", "$r8", "$r9", "$r10", "$r11", "$r12", "$r13" };
 210
 211int
 212print_insn_moxie(bfd_vma addr, struct disassemble_info * info)
 213{
 214    int length = 2;
 215    int status;
 216    stream = info->stream;
 217    const moxie_opc_info_t * opcode;
 218    bfd_byte buffer[4];
 219    unsigned short iword;
 220    fprintf_function fpr = info->fprintf_func;
 221
 222    if ((status = info->read_memory_func(addr, buffer, 2, info)))
 223        goto fail;
 224    iword = (bfd_getb16(buffer) >> 16);
 225
 226    /* Form 1 instructions have the high bit set to 0.  */
 227    if ((iword & (1<<15)) == 0) {
 228        /* Extract the Form 1 opcode.  */
 229        opcode = &moxie_form1_opc_info[iword >> 8];
 230        switch (opcode->itype) {
 231        case MOXIE_F1_NARG:
 232            fpr(stream, "%s", opcode->name);
 233            break;
 234        case MOXIE_F1_A:
 235            fpr(stream, "%s\t%s", opcode->name,
 236                reg_names[OP_A(iword)]);
 237            break;
 238        case MOXIE_F1_AB:
 239            fpr(stream, "%s\t%s, %s", opcode->name,
 240                reg_names[OP_A(iword)],
 241                reg_names[OP_B(iword)]);
 242            break;
 243        case MOXIE_F1_A4:
 244            {
 245                unsigned imm;
 246                if ((status = info->read_memory_func(addr + 2, buffer, 4, info)))
 247                    goto fail;
 248                imm = bfd_getb32(buffer);
 249                fpr(stream, "%s\t%s, 0x%x", opcode->name,
 250                    reg_names[OP_A(iword)], imm);
 251                length = 6;
 252            }
 253            break;
 254        case MOXIE_F1_4:
 255            {
 256                unsigned imm;
 257                if ((status = info->read_memory_func(addr + 2, buffer, 4, info)))
 258                    goto fail;
 259                imm = bfd_getb32(buffer);
 260                fpr(stream, "%s\t0x%x", opcode->name, imm);
 261                length = 6;
 262            }
 263            break;
 264        case MOXIE_F1_M:
 265            {
 266                unsigned imm;
 267                if ((status = info->read_memory_func(addr + 2, buffer, 4, info)))
 268                    goto fail;
 269                imm = bfd_getb32(buffer);
 270                fpr(stream, "%s\t", opcode->name);
 271                info->print_address_func((bfd_vma) imm, info);
 272                length = 6;
 273            }
 274            break;
 275        case MOXIE_F1_AiB:
 276            fpr (stream, "%s\t(%s), %s", opcode->name,
 277                 reg_names[OP_A(iword)], reg_names[OP_B(iword)]);
 278            break;
 279        case MOXIE_F1_ABi:
 280            fpr(stream, "%s\t%s, (%s)", opcode->name,
 281                reg_names[OP_A(iword)], reg_names[OP_B(iword)]);
 282            break;
 283        case MOXIE_F1_4A:
 284            {
 285                unsigned imm;
 286                if ((status = info->read_memory_func(addr + 2, buffer, 4, info)))
 287                    goto fail;
 288                imm = bfd_getb32(buffer);
 289                fpr(stream, "%s\t0x%x, %s",
 290                    opcode->name, imm, reg_names[OP_A(iword)]);
 291                length = 6;
 292            }
 293            break;
 294        case MOXIE_F1_AiB4:
 295            {
 296                unsigned imm;
 297                if ((status = info->read_memory_func(addr+2, buffer, 4, info)))
 298                    goto fail;
 299                imm = bfd_getb32(buffer);
 300                fpr(stream, "%s\t0x%x(%s), %s", opcode->name,
 301                    imm,
 302                    reg_names[OP_A(iword)],
 303                    reg_names[OP_B(iword)]);
 304                length = 6;
 305            }
 306            break;
 307        case MOXIE_F1_ABi4:
 308            {
 309                unsigned imm;
 310                if ((status = info->read_memory_func(addr+2, buffer, 4, info)))
 311                    goto fail;
 312                imm = bfd_getb32(buffer);
 313                fpr(stream, "%s\t%s, 0x%x(%s)",
 314                    opcode->name,
 315                    reg_names[OP_A(iword)],
 316                    imm,
 317                    reg_names[OP_B(iword)]);
 318                length = 6;
 319            }
 320            break;
 321        default:
 322            abort();
 323        }
 324    }
 325    else if ((iword & (1<<14)) == 0) {
 326        /* Extract the Form 2 opcode.  */
 327        opcode = &moxie_form2_opc_info[(iword >> 12) & 3];
 328        switch (opcode->itype) {
 329        case MOXIE_F2_A8V:
 330            fpr(stream, "%s\t%s, 0x%x",
 331                opcode->name,
 332                reg_names[(iword >> 8) & 0xf],
 333                iword & ((1 << 8) - 1));
 334            break;
 335        case MOXIE_F2_NARG:
 336            fpr(stream, "%s", opcode->name);
 337            break;
 338        default:
 339            abort();
 340        }
 341    } else {
 342        /* Extract the Form 3 opcode.  */
 343        opcode = &moxie_form3_opc_info[(iword >> 10) & 15];
 344        switch (opcode->itype) {
 345        case MOXIE_F3_PCREL:
 346            fpr(stream, "%s\t", opcode->name);
 347            info->print_address_func((bfd_vma) (addr + INST2OFFSET(iword) + 2),
 348                                     info);
 349            break;
 350        default:
 351            abort();
 352        }
 353    }
 354
 355    return length;
 356
 357 fail:
 358    info->memory_error_func(status, addr, info);
 359    return -1;
 360}
 361