1 /* $NetBSD: disassem.c,v 1.14 2003/03/27 16:58:36 mycroft Exp $ */ 2 3 /*- 4 * SPDX-License-Identifier: BSD-4-Clause 5 * 6 * Copyright (c) 1996 Mark Brinicombe. 7 * Copyright (c) 1996 Brini. 8 * 9 * All rights reserved. 10 * 11 * Redistribution and use in source and binary forms, with or without 12 * modification, are permitted provided that the following conditions 13 * are met: 14 * 1. Redistributions of source code must retain the above copyright 15 * notice, this list of conditions and the following disclaimer. 16 * 2. Redistributions in binary form must reproduce the above copyright 17 * notice, this list of conditions and the following disclaimer in the 18 * documentation and/or other materials provided with the distribution. 19 * 3. All advertising materials mentioning features or use of this software 20 * must display the following acknowledgement: 21 * This product includes software developed by Brini. 22 * 4. The name of the company nor the name of the author may be used to 23 * endorse or promote products derived from this software without specific 24 * prior written permission. 25 * 26 * THIS SOFTWARE IS PROVIDED BY BRINI ``AS IS'' AND ANY EXPRESS OR IMPLIED 27 * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF 28 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 29 * IN NO EVENT SHALL BRINI OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, 30 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES 31 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR 32 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 33 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 34 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 35 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 36 * SUCH DAMAGE. 37 * 38 * RiscBSD kernel project 39 * 40 * db_disasm.c 41 * 42 * Kernel disassembler 43 * 44 * Created : 10/02/96 45 * 46 * Structured after the sparc/sparc/db_disasm.c by David S. Miller & 47 * Paul Kranenburg 48 * 49 * This code is not complete. Not all instructions are disassembled. 50 */ 51 52 #include <sys/cdefs.h> 53 __FBSDID("$FreeBSD$"); 54 #include <sys/param.h> 55 56 #include <sys/systm.h> 57 #include <machine/disassem.h> 58 #include <machine/armreg.h> 59 #include <ddb/ddb.h> 60 61 /* 62 * General instruction format 63 * 64 * insn[cc][mod] [operands] 65 * 66 * Those fields with an uppercase format code indicate that the field 67 * follows directly after the instruction before the separator i.e. 68 * they modify the instruction rather than just being an operand to 69 * the instruction. The only exception is the writeback flag which 70 * follows a operand. 71 * 72 * 73 * 2 - print Operand 2 of a data processing instruction 74 * d - destination register (bits 12-15) 75 * n - n register (bits 16-19) 76 * s - s register (bits 8-11) 77 * o - indirect register rn (bits 16-19) (used by swap) 78 * m - m register (bits 0-3) 79 * a - address operand of ldr/str instruction 80 * l - register list for ldm/stm instruction 81 * f - 1st fp operand (register) (bits 12-14) 82 * g - 2nd fp operand (register) (bits 16-18) 83 * h - 3rd fp operand (register/immediate) (bits 0-4) 84 * b - branch address 85 * t - thumb branch address (bits 24, 0-23) 86 * k - breakpoint comment (bits 0-3, 8-19) 87 * X - block transfer type 88 * Y - block transfer type (r13 base) 89 * c - comment field bits(0-23) 90 * p - saved or current status register 91 * F - PSR transfer fields 92 * D - destination-is-r15 (P) flag on TST, TEQ, CMP, CMN 93 * L - co-processor transfer size 94 * S - set status flag 95 * P - fp precision 96 * Q - fp precision (for ldf/stf) 97 * R - fp rounding 98 * v - co-processor data transfer registers + addressing mode 99 * W - writeback flag 100 * x - instruction in hex 101 * # - co-processor number 102 * y - co-processor data processing registers 103 * z - co-processor register transfer registers 104 */ 105 106 struct arm32_insn { 107 u_int mask; 108 u_int pattern; 109 char* name; 110 char* format; 111 }; 112 113 static const struct arm32_insn arm32_i[] = { 114 { 0x0fffffff, 0x0ff00000, "imb", "c" }, /* Before swi */ 115 { 0x0fffffff, 0x0ff00001, "imbrange", "c" }, /* Before swi */ 116 { 0x0f000000, 0x0f000000, "swi", "c" }, 117 { 0xfe000000, 0xfa000000, "blx", "t" }, /* Before b and bl */ 118 { 0x0f000000, 0x0a000000, "b", "b" }, 119 { 0x0f000000, 0x0b000000, "bl", "b" }, 120 { 0x0fe000f0, 0x00000090, "mul", "Snms" }, 121 { 0x0fe000f0, 0x00200090, "mla", "Snmsd" }, 122 { 0x0fe000f0, 0x00800090, "umull", "Sdnms" }, 123 { 0x0fe000f0, 0x00c00090, "smull", "Sdnms" }, 124 { 0x0fe000f0, 0x00a00090, "umlal", "Sdnms" }, 125 { 0x0fe000f0, 0x00e00090, "smlal", "Sdnms" }, 126 { 0x0d700000, 0x04200000, "strt", "daW" }, 127 { 0x0d700000, 0x04300000, "ldrt", "daW" }, 128 { 0x0d700000, 0x04600000, "strbt", "daW" }, 129 { 0x0d700000, 0x04700000, "ldrbt", "daW" }, 130 { 0x0c500000, 0x04000000, "str", "daW" }, 131 { 0x0c500000, 0x04100000, "ldr", "daW" }, 132 { 0x0c500000, 0x04400000, "strb", "daW" }, 133 { 0x0c500000, 0x04500000, "ldrb", "daW" }, 134 #if __ARM_ARCH >= 6 135 { 0x0fff0ff0, 0x06bf0fb0, "rev16", "dm" }, 136 { 0xffffffff, 0xf57ff01f, "clrex", "c" }, 137 { 0x0ff00ff0, 0x01800f90, "strex", "dmo" }, 138 { 0x0ff00fff, 0x01900f9f, "ldrex", "do" }, 139 { 0x0ff00ff0, 0x01a00f90, "strexd", "dmo" }, 140 { 0x0ff00fff, 0x01b00f9f, "ldrexd", "do" }, 141 { 0x0ff00ff0, 0x01c00f90, "strexb", "dmo" }, 142 { 0x0ff00fff, 0x01d00f9f, "ldrexb", "do" }, 143 { 0x0ff00ff0, 0x01e00f90, "strexh", "dmo" }, 144 { 0x0ff00fff, 0x01f00f9f, "ldrexh", "do" }, 145 #endif 146 { 0x0e1f0000, 0x080d0000, "stm", "YnWl" },/* separate out r13 base */ 147 { 0x0e1f0000, 0x081d0000, "ldm", "YnWl" },/* separate out r13 base */ 148 { 0x0e100000, 0x08000000, "stm", "XnWl" }, 149 { 0x0e100000, 0x08100000, "ldm", "XnWl" }, 150 { 0x0e1000f0, 0x00100090, "ldrb", "de" }, 151 { 0x0e1000f0, 0x00000090, "strb", "de" }, 152 { 0x0e1000f0, 0x001000d0, "ldrsb", "de" }, 153 { 0x0e1000f0, 0x001000b0, "ldrh", "de" }, 154 { 0x0e1000f0, 0x000000b0, "strh", "de" }, 155 { 0x0e1000f0, 0x001000f0, "ldrsh", "de" }, 156 { 0x0f200090, 0x00200090, "und", "x" }, /* Before data processing */ 157 { 0x0e1000d0, 0x000000d0, "und", "x" }, /* Before data processing */ 158 { 0x0ff00ff0, 0x01000090, "swp", "dmo" }, 159 { 0x0ff00ff0, 0x01400090, "swpb", "dmo" }, 160 { 0x0fbf0fff, 0x010f0000, "mrs", "dp" }, /* Before data processing */ 161 { 0x0fb0fff0, 0x0120f000, "msr", "pFm" },/* Before data processing */ 162 { 0x0fb0f000, 0x0320f000, "msr", "pF2" },/* Before data processing */ 163 { 0x0ffffff0, 0x012fff10, "bx", "m" }, 164 { 0x0fff0ff0, 0x016f0f10, "clz", "dm" }, 165 { 0x0ffffff0, 0x012fff30, "blx", "m" }, 166 { 0xfff000f0, 0xe1200070, "bkpt", "k" }, 167 { 0x0de00000, 0x00000000, "and", "Sdn2" }, 168 { 0x0de00000, 0x00200000, "eor", "Sdn2" }, 169 { 0x0de00000, 0x00400000, "sub", "Sdn2" }, 170 { 0x0de00000, 0x00600000, "rsb", "Sdn2" }, 171 { 0x0de00000, 0x00800000, "add", "Sdn2" }, 172 { 0x0de00000, 0x00a00000, "adc", "Sdn2" }, 173 { 0x0de00000, 0x00c00000, "sbc", "Sdn2" }, 174 { 0x0de00000, 0x00e00000, "rsc", "Sdn2" }, 175 { 0x0df00000, 0x01100000, "tst", "Dn2" }, 176 { 0x0df00000, 0x01300000, "teq", "Dn2" }, 177 { 0x0de00000, 0x01400000, "cmp", "Dn2" }, 178 { 0x0de00000, 0x01600000, "cmn", "Dn2" }, 179 { 0x0de00000, 0x01800000, "orr", "Sdn2" }, 180 { 0x0de00000, 0x01a00000, "mov", "Sd2" }, 181 { 0x0de00000, 0x01c00000, "bic", "Sdn2" }, 182 { 0x0de00000, 0x01e00000, "mvn", "Sd2" }, 183 { 0x0ff08f10, 0x0e000100, "adf", "PRfgh" }, 184 { 0x0ff08f10, 0x0e100100, "muf", "PRfgh" }, 185 { 0x0ff08f10, 0x0e200100, "suf", "PRfgh" }, 186 { 0x0ff08f10, 0x0e300100, "rsf", "PRfgh" }, 187 { 0x0ff08f10, 0x0e400100, "dvf", "PRfgh" }, 188 { 0x0ff08f10, 0x0e500100, "rdf", "PRfgh" }, 189 { 0x0ff08f10, 0x0e600100, "pow", "PRfgh" }, 190 { 0x0ff08f10, 0x0e700100, "rpw", "PRfgh" }, 191 { 0x0ff08f10, 0x0e800100, "rmf", "PRfgh" }, 192 { 0x0ff08f10, 0x0e900100, "fml", "PRfgh" }, 193 { 0x0ff08f10, 0x0ea00100, "fdv", "PRfgh" }, 194 { 0x0ff08f10, 0x0eb00100, "frd", "PRfgh" }, 195 { 0x0ff08f10, 0x0ec00100, "pol", "PRfgh" }, 196 { 0x0f008f10, 0x0e000100, "fpbop", "PRfgh" }, 197 { 0x0ff08f10, 0x0e008100, "mvf", "PRfh" }, 198 { 0x0ff08f10, 0x0e108100, "mnf", "PRfh" }, 199 { 0x0ff08f10, 0x0e208100, "abs", "PRfh" }, 200 { 0x0ff08f10, 0x0e308100, "rnd", "PRfh" }, 201 { 0x0ff08f10, 0x0e408100, "sqt", "PRfh" }, 202 { 0x0ff08f10, 0x0e508100, "log", "PRfh" }, 203 { 0x0ff08f10, 0x0e608100, "lgn", "PRfh" }, 204 { 0x0ff08f10, 0x0e708100, "exp", "PRfh" }, 205 { 0x0ff08f10, 0x0e808100, "sin", "PRfh" }, 206 { 0x0ff08f10, 0x0e908100, "cos", "PRfh" }, 207 { 0x0ff08f10, 0x0ea08100, "tan", "PRfh" }, 208 { 0x0ff08f10, 0x0eb08100, "asn", "PRfh" }, 209 { 0x0ff08f10, 0x0ec08100, "acs", "PRfh" }, 210 { 0x0ff08f10, 0x0ed08100, "atn", "PRfh" }, 211 { 0x0f008f10, 0x0e008100, "fpuop", "PRfh" }, 212 { 0x0e100f00, 0x0c000100, "stf", "QLv" }, 213 { 0x0e100f00, 0x0c100100, "ldf", "QLv" }, 214 { 0x0ff00f10, 0x0e000110, "flt", "PRgd" }, 215 { 0x0ff00f10, 0x0e100110, "fix", "PRdh" }, 216 { 0x0ff00f10, 0x0e200110, "wfs", "d" }, 217 { 0x0ff00f10, 0x0e300110, "rfs", "d" }, 218 { 0x0ff00f10, 0x0e400110, "wfc", "d" }, 219 { 0x0ff00f10, 0x0e500110, "rfc", "d" }, 220 { 0x0ff0ff10, 0x0e90f110, "cmf", "PRgh" }, 221 { 0x0ff0ff10, 0x0eb0f110, "cnf", "PRgh" }, 222 { 0x0ff0ff10, 0x0ed0f110, "cmfe", "PRgh" }, 223 { 0x0ff0ff10, 0x0ef0f110, "cnfe", "PRgh" }, 224 { 0xff100010, 0xfe000010, "mcr2", "#z" }, 225 { 0x0f100010, 0x0e000010, "mcr", "#z" }, 226 { 0xff100010, 0xfe100010, "mrc2", "#z" }, 227 { 0x0f100010, 0x0e100010, "mrc", "#z" }, 228 { 0xff000010, 0xfe000000, "cdp2", "#y" }, 229 { 0x0f000010, 0x0e000000, "cdp", "#y" }, 230 { 0xfe100090, 0xfc100000, "ldc2", "L#v" }, 231 { 0x0e100090, 0x0c100000, "ldc", "L#v" }, 232 { 0xfe100090, 0xfc000000, "stc2", "L#v" }, 233 { 0x0e100090, 0x0c000000, "stc", "L#v" }, 234 { 0x00000000, 0x00000000, NULL, NULL } 235 }; 236 237 static char const arm32_insn_conditions[][4] = { 238 "eq", "ne", "cs", "cc", 239 "mi", "pl", "vs", "vc", 240 "hi", "ls", "ge", "lt", 241 "gt", "le", "", "nv" 242 }; 243 244 static char const insn_block_transfers[][4] = { 245 "da", "ia", "db", "ib" 246 }; 247 248 static char const insn_stack_block_transfers[][4] = { 249 "ed", "ea", "fd", "fa" 250 }; 251 252 static char const op_shifts[][4] = { 253 "lsl", "lsr", "asr", "ror" 254 }; 255 256 static char const insn_fpa_rounding[][2] = { 257 "", "p", "m", "z" 258 }; 259 260 static char const insn_fpa_precision[][2] = { 261 "s", "d", "e", "p" 262 }; 263 264 static char const insn_fpaconstants[][8] = { 265 "0.0", "1.0", "2.0", "3.0", 266 "4.0", "5.0", "0.5", "10.0" 267 }; 268 269 #define insn_condition(x) arm32_insn_conditions[(x >> 28) & 0x0f] 270 #define insn_blktrans(x) insn_block_transfers[(x >> 23) & 3] 271 #define insn_stkblktrans(x) insn_stack_block_transfers[(x >> 23) & 3] 272 #define op2_shift(x) op_shifts[(x >> 5) & 3] 273 #define insn_fparnd(x) insn_fpa_rounding[(x >> 5) & 0x03] 274 #define insn_fpaprec(x) insn_fpa_precision[(((x >> 18) & 2)|(x >> 7)) & 1] 275 #define insn_fpaprect(x) insn_fpa_precision[(((x >> 21) & 2)|(x >> 15)) & 1] 276 #define insn_fpaimm(x) insn_fpaconstants[x & 0x07] 277 278 /* Local prototypes */ 279 static void disasm_register_shift(const disasm_interface_t *di, u_int insn); 280 static void disasm_print_reglist(const disasm_interface_t *di, u_int insn); 281 static void disasm_insn_ldrstr(const disasm_interface_t *di, u_int insn, 282 u_int loc); 283 static void disasm_insn_ldrhstrh(const disasm_interface_t *di, u_int insn, 284 u_int loc); 285 static void disasm_insn_ldcstc(const disasm_interface_t *di, u_int insn, 286 u_int loc); 287 static u_int disassemble_readword(u_int address); 288 static void disassemble_printaddr(u_int address); 289 290 vm_offset_t 291 disasm(const disasm_interface_t *di, vm_offset_t loc, int altfmt) 292 { 293 const struct arm32_insn *i_ptr = arm32_i; 294 295 u_int insn; 296 int matchp; 297 int branch; 298 char* f_ptr; 299 int fmt; 300 301 fmt = 0; 302 matchp = 0; 303 insn = di->di_readword(loc); 304 305 /* di->di_printf("loc=%08x insn=%08x : ", loc, insn);*/ 306 307 while (i_ptr->name) { 308 if ((insn & i_ptr->mask) == i_ptr->pattern) { 309 matchp = 1; 310 break; 311 } 312 i_ptr++; 313 } 314 315 if (!matchp) { 316 di->di_printf("und%s\t%08x\n", insn_condition(insn), insn); 317 return(loc + INSN_SIZE); 318 } 319 320 /* If instruction forces condition code, don't print it. */ 321 if ((i_ptr->mask & 0xf0000000) == 0xf0000000) 322 di->di_printf("%s", i_ptr->name); 323 else 324 di->di_printf("%s%s", i_ptr->name, insn_condition(insn)); 325 326 f_ptr = i_ptr->format; 327 328 /* Insert tab if there are no instruction modifiers */ 329 330 if (*(f_ptr) < 'A' || *(f_ptr) > 'Z') { 331 ++fmt; 332 di->di_printf("\t"); 333 } 334 335 while (*f_ptr) { 336 switch (*f_ptr) { 337 /* 2 - print Operand 2 of a data processing instruction */ 338 case '2': 339 if (insn & 0x02000000) { 340 int rotate= ((insn >> 7) & 0x1e); 341 342 di->di_printf("#0x%08x", 343 (insn & 0xff) << (32 - rotate) | 344 (insn & 0xff) >> rotate); 345 } else { 346 disasm_register_shift(di, insn); 347 } 348 break; 349 /* d - destination register (bits 12-15) */ 350 case 'd': 351 di->di_printf("r%d", ((insn >> 12) & 0x0f)); 352 break; 353 /* D - insert 'p' if Rd is R15 */ 354 case 'D': 355 if (((insn >> 12) & 0x0f) == 15) 356 di->di_printf("p"); 357 break; 358 /* n - n register (bits 16-19) */ 359 case 'n': 360 di->di_printf("r%d", ((insn >> 16) & 0x0f)); 361 break; 362 /* s - s register (bits 8-11) */ 363 case 's': 364 di->di_printf("r%d", ((insn >> 8) & 0x0f)); 365 break; 366 /* o - indirect register rn (bits 16-19) (used by swap) */ 367 case 'o': 368 di->di_printf("[r%d]", ((insn >> 16) & 0x0f)); 369 break; 370 /* m - m register (bits 0-4) */ 371 case 'm': 372 di->di_printf("r%d", ((insn >> 0) & 0x0f)); 373 break; 374 /* a - address operand of ldr/str instruction */ 375 case 'a': 376 disasm_insn_ldrstr(di, insn, loc); 377 break; 378 /* e - address operand of ldrh/strh instruction */ 379 case 'e': 380 disasm_insn_ldrhstrh(di, insn, loc); 381 break; 382 /* l - register list for ldm/stm instruction */ 383 case 'l': 384 disasm_print_reglist(di, insn); 385 break; 386 /* f - 1st fp operand (register) (bits 12-14) */ 387 case 'f': 388 di->di_printf("f%d", (insn >> 12) & 7); 389 break; 390 /* g - 2nd fp operand (register) (bits 16-18) */ 391 case 'g': 392 di->di_printf("f%d", (insn >> 16) & 7); 393 break; 394 /* h - 3rd fp operand (register/immediate) (bits 0-4) */ 395 case 'h': 396 if (insn & (1 << 3)) 397 di->di_printf("#%s", insn_fpaimm(insn)); 398 else 399 di->di_printf("f%d", insn & 7); 400 break; 401 /* b - branch address */ 402 case 'b': 403 branch = ((insn << 2) & 0x03ffffff); 404 if (branch & 0x02000000) 405 branch |= 0xfc000000; 406 di->di_printaddr(loc + 8 + branch); 407 break; 408 /* t - blx address */ 409 case 't': 410 branch = ((insn << 2) & 0x03ffffff) | 411 (insn >> 23 & 0x00000002); 412 if (branch & 0x02000000) 413 branch |= 0xfc000000; 414 di->di_printaddr(loc + 8 + branch); 415 break; 416 /* X - block transfer type */ 417 case 'X': 418 di->di_printf("%s", insn_blktrans(insn)); 419 break; 420 /* Y - block transfer type (r13 base) */ 421 case 'Y': 422 di->di_printf("%s", insn_stkblktrans(insn)); 423 break; 424 /* c - comment field bits(0-23) */ 425 case 'c': 426 di->di_printf("0x%08x", (insn & 0x00ffffff)); 427 break; 428 /* k - breakpoint comment (bits 0-3, 8-19) */ 429 case 'k': 430 di->di_printf("0x%04x", 431 (insn & 0x000fff00) >> 4 | (insn & 0x0000000f)); 432 break; 433 /* p - saved or current status register */ 434 case 'p': 435 if (insn & 0x00400000) 436 di->di_printf("spsr"); 437 else 438 di->di_printf("cpsr"); 439 break; 440 /* F - PSR transfer fields */ 441 case 'F': 442 di->di_printf("_"); 443 if (insn & (1 << 16)) 444 di->di_printf("c"); 445 if (insn & (1 << 17)) 446 di->di_printf("x"); 447 if (insn & (1 << 18)) 448 di->di_printf("s"); 449 if (insn & (1 << 19)) 450 di->di_printf("f"); 451 break; 452 /* B - byte transfer flag */ 453 case 'B': 454 if (insn & 0x00400000) 455 di->di_printf("b"); 456 break; 457 /* L - co-processor transfer size */ 458 case 'L': 459 if (insn & (1 << 22)) 460 di->di_printf("l"); 461 break; 462 /* S - set status flag */ 463 case 'S': 464 if (insn & 0x00100000) 465 di->di_printf("s"); 466 break; 467 /* P - fp precision */ 468 case 'P': 469 di->di_printf("%s", insn_fpaprec(insn)); 470 break; 471 /* Q - fp precision (for ldf/stf) */ 472 case 'Q': 473 break; 474 /* R - fp rounding */ 475 case 'R': 476 di->di_printf("%s", insn_fparnd(insn)); 477 break; 478 /* W - writeback flag */ 479 case 'W': 480 if (insn & (1 << 21)) 481 di->di_printf("!"); 482 break; 483 /* # - co-processor number */ 484 case '#': 485 di->di_printf("p%d", (insn >> 8) & 0x0f); 486 break; 487 /* v - co-processor data transfer registers+addressing mode */ 488 case 'v': 489 disasm_insn_ldcstc(di, insn, loc); 490 break; 491 /* x - instruction in hex */ 492 case 'x': 493 di->di_printf("0x%08x", insn); 494 break; 495 /* y - co-processor data processing registers */ 496 case 'y': 497 di->di_printf("%d, ", (insn >> 20) & 0x0f); 498 499 di->di_printf("c%d, c%d, c%d", (insn >> 12) & 0x0f, 500 (insn >> 16) & 0x0f, insn & 0x0f); 501 502 di->di_printf(", %d", (insn >> 5) & 0x07); 503 break; 504 /* z - co-processor register transfer registers */ 505 case 'z': 506 di->di_printf("%d, ", (insn >> 21) & 0x07); 507 di->di_printf("r%d, c%d, c%d, %d", 508 (insn >> 12) & 0x0f, (insn >> 16) & 0x0f, 509 insn & 0x0f, (insn >> 5) & 0x07); 510 511 /* if (((insn >> 5) & 0x07) != 0) 512 di->di_printf(", %d", (insn >> 5) & 0x07);*/ 513 break; 514 default: 515 di->di_printf("[%c - unknown]", *f_ptr); 516 break; 517 } 518 if (*(f_ptr+1) >= 'A' && *(f_ptr+1) <= 'Z') 519 ++f_ptr; 520 else if (*(++f_ptr)) { 521 ++fmt; 522 if (fmt == 1) 523 di->di_printf("\t"); 524 else 525 di->di_printf(", "); 526 } 527 } 528 529 di->di_printf("\n"); 530 531 return(loc + INSN_SIZE); 532 } 533 534 static void 535 disasm_register_shift(const disasm_interface_t *di, u_int insn) 536 { 537 di->di_printf("r%d", (insn & 0x0f)); 538 if ((insn & 0x00000ff0) == 0) 539 ; 540 else if ((insn & 0x00000ff0) == 0x00000060) 541 di->di_printf(", rrx"); 542 else { 543 if (insn & 0x10) 544 di->di_printf(", %s r%d", op2_shift(insn), 545 (insn >> 8) & 0x0f); 546 else 547 di->di_printf(", %s #%d", op2_shift(insn), 548 (insn >> 7) & 0x1f); 549 } 550 } 551 552 static void 553 disasm_print_reglist(const disasm_interface_t *di, u_int insn) 554 { 555 int loop; 556 int start; 557 int comma; 558 559 di->di_printf("{"); 560 start = -1; 561 comma = 0; 562 563 for (loop = 0; loop < 17; ++loop) { 564 if (start != -1) { 565 if (loop == 16 || !(insn & (1 << loop))) { 566 if (comma) 567 di->di_printf(", "); 568 else 569 comma = 1; 570 if (start == loop - 1) 571 di->di_printf("r%d", start); 572 else 573 di->di_printf("r%d-r%d", start, loop - 1); 574 start = -1; 575 } 576 } else { 577 if (insn & (1 << loop)) 578 start = loop; 579 } 580 } 581 di->di_printf("}"); 582 583 if (insn & (1 << 22)) 584 di->di_printf("^"); 585 } 586 587 static void 588 disasm_insn_ldrstr(const disasm_interface_t *di, u_int insn, u_int loc) 589 { 590 int offset; 591 592 offset = insn & 0xfff; 593 if ((insn & 0x032f0000) == 0x010f0000) { 594 /* rA = pc, immediate index */ 595 if (insn & 0x00800000) 596 loc += offset; 597 else 598 loc -= offset; 599 di->di_printaddr(loc + 8); 600 } else { 601 di->di_printf("[r%d", (insn >> 16) & 0x0f); 602 if ((insn & 0x03000fff) != 0x01000000) { 603 di->di_printf("%s, ", (insn & (1 << 24)) ? "" : "]"); 604 if (!(insn & 0x00800000)) 605 di->di_printf("-"); 606 if (insn & (1 << 25)) 607 disasm_register_shift(di, insn); 608 else 609 di->di_printf("#0x%03x", offset); 610 } 611 if (insn & (1 << 24)) 612 di->di_printf("]"); 613 } 614 } 615 616 static void 617 disasm_insn_ldrhstrh(const disasm_interface_t *di, u_int insn, u_int loc) 618 { 619 int offset; 620 621 offset = ((insn & 0xf00) >> 4) | (insn & 0xf); 622 if ((insn & 0x004f0000) == 0x004f0000) { 623 /* rA = pc, immediate index */ 624 if (insn & 0x00800000) 625 loc += offset; 626 else 627 loc -= offset; 628 di->di_printaddr(loc + 8); 629 } else { 630 di->di_printf("[r%d", (insn >> 16) & 0x0f); 631 if ((insn & 0x01400f0f) != 0x01400000) { 632 di->di_printf("%s, ", (insn & (1 << 24)) ? "" : "]"); 633 if (!(insn & 0x00800000)) 634 di->di_printf("-"); 635 if (insn & (1 << 22)) 636 di->di_printf("#0x%02x", offset); 637 else 638 di->di_printf("r%d", (insn & 0x0f)); 639 } 640 if (insn & (1 << 24)) 641 di->di_printf("]"); 642 } 643 } 644 645 static void 646 disasm_insn_ldcstc(const disasm_interface_t *di, u_int insn, u_int loc) 647 { 648 if (((insn >> 8) & 0xf) == 1) 649 di->di_printf("f%d, ", (insn >> 12) & 0x07); 650 else 651 di->di_printf("c%d, ", (insn >> 12) & 0x0f); 652 653 di->di_printf("[r%d", (insn >> 16) & 0x0f); 654 655 di->di_printf("%s, ", (insn & (1 << 24)) ? "" : "]"); 656 657 if (!(insn & (1 << 23))) 658 di->di_printf("-"); 659 660 di->di_printf("#0x%03x", (insn & 0xff) << 2); 661 662 if (insn & (1 << 24)) 663 di->di_printf("]"); 664 665 if (insn & (1 << 21)) 666 di->di_printf("!"); 667 } 668 669 static u_int 670 disassemble_readword(u_int address) 671 { 672 return(*((u_int *)address)); 673 } 674 675 static void 676 disassemble_printaddr(u_int address) 677 { 678 printf("0x%08x", address); 679 } 680 681 static const disasm_interface_t disassemble_di = { 682 disassemble_readword, disassemble_printaddr, db_printf 683 }; 684 685 void 686 disassemble(u_int address) 687 { 688 689 (void)disasm(&disassemble_di, address, 0); 690 } 691 692 /* End of disassem.c */ 693