1 /* Disassembler for the PA-RISC. Somewhat derived from sparc-pinsn.c.
2    Copyright (C) 1989-2016 Free Software Foundation, Inc.
3 
4    Contributed by the Center for Software Science at the
5    University of Utah (pa-gdb-bugs@cs.utah.edu).
6 
7    This file is part of the GNU opcodes library.
8 
9    This library is free software; you can redistribute it and/or modify
10    it under the terms of the GNU General Public License as published by
11    the Free Software Foundation; either version 3, or (at your option)
12    any later version.
13 
14    It is distributed in the hope that it will be useful, but WITHOUT
15    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
16    or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
17    License for more details.
18 
19    You should have received a copy of the GNU General Public License
20    along with this program; if not, write to the Free Software
21    Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
22    MA 02110-1301, USA.  */
23 
24 #include "sysdep.h"
25 #include "dis-asm.h"
26 #include "libhppa.h"
27 #include "opcode/hppa.h"
28 
29 /* Integer register names, indexed by the numbers which appear in the
30    opcodes.  */
31 static const char *const reg_names[] =
32 {
33   "flags", "r1", "rp", "r3", "r4", "r5", "r6", "r7", "r8", "r9",
34   "r10", "r11", "r12", "r13", "r14", "r15", "r16", "r17", "r18", "r19",
35   "r20", "r21", "r22", "r23", "r24", "r25", "r26", "dp", "ret0", "ret1",
36   "sp", "r31"
37 };
38 
39 /* Floating point register names, indexed by the numbers which appear in the
40    opcodes.  */
41 static const char *const fp_reg_names[] =
42 {
43   "fpsr", "fpe2", "fpe4", "fpe6",
44   "fr4", "fr5", "fr6", "fr7", "fr8",
45   "fr9", "fr10", "fr11", "fr12", "fr13", "fr14", "fr15",
46   "fr16", "fr17", "fr18", "fr19", "fr20", "fr21", "fr22", "fr23",
47   "fr24", "fr25", "fr26", "fr27", "fr28", "fr29", "fr30", "fr31"
48 };
49 
50 typedef unsigned int CORE_ADDR;
51 
52 /* Get at various relevent fields of an instruction word.  */
53 
54 #define MASK_5  0x1f
55 #define MASK_10 0x3ff
56 #define MASK_11 0x7ff
57 #define MASK_14 0x3fff
58 #define MASK_16 0xffff
59 #define MASK_21 0x1fffff
60 
61 /* These macros get bit fields using HP's numbering (MSB = 0).  */
62 
63 #define GET_FIELD(X, FROM, TO) \
64   ((X) >> (31 - (TO)) & ((1 << ((TO) - (FROM) + 1)) - 1))
65 
66 #define GET_BIT(X, WHICH) \
67   GET_FIELD (X, WHICH, WHICH)
68 
69 /* Some of these have been converted to 2-d arrays because they
70    consume less storage this way.  If the maintenance becomes a
71    problem, convert them back to const 1-d pointer arrays.  */
72 static const char *const control_reg[] =
73 {
74   "rctr", "cr1", "cr2", "cr3", "cr4", "cr5", "cr6", "cr7",
75   "pidr1", "pidr2", "ccr", "sar", "pidr3", "pidr4",
76   "iva", "eiem", "itmr", "pcsq", "pcoq", "iir", "isr",
77   "ior", "ipsw", "eirr", "tr0", "tr1", "tr2", "tr3",
78   "tr4", "tr5", "tr6", "tr7"
79 };
80 
81 static const char *const compare_cond_names[] =
82 {
83   "", ",=", ",<", ",<=", ",<<", ",<<=", ",sv", ",od",
84   ",tr", ",<>", ",>=", ",>", ",>>=", ",>>", ",nsv", ",ev"
85 };
86 static const char *const compare_cond_64_names[] =
87 {
88   ",*", ",*=", ",*<", ",*<=", ",*<<", ",*<<=", ",*sv", ",*od",
89   ",*tr", ",*<>", ",*>=", ",*>", ",*>>=", ",*>>", ",*nsv", ",*ev"
90 };
91 static const char *const cmpib_cond_64_names[] =
92 {
93   ",*<<", ",*=", ",*<", ",*<=", ",*>>=", ",*<>", ",*>=", ",*>"
94 };
95 static const char *const add_cond_names[] =
96 {
97   "", ",=", ",<", ",<=", ",nuv", ",znv", ",sv", ",od",
98   ",tr", ",<>", ",>=", ",>", ",uv", ",vnz", ",nsv", ",ev"
99 };
100 static const char *const add_cond_64_names[] =
101 {
102   ",*", ",*=", ",*<", ",*<=", ",*nuv", ",*znv", ",*sv", ",*od",
103   ",*tr", ",*<>", ",*>=", ",*>", ",*uv", ",*vnz", ",*nsv", ",*ev"
104 };
105 static const char *const wide_add_cond_names[] =
106 {
107   "", ",=", ",<", ",<=", ",nuv", ",*=", ",*<", ",*<=",
108   ",tr", ",<>", ",>=", ",>", ",uv", ",*<>", ",*>=", ",*>"
109 };
110 static const char *const logical_cond_names[] =
111 {
112   "", ",=", ",<", ",<=", 0, 0, 0, ",od",
113   ",tr", ",<>", ",>=", ",>", 0, 0, 0, ",ev"};
114 static const char *const logical_cond_64_names[] =
115 {
116   ",*", ",*=", ",*<", ",*<=", 0, 0, 0, ",*od",
117   ",*tr", ",*<>", ",*>=", ",*>", 0, 0, 0, ",*ev"};
118 static const char *const unit_cond_names[] =
119 {
120   "", ",swz", ",sbz", ",shz", ",sdc", ",swc", ",sbc", ",shc",
121   ",tr", ",nwz", ",nbz", ",nhz", ",ndc", ",nwc", ",nbc", ",nhc"
122 };
123 static const char *const unit_cond_64_names[] =
124 {
125   ",*", ",*swz", ",*sbz", ",*shz", ",*sdc", ",*swc", ",*sbc", ",*shc",
126   ",*tr", ",*nwz", ",*nbz", ",*nhz", ",*ndc", ",*nwc", ",*nbc", ",*nhc"
127 };
128 static const char *const shift_cond_names[] =
129 {
130   "", ",=", ",<", ",od", ",tr", ",<>", ",>=", ",ev"
131 };
132 static const char *const shift_cond_64_names[] =
133 {
134   ",*", ",*=", ",*<", ",*od", ",*tr", ",*<>", ",*>=", ",*ev"
135 };
136 static const char *const bb_cond_64_names[] =
137 {
138   ",*<", ",*>="
139 };
140 static const char *const index_compl_names[] = {"", ",m", ",s", ",sm"};
141 static const char *const short_ldst_compl_names[] = {"", ",ma", "", ",mb"};
142 static const char *const short_bytes_compl_names[] =
143 {
144   "", ",b,m", ",e", ",e,m"
145 };
146 static const char *const float_format_names[] = {",sgl", ",dbl", "", ",quad"};
147 static const char *const fcnv_fixed_names[] = {",w", ",dw", "", ",qw"};
148 static const char *const fcnv_ufixed_names[] = {",uw", ",udw", "", ",uqw"};
149 static const char *const float_comp_names[] =
150 {
151   ",false?", ",false", ",?", ",!<=>", ",=", ",=t", ",?=", ",!<>",
152   ",!?>=", ",<", ",?<", ",!>=", ",!?>", ",<=", ",?<=", ",!>",
153   ",!?<=", ",>", ",?>", ",!<=", ",!?<", ",>=", ",?>=", ",!<",
154   ",!?=", ",<>", ",!=", ",!=t", ",!?", ",<=>", ",true?", ",true"
155 };
156 static const char *const signed_unsigned_names[] = {",u", ",s"};
157 static const char *const mix_half_names[] = {",l", ",r"};
158 static const char *const saturation_names[] = {",us", ",ss", 0, ""};
159 static const char *const read_write_names[] = {",r", ",w"};
160 static const char *const add_compl_names[] = { 0, "", ",l", ",tsv" };
161 
162 /* For a bunch of different instructions form an index into a
163    completer name table.  */
164 #define GET_COMPL(insn) (GET_FIELD (insn, 26, 26) | \
165 			 GET_FIELD (insn, 18, 18) << 1)
166 
167 #define GET_COND(insn) (GET_FIELD ((insn), 16, 18) + \
168 			(GET_FIELD ((insn), 19, 19) ? 8 : 0))
169 
170 /* Utility function to print registers.  Put these first, so gcc's function
171    inlining can do its stuff.  */
172 
173 #define fputs_filtered(STR,F)	(*info->fprintf_func) (info->stream, "%s", STR)
174 
175 static void
fput_reg(unsigned reg,disassemble_info * info)176 fput_reg (unsigned reg, disassemble_info *info)
177 {
178   (*info->fprintf_func) (info->stream, "%s", reg ? reg_names[reg] : "r0");
179 }
180 
181 static void
fput_fp_reg(unsigned reg,disassemble_info * info)182 fput_fp_reg (unsigned reg, disassemble_info *info)
183 {
184   (*info->fprintf_func) (info->stream, "%s", reg ? fp_reg_names[reg] : "fr0");
185 }
186 
187 static void
fput_fp_reg_r(unsigned reg,disassemble_info * info)188 fput_fp_reg_r (unsigned reg, disassemble_info *info)
189 {
190   /* Special case floating point exception registers.  */
191   if (reg < 4)
192     (*info->fprintf_func) (info->stream, "fpe%d", reg * 2 + 1);
193   else
194     (*info->fprintf_func) (info->stream, "%sR",
195 			   reg ? fp_reg_names[reg] : "fr0");
196 }
197 
198 static void
fput_creg(unsigned reg,disassemble_info * info)199 fput_creg (unsigned reg, disassemble_info *info)
200 {
201   (*info->fprintf_func) (info->stream, "%s", control_reg[reg]);
202 }
203 
204 /* Print constants with sign.  */
205 
206 static void
fput_const(unsigned num,disassemble_info * info)207 fput_const (unsigned num, disassemble_info *info)
208 {
209   if ((int) num < 0)
210     (*info->fprintf_func) (info->stream, "-%x", - (int) num);
211   else
212     (*info->fprintf_func) (info->stream, "%x", num);
213 }
214 
215 /* Routines to extract various sized constants out of hppa
216    instructions.  */
217 
218 /* Extract a 3-bit space register number from a be, ble, mtsp or mfsp.  */
219 static int
extract_3(unsigned word)220 extract_3 (unsigned word)
221 {
222   return GET_FIELD (word, 18, 18) << 2 | GET_FIELD (word, 16, 17);
223 }
224 
225 static int
extract_5_load(unsigned word)226 extract_5_load (unsigned word)
227 {
228   return low_sign_extend (word >> 16 & MASK_5, 5);
229 }
230 
231 /* Extract the immediate field from a st{bhw}s instruction.  */
232 
233 static int
extract_5_store(unsigned word)234 extract_5_store (unsigned word)
235 {
236   return low_sign_extend (word & MASK_5, 5);
237 }
238 
239 /* Extract the immediate field from a break instruction.  */
240 
241 static unsigned
extract_5r_store(unsigned word)242 extract_5r_store (unsigned word)
243 {
244   return (word & MASK_5);
245 }
246 
247 /* Extract the immediate field from a {sr}sm instruction.  */
248 
249 static unsigned
extract_5R_store(unsigned word)250 extract_5R_store (unsigned word)
251 {
252   return (word >> 16 & MASK_5);
253 }
254 
255 /* Extract the 10 bit immediate field from a {sr}sm instruction.  */
256 
257 static unsigned
extract_10U_store(unsigned word)258 extract_10U_store (unsigned word)
259 {
260   return (word >> 16 & MASK_10);
261 }
262 
263 /* Extract the immediate field from a bb instruction.  */
264 
265 static unsigned
extract_5Q_store(unsigned word)266 extract_5Q_store (unsigned word)
267 {
268   return (word >> 21 & MASK_5);
269 }
270 
271 /* Extract an 11 bit immediate field.  */
272 
273 static int
extract_11(unsigned word)274 extract_11 (unsigned word)
275 {
276   return low_sign_extend (word & MASK_11, 11);
277 }
278 
279 /* Extract a 14 bit immediate field.  */
280 
281 static int
extract_14(unsigned word)282 extract_14 (unsigned word)
283 {
284   return low_sign_extend (word & MASK_14, 14);
285 }
286 
287 /* Extract a 16 bit immediate field (PA2.0 wide only).  */
288 
289 static int
extract_16(unsigned word)290 extract_16 (unsigned word)
291 {
292   int m15, m0, m1;
293 
294   m0 = GET_BIT (word, 16);
295   m1 = GET_BIT (word, 17);
296   m15 = GET_BIT (word, 31);
297   word = (word >> 1) & 0x1fff;
298   word = word | (m15 << 15) | ((m15 ^ m0) << 14) | ((m15 ^ m1) << 13);
299   return sign_extend (word, 16);
300 }
301 
302 /* Extract a 21 bit constant.  */
303 
304 static int
extract_21(unsigned word)305 extract_21 (unsigned word)
306 {
307   int val;
308 
309   word &= MASK_21;
310   word <<= 11;
311   val = GET_FIELD (word, 20, 20);
312   val <<= 11;
313   val |= GET_FIELD (word, 9, 19);
314   val <<= 2;
315   val |= GET_FIELD (word, 5, 6);
316   val <<= 5;
317   val |= GET_FIELD (word, 0, 4);
318   val <<= 2;
319   val |= GET_FIELD (word, 7, 8);
320   return sign_extend (val, 21) << 11;
321 }
322 
323 /* Extract a 12 bit constant from branch instructions.  */
324 
325 static int
extract_12(unsigned word)326 extract_12 (unsigned word)
327 {
328   return sign_extend (GET_FIELD (word, 19, 28)
329 		      | GET_FIELD (word, 29, 29) << 10
330 		      | (word & 0x1) << 11, 12) << 2;
331 }
332 
333 /* Extract a 17 bit constant from branch instructions, returning the
334    19 bit signed value.  */
335 
336 static int
extract_17(unsigned word)337 extract_17 (unsigned word)
338 {
339   return sign_extend (GET_FIELD (word, 19, 28)
340 		      | GET_FIELD (word, 29, 29) << 10
341 		      | GET_FIELD (word, 11, 15) << 11
342 		      | (word & 0x1) << 16, 17) << 2;
343 }
344 
345 static int
extract_22(unsigned word)346 extract_22 (unsigned word)
347 {
348   return sign_extend (GET_FIELD (word, 19, 28)
349 		      | GET_FIELD (word, 29, 29) << 10
350 		      | GET_FIELD (word, 11, 15) << 11
351 		      | GET_FIELD (word, 6, 10) << 16
352 		      | (word & 0x1) << 21, 22) << 2;
353 }
354 
355 /* Print one instruction.  */
356 
357 int
print_insn_hppa(bfd_vma memaddr,disassemble_info * info)358 print_insn_hppa (bfd_vma memaddr, disassemble_info *info)
359 {
360   bfd_byte buffer[4];
361   unsigned int insn, i;
362 
363   {
364     int status =
365       (*info->read_memory_func) (memaddr, buffer, sizeof (buffer), info);
366     if (status != 0)
367       {
368 	(*info->memory_error_func) (status, memaddr, info);
369 	return -1;
370       }
371   }
372 
373   insn = bfd_getb32 (buffer);
374 
375   for (i = 0; i < NUMOPCODES; ++i)
376     {
377       const struct pa_opcode *opcode = &pa_opcodes[i];
378 
379       if ((insn & opcode->mask) == opcode->match)
380 	{
381 	  const char *s;
382 #ifndef BFD64
383 	  if (opcode->arch == pa20w)
384 	    continue;
385 #endif
386 	  (*info->fprintf_func) (info->stream, "%s", opcode->name);
387 
388 	  if (!strchr ("cfCY?-+nHNZFIuv{", opcode->args[0]))
389 	    (*info->fprintf_func) (info->stream, " ");
390 	  for (s = opcode->args; *s != '\0'; ++s)
391 	    {
392 	      switch (*s)
393 		{
394 		case 'x':
395 		  fput_reg (GET_FIELD (insn, 11, 15), info);
396 		  break;
397 		case 'a':
398 		case 'b':
399 		  fput_reg (GET_FIELD (insn, 6, 10), info);
400 		  break;
401 		case '^':
402 		  fput_creg (GET_FIELD (insn, 6, 10), info);
403 		  break;
404 		case 't':
405 		  fput_reg (GET_FIELD (insn, 27, 31), info);
406 		  break;
407 
408 		  /* Handle floating point registers.  */
409 		case 'f':
410 		  switch (*++s)
411 		    {
412 		    case 't':
413 		      fput_fp_reg (GET_FIELD (insn, 27, 31), info);
414 		      break;
415 		    case 'T':
416 		      if (GET_FIELD (insn, 25, 25))
417 			fput_fp_reg_r (GET_FIELD (insn, 27, 31), info);
418 		      else
419 			fput_fp_reg (GET_FIELD (insn, 27, 31), info);
420 		      break;
421 		    case 'a':
422 		      if (GET_FIELD (insn, 25, 25))
423 			fput_fp_reg_r (GET_FIELD (insn, 6, 10), info);
424 		      else
425 			fput_fp_reg (GET_FIELD (insn, 6, 10), info);
426 		      break;
427 
428 		      /* 'fA' will not generate a space before the regsiter
429 			 name.  Normally that is fine.  Except that it
430 			 causes problems with xmpyu which has no FP format
431 			 completer.  */
432 		    case 'X':
433 		      fputs_filtered (" ", info);
434 		      /* FALLTHRU */
435 
436 		    case 'A':
437 		      if (GET_FIELD (insn, 24, 24))
438 			fput_fp_reg_r (GET_FIELD (insn, 6, 10), info);
439 		      else
440 			fput_fp_reg (GET_FIELD (insn, 6, 10), info);
441 		      break;
442 		    case 'b':
443 		      if (GET_FIELD (insn, 25, 25))
444 			fput_fp_reg_r (GET_FIELD (insn, 11, 15), info);
445 		      else
446 			fput_fp_reg (GET_FIELD (insn, 11, 15), info);
447 		      break;
448 		    case 'B':
449 		      if (GET_FIELD (insn, 19, 19))
450 			fput_fp_reg_r (GET_FIELD (insn, 11, 15), info);
451 		      else
452 			fput_fp_reg (GET_FIELD (insn, 11, 15), info);
453 		      break;
454 		    case 'C':
455 		      {
456 			int reg = GET_FIELD (insn, 21, 22);
457 			reg |= GET_FIELD (insn, 16, 18) << 2;
458 			if (GET_FIELD (insn, 23, 23) != 0)
459 			  fput_fp_reg_r (reg, info);
460 			else
461 			  fput_fp_reg (reg, info);
462 			break;
463 		      }
464 		    case 'i':
465 		      {
466 			int reg = GET_FIELD (insn, 6, 10);
467 
468 			reg |= (GET_FIELD (insn, 26, 26) << 4);
469 			fput_fp_reg (reg, info);
470 			break;
471 		      }
472 		    case 'j':
473 		      {
474 			int reg = GET_FIELD (insn, 11, 15);
475 
476 			reg |= (GET_FIELD (insn, 26, 26) << 4);
477 			fput_fp_reg (reg, info);
478 			break;
479 		      }
480 		    case 'k':
481 		      {
482 			int reg = GET_FIELD (insn, 27, 31);
483 
484 			reg |= (GET_FIELD (insn, 26, 26) << 4);
485 			fput_fp_reg (reg, info);
486 			break;
487 		      }
488 		    case 'l':
489 		      {
490 			int reg = GET_FIELD (insn, 21, 25);
491 
492 			reg |= (GET_FIELD (insn, 26, 26) << 4);
493 			fput_fp_reg (reg, info);
494 			break;
495 		      }
496 		    case 'm':
497 		      {
498 			int reg = GET_FIELD (insn, 16, 20);
499 
500 			reg |= (GET_FIELD (insn, 26, 26) << 4);
501 			fput_fp_reg (reg, info);
502 			break;
503 		      }
504 
505 		      /* 'fe' will not generate a space before the register
506 			 name.  Normally that is fine.  Except that it
507 			 causes problems with fstw fe,y(b) which has no FP
508 			 format completer.  */
509 		    case 'E':
510 		      fputs_filtered (" ", info);
511 		      /* FALLTHRU */
512 
513 		    case 'e':
514 		      if (GET_FIELD (insn, 30, 30))
515 			fput_fp_reg_r (GET_FIELD (insn, 11, 15), info);
516 		      else
517 			fput_fp_reg (GET_FIELD (insn, 11, 15), info);
518 		      break;
519 		    case 'x':
520 		      fput_fp_reg (GET_FIELD (insn, 11, 15), info);
521 		      break;
522 		    }
523 		  break;
524 
525 		case '5':
526 		  fput_const (extract_5_load (insn), info);
527 		  break;
528 		case 's':
529 		  {
530 		    int space = GET_FIELD (insn, 16, 17);
531 		    /* Zero means implicit addressing, not use of sr0.  */
532 		    if (space != 0)
533 		      (*info->fprintf_func) (info->stream, "sr%d", space);
534 		  }
535 		  break;
536 
537 		case 'S':
538 		  (*info->fprintf_func) (info->stream, "sr%d",
539 					 extract_3 (insn));
540 		  break;
541 
542 		  /* Handle completers.  */
543 		case 'c':
544 		  switch (*++s)
545 		    {
546 		    case 'x':
547 		      (*info->fprintf_func)
548 			(info->stream, "%s",
549 			 index_compl_names[GET_COMPL (insn)]);
550 		      break;
551 		    case 'X':
552 		      (*info->fprintf_func)
553 			(info->stream, "%s ",
554 			 index_compl_names[GET_COMPL (insn)]);
555 		      break;
556 		    case 'm':
557 		      (*info->fprintf_func)
558 			(info->stream, "%s",
559 			 short_ldst_compl_names[GET_COMPL (insn)]);
560 		      break;
561 		    case 'M':
562 		      (*info->fprintf_func)
563 			(info->stream, "%s ",
564 			 short_ldst_compl_names[GET_COMPL (insn)]);
565 		      break;
566 		    case 'A':
567 		      (*info->fprintf_func)
568 			(info->stream, "%s ",
569 			 short_bytes_compl_names[GET_COMPL (insn)]);
570 		      break;
571 		    case 's':
572 		      (*info->fprintf_func)
573 			(info->stream, "%s",
574 			 short_bytes_compl_names[GET_COMPL (insn)]);
575 		      break;
576 		    case 'c':
577 		    case 'C':
578 		      switch (GET_FIELD (insn, 20, 21))
579 			{
580 			case 1:
581 			  (*info->fprintf_func) (info->stream, ",bc ");
582 			  break;
583 			case 2:
584 			  (*info->fprintf_func) (info->stream, ",sl ");
585 			  break;
586 			default:
587 			  (*info->fprintf_func) (info->stream, " ");
588 			}
589 		      break;
590 		    case 'd':
591 		      switch (GET_FIELD (insn, 20, 21))
592 			{
593 			case 1:
594 			  (*info->fprintf_func) (info->stream, ",co ");
595 			  break;
596 			default:
597 			  (*info->fprintf_func) (info->stream, " ");
598 			}
599 		      break;
600 		    case 'o':
601 		      (*info->fprintf_func) (info->stream, ",o");
602 		      break;
603 		    case 'g':
604 		      (*info->fprintf_func) (info->stream, ",gate");
605 		      break;
606 		    case 'p':
607 		      (*info->fprintf_func) (info->stream, ",l,push");
608 		      break;
609 		    case 'P':
610 		      (*info->fprintf_func) (info->stream, ",pop");
611 		      break;
612 		    case 'l':
613 		    case 'L':
614 		      (*info->fprintf_func) (info->stream, ",l");
615 		      break;
616 		    case 'w':
617 		      (*info->fprintf_func)
618 			(info->stream, "%s ",
619 			 read_write_names[GET_FIELD (insn, 25, 25)]);
620 		      break;
621 		    case 'W':
622 		      (*info->fprintf_func) (info->stream, ",w ");
623 		      break;
624 		    case 'r':
625 		      if (GET_FIELD (insn, 23, 26) == 5)
626 			(*info->fprintf_func) (info->stream, ",r");
627 		      break;
628 		    case 'Z':
629 		      if (GET_FIELD (insn, 26, 26))
630 			(*info->fprintf_func) (info->stream, ",m ");
631 		      else
632 			(*info->fprintf_func) (info->stream, " ");
633 		      break;
634 		    case 'i':
635 		      if (GET_FIELD (insn, 25, 25))
636 			(*info->fprintf_func) (info->stream, ",i");
637 		      break;
638 		    case 'z':
639 		      if (!GET_FIELD (insn, 21, 21))
640 			(*info->fprintf_func) (info->stream, ",z");
641 		      break;
642 		    case 'a':
643 		      (*info->fprintf_func)
644 			(info->stream, "%s",
645 			 add_compl_names[GET_FIELD (insn, 20, 21)]);
646 		      break;
647 		    case 'Y':
648 		      (*info->fprintf_func)
649 			(info->stream, ",dc%s",
650 			 add_compl_names[GET_FIELD (insn, 20, 21)]);
651 		      break;
652 		    case 'y':
653 		      (*info->fprintf_func)
654 			(info->stream, ",c%s",
655 			 add_compl_names[GET_FIELD (insn, 20, 21)]);
656 		      break;
657 		    case 'v':
658 		      if (GET_FIELD (insn, 20, 20))
659 			(*info->fprintf_func) (info->stream, ",tsv");
660 		      break;
661 		    case 't':
662 		      (*info->fprintf_func) (info->stream, ",tc");
663 		      if (GET_FIELD (insn, 20, 20))
664 			(*info->fprintf_func) (info->stream, ",tsv");
665 		      break;
666 		    case 'B':
667 		      (*info->fprintf_func) (info->stream, ",db");
668 		      if (GET_FIELD (insn, 20, 20))
669 			(*info->fprintf_func) (info->stream, ",tsv");
670 		      break;
671 		    case 'b':
672 		      (*info->fprintf_func) (info->stream, ",b");
673 		      if (GET_FIELD (insn, 20, 20))
674 			(*info->fprintf_func) (info->stream, ",tsv");
675 		      break;
676 		    case 'T':
677 		      if (GET_FIELD (insn, 25, 25))
678 			(*info->fprintf_func) (info->stream, ",tc");
679 		      break;
680 		    case 'S':
681 		      /* EXTRD/W has a following condition.  */
682 		      if (*(s + 1) == '?')
683 			(*info->fprintf_func)
684 			  (info->stream, "%s",
685 			   signed_unsigned_names[GET_FIELD (insn, 21, 21)]);
686 		      else
687 			(*info->fprintf_func)
688 			  (info->stream, "%s ",
689 			   signed_unsigned_names[GET_FIELD (insn, 21, 21)]);
690 		      break;
691 		    case 'h':
692 		      (*info->fprintf_func)
693 			(info->stream, "%s",
694 			 mix_half_names[GET_FIELD (insn, 17, 17)]);
695 		      break;
696 		    case 'H':
697 		      (*info->fprintf_func)
698 			(info->stream, "%s ",
699 			 saturation_names[GET_FIELD (insn, 24, 25)]);
700 		      break;
701 		    case '*':
702 		      (*info->fprintf_func)
703 			(info->stream, ",%d%d%d%d ",
704 			 GET_FIELD (insn, 17, 18), GET_FIELD (insn, 20, 21),
705 			 GET_FIELD (insn, 22, 23), GET_FIELD (insn, 24, 25));
706 		      break;
707 
708 		    case 'q':
709 		      {
710 			int m, a;
711 
712 			m = GET_FIELD (insn, 28, 28);
713 			a = GET_FIELD (insn, 29, 29);
714 
715 			if (m && !a)
716 			  fputs_filtered (",ma ", info);
717 			else if (m && a)
718 			  fputs_filtered (",mb ", info);
719 			else
720 			  fputs_filtered (" ", info);
721 			break;
722 		      }
723 
724 		    case 'J':
725 		      {
726 			int opc = GET_FIELD (insn, 0, 5);
727 
728 			if (opc == 0x16 || opc == 0x1e)
729 			  {
730 			    if (GET_FIELD (insn, 29, 29) == 0)
731 			      fputs_filtered (",ma ", info);
732 			    else
733 			      fputs_filtered (",mb ", info);
734 			  }
735 			else
736 			  fputs_filtered (" ", info);
737 			break;
738 		      }
739 
740 		    case 'e':
741 		      {
742 			int opc = GET_FIELD (insn, 0, 5);
743 
744 			if (opc == 0x13 || opc == 0x1b)
745 			  {
746 			    if (GET_FIELD (insn, 18, 18) == 1)
747 			      fputs_filtered (",mb ", info);
748 			    else
749 			      fputs_filtered (",ma ", info);
750 			  }
751 			else if (opc == 0x17 || opc == 0x1f)
752 			  {
753 			    if (GET_FIELD (insn, 31, 31) == 1)
754 			      fputs_filtered (",ma ", info);
755 			    else
756 			      fputs_filtered (",mb ", info);
757 			  }
758 			else
759 			  fputs_filtered (" ", info);
760 
761 			break;
762 		      }
763 		    }
764 		  break;
765 
766 		  /* Handle conditions.  */
767 		case '?':
768 		  {
769 		    s++;
770 		    switch (*s)
771 		      {
772 		      case 'f':
773 			(*info->fprintf_func)
774 			  (info->stream, "%s ",
775 			   float_comp_names[GET_FIELD (insn, 27, 31)]);
776 			break;
777 
778 			/* These four conditions are for the set of instructions
779 			   which distinguish true/false conditions by opcode
780 			   rather than by the 'f' bit (sigh): comb, comib,
781 			   addb, addib.  */
782 		      case 't':
783 			fputs_filtered
784 			  (compare_cond_names[GET_FIELD (insn, 16, 18)], info);
785 			break;
786 		      case 'n':
787 			fputs_filtered
788 			  (compare_cond_names[GET_FIELD (insn, 16, 18)
789 					      + GET_FIELD (insn, 4, 4) * 8],
790 			   info);
791 			break;
792 		      case 'N':
793 			fputs_filtered
794 			  (compare_cond_64_names[GET_FIELD (insn, 16, 18)
795 						 + GET_FIELD (insn, 2, 2) * 8],
796 			   info);
797 			break;
798 		      case 'Q':
799 			fputs_filtered
800 			  (cmpib_cond_64_names[GET_FIELD (insn, 16, 18)],
801 			   info);
802 			break;
803 		      case '@':
804 			fputs_filtered
805 			  (add_cond_names[GET_FIELD (insn, 16, 18)
806 					  + GET_FIELD (insn, 4, 4) * 8],
807 			   info);
808 			break;
809 		      case 's':
810 			(*info->fprintf_func)
811 			  (info->stream, "%s ",
812 			   compare_cond_names[GET_COND (insn)]);
813 			break;
814 		      case 'S':
815 			(*info->fprintf_func)
816 			  (info->stream, "%s ",
817 			   compare_cond_64_names[GET_COND (insn)]);
818 			break;
819 		      case 'a':
820 			(*info->fprintf_func)
821 			  (info->stream, "%s ",
822 			   add_cond_names[GET_COND (insn)]);
823 			break;
824 		      case 'A':
825 			(*info->fprintf_func)
826 			  (info->stream, "%s ",
827 			   add_cond_64_names[GET_COND (insn)]);
828 			break;
829 		      case 'd':
830 			(*info->fprintf_func)
831 			  (info->stream, "%s",
832 			   add_cond_names[GET_FIELD (insn, 16, 18)]);
833 			break;
834 
835 		      case 'W':
836 			(*info->fprintf_func)
837 			  (info->stream, "%s",
838 			   wide_add_cond_names[GET_FIELD (insn, 16, 18) +
839 					       GET_FIELD (insn, 4, 4) * 8]);
840 			break;
841 
842 		      case 'l':
843 			(*info->fprintf_func)
844 			  (info->stream, "%s ",
845 			   logical_cond_names[GET_COND (insn)]);
846 			break;
847 		      case 'L':
848 			(*info->fprintf_func)
849 			  (info->stream, "%s ",
850 			   logical_cond_64_names[GET_COND (insn)]);
851 			break;
852 		      case 'u':
853 			(*info->fprintf_func)
854 			  (info->stream, "%s ",
855 			   unit_cond_names[GET_COND (insn)]);
856 			break;
857 		      case 'U':
858 			(*info->fprintf_func)
859 			  (info->stream, "%s ",
860 			   unit_cond_64_names[GET_COND (insn)]);
861 			break;
862 		      case 'y':
863 		      case 'x':
864 		      case 'b':
865 			(*info->fprintf_func)
866 			  (info->stream, "%s",
867 			   shift_cond_names[GET_FIELD (insn, 16, 18)]);
868 
869 			/* If the next character in args is 'n', it will handle
870 			   putting out the space.  */
871 			if (s[1] != 'n')
872 			  (*info->fprintf_func) (info->stream, " ");
873 			break;
874 		      case 'X':
875 			(*info->fprintf_func)
876 			  (info->stream, "%s ",
877 			   shift_cond_64_names[GET_FIELD (insn, 16, 18)]);
878 			break;
879 		      case 'B':
880 			(*info->fprintf_func)
881 			  (info->stream, "%s",
882 			   bb_cond_64_names[GET_FIELD (insn, 16, 16)]);
883 
884 			/* If the next character in args is 'n', it will handle
885 			   putting out the space.  */
886 			if (s[1] != 'n')
887 			  (*info->fprintf_func) (info->stream, " ");
888 			break;
889 		      }
890 		    break;
891 		  }
892 
893 		case 'V':
894 		  fput_const (extract_5_store (insn), info);
895 		  break;
896 		case 'r':
897 		  fput_const (extract_5r_store (insn), info);
898 		  break;
899 		case 'R':
900 		  fput_const (extract_5R_store (insn), info);
901 		  break;
902 		case 'U':
903 		  fput_const (extract_10U_store (insn), info);
904 		  break;
905 		case 'B':
906 		case 'Q':
907 		  fput_const (extract_5Q_store (insn), info);
908 		  break;
909 		case 'i':
910 		  fput_const (extract_11 (insn), info);
911 		  break;
912 		case 'j':
913 		  fput_const (extract_14 (insn), info);
914 		  break;
915 		case 'k':
916 		  fputs_filtered ("L%", info);
917 		  fput_const (extract_21 (insn), info);
918 		  break;
919 		case '<':
920 		case 'l':
921 		  /* 16-bit long disp., PA2.0 wide only.  */
922 		  fput_const (extract_16 (insn), info);
923 		  break;
924 		case 'n':
925 		  if (insn & 0x2)
926 		    (*info->fprintf_func) (info->stream, ",n ");
927 		  else
928 		    (*info->fprintf_func) (info->stream, " ");
929 		  break;
930 		case 'N':
931 		  if ((insn & 0x20) && s[1])
932 		    (*info->fprintf_func) (info->stream, ",n ");
933 		  else if (insn & 0x20)
934 		    (*info->fprintf_func) (info->stream, ",n");
935 		  else if (s[1])
936 		    (*info->fprintf_func) (info->stream, " ");
937 		  break;
938 		case 'w':
939 		  (*info->print_address_func)
940 		    (memaddr + 8 + extract_12 (insn), info);
941 		  break;
942 		case 'W':
943 		  /* 17 bit PC-relative branch.  */
944 		  (*info->print_address_func)
945 		    ((memaddr + 8 + extract_17 (insn)), info);
946 		  break;
947 		case 'z':
948 		  /* 17 bit displacement.  This is an offset from a register
949 		     so it gets disasssembled as just a number, not any sort
950 		     of address.  */
951 		  fput_const (extract_17 (insn), info);
952 		  break;
953 
954 		case 'Z':
955 		  /* addil %r1 implicit output.  */
956 		  fputs_filtered ("r1", info);
957 		  break;
958 
959 		case 'Y':
960 		  /* be,l %sr0,%r31 implicit output.  */
961 		  fputs_filtered ("sr0,r31", info);
962 		  break;
963 
964 		case '@':
965 		  (*info->fprintf_func) (info->stream, "0");
966 		  break;
967 
968 		case '.':
969 		  (*info->fprintf_func) (info->stream, "%d",
970 					 GET_FIELD (insn, 24, 25));
971 		  break;
972 		case '*':
973 		  (*info->fprintf_func) (info->stream, "%d",
974 					 GET_FIELD (insn, 22, 25));
975 		  break;
976 		case '!':
977 		  fputs_filtered ("sar", info);
978 		  break;
979 		case 'p':
980 		  (*info->fprintf_func) (info->stream, "%d",
981 					 31 - GET_FIELD (insn, 22, 26));
982 		  break;
983 		case '~':
984 		  {
985 		    int num;
986 		    num = GET_FIELD (insn, 20, 20) << 5;
987 		    num |= GET_FIELD (insn, 22, 26);
988 		    (*info->fprintf_func) (info->stream, "%d", 63 - num);
989 		    break;
990 		  }
991 		case 'P':
992 		  (*info->fprintf_func) (info->stream, "%d",
993 					 GET_FIELD (insn, 22, 26));
994 		  break;
995 		case 'q':
996 		  {
997 		    int num;
998 		    num = GET_FIELD (insn, 20, 20) << 5;
999 		    num |= GET_FIELD (insn, 22, 26);
1000 		    (*info->fprintf_func) (info->stream, "%d", num);
1001 		    break;
1002 		  }
1003 		case 'T':
1004 		  (*info->fprintf_func) (info->stream, "%d",
1005 					 32 - GET_FIELD (insn, 27, 31));
1006 		  break;
1007 		case '%':
1008 		  {
1009 		    int num;
1010 		    num = (GET_FIELD (insn, 23, 23) + 1) * 32;
1011 		    num -= GET_FIELD (insn, 27, 31);
1012 		    (*info->fprintf_func) (info->stream, "%d", num);
1013 		    break;
1014 		  }
1015 		case '|':
1016 		  {
1017 		    int num;
1018 		    num = (GET_FIELD (insn, 19, 19) + 1) * 32;
1019 		    num -= GET_FIELD (insn, 27, 31);
1020 		    (*info->fprintf_func) (info->stream, "%d", num);
1021 		    break;
1022 		  }
1023 		case '$':
1024 		  fput_const (GET_FIELD (insn, 20, 28), info);
1025 		  break;
1026 		case 'A':
1027 		  fput_const (GET_FIELD (insn, 6, 18), info);
1028 		  break;
1029 		case 'D':
1030 		  fput_const (GET_FIELD (insn, 6, 31), info);
1031 		  break;
1032 		case 'v':
1033 		  (*info->fprintf_func) (info->stream, ",%d",
1034 					 GET_FIELD (insn, 23, 25));
1035 		  break;
1036 		case 'O':
1037 		  fput_const ((GET_FIELD (insn, 6,20) << 5 |
1038 			       GET_FIELD (insn, 27, 31)), info);
1039 		  break;
1040 		case 'o':
1041 		  fput_const (GET_FIELD (insn, 6, 20), info);
1042 		  break;
1043 		case '2':
1044 		  fput_const ((GET_FIELD (insn, 6, 22) << 5 |
1045 			       GET_FIELD (insn, 27, 31)), info);
1046 		  break;
1047 		case '1':
1048 		  fput_const ((GET_FIELD (insn, 11, 20) << 5 |
1049 			       GET_FIELD (insn, 27, 31)), info);
1050 		  break;
1051 		case '0':
1052 		  fput_const ((GET_FIELD (insn, 16, 20) << 5 |
1053 			       GET_FIELD (insn, 27, 31)), info);
1054 		  break;
1055 		case 'u':
1056 		  (*info->fprintf_func) (info->stream, ",%d",
1057 					 GET_FIELD (insn, 23, 25));
1058 		  break;
1059 		case 'F':
1060 		  /* If no destination completer and not before a completer
1061 		     for fcmp, need a space here.  */
1062 		  if (s[1] == 'G' || s[1] == '?')
1063 		    fputs_filtered
1064 		      (float_format_names[GET_FIELD (insn, 19, 20)], info);
1065 		  else
1066 		    (*info->fprintf_func)
1067 		      (info->stream, "%s ",
1068 		       float_format_names[GET_FIELD (insn, 19, 20)]);
1069 		  break;
1070 		case 'G':
1071 		  (*info->fprintf_func)
1072 		    (info->stream, "%s ",
1073 		     float_format_names[GET_FIELD (insn, 17, 18)]);
1074 		  break;
1075 		case 'H':
1076 		  if (GET_FIELD (insn, 26, 26) == 1)
1077 		    (*info->fprintf_func) (info->stream, "%s ",
1078 					   float_format_names[0]);
1079 		  else
1080 		    (*info->fprintf_func) (info->stream, "%s ",
1081 					   float_format_names[1]);
1082 		  break;
1083 		case 'I':
1084 		  /* If no destination completer and not before a completer
1085 		     for fcmp, need a space here.  */
1086 		  if (s[1] == '?')
1087 		    fputs_filtered
1088 		      (float_format_names[GET_FIELD (insn, 20, 20)], info);
1089 		  else
1090 		    (*info->fprintf_func)
1091 		      (info->stream, "%s ",
1092 		       float_format_names[GET_FIELD (insn, 20, 20)]);
1093 		  break;
1094 
1095 		case 'J':
1096 		  fput_const (extract_14 (insn), info);
1097 		  break;
1098 
1099 		case '#':
1100 		  {
1101 		    int sign = GET_FIELD (insn, 31, 31);
1102 		    int imm10 = GET_FIELD (insn, 18, 27);
1103 		    int disp;
1104 
1105 		    if (sign)
1106 		      disp = (-1U << 10) | imm10;
1107 		    else
1108 		      disp = imm10;
1109 
1110 		    disp <<= 3;
1111 		    fput_const (disp, info);
1112 		    break;
1113 		  }
1114 		case 'K':
1115 		case 'd':
1116 		  {
1117 		    int sign = GET_FIELD (insn, 31, 31);
1118 		    int imm11 = GET_FIELD (insn, 18, 28);
1119 		    int disp;
1120 
1121 		    if (sign)
1122 		      disp = (-1U << 11) | imm11;
1123 		    else
1124 		      disp = imm11;
1125 
1126 		    disp <<= 2;
1127 		    fput_const (disp, info);
1128 		    break;
1129 		  }
1130 
1131 		case '>':
1132 		case 'y':
1133 		  {
1134 		    /* 16-bit long disp., PA2.0 wide only.  */
1135 		    int disp = extract_16 (insn);
1136 		    disp &= ~3;
1137 		    fput_const (disp, info);
1138 		    break;
1139 		  }
1140 
1141 		case '&':
1142 		  {
1143 		    /* 16-bit long disp., PA2.0 wide only.  */
1144 		    int disp = extract_16 (insn);
1145 		    disp &= ~7;
1146 		    fput_const (disp, info);
1147 		    break;
1148 		  }
1149 
1150 		case '_':
1151 		  break; /* Dealt with by '{' */
1152 
1153 		case '{':
1154 		  {
1155 		    int sub = GET_FIELD (insn, 14, 16);
1156 		    int df = GET_FIELD (insn, 17, 18);
1157 		    int sf = GET_FIELD (insn, 19, 20);
1158 		    const char * const * source = float_format_names;
1159 		    const char * const * dest = float_format_names;
1160 		    char *t = "";
1161 
1162 		    if (sub == 4)
1163 		      {
1164 			fputs_filtered (",UND ", info);
1165 			break;
1166 		      }
1167 		    if ((sub & 3) == 3)
1168 		      t = ",t";
1169 		    if ((sub & 3) == 1)
1170 		      source = sub & 4 ? fcnv_ufixed_names : fcnv_fixed_names;
1171 		    if (sub & 2)
1172 		      dest = sub & 4 ? fcnv_ufixed_names : fcnv_fixed_names;
1173 
1174 		    (*info->fprintf_func) (info->stream, "%s%s%s ",
1175 					   t, source[sf], dest[df]);
1176 		    break;
1177 		  }
1178 
1179 		case 'm':
1180 		  {
1181 		    int y = GET_FIELD (insn, 16, 18);
1182 
1183 		    if (y != 1)
1184 		      fput_const ((y ^ 1) - 1, info);
1185 		  }
1186 		  break;
1187 
1188 		case 'h':
1189 		  {
1190 		    int cbit;
1191 
1192 		    cbit = GET_FIELD (insn, 16, 18);
1193 
1194 		    if (cbit > 0)
1195 		      (*info->fprintf_func) (info->stream, ",%d", cbit - 1);
1196 		    break;
1197 		  }
1198 
1199 		case '=':
1200 		  {
1201 		    int cond = GET_FIELD (insn, 27, 31);
1202 
1203 		    switch (cond)
1204 		      {
1205 		      case  0: fputs_filtered (" ", info); break;
1206 		      case  1: fputs_filtered ("acc ", info); break;
1207 		      case  2: fputs_filtered ("rej ", info); break;
1208 		      case  5: fputs_filtered ("acc8 ", info); break;
1209 		      case  6: fputs_filtered ("rej8 ", info); break;
1210 		      case  9: fputs_filtered ("acc6 ", info); break;
1211 		      case 13: fputs_filtered ("acc4 ", info); break;
1212 		      case 17: fputs_filtered ("acc2 ", info); break;
1213 		      default: break;
1214 		      }
1215 		    break;
1216 		  }
1217 
1218 		case 'X':
1219 		  (*info->print_address_func)
1220 		    (memaddr + 8 + extract_22 (insn), info);
1221 		  break;
1222 		case 'L':
1223 		  fputs_filtered (",rp", info);
1224 		  break;
1225 		default:
1226 		  (*info->fprintf_func) (info->stream, "%c", *s);
1227 		  break;
1228 		}
1229 	    }
1230 	  return sizeof (insn);
1231 	}
1232     }
1233   (*info->fprintf_func) (info->stream, "#%8x", insn);
1234   return sizeof (insn);
1235 }
1236