2 * Debugger ARM specific functions
4 * Copyright 2000-2003 Marcus Meissner
6 * 2010-2012 André Hentschel
8 * This library is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU Lesser General Public
10 * License as published by the Free Software Foundation; either
11 * version 2.1 of the License, or (at your option) any later version.
13 * This library is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 * Lesser General Public License for more details.
18 * You should have received a copy of the GNU Lesser General Public
19 * License along with this library; if not, write to the Free Software
20 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
25 #if defined(__arm__) && !defined(__ARMEB__)
28 * Switch to disassemble Thumb code.
30 static BOOL db_disasm_thumb
= FALSE
;
33 * Flag to indicate whether we need to display instruction,
34 * or whether we just need to know the address of the next
37 static BOOL db_display
= FALSE
;
39 #define ARM_INSN_SIZE 4
40 #define THUMB_INSN_SIZE 2
41 #define THUMB2_INSN_SIZE 4
43 #define ROR32(n, r) (((n) >> (r)) | ((n) << (32 - (r))))
45 #define get_cond(ins) tbl_cond[(ins >> 28) & 0x0f]
46 #define get_nibble(ins, num) ((ins >> (num * 4)) & 0x0f)
48 static char const tbl_regs
[][4] = {
49 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", "r8", "r9", "r10",
50 "fp", "ip", "sp", "lr", "pc", "cpsr"
53 static char const tbl_addrmode
[][3] = {
54 "da", "ia", "db", "ib"
57 static char const tbl_cond
[][3] = {
58 "eq", "ne", "cs", "cc", "mi", "pl", "vs", "vc", "hi", "ls", "ge", "lt", "gt", "le", "", ""
61 static char const tbl_dataops
[][4] = {
62 "and", "eor", "sub", "rsb", "add", "adc", "sbc", "rsc", "tst", "teq", "cmp", "cmn", "orr",
66 static char const tbl_shifts
[][4] = {
67 "lsl", "lsr", "asr", "ror"
70 static char const tbl_hiops_t
[][4] = {
71 "add", "cmp", "mov", "bx"
74 static char const tbl_aluops_t
[][4] = {
75 "and", "eor", "lsl", "lsr", "asr", "adc", "sbc", "ror", "tst", "neg", "cmp", "cmn", "orr",
79 static char const tbl_immops_t
[][4] = {
80 "mov", "cmp", "add", "sub"
83 static char const tbl_sregops_t
[][5] = {
84 "strh", "ldsb", "ldrh", "ldsh"
87 static UINT
db_get_inst(void* addr
, int size
)
92 if (dbg_read_memory(addr
, buffer
, size
))
97 result
= *(UINT
*)buffer
;
100 result
= *(WORD
*)buffer
;
107 static void db_printsym(unsigned int addr
)
111 a
.Mode
= AddrModeFlat
;
114 print_address(&a
, TRUE
);
117 static UINT
arm_disasm_branch(UINT inst
, ADDRESS64
*addr
)
119 short link
= (inst
>> 24) & 0x01;
120 int offset
= (inst
<< 2) & 0x03ffffff;
122 if (offset
& 0x02000000) offset
|= 0xfc000000;
125 dbg_printf("\n\tb%s%s\t", link
? "l" : "", get_cond(inst
));
126 db_printsym(addr
->Offset
+ offset
);
130 static UINT
arm_disasm_mul(UINT inst
, ADDRESS64
*addr
)
132 short accu
= (inst
>> 21) & 0x01;
133 short condcodes
= (inst
>> 20) & 0x01;
136 dbg_printf("\n\tmla%s%s\t%s, %s, %s, %s", get_cond(inst
), condcodes
? "s" : "",
137 tbl_regs
[get_nibble(inst
, 4)], tbl_regs
[get_nibble(inst
, 0)],
138 tbl_regs
[get_nibble(inst
, 2)], tbl_regs
[get_nibble(inst
, 3)]);
140 dbg_printf("\n\tmul%s%s\t%s, %s, %s", get_cond(inst
), condcodes
? "s" : "",
141 tbl_regs
[get_nibble(inst
, 4)], tbl_regs
[get_nibble(inst
, 0)],
142 tbl_regs
[get_nibble(inst
, 2)]);
146 static UINT
arm_disasm_longmul(UINT inst
, ADDRESS64
*addr
)
148 short sign
= (inst
>> 22) & 0x01;
149 short accu
= (inst
>> 21) & 0x01;
150 short condcodes
= (inst
>> 20) & 0x01;
152 dbg_printf("\n\t%s%s%s%s\t%s, %s, %s, %s", sign
? "s" : "u", accu
? "mlal" : "mull",
153 get_cond(inst
), condcodes
? "s" : "",
154 tbl_regs
[get_nibble(inst
, 3)], tbl_regs
[get_nibble(inst
, 4)],
155 tbl_regs
[get_nibble(inst
, 0)], tbl_regs
[get_nibble(inst
, 2)]);
159 static UINT
arm_disasm_swp(UINT inst
, ADDRESS64
*addr
)
161 short byte
= (inst
>> 22) & 0x01;
163 dbg_printf("\n\tswp%s%s\t%s, %s, [%s]", get_cond(inst
), byte
? "b" : "",
164 tbl_regs
[get_nibble(inst
, 3)], tbl_regs
[get_nibble(inst
, 0)],
165 tbl_regs
[get_nibble(inst
, 4)]);
169 static UINT
arm_disasm_branchreg(UINT inst
, ADDRESS64
*addr
)
171 dbg_printf("\n\tb%s\t%s", get_cond(inst
), tbl_regs
[get_nibble(inst
, 0)]);
175 static UINT
arm_disasm_branchxchg(UINT inst
, ADDRESS64
*addr
)
177 dbg_printf("\n\tbx%s\t%s", get_cond(inst
), tbl_regs
[get_nibble(inst
, 0)]);
181 static UINT
arm_disasm_mrstrans(UINT inst
, ADDRESS64
*addr
)
183 short src
= (inst
>> 22) & 0x01;
185 dbg_printf("\n\tmrs%s\t%s, %s", get_cond(inst
), tbl_regs
[get_nibble(inst
, 3)],
186 src
? "spsr" : "cpsr");
190 static UINT
arm_disasm_msrtrans(UINT inst
, ADDRESS64
*addr
)
192 short immediate
= (inst
>> 25) & 0x01;
193 short dst
= (inst
>> 22) & 0x01;
194 short simple
= (inst
>> 16) & 0x01;
196 if (simple
|| !immediate
)
198 dbg_printf("\n\tmsr%s\t%s, %s", get_cond(inst
), dst
? "spsr" : "cpsr",
199 tbl_regs
[get_nibble(inst
, 0)]);
203 dbg_printf("\n\tmsr%s\t%s, #%u", get_cond(inst
), dst
? "spsr" : "cpsr",
204 ROR32(inst
& 0xff, 2 * get_nibble(inst
, 2)));
208 static UINT
arm_disasm_wordmov(UINT inst
, ADDRESS64
*addr
)
210 short top
= (inst
>> 22) & 0x01;
212 dbg_printf("\n\tmov%s%s\t%s, #%u", top
? "t" : "w", get_cond(inst
),
213 tbl_regs
[get_nibble(inst
, 3)], (get_nibble(inst
, 4) << 12) | (inst
& 0x0fff));
217 static UINT
arm_disasm_nop(UINT inst
, ADDRESS64
*addr
)
219 dbg_printf("\n\tnop%s", get_cond(inst
));
223 static UINT
arm_disasm_dataprocessing(UINT inst
, ADDRESS64
*addr
)
225 short condcodes
= (inst
>> 20) & 0x01;
226 short opcode
= (inst
>> 21) & 0x0f;
227 short immediate
= (inst
>> 25) & 0x01;
228 short no_op1
= (opcode
& 0x0d) == 0x0d;
229 short no_dst
= (opcode
& 0x0c) == 0x08;
231 dbg_printf("\n\t%s%s%s", tbl_dataops
[opcode
], condcodes
? "s" : "", get_cond(inst
));
232 if (!no_dst
) dbg_printf("\t%s, ", tbl_regs
[get_nibble(inst
, 3)]);
233 else dbg_printf("\t");
238 dbg_printf("#%u", ROR32(inst
& 0xff, 2 * get_nibble(inst
, 2)));
240 dbg_printf("%s", tbl_regs
[get_nibble(inst
, 0)]);
245 dbg_printf("%s, #%u", tbl_regs
[get_nibble(inst
, 4)],
246 ROR32(inst
& 0xff, 2 * get_nibble(inst
, 2)));
247 else if (((inst
>> 4) & 0xff) == 0x00) /* no shift */
248 dbg_printf("%s, %s", tbl_regs
[get_nibble(inst
, 4)], tbl_regs
[get_nibble(inst
, 0)]);
249 else if (((inst
>> 4) & 0x09) == 0x01) /* register shift */
250 dbg_printf("%s, %s, %s %s", tbl_regs
[get_nibble(inst
, 4)], tbl_regs
[get_nibble(inst
, 0)],
251 tbl_shifts
[(inst
>> 5) & 0x03], tbl_regs
[(inst
>> 8) & 0x0f]);
252 else if (((inst
>> 4) & 0x01) == 0x00) /* immediate shift */
253 dbg_printf("%s, %s, %s #%d", tbl_regs
[get_nibble(inst
, 4)], tbl_regs
[get_nibble(inst
, 0)],
254 tbl_shifts
[(inst
>> 5) & 0x03], (inst
>> 7) & 0x1f);
261 static UINT
arm_disasm_singletrans(UINT inst
, ADDRESS64
*addr
)
263 short load
= (inst
>> 20) & 0x01;
264 short writeback
= (inst
>> 21) & 0x01;
265 short byte
= (inst
>> 22) & 0x01;
266 short direction
= (inst
>> 23) & 0x01;
267 short indexing
= (inst
>> 24) & 0x01;
268 short immediate
= !((inst
>> 25) & 0x01);
269 short offset
= inst
& 0x0fff;
271 if (!direction
) offset
*= -1;
273 dbg_printf("\n\t%s%s%s%s", load
? "ldr" : "str", byte
? "b" : "", writeback
? "t" : "",
275 dbg_printf("\t%s, ", tbl_regs
[get_nibble(inst
, 3)]);
279 dbg_printf("[%s, #%d]", tbl_regs
[get_nibble(inst
, 4)], offset
);
280 else if (((inst
>> 4) & 0xff) == 0x00) /* no shift */
281 dbg_printf("[%s, %s]", tbl_regs
[get_nibble(inst
, 4)], tbl_regs
[get_nibble(inst
, 0)]);
282 else if (((inst
>> 4) & 0x01) == 0x00) /* immediate shift (there's no register shift) */
283 dbg_printf("[%s, %s, %s #%d]", tbl_regs
[get_nibble(inst
, 4)], tbl_regs
[get_nibble(inst
, 0)],
284 tbl_shifts
[(inst
>> 5) & 0x03], (inst
>> 7) & 0x1f);
291 dbg_printf("[%s], #%d", tbl_regs
[get_nibble(inst
, 4)], offset
);
292 else if (((inst
>> 4) & 0xff) == 0x00) /* no shift */
293 dbg_printf("[%s], %s", tbl_regs
[get_nibble(inst
, 4)], tbl_regs
[get_nibble(inst
, 0)]);
294 else if (((inst
>> 4) & 0x01) == 0x00) /* immediate shift (there's no register shift) */
295 dbg_printf("[%s], %s, %s #%d", tbl_regs
[get_nibble(inst
, 4)], tbl_regs
[get_nibble(inst
, 0)],
296 tbl_shifts
[(inst
>> 5) & 0x03], (inst
>> 7) & 0x1f);
303 static UINT
arm_disasm_halfwordtrans(UINT inst
, ADDRESS64
*addr
)
305 short halfword
= (inst
>> 5) & 0x01;
306 short sign
= (inst
>> 6) & 0x01;
307 short load
= (inst
>> 20) & 0x01;
308 short writeback
= (inst
>> 21) & 0x01;
309 short immediate
= (inst
>> 22) & 0x01;
310 short direction
= (inst
>> 23) & 0x01;
311 short indexing
= (inst
>> 24) & 0x01;
312 short offset
= ((inst
>> 4) & 0xf0) + (inst
& 0x0f);
314 if (!direction
) offset
*= -1;
316 dbg_printf("\n\t%s%s%s%s%s", load
? "ldr" : "str", sign
? "s" : "",
317 halfword
? "h" : (sign
? "b" : ""), writeback
? "t" : "", get_cond(inst
));
318 dbg_printf("\t%s, ", tbl_regs
[get_nibble(inst
, 3)]);
322 dbg_printf("[%s, #%d]", tbl_regs
[get_nibble(inst
, 4)], offset
);
324 dbg_printf("[%s, %s]", tbl_regs
[get_nibble(inst
, 4)], tbl_regs
[get_nibble(inst
, 0)]);
329 dbg_printf("[%s], #%d", tbl_regs
[get_nibble(inst
, 4)], offset
);
331 dbg_printf("[%s], %s", tbl_regs
[get_nibble(inst
, 4)], tbl_regs
[get_nibble(inst
, 0)]);
336 static UINT
arm_disasm_blocktrans(UINT inst
, ADDRESS64
*addr
)
338 short load
= (inst
>> 20) & 0x01;
339 short writeback
= (inst
>> 21) & 0x01;
340 short psr
= (inst
>> 22) & 0x01;
341 short addrmode
= (inst
>> 23) & 0x03;
351 dbg_printf("\n\t%s%s%s\t%s%s, {", load
? "ldm" : "stm", tbl_addrmode
[addrmode
], get_cond(inst
),
352 tbl_regs
[get_nibble(inst
, 4)], writeback
? "!" : "");
356 if (i
== last
) dbg_printf("%s", tbl_regs
[i
]);
357 else dbg_printf("%s, ", tbl_regs
[i
]);
359 dbg_printf("}%s", psr
? "^" : "");
363 static UINT
arm_disasm_swi(UINT inst
, ADDRESS64
*addr
)
365 UINT comment
= inst
& 0x00ffffff;
366 dbg_printf("\n\tswi%s\t#%d", get_cond(inst
), comment
);
370 static UINT
arm_disasm_coproctrans(UINT inst
, ADDRESS64
*addr
)
372 WORD CRm
= inst
& 0x0f;
373 WORD CP
= (inst
>> 5) & 0x07;
374 WORD CPnum
= (inst
>> 8) & 0x0f;
375 WORD CRn
= (inst
>> 16) & 0x0f;
376 WORD load
= (inst
>> 20) & 0x01;
377 WORD CP_Opc
= (inst
>> 21) & 0x07;
379 dbg_printf("\n\t%s%s\t%u, %u, %s, cr%u, cr%u, {%u}", load
? "mrc" : "mcr", get_cond(inst
), CPnum
,
380 CP
, tbl_regs
[get_nibble(inst
, 3)], CRn
, CRm
, CP_Opc
);
384 static UINT
arm_disasm_coprocdataop(UINT inst
, ADDRESS64
*addr
)
386 WORD CRm
= inst
& 0x0f;
387 WORD CP
= (inst
>> 5) & 0x07;
388 WORD CPnum
= (inst
>> 8) & 0x0f;
389 WORD CRd
= (inst
>> 12) & 0x0f;
390 WORD CRn
= (inst
>> 16) & 0x0f;
391 WORD CP_Opc
= (inst
>> 20) & 0x0f;
393 dbg_printf("\n\tcdp%s\t%u, %u, cr%u, cr%u, cr%u, {%u}", get_cond(inst
),
394 CPnum
, CP
, CRd
, CRn
, CRm
, CP_Opc
);
398 static UINT
arm_disasm_coprocdatatrans(UINT inst
, ADDRESS64
*addr
)
400 WORD CPnum
= (inst
>> 8) & 0x0f;
401 WORD CRd
= (inst
>> 12) & 0x0f;
402 WORD load
= (inst
>> 20) & 0x01;
403 WORD writeback
= (inst
>> 21) & 0x01;
404 WORD translen
= (inst
>> 22) & 0x01;
405 WORD direction
= (inst
>> 23) & 0x01;
406 WORD indexing
= (inst
>> 24) & 0x01;
407 short offset
= (inst
& 0xff) << 2;
409 if (!direction
) offset
*= -1;
411 dbg_printf("\n\t%s%s%s", load
? "ldc" : "stc", translen
? "l" : "", get_cond(inst
));
413 dbg_printf("\t%u, cr%u, [%s, #%d]%s", CPnum
, CRd
, tbl_regs
[get_nibble(inst
, 4)], offset
, writeback
?"!":"");
415 dbg_printf("\t%u, cr%u, [%s], #%d", CPnum
, CRd
, tbl_regs
[get_nibble(inst
, 4)], offset
);
419 static WORD
thumb_disasm_hireg(WORD inst
, ADDRESS64
*addr
)
421 short dst
= inst
& 0x07;
422 short src
= (inst
>> 3) & 0x07;
423 short h2
= (inst
>> 6) & 0x01;
424 short h1
= (inst
>> 7) & 0x01;
425 short op
= (inst
>> 8) & 0x03;
430 if (op
== 2 && dst
== src
) /* mov rx, rx */
432 dbg_printf("\n\tnop");
437 dbg_printf("\n\tb%sx\t%s", h1
?"l":"", tbl_regs
[src
]);
439 dbg_printf("\n\t%s\t%s, %s", tbl_hiops_t
[op
], tbl_regs
[dst
], tbl_regs
[src
]);
444 static WORD
thumb_disasm_aluop(WORD inst
, ADDRESS64
*addr
)
446 short dst
= inst
& 0x07;
447 short src
= (inst
>> 3) & 0x07;
448 short op
= (inst
>> 6) & 0x0f;
450 dbg_printf("\n\t%s\t%s, %s", tbl_aluops_t
[op
], tbl_regs
[dst
], tbl_regs
[src
]);
455 static WORD
thumb_disasm_pushpop(WORD inst
, ADDRESS64
*addr
)
457 short lrpc
= (inst
>> 8) & 0x01;
458 short load
= (inst
>> 11) & 0x01;
463 if ((inst
>>i
) & 1) break;
466 dbg_printf("\n\t%s\t{", load
? "pop" : "push");
471 if (i
== last
) dbg_printf("%s", tbl_regs
[i
]);
472 else dbg_printf("%s, ", tbl_regs
[i
]);
475 dbg_printf("%s%s", last
? ", " : "", load
? "pc" : "lr");
481 static WORD
thumb_disasm_blocktrans(WORD inst
, ADDRESS64
*addr
)
483 short load
= (inst
>> 11) & 0x01;
488 if ((inst
>>i
) & 1) break;
491 dbg_printf("\n\t%s\t%s!, {", load
? "ldmia" : "stmia", tbl_regs
[(inst
>> 8) & 0x07]);
496 if (i
== last
) dbg_printf("%s", tbl_regs
[i
]);
497 else dbg_printf("%s, ", tbl_regs
[i
]);
504 static WORD
thumb_disasm_condbranch(WORD inst
, ADDRESS64
*addr
)
506 WORD offset
= inst
& 0x00ff;
507 dbg_printf("\n\tb%s\t", tbl_cond
[(inst
>> 8) & 0x0f]);
508 db_printsym(addr
->Offset
+ offset
);
512 static WORD
thumb_disasm_uncondbranch(WORD inst
, ADDRESS64
*addr
)
514 short offset
= (inst
& 0x07ff) << 1;
516 if (offset
& 0x0800) offset
|= 0xf000;
519 dbg_printf("\n\tb\t");
520 db_printsym(addr
->Offset
+ offset
);
524 static WORD
thumb_disasm_loadadr(WORD inst
, ADDRESS64
*addr
)
526 WORD src
= (inst
>> 11) & 0x01;
527 WORD offset
= (inst
& 0xff) << 2;
529 dbg_printf("\n\tadd\t%s, %s, #%d", tbl_regs
[(inst
>> 8) & 0x07], src
? "sp" : "pc", offset
);
533 static WORD
thumb_disasm_swi(WORD inst
, ADDRESS64
*addr
)
535 WORD comment
= inst
& 0x00ff;
536 dbg_printf("\n\tswi\t#%d", comment
);
540 static WORD
thumb_disasm_nop(WORD inst
, ADDRESS64
*addr
)
542 dbg_printf("\n\tnop");
546 static WORD
thumb_disasm_ldrpcrel(WORD inst
, ADDRESS64
*addr
)
548 WORD offset
= (inst
& 0xff) << 2;
549 dbg_printf("\n\tldr\t%s, [pc, #%u]", tbl_regs
[(inst
>> 8) & 0x07], offset
);
553 static WORD
thumb_disasm_ldrsprel(WORD inst
, ADDRESS64
*addr
)
555 WORD offset
= (inst
& 0xff) << 2;
556 dbg_printf("\n\t%s\t%s, [sp, #%u]", (inst
& 0x0800)?"ldr":"str", tbl_regs
[(inst
>> 8) & 0x07], offset
);
560 static WORD
thumb_disasm_addsprel(WORD inst
, ADDRESS64
*addr
)
562 WORD offset
= (inst
& 0x7f) << 2;
563 if ((inst
>> 7) & 0x01)
564 dbg_printf("\n\tsub\tsp, sp, #%u", offset
);
566 dbg_printf("\n\tadd\tsp, sp, #%u", offset
);
570 static WORD
thumb_disasm_ldrimm(WORD inst
, ADDRESS64
*addr
)
572 WORD offset
= (inst
& 0x07c0) >> 6;
573 dbg_printf("\n\t%s%s\t%s, [%s, #%u]", (inst
& 0x0800)?"ldr":"str", (inst
& 0x1000)?"b":"",
574 tbl_regs
[inst
& 0x07], tbl_regs
[(inst
>> 3) & 0x07], (inst
& 0x1000)?offset
:(offset
<< 2));
578 static WORD
thumb_disasm_ldrhimm(WORD inst
, ADDRESS64
*addr
)
580 WORD offset
= (inst
& 0x07c0) >> 5;
581 dbg_printf("\n\t%s\t%s, [%s, #%u]", (inst
& 0x0800)?"ldrh":"strh",
582 tbl_regs
[inst
& 0x07], tbl_regs
[(inst
>> 3) & 0x07], offset
);
586 static WORD
thumb_disasm_ldrreg(WORD inst
, ADDRESS64
*addr
)
588 dbg_printf("\n\t%s%s\t%s, [%s, %s]", (inst
& 0x0800)?"ldr":"str", (inst
& 0x0400)?"b":"",
589 tbl_regs
[inst
& 0x07], tbl_regs
[(inst
>> 3) & 0x07], tbl_regs
[(inst
>> 6) & 0x07]);
593 static WORD
thumb_disasm_ldrsreg(WORD inst
, ADDRESS64
*addr
)
595 dbg_printf("\n\t%s\t%s, [%s, %s]", tbl_sregops_t
[(inst
>> 10) & 0x03],
596 tbl_regs
[inst
& 0x07], tbl_regs
[(inst
>> 3) & 0x07], tbl_regs
[(inst
>> 6) & 0x07]);
600 static WORD
thumb_disasm_immop(WORD inst
, ADDRESS64
*addr
)
602 WORD op
= (inst
>> 11) & 0x03;
603 dbg_printf("\n\t%s\t%s, #%u", tbl_immops_t
[op
], tbl_regs
[(inst
>> 8) & 0x07], inst
& 0xff);
607 static WORD
thumb_disasm_addsub(WORD inst
, ADDRESS64
*addr
)
609 WORD op
= (inst
>> 9) & 0x01;
610 WORD immediate
= (inst
>> 10) & 0x01;
612 dbg_printf("\n\t%s\t%s, %s, ", op
? "sub" : "add",
613 tbl_regs
[inst
& 0x07], tbl_regs
[(inst
>> 3) & 0x07]);
615 dbg_printf("#%d", (inst
>> 6) & 0x07);
617 dbg_printf("%s", tbl_regs
[(inst
>> 6) & 0x07]);
621 static WORD
thumb_disasm_movshift(WORD inst
, ADDRESS64
*addr
)
623 WORD op
= (inst
>> 11) & 0x03;
624 dbg_printf("\n\t%s\t%s, %s, #%u", tbl_shifts
[op
],
625 tbl_regs
[inst
& 0x07], tbl_regs
[(inst
>> 3) & 0x07], (inst
>> 6) & 0x1f);
629 static UINT
thumb2_disasm_branchlinked(UINT inst
, ADDRESS64
*addr
)
631 UINT offset
= (((inst
& 0x07ff0000) >> 4) | ((inst
& 0x000007ff) << 1)) + 4;
633 dbg_printf("\n\tbl\t");
634 db_printsym(addr
->Offset
+ offset
);
638 static UINT
thumb2_disasm_misc(UINT inst
, ADDRESS64
*addr
)
640 WORD op1
= (inst
>> 20) & 0x03;
641 WORD op2
= (inst
>> 4) & 0x03;
643 if (get_nibble(inst
, 4) != get_nibble(inst
, 0))
646 if (op1
== 3 && op2
== 0)
648 dbg_printf("\n\tclz\t%s, %s\t", tbl_regs
[get_nibble(inst
, 2)], tbl_regs
[get_nibble(inst
, 0)]);
657 dbg_printf("\n\trev\t");
660 dbg_printf("\n\trev16\t");
663 dbg_printf("\n\trbit\t");
666 dbg_printf("\n\trevsh\t");
669 dbg_printf("%s, %s\t", tbl_regs
[get_nibble(inst
, 2)], tbl_regs
[get_nibble(inst
, 0)]);
676 static UINT
thumb2_disasm_mul(UINT inst
, ADDRESS64
*addr
)
678 WORD op1
= (inst
>> 20) & 0x07;
679 WORD op2
= (inst
>> 4) & 0x03;
684 if (op2
== 0 && get_nibble(inst
, 3) != 0xf)
686 dbg_printf("\n\tmla\t%s, %s, %s, %s\t", tbl_regs
[get_nibble(inst
, 2)],
687 tbl_regs
[get_nibble(inst
, 4)],
688 tbl_regs
[get_nibble(inst
, 0)],
689 tbl_regs
[get_nibble(inst
, 3)]);
693 if (op2
== 0 && get_nibble(inst
, 3) == 0xf)
695 dbg_printf("\n\tmul\t%s, %s, %s\t", tbl_regs
[get_nibble(inst
, 2)],
696 tbl_regs
[get_nibble(inst
, 4)],
697 tbl_regs
[get_nibble(inst
, 0)]);
703 dbg_printf("\n\tmls\t%s, %s, %s, %s\t", tbl_regs
[get_nibble(inst
, 2)],
704 tbl_regs
[get_nibble(inst
, 4)],
705 tbl_regs
[get_nibble(inst
, 0)],
706 tbl_regs
[get_nibble(inst
, 3)]);
713 static UINT
thumb2_disasm_longmuldiv(UINT inst
, ADDRESS64
*addr
)
715 WORD op1
= (inst
>> 20) & 0x07;
716 WORD op2
= (inst
>> 4) & 0x0f;
723 dbg_printf("\n\tsmull\t");
726 dbg_printf("\n\tumull\t");
729 dbg_printf("\n\tsmlal\t");
732 dbg_printf("\n\tumlal\t");
737 dbg_printf("%s, %s, %s, %s\t", tbl_regs
[get_nibble(inst
, 3)], tbl_regs
[get_nibble(inst
, 2)],
738 tbl_regs
[get_nibble(inst
, 4)], tbl_regs
[get_nibble(inst
, 0)]);
747 dbg_printf("\n\tsdiv\t");
750 dbg_printf("\n\tudiv\t");
755 dbg_printf("%s, %s, %s\t", tbl_regs
[get_nibble(inst
, 2)], tbl_regs
[get_nibble(inst
, 4)],
756 tbl_regs
[get_nibble(inst
, 0)]);
767 UINT (*func
)(UINT
, ADDRESS64
*);
770 static const struct inst_arm tbl_arm
[] = {
771 { 0x0e000000, 0x0a000000, arm_disasm_branch
},
772 { 0x0fc000f0, 0x00000090, arm_disasm_mul
},
773 { 0x0f8000f0, 0x00800090, arm_disasm_longmul
},
774 { 0x0fb00ff0, 0x01000090, arm_disasm_swp
},
775 { 0x0e000090, 0x00000090, arm_disasm_halfwordtrans
},
776 { 0x0ffffff0, 0x012fff00, arm_disasm_branchreg
},
777 { 0x0ffffff0, 0x012fff10, arm_disasm_branchxchg
},
778 { 0x0fbf0fff, 0x010f0000, arm_disasm_mrstrans
},
779 { 0x0dbef000, 0x0128f000, arm_disasm_msrtrans
},
780 { 0x0fb00000, 0x03000000, arm_disasm_wordmov
},
781 { 0x0fffffff, 0x0320f000, arm_disasm_nop
},
782 { 0x0c000000, 0x00000000, arm_disasm_dataprocessing
},
783 { 0x0c000000, 0x04000000, arm_disasm_singletrans
},
784 { 0x0e000000, 0x08000000, arm_disasm_blocktrans
},
785 { 0x0f000000, 0x0f000000, arm_disasm_swi
},
786 { 0x0f000010, 0x0e000010, arm_disasm_coproctrans
},
787 { 0x0f000010, 0x0e000000, arm_disasm_coprocdataop
},
788 { 0x0e000000, 0x0c000000, arm_disasm_coprocdatatrans
},
789 { 0x00000000, 0x00000000, NULL
}
796 WORD (*func
)(WORD
, ADDRESS64
*);
799 static const struct inst_thumb16 tbl_thumb16
[] = {
800 { 0xfc00, 0x4400, thumb_disasm_hireg
},
801 { 0xfc00, 0x4000, thumb_disasm_aluop
},
802 { 0xf600, 0xb400, thumb_disasm_pushpop
},
803 { 0xf000, 0xc000, thumb_disasm_blocktrans
},
804 { 0xf000, 0xd000, thumb_disasm_condbranch
},
805 { 0xf800, 0xe000, thumb_disasm_uncondbranch
},
806 { 0xf000, 0xa000, thumb_disasm_loadadr
},
807 { 0xf800, 0x4800, thumb_disasm_ldrpcrel
},
808 { 0xf000, 0x9000, thumb_disasm_ldrsprel
},
809 { 0xff00, 0xb000, thumb_disasm_addsprel
},
810 { 0xe000, 0x6000, thumb_disasm_ldrimm
},
811 { 0xf000, 0x8000, thumb_disasm_ldrhimm
},
812 { 0xf200, 0x5000, thumb_disasm_ldrreg
},
813 { 0xf200, 0x5200, thumb_disasm_ldrsreg
},
814 { 0xe000, 0x2000, thumb_disasm_immop
},
815 { 0xff00, 0xdf00, thumb_disasm_swi
},
816 { 0xff00, 0xbf00, thumb_disasm_nop
},
817 { 0xf800, 0x1800, thumb_disasm_addsub
},
818 { 0xe000, 0x0000, thumb_disasm_movshift
},
819 { 0x0000, 0x0000, NULL
}
822 static const struct inst_arm tbl_thumb32
[] = {
823 { 0xf800f800, 0xf000f800, thumb2_disasm_branchlinked
},
824 { 0xffc0f0c0, 0xfa80f080, thumb2_disasm_misc
},
825 { 0xff8000c0, 0xfb000000, thumb2_disasm_mul
},
826 { 0xff8000f0, 0xfb800000, thumb2_disasm_longmuldiv
},
827 { 0xff8000f0, 0xfb8000f0, thumb2_disasm_longmuldiv
},
828 { 0x00000000, 0x00000000, NULL
}
831 /***********************************************************************
834 * Disassemble instruction at 'addr'. addr is changed to point to the
835 * start of the next instruction.
837 void be_arm_disasm_one_insn(ADDRESS64
*addr
, int display
)
839 struct inst_arm
*a_ptr
= (struct inst_arm
*)&tbl_arm
;
840 struct inst_thumb16
*t_ptr
= (struct inst_thumb16
*)&tbl_thumb16
;
841 struct inst_arm
*t2_ptr
= (struct inst_arm
*)&tbl_thumb32
;
850 if (!memory_get_register(CV_ARM_CPSR
, &pval
, tmp
, sizeof(tmp
)))
851 dbg_printf("\n\tmemory_get_register failed: %s", tmp
);
853 db_disasm_thumb
=(*pval
& 0x20)?TRUE
:FALSE
;
855 db_display
= display
;
857 if (!db_disasm_thumb
)
859 size
= ARM_INSN_SIZE
;
860 inst
= db_get_inst( memory_to_linear_addr(addr
), size
);
861 while (a_ptr
->func
) {
862 if ((inst
& a_ptr
->mask
) == a_ptr
->pattern
) {
870 dbg_printf("\n\tUnknown ARM Instruction: %08x", inst
);
871 addr
->Offset
+= size
;
875 if (!a_ptr
->func(inst
, addr
))
876 addr
->Offset
+= size
;
882 WORD
*taddr
= memory_to_linear_addr(addr
);
883 tinst
= db_get_inst( taddr
, THUMB_INSN_SIZE
);
884 switch (tinst
& 0xf800)
889 size
= THUMB2_INSN_SIZE
;
891 inst
= db_get_inst( taddr
, THUMB_INSN_SIZE
);
892 inst
|= (tinst
<< 16);
894 while (t2_ptr
->func
) {
895 if ((inst
& t2_ptr
->mask
) == t2_ptr
->pattern
) {
903 dbg_printf("\n\tUnknown Thumb2 Instruction: %08x", inst
);
904 addr
->Offset
+= size
;
908 if (!t2_ptr
->func(inst
, addr
))
909 addr
->Offset
+= size
;
916 size
= THUMB_INSN_SIZE
;
917 while (t_ptr
->func
) {
918 if ((tinst
& t_ptr
->mask
) == t_ptr
->pattern
) {
926 dbg_printf("\n\tUnknown Thumb Instruction: %04x", tinst
);
927 addr
->Offset
+= size
;
931 if (!t_ptr
->func(tinst
, addr
))
932 addr
->Offset
+= size
;
938 static unsigned be_arm_get_addr(HANDLE hThread
, const CONTEXT
* ctx
,
939 enum be_cpu_addr bca
, ADDRESS64
* addr
)
944 return be_cpu_build_addr(hThread
, ctx
, addr
, 0, ctx
->Pc
);
945 case be_cpu_addr_stack
:
946 return be_cpu_build_addr(hThread
, ctx
, addr
, 0, ctx
->Sp
);
947 case be_cpu_addr_frame
:
948 return be_cpu_build_addr(hThread
, ctx
, addr
, 0, ctx
->Fp
);
953 static unsigned be_arm_get_register_info(int regno
, enum be_cpu_addr
* kind
)
957 case CV_ARM_PC
: *kind
= be_cpu_addr_pc
; return TRUE
;
958 case CV_ARM_R0
+ 11: *kind
= be_cpu_addr_frame
; return TRUE
;
959 case CV_ARM_SP
: *kind
= be_cpu_addr_stack
; return TRUE
;
964 static void be_arm_single_step(CONTEXT
* ctx
, unsigned enable
)
966 dbg_printf("be_arm_single_step: not done\n");
969 static void be_arm_print_context(HANDLE hThread
, const CONTEXT
* ctx
, int all_regs
)
971 static const char condflags
[] = "NZCV";
975 switch (ctx
->Cpsr
& 0x1F)
977 case 0: strcpy(buf
, "User26"); break;
978 case 1: strcpy(buf
, "FIQ26"); break;
979 case 2: strcpy(buf
, "IRQ26"); break;
980 case 3: strcpy(buf
, "SVC26"); break;
981 case 16: strcpy(buf
, "User"); break;
982 case 17: strcpy(buf
, "FIQ"); break;
983 case 18: strcpy(buf
, "IRQ"); break;
984 case 19: strcpy(buf
, "SVC"); break;
985 case 23: strcpy(buf
, "ABT"); break;
986 case 27: strcpy(buf
, "UND"); break;
987 default: strcpy(buf
, "UNKNWN"); break;
990 dbg_printf("Register dump:\n");
991 dbg_printf("%s %s Mode\n", (ctx
->Cpsr
& 0x20) ? "Thumb" : "ARM", buf
);
993 strcpy(buf
, condflags
);
994 for (i
= 0; buf
[i
]; i
++)
995 if (!((ctx
->Cpsr
>> 26) & (1 << (sizeof(condflags
) - i
))))
998 dbg_printf(" Pc:%04x Sp:%04x Lr:%04x Cpsr:%04x(%s)\n",
999 ctx
->Pc
, ctx
->Sp
, ctx
->Lr
, ctx
->Cpsr
, buf
);
1000 dbg_printf(" r0:%04x r1:%04x r2:%04x r3:%04x\n",
1001 ctx
->R0
, ctx
->R1
, ctx
->R2
, ctx
->R3
);
1002 dbg_printf(" r4:%04x r5:%04x r6:%04x r7:%04x r8:%04x\n",
1003 ctx
->R4
, ctx
->R5
, ctx
->R6
, ctx
->R7
, ctx
->R8
);
1004 dbg_printf(" r9:%04x r10:%04x Fp:%04x Ip:%04x\n",
1005 ctx
->R9
, ctx
->R10
, ctx
->Fp
, ctx
->Ip
);
1007 if (all_regs
) dbg_printf( "Floating point ARM dump not implemented\n" );
1010 static void be_arm_print_segment_info(HANDLE hThread
, const CONTEXT
* ctx
)
1014 static struct dbg_internal_var be_arm_ctx
[] =
1016 {CV_ARM_R0
+ 0, "r0", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R0
), dbg_itype_unsigned_int
},
1017 {CV_ARM_R0
+ 1, "r1", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R1
), dbg_itype_unsigned_int
},
1018 {CV_ARM_R0
+ 2, "r2", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R2
), dbg_itype_unsigned_int
},
1019 {CV_ARM_R0
+ 3, "r3", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R3
), dbg_itype_unsigned_int
},
1020 {CV_ARM_R0
+ 4, "r4", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R4
), dbg_itype_unsigned_int
},
1021 {CV_ARM_R0
+ 5, "r5", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R5
), dbg_itype_unsigned_int
},
1022 {CV_ARM_R0
+ 6, "r6", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R6
), dbg_itype_unsigned_int
},
1023 {CV_ARM_R0
+ 7, "r7", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R7
), dbg_itype_unsigned_int
},
1024 {CV_ARM_R0
+ 8, "r8", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R8
), dbg_itype_unsigned_int
},
1025 {CV_ARM_R0
+ 9, "r9", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R9
), dbg_itype_unsigned_int
},
1026 {CV_ARM_R0
+ 10, "r10", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R10
), dbg_itype_unsigned_int
},
1027 {CV_ARM_R0
+ 11, "r11", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Fp
), dbg_itype_unsigned_int
},
1028 {CV_ARM_R0
+ 12, "r12", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Ip
), dbg_itype_unsigned_int
},
1029 {CV_ARM_SP
, "sp", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Sp
), dbg_itype_unsigned_int
},
1030 {CV_ARM_LR
, "lr", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Lr
), dbg_itype_unsigned_int
},
1031 {CV_ARM_PC
, "pc", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Pc
), dbg_itype_unsigned_int
},
1032 {CV_ARM_CPSR
, "cpsr", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Cpsr
), dbg_itype_unsigned_int
},
1033 {0, NULL
, 0, dbg_itype_none
}
1036 static unsigned be_arm_is_step_over_insn(const void* insn
)
1038 dbg_printf("be_arm_is_step_over_insn: not done\n");
1042 static unsigned be_arm_is_function_return(const void* insn
)
1044 dbg_printf("be_arm_is_function_return: not done\n");
1048 static unsigned be_arm_is_break_insn(const void* insn
)
1050 dbg_printf("be_arm_is_break_insn: not done\n");
1054 static unsigned be_arm_is_func_call(const void* insn
, ADDRESS64
* callee
)
1059 static unsigned be_arm_is_jump(const void* insn
, ADDRESS64
* jumpee
)
1064 static unsigned be_arm_insert_Xpoint(HANDLE hProcess
, const struct be_process_io
* pio
,
1065 CONTEXT
* ctx
, enum be_xpoint_type type
,
1066 void* addr
, unsigned long* val
, unsigned size
)
1072 case be_xpoint_break
:
1073 if (!size
) return 0;
1074 if (!pio
->read(hProcess
, addr
, val
, 4, &sz
) || sz
!= 4) return 0;
1076 dbg_printf("Unknown/unsupported bp type %c\n", type
);
1082 static unsigned be_arm_remove_Xpoint(HANDLE hProcess
, const struct be_process_io
* pio
,
1083 CONTEXT
* ctx
, enum be_xpoint_type type
,
1084 void* addr
, unsigned long val
, unsigned size
)
1090 case be_xpoint_break
:
1091 if (!size
) return 0;
1092 if (!pio
->write(hProcess
, addr
, &val
, 4, &sz
) || sz
== 4) return 0;
1095 dbg_printf("Unknown/unsupported bp type %c\n", type
);
1101 static unsigned be_arm_is_watchpoint_set(const CONTEXT
* ctx
, unsigned idx
)
1103 dbg_printf("be_arm_is_watchpoint_set: not done\n");
1107 static void be_arm_clear_watchpoint(CONTEXT
* ctx
, unsigned idx
)
1109 dbg_printf("be_arm_clear_watchpoint: not done\n");
1112 static int be_arm_adjust_pc_for_break(CONTEXT
* ctx
, BOOL way
)
1114 INT step
= (ctx
->Cpsr
& 0x20) ? 2 : 4;
1125 static int be_arm_fetch_integer(const struct dbg_lvalue
* lvalue
, unsigned size
,
1126 unsigned ext_sign
, LONGLONG
* ret
)
1128 if (size
!= 1 && size
!= 2 && size
!= 4 && size
!= 8) return FALSE
;
1130 memset(ret
, 0, sizeof(*ret
)); /* clear unread bytes */
1131 /* FIXME: this assumes that debuggee and debugger use the same
1132 * integral representation
1134 if (!memory_read_value(lvalue
, size
, ret
)) return FALSE
;
1136 /* propagate sign information */
1137 if (ext_sign
&& size
< 8 && (*ret
>> (size
* 8 - 1)) != 0)
1140 *ret
|= neg
<< (size
* 8);
1145 static int be_arm_fetch_float(const struct dbg_lvalue
* lvalue
, unsigned size
,
1148 char tmp
[sizeof(long double)];
1150 /* FIXME: this assumes that debuggee and debugger use the same
1151 * representation for reals
1153 if (!memory_read_value(lvalue
, size
, tmp
)) return FALSE
;
1157 case sizeof(float): *ret
= *(float*)tmp
; break;
1158 case sizeof(double): *ret
= *(double*)tmp
; break;
1159 default: return FALSE
;
1164 static int be_arm_store_integer(const struct dbg_lvalue
* lvalue
, unsigned size
,
1165 unsigned is_signed
, LONGLONG val
)
1167 /* this is simple if we're on a little endian CPU */
1168 return memory_write_value(lvalue
, size
, &val
);
1171 struct backend_cpu be_arm
=
1173 IMAGE_FILE_MACHINE_ARMV7
,
1178 be_arm_get_register_info
,
1180 be_arm_print_context
,
1181 be_arm_print_segment_info
,
1183 be_arm_is_step_over_insn
,
1184 be_arm_is_function_return
,
1185 be_arm_is_break_insn
,
1186 be_arm_is_func_call
,
1188 be_arm_disasm_one_insn
,
1189 be_arm_insert_Xpoint
,
1190 be_arm_remove_Xpoint
,
1191 be_arm_is_watchpoint_set
,
1192 be_arm_clear_watchpoint
,
1193 be_arm_adjust_pc_for_break
,
1194 be_arm_fetch_integer
,
1196 be_arm_store_integer
,