H8300 use of uninitialised value
[deliverable/binutils-gdb.git] / opcodes / h8300-dis.c
1 /* Disassemble h8300 instructions.
2 Copyright (C) 1993-2020 Free Software Foundation, Inc.
3
4 This file is part of the GNU opcodes library.
5
6 This library is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3, or (at your option)
9 any later version.
10
11 It is distributed in the hope that it will be useful, but WITHOUT
12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
13 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
14 License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
19 MA 02110-1301, USA. */
20
21 #define DEFINE_TABLE
22
23 #include "sysdep.h"
24 #define h8_opcodes h8ops
25 #include "opcode/h8300.h"
26 #include "disassemble.h"
27 #include "opintl.h"
28 #include "libiberty.h"
29
30 struct h8_instruction
31 {
32 int length;
33 const struct h8_opcode *opcode;
34 };
35
36 struct h8_instruction *h8_instructions;
37
38 /* Run through the opcodes and sort them into order to make them easy
39 to disassemble. */
40
41 static void
42 bfd_h8_disassemble_init (void)
43 {
44 unsigned int i;
45 unsigned int nopcodes;
46 const struct h8_opcode *p;
47 struct h8_instruction *pi;
48
49 nopcodes = sizeof (h8_opcodes) / sizeof (struct h8_opcode);
50
51 h8_instructions = xmalloc (nopcodes * sizeof (struct h8_instruction));
52
53 for (p = h8_opcodes, pi = h8_instructions; p->name; p++, pi++)
54 {
55 /* Just make sure there are an even number of nibbles in it, and
56 that the count is the same as the length. */
57 for (i = 0; p->data.nib[i] != (op_type) E; i++)
58 ;
59
60 if (i & 1)
61 {
62 /* xgettext:c-format */
63 opcodes_error_handler (_("internal error, h8_disassemble_init"));
64 abort ();
65 }
66
67 pi->length = i / 2;
68 pi->opcode = p;
69 }
70
71 /* Add entry for the NULL vector terminator. */
72 pi->length = 0;
73 pi->opcode = p;
74 }
75
76 static void
77 extract_immediate (FILE *stream,
78 op_type looking_for,
79 int thisnib,
80 unsigned char *data,
81 int *cst,
82 int *len,
83 const struct h8_opcode *q)
84 {
85 switch (looking_for & SIZE)
86 {
87 case L_2:
88 *len = 2;
89 *cst = thisnib & 3;
90
91 /* DISP2 special treatment. */
92 if ((looking_for & MODE) == DISP)
93 {
94 if (OP_KIND (q->how) == O_MOVAB
95 || OP_KIND (q->how) == O_MOVAW
96 || OP_KIND (q->how) == O_MOVAL)
97 {
98 /* Handling for mova insn. */
99 switch (q->args.nib[0] & MODE)
100 {
101 case INDEXB:
102 default:
103 break;
104 case INDEXW:
105 *cst *= 2;
106 break;
107 case INDEXL:
108 *cst *= 4;
109 break;
110 }
111 }
112 else
113 {
114 /* Handling for non-mova insn. */
115 switch (OP_SIZE (q->how))
116 {
117 default: break;
118 case SW:
119 *cst *= 2;
120 break;
121 case SL:
122 *cst *= 4;
123 break;
124 }
125 }
126 }
127 break;
128 case L_8:
129 *len = 8;
130 *cst = data[0];
131 break;
132 case L_16:
133 case L_16U:
134 *len = 16;
135 *cst = (data[0] << 8) + data [1];
136 #if 0
137 if ((looking_for & SIZE) == L_16)
138 *cst = (short) *cst; /* Sign extend. */
139 #endif
140 break;
141 case L_32:
142 *len = 32;
143 *cst = (((unsigned) data[0] << 24) + (data[1] << 16)
144 + (data[2] << 8) + data[3]);
145 break;
146 default:
147 *len = 0;
148 *cst = 0;
149 fprintf (stream, "DISP bad size\n");
150 break;
151 }
152 }
153
154 static const char *regnames[] =
155 {
156 "r0h", "r1h", "r2h", "r3h", "r4h", "r5h", "r6h", "r7h",
157 "r0l", "r1l", "r2l", "r3l", "r4l", "r5l", "r6l", "r7l"
158 };
159 static const char *wregnames[] =
160 {
161 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
162 "e0", "e1", "e2", "e3", "e4", "e5", "e6", "e7"
163 };
164 static const char *lregnames[] =
165 {
166 "er0", "er1", "er2", "er3", "er4", "er5", "er6", "er7",
167 "er0", "er1", "er2", "er3", "er4", "er5", "er6", "er7"
168 };
169 static const char *cregnames[] =
170 {
171 "ccr", "exr", "mach", "macl", "", "", "vbr", "sbr"
172 };
173
174 static void
175 print_one_arg (disassemble_info *info,
176 bfd_vma addr,
177 op_type x,
178 int cst,
179 int cstlen,
180 int rdisp_n,
181 int rn,
182 const char **pregnames,
183 int len)
184 {
185 void * stream = info->stream;
186 fprintf_ftype outfn = info->fprintf_func;
187
188 if ((x & SIZE) == L_3 || (x & SIZE) == L_3NZ)
189 outfn (stream, "#0x%x", (unsigned) cst);
190 else if ((x & MODE) == IMM)
191 outfn (stream, "#0x%x", (unsigned) cst);
192 else if ((x & MODE) == DBIT || (x & MODE) == KBIT)
193 outfn (stream, "#%d", (unsigned) cst);
194 else if ((x & MODE) == CONST_2)
195 outfn (stream, "#2");
196 else if ((x & MODE) == CONST_4)
197 outfn (stream, "#4");
198 else if ((x & MODE) == CONST_8)
199 outfn (stream, "#8");
200 else if ((x & MODE) == CONST_16)
201 outfn (stream, "#16");
202 else if ((x & MODE) == REG)
203 {
204 switch (x & SIZE)
205 {
206 case L_8:
207 outfn (stream, "%s", regnames[rn]);
208 break;
209 case L_16:
210 case L_16U:
211 outfn (stream, "%s", wregnames[rn]);
212 break;
213 case L_P:
214 case L_32:
215 outfn (stream, "%s", lregnames[rn]);
216 break;
217 }
218 }
219 else if ((x & MODE) == LOWREG)
220 {
221 switch (x & SIZE)
222 {
223 case L_8:
224 /* Always take low half of reg. */
225 outfn (stream, "%s.b", regnames[rn < 8 ? rn + 8 : rn]);
226 break;
227 case L_16:
228 case L_16U:
229 /* Always take low half of reg. */
230 outfn (stream, "%s.w", wregnames[rn < 8 ? rn : rn - 8]);
231 break;
232 case L_P:
233 case L_32:
234 outfn (stream, "%s.l", lregnames[rn]);
235 break;
236 }
237 }
238 else if ((x & MODE) == POSTINC)
239 outfn (stream, "@%s+", pregnames[rn]);
240
241 else if ((x & MODE) == POSTDEC)
242 outfn (stream, "@%s-", pregnames[rn]);
243
244 else if ((x & MODE) == PREINC)
245 outfn (stream, "@+%s", pregnames[rn]);
246
247 else if ((x & MODE) == PREDEC)
248 outfn (stream, "@-%s", pregnames[rn]);
249
250 else if ((x & MODE) == IND)
251 outfn (stream, "@%s", pregnames[rn]);
252
253 else if ((x & MODE) == ABS || (x & ABSJMP))
254 outfn (stream, "@0x%x:%d", (unsigned) cst, cstlen);
255
256 else if ((x & MODE) == MEMIND)
257 outfn (stream, "@@%d (0x%x)", cst, cst);
258
259 else if ((x & MODE) == VECIND)
260 {
261 /* FIXME Multiplier should be 2 or 4, depending on processor mode,
262 by which is meant "normal" vs. "middle", "advanced", "maximum". */
263
264 int offset = (cst + 0x80) * 4;
265 outfn (stream, "@@%d (0x%x)", offset, offset);
266 }
267 else if ((x & MODE) == PCREL)
268 {
269 if ((x & SIZE) == L_16 ||
270 (x & SIZE) == L_16U)
271 {
272 outfn (stream, ".%s%d (0x%lx)",
273 (short) cst > 0 ? "+" : "",
274 (short) cst,
275 (long)(addr + (short) cst + len));
276 }
277 else
278 {
279 outfn (stream, ".%s%d (0x%lx)",
280 (char) cst > 0 ? "+" : "",
281 (char) cst,
282 (long)(addr + (char) cst + len));
283 }
284 }
285 else if ((x & MODE) == DISP)
286 outfn (stream, "@(0x%x:%d,%s)", cst, cstlen, pregnames[rdisp_n]);
287
288 else if ((x & MODE) == INDEXB)
289 /* Always take low half of reg. */
290 outfn (stream, "@(0x%x:%d,%s.b)", cst, cstlen,
291 regnames[rdisp_n < 8 ? rdisp_n + 8 : rdisp_n]);
292
293 else if ((x & MODE) == INDEXW)
294 /* Always take low half of reg. */
295 outfn (stream, "@(0x%x:%d,%s.w)", cst, cstlen,
296 wregnames[rdisp_n < 8 ? rdisp_n : rdisp_n - 8]);
297
298 else if ((x & MODE) == INDEXL)
299 outfn (stream, "@(0x%x:%d,%s.l)", cst, cstlen, lregnames[rdisp_n]);
300
301 else if (x & CTRL)
302 outfn (stream, "%s", cregnames[rn]);
303
304 else if ((x & MODE) == CCR)
305 outfn (stream, "ccr");
306
307 else if ((x & MODE) == EXR)
308 outfn (stream, "exr");
309
310 else if ((x & MODE) == MACREG)
311 outfn (stream, "mac%c", cst ? 'l' : 'h');
312
313 else
314 /* xgettext:c-format */
315 outfn (stream, _("Hmmmm 0x%x"), x);
316 }
317
318 static unsigned int
319 bfd_h8_disassemble (bfd_vma addr, disassemble_info *info, int mach)
320 {
321 /* Find the first entry in the table for this opcode. */
322 int regno[3] = { 0, 0, 0 };
323 int dispregno[3] = { 0, 0, 0 };
324 int cst[3] = { 0, 0, 0 };
325 int cstlen[3] = { 0, 0, 0 };
326 static bfd_boolean init = 0;
327 const struct h8_instruction *qi;
328 char const **pregnames = mach != 0 ? lregnames : wregnames;
329 int status;
330 unsigned int maxlen;
331 unsigned char data[MAX_CODE_NIBBLES];
332 void *stream = info->stream;
333 fprintf_ftype outfn = info->fprintf_func;
334
335 if (!init)
336 {
337 bfd_h8_disassemble_init ();
338 init = 1;
339 }
340
341 status = info->read_memory_func (addr, data, 2, info);
342 if (status != 0)
343 {
344 info->memory_error_func (status, addr, info);
345 return -1;
346 }
347
348 for (maxlen = 2; status == 0 && maxlen < sizeof (data) / 2; maxlen += 2)
349 status = info->read_memory_func (addr + maxlen, data + maxlen, 2, info);
350
351 /* Find the exact opcode/arg combo. */
352 for (qi = h8_instructions; qi->opcode->name; qi++)
353 {
354 const struct h8_opcode *q = qi->opcode;
355 const op_type *nib = q->data.nib;
356 unsigned int len = 0;
357
358 while (len / 2 < maxlen)
359 {
360 op_type looking_for = *nib;
361 int thisnib = data[len / 2];
362 int opnr;
363
364 thisnib = (len & 1) ? (thisnib & 0xf) : ((thisnib / 16) & 0xf);
365 opnr = ((looking_for & OP3) == OP3 ? 2
366 : (looking_for & DST) == DST ? 1 : 0);
367
368 if (looking_for < 16 && looking_for >= 0)
369 {
370 if (looking_for != thisnib)
371 goto fail;
372 }
373 else
374 {
375 if ((int) looking_for & (int) B31)
376 {
377 if (!((thisnib & 0x8) != 0))
378 goto fail;
379
380 looking_for = (op_type) ((int) looking_for & ~(int) B31);
381 thisnib &= 0x7;
382 }
383 else if ((int) looking_for & (int) B30)
384 {
385 if (!((thisnib & 0x8) == 0))
386 goto fail;
387
388 looking_for = (op_type) ((int) looking_for & ~(int) B30);
389 }
390
391 if ((int) looking_for & (int) B21)
392 {
393 if (!((thisnib & 0x4) != 0))
394 goto fail;
395
396 looking_for = (op_type) ((int) looking_for & ~(int) B21);
397 thisnib &= 0xb;
398 }
399 else if ((int) looking_for & (int) B20)
400 {
401 if (!((thisnib & 0x4) == 0))
402 goto fail;
403
404 looking_for = (op_type) ((int) looking_for & ~(int) B20);
405 }
406 if ((int) looking_for & (int) B11)
407 {
408 if (!((thisnib & 0x2) != 0))
409 goto fail;
410
411 looking_for = (op_type) ((int) looking_for & ~(int) B11);
412 thisnib &= 0xd;
413 }
414 else if ((int) looking_for & (int) B10)
415 {
416 if (!((thisnib & 0x2) == 0))
417 goto fail;
418
419 looking_for = (op_type) ((int) looking_for & ~(int) B10);
420 }
421
422 if ((int) looking_for & (int) B01)
423 {
424 if (!((thisnib & 0x1) != 0))
425 goto fail;
426
427 looking_for = (op_type) ((int) looking_for & ~(int) B01);
428 thisnib &= 0xe;
429 }
430 else if ((int) looking_for & (int) B00)
431 {
432 if (!((thisnib & 0x1) == 0))
433 goto fail;
434
435 looking_for = (op_type) ((int) looking_for & ~(int) B00);
436 }
437
438 if (looking_for & IGNORE)
439 {
440 /* Hitachi has declared that IGNORE must be zero. */
441 if (thisnib != 0)
442 goto fail;
443 }
444 else if ((looking_for & MODE) == DATA)
445 {
446 ; /* Skip embedded data. */
447 }
448 else if ((looking_for & MODE) == DBIT)
449 {
450 /* Exclude adds/subs by looking at bit 0 and 2, and
451 make sure the operand size, either w or l,
452 matches by looking at bit 1. */
453 if ((looking_for & 7) != (thisnib & 7))
454 goto fail;
455
456 cst[opnr] = (thisnib & 0x8) ? 2 : 1;
457 }
458 else if ((looking_for & MODE) == DISP
459 || (looking_for & MODE) == ABS
460 || (looking_for & MODE) == PCREL
461 || (looking_for & MODE) == INDEXB
462 || (looking_for & MODE) == INDEXW
463 || (looking_for & MODE) == INDEXL)
464 {
465 int extra;
466 switch (looking_for & SIZE)
467 {
468 case L_16:
469 case L_16U:
470 extra = 1;
471 break;
472 case L_32:
473 extra = 3;
474 break;
475 default:
476 extra = 0;
477 break;
478 }
479 if (len / 2 + extra >= maxlen)
480 break;
481 extract_immediate (stream, looking_for, thisnib,
482 data + len / 2, cst + opnr,
483 cstlen + opnr, q);
484 /* Even address == bra, odd == bra/s. */
485 if (q->how == O (O_BRAS, SB))
486 cst[opnr] -= 1;
487 }
488 else if ((looking_for & MODE) == REG
489 || (looking_for & MODE) == LOWREG
490 || (looking_for & MODE) == IND
491 || (looking_for & MODE) == PREINC
492 || (looking_for & MODE) == POSTINC
493 || (looking_for & MODE) == PREDEC
494 || (looking_for & MODE) == POSTDEC)
495 {
496 regno[opnr] = thisnib;
497 }
498 else if (looking_for & CTRL) /* Control Register. */
499 {
500 thisnib &= 7;
501 if (((looking_for & MODE) == CCR && (thisnib != C_CCR))
502 || ((looking_for & MODE) == EXR && (thisnib != C_EXR))
503 || ((looking_for & MODE) == MACH && (thisnib != C_MACH))
504 || ((looking_for & MODE) == MACL && (thisnib != C_MACL))
505 || ((looking_for & MODE) == VBR && (thisnib != C_VBR))
506 || ((looking_for & MODE) == SBR && (thisnib != C_SBR)))
507 goto fail;
508 if (((looking_for & MODE) == CCR_EXR
509 && (thisnib != C_CCR && thisnib != C_EXR))
510 || ((looking_for & MODE) == VBR_SBR
511 && (thisnib != C_VBR && thisnib != C_SBR))
512 || ((looking_for & MODE) == MACREG
513 && (thisnib != C_MACH && thisnib != C_MACL)))
514 goto fail;
515 if (((looking_for & MODE) == CC_EX_VB_SB
516 && (thisnib != C_CCR && thisnib != C_EXR
517 && thisnib != C_VBR && thisnib != C_SBR)))
518 goto fail;
519
520 regno[opnr] = thisnib;
521 }
522 else if ((looking_for & SIZE) == L_5)
523 {
524 cst[opnr] = data[len / 2] & 31;
525 cstlen[opnr] = 5;
526 }
527 else if ((looking_for & SIZE) == L_4)
528 {
529 cst[opnr] = thisnib;
530 cstlen[opnr] = 4;
531 }
532 else if ((looking_for & SIZE) == L_16
533 || (looking_for & SIZE) == L_16U)
534 {
535 if (len / 2 + 1 >= maxlen)
536 break;
537 cst[opnr] = (data[len / 2]) * 256 + data[(len + 2) / 2];
538 cstlen[opnr] = 16;
539 }
540 else if ((looking_for & MODE) == MEMIND)
541 {
542 cst[opnr] = data[1];
543 }
544 else if ((looking_for & MODE) == VECIND)
545 {
546 cst[opnr] = data[1] & 0x7f;
547 }
548 else if ((looking_for & SIZE) == L_32)
549 {
550 unsigned int i = len / 2;
551
552 if (i + 3 >= maxlen)
553 break;
554 cst[opnr] = (((unsigned) data[i] << 24)
555 | (data[i + 1] << 16)
556 | (data[i + 2] << 8)
557 | (data[i + 3]));
558
559 cstlen[opnr] = 32;
560 }
561 else if ((looking_for & SIZE) == L_24)
562 {
563 unsigned int i = len / 2;
564
565 if (i + 2 >= maxlen)
566 break;
567 cst[opnr] =
568 (data[i] << 16) | (data[i + 1] << 8) | (data[i + 2]);
569 cstlen[opnr] = 24;
570 }
571 else if (looking_for & DISPREG)
572 {
573 dispregno[opnr] = thisnib & 7;
574 }
575 else if ((looking_for & MODE) == KBIT)
576 {
577 switch (thisnib)
578 {
579 case 9:
580 cst[opnr] = 4;
581 break;
582 case 8:
583 cst[opnr] = 2;
584 break;
585 case 0:
586 cst[opnr] = 1;
587 break;
588 default:
589 goto fail;
590 }
591 }
592 else if ((looking_for & SIZE) == L_8)
593 {
594 cstlen[opnr] = 8;
595 cst[opnr] = data[len / 2];
596 }
597 else if ((looking_for & SIZE) == L_3
598 || (looking_for & SIZE) == L_3NZ)
599 {
600 cst[opnr] = thisnib & 0x7;
601 if (cst[opnr] == 0 && (looking_for & SIZE) == L_3NZ)
602 goto fail;
603 }
604 else if ((looking_for & SIZE) == L_2)
605 {
606 cstlen[opnr] = 2;
607 cst[opnr] = thisnib & 0x3;
608 }
609 else if ((looking_for & MODE) == MACREG)
610 {
611 cst[opnr] = (thisnib == 3);
612 }
613 else if (looking_for == (op_type) E)
614 {
615 outfn (stream, "%s\t", q->name);
616
617 /* Gross. Disgusting. */
618 if (strcmp (q->name, "ldm.l") == 0)
619 {
620 int count, high;
621
622 count = (data[1] / 16) & 0x3;
623 high = regno[1];
624
625 outfn (stream, "@sp+,er%d-er%d", high - count, high);
626 return qi->length;
627 }
628
629 if (strcmp (q->name, "stm.l") == 0)
630 {
631 int count, low;
632
633 count = (data[1] / 16) & 0x3;
634 low = regno[0];
635
636 outfn (stream, "er%d-er%d,@-sp", low, low + count);
637 return qi->length;
638 }
639 if (strcmp (q->name, "rte/l") == 0
640 || strcmp (q->name, "rts/l") == 0)
641 {
642 if (regno[0] == 0)
643 outfn (stream, "er%d", regno[1]);
644 else
645 outfn (stream, "er%d-er%d", regno[1] - regno[0],
646 regno[1]);
647 return qi->length;
648 }
649 if (CONST_STRNEQ (q->name, "mova"))
650 {
651 const op_type *args = q->args.nib;
652
653 if (args[1] == (op_type) E)
654 {
655 /* Short form. */
656 print_one_arg (info, addr, args[0], cst[0],
657 cstlen[0], dispregno[0], regno[0],
658 pregnames, qi->length);
659 outfn (stream, ",er%d", dispregno[0]);
660 }
661 else
662 {
663 outfn (stream, "@(0x%x:%d,", cst[0], cstlen[0]);
664 print_one_arg (info, addr, args[1], cst[1],
665 cstlen[1], dispregno[1], regno[1],
666 pregnames, qi->length);
667 outfn (stream, ".%c),",
668 (args[0] & MODE) == INDEXB ? 'b' : 'w');
669 print_one_arg (info, addr, args[2], cst[2],
670 cstlen[2], dispregno[2], regno[2],
671 pregnames, qi->length);
672 }
673 return qi->length;
674 }
675 /* Fill in the args. */
676 {
677 const op_type *args = q->args.nib;
678 int hadone = 0;
679 int nargs;
680
681 /* Special case handling for the adds and subs instructions
682 since in H8 mode thay can only take the r0-r7 registers
683 but in other (higher) modes they can take the er0-er7
684 registers as well. */
685 if (strcmp (qi->opcode->name, "adds") == 0
686 || strcmp (qi->opcode->name, "subs") == 0)
687 {
688 outfn (stream, "#%d,%s", cst[0], pregnames[regno[1] & 0x7]);
689 return qi->length;
690 }
691
692 for (nargs = 0;
693 nargs < 3 && args[nargs] != (op_type) E;
694 nargs++)
695 {
696 int x = args[nargs];
697
698 if (hadone)
699 outfn (stream, ",");
700
701 print_one_arg (info, addr, x,
702 cst[nargs], cstlen[nargs],
703 dispregno[nargs], regno[nargs],
704 pregnames, qi->length);
705
706 hadone = 1;
707 }
708 }
709
710 return qi->length;
711 }
712 else
713 /* xgettext:c-format */
714 outfn (stream, _("Don't understand 0x%x \n"), looking_for);
715 }
716
717 len++;
718 nib++;
719 }
720
721 fail:
722 ;
723 }
724
725 /* Fell off the end. */
726 outfn (stream, ".word\tH'%x,H'%x", data[0], data[1]);
727 return 2;
728 }
729
730 int
731 print_insn_h8300 (bfd_vma addr, disassemble_info *info)
732 {
733 return bfd_h8_disassemble (addr, info, 0);
734 }
735
736 int
737 print_insn_h8300h (bfd_vma addr, disassemble_info *info)
738 {
739 return bfd_h8_disassemble (addr, info, 1);
740 }
741
742 int
743 print_insn_h8300s (bfd_vma addr, disassemble_info *info)
744 {
745 return bfd_h8_disassemble (addr, info, 2);
746 }
This page took 0.103572 seconds and 5 git commands to generate.