David Blaikie | 9a1696d | 2012-11-14 18:52:12 +0000 | [diff] [blame] | 1 | /* Opcode decoder for the Renesas RX |
| 2 | Copyright 2008, 2009, 2010 |
| 3 | Free Software Foundation, Inc. |
| 4 | Written by DJ Delorie <dj@redhat.com> |
| 5 | |
| 6 | This file is part of GDB, the GNU Debugger and GAS, the GNU Assembler. |
| 7 | |
| 8 | This program is free software; you can redistribute it and/or modify |
| 9 | it under the terms of the GNU General Public License as published by |
| 10 | the Free Software Foundation; either version 3 of the License, or |
| 11 | (at your option) any later version. |
| 12 | |
| 13 | This program is distributed in the hope that it will be useful, |
| 14 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 15 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 16 | GNU General Public License for more details. |
| 17 | |
| 18 | You should have received a copy of the GNU General Public License |
| 19 | along with this program; if not, write to the Free Software |
| 20 | Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, MA |
| 21 | 02110-1301, USA. */ |
| 22 | |
| 23 | /* The RX decoder in libopcodes is used by the simulator, gdb's |
| 24 | analyzer, and the disassembler. Given an opcode data source, |
| 25 | it decodes the next opcode into the following structures. */ |
| 26 | |
| 27 | typedef enum |
| 28 | { |
| 29 | RX_AnySize = 0, |
| 30 | RX_Byte, /* undefined extension */ |
| 31 | RX_UByte, |
| 32 | RX_SByte, |
| 33 | RX_Word, /* undefined extension */ |
| 34 | RX_UWord, |
| 35 | RX_SWord, |
| 36 | RX_3Byte, |
| 37 | RX_Long, |
| 38 | } RX_Size; |
| 39 | |
| 40 | typedef enum |
| 41 | { |
| 42 | RX_Operand_None, |
| 43 | RX_Operand_Immediate, /* #addend */ |
| 44 | RX_Operand_Register, /* Rn */ |
| 45 | RX_Operand_Indirect, /* [Rn + addend] */ |
| 46 | RX_Operand_Postinc, /* [Rn+] */ |
| 47 | RX_Operand_Predec, /* [-Rn] */ |
| 48 | RX_Operand_Condition, /* eq, gtu, etc */ |
| 49 | RX_Operand_Flag, /* [UIOSZC] */ |
| 50 | RX_Operand_TwoReg, /* [Rn + scale*R2] */ |
| 51 | } RX_Operand_Type; |
| 52 | |
| 53 | typedef enum |
| 54 | { |
| 55 | RXO_unknown, |
| 56 | RXO_mov, /* d = s (signed) */ |
| 57 | RXO_movbi, /* d = [s,s2] (signed) */ |
| 58 | RXO_movbir, /* [s,s2] = d (signed) */ |
| 59 | RXO_pushm, /* s..s2 */ |
| 60 | RXO_popm, /* s..s2 */ |
| 61 | RXO_xchg, /* s <-> d */ |
| 62 | RXO_stcc, /* d = s if cond(s2) */ |
| 63 | RXO_rtsd, /* rtsd, 1=imm, 2-0 = reg if reg type */ |
| 64 | |
| 65 | /* These are all either d OP= s or, if s2 is set, d = s OP s2. Note |
| 66 | that d may be "None". */ |
| 67 | RXO_and, |
| 68 | RXO_or, |
| 69 | RXO_xor, |
| 70 | RXO_add, |
| 71 | RXO_sub, |
| 72 | RXO_mul, |
| 73 | RXO_div, |
| 74 | RXO_divu, |
| 75 | RXO_shll, |
| 76 | RXO_shar, |
| 77 | RXO_shlr, |
| 78 | |
| 79 | RXO_adc, /* d = d + s + carry */ |
| 80 | RXO_sbb, /* d = d - s - ~carry */ |
| 81 | RXO_abs, /* d = |s| */ |
| 82 | RXO_max, /* d = max(d,s) */ |
| 83 | RXO_min, /* d = min(d,s) */ |
| 84 | RXO_emul, /* d:64 = d:32 * s */ |
| 85 | RXO_emulu, /* d:64 = d:32 * s (unsigned) */ |
| 86 | |
| 87 | RXO_rolc, /* d <<= 1 through carry */ |
| 88 | RXO_rorc, /* d >>= 1 through carry*/ |
| 89 | RXO_rotl, /* d <<= #s without carry */ |
| 90 | RXO_rotr, /* d >>= #s without carry*/ |
| 91 | RXO_revw, /* d = revw(s) */ |
| 92 | RXO_revl, /* d = revl(s) */ |
| 93 | RXO_branch, /* pc = d if cond(s) */ |
| 94 | RXO_branchrel,/* pc += d if cond(s) */ |
| 95 | RXO_jsr, /* pc = d */ |
| 96 | RXO_jsrrel, /* pc += d */ |
| 97 | RXO_rts, |
| 98 | RXO_nop, |
| 99 | RXO_nop2, |
| 100 | RXO_nop3, |
| 101 | |
| 102 | RXO_scmpu, |
| 103 | RXO_smovu, |
| 104 | RXO_smovb, |
| 105 | RXO_suntil, |
| 106 | RXO_swhile, |
| 107 | RXO_smovf, |
| 108 | RXO_sstr, |
| 109 | |
| 110 | RXO_rmpa, |
| 111 | RXO_mulhi, |
| 112 | RXO_mullo, |
| 113 | RXO_machi, |
| 114 | RXO_maclo, |
| 115 | RXO_mvtachi, |
| 116 | RXO_mvtaclo, |
| 117 | RXO_mvfachi, |
| 118 | RXO_mvfacmi, |
| 119 | RXO_mvfaclo, |
| 120 | RXO_racw, |
| 121 | |
| 122 | RXO_sat, /* sat(d) */ |
| 123 | RXO_satr, |
| 124 | |
| 125 | RXO_fadd, /* d op= s */ |
| 126 | RXO_fcmp, |
| 127 | RXO_fsub, |
| 128 | RXO_ftoi, |
| 129 | RXO_fmul, |
| 130 | RXO_fdiv, |
| 131 | RXO_round, |
| 132 | RXO_itof, |
| 133 | |
| 134 | RXO_bset, /* d |= (1<<s) */ |
| 135 | RXO_bclr, /* d &= ~(1<<s) */ |
| 136 | RXO_btst, /* s & (1<<s2) */ |
| 137 | RXO_bnot, /* d ^= (1<<s) */ |
| 138 | RXO_bmcc, /* d<s> = cond(s2) */ |
| 139 | |
| 140 | RXO_clrpsw, /* flag index in d */ |
| 141 | RXO_setpsw, /* flag index in d */ |
| 142 | RXO_mvtipl, /* new IPL in s */ |
| 143 | |
| 144 | RXO_rtfi, |
| 145 | RXO_rte, |
| 146 | RXO_rtd, /* undocumented */ |
| 147 | RXO_brk, |
| 148 | RXO_dbt, /* undocumented */ |
| 149 | RXO_int, /* vector id in s */ |
| 150 | RXO_stop, |
| 151 | RXO_wait, |
| 152 | |
| 153 | RXO_sccnd, /* d = cond(s) ? 1 : 0 */ |
| 154 | } RX_Opcode_ID; |
| 155 | |
| 156 | /* Condition bitpatterns, as registers. */ |
| 157 | #define RXC_eq 0 |
| 158 | #define RXC_z 0 |
| 159 | #define RXC_ne 1 |
| 160 | #define RXC_nz 1 |
| 161 | #define RXC_c 2 |
| 162 | #define RXC_nc 3 |
| 163 | #define RXC_gtu 4 |
| 164 | #define RXC_leu 5 |
| 165 | #define RXC_pz 6 |
| 166 | #define RXC_n 7 |
| 167 | #define RXC_ge 8 |
| 168 | #define RXC_lt 9 |
| 169 | #define RXC_gt 10 |
| 170 | #define RXC_le 11 |
| 171 | #define RXC_o 12 |
| 172 | #define RXC_no 13 |
| 173 | #define RXC_always 14 |
| 174 | #define RXC_never 15 |
| 175 | |
| 176 | typedef struct |
| 177 | { |
| 178 | RX_Operand_Type type; |
| 179 | int reg; |
| 180 | int addend; |
| 181 | RX_Size size; |
| 182 | } RX_Opcode_Operand; |
| 183 | |
| 184 | typedef struct |
| 185 | { |
| 186 | RX_Opcode_ID id; |
| 187 | int n_bytes; |
| 188 | int prefix; |
| 189 | char * syntax; |
| 190 | RX_Size size; |
| 191 | /* By convention, these are destination, source1, source2. */ |
| 192 | RX_Opcode_Operand op[3]; |
| 193 | |
| 194 | /* The logic here is: |
| 195 | newflags = (oldflags & ~(int)flags_0) | flags_1 | (op_flags & flags_s) |
| 196 | Only the O, S, Z, and C flags are affected. */ |
| 197 | char flags_0; /* This also clears out flags-to-be-set. */ |
| 198 | char flags_1; |
| 199 | char flags_s; |
| 200 | } RX_Opcode_Decoded; |
| 201 | |
| 202 | /* Within the syntax, %c-style format specifiers are as follows: |
| 203 | |
| 204 | %% = '%' character |
| 205 | %0 = operand[0] (destination) |
| 206 | %1 = operand[1] (source) |
| 207 | %2 = operand[2] (2nd source) |
| 208 | %s = operation size (b/w/l) |
| 209 | %SN = operand size [N] (N=0,1,2) |
| 210 | %aN = op[N] as an address (N=0,1,2) |
| 211 | |
| 212 | Register numbers 0..15 are general registers. 16..31 are control |
| 213 | registers. 32..47 are condition codes. */ |
| 214 | |
| 215 | int rx_decode_opcode (unsigned long, RX_Opcode_Decoded *, int (*)(void *), void *); |