15f210c2aSfgsch /* Disassembler for the i860.
2*cf2f2c56Smiod Copyright 2000, 2003 Free Software Foundation, Inc.
35f210c2aSfgsch
45f210c2aSfgsch Contributed by Jason Eckhardt <jle@cygnus.com>.
55f210c2aSfgsch
65f210c2aSfgsch This program is free software; you can redistribute it and/or modify
75f210c2aSfgsch it under the terms of the GNU General Public License as published by
85f210c2aSfgsch the Free Software Foundation; either version 2 of the License, or
95f210c2aSfgsch (at your option) any later version.
105f210c2aSfgsch
115f210c2aSfgsch This program is distributed in the hope that it will be useful,
125f210c2aSfgsch but WITHOUT ANY WARRANTY; without even the implied warranty of
135f210c2aSfgsch MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
145f210c2aSfgsch GNU General Public License for more details.
155f210c2aSfgsch
165f210c2aSfgsch You should have received a copy of the GNU General Public License
175f210c2aSfgsch along with this program; if not, write to the Free Software
185f210c2aSfgsch Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
195f210c2aSfgsch
205f210c2aSfgsch #include "dis-asm.h"
215f210c2aSfgsch #include "opcode/i860.h"
225f210c2aSfgsch
235f210c2aSfgsch /* Later we should probably choose the prefix based on which OS flavor. */
245f210c2aSfgsch #define I860_REG_PREFIX "%"
255f210c2aSfgsch
265f210c2aSfgsch /* Integer register names (encoded as 0..31 in the instruction). */
275f210c2aSfgsch static const char *const grnames[] =
285f210c2aSfgsch {"r0", "r1", "sp", "fp", "r4", "r5", "r6", "r7",
295f210c2aSfgsch "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15",
305f210c2aSfgsch "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",
315f210c2aSfgsch "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31"};
325f210c2aSfgsch
335f210c2aSfgsch /* FP register names (encoded as 0..31 in the instruction). */
345f210c2aSfgsch static const char *const frnames[] =
355f210c2aSfgsch {"f0", "f1", "f2", "f3", "f4", "f5", "f6", "f7",
365f210c2aSfgsch "f8", "f9", "f10", "f11", "f12", "f13", "f14", "f15",
375f210c2aSfgsch "f16", "f17", "f18", "f19", "f20", "f21", "f22", "f23",
385f210c2aSfgsch "f24", "f25", "f26", "f27", "f28", "f29", "f30", "f31"};
395f210c2aSfgsch
40*cf2f2c56Smiod /* Control/status register names (encoded as 0..11 in the instruction).
41*cf2f2c56Smiod Registers bear, ccr, p0, p1, p2 and p3 are XP only. */
425f210c2aSfgsch static const char *const crnames[] =
43*cf2f2c56Smiod {"fir", "psr", "dirbase", "db", "fsr", "epsr", "bear", "ccr",
44*cf2f2c56Smiod "p0", "p1", "p2", "p3", "--", "--", "--", "--" };
455f210c2aSfgsch
465f210c2aSfgsch
475f210c2aSfgsch
485f210c2aSfgsch /* True if opcode is xor, xorh, and, andh, or, orh, andnot, andnoth. */
495f210c2aSfgsch #define BITWISE_OP(op) ((op) == 0x30 || (op) == 0x31 \
505f210c2aSfgsch || (op) == 0x34 || (op) == 0x35 \
515f210c2aSfgsch || (op) == 0x38 || (op) == 0x39 \
525f210c2aSfgsch || (op) == 0x3c || (op) == 0x3d \
535f210c2aSfgsch || (op) == 0x33 || (op) == 0x37 \
545f210c2aSfgsch || (op) == 0x3b || (op) == 0x3f)
555f210c2aSfgsch
565f210c2aSfgsch
575f210c2aSfgsch /* Sign extend N-bit number. */
585f210c2aSfgsch static int
sign_ext(unsigned int x,int n)59*cf2f2c56Smiod sign_ext (unsigned int x, int n)
605f210c2aSfgsch {
615f210c2aSfgsch int t;
625f210c2aSfgsch t = x >> (n - 1);
635f210c2aSfgsch t = ((-t) << n) | x;
645f210c2aSfgsch return t;
655f210c2aSfgsch }
665f210c2aSfgsch
675f210c2aSfgsch
685f210c2aSfgsch /* Print a PC-relative branch offset. VAL is the sign extended value
695f210c2aSfgsch from the branch instruction. */
705f210c2aSfgsch static void
print_br_address(disassemble_info * info,bfd_vma memaddr,long val)71*cf2f2c56Smiod print_br_address (disassemble_info *info, bfd_vma memaddr, long val)
725f210c2aSfgsch {
735f210c2aSfgsch
745f210c2aSfgsch long adj = (long)memaddr + 4 + (val << 2);
755f210c2aSfgsch
765f210c2aSfgsch (*info->fprintf_func) (info->stream, "0x%08x", adj);
775f210c2aSfgsch
785f210c2aSfgsch /* Attempt to obtain a symbol for the target address. */
795f210c2aSfgsch
805f210c2aSfgsch if (info->print_address_func && adj != 0)
815f210c2aSfgsch {
825f210c2aSfgsch (*info->fprintf_func) (info->stream, "\t// ");
835f210c2aSfgsch (*info->print_address_func) (adj, info);
845f210c2aSfgsch }
855f210c2aSfgsch }
865f210c2aSfgsch
875f210c2aSfgsch
885f210c2aSfgsch /* Print one instruction. */
895f210c2aSfgsch int
print_insn_i860(bfd_vma memaddr,disassemble_info * info)90*cf2f2c56Smiod print_insn_i860 (bfd_vma memaddr, disassemble_info *info)
915f210c2aSfgsch {
925f210c2aSfgsch bfd_byte buff[4];
935f210c2aSfgsch unsigned int insn, i;
945f210c2aSfgsch int status;
955f210c2aSfgsch const struct i860_opcode *opcode = 0;
965f210c2aSfgsch
975f210c2aSfgsch status = (*info->read_memory_func) (memaddr, buff, sizeof (buff), info);
985f210c2aSfgsch if (status != 0)
995f210c2aSfgsch {
1005f210c2aSfgsch (*info->memory_error_func) (status, memaddr, info);
1015f210c2aSfgsch return -1;
1025f210c2aSfgsch }
1035f210c2aSfgsch
1045f210c2aSfgsch /* Note that i860 instructions are always accessed as little endian
1055f210c2aSfgsch data, regardless of the endian mode of the i860. */
1065f210c2aSfgsch insn = bfd_getl32 (buff);
1075f210c2aSfgsch
1085f210c2aSfgsch status = 0;
1095f210c2aSfgsch i = 0;
1105f210c2aSfgsch while (i860_opcodes[i].name != NULL)
1115f210c2aSfgsch {
1125f210c2aSfgsch opcode = &i860_opcodes[i];
1135f210c2aSfgsch if ((insn & opcode->match) == opcode->match
1145f210c2aSfgsch && (insn & opcode->lose) == 0)
1155f210c2aSfgsch {
1165f210c2aSfgsch status = 1;
1175f210c2aSfgsch break;
1185f210c2aSfgsch }
1195f210c2aSfgsch ++i;
1205f210c2aSfgsch }
1215f210c2aSfgsch
1225f210c2aSfgsch if (status == 0)
1235f210c2aSfgsch {
1245f210c2aSfgsch /* Instruction not in opcode table. */
1255f210c2aSfgsch (*info->fprintf_func) (info->stream, ".long %#08x", insn);
1265f210c2aSfgsch }
1275f210c2aSfgsch else
1285f210c2aSfgsch {
1295f210c2aSfgsch const char *s;
1305f210c2aSfgsch int val;
1315f210c2aSfgsch
132*cf2f2c56Smiod /* If this a flop (or a shrd) and its dual bit is set,
133*cf2f2c56Smiod prefix with 'd.'. */
134*cf2f2c56Smiod if (((insn & 0xfc000000) == 0x48000000
135*cf2f2c56Smiod || (insn & 0xfc000000) == 0xb0000000)
136*cf2f2c56Smiod && (insn & 0x200))
1375f210c2aSfgsch (*info->fprintf_func) (info->stream, "d.%s\t", opcode->name);
1385f210c2aSfgsch else
1395f210c2aSfgsch (*info->fprintf_func) (info->stream, "%s\t", opcode->name);
1405f210c2aSfgsch
1415f210c2aSfgsch for (s = opcode->args; *s; s++)
1425f210c2aSfgsch {
1435f210c2aSfgsch switch (*s)
1445f210c2aSfgsch {
1455f210c2aSfgsch /* Integer register (src1). */
1465f210c2aSfgsch case '1':
1475f210c2aSfgsch (*info->fprintf_func) (info->stream, "%s%s", I860_REG_PREFIX,
1485f210c2aSfgsch grnames[(insn >> 11) & 0x1f]);
1495f210c2aSfgsch break;
1505f210c2aSfgsch
1515f210c2aSfgsch /* Integer register (src2). */
1525f210c2aSfgsch case '2':
1535f210c2aSfgsch (*info->fprintf_func) (info->stream, "%s%s", I860_REG_PREFIX,
1545f210c2aSfgsch grnames[(insn >> 21) & 0x1f]);
1555f210c2aSfgsch break;
1565f210c2aSfgsch
1575f210c2aSfgsch /* Integer destination register. */
1585f210c2aSfgsch case 'd':
1595f210c2aSfgsch (*info->fprintf_func) (info->stream, "%s%s", I860_REG_PREFIX,
1605f210c2aSfgsch grnames[(insn >> 16) & 0x1f]);
1615f210c2aSfgsch break;
1625f210c2aSfgsch
1635f210c2aSfgsch /* Floating-point register (src1). */
1645f210c2aSfgsch case 'e':
1655f210c2aSfgsch (*info->fprintf_func) (info->stream, "%s%s", I860_REG_PREFIX,
1665f210c2aSfgsch frnames[(insn >> 11) & 0x1f]);
1675f210c2aSfgsch break;
1685f210c2aSfgsch
1695f210c2aSfgsch /* Floating-point register (src2). */
1705f210c2aSfgsch case 'f':
1715f210c2aSfgsch (*info->fprintf_func) (info->stream, "%s%s", I860_REG_PREFIX,
1725f210c2aSfgsch frnames[(insn >> 21) & 0x1f]);
1735f210c2aSfgsch break;
1745f210c2aSfgsch
1755f210c2aSfgsch /* Floating-point destination register. */
1765f210c2aSfgsch case 'g':
1775f210c2aSfgsch (*info->fprintf_func) (info->stream, "%s%s", I860_REG_PREFIX,
1785f210c2aSfgsch frnames[(insn >> 16) & 0x1f]);
1795f210c2aSfgsch break;
1805f210c2aSfgsch
1815f210c2aSfgsch /* Control register. */
1825f210c2aSfgsch case 'c':
1835f210c2aSfgsch (*info->fprintf_func) (info->stream, "%s%s", I860_REG_PREFIX,
184*cf2f2c56Smiod crnames[(insn >> 21) & 0xf]);
1855f210c2aSfgsch break;
1865f210c2aSfgsch
1875f210c2aSfgsch /* 16-bit immediate (sign extend, except for bitwise ops). */
1885f210c2aSfgsch case 'i':
1895f210c2aSfgsch if (BITWISE_OP ((insn & 0xfc000000) >> 26))
1905f210c2aSfgsch (*info->fprintf_func) (info->stream, "0x%04x",
1915f210c2aSfgsch (unsigned int) (insn & 0xffff));
1925f210c2aSfgsch else
1935f210c2aSfgsch (*info->fprintf_func) (info->stream, "%d",
1945f210c2aSfgsch sign_ext ((insn & 0xffff), 16));
1955f210c2aSfgsch break;
1965f210c2aSfgsch
1975f210c2aSfgsch /* 16-bit immediate, aligned (2^0, ld.b). */
1985f210c2aSfgsch case 'I':
1995f210c2aSfgsch (*info->fprintf_func) (info->stream, "%d",
2005f210c2aSfgsch sign_ext ((insn & 0xffff), 16));
2015f210c2aSfgsch break;
2025f210c2aSfgsch
2035f210c2aSfgsch /* 16-bit immediate, aligned (2^1, ld.s). */
2045f210c2aSfgsch case 'J':
2055f210c2aSfgsch (*info->fprintf_func) (info->stream, "%d",
2065f210c2aSfgsch sign_ext ((insn & 0xfffe), 16));
2075f210c2aSfgsch break;
2085f210c2aSfgsch
2095f210c2aSfgsch /* 16-bit immediate, aligned (2^2, ld.l, {p}fld.l, fst.l). */
2105f210c2aSfgsch case 'K':
2115f210c2aSfgsch (*info->fprintf_func) (info->stream, "%d",
2125f210c2aSfgsch sign_ext ((insn & 0xfffc), 16));
2135f210c2aSfgsch break;
2145f210c2aSfgsch
2155f210c2aSfgsch /* 16-bit immediate, aligned (2^3, {p}fld.d, fst.d). */
2165f210c2aSfgsch case 'L':
2175f210c2aSfgsch (*info->fprintf_func) (info->stream, "%d",
2185f210c2aSfgsch sign_ext ((insn & 0xfff8), 16));
2195f210c2aSfgsch break;
2205f210c2aSfgsch
2215f210c2aSfgsch /* 16-bit immediate, aligned (2^4, {p}fld.q, fst.q). */
2225f210c2aSfgsch case 'M':
2235f210c2aSfgsch (*info->fprintf_func) (info->stream, "%d",
2245f210c2aSfgsch sign_ext ((insn & 0xfff0), 16));
2255f210c2aSfgsch break;
2265f210c2aSfgsch
2275f210c2aSfgsch /* 5-bit immediate (zero extend). */
2285f210c2aSfgsch case '5':
2295f210c2aSfgsch (*info->fprintf_func) (info->stream, "%d",
2305f210c2aSfgsch ((insn >> 11) & 0x1f));
2315f210c2aSfgsch break;
2325f210c2aSfgsch
2335f210c2aSfgsch /* Split 16 bit immediate (20..16:10..0). */
2345f210c2aSfgsch case 's':
2355f210c2aSfgsch val = ((insn >> 5) & 0xf800) | (insn & 0x07ff);
2365f210c2aSfgsch (*info->fprintf_func) (info->stream, "%d",
2375f210c2aSfgsch sign_ext (val, 16));
2385f210c2aSfgsch break;
2395f210c2aSfgsch
2405f210c2aSfgsch /* Split 16 bit immediate, aligned. (2^0, st.b). */
2415f210c2aSfgsch case 'S':
2425f210c2aSfgsch val = ((insn >> 5) & 0xf800) | (insn & 0x07ff);
2435f210c2aSfgsch (*info->fprintf_func) (info->stream, "%d",
2445f210c2aSfgsch sign_ext (val, 16));
2455f210c2aSfgsch break;
2465f210c2aSfgsch
2475f210c2aSfgsch /* Split 16 bit immediate, aligned. (2^1, st.s). */
2485f210c2aSfgsch case 'T':
2495f210c2aSfgsch val = ((insn >> 5) & 0xf800) | (insn & 0x07fe);
2505f210c2aSfgsch (*info->fprintf_func) (info->stream, "%d",
2515f210c2aSfgsch sign_ext (val, 16));
2525f210c2aSfgsch break;
2535f210c2aSfgsch
2545f210c2aSfgsch /* Split 16 bit immediate, aligned. (2^2, st.l). */
2555f210c2aSfgsch case 'U':
2565f210c2aSfgsch val = ((insn >> 5) & 0xf800) | (insn & 0x07fc);
2575f210c2aSfgsch (*info->fprintf_func) (info->stream, "%d",
2585f210c2aSfgsch sign_ext (val, 16));
2595f210c2aSfgsch break;
2605f210c2aSfgsch
2615f210c2aSfgsch /* 26-bit PC relative immediate (lbroff). */
2625f210c2aSfgsch case 'l':
2635f210c2aSfgsch val = sign_ext ((insn & 0x03ffffff), 26);
2645f210c2aSfgsch print_br_address (info, memaddr, val);
2655f210c2aSfgsch break;
2665f210c2aSfgsch
2675f210c2aSfgsch /* 16-bit PC relative immediate (sbroff). */
2685f210c2aSfgsch case 'r':
2695f210c2aSfgsch val = sign_ext ((((insn >> 5) & 0xf800) | (insn & 0x07ff)), 16);
2705f210c2aSfgsch print_br_address (info, memaddr, val);
2715f210c2aSfgsch break;
2725f210c2aSfgsch
2735f210c2aSfgsch default:
2745f210c2aSfgsch (*info->fprintf_func) (info->stream, "%c", *s);
2755f210c2aSfgsch break;
2765f210c2aSfgsch }
2775f210c2aSfgsch }
2785f210c2aSfgsch }
2795f210c2aSfgsch
2805f210c2aSfgsch return sizeof (insn);
2815f210c2aSfgsch }
2825f210c2aSfgsch
283