Mention symbol name in non-constant .size expression.
[binutils.git] / opcodes / tic54x-dis.c
blob578af10f7e2668eb5ac003ecf68956b02be164d0
1 /* Disassembly routines for TMS320C54X architecture
2 Copyright 1999, 2000, 2001, 2005, 2007, 2009 Free Software Foundation, Inc.
3 Contributed by Timothy Wall (twall@cygnus.com)
5 This file is part of the GNU opcodes library.
7 This library is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
10 any later version.
12 It is distributed in the hope that it will be useful, but WITHOUT
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
15 License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this file; see the file COPYING. If not, write to the
19 Free Software Foundation, 51 Franklin Street - Fifth Floor, Boston,
20 MA 02110-1301, USA. */
22 #include <errno.h>
23 #include <math.h>
24 #include <stdlib.h>
25 #include "sysdep.h"
26 #include "dis-asm.h"
27 #include "opcode/tic54x.h"
28 #include "coff/tic54x.h"
30 static int has_lkaddr (unsigned short, const insn_template *);
31 static int get_insn_size (unsigned short, const insn_template *);
32 static int print_instruction (disassemble_info *, bfd_vma,
33 unsigned short, const char *,
34 const enum optype [], int, int);
35 static int print_parallel_instruction (disassemble_info *, bfd_vma,
36 unsigned short,
37 const insn_template *, int);
38 static int sprint_dual_address (disassemble_info *,char [],
39 unsigned short);
40 static int sprint_indirect_address (disassemble_info *,char [],
41 unsigned short);
42 static int sprint_direct_address (disassemble_info *,char [],
43 unsigned short);
44 static int sprint_mmr (disassemble_info *,char [],int);
45 static int sprint_condition (disassemble_info *,char *,unsigned short);
46 static int sprint_cc2 (disassemble_info *,char *,unsigned short);
48 int
49 print_insn_tic54x (bfd_vma memaddr, disassemble_info *info)
51 bfd_byte opbuf[2];
52 unsigned short opcode;
53 int status, size;
54 const insn_template* tm;
56 status = (*info->read_memory_func) (memaddr, opbuf, 2, info);
57 if (status != 0)
59 (*info->memory_error_func) (status, memaddr, info);
60 return -1;
63 opcode = bfd_getl16 (opbuf);
64 tm = tic54x_get_insn (info, memaddr, opcode, &size);
66 info->bytes_per_line = 2;
67 info->bytes_per_chunk = 2;
68 info->octets_per_byte = 2;
69 info->display_endian = BFD_ENDIAN_LITTLE;
71 if (tm->flags & FL_PAR)
73 if (!print_parallel_instruction (info, memaddr, opcode, tm, size))
74 return -1;
76 else
78 if (!print_instruction (info, memaddr, opcode,
79 (char *) tm->name,
80 tm->operand_types,
81 size, (tm->flags & FL_EXT)))
82 return -1;
85 return size * 2;
88 static int
89 has_lkaddr (unsigned short memdata, const insn_template *tm)
91 return (IS_LKADDR (memdata)
92 && (OPTYPE (tm->operand_types[0]) == OP_Smem
93 || OPTYPE (tm->operand_types[1]) == OP_Smem
94 || OPTYPE (tm->operand_types[2]) == OP_Smem
95 || OPTYPE (tm->operand_types[1]) == OP_Sind
96 || OPTYPE (tm->operand_types[0]) == OP_Lmem
97 || OPTYPE (tm->operand_types[1]) == OP_Lmem));
100 /* always returns 1 (whether an insn template was found) since we provide an
101 "unknown instruction" template */
102 const insn_template*
103 tic54x_get_insn (disassemble_info *info, bfd_vma addr,
104 unsigned short memdata, int *size)
106 const insn_template *tm = NULL;
108 for (tm = tic54x_optab; tm->name; tm++)
110 if (tm->opcode == (memdata & tm->mask))
112 /* a few opcodes span two words */
113 if (tm->flags & FL_EXT)
115 /* if lk addressing is used, the second half of the opcode gets
116 pushed one word later */
117 bfd_byte opbuf[2];
118 bfd_vma addr2 = addr + 1 + has_lkaddr (memdata, tm);
119 int status = (*info->read_memory_func) (addr2, opbuf, 2, info);
120 // FIXME handle errors
121 if (status == 0)
123 unsigned short data2 = bfd_getl16 (opbuf);
124 if (tm->opcode2 == (data2 & tm->mask2))
126 if (size) *size = get_insn_size (memdata, tm);
127 return tm;
131 else
133 if (size) *size = get_insn_size (memdata, tm);
134 return tm;
138 for (tm = (insn_template *) tic54x_paroptab; tm->name; tm++)
140 if (tm->opcode == (memdata & tm->mask))
142 if (size) *size = get_insn_size (memdata, tm);
143 return tm;
147 if (size) *size = 1;
148 return &tic54x_unknown_opcode;
151 static int
152 get_insn_size (unsigned short memdata, const insn_template *insn)
154 int size;
156 if (insn->flags & FL_PAR)
158 /* only non-parallel instructions support lk addressing */
159 size = insn->words;
161 else
163 size = insn->words + has_lkaddr (memdata, insn);
166 return size;
170 print_instruction (info, memaddr, opcode, tm_name, tm_operands, size, ext)
171 disassemble_info *info;
172 bfd_vma memaddr;
173 unsigned short opcode;
174 const char *tm_name;
175 const enum optype tm_operands[];
176 int size;
177 int ext;
179 static int n;
180 /* string storage for multiple operands */
181 char operand[4][64] = { {0},{0},{0},{0}, };
182 bfd_byte buf[2];
183 unsigned long opcode2 = 0;
184 unsigned long lkaddr = 0;
185 enum optype src = OP_None;
186 enum optype dst = OP_None;
187 int i, shift;
188 char *comma = "";
190 info->fprintf_func (info->stream, "%-7s", tm_name);
192 if (size > 1)
194 int status = (*info->read_memory_func) (memaddr + 1, buf, 2, info);
195 if (status != 0)
196 return 0;
197 lkaddr = opcode2 = bfd_getl16 (buf);
198 if (size > 2)
200 status = (*info->read_memory_func) (memaddr + 2, buf, 2, info);
201 if (status != 0)
202 return 0;
203 opcode2 = bfd_getl16 (buf);
207 for (i = 0; i < MAX_OPERANDS && OPTYPE (tm_operands[i]) != OP_None; i++)
209 char *next_comma = ",";
210 int optional = (tm_operands[i] & OPT) != 0;
212 switch (OPTYPE (tm_operands[i]))
214 case OP_Xmem:
215 sprint_dual_address (info, operand[i], XMEM (opcode));
216 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
217 break;
218 case OP_Ymem:
219 sprint_dual_address (info, operand[i], YMEM (opcode));
220 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
221 break;
222 case OP_Smem:
223 case OP_Sind:
224 case OP_Lmem:
225 info->fprintf_func (info->stream, "%s", comma);
226 if (INDIRECT (opcode))
228 if (MOD (opcode) >= 12)
230 bfd_vma addr = lkaddr;
231 int arf = ARF (opcode);
232 int mod = MOD (opcode);
233 if (mod == 15)
234 info->fprintf_func (info->stream, "*(");
235 else
236 info->fprintf_func (info->stream, "*%sar%d(",
237 (mod == 13 || mod == 14 ? "+" : ""),
238 arf);
239 (*(info->print_address_func)) ((bfd_vma) addr, info);
240 info->fprintf_func (info->stream, ")%s",
241 mod == 14 ? "%" : "");
243 else
245 sprint_indirect_address (info, operand[i], opcode);
246 info->fprintf_func (info->stream, "%s", operand[i]);
249 else
251 /* FIXME -- use labels (print_address_func) */
252 /* in order to do this, we need to guess what DP is */
253 sprint_direct_address (info, operand[i], opcode);
254 info->fprintf_func (info->stream, "%s", operand[i]);
256 break;
257 case OP_dmad:
258 info->fprintf_func (info->stream, "%s", comma);
259 (*(info->print_address_func)) ((bfd_vma) opcode2, info);
260 break;
261 case OP_xpmad:
262 /* upper 7 bits of address are in the opcode */
263 opcode2 += ((unsigned long) opcode & 0x7F) << 16;
264 /* fall through */
265 case OP_pmad:
266 info->fprintf_func (info->stream, "%s", comma);
267 (*(info->print_address_func)) ((bfd_vma) opcode2, info);
268 break;
269 case OP_MMRX:
270 sprint_mmr (info, operand[i], MMRX (opcode));
271 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
272 break;
273 case OP_MMRY:
274 sprint_mmr (info, operand[i], MMRY (opcode));
275 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
276 break;
277 case OP_MMR:
278 sprint_mmr (info, operand[i], MMR (opcode));
279 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
280 break;
281 case OP_PA:
282 sprintf (operand[i], "pa%d", (unsigned) opcode2);
283 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
284 break;
285 case OP_SRC:
286 src = SRC (ext ? opcode2 : opcode) ? OP_B : OP_A;
287 sprintf (operand[i], (src == OP_B) ? "b" : "a");
288 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
289 break;
290 case OP_SRC1:
291 src = SRC1 (ext ? opcode2 : opcode) ? OP_B : OP_A;
292 sprintf (operand[i], (src == OP_B) ? "b" : "a");
293 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
294 break;
295 case OP_RND:
296 dst = DST (opcode) ? OP_B : OP_A;
297 sprintf (operand[i], (dst == OP_B) ? "a" : "b");
298 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
299 break;
300 case OP_DST:
301 dst = DST (ext ? opcode2 : opcode) ? OP_B : OP_A;
302 if (!optional || dst != src)
304 sprintf (operand[i], (dst == OP_B) ? "b" : "a");
305 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
307 else
308 next_comma = comma;
309 break;
310 case OP_B:
311 sprintf (operand[i], "b");
312 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
313 break;
314 case OP_A:
315 sprintf (operand[i], "a");
316 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
317 break;
318 case OP_ARX:
319 sprintf (operand[i], "ar%d", (int) ARX (opcode));
320 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
321 break;
322 case OP_SHIFT:
323 shift = SHIFT (ext ? opcode2 : opcode);
324 if (!optional || shift != 0)
326 sprintf (operand[i], "%d", shift);
327 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
329 else
330 next_comma = comma;
331 break;
332 case OP_SHFT:
333 shift = SHFT (opcode);
334 if (!optional || shift != 0)
336 sprintf (operand[i], "%d", (unsigned) shift);
337 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
339 else
340 next_comma = comma;
341 break;
342 case OP_lk:
343 sprintf (operand[i], "#%d", (int) (short) opcode2);
344 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
345 break;
346 case OP_T:
347 sprintf (operand[i], "t");
348 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
349 break;
350 case OP_TS:
351 sprintf (operand[i], "ts");
352 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
353 break;
354 case OP_k8:
355 sprintf (operand[i], "%d", (int) ((signed char) (opcode & 0xFF)));
356 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
357 break;
358 case OP_16:
359 sprintf (operand[i], "16");
360 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
361 break;
362 case OP_ASM:
363 sprintf (operand[i], "asm");
364 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
365 break;
366 case OP_BITC:
367 sprintf (operand[i], "%d", (int) (opcode & 0xF));
368 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
369 break;
370 case OP_CC:
371 /* put all CC operands in the same operand */
372 sprint_condition (info, operand[i], opcode);
373 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
374 i = MAX_OPERANDS;
375 break;
376 case OP_CC2:
377 sprint_cc2 (info, operand[i], opcode);
378 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
379 break;
380 case OP_CC3:
382 const char *code[] = { "eq", "lt", "gt", "neq" };
384 /* Do not use sprintf with only two parameters as a
385 compiler warning could be generated in such conditions. */
386 sprintf (operand[i], "%s", code[CC3 (opcode)]);
387 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
388 break;
390 case OP_123:
392 int code = (opcode >> 8) & 0x3;
393 sprintf (operand[i], "%d", (code == 0) ? 1 : (code == 2) ? 2 : 3);
394 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
395 break;
397 case OP_k5:
398 sprintf (operand[i], "#%d",
399 (int) (((signed char) opcode & 0x1F) << 3) >> 3);
400 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
401 break;
402 case OP_k8u:
403 sprintf (operand[i], "#%d", (unsigned) (opcode & 0xFF));
404 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
405 break;
406 case OP_k3:
407 sprintf (operand[i], "#%d", (int) (opcode & 0x7));
408 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
409 break;
410 case OP_lku:
411 sprintf (operand[i], "#%d", (unsigned) opcode2);
412 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
413 break;
414 case OP_N:
415 n = (opcode >> 9) & 0x1;
416 sprintf (operand[i], "st%d", n);
417 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
418 break;
419 case OP_SBIT:
421 const char *status0[] = {
422 "0", "1", "2", "3", "4", "5", "6", "7", "8",
423 "ovb", "ova", "c", "tc", "13", "14", "15"
425 const char *status1[] = {
426 "0", "1", "2", "3", "4",
427 "cmpt", "frct", "c16", "sxm", "ovm", "10",
428 "intm", "hm", "xf", "cpl", "braf"
430 sprintf (operand[i], "%s",
431 n ? status1[SBIT (opcode)] : status0[SBIT (opcode)]);
432 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
433 break;
435 case OP_12:
436 sprintf (operand[i], "%d", (int) ((opcode >> 9) & 1) + 1);
437 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
438 break;
439 case OP_TRN:
440 sprintf (operand[i], "trn");
441 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
442 break;
443 case OP_DP:
444 sprintf (operand[i], "dp");
445 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
446 break;
447 case OP_k9:
448 /* FIXME-- this is DP, print the original address? */
449 sprintf (operand[i], "#%d", (int) (opcode & 0x1FF));
450 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
451 break;
452 case OP_ARP:
453 sprintf (operand[i], "arp");
454 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
455 break;
456 case OP_031:
457 sprintf (operand[i], "%d", (int) (opcode & 0x1F));
458 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
459 break;
460 default:
461 sprintf (operand[i], "??? (0x%x)", tm_operands[i]);
462 info->fprintf_func (info->stream, "%s%s", comma, operand[i]);
463 break;
465 comma = next_comma;
467 return 1;
470 static int
471 print_parallel_instruction (info, memaddr, opcode, ptm, size)
472 disassemble_info *info;
473 bfd_vma memaddr;
474 unsigned short opcode;
475 const insn_template *ptm;
476 int size;
478 print_instruction (info, memaddr, opcode,
479 ptm->name, ptm->operand_types, size, 0);
480 info->fprintf_func (info->stream, " || ");
481 return print_instruction (info, memaddr, opcode,
482 ptm->parname, ptm->paroperand_types, size, 0);
485 static int
486 sprint_dual_address (info, buf, code)
487 disassemble_info *info ATTRIBUTE_UNUSED;
488 char buf[];
489 unsigned short code;
491 const char *formats[] = {
492 "*ar%d",
493 "*ar%d-",
494 "*ar%d+",
495 "*ar%d+0%%",
497 return sprintf (buf, formats[XMOD (code)], XARX (code));
500 static int
501 sprint_indirect_address (info, buf, opcode)
502 disassemble_info *info ATTRIBUTE_UNUSED;
503 char buf[];
504 unsigned short opcode;
506 const char *formats[] = {
507 "*ar%d",
508 "*ar%d-",
509 "*ar%d+",
510 "*+ar%d",
511 "*ar%d-0B",
512 "*ar%d-0",
513 "*ar%d+0",
514 "*ar%d+0B",
515 "*ar%d-%%",
516 "*ar%d-0%%",
517 "*ar%d+%%",
518 "*ar%d+0%%",
520 return sprintf (buf, formats[MOD (opcode)], ARF (opcode));
523 static int
524 sprint_direct_address (info, buf, opcode)
525 disassemble_info *info ATTRIBUTE_UNUSED;
526 char buf[];
527 unsigned short opcode;
529 /* FIXME -- look up relocation if available */
530 return sprintf (buf, "DP+0x%02x", (int) (opcode & 0x7F));
533 static int
534 sprint_mmr (info, buf, mmr)
535 disassemble_info *info ATTRIBUTE_UNUSED;
536 char buf[];
537 int mmr;
539 symbol *reg = (symbol *) mmregs;
540 while (reg->name != NULL)
542 if (mmr == reg->value)
544 sprintf (buf, "%s", (reg + 1)->name);
545 return 1;
547 ++reg;
549 sprintf (buf, "MMR(%d)", mmr); /* FIXME -- different targets. */
550 return 0;
553 static int
554 sprint_cc2 (info, buf, opcode)
555 disassemble_info *info ATTRIBUTE_UNUSED;
556 char *buf;
557 unsigned short opcode;
559 const char *cc2[] = {
560 "??", "??", "ageq", "alt", "aneq", "aeq", "agt", "aleq",
561 "??", "??", "bgeq", "blt", "bneq", "beq", "bgt", "bleq",
563 return sprintf (buf, "%s", cc2[opcode & 0xF]);
566 static int
567 sprint_condition (info, buf, opcode)
568 disassemble_info *info ATTRIBUTE_UNUSED;
569 char *buf;
570 unsigned short opcode;
572 char *start = buf;
573 const char *cmp[] = {
574 "??", "??", "geq", "lt", "neq", "eq", "gt", "leq"
576 if (opcode & 0x40)
578 char acc = (opcode & 0x8) ? 'b' : 'a';
579 if (opcode & 0x7)
580 buf += sprintf (buf, "%c%s%s", acc, cmp[(opcode & 0x7)],
581 (opcode & 0x20) ? ", " : "");
582 if (opcode & 0x20)
583 buf += sprintf (buf, "%c%s", acc, (opcode & 0x10) ? "ov" : "nov");
585 else if (opcode & 0x3F)
587 if (opcode & 0x30)
588 buf += sprintf (buf, "%s%s",
589 ((opcode & 0x30) == 0x30) ? "tc" : "ntc",
590 (opcode & 0x0F) ? ", " : "");
591 if (opcode & 0x0C)
592 buf += sprintf (buf, "%s%s",
593 ((opcode & 0x0C) == 0x0C) ? "c" : "nc",
594 (opcode & 0x03) ? ", " : "");
595 if (opcode & 0x03)
596 buf += sprintf (buf, "%s",
597 ((opcode & 0x03) == 0x03) ? "bio" : "nbio");
599 else
600 buf += sprintf (buf, "unc");
602 return buf - start;