2007-12-06 Mick Davis <mickd@goanna.iinet.net.au>
[deliverable/binutils-gdb.git] / gdb / arm-tdep.c
CommitLineData
ed9a39eb 1/* Common target dependent code for GDB on ARM systems.
0fd88904 2
6aba47ca
DJ
3 Copyright (C) 1988, 1989, 1991, 1992, 1993, 1995, 1996, 1998, 1999, 2000,
4 2001, 2002, 2003, 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
c906108c 5
c5aa993b 6 This file is part of GDB.
c906108c 7
c5aa993b
JM
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
a9762ec7 10 the Free Software Foundation; either version 3 of the License, or
c5aa993b 11 (at your option) any later version.
c906108c 12
c5aa993b
JM
13 This program 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
16 GNU General Public License for more details.
c906108c 17
c5aa993b 18 You should have received a copy of the GNU General Public License
a9762ec7 19 along with this program. If not, see <http://www.gnu.org/licenses/>. */
c906108c 20
34e8f22d
RE
21#include <ctype.h> /* XXX for isupper () */
22
c906108c
SS
23#include "defs.h"
24#include "frame.h"
25#include "inferior.h"
26#include "gdbcmd.h"
27#include "gdbcore.h"
c906108c 28#include "gdb_string.h"
afd7eef0 29#include "dis-asm.h" /* For register styles. */
4e052eda 30#include "regcache.h"
d16aafd8 31#include "doublest.h"
fd0407d6 32#include "value.h"
34e8f22d 33#include "arch-utils.h"
4be87837 34#include "osabi.h"
eb5492fa
DJ
35#include "frame-unwind.h"
36#include "frame-base.h"
37#include "trad-frame.h"
842e1f1e
DJ
38#include "objfiles.h"
39#include "dwarf2-frame.h"
e4c16157 40#include "gdbtypes.h"
29d73ae4 41#include "prologue-value.h"
123dc839
DJ
42#include "target-descriptions.h"
43#include "user-regs.h"
34e8f22d
RE
44
45#include "arm-tdep.h"
26216b98 46#include "gdb/sim-arm.h"
34e8f22d 47
082fc60d
RE
48#include "elf-bfd.h"
49#include "coff/internal.h"
97e03143 50#include "elf/arm.h"
c906108c 51
26216b98
AC
52#include "gdb_assert.h"
53
6529d2dd
AC
54static int arm_debug;
55
082fc60d
RE
56/* Macros for setting and testing a bit in a minimal symbol that marks
57 it as Thumb function. The MSB of the minimal symbol's "info" field
f594e5e9 58 is used for this purpose.
082fc60d
RE
59
60 MSYMBOL_SET_SPECIAL Actually sets the "special" bit.
f594e5e9 61 MSYMBOL_IS_SPECIAL Tests the "special" bit in a minimal symbol. */
082fc60d
RE
62
63#define MSYMBOL_SET_SPECIAL(msym) \
64 MSYMBOL_INFO (msym) = (char *) (((long) MSYMBOL_INFO (msym)) \
65 | 0x80000000)
66
67#define MSYMBOL_IS_SPECIAL(msym) \
68 (((long) MSYMBOL_INFO (msym) & 0x80000000) != 0)
69
afd7eef0
RE
70/* The list of available "set arm ..." and "show arm ..." commands. */
71static struct cmd_list_element *setarmcmdlist = NULL;
72static struct cmd_list_element *showarmcmdlist = NULL;
73
fd50bc42
RE
74/* The type of floating-point to use. Keep this in sync with enum
75 arm_float_model, and the help string in _initialize_arm_tdep. */
76static const char *fp_model_strings[] =
77{
78 "auto",
79 "softfpa",
80 "fpa",
81 "softvfp",
28e97307
DJ
82 "vfp",
83 NULL
fd50bc42
RE
84};
85
86/* A variable that can be configured by the user. */
87static enum arm_float_model arm_fp_model = ARM_FLOAT_AUTO;
88static const char *current_fp_model = "auto";
89
28e97307
DJ
90/* The ABI to use. Keep this in sync with arm_abi_kind. */
91static const char *arm_abi_strings[] =
92{
93 "auto",
94 "APCS",
95 "AAPCS",
96 NULL
97};
98
99/* A variable that can be configured by the user. */
100static enum arm_abi_kind arm_abi_global = ARM_ABI_AUTO;
101static const char *arm_abi_string = "auto";
102
94c30b78 103/* Number of different reg name sets (options). */
afd7eef0 104static int num_disassembly_options;
bc90b915 105
123dc839
DJ
106/* The standard register names, and all the valid aliases for them. */
107static const struct
108{
109 const char *name;
110 int regnum;
111} arm_register_aliases[] = {
112 /* Basic register numbers. */
113 { "r0", 0 },
114 { "r1", 1 },
115 { "r2", 2 },
116 { "r3", 3 },
117 { "r4", 4 },
118 { "r5", 5 },
119 { "r6", 6 },
120 { "r7", 7 },
121 { "r8", 8 },
122 { "r9", 9 },
123 { "r10", 10 },
124 { "r11", 11 },
125 { "r12", 12 },
126 { "r13", 13 },
127 { "r14", 14 },
128 { "r15", 15 },
129 /* Synonyms (argument and variable registers). */
130 { "a1", 0 },
131 { "a2", 1 },
132 { "a3", 2 },
133 { "a4", 3 },
134 { "v1", 4 },
135 { "v2", 5 },
136 { "v3", 6 },
137 { "v4", 7 },
138 { "v5", 8 },
139 { "v6", 9 },
140 { "v7", 10 },
141 { "v8", 11 },
142 /* Other platform-specific names for r9. */
143 { "sb", 9 },
144 { "tr", 9 },
145 /* Special names. */
146 { "ip", 12 },
147 { "sp", 13 },
148 { "lr", 14 },
149 { "pc", 15 },
150 /* Names used by GCC (not listed in the ARM EABI). */
151 { "sl", 10 },
152 { "fp", 11 },
153 /* A special name from the older ATPCS. */
154 { "wr", 7 },
155};
bc90b915 156
123dc839 157static const char *const arm_register_names[] =
da59e081
JM
158{"r0", "r1", "r2", "r3", /* 0 1 2 3 */
159 "r4", "r5", "r6", "r7", /* 4 5 6 7 */
160 "r8", "r9", "r10", "r11", /* 8 9 10 11 */
161 "r12", "sp", "lr", "pc", /* 12 13 14 15 */
162 "f0", "f1", "f2", "f3", /* 16 17 18 19 */
163 "f4", "f5", "f6", "f7", /* 20 21 22 23 */
94c30b78 164 "fps", "cpsr" }; /* 24 25 */
ed9a39eb 165
afd7eef0
RE
166/* Valid register name styles. */
167static const char **valid_disassembly_styles;
ed9a39eb 168
afd7eef0
RE
169/* Disassembly style to use. Default to "std" register names. */
170static const char *disassembly_style;
96baa820 171
ed9a39eb 172/* This is used to keep the bfd arch_info in sync with the disassembly
afd7eef0
RE
173 style. */
174static void set_disassembly_style_sfunc(char *, int,
ed9a39eb 175 struct cmd_list_element *);
afd7eef0 176static void set_disassembly_style (void);
ed9a39eb 177
b508a996
RE
178static void convert_from_extended (const struct floatformat *, const void *,
179 void *);
180static void convert_to_extended (const struct floatformat *, void *,
181 const void *);
ed9a39eb 182
9b8d791a 183struct arm_prologue_cache
c3b4394c 184{
eb5492fa
DJ
185 /* The stack pointer at the time this frame was created; i.e. the
186 caller's stack pointer when this function was called. It is used
187 to identify this frame. */
188 CORE_ADDR prev_sp;
189
4be43953
DJ
190 /* The frame base for this frame is just prev_sp - frame size.
191 FRAMESIZE is the distance from the frame pointer to the
192 initial stack pointer. */
eb5492fa 193
c3b4394c 194 int framesize;
eb5492fa
DJ
195
196 /* The register used to hold the frame pointer for this frame. */
c3b4394c 197 int framereg;
eb5492fa
DJ
198
199 /* Saved register offsets. */
200 struct trad_frame_saved_reg *saved_regs;
c3b4394c 201};
ed9a39eb 202
bc90b915
FN
203/* Addresses for calling Thumb functions have the bit 0 set.
204 Here are some macros to test, set, or clear bit 0 of addresses. */
205#define IS_THUMB_ADDR(addr) ((addr) & 1)
206#define MAKE_THUMB_ADDR(addr) ((addr) | 1)
207#define UNMAKE_THUMB_ADDR(addr) ((addr) & ~1)
208
94c30b78 209/* Set to true if the 32-bit mode is in use. */
c906108c
SS
210
211int arm_apcs_32 = 1;
212
ed9a39eb
JM
213/* Determine if the program counter specified in MEMADDR is in a Thumb
214 function. */
c906108c 215
ad527d2e 216static int
2a451106 217arm_pc_is_thumb (CORE_ADDR memaddr)
c906108c 218{
c5aa993b 219 struct minimal_symbol *sym;
c906108c 220
ed9a39eb 221 /* If bit 0 of the address is set, assume this is a Thumb address. */
c906108c
SS
222 if (IS_THUMB_ADDR (memaddr))
223 return 1;
224
ed9a39eb 225 /* Thumb functions have a "special" bit set in minimal symbols. */
c906108c
SS
226 sym = lookup_minimal_symbol_by_pc (memaddr);
227 if (sym)
228 {
c5aa993b 229 return (MSYMBOL_IS_SPECIAL (sym));
c906108c
SS
230 }
231 else
ed9a39eb
JM
232 {
233 return 0;
234 }
c906108c
SS
235}
236
181c1381 237/* Remove useless bits from addresses in a running program. */
34e8f22d 238static CORE_ADDR
ed9a39eb 239arm_addr_bits_remove (CORE_ADDR val)
c906108c 240{
a3a2ee65
JT
241 if (arm_apcs_32)
242 return (val & (arm_pc_is_thumb (val) ? 0xfffffffe : 0xfffffffc));
c906108c 243 else
a3a2ee65 244 return (val & 0x03fffffc);
c906108c
SS
245}
246
181c1381
RE
247/* When reading symbols, we need to zap the low bit of the address,
248 which may be set to 1 for Thumb functions. */
34e8f22d 249static CORE_ADDR
181c1381
RE
250arm_smash_text_address (CORE_ADDR val)
251{
252 return val & ~1;
253}
254
29d73ae4
DJ
255/* Analyze a Thumb prologue, looking for a recognizable stack frame
256 and frame pointer. Scan until we encounter a store that could
257 clobber the stack frame unexpectedly, or an unknown instruction. */
c906108c
SS
258
259static CORE_ADDR
29d73ae4
DJ
260thumb_analyze_prologue (struct gdbarch *gdbarch,
261 CORE_ADDR start, CORE_ADDR limit,
262 struct arm_prologue_cache *cache)
c906108c 263{
29d73ae4
DJ
264 int i;
265 pv_t regs[16];
266 struct pv_area *stack;
267 struct cleanup *back_to;
268 CORE_ADDR offset;
da3c6d4a 269
29d73ae4
DJ
270 for (i = 0; i < 16; i++)
271 regs[i] = pv_register (i, 0);
272 stack = make_pv_area (ARM_SP_REGNUM);
273 back_to = make_cleanup_free_pv_area (stack);
274
275 /* The call instruction saved PC in LR, and the current PC is not
276 interesting. Due to this file's conventions, we want the value
277 of LR at this function's entry, not at the call site, so we do
278 not record the save of the PC - when the ARM prologue analyzer
279 has also been converted to the pv mechanism, we could record the
280 save here and remove the hack in prev_register. */
281 regs[ARM_PC_REGNUM] = pv_unknown ();
282
283 while (start < limit)
c906108c 284 {
29d73ae4
DJ
285 unsigned short insn;
286
287 insn = read_memory_unsigned_integer (start, 2);
c906108c 288
94c30b78 289 if ((insn & 0xfe00) == 0xb400) /* push { rlist } */
da59e081 290 {
29d73ae4
DJ
291 int regno;
292 int mask;
4be43953
DJ
293
294 if (pv_area_store_would_trash (stack, regs[ARM_SP_REGNUM]))
295 break;
29d73ae4
DJ
296
297 /* Bits 0-7 contain a mask for registers R0-R7. Bit 8 says
298 whether to save LR (R14). */
299 mask = (insn & 0xff) | ((insn & 0x100) << 6);
300
301 /* Calculate offsets of saved R0-R7 and LR. */
302 for (regno = ARM_LR_REGNUM; regno >= 0; regno--)
303 if (mask & (1 << regno))
304 {
29d73ae4
DJ
305 regs[ARM_SP_REGNUM] = pv_add_constant (regs[ARM_SP_REGNUM],
306 -4);
307 pv_area_store (stack, regs[ARM_SP_REGNUM], 4, regs[regno]);
308 }
da59e081 309 }
da3c6d4a
MS
310 else if ((insn & 0xff00) == 0xb000) /* add sp, #simm OR
311 sub sp, #simm */
da59e081 312 {
29d73ae4
DJ
313 offset = (insn & 0x7f) << 2; /* get scaled offset */
314 if (insn & 0x80) /* Check for SUB. */
315 regs[ARM_SP_REGNUM] = pv_add_constant (regs[ARM_SP_REGNUM],
316 -offset);
da59e081 317 else
29d73ae4
DJ
318 regs[ARM_SP_REGNUM] = pv_add_constant (regs[ARM_SP_REGNUM],
319 offset);
da59e081
JM
320 }
321 else if ((insn & 0xff00) == 0xaf00) /* add r7, sp, #imm */
29d73ae4
DJ
322 regs[THUMB_FP_REGNUM] = pv_add_constant (regs[ARM_SP_REGNUM],
323 (insn & 0xff) << 2);
324 else if ((insn & 0xff00) == 0x4600) /* mov hi, lo or mov lo, hi */
da59e081 325 {
29d73ae4
DJ
326 int dst_reg = (insn & 0x7) + ((insn & 0x80) >> 4);
327 int src_reg = (insn & 0x78) >> 3;
328 regs[dst_reg] = regs[src_reg];
da59e081 329 }
29d73ae4 330 else if ((insn & 0xf800) == 0x9000) /* str rd, [sp, #off] */
da59e081 331 {
29d73ae4
DJ
332 /* Handle stores to the stack. Normally pushes are used,
333 but with GCC -mtpcs-frame, there may be other stores
334 in the prologue to create the frame. */
335 int regno = (insn >> 8) & 0x7;
336 pv_t addr;
337
338 offset = (insn & 0xff) << 2;
339 addr = pv_add_constant (regs[ARM_SP_REGNUM], offset);
340
341 if (pv_area_store_would_trash (stack, addr))
342 break;
343
344 pv_area_store (stack, addr, 4, regs[regno]);
da59e081 345 }
29d73ae4 346 else
3d74b771 347 {
29d73ae4
DJ
348 /* We don't know what this instruction is. We're finished
349 scanning. NOTE: Recognizing more safe-to-ignore
350 instructions here will improve support for optimized
351 code. */
da3c6d4a 352 break;
3d74b771 353 }
29d73ae4
DJ
354
355 start += 2;
c906108c
SS
356 }
357
29d73ae4
DJ
358 if (cache == NULL)
359 {
360 do_cleanups (back_to);
361 return start;
362 }
363
29d73ae4
DJ
364 if (pv_is_register (regs[ARM_FP_REGNUM], ARM_SP_REGNUM))
365 {
366 /* Frame pointer is fp. Frame size is constant. */
367 cache->framereg = ARM_FP_REGNUM;
368 cache->framesize = -regs[ARM_FP_REGNUM].k;
369 }
370 else if (pv_is_register (regs[THUMB_FP_REGNUM], ARM_SP_REGNUM))
371 {
372 /* Frame pointer is r7. Frame size is constant. */
373 cache->framereg = THUMB_FP_REGNUM;
374 cache->framesize = -regs[THUMB_FP_REGNUM].k;
375 }
376 else if (pv_is_register (regs[ARM_SP_REGNUM], ARM_SP_REGNUM))
377 {
378 /* Try the stack pointer... this is a bit desperate. */
379 cache->framereg = ARM_SP_REGNUM;
380 cache->framesize = -regs[ARM_SP_REGNUM].k;
381 }
382 else
383 {
384 /* We're just out of luck. We don't know where the frame is. */
385 cache->framereg = -1;
386 cache->framesize = 0;
387 }
388
389 for (i = 0; i < 16; i++)
390 if (pv_area_find_reg (stack, gdbarch, i, &offset))
391 cache->saved_regs[i].addr = offset;
392
393 do_cleanups (back_to);
394 return start;
c906108c
SS
395}
396
da3c6d4a
MS
397/* Advance the PC across any function entry prologue instructions to
398 reach some "real" code.
34e8f22d
RE
399
400 The APCS (ARM Procedure Call Standard) defines the following
ed9a39eb 401 prologue:
c906108c 402
c5aa993b
JM
403 mov ip, sp
404 [stmfd sp!, {a1,a2,a3,a4}]
405 stmfd sp!, {...,fp,ip,lr,pc}
ed9a39eb
JM
406 [stfe f7, [sp, #-12]!]
407 [stfe f6, [sp, #-12]!]
408 [stfe f5, [sp, #-12]!]
409 [stfe f4, [sp, #-12]!]
410 sub fp, ip, #nn @@ nn == 20 or 4 depending on second insn */
c906108c 411
34e8f22d 412static CORE_ADDR
ed9a39eb 413arm_skip_prologue (CORE_ADDR pc)
c906108c
SS
414{
415 unsigned long inst;
416 CORE_ADDR skip_pc;
b8d5e71d 417 CORE_ADDR func_addr, func_end = 0;
50f6fb4b 418 char *func_name;
c906108c
SS
419 struct symtab_and_line sal;
420
848cfffb 421 /* If we're in a dummy frame, don't even try to skip the prologue. */
30a4a8e0 422 if (deprecated_pc_in_call_dummy (pc))
848cfffb
AC
423 return pc;
424
96baa820 425 /* See what the symbol table says. */
ed9a39eb 426
50f6fb4b 427 if (find_pc_partial_function (pc, &func_name, &func_addr, &func_end))
c906108c 428 {
50f6fb4b
CV
429 struct symbol *sym;
430
431 /* Found a function. */
176620f1 432 sym = lookup_symbol (func_name, NULL, VAR_DOMAIN, NULL, NULL);
50f6fb4b
CV
433 if (sym && SYMBOL_LANGUAGE (sym) != language_asm)
434 {
94c30b78 435 /* Don't use this trick for assembly source files. */
50f6fb4b
CV
436 sal = find_pc_line (func_addr, 0);
437 if ((sal.line != 0) && (sal.end < func_end))
438 return sal.end;
439 }
c906108c
SS
440 }
441
c906108c 442 /* Can't find the prologue end in the symbol table, try it the hard way
94c30b78 443 by disassembling the instructions. */
c906108c 444
b8d5e71d
MS
445 /* Like arm_scan_prologue, stop no later than pc + 64. */
446 if (func_end == 0 || func_end > pc + 64)
447 func_end = pc + 64;
c906108c 448
29d73ae4
DJ
449 /* Check if this is Thumb code. */
450 if (arm_pc_is_thumb (pc))
451 return thumb_analyze_prologue (current_gdbarch, pc, func_end, NULL);
452
b8d5e71d 453 for (skip_pc = pc; skip_pc < func_end; skip_pc += 4)
f43845b3 454 {
1c5bada0 455 inst = read_memory_unsigned_integer (skip_pc, 4);
f43845b3 456
b8d5e71d
MS
457 /* "mov ip, sp" is no longer a required part of the prologue. */
458 if (inst == 0xe1a0c00d) /* mov ip, sp */
459 continue;
c906108c 460
28cd8767
JG
461 if ((inst & 0xfffff000) == 0xe28dc000) /* add ip, sp #n */
462 continue;
463
464 if ((inst & 0xfffff000) == 0xe24dc000) /* sub ip, sp #n */
465 continue;
466
b8d5e71d
MS
467 /* Some prologues begin with "str lr, [sp, #-4]!". */
468 if (inst == 0xe52de004) /* str lr, [sp, #-4]! */
469 continue;
c906108c 470
b8d5e71d
MS
471 if ((inst & 0xfffffff0) == 0xe92d0000) /* stmfd sp!,{a1,a2,a3,a4} */
472 continue;
c906108c 473
b8d5e71d
MS
474 if ((inst & 0xfffff800) == 0xe92dd800) /* stmfd sp!,{fp,ip,lr,pc} */
475 continue;
11d3b27d 476
b8d5e71d
MS
477 /* Any insns after this point may float into the code, if it makes
478 for better instruction scheduling, so we skip them only if we
479 find them, but still consider the function to be frame-ful. */
f43845b3 480
b8d5e71d
MS
481 /* We may have either one sfmfd instruction here, or several stfe
482 insns, depending on the version of floating point code we
483 support. */
484 if ((inst & 0xffbf0fff) == 0xec2d0200) /* sfmfd fn, <cnt>, [sp]! */
485 continue;
486
487 if ((inst & 0xffff8fff) == 0xed6d0103) /* stfe fn, [sp, #-12]! */
488 continue;
489
490 if ((inst & 0xfffff000) == 0xe24cb000) /* sub fp, ip, #nn */
491 continue;
492
493 if ((inst & 0xfffff000) == 0xe24dd000) /* sub sp, sp, #nn */
494 continue;
495
496 if ((inst & 0xffffc000) == 0xe54b0000 || /* strb r(0123),[r11,#-nn] */
497 (inst & 0xffffc0f0) == 0xe14b00b0 || /* strh r(0123),[r11,#-nn] */
498 (inst & 0xffffc000) == 0xe50b0000) /* str r(0123),[r11,#-nn] */
499 continue;
500
501 if ((inst & 0xffffc000) == 0xe5cd0000 || /* strb r(0123),[sp,#nn] */
502 (inst & 0xffffc0f0) == 0xe1cd00b0 || /* strh r(0123),[sp,#nn] */
503 (inst & 0xffffc000) == 0xe58d0000) /* str r(0123),[sp,#nn] */
504 continue;
505
506 /* Un-recognized instruction; stop scanning. */
507 break;
f43845b3 508 }
c906108c 509
b8d5e71d 510 return skip_pc; /* End of prologue */
c906108c 511}
94c30b78 512
c5aa993b 513/* *INDENT-OFF* */
c906108c
SS
514/* Function: thumb_scan_prologue (helper function for arm_scan_prologue)
515 This function decodes a Thumb function prologue to determine:
516 1) the size of the stack frame
517 2) which registers are saved on it
518 3) the offsets of saved regs
519 4) the offset from the stack pointer to the frame pointer
c906108c 520
da59e081
JM
521 A typical Thumb function prologue would create this stack frame
522 (offsets relative to FP)
c906108c
SS
523 old SP -> 24 stack parameters
524 20 LR
525 16 R7
526 R7 -> 0 local variables (16 bytes)
527 SP -> -12 additional stack space (12 bytes)
528 The frame size would thus be 36 bytes, and the frame offset would be
da59e081
JM
529 12 bytes. The frame register is R7.
530
da3c6d4a
MS
531 The comments for thumb_skip_prolog() describe the algorithm we use
532 to detect the end of the prolog. */
c5aa993b
JM
533/* *INDENT-ON* */
534
c906108c 535static void
eb5492fa 536thumb_scan_prologue (CORE_ADDR prev_pc, struct arm_prologue_cache *cache)
c906108c
SS
537{
538 CORE_ADDR prologue_start;
539 CORE_ADDR prologue_end;
540 CORE_ADDR current_pc;
94c30b78 541 /* Which register has been copied to register n? */
da3c6d4a
MS
542 int saved_reg[16];
543 /* findmask:
544 bit 0 - push { rlist }
545 bit 1 - mov r7, sp OR add r7, sp, #imm (setting of r7)
546 bit 2 - sub sp, #simm OR add sp, #simm (adjusting of sp)
547 */
548 int findmask = 0;
c5aa993b 549 int i;
c906108c 550
eb5492fa 551 if (find_pc_partial_function (prev_pc, NULL, &prologue_start, &prologue_end))
c906108c
SS
552 {
553 struct symtab_and_line sal = find_pc_line (prologue_start, 0);
554
94c30b78 555 if (sal.line == 0) /* no line info, use current PC */
eb5492fa 556 prologue_end = prev_pc;
c906108c 557 else if (sal.end < prologue_end) /* next line begins after fn end */
94c30b78 558 prologue_end = sal.end; /* (probably means no prologue) */
c906108c
SS
559 }
560 else
f7060f85
DJ
561 /* We're in the boondocks: we have no idea where the start of the
562 function is. */
563 return;
c906108c 564
eb5492fa 565 prologue_end = min (prologue_end, prev_pc);
c906108c 566
29d73ae4
DJ
567 thumb_analyze_prologue (current_gdbarch, prologue_start, prologue_end,
568 cache);
c906108c
SS
569}
570
ed9a39eb 571/* This function decodes an ARM function prologue to determine:
c5aa993b
JM
572 1) the size of the stack frame
573 2) which registers are saved on it
574 3) the offsets of saved regs
575 4) the offset from the stack pointer to the frame pointer
c906108c
SS
576 This information is stored in the "extra" fields of the frame_info.
577
96baa820
JM
578 There are two basic forms for the ARM prologue. The fixed argument
579 function call will look like:
ed9a39eb
JM
580
581 mov ip, sp
582 stmfd sp!, {fp, ip, lr, pc}
583 sub fp, ip, #4
584 [sub sp, sp, #4]
96baa820 585
c906108c 586 Which would create this stack frame (offsets relative to FP):
ed9a39eb
JM
587 IP -> 4 (caller's stack)
588 FP -> 0 PC (points to address of stmfd instruction + 8 in callee)
589 -4 LR (return address in caller)
590 -8 IP (copy of caller's SP)
591 -12 FP (caller's FP)
592 SP -> -28 Local variables
593
c906108c 594 The frame size would thus be 32 bytes, and the frame offset would be
96baa820
JM
595 28 bytes. The stmfd call can also save any of the vN registers it
596 plans to use, which increases the frame size accordingly.
597
598 Note: The stored PC is 8 off of the STMFD instruction that stored it
599 because the ARM Store instructions always store PC + 8 when you read
600 the PC register.
ed9a39eb 601
96baa820
JM
602 A variable argument function call will look like:
603
ed9a39eb
JM
604 mov ip, sp
605 stmfd sp!, {a1, a2, a3, a4}
606 stmfd sp!, {fp, ip, lr, pc}
607 sub fp, ip, #20
608
96baa820 609 Which would create this stack frame (offsets relative to FP):
ed9a39eb
JM
610 IP -> 20 (caller's stack)
611 16 A4
612 12 A3
613 8 A2
614 4 A1
615 FP -> 0 PC (points to address of stmfd instruction + 8 in callee)
616 -4 LR (return address in caller)
617 -8 IP (copy of caller's SP)
618 -12 FP (caller's FP)
619 SP -> -28 Local variables
96baa820
JM
620
621 The frame size would thus be 48 bytes, and the frame offset would be
622 28 bytes.
623
624 There is another potential complication, which is that the optimizer
625 will try to separate the store of fp in the "stmfd" instruction from
626 the "sub fp, ip, #NN" instruction. Almost anything can be there, so
627 we just key on the stmfd, and then scan for the "sub fp, ip, #NN"...
628
629 Also, note, the original version of the ARM toolchain claimed that there
630 should be an
631
632 instruction at the end of the prologue. I have never seen GCC produce
633 this, and the ARM docs don't mention it. We still test for it below in
634 case it happens...
ed9a39eb
JM
635
636 */
c906108c
SS
637
638static void
2af46ca0
UW
639arm_scan_prologue (struct frame_info *next_frame,
640 struct arm_prologue_cache *cache)
c906108c 641{
2af46ca0 642 struct gdbarch *gdbarch = get_frame_arch (next_frame);
4be43953 643 int regno;
c906108c 644 CORE_ADDR prologue_start, prologue_end, current_pc;
eb5492fa 645 CORE_ADDR prev_pc = frame_pc_unwind (next_frame);
4be43953
DJ
646 pv_t regs[ARM_FPS_REGNUM];
647 struct pv_area *stack;
648 struct cleanup *back_to;
649 CORE_ADDR offset;
c906108c 650
c906108c 651 /* Assume there is no frame until proven otherwise. */
9b8d791a
DJ
652 cache->framereg = ARM_SP_REGNUM;
653 cache->framesize = 0;
c906108c
SS
654
655 /* Check for Thumb prologue. */
eb5492fa 656 if (arm_pc_is_thumb (prev_pc))
c906108c 657 {
eb5492fa 658 thumb_scan_prologue (prev_pc, cache);
c906108c
SS
659 return;
660 }
661
662 /* Find the function prologue. If we can't find the function in
663 the symbol table, peek in the stack frame to find the PC. */
eb5492fa 664 if (find_pc_partial_function (prev_pc, NULL, &prologue_start, &prologue_end))
c906108c 665 {
2a451106
KB
666 /* One way to find the end of the prologue (which works well
667 for unoptimized code) is to do the following:
668
669 struct symtab_and_line sal = find_pc_line (prologue_start, 0);
670
671 if (sal.line == 0)
eb5492fa 672 prologue_end = prev_pc;
2a451106
KB
673 else if (sal.end < prologue_end)
674 prologue_end = sal.end;
675
676 This mechanism is very accurate so long as the optimizer
677 doesn't move any instructions from the function body into the
678 prologue. If this happens, sal.end will be the last
679 instruction in the first hunk of prologue code just before
680 the first instruction that the scheduler has moved from
681 the body to the prologue.
682
683 In order to make sure that we scan all of the prologue
684 instructions, we use a slightly less accurate mechanism which
685 may scan more than necessary. To help compensate for this
686 lack of accuracy, the prologue scanning loop below contains
687 several clauses which'll cause the loop to terminate early if
688 an implausible prologue instruction is encountered.
689
690 The expression
691
692 prologue_start + 64
693
694 is a suitable endpoint since it accounts for the largest
695 possible prologue plus up to five instructions inserted by
94c30b78 696 the scheduler. */
2a451106
KB
697
698 if (prologue_end > prologue_start + 64)
699 {
94c30b78 700 prologue_end = prologue_start + 64; /* See above. */
2a451106 701 }
c906108c
SS
702 }
703 else
704 {
eb5492fa
DJ
705 /* We have no symbol information. Our only option is to assume this
706 function has a standard stack frame and the normal frame register.
707 Then, we can find the value of our frame pointer on entrance to
708 the callee (or at the present moment if this is the innermost frame).
709 The value stored there should be the address of the stmfd + 8. */
710 CORE_ADDR frame_loc;
711 LONGEST return_value;
712
713 frame_loc = frame_unwind_register_unsigned (next_frame, ARM_FP_REGNUM);
714 if (!safe_read_memory_integer (frame_loc, 4, &return_value))
16a0f3e7
EZ
715 return;
716 else
717 {
bf6ae464 718 prologue_start = gdbarch_addr_bits_remove
2af46ca0 719 (gdbarch, return_value) - 8;
94c30b78 720 prologue_end = prologue_start + 64; /* See above. */
16a0f3e7 721 }
c906108c
SS
722 }
723
eb5492fa
DJ
724 if (prev_pc < prologue_end)
725 prologue_end = prev_pc;
726
c906108c 727 /* Now search the prologue looking for instructions that set up the
96baa820 728 frame pointer, adjust the stack pointer, and save registers.
ed9a39eb 729
96baa820
JM
730 Be careful, however, and if it doesn't look like a prologue,
731 don't try to scan it. If, for instance, a frameless function
732 begins with stmfd sp!, then we will tell ourselves there is
b8d5e71d 733 a frame, which will confuse stack traceback, as well as "finish"
96baa820
JM
734 and other operations that rely on a knowledge of the stack
735 traceback.
736
737 In the APCS, the prologue should start with "mov ip, sp" so
f43845b3 738 if we don't see this as the first insn, we will stop.
c906108c 739
f43845b3
MS
740 [Note: This doesn't seem to be true any longer, so it's now an
741 optional part of the prologue. - Kevin Buettner, 2001-11-20]
c906108c 742
f43845b3
MS
743 [Note further: The "mov ip,sp" only seems to be missing in
744 frameless functions at optimization level "-O2" or above,
745 in which case it is often (but not always) replaced by
b8d5e71d 746 "str lr, [sp, #-4]!". - Michael Snyder, 2002-04-23] */
d4473757 747
4be43953
DJ
748 for (regno = 0; regno < ARM_FPS_REGNUM; regno++)
749 regs[regno] = pv_register (regno, 0);
750 stack = make_pv_area (ARM_SP_REGNUM);
751 back_to = make_cleanup_free_pv_area (stack);
752
753 regs[ARM_PC_REGNUM] = pv_unknown ();
f43845b3 754
94c30b78
MS
755 for (current_pc = prologue_start;
756 current_pc < prologue_end;
f43845b3 757 current_pc += 4)
96baa820 758 {
d4473757
KB
759 unsigned int insn = read_memory_unsigned_integer (current_pc, 4);
760
94c30b78 761 if (insn == 0xe1a0c00d) /* mov ip, sp */
f43845b3 762 {
4be43953 763 regs[ARM_IP_REGNUM] = regs[ARM_SP_REGNUM];
28cd8767
JG
764 continue;
765 }
766 else if ((insn & 0xfffff000) == 0xe28dc000) /* add ip, sp #n */
767 {
768 unsigned imm = insn & 0xff; /* immediate value */
769 unsigned rot = (insn & 0xf00) >> 7; /* rotate amount */
770 imm = (imm >> rot) | (imm << (32 - rot));
4be43953 771 regs[ARM_IP_REGNUM] = pv_add_constant (regs[ARM_SP_REGNUM], imm);
28cd8767
JG
772 continue;
773 }
774 else if ((insn & 0xfffff000) == 0xe24dc000) /* sub ip, sp #n */
775 {
776 unsigned imm = insn & 0xff; /* immediate value */
777 unsigned rot = (insn & 0xf00) >> 7; /* rotate amount */
778 imm = (imm >> rot) | (imm << (32 - rot));
4be43953 779 regs[ARM_IP_REGNUM] = pv_add_constant (regs[ARM_SP_REGNUM], -imm);
f43845b3
MS
780 continue;
781 }
94c30b78 782 else if (insn == 0xe52de004) /* str lr, [sp, #-4]! */
f43845b3 783 {
4be43953
DJ
784 if (pv_area_store_would_trash (stack, regs[ARM_SP_REGNUM]))
785 break;
786 regs[ARM_SP_REGNUM] = pv_add_constant (regs[ARM_SP_REGNUM], -4);
787 pv_area_store (stack, regs[ARM_SP_REGNUM], 4, regs[ARM_LR_REGNUM]);
f43845b3
MS
788 continue;
789 }
790 else if ((insn & 0xffff0000) == 0xe92d0000)
d4473757
KB
791 /* stmfd sp!, {..., fp, ip, lr, pc}
792 or
793 stmfd sp!, {a1, a2, a3, a4} */
c906108c 794 {
d4473757 795 int mask = insn & 0xffff;
ed9a39eb 796
4be43953
DJ
797 if (pv_area_store_would_trash (stack, regs[ARM_SP_REGNUM]))
798 break;
799
94c30b78 800 /* Calculate offsets of saved registers. */
34e8f22d 801 for (regno = ARM_PC_REGNUM; regno >= 0; regno--)
d4473757
KB
802 if (mask & (1 << regno))
803 {
4be43953
DJ
804 regs[ARM_SP_REGNUM] = pv_add_constant (regs[ARM_SP_REGNUM], -4);
805 pv_area_store (stack, regs[ARM_SP_REGNUM], 4, regs[regno]);
d4473757
KB
806 }
807 }
b8d5e71d
MS
808 else if ((insn & 0xffffc000) == 0xe54b0000 || /* strb rx,[r11,#-n] */
809 (insn & 0xffffc0f0) == 0xe14b00b0 || /* strh rx,[r11,#-n] */
810 (insn & 0xffffc000) == 0xe50b0000) /* str rx,[r11,#-n] */
811 {
812 /* No need to add this to saved_regs -- it's just an arg reg. */
813 continue;
814 }
815 else if ((insn & 0xffffc000) == 0xe5cd0000 || /* strb rx,[sp,#n] */
816 (insn & 0xffffc0f0) == 0xe1cd00b0 || /* strh rx,[sp,#n] */
817 (insn & 0xffffc000) == 0xe58d0000) /* str rx,[sp,#n] */
f43845b3
MS
818 {
819 /* No need to add this to saved_regs -- it's just an arg reg. */
820 continue;
821 }
d4473757
KB
822 else if ((insn & 0xfffff000) == 0xe24cb000) /* sub fp, ip #n */
823 {
94c30b78
MS
824 unsigned imm = insn & 0xff; /* immediate value */
825 unsigned rot = (insn & 0xf00) >> 7; /* rotate amount */
d4473757 826 imm = (imm >> rot) | (imm << (32 - rot));
4be43953 827 regs[ARM_FP_REGNUM] = pv_add_constant (regs[ARM_IP_REGNUM], -imm);
d4473757
KB
828 }
829 else if ((insn & 0xfffff000) == 0xe24dd000) /* sub sp, sp #n */
830 {
94c30b78
MS
831 unsigned imm = insn & 0xff; /* immediate value */
832 unsigned rot = (insn & 0xf00) >> 7; /* rotate amount */
d4473757 833 imm = (imm >> rot) | (imm << (32 - rot));
4be43953 834 regs[ARM_SP_REGNUM] = pv_add_constant (regs[ARM_SP_REGNUM], -imm);
d4473757 835 }
ff6f572f 836 else if ((insn & 0xffff7fff) == 0xed6d0103 /* stfe f?, [sp, -#c]! */
2af46ca0 837 && gdbarch_tdep (gdbarch)->have_fpa_registers)
d4473757 838 {
4be43953
DJ
839 if (pv_area_store_would_trash (stack, regs[ARM_SP_REGNUM]))
840 break;
841
842 regs[ARM_SP_REGNUM] = pv_add_constant (regs[ARM_SP_REGNUM], -12);
34e8f22d 843 regno = ARM_F0_REGNUM + ((insn >> 12) & 0x07);
4be43953 844 pv_area_store (stack, regs[ARM_SP_REGNUM], 12, regs[regno]);
d4473757 845 }
ff6f572f 846 else if ((insn & 0xffbf0fff) == 0xec2d0200 /* sfmfd f0, 4, [sp!] */
2af46ca0 847 && gdbarch_tdep (gdbarch)->have_fpa_registers)
d4473757
KB
848 {
849 int n_saved_fp_regs;
850 unsigned int fp_start_reg, fp_bound_reg;
851
4be43953
DJ
852 if (pv_area_store_would_trash (stack, regs[ARM_SP_REGNUM]))
853 break;
854
94c30b78 855 if ((insn & 0x800) == 0x800) /* N0 is set */
96baa820 856 {
d4473757
KB
857 if ((insn & 0x40000) == 0x40000) /* N1 is set */
858 n_saved_fp_regs = 3;
859 else
860 n_saved_fp_regs = 1;
96baa820 861 }
d4473757 862 else
96baa820 863 {
d4473757
KB
864 if ((insn & 0x40000) == 0x40000) /* N1 is set */
865 n_saved_fp_regs = 2;
866 else
867 n_saved_fp_regs = 4;
96baa820 868 }
d4473757 869
34e8f22d 870 fp_start_reg = ARM_F0_REGNUM + ((insn >> 12) & 0x7);
d4473757
KB
871 fp_bound_reg = fp_start_reg + n_saved_fp_regs;
872 for (; fp_start_reg < fp_bound_reg; fp_start_reg++)
96baa820 873 {
4be43953
DJ
874 regs[ARM_SP_REGNUM] = pv_add_constant (regs[ARM_SP_REGNUM], -12);
875 pv_area_store (stack, regs[ARM_SP_REGNUM], 12,
876 regs[fp_start_reg++]);
96baa820 877 }
c906108c 878 }
d4473757 879 else if ((insn & 0xf0000000) != 0xe0000000)
94c30b78 880 break; /* Condition not true, exit early */
b8d5e71d 881 else if ((insn & 0xfe200000) == 0xe8200000) /* ldm? */
94c30b78 882 break; /* Don't scan past a block load */
d4473757
KB
883 else
884 /* The optimizer might shove anything into the prologue,
94c30b78 885 so we just skip what we don't recognize. */
d4473757 886 continue;
c906108c
SS
887 }
888
4be43953
DJ
889 /* The frame size is just the distance from the frame register
890 to the original stack pointer. */
891 if (pv_is_register (regs[ARM_FP_REGNUM], ARM_SP_REGNUM))
892 {
893 /* Frame pointer is fp. */
894 cache->framereg = ARM_FP_REGNUM;
895 cache->framesize = -regs[ARM_FP_REGNUM].k;
896 }
897 else if (pv_is_register (regs[ARM_SP_REGNUM], ARM_SP_REGNUM))
898 {
899 /* Try the stack pointer... this is a bit desperate. */
900 cache->framereg = ARM_SP_REGNUM;
901 cache->framesize = -regs[ARM_SP_REGNUM].k;
902 }
d4473757 903 else
4be43953
DJ
904 {
905 /* We're just out of luck. We don't know where the frame is. */
906 cache->framereg = -1;
907 cache->framesize = 0;
908 }
909
910 for (regno = 0; regno < ARM_FPS_REGNUM; regno++)
911 if (pv_area_find_reg (stack, gdbarch, regno, &offset))
912 cache->saved_regs[regno].addr = offset;
913
914 do_cleanups (back_to);
c906108c
SS
915}
916
eb5492fa
DJ
917static struct arm_prologue_cache *
918arm_make_prologue_cache (struct frame_info *next_frame)
c906108c 919{
eb5492fa
DJ
920 int reg;
921 struct arm_prologue_cache *cache;
922 CORE_ADDR unwound_fp;
c5aa993b 923
35d5d4ee 924 cache = FRAME_OBSTACK_ZALLOC (struct arm_prologue_cache);
eb5492fa 925 cache->saved_regs = trad_frame_alloc_saved_regs (next_frame);
c906108c 926
eb5492fa 927 arm_scan_prologue (next_frame, cache);
848cfffb 928
eb5492fa
DJ
929 unwound_fp = frame_unwind_register_unsigned (next_frame, cache->framereg);
930 if (unwound_fp == 0)
931 return cache;
c906108c 932
4be43953 933 cache->prev_sp = unwound_fp + cache->framesize;
c906108c 934
eb5492fa
DJ
935 /* Calculate actual addresses of saved registers using offsets
936 determined by arm_scan_prologue. */
2af46ca0 937 for (reg = 0; reg < gdbarch_num_regs (get_frame_arch (next_frame)); reg++)
e28a332c 938 if (trad_frame_addr_p (cache->saved_regs, reg))
eb5492fa
DJ
939 cache->saved_regs[reg].addr += cache->prev_sp;
940
941 return cache;
c906108c
SS
942}
943
eb5492fa
DJ
944/* Our frame ID for a normal frame is the current function's starting PC
945 and the caller's SP when we were called. */
c906108c 946
148754e5 947static void
eb5492fa
DJ
948arm_prologue_this_id (struct frame_info *next_frame,
949 void **this_cache,
950 struct frame_id *this_id)
c906108c 951{
eb5492fa
DJ
952 struct arm_prologue_cache *cache;
953 struct frame_id id;
954 CORE_ADDR func;
f079148d 955
eb5492fa
DJ
956 if (*this_cache == NULL)
957 *this_cache = arm_make_prologue_cache (next_frame);
958 cache = *this_cache;
2a451106 959
93d42b30 960 func = frame_func_unwind (next_frame, NORMAL_FRAME);
2a451106 961
eb5492fa
DJ
962 /* This is meant to halt the backtrace at "_start". Make sure we
963 don't halt it at a generic dummy frame. */
2301df11 964 if (func <= gdbarch_tdep (get_frame_arch (next_frame))->lowest_pc)
eb5492fa 965 return;
5a203e44 966
eb5492fa
DJ
967 /* If we've hit a wall, stop. */
968 if (cache->prev_sp == 0)
969 return;
24de872b 970
eb5492fa 971 id = frame_id_build (cache->prev_sp, func);
eb5492fa 972 *this_id = id;
c906108c
SS
973}
974
eb5492fa
DJ
975static void
976arm_prologue_prev_register (struct frame_info *next_frame,
977 void **this_cache,
978 int prev_regnum,
979 int *optimized,
980 enum lval_type *lvalp,
981 CORE_ADDR *addrp,
982 int *realnump,
9af75ef6 983 gdb_byte *valuep)
24de872b
DJ
984{
985 struct arm_prologue_cache *cache;
986
eb5492fa
DJ
987 if (*this_cache == NULL)
988 *this_cache = arm_make_prologue_cache (next_frame);
989 cache = *this_cache;
24de872b 990
eb5492fa
DJ
991 /* If we are asked to unwind the PC, then we need to return the LR
992 instead. The saved value of PC points into this frame's
993 prologue, not the next frame's resume location. */
994 if (prev_regnum == ARM_PC_REGNUM)
995 prev_regnum = ARM_LR_REGNUM;
24de872b 996
eb5492fa
DJ
997 /* SP is generally not saved to the stack, but this frame is
998 identified by NEXT_FRAME's stack pointer at the time of the call.
999 The value was already reconstructed into PREV_SP. */
1000 if (prev_regnum == ARM_SP_REGNUM)
1001 {
1002 *lvalp = not_lval;
1003 if (valuep)
1004 store_unsigned_integer (valuep, 4, cache->prev_sp);
1005 return;
1006 }
1007
1f67027d
AC
1008 trad_frame_get_prev_register (next_frame, cache->saved_regs, prev_regnum,
1009 optimized, lvalp, addrp, realnump, valuep);
eb5492fa
DJ
1010}
1011
1012struct frame_unwind arm_prologue_unwind = {
1013 NORMAL_FRAME,
1014 arm_prologue_this_id,
1015 arm_prologue_prev_register
1016};
1017
1018static const struct frame_unwind *
1019arm_prologue_unwind_sniffer (struct frame_info *next_frame)
1020{
1021 return &arm_prologue_unwind;
24de872b
DJ
1022}
1023
909cf6ea
DJ
1024static struct arm_prologue_cache *
1025arm_make_stub_cache (struct frame_info *next_frame)
1026{
1027 int reg;
1028 struct arm_prologue_cache *cache;
1029 CORE_ADDR unwound_fp;
1030
35d5d4ee 1031 cache = FRAME_OBSTACK_ZALLOC (struct arm_prologue_cache);
909cf6ea
DJ
1032 cache->saved_regs = trad_frame_alloc_saved_regs (next_frame);
1033
1034 cache->prev_sp = frame_unwind_register_unsigned (next_frame, ARM_SP_REGNUM);
1035
1036 return cache;
1037}
1038
1039/* Our frame ID for a stub frame is the current SP and LR. */
1040
1041static void
1042arm_stub_this_id (struct frame_info *next_frame,
1043 void **this_cache,
1044 struct frame_id *this_id)
1045{
1046 struct arm_prologue_cache *cache;
1047
1048 if (*this_cache == NULL)
1049 *this_cache = arm_make_stub_cache (next_frame);
1050 cache = *this_cache;
1051
1052 *this_id = frame_id_build (cache->prev_sp,
1053 frame_pc_unwind (next_frame));
1054}
1055
1056struct frame_unwind arm_stub_unwind = {
1057 NORMAL_FRAME,
1058 arm_stub_this_id,
1059 arm_prologue_prev_register
1060};
1061
1062static const struct frame_unwind *
1063arm_stub_unwind_sniffer (struct frame_info *next_frame)
1064{
93d42b30 1065 CORE_ADDR addr_in_block;
909cf6ea
DJ
1066 char dummy[4];
1067
93d42b30
DJ
1068 addr_in_block = frame_unwind_address_in_block (next_frame, NORMAL_FRAME);
1069 if (in_plt_section (addr_in_block, NULL)
909cf6ea
DJ
1070 || target_read_memory (frame_pc_unwind (next_frame), dummy, 4) != 0)
1071 return &arm_stub_unwind;
1072
1073 return NULL;
1074}
1075
24de872b 1076static CORE_ADDR
eb5492fa 1077arm_normal_frame_base (struct frame_info *next_frame, void **this_cache)
24de872b
DJ
1078{
1079 struct arm_prologue_cache *cache;
1080
eb5492fa
DJ
1081 if (*this_cache == NULL)
1082 *this_cache = arm_make_prologue_cache (next_frame);
1083 cache = *this_cache;
1084
4be43953 1085 return cache->prev_sp - cache->framesize;
24de872b
DJ
1086}
1087
eb5492fa
DJ
1088struct frame_base arm_normal_base = {
1089 &arm_prologue_unwind,
1090 arm_normal_frame_base,
1091 arm_normal_frame_base,
1092 arm_normal_frame_base
1093};
1094
eb5492fa
DJ
1095/* Assuming NEXT_FRAME->prev is a dummy, return the frame ID of that
1096 dummy frame. The frame ID's base needs to match the TOS value
1097 saved by save_dummy_frame_tos() and returned from
1098 arm_push_dummy_call, and the PC needs to match the dummy frame's
1099 breakpoint. */
c906108c 1100
eb5492fa
DJ
1101static struct frame_id
1102arm_unwind_dummy_id (struct gdbarch *gdbarch, struct frame_info *next_frame)
c906108c 1103{
eb5492fa
DJ
1104 return frame_id_build (frame_unwind_register_unsigned (next_frame, ARM_SP_REGNUM),
1105 frame_pc_unwind (next_frame));
1106}
c3b4394c 1107
eb5492fa
DJ
1108/* Given THIS_FRAME, find the previous frame's resume PC (which will
1109 be used to construct the previous frame's ID, after looking up the
1110 containing function). */
c3b4394c 1111
eb5492fa
DJ
1112static CORE_ADDR
1113arm_unwind_pc (struct gdbarch *gdbarch, struct frame_info *this_frame)
1114{
1115 CORE_ADDR pc;
1116 pc = frame_unwind_register_unsigned (this_frame, ARM_PC_REGNUM);
59ea4f70 1117 return arm_addr_bits_remove (pc);
eb5492fa
DJ
1118}
1119
1120static CORE_ADDR
1121arm_unwind_sp (struct gdbarch *gdbarch, struct frame_info *this_frame)
1122{
1123 return frame_unwind_register_unsigned (this_frame, ARM_SP_REGNUM);
c906108c
SS
1124}
1125
2dd604e7
RE
1126/* When arguments must be pushed onto the stack, they go on in reverse
1127 order. The code below implements a FILO (stack) to do this. */
1128
1129struct stack_item
1130{
1131 int len;
1132 struct stack_item *prev;
1133 void *data;
1134};
1135
1136static struct stack_item *
1137push_stack_item (struct stack_item *prev, void *contents, int len)
1138{
1139 struct stack_item *si;
1140 si = xmalloc (sizeof (struct stack_item));
226c7fbc 1141 si->data = xmalloc (len);
2dd604e7
RE
1142 si->len = len;
1143 si->prev = prev;
1144 memcpy (si->data, contents, len);
1145 return si;
1146}
1147
1148static struct stack_item *
1149pop_stack_item (struct stack_item *si)
1150{
1151 struct stack_item *dead = si;
1152 si = si->prev;
1153 xfree (dead->data);
1154 xfree (dead);
1155 return si;
1156}
1157
2af48f68
PB
1158
1159/* Return the alignment (in bytes) of the given type. */
1160
1161static int
1162arm_type_align (struct type *t)
1163{
1164 int n;
1165 int align;
1166 int falign;
1167
1168 t = check_typedef (t);
1169 switch (TYPE_CODE (t))
1170 {
1171 default:
1172 /* Should never happen. */
1173 internal_error (__FILE__, __LINE__, _("unknown type alignment"));
1174 return 4;
1175
1176 case TYPE_CODE_PTR:
1177 case TYPE_CODE_ENUM:
1178 case TYPE_CODE_INT:
1179 case TYPE_CODE_FLT:
1180 case TYPE_CODE_SET:
1181 case TYPE_CODE_RANGE:
1182 case TYPE_CODE_BITSTRING:
1183 case TYPE_CODE_REF:
1184 case TYPE_CODE_CHAR:
1185 case TYPE_CODE_BOOL:
1186 return TYPE_LENGTH (t);
1187
1188 case TYPE_CODE_ARRAY:
1189 case TYPE_CODE_COMPLEX:
1190 /* TODO: What about vector types? */
1191 return arm_type_align (TYPE_TARGET_TYPE (t));
1192
1193 case TYPE_CODE_STRUCT:
1194 case TYPE_CODE_UNION:
1195 align = 1;
1196 for (n = 0; n < TYPE_NFIELDS (t); n++)
1197 {
1198 falign = arm_type_align (TYPE_FIELD_TYPE (t, n));
1199 if (falign > align)
1200 align = falign;
1201 }
1202 return align;
1203 }
1204}
1205
2dd604e7
RE
1206/* We currently only support passing parameters in integer registers. This
1207 conforms with GCC's default model. Several other variants exist and
1208 we should probably support some of them based on the selected ABI. */
1209
1210static CORE_ADDR
7d9b040b 1211arm_push_dummy_call (struct gdbarch *gdbarch, struct value *function,
6a65450a
AC
1212 struct regcache *regcache, CORE_ADDR bp_addr, int nargs,
1213 struct value **args, CORE_ADDR sp, int struct_return,
1214 CORE_ADDR struct_addr)
2dd604e7
RE
1215{
1216 int argnum;
1217 int argreg;
1218 int nstack;
1219 struct stack_item *si = NULL;
1220
6a65450a
AC
1221 /* Set the return address. For the ARM, the return breakpoint is
1222 always at BP_ADDR. */
2dd604e7 1223 /* XXX Fix for Thumb. */
6a65450a 1224 regcache_cooked_write_unsigned (regcache, ARM_LR_REGNUM, bp_addr);
2dd604e7
RE
1225
1226 /* Walk through the list of args and determine how large a temporary
1227 stack is required. Need to take care here as structs may be
1228 passed on the stack, and we have to to push them. */
1229 nstack = 0;
1230
1231 argreg = ARM_A1_REGNUM;
1232 nstack = 0;
1233
2dd604e7
RE
1234 /* The struct_return pointer occupies the first parameter
1235 passing register. */
1236 if (struct_return)
1237 {
1238 if (arm_debug)
1239 fprintf_unfiltered (gdb_stdlog, "struct return in %s = 0x%s\n",
2af46ca0 1240 gdbarch_register_name (gdbarch, argreg),
c9f4d572 1241 paddr (struct_addr));
2dd604e7
RE
1242 regcache_cooked_write_unsigned (regcache, argreg, struct_addr);
1243 argreg++;
1244 }
1245
1246 for (argnum = 0; argnum < nargs; argnum++)
1247 {
1248 int len;
1249 struct type *arg_type;
1250 struct type *target_type;
1251 enum type_code typecode;
0fd88904 1252 bfd_byte *val;
2af48f68 1253 int align;
2dd604e7 1254
df407dfe 1255 arg_type = check_typedef (value_type (args[argnum]));
2dd604e7
RE
1256 len = TYPE_LENGTH (arg_type);
1257 target_type = TYPE_TARGET_TYPE (arg_type);
1258 typecode = TYPE_CODE (arg_type);
0fd88904 1259 val = value_contents_writeable (args[argnum]);
2dd604e7 1260
2af48f68
PB
1261 align = arm_type_align (arg_type);
1262 /* Round alignment up to a whole number of words. */
1263 align = (align + INT_REGISTER_SIZE - 1) & ~(INT_REGISTER_SIZE - 1);
1264 /* Different ABIs have different maximum alignments. */
1265 if (gdbarch_tdep (gdbarch)->arm_abi == ARM_ABI_APCS)
1266 {
1267 /* The APCS ABI only requires word alignment. */
1268 align = INT_REGISTER_SIZE;
1269 }
1270 else
1271 {
1272 /* The AAPCS requires at most doubleword alignment. */
1273 if (align > INT_REGISTER_SIZE * 2)
1274 align = INT_REGISTER_SIZE * 2;
1275 }
1276
1277 /* Push stack padding for dowubleword alignment. */
1278 if (nstack & (align - 1))
1279 {
1280 si = push_stack_item (si, val, INT_REGISTER_SIZE);
1281 nstack += INT_REGISTER_SIZE;
1282 }
1283
1284 /* Doubleword aligned quantities must go in even register pairs. */
1285 if (argreg <= ARM_LAST_ARG_REGNUM
1286 && align > INT_REGISTER_SIZE
1287 && argreg & 1)
1288 argreg++;
1289
2dd604e7
RE
1290 /* If the argument is a pointer to a function, and it is a
1291 Thumb function, create a LOCAL copy of the value and set
1292 the THUMB bit in it. */
1293 if (TYPE_CODE_PTR == typecode
1294 && target_type != NULL
1295 && TYPE_CODE_FUNC == TYPE_CODE (target_type))
1296 {
7c0b4a20 1297 CORE_ADDR regval = extract_unsigned_integer (val, len);
2dd604e7
RE
1298 if (arm_pc_is_thumb (regval))
1299 {
1300 val = alloca (len);
fbd9dcd3 1301 store_unsigned_integer (val, len, MAKE_THUMB_ADDR (regval));
2dd604e7
RE
1302 }
1303 }
1304
1305 /* Copy the argument to general registers or the stack in
1306 register-sized pieces. Large arguments are split between
1307 registers and stack. */
1308 while (len > 0)
1309 {
f0c9063c 1310 int partial_len = len < INT_REGISTER_SIZE ? len : INT_REGISTER_SIZE;
2dd604e7
RE
1311
1312 if (argreg <= ARM_LAST_ARG_REGNUM)
1313 {
1314 /* The argument is being passed in a general purpose
1315 register. */
7c0b4a20 1316 CORE_ADDR regval = extract_unsigned_integer (val, partial_len);
2af46ca0 1317 if (gdbarch_byte_order (gdbarch) == BFD_ENDIAN_BIG)
8bf8793c 1318 regval <<= (INT_REGISTER_SIZE - partial_len) * 8;
2dd604e7
RE
1319 if (arm_debug)
1320 fprintf_unfiltered (gdb_stdlog, "arg %d in %s = 0x%s\n",
c9f4d572
UW
1321 argnum,
1322 gdbarch_register_name
2af46ca0 1323 (gdbarch, argreg),
f0c9063c 1324 phex (regval, INT_REGISTER_SIZE));
2dd604e7
RE
1325 regcache_cooked_write_unsigned (regcache, argreg, regval);
1326 argreg++;
1327 }
1328 else
1329 {
1330 /* Push the arguments onto the stack. */
1331 if (arm_debug)
1332 fprintf_unfiltered (gdb_stdlog, "arg %d @ sp + %d\n",
1333 argnum, nstack);
f0c9063c
UW
1334 si = push_stack_item (si, val, INT_REGISTER_SIZE);
1335 nstack += INT_REGISTER_SIZE;
2dd604e7
RE
1336 }
1337
1338 len -= partial_len;
1339 val += partial_len;
1340 }
1341 }
1342 /* If we have an odd number of words to push, then decrement the stack
1343 by one word now, so first stack argument will be dword aligned. */
1344 if (nstack & 4)
1345 sp -= 4;
1346
1347 while (si)
1348 {
1349 sp -= si->len;
1350 write_memory (sp, si->data, si->len);
1351 si = pop_stack_item (si);
1352 }
1353
1354 /* Finally, update teh SP register. */
1355 regcache_cooked_write_unsigned (regcache, ARM_SP_REGNUM, sp);
1356
1357 return sp;
1358}
1359
f53f0d0b
PB
1360
1361/* Always align the frame to an 8-byte boundary. This is required on
1362 some platforms and harmless on the rest. */
1363
1364static CORE_ADDR
1365arm_frame_align (struct gdbarch *gdbarch, CORE_ADDR sp)
1366{
1367 /* Align the stack to eight bytes. */
1368 return sp & ~ (CORE_ADDR) 7;
1369}
1370
c906108c 1371static void
ed9a39eb 1372print_fpu_flags (int flags)
c906108c 1373{
c5aa993b
JM
1374 if (flags & (1 << 0))
1375 fputs ("IVO ", stdout);
1376 if (flags & (1 << 1))
1377 fputs ("DVZ ", stdout);
1378 if (flags & (1 << 2))
1379 fputs ("OFL ", stdout);
1380 if (flags & (1 << 3))
1381 fputs ("UFL ", stdout);
1382 if (flags & (1 << 4))
1383 fputs ("INX ", stdout);
1384 putchar ('\n');
c906108c
SS
1385}
1386
5e74b15c
RE
1387/* Print interesting information about the floating point processor
1388 (if present) or emulator. */
34e8f22d 1389static void
d855c300 1390arm_print_float_info (struct gdbarch *gdbarch, struct ui_file *file,
23e3a7ac 1391 struct frame_info *frame, const char *args)
c906108c 1392{
9c9acae0 1393 unsigned long status = get_frame_register_unsigned (frame, ARM_FPS_REGNUM);
c5aa993b
JM
1394 int type;
1395
1396 type = (status >> 24) & 127;
edefbb7c
AC
1397 if (status & (1 << 31))
1398 printf (_("Hardware FPU type %d\n"), type);
1399 else
1400 printf (_("Software FPU type %d\n"), type);
1401 /* i18n: [floating point unit] mask */
1402 fputs (_("mask: "), stdout);
c5aa993b 1403 print_fpu_flags (status >> 16);
edefbb7c
AC
1404 /* i18n: [floating point unit] flags */
1405 fputs (_("flags: "), stdout);
c5aa993b 1406 print_fpu_flags (status);
c906108c
SS
1407}
1408
34e8f22d
RE
1409/* Return the GDB type object for the "standard" data type of data in
1410 register N. */
1411
1412static struct type *
7a5ea0d4 1413arm_register_type (struct gdbarch *gdbarch, int regnum)
032758dc 1414{
34e8f22d 1415 if (regnum >= ARM_F0_REGNUM && regnum < ARM_F0_REGNUM + NUM_FREGS)
8da61cc4 1416 return builtin_type_arm_ext;
e4c16157
DJ
1417 else if (regnum == ARM_SP_REGNUM)
1418 return builtin_type_void_data_ptr;
1419 else if (regnum == ARM_PC_REGNUM)
1420 return builtin_type_void_func_ptr;
ff6f572f
DJ
1421 else if (regnum >= ARRAY_SIZE (arm_register_names))
1422 /* These registers are only supported on targets which supply
1423 an XML description. */
1424 return builtin_type_int0;
032758dc 1425 else
e4c16157 1426 return builtin_type_uint32;
032758dc
AC
1427}
1428
ff6f572f
DJ
1429/* Map a DWARF register REGNUM onto the appropriate GDB register
1430 number. */
1431
1432static int
1433arm_dwarf_reg_to_regnum (int reg)
1434{
1435 /* Core integer regs. */
1436 if (reg >= 0 && reg <= 15)
1437 return reg;
1438
1439 /* Legacy FPA encoding. These were once used in a way which
1440 overlapped with VFP register numbering, so their use is
1441 discouraged, but GDB doesn't support the ARM toolchain
1442 which used them for VFP. */
1443 if (reg >= 16 && reg <= 23)
1444 return ARM_F0_REGNUM + reg - 16;
1445
1446 /* New assignments for the FPA registers. */
1447 if (reg >= 96 && reg <= 103)
1448 return ARM_F0_REGNUM + reg - 96;
1449
1450 /* WMMX register assignments. */
1451 if (reg >= 104 && reg <= 111)
1452 return ARM_WCGR0_REGNUM + reg - 104;
1453
1454 if (reg >= 112 && reg <= 127)
1455 return ARM_WR0_REGNUM + reg - 112;
1456
1457 if (reg >= 192 && reg <= 199)
1458 return ARM_WC0_REGNUM + reg - 192;
1459
1460 return -1;
1461}
1462
26216b98
AC
1463/* Map GDB internal REGNUM onto the Arm simulator register numbers. */
1464static int
e7faf938 1465arm_register_sim_regno (struct gdbarch *gdbarch, int regnum)
26216b98
AC
1466{
1467 int reg = regnum;
e7faf938 1468 gdb_assert (reg >= 0 && reg < gdbarch_num_regs (gdbarch));
26216b98 1469
ff6f572f
DJ
1470 if (regnum >= ARM_WR0_REGNUM && regnum <= ARM_WR15_REGNUM)
1471 return regnum - ARM_WR0_REGNUM + SIM_ARM_IWMMXT_COP0R0_REGNUM;
1472
1473 if (regnum >= ARM_WC0_REGNUM && regnum <= ARM_WC7_REGNUM)
1474 return regnum - ARM_WC0_REGNUM + SIM_ARM_IWMMXT_COP1R0_REGNUM;
1475
1476 if (regnum >= ARM_WCGR0_REGNUM && regnum <= ARM_WCGR7_REGNUM)
1477 return regnum - ARM_WCGR0_REGNUM + SIM_ARM_IWMMXT_COP1R8_REGNUM;
1478
26216b98
AC
1479 if (reg < NUM_GREGS)
1480 return SIM_ARM_R0_REGNUM + reg;
1481 reg -= NUM_GREGS;
1482
1483 if (reg < NUM_FREGS)
1484 return SIM_ARM_FP0_REGNUM + reg;
1485 reg -= NUM_FREGS;
1486
1487 if (reg < NUM_SREGS)
1488 return SIM_ARM_FPS_REGNUM + reg;
1489 reg -= NUM_SREGS;
1490
edefbb7c 1491 internal_error (__FILE__, __LINE__, _("Bad REGNUM %d"), regnum);
26216b98 1492}
34e8f22d 1493
a37b3cc0
AC
1494/* NOTE: cagney/2001-08-20: Both convert_from_extended() and
1495 convert_to_extended() use floatformat_arm_ext_littlebyte_bigword.
1496 It is thought that this is is the floating-point register format on
1497 little-endian systems. */
c906108c 1498
ed9a39eb 1499static void
b508a996
RE
1500convert_from_extended (const struct floatformat *fmt, const void *ptr,
1501 void *dbl)
c906108c 1502{
a37b3cc0 1503 DOUBLEST d;
4c6b5505 1504 if (gdbarch_byte_order (current_gdbarch) == BFD_ENDIAN_BIG)
a37b3cc0
AC
1505 floatformat_to_doublest (&floatformat_arm_ext_big, ptr, &d);
1506 else
1507 floatformat_to_doublest (&floatformat_arm_ext_littlebyte_bigword,
1508 ptr, &d);
b508a996 1509 floatformat_from_doublest (fmt, &d, dbl);
c906108c
SS
1510}
1511
34e8f22d 1512static void
b508a996 1513convert_to_extended (const struct floatformat *fmt, void *dbl, const void *ptr)
c906108c 1514{
a37b3cc0 1515 DOUBLEST d;
b508a996 1516 floatformat_to_doublest (fmt, ptr, &d);
4c6b5505 1517 if (gdbarch_byte_order (current_gdbarch) == BFD_ENDIAN_BIG)
a37b3cc0
AC
1518 floatformat_from_doublest (&floatformat_arm_ext_big, &d, dbl);
1519 else
1520 floatformat_from_doublest (&floatformat_arm_ext_littlebyte_bigword,
1521 &d, dbl);
c906108c 1522}
ed9a39eb 1523
c906108c 1524static int
ed9a39eb 1525condition_true (unsigned long cond, unsigned long status_reg)
c906108c
SS
1526{
1527 if (cond == INST_AL || cond == INST_NV)
1528 return 1;
1529
1530 switch (cond)
1531 {
1532 case INST_EQ:
1533 return ((status_reg & FLAG_Z) != 0);
1534 case INST_NE:
1535 return ((status_reg & FLAG_Z) == 0);
1536 case INST_CS:
1537 return ((status_reg & FLAG_C) != 0);
1538 case INST_CC:
1539 return ((status_reg & FLAG_C) == 0);
1540 case INST_MI:
1541 return ((status_reg & FLAG_N) != 0);
1542 case INST_PL:
1543 return ((status_reg & FLAG_N) == 0);
1544 case INST_VS:
1545 return ((status_reg & FLAG_V) != 0);
1546 case INST_VC:
1547 return ((status_reg & FLAG_V) == 0);
1548 case INST_HI:
1549 return ((status_reg & (FLAG_C | FLAG_Z)) == FLAG_C);
1550 case INST_LS:
1551 return ((status_reg & (FLAG_C | FLAG_Z)) != FLAG_C);
1552 case INST_GE:
1553 return (((status_reg & FLAG_N) == 0) == ((status_reg & FLAG_V) == 0));
1554 case INST_LT:
1555 return (((status_reg & FLAG_N) == 0) != ((status_reg & FLAG_V) == 0));
1556 case INST_GT:
1557 return (((status_reg & FLAG_Z) == 0) &&
ed9a39eb 1558 (((status_reg & FLAG_N) == 0) == ((status_reg & FLAG_V) == 0)));
c906108c
SS
1559 case INST_LE:
1560 return (((status_reg & FLAG_Z) != 0) ||
ed9a39eb 1561 (((status_reg & FLAG_N) == 0) != ((status_reg & FLAG_V) == 0)));
c906108c
SS
1562 }
1563 return 1;
1564}
1565
9512d7fd 1566/* Support routines for single stepping. Calculate the next PC value. */
c906108c
SS
1567#define submask(x) ((1L << ((x) + 1)) - 1)
1568#define bit(obj,st) (((obj) >> (st)) & 1)
1569#define bits(obj,st,fn) (((obj) >> (st)) & submask ((fn) - (st)))
1570#define sbits(obj,st,fn) \
1571 ((long) (bits(obj,st,fn) | ((long) bit(obj,fn) * ~ submask (fn - st))))
1572#define BranchDest(addr,instr) \
1573 ((CORE_ADDR) (((long) (addr)) + 8 + (sbits (instr, 0, 23) << 2)))
1574#define ARM_PC_32 1
1575
1576static unsigned long
0b1b3e42
UW
1577shifted_reg_val (struct frame_info *frame, unsigned long inst, int carry,
1578 unsigned long pc_val, unsigned long status_reg)
c906108c
SS
1579{
1580 unsigned long res, shift;
1581 int rm = bits (inst, 0, 3);
1582 unsigned long shifttype = bits (inst, 5, 6);
c5aa993b
JM
1583
1584 if (bit (inst, 4))
c906108c
SS
1585 {
1586 int rs = bits (inst, 8, 11);
0b1b3e42
UW
1587 shift = (rs == 15 ? pc_val + 8
1588 : get_frame_register_unsigned (frame, rs)) & 0xFF;
c906108c
SS
1589 }
1590 else
1591 shift = bits (inst, 7, 11);
c5aa993b
JM
1592
1593 res = (rm == 15
c906108c 1594 ? ((pc_val | (ARM_PC_32 ? 0 : status_reg))
c5aa993b 1595 + (bit (inst, 4) ? 12 : 8))
0b1b3e42 1596 : get_frame_register_unsigned (frame, rm));
c906108c
SS
1597
1598 switch (shifttype)
1599 {
c5aa993b 1600 case 0: /* LSL */
c906108c
SS
1601 res = shift >= 32 ? 0 : res << shift;
1602 break;
c5aa993b
JM
1603
1604 case 1: /* LSR */
c906108c
SS
1605 res = shift >= 32 ? 0 : res >> shift;
1606 break;
1607
c5aa993b
JM
1608 case 2: /* ASR */
1609 if (shift >= 32)
1610 shift = 31;
c906108c
SS
1611 res = ((res & 0x80000000L)
1612 ? ~((~res) >> shift) : res >> shift);
1613 break;
1614
c5aa993b 1615 case 3: /* ROR/RRX */
c906108c
SS
1616 shift &= 31;
1617 if (shift == 0)
1618 res = (res >> 1) | (carry ? 0x80000000L : 0);
1619 else
c5aa993b 1620 res = (res >> shift) | (res << (32 - shift));
c906108c
SS
1621 break;
1622 }
1623
1624 return res & 0xffffffff;
1625}
1626
c906108c
SS
1627/* Return number of 1-bits in VAL. */
1628
1629static int
ed9a39eb 1630bitcount (unsigned long val)
c906108c
SS
1631{
1632 int nbits;
1633 for (nbits = 0; val != 0; nbits++)
c5aa993b 1634 val &= val - 1; /* delete rightmost 1-bit in val */
c906108c
SS
1635 return nbits;
1636}
1637
ad527d2e 1638static CORE_ADDR
0b1b3e42 1639thumb_get_next_pc (struct frame_info *frame, CORE_ADDR pc)
c906108c 1640{
2af46ca0 1641 struct gdbarch *gdbarch = get_frame_arch (frame);
c5aa993b 1642 unsigned long pc_val = ((unsigned long) pc) + 4; /* PC after prefetch */
1c5bada0 1643 unsigned short inst1 = read_memory_unsigned_integer (pc, 2);
94c30b78 1644 CORE_ADDR nextpc = pc + 2; /* default is next instruction */
c906108c
SS
1645 unsigned long offset;
1646
1647 if ((inst1 & 0xff00) == 0xbd00) /* pop {rlist, pc} */
1648 {
1649 CORE_ADDR sp;
1650
1651 /* Fetch the saved PC from the stack. It's stored above
1652 all of the other registers. */
f0c9063c 1653 offset = bitcount (bits (inst1, 0, 7)) * INT_REGISTER_SIZE;
0b1b3e42 1654 sp = get_frame_register_unsigned (frame, ARM_SP_REGNUM);
1c5bada0 1655 nextpc = (CORE_ADDR) read_memory_unsigned_integer (sp + offset, 4);
2af46ca0 1656 nextpc = gdbarch_addr_bits_remove (gdbarch, nextpc);
c906108c 1657 if (nextpc == pc)
edefbb7c 1658 error (_("Infinite loop detected"));
c906108c
SS
1659 }
1660 else if ((inst1 & 0xf000) == 0xd000) /* conditional branch */
1661 {
0b1b3e42 1662 unsigned long status = get_frame_register_unsigned (frame, ARM_PS_REGNUM);
c5aa993b 1663 unsigned long cond = bits (inst1, 8, 11);
94c30b78 1664 if (cond != 0x0f && condition_true (cond, status)) /* 0x0f = SWI */
c906108c
SS
1665 nextpc = pc_val + (sbits (inst1, 0, 7) << 1);
1666 }
1667 else if ((inst1 & 0xf800) == 0xe000) /* unconditional branch */
1668 {
1669 nextpc = pc_val + (sbits (inst1, 0, 10) << 1);
1670 }
aa17d93e 1671 else if ((inst1 & 0xf800) == 0xf000) /* long branch with link, and blx */
c906108c 1672 {
1c5bada0 1673 unsigned short inst2 = read_memory_unsigned_integer (pc + 2, 2);
c5aa993b 1674 offset = (sbits (inst1, 0, 10) << 12) + (bits (inst2, 0, 10) << 1);
c906108c 1675 nextpc = pc_val + offset;
aa17d93e
DJ
1676 /* For BLX make sure to clear the low bits. */
1677 if (bits (inst2, 11, 12) == 1)
1678 nextpc = nextpc & 0xfffffffc;
c906108c 1679 }
aa17d93e 1680 else if ((inst1 & 0xff00) == 0x4700) /* bx REG, blx REG */
9498281f
DJ
1681 {
1682 if (bits (inst1, 3, 6) == 0x0f)
1683 nextpc = pc_val;
1684 else
0b1b3e42 1685 nextpc = get_frame_register_unsigned (frame, bits (inst1, 3, 6));
9498281f 1686
2af46ca0 1687 nextpc = gdbarch_addr_bits_remove (gdbarch, nextpc);
9498281f 1688 if (nextpc == pc)
edefbb7c 1689 error (_("Infinite loop detected"));
9498281f 1690 }
c906108c
SS
1691
1692 return nextpc;
1693}
1694
daddc3c1 1695CORE_ADDR
0b1b3e42 1696arm_get_next_pc (struct frame_info *frame, CORE_ADDR pc)
c906108c 1697{
2af46ca0 1698 struct gdbarch *gdbarch = get_frame_arch (frame);
c906108c
SS
1699 unsigned long pc_val;
1700 unsigned long this_instr;
1701 unsigned long status;
1702 CORE_ADDR nextpc;
1703
1704 if (arm_pc_is_thumb (pc))
0b1b3e42 1705 return thumb_get_next_pc (frame, pc);
c906108c
SS
1706
1707 pc_val = (unsigned long) pc;
1c5bada0 1708 this_instr = read_memory_unsigned_integer (pc, 4);
0b1b3e42 1709 status = get_frame_register_unsigned (frame, ARM_PS_REGNUM);
c5aa993b 1710 nextpc = (CORE_ADDR) (pc_val + 4); /* Default case */
c906108c 1711
daddc3c1
DJ
1712 if (bits (this_instr, 28, 31) == INST_NV)
1713 switch (bits (this_instr, 24, 27))
1714 {
1715 case 0xa:
1716 case 0xb:
1717 {
1718 /* Branch with Link and change to Thumb. */
1719 nextpc = BranchDest (pc, this_instr);
1720 nextpc |= bit (this_instr, 24) << 1;
1721
e1e01acd 1722 nextpc = gdbarch_addr_bits_remove (gdbarch, nextpc);
daddc3c1
DJ
1723 if (nextpc == pc)
1724 error (_("Infinite loop detected"));
1725 break;
1726 }
1727 case 0xc:
1728 case 0xd:
1729 case 0xe:
1730 /* Coprocessor register transfer. */
1731 if (bits (this_instr, 12, 15) == 15)
1732 error (_("Invalid update to pc in instruction"));
1733 break;
1734 }
1735 else if (condition_true (bits (this_instr, 28, 31), status))
c906108c
SS
1736 {
1737 switch (bits (this_instr, 24, 27))
1738 {
c5aa993b 1739 case 0x0:
94c30b78 1740 case 0x1: /* data processing */
c5aa993b
JM
1741 case 0x2:
1742 case 0x3:
c906108c
SS
1743 {
1744 unsigned long operand1, operand2, result = 0;
1745 unsigned long rn;
1746 int c;
c5aa993b 1747
c906108c
SS
1748 if (bits (this_instr, 12, 15) != 15)
1749 break;
1750
1751 if (bits (this_instr, 22, 25) == 0
c5aa993b 1752 && bits (this_instr, 4, 7) == 9) /* multiply */
edefbb7c 1753 error (_("Invalid update to pc in instruction"));
c906108c 1754
9498281f 1755 /* BX <reg>, BLX <reg> */
e150acc7
PB
1756 if (bits (this_instr, 4, 27) == 0x12fff1
1757 || bits (this_instr, 4, 27) == 0x12fff3)
9498281f
DJ
1758 {
1759 rn = bits (this_instr, 0, 3);
0b1b3e42
UW
1760 result = (rn == 15) ? pc_val + 8
1761 : get_frame_register_unsigned (frame, rn);
bf6ae464 1762 nextpc = (CORE_ADDR) gdbarch_addr_bits_remove
2af46ca0 1763 (gdbarch, result);
9498281f
DJ
1764
1765 if (nextpc == pc)
edefbb7c 1766 error (_("Infinite loop detected"));
9498281f
DJ
1767
1768 return nextpc;
1769 }
1770
c906108c
SS
1771 /* Multiply into PC */
1772 c = (status & FLAG_C) ? 1 : 0;
1773 rn = bits (this_instr, 16, 19);
0b1b3e42
UW
1774 operand1 = (rn == 15) ? pc_val + 8
1775 : get_frame_register_unsigned (frame, rn);
c5aa993b 1776
c906108c
SS
1777 if (bit (this_instr, 25))
1778 {
1779 unsigned long immval = bits (this_instr, 0, 7);
1780 unsigned long rotate = 2 * bits (this_instr, 8, 11);
c5aa993b
JM
1781 operand2 = ((immval >> rotate) | (immval << (32 - rotate)))
1782 & 0xffffffff;
c906108c 1783 }
c5aa993b 1784 else /* operand 2 is a shifted register */
0b1b3e42 1785 operand2 = shifted_reg_val (frame, this_instr, c, pc_val, status);
c5aa993b 1786
c906108c
SS
1787 switch (bits (this_instr, 21, 24))
1788 {
c5aa993b 1789 case 0x0: /*and */
c906108c
SS
1790 result = operand1 & operand2;
1791 break;
1792
c5aa993b 1793 case 0x1: /*eor */
c906108c
SS
1794 result = operand1 ^ operand2;
1795 break;
1796
c5aa993b 1797 case 0x2: /*sub */
c906108c
SS
1798 result = operand1 - operand2;
1799 break;
1800
c5aa993b 1801 case 0x3: /*rsb */
c906108c
SS
1802 result = operand2 - operand1;
1803 break;
1804
c5aa993b 1805 case 0x4: /*add */
c906108c
SS
1806 result = operand1 + operand2;
1807 break;
1808
c5aa993b 1809 case 0x5: /*adc */
c906108c
SS
1810 result = operand1 + operand2 + c;
1811 break;
1812
c5aa993b 1813 case 0x6: /*sbc */
c906108c
SS
1814 result = operand1 - operand2 + c;
1815 break;
1816
c5aa993b 1817 case 0x7: /*rsc */
c906108c
SS
1818 result = operand2 - operand1 + c;
1819 break;
1820
c5aa993b
JM
1821 case 0x8:
1822 case 0x9:
1823 case 0xa:
1824 case 0xb: /* tst, teq, cmp, cmn */
c906108c
SS
1825 result = (unsigned long) nextpc;
1826 break;
1827
c5aa993b 1828 case 0xc: /*orr */
c906108c
SS
1829 result = operand1 | operand2;
1830 break;
1831
c5aa993b 1832 case 0xd: /*mov */
c906108c
SS
1833 /* Always step into a function. */
1834 result = operand2;
c5aa993b 1835 break;
c906108c 1836
c5aa993b 1837 case 0xe: /*bic */
c906108c
SS
1838 result = operand1 & ~operand2;
1839 break;
1840
c5aa993b 1841 case 0xf: /*mvn */
c906108c
SS
1842 result = ~operand2;
1843 break;
1844 }
bf6ae464 1845 nextpc = (CORE_ADDR) gdbarch_addr_bits_remove
2af46ca0 1846 (gdbarch, result);
c906108c
SS
1847
1848 if (nextpc == pc)
edefbb7c 1849 error (_("Infinite loop detected"));
c906108c
SS
1850 break;
1851 }
c5aa993b
JM
1852
1853 case 0x4:
1854 case 0x5: /* data transfer */
1855 case 0x6:
1856 case 0x7:
c906108c
SS
1857 if (bit (this_instr, 20))
1858 {
1859 /* load */
1860 if (bits (this_instr, 12, 15) == 15)
1861 {
1862 /* rd == pc */
c5aa993b 1863 unsigned long rn;
c906108c 1864 unsigned long base;
c5aa993b 1865
c906108c 1866 if (bit (this_instr, 22))
edefbb7c 1867 error (_("Invalid update to pc in instruction"));
c906108c
SS
1868
1869 /* byte write to PC */
1870 rn = bits (this_instr, 16, 19);
0b1b3e42
UW
1871 base = (rn == 15) ? pc_val + 8
1872 : get_frame_register_unsigned (frame, rn);
c906108c
SS
1873 if (bit (this_instr, 24))
1874 {
1875 /* pre-indexed */
1876 int c = (status & FLAG_C) ? 1 : 0;
1877 unsigned long offset =
c5aa993b 1878 (bit (this_instr, 25)
0b1b3e42 1879 ? shifted_reg_val (frame, this_instr, c, pc_val, status)
c5aa993b 1880 : bits (this_instr, 0, 11));
c906108c
SS
1881
1882 if (bit (this_instr, 23))
1883 base += offset;
1884 else
1885 base -= offset;
1886 }
c5aa993b 1887 nextpc = (CORE_ADDR) read_memory_integer ((CORE_ADDR) base,
c906108c 1888 4);
c5aa993b 1889
2af46ca0 1890 nextpc = gdbarch_addr_bits_remove (gdbarch, nextpc);
c906108c
SS
1891
1892 if (nextpc == pc)
edefbb7c 1893 error (_("Infinite loop detected"));
c906108c
SS
1894 }
1895 }
1896 break;
c5aa993b
JM
1897
1898 case 0x8:
1899 case 0x9: /* block transfer */
c906108c
SS
1900 if (bit (this_instr, 20))
1901 {
1902 /* LDM */
1903 if (bit (this_instr, 15))
1904 {
1905 /* loading pc */
1906 int offset = 0;
1907
1908 if (bit (this_instr, 23))
1909 {
1910 /* up */
1911 unsigned long reglist = bits (this_instr, 0, 14);
1912 offset = bitcount (reglist) * 4;
c5aa993b 1913 if (bit (this_instr, 24)) /* pre */
c906108c
SS
1914 offset += 4;
1915 }
1916 else if (bit (this_instr, 24))
1917 offset = -4;
c5aa993b 1918
c906108c 1919 {
c5aa993b 1920 unsigned long rn_val =
0b1b3e42
UW
1921 get_frame_register_unsigned (frame,
1922 bits (this_instr, 16, 19));
c906108c
SS
1923 nextpc =
1924 (CORE_ADDR) read_memory_integer ((CORE_ADDR) (rn_val
c5aa993b 1925 + offset),
c906108c
SS
1926 4);
1927 }
bf6ae464 1928 nextpc = gdbarch_addr_bits_remove
2af46ca0 1929 (gdbarch, nextpc);
c906108c 1930 if (nextpc == pc)
edefbb7c 1931 error (_("Infinite loop detected"));
c906108c
SS
1932 }
1933 }
1934 break;
c5aa993b
JM
1935
1936 case 0xb: /* branch & link */
1937 case 0xa: /* branch */
c906108c
SS
1938 {
1939 nextpc = BranchDest (pc, this_instr);
1940
2af46ca0 1941 nextpc = gdbarch_addr_bits_remove (gdbarch, nextpc);
c906108c 1942 if (nextpc == pc)
edefbb7c 1943 error (_("Infinite loop detected"));
c906108c
SS
1944 break;
1945 }
c5aa993b
JM
1946
1947 case 0xc:
1948 case 0xd:
1949 case 0xe: /* coproc ops */
1950 case 0xf: /* SWI */
c906108c
SS
1951 break;
1952
1953 default:
edefbb7c 1954 fprintf_filtered (gdb_stderr, _("Bad bit-field extraction\n"));
c906108c
SS
1955 return (pc);
1956 }
1957 }
1958
1959 return nextpc;
1960}
1961
9512d7fd
FN
1962/* single_step() is called just before we want to resume the inferior,
1963 if we want to single-step it but there is no hardware or kernel
1964 single-step support. We find the target of the coming instruction
e0cd558a 1965 and breakpoint it. */
9512d7fd 1966
190dce09 1967int
0b1b3e42 1968arm_software_single_step (struct frame_info *frame)
9512d7fd 1969{
8181d85f
DJ
1970 /* NOTE: This may insert the wrong breakpoint instruction when
1971 single-stepping over a mode-changing instruction, if the
1972 CPSR heuristics are used. */
9512d7fd 1973
0b1b3e42 1974 CORE_ADDR next_pc = arm_get_next_pc (frame, get_frame_pc (frame));
e0cd558a 1975 insert_single_step_breakpoint (next_pc);
e6590a1b
UW
1976
1977 return 1;
9512d7fd 1978}
9512d7fd 1979
c906108c
SS
1980#include "bfd-in2.h"
1981#include "libcoff.h"
1982
1983static int
ed9a39eb 1984gdb_print_insn_arm (bfd_vma memaddr, disassemble_info *info)
c906108c
SS
1985{
1986 if (arm_pc_is_thumb (memaddr))
1987 {
c5aa993b
JM
1988 static asymbol *asym;
1989 static combined_entry_type ce;
1990 static struct coff_symbol_struct csym;
27cddce2 1991 static struct bfd fake_bfd;
c5aa993b 1992 static bfd_target fake_target;
c906108c
SS
1993
1994 if (csym.native == NULL)
1995 {
da3c6d4a
MS
1996 /* Create a fake symbol vector containing a Thumb symbol.
1997 This is solely so that the code in print_insn_little_arm()
1998 and print_insn_big_arm() in opcodes/arm-dis.c will detect
1999 the presence of a Thumb symbol and switch to decoding
2000 Thumb instructions. */
c5aa993b
JM
2001
2002 fake_target.flavour = bfd_target_coff_flavour;
2003 fake_bfd.xvec = &fake_target;
c906108c 2004 ce.u.syment.n_sclass = C_THUMBEXTFUNC;
c5aa993b
JM
2005 csym.native = &ce;
2006 csym.symbol.the_bfd = &fake_bfd;
2007 csym.symbol.name = "fake";
2008 asym = (asymbol *) & csym;
c906108c 2009 }
c5aa993b 2010
c906108c 2011 memaddr = UNMAKE_THUMB_ADDR (memaddr);
c5aa993b 2012 info->symbols = &asym;
c906108c
SS
2013 }
2014 else
2015 info->symbols = NULL;
c5aa993b 2016
4c6b5505 2017 if (gdbarch_byte_order (current_gdbarch) == BFD_ENDIAN_BIG)
c906108c
SS
2018 return print_insn_big_arm (memaddr, info);
2019 else
2020 return print_insn_little_arm (memaddr, info);
2021}
2022
66e810cd
RE
2023/* The following define instruction sequences that will cause ARM
2024 cpu's to take an undefined instruction trap. These are used to
2025 signal a breakpoint to GDB.
2026
2027 The newer ARMv4T cpu's are capable of operating in ARM or Thumb
2028 modes. A different instruction is required for each mode. The ARM
2029 cpu's can also be big or little endian. Thus four different
2030 instructions are needed to support all cases.
2031
2032 Note: ARMv4 defines several new instructions that will take the
2033 undefined instruction trap. ARM7TDMI is nominally ARMv4T, but does
2034 not in fact add the new instructions. The new undefined
2035 instructions in ARMv4 are all instructions that had no defined
2036 behaviour in earlier chips. There is no guarantee that they will
2037 raise an exception, but may be treated as NOP's. In practice, it
2038 may only safe to rely on instructions matching:
2039
2040 3 3 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1
2041 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0
2042 C C C C 0 1 1 x x x x x x x x x x x x x x x x x x x x 1 x x x x
2043
2044 Even this may only true if the condition predicate is true. The
2045 following use a condition predicate of ALWAYS so it is always TRUE.
2046
2047 There are other ways of forcing a breakpoint. GNU/Linux, RISC iX,
2048 and NetBSD all use a software interrupt rather than an undefined
2049 instruction to force a trap. This can be handled by by the
2050 abi-specific code during establishment of the gdbarch vector. */
2051
66e810cd 2052#define ARM_LE_BREAKPOINT {0xFE,0xDE,0xFF,0xE7}
66e810cd 2053#define ARM_BE_BREAKPOINT {0xE7,0xFF,0xDE,0xFE}
190dce09
UW
2054#define THUMB_LE_BREAKPOINT {0xbe,0xbe}
2055#define THUMB_BE_BREAKPOINT {0xbe,0xbe}
66e810cd
RE
2056
2057static const char arm_default_arm_le_breakpoint[] = ARM_LE_BREAKPOINT;
2058static const char arm_default_arm_be_breakpoint[] = ARM_BE_BREAKPOINT;
2059static const char arm_default_thumb_le_breakpoint[] = THUMB_LE_BREAKPOINT;
2060static const char arm_default_thumb_be_breakpoint[] = THUMB_BE_BREAKPOINT;
2061
34e8f22d
RE
2062/* Determine the type and size of breakpoint to insert at PCPTR. Uses
2063 the program counter value to determine whether a 16-bit or 32-bit
ed9a39eb
JM
2064 breakpoint should be used. It returns a pointer to a string of
2065 bytes that encode a breakpoint instruction, stores the length of
2066 the string to *lenptr, and adjusts the program counter (if
2067 necessary) to point to the actual memory location where the
c906108c
SS
2068 breakpoint should be inserted. */
2069
ab89facf 2070static const unsigned char *
67d57894 2071arm_breakpoint_from_pc (struct gdbarch *gdbarch, CORE_ADDR *pcptr, int *lenptr)
c906108c 2072{
67d57894 2073 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
66e810cd 2074
4bf7064c 2075 if (arm_pc_is_thumb (*pcptr))
c906108c 2076 {
66e810cd
RE
2077 *pcptr = UNMAKE_THUMB_ADDR (*pcptr);
2078 *lenptr = tdep->thumb_breakpoint_size;
2079 return tdep->thumb_breakpoint;
c906108c
SS
2080 }
2081 else
2082 {
66e810cd
RE
2083 *lenptr = tdep->arm_breakpoint_size;
2084 return tdep->arm_breakpoint;
c906108c
SS
2085 }
2086}
ed9a39eb
JM
2087
2088/* Extract from an array REGBUF containing the (raw) register state a
2089 function return value of type TYPE, and copy that, in virtual
2090 format, into VALBUF. */
2091
34e8f22d 2092static void
5238cf52
MK
2093arm_extract_return_value (struct type *type, struct regcache *regs,
2094 gdb_byte *valbuf)
ed9a39eb
JM
2095{
2096 if (TYPE_CODE_FLT == TYPE_CODE (type))
08216dd7 2097 {
2af46ca0 2098 switch (gdbarch_tdep (get_regcache_arch (regs))->fp_model)
08216dd7
RE
2099 {
2100 case ARM_FLOAT_FPA:
b508a996
RE
2101 {
2102 /* The value is in register F0 in internal format. We need to
2103 extract the raw value and then convert it to the desired
2104 internal type. */
7a5ea0d4 2105 bfd_byte tmpbuf[FP_REGISTER_SIZE];
b508a996
RE
2106
2107 regcache_cooked_read (regs, ARM_F0_REGNUM, tmpbuf);
2108 convert_from_extended (floatformat_from_type (type), tmpbuf,
2109 valbuf);
2110 }
08216dd7
RE
2111 break;
2112
fd50bc42 2113 case ARM_FLOAT_SOFT_FPA:
08216dd7 2114 case ARM_FLOAT_SOFT_VFP:
b508a996
RE
2115 regcache_cooked_read (regs, ARM_A1_REGNUM, valbuf);
2116 if (TYPE_LENGTH (type) > 4)
2117 regcache_cooked_read (regs, ARM_A1_REGNUM + 1,
7a5ea0d4 2118 valbuf + INT_REGISTER_SIZE);
08216dd7
RE
2119 break;
2120
2121 default:
2122 internal_error
2123 (__FILE__, __LINE__,
edefbb7c 2124 _("arm_extract_return_value: Floating point model not supported"));
08216dd7
RE
2125 break;
2126 }
2127 }
b508a996
RE
2128 else if (TYPE_CODE (type) == TYPE_CODE_INT
2129 || TYPE_CODE (type) == TYPE_CODE_CHAR
2130 || TYPE_CODE (type) == TYPE_CODE_BOOL
2131 || TYPE_CODE (type) == TYPE_CODE_PTR
2132 || TYPE_CODE (type) == TYPE_CODE_REF
2133 || TYPE_CODE (type) == TYPE_CODE_ENUM)
2134 {
2135 /* If the the type is a plain integer, then the access is
2136 straight-forward. Otherwise we have to play around a bit more. */
2137 int len = TYPE_LENGTH (type);
2138 int regno = ARM_A1_REGNUM;
2139 ULONGEST tmp;
2140
2141 while (len > 0)
2142 {
2143 /* By using store_unsigned_integer we avoid having to do
2144 anything special for small big-endian values. */
2145 regcache_cooked_read_unsigned (regs, regno++, &tmp);
2146 store_unsigned_integer (valbuf,
7a5ea0d4
DJ
2147 (len > INT_REGISTER_SIZE
2148 ? INT_REGISTER_SIZE : len),
b508a996 2149 tmp);
7a5ea0d4
DJ
2150 len -= INT_REGISTER_SIZE;
2151 valbuf += INT_REGISTER_SIZE;
b508a996
RE
2152 }
2153 }
ed9a39eb 2154 else
b508a996
RE
2155 {
2156 /* For a structure or union the behaviour is as if the value had
2157 been stored to word-aligned memory and then loaded into
2158 registers with 32-bit load instruction(s). */
2159 int len = TYPE_LENGTH (type);
2160 int regno = ARM_A1_REGNUM;
7a5ea0d4 2161 bfd_byte tmpbuf[INT_REGISTER_SIZE];
b508a996
RE
2162
2163 while (len > 0)
2164 {
2165 regcache_cooked_read (regs, regno++, tmpbuf);
2166 memcpy (valbuf, tmpbuf,
7a5ea0d4
DJ
2167 len > INT_REGISTER_SIZE ? INT_REGISTER_SIZE : len);
2168 len -= INT_REGISTER_SIZE;
2169 valbuf += INT_REGISTER_SIZE;
b508a996
RE
2170 }
2171 }
34e8f22d
RE
2172}
2173
67255d04
RE
2174
2175/* Will a function return an aggregate type in memory or in a
2176 register? Return 0 if an aggregate type can be returned in a
2177 register, 1 if it must be returned in memory. */
2178
2179static int
2af48f68 2180arm_return_in_memory (struct gdbarch *gdbarch, struct type *type)
67255d04
RE
2181{
2182 int nRc;
52f0bd74 2183 enum type_code code;
67255d04 2184
44e1a9eb
DJ
2185 CHECK_TYPEDEF (type);
2186
67255d04
RE
2187 /* In the ARM ABI, "integer" like aggregate types are returned in
2188 registers. For an aggregate type to be integer like, its size
f0c9063c 2189 must be less than or equal to INT_REGISTER_SIZE and the
b1e29e33
AC
2190 offset of each addressable subfield must be zero. Note that bit
2191 fields are not addressable, and all addressable subfields of
2192 unions always start at offset zero.
67255d04
RE
2193
2194 This function is based on the behaviour of GCC 2.95.1.
2195 See: gcc/arm.c: arm_return_in_memory() for details.
2196
2197 Note: All versions of GCC before GCC 2.95.2 do not set up the
2198 parameters correctly for a function returning the following
2199 structure: struct { float f;}; This should be returned in memory,
2200 not a register. Richard Earnshaw sent me a patch, but I do not
2201 know of any way to detect if a function like the above has been
2202 compiled with the correct calling convention. */
2203
2204 /* All aggregate types that won't fit in a register must be returned
2205 in memory. */
f0c9063c 2206 if (TYPE_LENGTH (type) > INT_REGISTER_SIZE)
67255d04
RE
2207 {
2208 return 1;
2209 }
2210
2af48f68
PB
2211 /* The AAPCS says all aggregates not larger than a word are returned
2212 in a register. */
2213 if (gdbarch_tdep (gdbarch)->arm_abi != ARM_ABI_APCS)
2214 return 0;
2215
67255d04
RE
2216 /* The only aggregate types that can be returned in a register are
2217 structs and unions. Arrays must be returned in memory. */
2218 code = TYPE_CODE (type);
2219 if ((TYPE_CODE_STRUCT != code) && (TYPE_CODE_UNION != code))
2220 {
2221 return 1;
2222 }
2223
2224 /* Assume all other aggregate types can be returned in a register.
2225 Run a check for structures, unions and arrays. */
2226 nRc = 0;
2227
2228 if ((TYPE_CODE_STRUCT == code) || (TYPE_CODE_UNION == code))
2229 {
2230 int i;
2231 /* Need to check if this struct/union is "integer" like. For
2232 this to be true, its size must be less than or equal to
f0c9063c 2233 INT_REGISTER_SIZE and the offset of each addressable
b1e29e33
AC
2234 subfield must be zero. Note that bit fields are not
2235 addressable, and unions always start at offset zero. If any
2236 of the subfields is a floating point type, the struct/union
2237 cannot be an integer type. */
67255d04
RE
2238
2239 /* For each field in the object, check:
2240 1) Is it FP? --> yes, nRc = 1;
2241 2) Is it addressable (bitpos != 0) and
2242 not packed (bitsize == 0)?
2243 --> yes, nRc = 1
2244 */
2245
2246 for (i = 0; i < TYPE_NFIELDS (type); i++)
2247 {
2248 enum type_code field_type_code;
44e1a9eb 2249 field_type_code = TYPE_CODE (check_typedef (TYPE_FIELD_TYPE (type, i)));
67255d04
RE
2250
2251 /* Is it a floating point type field? */
2252 if (field_type_code == TYPE_CODE_FLT)
2253 {
2254 nRc = 1;
2255 break;
2256 }
2257
2258 /* If bitpos != 0, then we have to care about it. */
2259 if (TYPE_FIELD_BITPOS (type, i) != 0)
2260 {
2261 /* Bitfields are not addressable. If the field bitsize is
2262 zero, then the field is not packed. Hence it cannot be
2263 a bitfield or any other packed type. */
2264 if (TYPE_FIELD_BITSIZE (type, i) == 0)
2265 {
2266 nRc = 1;
2267 break;
2268 }
2269 }
2270 }
2271 }
2272
2273 return nRc;
2274}
2275
34e8f22d
RE
2276/* Write into appropriate registers a function return value of type
2277 TYPE, given in virtual format. */
2278
2279static void
b508a996 2280arm_store_return_value (struct type *type, struct regcache *regs,
5238cf52 2281 const gdb_byte *valbuf)
34e8f22d
RE
2282{
2283 if (TYPE_CODE (type) == TYPE_CODE_FLT)
2284 {
7a5ea0d4 2285 char buf[MAX_REGISTER_SIZE];
34e8f22d 2286
2af46ca0 2287 switch (gdbarch_tdep (get_regcache_arch (regs))->fp_model)
08216dd7
RE
2288 {
2289 case ARM_FLOAT_FPA:
2290
b508a996
RE
2291 convert_to_extended (floatformat_from_type (type), buf, valbuf);
2292 regcache_cooked_write (regs, ARM_F0_REGNUM, buf);
08216dd7
RE
2293 break;
2294
fd50bc42 2295 case ARM_FLOAT_SOFT_FPA:
08216dd7 2296 case ARM_FLOAT_SOFT_VFP:
b508a996
RE
2297 regcache_cooked_write (regs, ARM_A1_REGNUM, valbuf);
2298 if (TYPE_LENGTH (type) > 4)
2299 regcache_cooked_write (regs, ARM_A1_REGNUM + 1,
7a5ea0d4 2300 valbuf + INT_REGISTER_SIZE);
08216dd7
RE
2301 break;
2302
2303 default:
2304 internal_error
2305 (__FILE__, __LINE__,
edefbb7c 2306 _("arm_store_return_value: Floating point model not supported"));
08216dd7
RE
2307 break;
2308 }
34e8f22d 2309 }
b508a996
RE
2310 else if (TYPE_CODE (type) == TYPE_CODE_INT
2311 || TYPE_CODE (type) == TYPE_CODE_CHAR
2312 || TYPE_CODE (type) == TYPE_CODE_BOOL
2313 || TYPE_CODE (type) == TYPE_CODE_PTR
2314 || TYPE_CODE (type) == TYPE_CODE_REF
2315 || TYPE_CODE (type) == TYPE_CODE_ENUM)
2316 {
2317 if (TYPE_LENGTH (type) <= 4)
2318 {
2319 /* Values of one word or less are zero/sign-extended and
2320 returned in r0. */
7a5ea0d4 2321 bfd_byte tmpbuf[INT_REGISTER_SIZE];
b508a996
RE
2322 LONGEST val = unpack_long (type, valbuf);
2323
7a5ea0d4 2324 store_signed_integer (tmpbuf, INT_REGISTER_SIZE, val);
b508a996
RE
2325 regcache_cooked_write (regs, ARM_A1_REGNUM, tmpbuf);
2326 }
2327 else
2328 {
2329 /* Integral values greater than one word are stored in consecutive
2330 registers starting with r0. This will always be a multiple of
2331 the regiser size. */
2332 int len = TYPE_LENGTH (type);
2333 int regno = ARM_A1_REGNUM;
2334
2335 while (len > 0)
2336 {
2337 regcache_cooked_write (regs, regno++, valbuf);
7a5ea0d4
DJ
2338 len -= INT_REGISTER_SIZE;
2339 valbuf += INT_REGISTER_SIZE;
b508a996
RE
2340 }
2341 }
2342 }
34e8f22d 2343 else
b508a996
RE
2344 {
2345 /* For a structure or union the behaviour is as if the value had
2346 been stored to word-aligned memory and then loaded into
2347 registers with 32-bit load instruction(s). */
2348 int len = TYPE_LENGTH (type);
2349 int regno = ARM_A1_REGNUM;
7a5ea0d4 2350 bfd_byte tmpbuf[INT_REGISTER_SIZE];
b508a996
RE
2351
2352 while (len > 0)
2353 {
2354 memcpy (tmpbuf, valbuf,
7a5ea0d4 2355 len > INT_REGISTER_SIZE ? INT_REGISTER_SIZE : len);
b508a996 2356 regcache_cooked_write (regs, regno++, tmpbuf);
7a5ea0d4
DJ
2357 len -= INT_REGISTER_SIZE;
2358 valbuf += INT_REGISTER_SIZE;
b508a996
RE
2359 }
2360 }
34e8f22d
RE
2361}
2362
2af48f68
PB
2363
2364/* Handle function return values. */
2365
2366static enum return_value_convention
2367arm_return_value (struct gdbarch *gdbarch, struct type *valtype,
25224166
MK
2368 struct regcache *regcache, gdb_byte *readbuf,
2369 const gdb_byte *writebuf)
2af48f68 2370{
7c00367c
MK
2371 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
2372
2af48f68
PB
2373 if (TYPE_CODE (valtype) == TYPE_CODE_STRUCT
2374 || TYPE_CODE (valtype) == TYPE_CODE_UNION
2375 || TYPE_CODE (valtype) == TYPE_CODE_ARRAY)
2376 {
7c00367c
MK
2377 if (tdep->struct_return == pcc_struct_return
2378 || arm_return_in_memory (gdbarch, valtype))
2af48f68
PB
2379 return RETURN_VALUE_STRUCT_CONVENTION;
2380 }
2381
2382 if (writebuf)
2383 arm_store_return_value (valtype, regcache, writebuf);
2384
2385 if (readbuf)
2386 arm_extract_return_value (valtype, regcache, readbuf);
2387
2388 return RETURN_VALUE_REGISTER_CONVENTION;
2389}
2390
2391
9df628e0 2392static int
60ade65d 2393arm_get_longjmp_target (struct frame_info *frame, CORE_ADDR *pc)
9df628e0
RE
2394{
2395 CORE_ADDR jb_addr;
7a5ea0d4 2396 char buf[INT_REGISTER_SIZE];
60ade65d 2397 struct gdbarch_tdep *tdep = gdbarch_tdep (get_frame_arch (frame));
9df628e0 2398
60ade65d 2399 jb_addr = get_frame_register_unsigned (frame, ARM_A1_REGNUM);
9df628e0
RE
2400
2401 if (target_read_memory (jb_addr + tdep->jb_pc * tdep->jb_elt_size, buf,
7a5ea0d4 2402 INT_REGISTER_SIZE))
9df628e0
RE
2403 return 0;
2404
7a5ea0d4 2405 *pc = extract_unsigned_integer (buf, INT_REGISTER_SIZE);
9df628e0
RE
2406 return 1;
2407}
2408
faa95490
DJ
2409/* Recognize GCC and GNU ld's trampolines. If we are in a trampoline,
2410 return the target PC. Otherwise return 0. */
c906108c
SS
2411
2412CORE_ADDR
52f729a7 2413arm_skip_stub (struct frame_info *frame, CORE_ADDR pc)
c906108c 2414{
c5aa993b 2415 char *name;
faa95490 2416 int namelen;
c906108c
SS
2417 CORE_ADDR start_addr;
2418
2419 /* Find the starting address and name of the function containing the PC. */
2420 if (find_pc_partial_function (pc, &name, &start_addr, NULL) == 0)
2421 return 0;
2422
faa95490
DJ
2423 /* If PC is in a Thumb call or return stub, return the address of the
2424 target PC, which is in a register. The thunk functions are called
2425 _call_via_xx, where x is the register name. The possible names
2426 are r0-r9, sl, fp, ip, sp, and lr. */
c906108c
SS
2427 if (strncmp (name, "_call_via_", 10) == 0)
2428 {
ed9a39eb
JM
2429 /* Use the name suffix to determine which register contains the
2430 target PC. */
c5aa993b
JM
2431 static char *table[15] =
2432 {"r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
2433 "r8", "r9", "sl", "fp", "ip", "sp", "lr"
2434 };
c906108c 2435 int regno;
faa95490 2436 int offset = strlen (name) - 2;
c906108c
SS
2437
2438 for (regno = 0; regno <= 14; regno++)
faa95490 2439 if (strcmp (&name[offset], table[regno]) == 0)
52f729a7 2440 return get_frame_register_unsigned (frame, regno);
c906108c 2441 }
ed9a39eb 2442
faa95490
DJ
2443 /* GNU ld generates __foo_from_arm or __foo_from_thumb for
2444 non-interworking calls to foo. We could decode the stubs
2445 to find the target but it's easier to use the symbol table. */
2446 namelen = strlen (name);
2447 if (name[0] == '_' && name[1] == '_'
2448 && ((namelen > 2 + strlen ("_from_thumb")
2449 && strncmp (name + namelen - strlen ("_from_thumb"), "_from_thumb",
2450 strlen ("_from_thumb")) == 0)
2451 || (namelen > 2 + strlen ("_from_arm")
2452 && strncmp (name + namelen - strlen ("_from_arm"), "_from_arm",
2453 strlen ("_from_arm")) == 0)))
2454 {
2455 char *target_name;
2456 int target_len = namelen - 2;
2457 struct minimal_symbol *minsym;
2458 struct objfile *objfile;
2459 struct obj_section *sec;
2460
2461 if (name[namelen - 1] == 'b')
2462 target_len -= strlen ("_from_thumb");
2463 else
2464 target_len -= strlen ("_from_arm");
2465
2466 target_name = alloca (target_len + 1);
2467 memcpy (target_name, name + 2, target_len);
2468 target_name[target_len] = '\0';
2469
2470 sec = find_pc_section (pc);
2471 objfile = (sec == NULL) ? NULL : sec->objfile;
2472 minsym = lookup_minimal_symbol (target_name, NULL, objfile);
2473 if (minsym != NULL)
2474 return SYMBOL_VALUE_ADDRESS (minsym);
2475 else
2476 return 0;
2477 }
2478
c5aa993b 2479 return 0; /* not a stub */
c906108c
SS
2480}
2481
afd7eef0
RE
2482static void
2483set_arm_command (char *args, int from_tty)
2484{
edefbb7c
AC
2485 printf_unfiltered (_("\
2486\"set arm\" must be followed by an apporpriate subcommand.\n"));
afd7eef0
RE
2487 help_list (setarmcmdlist, "set arm ", all_commands, gdb_stdout);
2488}
2489
2490static void
2491show_arm_command (char *args, int from_tty)
2492{
26304000 2493 cmd_show_list (showarmcmdlist, from_tty, "");
afd7eef0
RE
2494}
2495
28e97307
DJ
2496static void
2497arm_update_current_architecture (void)
fd50bc42 2498{
28e97307 2499 struct gdbarch_info info;
fd50bc42 2500
28e97307
DJ
2501 /* If the current architecture is not ARM, we have nothing to do. */
2502 if (gdbarch_bfd_arch_info (current_gdbarch)->arch != bfd_arch_arm)
2503 return;
fd50bc42 2504
28e97307
DJ
2505 /* Update the architecture. */
2506 gdbarch_info_init (&info);
fd50bc42 2507
28e97307
DJ
2508 if (!gdbarch_update_p (info))
2509 internal_error (__FILE__, __LINE__, "could not update architecture");
fd50bc42
RE
2510}
2511
2512static void
2513set_fp_model_sfunc (char *args, int from_tty,
2514 struct cmd_list_element *c)
2515{
2516 enum arm_float_model fp_model;
2517
2518 for (fp_model = ARM_FLOAT_AUTO; fp_model != ARM_FLOAT_LAST; fp_model++)
2519 if (strcmp (current_fp_model, fp_model_strings[fp_model]) == 0)
2520 {
2521 arm_fp_model = fp_model;
2522 break;
2523 }
2524
2525 if (fp_model == ARM_FLOAT_LAST)
edefbb7c 2526 internal_error (__FILE__, __LINE__, _("Invalid fp model accepted: %s."),
fd50bc42
RE
2527 current_fp_model);
2528
28e97307 2529 arm_update_current_architecture ();
fd50bc42
RE
2530}
2531
2532static void
08546159
AC
2533show_fp_model (struct ui_file *file, int from_tty,
2534 struct cmd_list_element *c, const char *value)
fd50bc42
RE
2535{
2536 struct gdbarch_tdep *tdep = gdbarch_tdep (current_gdbarch);
2537
28e97307 2538 if (arm_fp_model == ARM_FLOAT_AUTO
fd50bc42 2539 && gdbarch_bfd_arch_info (current_gdbarch)->arch == bfd_arch_arm)
28e97307
DJ
2540 fprintf_filtered (file, _("\
2541The current ARM floating point model is \"auto\" (currently \"%s\").\n"),
2542 fp_model_strings[tdep->fp_model]);
2543 else
2544 fprintf_filtered (file, _("\
2545The current ARM floating point model is \"%s\".\n"),
2546 fp_model_strings[arm_fp_model]);
2547}
2548
2549static void
2550arm_set_abi (char *args, int from_tty,
2551 struct cmd_list_element *c)
2552{
2553 enum arm_abi_kind arm_abi;
2554
2555 for (arm_abi = ARM_ABI_AUTO; arm_abi != ARM_ABI_LAST; arm_abi++)
2556 if (strcmp (arm_abi_string, arm_abi_strings[arm_abi]) == 0)
2557 {
2558 arm_abi_global = arm_abi;
2559 break;
2560 }
2561
2562 if (arm_abi == ARM_ABI_LAST)
2563 internal_error (__FILE__, __LINE__, _("Invalid ABI accepted: %s."),
2564 arm_abi_string);
2565
2566 arm_update_current_architecture ();
2567}
2568
2569static void
2570arm_show_abi (struct ui_file *file, int from_tty,
2571 struct cmd_list_element *c, const char *value)
2572{
2573 struct gdbarch_tdep *tdep = gdbarch_tdep (current_gdbarch);
2574
2575 if (arm_abi_global == ARM_ABI_AUTO
2576 && gdbarch_bfd_arch_info (current_gdbarch)->arch == bfd_arch_arm)
2577 fprintf_filtered (file, _("\
2578The current ARM ABI is \"auto\" (currently \"%s\").\n"),
2579 arm_abi_strings[tdep->arm_abi]);
2580 else
2581 fprintf_filtered (file, _("The current ARM ABI is \"%s\".\n"),
2582 arm_abi_string);
fd50bc42
RE
2583}
2584
afd7eef0
RE
2585/* If the user changes the register disassembly style used for info
2586 register and other commands, we have to also switch the style used
2587 in opcodes for disassembly output. This function is run in the "set
2588 arm disassembly" command, and does that. */
bc90b915
FN
2589
2590static void
afd7eef0 2591set_disassembly_style_sfunc (char *args, int from_tty,
bc90b915
FN
2592 struct cmd_list_element *c)
2593{
afd7eef0 2594 set_disassembly_style ();
bc90b915
FN
2595}
2596\f
966fbf70 2597/* Return the ARM register name corresponding to register I. */
a208b0cb 2598static const char *
d93859e2 2599arm_register_name (struct gdbarch *gdbarch, int i)
966fbf70 2600{
ff6f572f
DJ
2601 if (i >= ARRAY_SIZE (arm_register_names))
2602 /* These registers are only supported on targets which supply
2603 an XML description. */
2604 return "";
2605
966fbf70
RE
2606 return arm_register_names[i];
2607}
2608
bc90b915 2609static void
afd7eef0 2610set_disassembly_style (void)
bc90b915 2611{
123dc839 2612 int current;
bc90b915 2613
123dc839
DJ
2614 /* Find the style that the user wants. */
2615 for (current = 0; current < num_disassembly_options; current++)
2616 if (disassembly_style == valid_disassembly_styles[current])
2617 break;
2618 gdb_assert (current < num_disassembly_options);
bc90b915 2619
94c30b78 2620 /* Synchronize the disassembler. */
bc90b915
FN
2621 set_arm_regname_option (current);
2622}
2623
082fc60d
RE
2624/* Test whether the coff symbol specific value corresponds to a Thumb
2625 function. */
2626
2627static int
2628coff_sym_is_thumb (int val)
2629{
2630 return (val == C_THUMBEXT ||
2631 val == C_THUMBSTAT ||
2632 val == C_THUMBEXTFUNC ||
2633 val == C_THUMBSTATFUNC ||
2634 val == C_THUMBLABEL);
2635}
2636
2637/* arm_coff_make_msymbol_special()
2638 arm_elf_make_msymbol_special()
2639
2640 These functions test whether the COFF or ELF symbol corresponds to
2641 an address in thumb code, and set a "special" bit in a minimal
2642 symbol to indicate that it does. */
2643
34e8f22d 2644static void
082fc60d
RE
2645arm_elf_make_msymbol_special(asymbol *sym, struct minimal_symbol *msym)
2646{
2647 /* Thumb symbols are of type STT_LOPROC, (synonymous with
2648 STT_ARM_TFUNC). */
2649 if (ELF_ST_TYPE (((elf_symbol_type *)sym)->internal_elf_sym.st_info)
2650 == STT_LOPROC)
2651 MSYMBOL_SET_SPECIAL (msym);
2652}
2653
34e8f22d 2654static void
082fc60d
RE
2655arm_coff_make_msymbol_special(int val, struct minimal_symbol *msym)
2656{
2657 if (coff_sym_is_thumb (val))
2658 MSYMBOL_SET_SPECIAL (msym);
2659}
2660
756fe439 2661static void
61a1198a 2662arm_write_pc (struct regcache *regcache, CORE_ADDR pc)
756fe439 2663{
61a1198a 2664 regcache_cooked_write_unsigned (regcache, ARM_PC_REGNUM, pc);
756fe439
DJ
2665
2666 /* If necessary, set the T bit. */
2667 if (arm_apcs_32)
2668 {
61a1198a
UW
2669 ULONGEST val;
2670 regcache_cooked_read_unsigned (regcache, ARM_PS_REGNUM, &val);
756fe439 2671 if (arm_pc_is_thumb (pc))
61a1198a 2672 regcache_cooked_write_unsigned (regcache, ARM_PS_REGNUM, val | 0x20);
756fe439 2673 else
61a1198a
UW
2674 regcache_cooked_write_unsigned (regcache, ARM_PS_REGNUM,
2675 val & ~(ULONGEST) 0x20);
756fe439
DJ
2676 }
2677}
123dc839
DJ
2678
2679static struct value *
2680value_of_arm_user_reg (struct frame_info *frame, const void *baton)
2681{
2682 const int *reg_p = baton;
2683 return value_of_register (*reg_p, frame);
2684}
97e03143 2685\f
70f80edf
JT
2686static enum gdb_osabi
2687arm_elf_osabi_sniffer (bfd *abfd)
97e03143 2688{
2af48f68 2689 unsigned int elfosabi;
70f80edf 2690 enum gdb_osabi osabi = GDB_OSABI_UNKNOWN;
97e03143 2691
70f80edf 2692 elfosabi = elf_elfheader (abfd)->e_ident[EI_OSABI];
97e03143 2693
28e97307
DJ
2694 if (elfosabi == ELFOSABI_ARM)
2695 /* GNU tools use this value. Check note sections in this case,
2696 as well. */
2697 bfd_map_over_sections (abfd,
2698 generic_elf_osabi_sniff_abi_tag_sections,
2699 &osabi);
97e03143 2700
28e97307 2701 /* Anything else will be handled by the generic ELF sniffer. */
70f80edf 2702 return osabi;
97e03143
RE
2703}
2704
70f80edf 2705\f
da3c6d4a
MS
2706/* Initialize the current architecture based on INFO. If possible,
2707 re-use an architecture from ARCHES, which is a list of
2708 architectures already created during this debugging session.
97e03143 2709
da3c6d4a
MS
2710 Called e.g. at program startup, when reading a core file, and when
2711 reading a binary file. */
97e03143 2712
39bbf761
RE
2713static struct gdbarch *
2714arm_gdbarch_init (struct gdbarch_info info, struct gdbarch_list *arches)
2715{
97e03143 2716 struct gdbarch_tdep *tdep;
39bbf761 2717 struct gdbarch *gdbarch;
28e97307
DJ
2718 struct gdbarch_list *best_arch;
2719 enum arm_abi_kind arm_abi = arm_abi_global;
2720 enum arm_float_model fp_model = arm_fp_model;
123dc839
DJ
2721 struct tdesc_arch_data *tdesc_data = NULL;
2722 int i;
ff6f572f 2723 int have_fpa_registers = 1;
123dc839
DJ
2724
2725 /* Check any target description for validity. */
2726 if (tdesc_has_registers (info.target_desc))
2727 {
2728 /* For most registers we require GDB's default names; but also allow
2729 the numeric names for sp / lr / pc, as a convenience. */
2730 static const char *const arm_sp_names[] = { "r13", "sp", NULL };
2731 static const char *const arm_lr_names[] = { "r14", "lr", NULL };
2732 static const char *const arm_pc_names[] = { "r15", "pc", NULL };
2733
2734 const struct tdesc_feature *feature;
2735 int i, valid_p;
2736
2737 feature = tdesc_find_feature (info.target_desc,
2738 "org.gnu.gdb.arm.core");
2739 if (feature == NULL)
2740 return NULL;
2741
2742 tdesc_data = tdesc_data_alloc ();
2743
2744 valid_p = 1;
2745 for (i = 0; i < ARM_SP_REGNUM; i++)
2746 valid_p &= tdesc_numbered_register (feature, tdesc_data, i,
2747 arm_register_names[i]);
2748 valid_p &= tdesc_numbered_register_choices (feature, tdesc_data,
2749 ARM_SP_REGNUM,
2750 arm_sp_names);
2751 valid_p &= tdesc_numbered_register_choices (feature, tdesc_data,
2752 ARM_LR_REGNUM,
2753 arm_lr_names);
2754 valid_p &= tdesc_numbered_register_choices (feature, tdesc_data,
2755 ARM_PC_REGNUM,
2756 arm_pc_names);
2757 valid_p &= tdesc_numbered_register (feature, tdesc_data,
2758 ARM_PS_REGNUM, "cpsr");
2759
2760 if (!valid_p)
2761 {
2762 tdesc_data_cleanup (tdesc_data);
2763 return NULL;
2764 }
2765
2766 feature = tdesc_find_feature (info.target_desc,
2767 "org.gnu.gdb.arm.fpa");
2768 if (feature != NULL)
2769 {
2770 valid_p = 1;
2771 for (i = ARM_F0_REGNUM; i <= ARM_FPS_REGNUM; i++)
2772 valid_p &= tdesc_numbered_register (feature, tdesc_data, i,
2773 arm_register_names[i]);
2774 if (!valid_p)
2775 {
2776 tdesc_data_cleanup (tdesc_data);
2777 return NULL;
2778 }
2779 }
ff6f572f
DJ
2780 else
2781 have_fpa_registers = 0;
2782
2783 feature = tdesc_find_feature (info.target_desc,
2784 "org.gnu.gdb.xscale.iwmmxt");
2785 if (feature != NULL)
2786 {
2787 static const char *const iwmmxt_names[] = {
2788 "wR0", "wR1", "wR2", "wR3", "wR4", "wR5", "wR6", "wR7",
2789 "wR8", "wR9", "wR10", "wR11", "wR12", "wR13", "wR14", "wR15",
2790 "wCID", "wCon", "wCSSF", "wCASF", "", "", "", "",
2791 "wCGR0", "wCGR1", "wCGR2", "wCGR3", "", "", "", "",
2792 };
2793
2794 valid_p = 1;
2795 for (i = ARM_WR0_REGNUM; i <= ARM_WR15_REGNUM; i++)
2796 valid_p
2797 &= tdesc_numbered_register (feature, tdesc_data, i,
2798 iwmmxt_names[i - ARM_WR0_REGNUM]);
2799
2800 /* Check for the control registers, but do not fail if they
2801 are missing. */
2802 for (i = ARM_WC0_REGNUM; i <= ARM_WCASF_REGNUM; i++)
2803 tdesc_numbered_register (feature, tdesc_data, i,
2804 iwmmxt_names[i - ARM_WR0_REGNUM]);
2805
2806 for (i = ARM_WCGR0_REGNUM; i <= ARM_WCGR3_REGNUM; i++)
2807 valid_p
2808 &= tdesc_numbered_register (feature, tdesc_data, i,
2809 iwmmxt_names[i - ARM_WR0_REGNUM]);
2810
2811 if (!valid_p)
2812 {
2813 tdesc_data_cleanup (tdesc_data);
2814 return NULL;
2815 }
2816 }
123dc839 2817 }
39bbf761 2818
28e97307
DJ
2819 /* If we have an object to base this architecture on, try to determine
2820 its ABI. */
39bbf761 2821
28e97307 2822 if (arm_abi == ARM_ABI_AUTO && info.abfd != NULL)
97e03143 2823 {
6b26d61a 2824 int ei_osabi, e_flags;
28e97307 2825
4be87837 2826 switch (bfd_get_flavour (info.abfd))
97e03143 2827 {
4be87837
DJ
2828 case bfd_target_aout_flavour:
2829 /* Assume it's an old APCS-style ABI. */
28e97307 2830 arm_abi = ARM_ABI_APCS;
4be87837 2831 break;
97e03143 2832
4be87837
DJ
2833 case bfd_target_coff_flavour:
2834 /* Assume it's an old APCS-style ABI. */
2835 /* XXX WinCE? */
28e97307
DJ
2836 arm_abi = ARM_ABI_APCS;
2837 break;
2838
2839 case bfd_target_elf_flavour:
2840 ei_osabi = elf_elfheader (info.abfd)->e_ident[EI_OSABI];
6b26d61a
MK
2841 e_flags = elf_elfheader (info.abfd)->e_flags;
2842
28e97307
DJ
2843 if (ei_osabi == ELFOSABI_ARM)
2844 {
2845 /* GNU tools used to use this value, but do not for EABI
6b26d61a
MK
2846 objects. There's nowhere to tag an EABI version
2847 anyway, so assume APCS. */
28e97307
DJ
2848 arm_abi = ARM_ABI_APCS;
2849 }
2850 else if (ei_osabi == ELFOSABI_NONE)
2851 {
6b26d61a 2852 int eabi_ver = EF_ARM_EABI_VERSION (e_flags);
28e97307
DJ
2853
2854 switch (eabi_ver)
2855 {
2856 case EF_ARM_EABI_UNKNOWN:
2857 /* Assume GNU tools. */
2858 arm_abi = ARM_ABI_APCS;
2859 break;
2860
2861 case EF_ARM_EABI_VER4:
625b5003 2862 case EF_ARM_EABI_VER5:
28e97307 2863 arm_abi = ARM_ABI_AAPCS;
2af48f68
PB
2864 /* EABI binaries default to VFP float ordering. */
2865 if (fp_model == ARM_FLOAT_AUTO)
2866 fp_model = ARM_FLOAT_SOFT_VFP;
28e97307
DJ
2867 break;
2868
2869 default:
6b26d61a 2870 /* Leave it as "auto". */
28e97307 2871 warning (_("unknown ARM EABI version 0x%x"), eabi_ver);
6b26d61a
MK
2872 break;
2873 }
2874 }
2875
2876 if (fp_model == ARM_FLOAT_AUTO)
2877 {
2878 int e_flags = elf_elfheader (info.abfd)->e_flags;
2879
2880 switch (e_flags & (EF_ARM_SOFT_FLOAT | EF_ARM_VFP_FLOAT))
2881 {
2882 case 0:
2883 /* Leave it as "auto". Strictly speaking this case
2884 means FPA, but almost nobody uses that now, and
2885 many toolchains fail to set the appropriate bits
2886 for the floating-point model they use. */
2887 break;
2888 case EF_ARM_SOFT_FLOAT:
2889 fp_model = ARM_FLOAT_SOFT_FPA;
2890 break;
2891 case EF_ARM_VFP_FLOAT:
2892 fp_model = ARM_FLOAT_VFP;
2893 break;
2894 case EF_ARM_SOFT_FLOAT | EF_ARM_VFP_FLOAT:
2895 fp_model = ARM_FLOAT_SOFT_VFP;
28e97307
DJ
2896 break;
2897 }
2898 }
4be87837 2899 break;
97e03143 2900
4be87837 2901 default:
28e97307 2902 /* Leave it as "auto". */
50ceaba5 2903 break;
97e03143
RE
2904 }
2905 }
2906
28e97307
DJ
2907 /* If there is already a candidate, use it. */
2908 for (best_arch = gdbarch_list_lookup_by_info (arches, &info);
2909 best_arch != NULL;
2910 best_arch = gdbarch_list_lookup_by_info (best_arch->next, &info))
2911 {
b8926edc
DJ
2912 if (arm_abi != ARM_ABI_AUTO
2913 && arm_abi != gdbarch_tdep (best_arch->gdbarch)->arm_abi)
28e97307
DJ
2914 continue;
2915
b8926edc
DJ
2916 if (fp_model != ARM_FLOAT_AUTO
2917 && fp_model != gdbarch_tdep (best_arch->gdbarch)->fp_model)
28e97307
DJ
2918 continue;
2919
2920 /* Found a match. */
2921 break;
2922 }
97e03143 2923
28e97307 2924 if (best_arch != NULL)
123dc839
DJ
2925 {
2926 if (tdesc_data != NULL)
2927 tdesc_data_cleanup (tdesc_data);
2928 return best_arch->gdbarch;
2929 }
28e97307
DJ
2930
2931 tdep = xcalloc (1, sizeof (struct gdbarch_tdep));
97e03143
RE
2932 gdbarch = gdbarch_alloc (&info, tdep);
2933
28e97307
DJ
2934 /* Record additional information about the architecture we are defining.
2935 These are gdbarch discriminators, like the OSABI. */
2936 tdep->arm_abi = arm_abi;
2937 tdep->fp_model = fp_model;
ff6f572f 2938 tdep->have_fpa_registers = have_fpa_registers;
08216dd7
RE
2939
2940 /* Breakpoints. */
67255d04
RE
2941 switch (info.byte_order)
2942 {
2943 case BFD_ENDIAN_BIG:
66e810cd
RE
2944 tdep->arm_breakpoint = arm_default_arm_be_breakpoint;
2945 tdep->arm_breakpoint_size = sizeof (arm_default_arm_be_breakpoint);
2946 tdep->thumb_breakpoint = arm_default_thumb_be_breakpoint;
2947 tdep->thumb_breakpoint_size = sizeof (arm_default_thumb_be_breakpoint);
2948
67255d04
RE
2949 break;
2950
2951 case BFD_ENDIAN_LITTLE:
66e810cd
RE
2952 tdep->arm_breakpoint = arm_default_arm_le_breakpoint;
2953 tdep->arm_breakpoint_size = sizeof (arm_default_arm_le_breakpoint);
2954 tdep->thumb_breakpoint = arm_default_thumb_le_breakpoint;
2955 tdep->thumb_breakpoint_size = sizeof (arm_default_thumb_le_breakpoint);
2956
67255d04
RE
2957 break;
2958
2959 default:
2960 internal_error (__FILE__, __LINE__,
edefbb7c 2961 _("arm_gdbarch_init: bad byte order for float format"));
67255d04
RE
2962 }
2963
d7b486e7
RE
2964 /* On ARM targets char defaults to unsigned. */
2965 set_gdbarch_char_signed (gdbarch, 0);
2966
9df628e0 2967 /* This should be low enough for everything. */
97e03143 2968 tdep->lowest_pc = 0x20;
94c30b78 2969 tdep->jb_pc = -1; /* Longjump support not enabled by default. */
97e03143 2970
7c00367c
MK
2971 /* The default, for both APCS and AAPCS, is to return small
2972 structures in registers. */
2973 tdep->struct_return = reg_struct_return;
2974
2dd604e7 2975 set_gdbarch_push_dummy_call (gdbarch, arm_push_dummy_call);
f53f0d0b 2976 set_gdbarch_frame_align (gdbarch, arm_frame_align);
39bbf761 2977
756fe439
DJ
2978 set_gdbarch_write_pc (gdbarch, arm_write_pc);
2979
148754e5 2980 /* Frame handling. */
eb5492fa
DJ
2981 set_gdbarch_unwind_dummy_id (gdbarch, arm_unwind_dummy_id);
2982 set_gdbarch_unwind_pc (gdbarch, arm_unwind_pc);
2983 set_gdbarch_unwind_sp (gdbarch, arm_unwind_sp);
2984
eb5492fa 2985 frame_base_set_default (gdbarch, &arm_normal_base);
148754e5 2986
34e8f22d
RE
2987 /* Address manipulation. */
2988 set_gdbarch_smash_text_address (gdbarch, arm_smash_text_address);
2989 set_gdbarch_addr_bits_remove (gdbarch, arm_addr_bits_remove);
2990
34e8f22d
RE
2991 /* Advance PC across function entry code. */
2992 set_gdbarch_skip_prologue (gdbarch, arm_skip_prologue);
2993
190dce09
UW
2994 /* Skip trampolines. */
2995 set_gdbarch_skip_trampoline_code (gdbarch, arm_skip_stub);
2996
34e8f22d
RE
2997 /* The stack grows downward. */
2998 set_gdbarch_inner_than (gdbarch, core_addr_lessthan);
2999
3000 /* Breakpoint manipulation. */
3001 set_gdbarch_breakpoint_from_pc (gdbarch, arm_breakpoint_from_pc);
34e8f22d
RE
3002
3003 /* Information about registers, etc. */
0ba6dca9 3004 set_gdbarch_deprecated_fp_regnum (gdbarch, ARM_FP_REGNUM); /* ??? */
34e8f22d
RE
3005 set_gdbarch_sp_regnum (gdbarch, ARM_SP_REGNUM);
3006 set_gdbarch_pc_regnum (gdbarch, ARM_PC_REGNUM);
ff6f572f 3007 set_gdbarch_num_regs (gdbarch, ARM_NUM_REGS);
7a5ea0d4 3008 set_gdbarch_register_type (gdbarch, arm_register_type);
34e8f22d 3009
ff6f572f
DJ
3010 /* This "info float" is FPA-specific. Use the generic version if we
3011 do not have FPA. */
3012 if (gdbarch_tdep (gdbarch)->have_fpa_registers)
3013 set_gdbarch_print_float_info (gdbarch, arm_print_float_info);
3014
26216b98 3015 /* Internal <-> external register number maps. */
ff6f572f
DJ
3016 set_gdbarch_dwarf_reg_to_regnum (gdbarch, arm_dwarf_reg_to_regnum);
3017 set_gdbarch_dwarf2_reg_to_regnum (gdbarch, arm_dwarf_reg_to_regnum);
26216b98
AC
3018 set_gdbarch_register_sim_regno (gdbarch, arm_register_sim_regno);
3019
34e8f22d
RE
3020 set_gdbarch_register_name (gdbarch, arm_register_name);
3021
3022 /* Returning results. */
2af48f68 3023 set_gdbarch_return_value (gdbarch, arm_return_value);
34e8f22d 3024
03d48a7d
RE
3025 /* Disassembly. */
3026 set_gdbarch_print_insn (gdbarch, gdb_print_insn_arm);
3027
34e8f22d
RE
3028 /* Minsymbol frobbing. */
3029 set_gdbarch_elf_make_msymbol_special (gdbarch, arm_elf_make_msymbol_special);
3030 set_gdbarch_coff_make_msymbol_special (gdbarch,
3031 arm_coff_make_msymbol_special);
3032
0d5de010
DJ
3033 /* Virtual tables. */
3034 set_gdbarch_vbit_in_delta (gdbarch, 1);
3035
97e03143 3036 /* Hook in the ABI-specific overrides, if they have been registered. */
4be87837 3037 gdbarch_init_osabi (info, gdbarch);
97e03143 3038
eb5492fa 3039 /* Add some default predicates. */
909cf6ea 3040 frame_unwind_append_sniffer (gdbarch, arm_stub_unwind_sniffer);
842e1f1e 3041 frame_unwind_append_sniffer (gdbarch, dwarf2_frame_sniffer);
eb5492fa
DJ
3042 frame_unwind_append_sniffer (gdbarch, arm_prologue_unwind_sniffer);
3043
97e03143
RE
3044 /* Now we have tuned the configuration, set a few final things,
3045 based on what the OS ABI has told us. */
3046
b8926edc
DJ
3047 /* If the ABI is not otherwise marked, assume the old GNU APCS. EABI
3048 binaries are always marked. */
3049 if (tdep->arm_abi == ARM_ABI_AUTO)
3050 tdep->arm_abi = ARM_ABI_APCS;
3051
3052 /* We used to default to FPA for generic ARM, but almost nobody
3053 uses that now, and we now provide a way for the user to force
3054 the model. So default to the most useful variant. */
3055 if (tdep->fp_model == ARM_FLOAT_AUTO)
3056 tdep->fp_model = ARM_FLOAT_SOFT_FPA;
3057
9df628e0
RE
3058 if (tdep->jb_pc >= 0)
3059 set_gdbarch_get_longjmp_target (gdbarch, arm_get_longjmp_target);
3060
08216dd7 3061 /* Floating point sizes and format. */
8da61cc4 3062 set_gdbarch_float_format (gdbarch, floatformats_ieee_single);
b8926edc 3063 if (tdep->fp_model == ARM_FLOAT_SOFT_FPA || tdep->fp_model == ARM_FLOAT_FPA)
08216dd7 3064 {
8da61cc4
DJ
3065 set_gdbarch_double_format
3066 (gdbarch, floatformats_ieee_double_littlebyte_bigword);
3067 set_gdbarch_long_double_format
3068 (gdbarch, floatformats_ieee_double_littlebyte_bigword);
3069 }
3070 else
3071 {
3072 set_gdbarch_double_format (gdbarch, floatformats_ieee_double);
3073 set_gdbarch_long_double_format (gdbarch, floatformats_ieee_double);
08216dd7
RE
3074 }
3075
123dc839 3076 if (tdesc_data)
7cc46491 3077 tdesc_use_registers (gdbarch, info.target_desc, tdesc_data);
123dc839
DJ
3078
3079 /* Add standard register aliases. We add aliases even for those
3080 nanes which are used by the current architecture - it's simpler,
3081 and does no harm, since nothing ever lists user registers. */
3082 for (i = 0; i < ARRAY_SIZE (arm_register_aliases); i++)
3083 user_reg_add (gdbarch, arm_register_aliases[i].name,
3084 value_of_arm_user_reg, &arm_register_aliases[i].regnum);
3085
39bbf761
RE
3086 return gdbarch;
3087}
3088
97e03143 3089static void
2af46ca0 3090arm_dump_tdep (struct gdbarch *gdbarch, struct ui_file *file)
97e03143 3091{
2af46ca0 3092 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
97e03143
RE
3093
3094 if (tdep == NULL)
3095 return;
3096
edefbb7c 3097 fprintf_unfiltered (file, _("arm_dump_tdep: Lowest pc = 0x%lx"),
97e03143
RE
3098 (unsigned long) tdep->lowest_pc);
3099}
3100
a78f21af
AC
3101extern initialize_file_ftype _initialize_arm_tdep; /* -Wmissing-prototypes */
3102
c906108c 3103void
ed9a39eb 3104_initialize_arm_tdep (void)
c906108c 3105{
bc90b915
FN
3106 struct ui_file *stb;
3107 long length;
26304000 3108 struct cmd_list_element *new_set, *new_show;
53904c9e
AC
3109 const char *setname;
3110 const char *setdesc;
4bd7b427 3111 const char *const *regnames;
bc90b915
FN
3112 int numregs, i, j;
3113 static char *helptext;
edefbb7c
AC
3114 char regdesc[1024], *rdptr = regdesc;
3115 size_t rest = sizeof (regdesc);
085dd6e6 3116
42cf1509 3117 gdbarch_register (bfd_arch_arm, arm_gdbarch_init, arm_dump_tdep);
97e03143 3118
70f80edf
JT
3119 /* Register an ELF OS ABI sniffer for ARM binaries. */
3120 gdbarch_register_osabi_sniffer (bfd_arch_arm,
3121 bfd_target_elf_flavour,
3122 arm_elf_osabi_sniffer);
3123
94c30b78 3124 /* Get the number of possible sets of register names defined in opcodes. */
afd7eef0
RE
3125 num_disassembly_options = get_arm_regname_num_options ();
3126
3127 /* Add root prefix command for all "set arm"/"show arm" commands. */
3128 add_prefix_cmd ("arm", no_class, set_arm_command,
edefbb7c 3129 _("Various ARM-specific commands."),
afd7eef0
RE
3130 &setarmcmdlist, "set arm ", 0, &setlist);
3131
3132 add_prefix_cmd ("arm", no_class, show_arm_command,
edefbb7c 3133 _("Various ARM-specific commands."),
afd7eef0 3134 &showarmcmdlist, "show arm ", 0, &showlist);
bc90b915 3135
94c30b78 3136 /* Sync the opcode insn printer with our register viewer. */
bc90b915 3137 parse_arm_disassembler_option ("reg-names-std");
c5aa993b 3138
eefe576e
AC
3139 /* Initialize the array that will be passed to
3140 add_setshow_enum_cmd(). */
afd7eef0
RE
3141 valid_disassembly_styles
3142 = xmalloc ((num_disassembly_options + 1) * sizeof (char *));
3143 for (i = 0; i < num_disassembly_options; i++)
bc90b915
FN
3144 {
3145 numregs = get_arm_regnames (i, &setname, &setdesc, &regnames);
afd7eef0 3146 valid_disassembly_styles[i] = setname;
edefbb7c
AC
3147 length = snprintf (rdptr, rest, "%s - %s\n", setname, setdesc);
3148 rdptr += length;
3149 rest -= length;
123dc839
DJ
3150 /* When we find the default names, tell the disassembler to use
3151 them. */
bc90b915
FN
3152 if (!strcmp (setname, "std"))
3153 {
afd7eef0 3154 disassembly_style = setname;
bc90b915
FN
3155 set_arm_regname_option (i);
3156 }
3157 }
94c30b78 3158 /* Mark the end of valid options. */
afd7eef0 3159 valid_disassembly_styles[num_disassembly_options] = NULL;
c906108c 3160
edefbb7c
AC
3161 /* Create the help text. */
3162 stb = mem_fileopen ();
3163 fprintf_unfiltered (stb, "%s%s%s",
3164 _("The valid values are:\n"),
3165 regdesc,
3166 _("The default is \"std\"."));
bc90b915
FN
3167 helptext = ui_file_xstrdup (stb, &length);
3168 ui_file_delete (stb);
ed9a39eb 3169
edefbb7c
AC
3170 add_setshow_enum_cmd("disassembler", no_class,
3171 valid_disassembly_styles, &disassembly_style,
3172 _("Set the disassembly style."),
3173 _("Show the disassembly style."),
3174 helptext,
2c5b56ce 3175 set_disassembly_style_sfunc,
7915a72c 3176 NULL, /* FIXME: i18n: The disassembly style is \"%s\". */
7376b4c2 3177 &setarmcmdlist, &showarmcmdlist);
edefbb7c
AC
3178
3179 add_setshow_boolean_cmd ("apcs32", no_class, &arm_apcs_32,
3180 _("Set usage of ARM 32-bit mode."),
3181 _("Show usage of ARM 32-bit mode."),
3182 _("When off, a 26-bit PC will be used."),
2c5b56ce 3183 NULL,
7915a72c 3184 NULL, /* FIXME: i18n: Usage of ARM 32-bit mode is %s. */
26304000 3185 &setarmcmdlist, &showarmcmdlist);
c906108c 3186
fd50bc42 3187 /* Add a command to allow the user to force the FPU model. */
edefbb7c
AC
3188 add_setshow_enum_cmd ("fpu", no_class, fp_model_strings, &current_fp_model,
3189 _("Set the floating point type."),
3190 _("Show the floating point type."),
3191 _("auto - Determine the FP typefrom the OS-ABI.\n\
3192softfpa - Software FP, mixed-endian doubles on little-endian ARMs.\n\
3193fpa - FPA co-processor (GCC compiled).\n\
3194softvfp - Software FP with pure-endian doubles.\n\
3195vfp - VFP co-processor."),
edefbb7c 3196 set_fp_model_sfunc, show_fp_model,
7376b4c2 3197 &setarmcmdlist, &showarmcmdlist);
fd50bc42 3198
28e97307
DJ
3199 /* Add a command to allow the user to force the ABI. */
3200 add_setshow_enum_cmd ("abi", class_support, arm_abi_strings, &arm_abi_string,
3201 _("Set the ABI."),
3202 _("Show the ABI."),
3203 NULL, arm_set_abi, arm_show_abi,
3204 &setarmcmdlist, &showarmcmdlist);
3205
6529d2dd 3206 /* Debugging flag. */
edefbb7c
AC
3207 add_setshow_boolean_cmd ("arm", class_maintenance, &arm_debug,
3208 _("Set ARM debugging."),
3209 _("Show ARM debugging."),
3210 _("When on, arm-specific debugging is enabled."),
2c5b56ce 3211 NULL,
7915a72c 3212 NULL, /* FIXME: i18n: "ARM debugging is %s. */
26304000 3213 &setdebuglist, &showdebuglist);
c906108c 3214}
This page took 0.759199 seconds and 4 git commands to generate.