1/* Disassembler for the PA-RISC. Somewhat derived from sparc-pinsn.c. 2 Copyright (C) 1989-2017 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. */ 31static 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. */ 41static 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 50typedef 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. */ 72static 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 81static const char *const compare_cond_names[] = 82{ 83 "", ",=", ",<", ",<=", ",<<", ",<<=", ",sv", ",od", 84 ",tr", ",<>", ",>=", ",>", ",>>=", ",>>", ",nsv", ",ev" 85}; 86static const char *const compare_cond_64_names[] = 87{ 88 ",*", ",*=", ",*<", ",*<=", ",*<<", ",*<<=", ",*sv", ",*od", 89 ",*tr", ",*<>", ",*>=", ",*>", ",*>>=", ",*>>", ",*nsv", ",*ev" 90}; 91static const char *const cmpib_cond_64_names[] = 92{ 93 ",*<<", ",*=", ",*<", ",*<=", ",*>>=", ",*<>", ",*>=", ",*>" 94}; 95static const char *const add_cond_names[] = 96{ 97 "", ",=", ",<", ",<=", ",nuv", ",znv", ",sv", ",od", 98 ",tr", ",<>", ",>=", ",>", ",uv", ",vnz", ",nsv", ",ev" 99}; 100static const char *const add_cond_64_names[] = 101{ 102 ",*", ",*=", ",*<", ",*<=", ",*nuv", ",*znv", ",*sv", ",*od", 103 ",*tr", ",*<>", ",*>=", ",*>", ",*uv", ",*vnz", ",*nsv", ",*ev" 104}; 105static const char *const wide_add_cond_names[] = 106{ 107 "", ",=", ",<", ",<=", ",nuv", ",*=", ",*<", ",*<=", 108 ",tr", ",<>", ",>=", ",>", ",uv", ",*<>", ",*>=", ",*>" 109}; 110static const char *const logical_cond_names[] = 111{ 112 "", ",=", ",<", ",<=", 0, 0, 0, ",od", 113 ",tr", ",<>", ",>=", ",>", 0, 0, 0, ",ev"}; 114static const char *const logical_cond_64_names[] = 115{ 116 ",*", ",*=", ",*<", ",*<=", 0, 0, 0, ",*od", 117 ",*tr", ",*<>", ",*>=", ",*>", 0, 0, 0, ",*ev"}; 118static 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}; 123static 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}; 128static const char *const shift_cond_names[] = 129{ 130 "", ",=", ",<", ",od", ",tr", ",<>", ",>=", ",ev" 131}; 132static const char *const shift_cond_64_names[] = 133{ 134 ",*", ",*=", ",*<", ",*od", ",*tr", ",*<>", ",*>=", ",*ev" 135}; 136static const char *const bb_cond_64_names[] = 137{ 138 ",*<", ",*>=" 139}; 140static const char *const index_compl_names[] = {"", ",m", ",s", ",sm"}; 141static const char *const short_ldst_compl_names[] = {"", ",ma", "", ",mb"}; 142static const char *const short_bytes_compl_names[] = 143{ 144 "", ",b,m", ",e", ",e,m" 145}; 146static const char *const float_format_names[] = {",sgl", ",dbl", "", ",quad"}; 147static const char *const fcnv_fixed_names[] = {",w", ",dw", "", ",qw"}; 148static const char *const fcnv_ufixed_names[] = {",uw", ",udw", "", ",uqw"}; 149static const char *const float_comp_names[] = 150{ 151 ",false?", ",false", ",?", ",!<=>", ",=", ",=t", ",?=", ",!<>", 152 ",!?>=", ",<", ",?<", ",!>=", ",!?>", ",<=", ",?<=", ",!>", 153 ",!?<=", ",>", ",?>", ",!<=", ",!?<", ",>=", ",?>=", ",!<", 154 ",!?=", ",<>", ",!=", ",!=t", ",!?", ",<=>", ",true?", ",true" 155}; 156static const char *const signed_unsigned_names[] = {",u", ",s"}; 157static const char *const mix_half_names[] = {",l", ",r"}; 158static const char *const saturation_names[] = {",us", ",ss", 0, ""}; 159static const char *const read_write_names[] = {",r", ",w"}; 160static 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 175static void 176fput_reg (unsigned reg, disassemble_info *info) 177{ 178 (*info->fprintf_func) (info->stream, "%s", reg ? reg_names[reg] : "r0"); 179} 180 181static void 182fput_fp_reg (unsigned reg, disassemble_info *info) 183{ 184 (*info->fprintf_func) (info->stream, "%s", reg ? fp_reg_names[reg] : "fr0"); 185} 186 187static void 188fput_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 198static void 199fput_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 206static void 207fput_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. */ 219static int 220extract_3 (unsigned word) 221{ 222 return GET_FIELD (word, 18, 18) << 2 | GET_FIELD (word, 16, 17); 223} 224 225static int 226extract_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 233static int 234extract_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 241static unsigned 242extract_5r_store (unsigned word) 243{ 244 return (word & MASK_5); 245} 246 247/* Extract the immediate field from a {sr}sm instruction. */ 248 249static unsigned 250extract_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 257static unsigned 258extract_10U_store (unsigned word) 259{ 260 return (word >> 16 & MASK_10); 261} 262 263/* Extract the immediate field from a bb instruction. */ 264 265static unsigned 266extract_5Q_store (unsigned word) 267{ 268 return (word >> 21 & MASK_5); 269} 270 271/* Extract an 11 bit immediate field. */ 272 273static int 274extract_11 (unsigned word) 275{ 276 return low_sign_extend (word & MASK_11, 11); 277} 278 279/* Extract a 14 bit immediate field. */ 280 281static int 282extract_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 289static int 290extract_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 304static int 305extract_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 325static int 326extract_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 336static int 337extract_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 345static int 346extract_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 357int 358print_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