]>
Commit | Line | Data |
---|---|---|
bd86a88e AG |
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 <stdio.h> | |
18 | #define STATIC_TABLE | |
19 | #define DEFINE_TABLE | |
20 | ||
21 | #include "disas/bfd.h" | |
22 | ||
23 | static 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 | ||
68 | typedef struct moxie_opc_info_t { | |
69 | short opcode; | |
70 | unsigned itype; | |
71 | const char * name; | |
72 | } moxie_opc_info_t; | |
73 | ||
74 | extern const moxie_opc_info_t moxie_form1_opc_info[64]; | |
75 | extern const moxie_opc_info_t moxie_form2_opc_info[4]; | |
76 | extern 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 | ||
106 | const 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 | ||
174 | const 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 | ||
182 | const 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 | ||
207 | static const char * reg_names[16] = | |
208 | { "$fp", "$sp", "$r0", "$r1", "$r2", "$r3", "$r4", "$r5", | |
209 | "$r6", "$r7", "$r8", "$r9", "$r10", "$r11", "$r12", "$r13" }; | |
210 | ||
211 | int | |
212 | print_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 | } |