1 /* Common target dependent code for GDB on AArch64 systems.
3 Copyright (C) 2009-2018 Free Software Foundation, Inc.
4 Contributed by ARM Ltd.
6 This file is part of GDB.
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
10 the Free Software Foundation; either version 3 of the License, or
11 (at your option) any later version.
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.
18 You should have received a copy of the GNU General Public License
19 along with this program. If not, see <http://www.gnu.org/licenses/>. */
29 #include "reggroups.h"
31 #include "arch-utils.h"
33 #include "frame-unwind.h"
34 #include "frame-base.h"
35 #include "trad-frame.h"
37 #include "dwarf2-frame.h"
39 #include "prologue-value.h"
40 #include "target-descriptions.h"
41 #include "user-regs.h"
48 #include "aarch64-tdep.h"
51 #include "elf/aarch64.h"
56 #include "record-full.h"
57 #include "arch/aarch64-insn.h"
59 #include "opcode/aarch64.h"
62 #define submask(x) ((1L << ((x) + 1)) - 1)
63 #define bit(obj,st) (((obj) >> (st)) & 1)
64 #define bits(obj,st,fn) (((obj) >> (st)) & submask ((fn) - (st)))
66 /* Pseudo register base numbers. */
67 #define AARCH64_Q0_REGNUM 0
68 #define AARCH64_D0_REGNUM (AARCH64_Q0_REGNUM + AARCH64_D_REGISTER_COUNT)
69 #define AARCH64_S0_REGNUM (AARCH64_D0_REGNUM + 32)
70 #define AARCH64_H0_REGNUM (AARCH64_S0_REGNUM + 32)
71 #define AARCH64_B0_REGNUM (AARCH64_H0_REGNUM + 32)
73 /* All possible aarch64 target descriptors. */
74 struct target_desc
*tdesc_aarch64_list
[AARCH64_MAX_SVE_VQ
+ 1];
76 /* The standard register names, and all the valid aliases for them. */
79 const char *const name
;
81 } aarch64_register_aliases
[] =
83 /* 64-bit register names. */
84 {"fp", AARCH64_FP_REGNUM
},
85 {"lr", AARCH64_LR_REGNUM
},
86 {"sp", AARCH64_SP_REGNUM
},
88 /* 32-bit register names. */
89 {"w0", AARCH64_X0_REGNUM
+ 0},
90 {"w1", AARCH64_X0_REGNUM
+ 1},
91 {"w2", AARCH64_X0_REGNUM
+ 2},
92 {"w3", AARCH64_X0_REGNUM
+ 3},
93 {"w4", AARCH64_X0_REGNUM
+ 4},
94 {"w5", AARCH64_X0_REGNUM
+ 5},
95 {"w6", AARCH64_X0_REGNUM
+ 6},
96 {"w7", AARCH64_X0_REGNUM
+ 7},
97 {"w8", AARCH64_X0_REGNUM
+ 8},
98 {"w9", AARCH64_X0_REGNUM
+ 9},
99 {"w10", AARCH64_X0_REGNUM
+ 10},
100 {"w11", AARCH64_X0_REGNUM
+ 11},
101 {"w12", AARCH64_X0_REGNUM
+ 12},
102 {"w13", AARCH64_X0_REGNUM
+ 13},
103 {"w14", AARCH64_X0_REGNUM
+ 14},
104 {"w15", AARCH64_X0_REGNUM
+ 15},
105 {"w16", AARCH64_X0_REGNUM
+ 16},
106 {"w17", AARCH64_X0_REGNUM
+ 17},
107 {"w18", AARCH64_X0_REGNUM
+ 18},
108 {"w19", AARCH64_X0_REGNUM
+ 19},
109 {"w20", AARCH64_X0_REGNUM
+ 20},
110 {"w21", AARCH64_X0_REGNUM
+ 21},
111 {"w22", AARCH64_X0_REGNUM
+ 22},
112 {"w23", AARCH64_X0_REGNUM
+ 23},
113 {"w24", AARCH64_X0_REGNUM
+ 24},
114 {"w25", AARCH64_X0_REGNUM
+ 25},
115 {"w26", AARCH64_X0_REGNUM
+ 26},
116 {"w27", AARCH64_X0_REGNUM
+ 27},
117 {"w28", AARCH64_X0_REGNUM
+ 28},
118 {"w29", AARCH64_X0_REGNUM
+ 29},
119 {"w30", AARCH64_X0_REGNUM
+ 30},
122 {"ip0", AARCH64_X0_REGNUM
+ 16},
123 {"ip1", AARCH64_X0_REGNUM
+ 17}
126 /* The required core 'R' registers. */
127 static const char *const aarch64_r_register_names
[] =
129 /* These registers must appear in consecutive RAW register number
130 order and they must begin with AARCH64_X0_REGNUM! */
131 "x0", "x1", "x2", "x3",
132 "x4", "x5", "x6", "x7",
133 "x8", "x9", "x10", "x11",
134 "x12", "x13", "x14", "x15",
135 "x16", "x17", "x18", "x19",
136 "x20", "x21", "x22", "x23",
137 "x24", "x25", "x26", "x27",
138 "x28", "x29", "x30", "sp",
142 /* The FP/SIMD 'V' registers. */
143 static const char *const aarch64_v_register_names
[] =
145 /* These registers must appear in consecutive RAW register number
146 order and they must begin with AARCH64_V0_REGNUM! */
147 "v0", "v1", "v2", "v3",
148 "v4", "v5", "v6", "v7",
149 "v8", "v9", "v10", "v11",
150 "v12", "v13", "v14", "v15",
151 "v16", "v17", "v18", "v19",
152 "v20", "v21", "v22", "v23",
153 "v24", "v25", "v26", "v27",
154 "v28", "v29", "v30", "v31",
159 /* The SVE 'Z' and 'P' registers. */
160 static const char *const aarch64_sve_register_names
[] =
162 /* These registers must appear in consecutive RAW register number
163 order and they must begin with AARCH64_SVE_Z0_REGNUM! */
164 "z0", "z1", "z2", "z3",
165 "z4", "z5", "z6", "z7",
166 "z8", "z9", "z10", "z11",
167 "z12", "z13", "z14", "z15",
168 "z16", "z17", "z18", "z19",
169 "z20", "z21", "z22", "z23",
170 "z24", "z25", "z26", "z27",
171 "z28", "z29", "z30", "z31",
173 "p0", "p1", "p2", "p3",
174 "p4", "p5", "p6", "p7",
175 "p8", "p9", "p10", "p11",
176 "p12", "p13", "p14", "p15",
180 /* AArch64 prologue cache structure. */
181 struct aarch64_prologue_cache
183 /* The program counter at the start of the function. It is used to
184 identify this frame as a prologue frame. */
187 /* The program counter at the time this frame was created; i.e. where
188 this function was called from. It is used to identify this frame as a
192 /* The stack pointer at the time this frame was created; i.e. the
193 caller's stack pointer when this function was called. It is used
194 to identify this frame. */
197 /* Is the target available to read from? */
200 /* The frame base for this frame is just prev_sp - frame size.
201 FRAMESIZE is the distance from the frame pointer to the
202 initial stack pointer. */
205 /* The register used to hold the frame pointer for this frame. */
208 /* Saved register offsets. */
209 struct trad_frame_saved_reg
*saved_regs
;
213 show_aarch64_debug (struct ui_file
*file
, int from_tty
,
214 struct cmd_list_element
*c
, const char *value
)
216 fprintf_filtered (file
, _("AArch64 debugging is %s.\n"), value
);
221 /* Abstract instruction reader. */
223 class abstract_instruction_reader
226 /* Read in one instruction. */
227 virtual ULONGEST
read (CORE_ADDR memaddr
, int len
,
228 enum bfd_endian byte_order
) = 0;
231 /* Instruction reader from real target. */
233 class instruction_reader
: public abstract_instruction_reader
236 ULONGEST
read (CORE_ADDR memaddr
, int len
, enum bfd_endian byte_order
)
239 return read_code_unsigned_integer (memaddr
, len
, byte_order
);
245 /* Analyze a prologue, looking for a recognizable stack frame
246 and frame pointer. Scan until we encounter a store that could
247 clobber the stack frame unexpectedly, or an unknown instruction. */
250 aarch64_analyze_prologue (struct gdbarch
*gdbarch
,
251 CORE_ADDR start
, CORE_ADDR limit
,
252 struct aarch64_prologue_cache
*cache
,
253 abstract_instruction_reader
& reader
)
255 enum bfd_endian byte_order_for_code
= gdbarch_byte_order_for_code (gdbarch
);
257 /* Track X registers and D registers in prologue. */
258 pv_t regs
[AARCH64_X_REGISTER_COUNT
+ AARCH64_D_REGISTER_COUNT
];
260 for (i
= 0; i
< AARCH64_X_REGISTER_COUNT
+ AARCH64_D_REGISTER_COUNT
; i
++)
261 regs
[i
] = pv_register (i
, 0);
262 pv_area
stack (AARCH64_SP_REGNUM
, gdbarch_addr_bit (gdbarch
));
264 for (; start
< limit
; start
+= 4)
269 insn
= reader
.read (start
, 4, byte_order_for_code
);
271 if (aarch64_decode_insn (insn
, &inst
, 1, NULL
) != 0)
274 if (inst
.opcode
->iclass
== addsub_imm
275 && (inst
.opcode
->op
== OP_ADD
276 || strcmp ("sub", inst
.opcode
->name
) == 0))
278 unsigned rd
= inst
.operands
[0].reg
.regno
;
279 unsigned rn
= inst
.operands
[1].reg
.regno
;
281 gdb_assert (aarch64_num_of_operands (inst
.opcode
) == 3);
282 gdb_assert (inst
.operands
[0].type
== AARCH64_OPND_Rd_SP
);
283 gdb_assert (inst
.operands
[1].type
== AARCH64_OPND_Rn_SP
);
284 gdb_assert (inst
.operands
[2].type
== AARCH64_OPND_AIMM
);
286 if (inst
.opcode
->op
== OP_ADD
)
288 regs
[rd
] = pv_add_constant (regs
[rn
],
289 inst
.operands
[2].imm
.value
);
293 regs
[rd
] = pv_add_constant (regs
[rn
],
294 -inst
.operands
[2].imm
.value
);
297 else if (inst
.opcode
->iclass
== pcreladdr
298 && inst
.operands
[1].type
== AARCH64_OPND_ADDR_ADRP
)
300 gdb_assert (aarch64_num_of_operands (inst
.opcode
) == 2);
301 gdb_assert (inst
.operands
[0].type
== AARCH64_OPND_Rd
);
303 regs
[inst
.operands
[0].reg
.regno
] = pv_unknown ();
305 else if (inst
.opcode
->iclass
== branch_imm
)
307 /* Stop analysis on branch. */
310 else if (inst
.opcode
->iclass
== condbranch
)
312 /* Stop analysis on branch. */
315 else if (inst
.opcode
->iclass
== branch_reg
)
317 /* Stop analysis on branch. */
320 else if (inst
.opcode
->iclass
== compbranch
)
322 /* Stop analysis on branch. */
325 else if (inst
.opcode
->op
== OP_MOVZ
)
327 gdb_assert (inst
.operands
[0].type
== AARCH64_OPND_Rd
);
328 regs
[inst
.operands
[0].reg
.regno
] = pv_unknown ();
330 else if (inst
.opcode
->iclass
== log_shift
331 && strcmp (inst
.opcode
->name
, "orr") == 0)
333 unsigned rd
= inst
.operands
[0].reg
.regno
;
334 unsigned rn
= inst
.operands
[1].reg
.regno
;
335 unsigned rm
= inst
.operands
[2].reg
.regno
;
337 gdb_assert (inst
.operands
[0].type
== AARCH64_OPND_Rd
);
338 gdb_assert (inst
.operands
[1].type
== AARCH64_OPND_Rn
);
339 gdb_assert (inst
.operands
[2].type
== AARCH64_OPND_Rm_SFT
);
341 if (inst
.operands
[2].shifter
.amount
== 0
342 && rn
== AARCH64_SP_REGNUM
)
348 debug_printf ("aarch64: prologue analysis gave up "
349 "addr=%s opcode=0x%x (orr x register)\n",
350 core_addr_to_string_nz (start
), insn
);
355 else if (inst
.opcode
->op
== OP_STUR
)
357 unsigned rt
= inst
.operands
[0].reg
.regno
;
358 unsigned rn
= inst
.operands
[1].addr
.base_regno
;
360 = (aarch64_get_qualifier_esize (inst
.operands
[0].qualifier
) == 8);
362 gdb_assert (aarch64_num_of_operands (inst
.opcode
) == 2);
363 gdb_assert (inst
.operands
[0].type
== AARCH64_OPND_Rt
);
364 gdb_assert (inst
.operands
[1].type
== AARCH64_OPND_ADDR_SIMM9
);
365 gdb_assert (!inst
.operands
[1].addr
.offset
.is_reg
);
367 stack
.store (pv_add_constant (regs
[rn
],
368 inst
.operands
[1].addr
.offset
.imm
),
369 is64
? 8 : 4, regs
[rt
]);
371 else if ((inst
.opcode
->iclass
== ldstpair_off
372 || (inst
.opcode
->iclass
== ldstpair_indexed
373 && inst
.operands
[2].addr
.preind
))
374 && strcmp ("stp", inst
.opcode
->name
) == 0)
376 /* STP with addressing mode Pre-indexed and Base register. */
379 unsigned rn
= inst
.operands
[2].addr
.base_regno
;
380 int32_t imm
= inst
.operands
[2].addr
.offset
.imm
;
382 gdb_assert (inst
.operands
[0].type
== AARCH64_OPND_Rt
383 || inst
.operands
[0].type
== AARCH64_OPND_Ft
);
384 gdb_assert (inst
.operands
[1].type
== AARCH64_OPND_Rt2
385 || inst
.operands
[1].type
== AARCH64_OPND_Ft2
);
386 gdb_assert (inst
.operands
[2].type
== AARCH64_OPND_ADDR_SIMM7
);
387 gdb_assert (!inst
.operands
[2].addr
.offset
.is_reg
);
389 /* If recording this store would invalidate the store area
390 (perhaps because rn is not known) then we should abandon
391 further prologue analysis. */
392 if (stack
.store_would_trash (pv_add_constant (regs
[rn
], imm
)))
395 if (stack
.store_would_trash (pv_add_constant (regs
[rn
], imm
+ 8)))
398 rt1
= inst
.operands
[0].reg
.regno
;
399 rt2
= inst
.operands
[1].reg
.regno
;
400 if (inst
.operands
[0].type
== AARCH64_OPND_Ft
)
402 /* Only bottom 64-bit of each V register (D register) need
404 gdb_assert (inst
.operands
[0].qualifier
== AARCH64_OPND_QLF_S_D
);
405 rt1
+= AARCH64_X_REGISTER_COUNT
;
406 rt2
+= AARCH64_X_REGISTER_COUNT
;
409 stack
.store (pv_add_constant (regs
[rn
], imm
), 8,
411 stack
.store (pv_add_constant (regs
[rn
], imm
+ 8), 8,
414 if (inst
.operands
[2].addr
.writeback
)
415 regs
[rn
] = pv_add_constant (regs
[rn
], imm
);
418 else if ((inst
.opcode
->iclass
== ldst_imm9
/* Signed immediate. */
419 || (inst
.opcode
->iclass
== ldst_pos
/* Unsigned immediate. */
420 && (inst
.opcode
->op
== OP_STR_POS
421 || inst
.opcode
->op
== OP_STRF_POS
)))
422 && inst
.operands
[1].addr
.base_regno
== AARCH64_SP_REGNUM
423 && strcmp ("str", inst
.opcode
->name
) == 0)
425 /* STR (immediate) */
426 unsigned int rt
= inst
.operands
[0].reg
.regno
;
427 int32_t imm
= inst
.operands
[1].addr
.offset
.imm
;
428 unsigned int rn
= inst
.operands
[1].addr
.base_regno
;
430 = (aarch64_get_qualifier_esize (inst
.operands
[0].qualifier
) == 8);
431 gdb_assert (inst
.operands
[0].type
== AARCH64_OPND_Rt
432 || inst
.operands
[0].type
== AARCH64_OPND_Ft
);
434 if (inst
.operands
[0].type
== AARCH64_OPND_Ft
)
436 /* Only bottom 64-bit of each V register (D register) need
438 gdb_assert (inst
.operands
[0].qualifier
== AARCH64_OPND_QLF_S_D
);
439 rt
+= AARCH64_X_REGISTER_COUNT
;
442 stack
.store (pv_add_constant (regs
[rn
], imm
),
443 is64
? 8 : 4, regs
[rt
]);
444 if (inst
.operands
[1].addr
.writeback
)
445 regs
[rn
] = pv_add_constant (regs
[rn
], imm
);
447 else if (inst
.opcode
->iclass
== testbranch
)
449 /* Stop analysis on branch. */
456 debug_printf ("aarch64: prologue analysis gave up addr=%s"
458 core_addr_to_string_nz (start
), insn
);
467 if (pv_is_register (regs
[AARCH64_FP_REGNUM
], AARCH64_SP_REGNUM
))
469 /* Frame pointer is fp. Frame size is constant. */
470 cache
->framereg
= AARCH64_FP_REGNUM
;
471 cache
->framesize
= -regs
[AARCH64_FP_REGNUM
].k
;
473 else if (pv_is_register (regs
[AARCH64_SP_REGNUM
], AARCH64_SP_REGNUM
))
475 /* Try the stack pointer. */
476 cache
->framesize
= -regs
[AARCH64_SP_REGNUM
].k
;
477 cache
->framereg
= AARCH64_SP_REGNUM
;
481 /* We're just out of luck. We don't know where the frame is. */
482 cache
->framereg
= -1;
483 cache
->framesize
= 0;
486 for (i
= 0; i
< AARCH64_X_REGISTER_COUNT
; i
++)
490 if (stack
.find_reg (gdbarch
, i
, &offset
))
491 cache
->saved_regs
[i
].addr
= offset
;
494 for (i
= 0; i
< AARCH64_D_REGISTER_COUNT
; i
++)
496 int regnum
= gdbarch_num_regs (gdbarch
);
499 if (stack
.find_reg (gdbarch
, i
+ AARCH64_X_REGISTER_COUNT
,
501 cache
->saved_regs
[i
+ regnum
+ AARCH64_D0_REGNUM
].addr
= offset
;
508 aarch64_analyze_prologue (struct gdbarch
*gdbarch
,
509 CORE_ADDR start
, CORE_ADDR limit
,
510 struct aarch64_prologue_cache
*cache
)
512 instruction_reader reader
;
514 return aarch64_analyze_prologue (gdbarch
, start
, limit
, cache
,
520 namespace selftests
{
522 /* Instruction reader from manually cooked instruction sequences. */
524 class instruction_reader_test
: public abstract_instruction_reader
527 template<size_t SIZE
>
528 explicit instruction_reader_test (const uint32_t (&insns
)[SIZE
])
529 : m_insns (insns
), m_insns_size (SIZE
)
532 ULONGEST
read (CORE_ADDR memaddr
, int len
, enum bfd_endian byte_order
)
535 SELF_CHECK (len
== 4);
536 SELF_CHECK (memaddr
% 4 == 0);
537 SELF_CHECK (memaddr
/ 4 < m_insns_size
);
539 return m_insns
[memaddr
/ 4];
543 const uint32_t *m_insns
;
548 aarch64_analyze_prologue_test (void)
550 struct gdbarch_info info
;
552 gdbarch_info_init (&info
);
553 info
.bfd_arch_info
= bfd_scan_arch ("aarch64");
555 struct gdbarch
*gdbarch
= gdbarch_find_by_info (info
);
556 SELF_CHECK (gdbarch
!= NULL
);
558 /* Test the simple prologue in which frame pointer is used. */
560 struct aarch64_prologue_cache cache
;
561 cache
.saved_regs
= trad_frame_alloc_saved_regs (gdbarch
);
563 static const uint32_t insns
[] = {
564 0xa9af7bfd, /* stp x29, x30, [sp,#-272]! */
565 0x910003fd, /* mov x29, sp */
566 0x97ffffe6, /* bl 0x400580 */
568 instruction_reader_test
reader (insns
);
570 CORE_ADDR end
= aarch64_analyze_prologue (gdbarch
, 0, 128, &cache
, reader
);
571 SELF_CHECK (end
== 4 * 2);
573 SELF_CHECK (cache
.framereg
== AARCH64_FP_REGNUM
);
574 SELF_CHECK (cache
.framesize
== 272);
576 for (int i
= 0; i
< AARCH64_X_REGISTER_COUNT
; i
++)
578 if (i
== AARCH64_FP_REGNUM
)
579 SELF_CHECK (cache
.saved_regs
[i
].addr
== -272);
580 else if (i
== AARCH64_LR_REGNUM
)
581 SELF_CHECK (cache
.saved_regs
[i
].addr
== -264);
583 SELF_CHECK (cache
.saved_regs
[i
].addr
== -1);
586 for (int i
= 0; i
< AARCH64_D_REGISTER_COUNT
; i
++)
588 int regnum
= gdbarch_num_regs (gdbarch
);
590 SELF_CHECK (cache
.saved_regs
[i
+ regnum
+ AARCH64_D0_REGNUM
].addr
595 /* Test a prologue in which STR is used and frame pointer is not
598 struct aarch64_prologue_cache cache
;
599 cache
.saved_regs
= trad_frame_alloc_saved_regs (gdbarch
);
601 static const uint32_t insns
[] = {
602 0xf81d0ff3, /* str x19, [sp, #-48]! */
603 0xb9002fe0, /* str w0, [sp, #44] */
604 0xf90013e1, /* str x1, [sp, #32]*/
605 0xfd000fe0, /* str d0, [sp, #24] */
606 0xaa0203f3, /* mov x19, x2 */
607 0xf94013e0, /* ldr x0, [sp, #32] */
609 instruction_reader_test
reader (insns
);
611 CORE_ADDR end
= aarch64_analyze_prologue (gdbarch
, 0, 128, &cache
, reader
);
613 SELF_CHECK (end
== 4 * 5);
615 SELF_CHECK (cache
.framereg
== AARCH64_SP_REGNUM
);
616 SELF_CHECK (cache
.framesize
== 48);
618 for (int i
= 0; i
< AARCH64_X_REGISTER_COUNT
; i
++)
621 SELF_CHECK (cache
.saved_regs
[i
].addr
== -16);
623 SELF_CHECK (cache
.saved_regs
[i
].addr
== -48);
625 SELF_CHECK (cache
.saved_regs
[i
].addr
== -1);
628 for (int i
= 0; i
< AARCH64_D_REGISTER_COUNT
; i
++)
630 int regnum
= gdbarch_num_regs (gdbarch
);
633 SELF_CHECK (cache
.saved_regs
[i
+ regnum
+ AARCH64_D0_REGNUM
].addr
636 SELF_CHECK (cache
.saved_regs
[i
+ regnum
+ AARCH64_D0_REGNUM
].addr
641 } // namespace selftests
642 #endif /* GDB_SELF_TEST */
644 /* Implement the "skip_prologue" gdbarch method. */
647 aarch64_skip_prologue (struct gdbarch
*gdbarch
, CORE_ADDR pc
)
649 CORE_ADDR func_addr
, limit_pc
;
651 /* See if we can determine the end of the prologue via the symbol
652 table. If so, then return either PC, or the PC after the
653 prologue, whichever is greater. */
654 if (find_pc_partial_function (pc
, NULL
, &func_addr
, NULL
))
656 CORE_ADDR post_prologue_pc
657 = skip_prologue_using_sal (gdbarch
, func_addr
);
659 if (post_prologue_pc
!= 0)
660 return std::max (pc
, post_prologue_pc
);
663 /* Can't determine prologue from the symbol table, need to examine
666 /* Find an upper limit on the function prologue using the debug
667 information. If the debug information could not be used to
668 provide that bound, then use an arbitrary large number as the
670 limit_pc
= skip_prologue_using_sal (gdbarch
, pc
);
672 limit_pc
= pc
+ 128; /* Magic. */
674 /* Try disassembling prologue. */
675 return aarch64_analyze_prologue (gdbarch
, pc
, limit_pc
, NULL
);
678 /* Scan the function prologue for THIS_FRAME and populate the prologue
682 aarch64_scan_prologue (struct frame_info
*this_frame
,
683 struct aarch64_prologue_cache
*cache
)
685 CORE_ADDR block_addr
= get_frame_address_in_block (this_frame
);
686 CORE_ADDR prologue_start
;
687 CORE_ADDR prologue_end
;
688 CORE_ADDR prev_pc
= get_frame_pc (this_frame
);
689 struct gdbarch
*gdbarch
= get_frame_arch (this_frame
);
691 cache
->prev_pc
= prev_pc
;
693 /* Assume we do not find a frame. */
694 cache
->framereg
= -1;
695 cache
->framesize
= 0;
697 if (find_pc_partial_function (block_addr
, NULL
, &prologue_start
,
700 struct symtab_and_line sal
= find_pc_line (prologue_start
, 0);
704 /* No line info so use the current PC. */
705 prologue_end
= prev_pc
;
707 else if (sal
.end
< prologue_end
)
709 /* The next line begins after the function end. */
710 prologue_end
= sal
.end
;
713 prologue_end
= std::min (prologue_end
, prev_pc
);
714 aarch64_analyze_prologue (gdbarch
, prologue_start
, prologue_end
, cache
);
720 frame_loc
= get_frame_register_unsigned (this_frame
, AARCH64_FP_REGNUM
);
724 cache
->framereg
= AARCH64_FP_REGNUM
;
725 cache
->framesize
= 16;
726 cache
->saved_regs
[29].addr
= 0;
727 cache
->saved_regs
[30].addr
= 8;
731 /* Fill in *CACHE with information about the prologue of *THIS_FRAME. This
732 function may throw an exception if the inferior's registers or memory is
736 aarch64_make_prologue_cache_1 (struct frame_info
*this_frame
,
737 struct aarch64_prologue_cache
*cache
)
739 CORE_ADDR unwound_fp
;
742 aarch64_scan_prologue (this_frame
, cache
);
744 if (cache
->framereg
== -1)
747 unwound_fp
= get_frame_register_unsigned (this_frame
, cache
->framereg
);
751 cache
->prev_sp
= unwound_fp
+ cache
->framesize
;
753 /* Calculate actual addresses of saved registers using offsets
754 determined by aarch64_analyze_prologue. */
755 for (reg
= 0; reg
< gdbarch_num_regs (get_frame_arch (this_frame
)); reg
++)
756 if (trad_frame_addr_p (cache
->saved_regs
, reg
))
757 cache
->saved_regs
[reg
].addr
+= cache
->prev_sp
;
759 cache
->func
= get_frame_func (this_frame
);
761 cache
->available_p
= 1;
764 /* Allocate and fill in *THIS_CACHE with information about the prologue of
765 *THIS_FRAME. Do not do this is if *THIS_CACHE was already allocated.
766 Return a pointer to the current aarch64_prologue_cache in
769 static struct aarch64_prologue_cache
*
770 aarch64_make_prologue_cache (struct frame_info
*this_frame
, void **this_cache
)
772 struct aarch64_prologue_cache
*cache
;
774 if (*this_cache
!= NULL
)
775 return (struct aarch64_prologue_cache
*) *this_cache
;
777 cache
= FRAME_OBSTACK_ZALLOC (struct aarch64_prologue_cache
);
778 cache
->saved_regs
= trad_frame_alloc_saved_regs (this_frame
);
783 aarch64_make_prologue_cache_1 (this_frame
, cache
);
785 CATCH (ex
, RETURN_MASK_ERROR
)
787 if (ex
.error
!= NOT_AVAILABLE_ERROR
)
788 throw_exception (ex
);
795 /* Implement the "stop_reason" frame_unwind method. */
797 static enum unwind_stop_reason
798 aarch64_prologue_frame_unwind_stop_reason (struct frame_info
*this_frame
,
801 struct aarch64_prologue_cache
*cache
802 = aarch64_make_prologue_cache (this_frame
, this_cache
);
804 if (!cache
->available_p
)
805 return UNWIND_UNAVAILABLE
;
807 /* Halt the backtrace at "_start". */
808 if (cache
->prev_pc
<= gdbarch_tdep (get_frame_arch (this_frame
))->lowest_pc
)
809 return UNWIND_OUTERMOST
;
811 /* We've hit a wall, stop. */
812 if (cache
->prev_sp
== 0)
813 return UNWIND_OUTERMOST
;
815 return UNWIND_NO_REASON
;
818 /* Our frame ID for a normal frame is the current function's starting
819 PC and the caller's SP when we were called. */
822 aarch64_prologue_this_id (struct frame_info
*this_frame
,
823 void **this_cache
, struct frame_id
*this_id
)
825 struct aarch64_prologue_cache
*cache
826 = aarch64_make_prologue_cache (this_frame
, this_cache
);
828 if (!cache
->available_p
)
829 *this_id
= frame_id_build_unavailable_stack (cache
->func
);
831 *this_id
= frame_id_build (cache
->prev_sp
, cache
->func
);
834 /* Implement the "prev_register" frame_unwind method. */
836 static struct value
*
837 aarch64_prologue_prev_register (struct frame_info
*this_frame
,
838 void **this_cache
, int prev_regnum
)
840 struct aarch64_prologue_cache
*cache
841 = aarch64_make_prologue_cache (this_frame
, this_cache
);
843 /* If we are asked to unwind the PC, then we need to return the LR
844 instead. The prologue may save PC, but it will point into this
845 frame's prologue, not the next frame's resume location. */
846 if (prev_regnum
== AARCH64_PC_REGNUM
)
850 lr
= frame_unwind_register_unsigned (this_frame
, AARCH64_LR_REGNUM
);
851 return frame_unwind_got_constant (this_frame
, prev_regnum
, lr
);
854 /* SP is generally not saved to the stack, but this frame is
855 identified by the next frame's stack pointer at the time of the
856 call. The value was already reconstructed into PREV_SP. */
869 if (prev_regnum
== AARCH64_SP_REGNUM
)
870 return frame_unwind_got_constant (this_frame
, prev_regnum
,
873 return trad_frame_get_prev_register (this_frame
, cache
->saved_regs
,
877 /* AArch64 prologue unwinder. */
878 struct frame_unwind aarch64_prologue_unwind
=
881 aarch64_prologue_frame_unwind_stop_reason
,
882 aarch64_prologue_this_id
,
883 aarch64_prologue_prev_register
,
885 default_frame_sniffer
888 /* Allocate and fill in *THIS_CACHE with information about the prologue of
889 *THIS_FRAME. Do not do this is if *THIS_CACHE was already allocated.
890 Return a pointer to the current aarch64_prologue_cache in
893 static struct aarch64_prologue_cache
*
894 aarch64_make_stub_cache (struct frame_info
*this_frame
, void **this_cache
)
896 struct aarch64_prologue_cache
*cache
;
898 if (*this_cache
!= NULL
)
899 return (struct aarch64_prologue_cache
*) *this_cache
;
901 cache
= FRAME_OBSTACK_ZALLOC (struct aarch64_prologue_cache
);
902 cache
->saved_regs
= trad_frame_alloc_saved_regs (this_frame
);
907 cache
->prev_sp
= get_frame_register_unsigned (this_frame
,
909 cache
->prev_pc
= get_frame_pc (this_frame
);
910 cache
->available_p
= 1;
912 CATCH (ex
, RETURN_MASK_ERROR
)
914 if (ex
.error
!= NOT_AVAILABLE_ERROR
)
915 throw_exception (ex
);
922 /* Implement the "stop_reason" frame_unwind method. */
924 static enum unwind_stop_reason
925 aarch64_stub_frame_unwind_stop_reason (struct frame_info
*this_frame
,
928 struct aarch64_prologue_cache
*cache
929 = aarch64_make_stub_cache (this_frame
, this_cache
);
931 if (!cache
->available_p
)
932 return UNWIND_UNAVAILABLE
;
934 return UNWIND_NO_REASON
;
937 /* Our frame ID for a stub frame is the current SP and LR. */
940 aarch64_stub_this_id (struct frame_info
*this_frame
,
941 void **this_cache
, struct frame_id
*this_id
)
943 struct aarch64_prologue_cache
*cache
944 = aarch64_make_stub_cache (this_frame
, this_cache
);
946 if (cache
->available_p
)
947 *this_id
= frame_id_build (cache
->prev_sp
, cache
->prev_pc
);
949 *this_id
= frame_id_build_unavailable_stack (cache
->prev_pc
);
952 /* Implement the "sniffer" frame_unwind method. */
955 aarch64_stub_unwind_sniffer (const struct frame_unwind
*self
,
956 struct frame_info
*this_frame
,
957 void **this_prologue_cache
)
959 CORE_ADDR addr_in_block
;
962 addr_in_block
= get_frame_address_in_block (this_frame
);
963 if (in_plt_section (addr_in_block
)
964 /* We also use the stub winder if the target memory is unreadable
965 to avoid having the prologue unwinder trying to read it. */
966 || target_read_memory (get_frame_pc (this_frame
), dummy
, 4) != 0)
972 /* AArch64 stub unwinder. */
973 struct frame_unwind aarch64_stub_unwind
=
976 aarch64_stub_frame_unwind_stop_reason
,
977 aarch64_stub_this_id
,
978 aarch64_prologue_prev_register
,
980 aarch64_stub_unwind_sniffer
983 /* Return the frame base address of *THIS_FRAME. */
986 aarch64_normal_frame_base (struct frame_info
*this_frame
, void **this_cache
)
988 struct aarch64_prologue_cache
*cache
989 = aarch64_make_prologue_cache (this_frame
, this_cache
);
991 return cache
->prev_sp
- cache
->framesize
;
994 /* AArch64 default frame base information. */
995 struct frame_base aarch64_normal_base
=
997 &aarch64_prologue_unwind
,
998 aarch64_normal_frame_base
,
999 aarch64_normal_frame_base
,
1000 aarch64_normal_frame_base
1003 /* Assuming THIS_FRAME is a dummy, return the frame ID of that
1004 dummy frame. The frame ID's base needs to match the TOS value
1005 saved by save_dummy_frame_tos () and returned from
1006 aarch64_push_dummy_call, and the PC needs to match the dummy
1007 frame's breakpoint. */
1009 static struct frame_id
1010 aarch64_dummy_id (struct gdbarch
*gdbarch
, struct frame_info
*this_frame
)
1012 return frame_id_build (get_frame_register_unsigned (this_frame
,
1014 get_frame_pc (this_frame
));
1017 /* Implement the "unwind_pc" gdbarch method. */
1020 aarch64_unwind_pc (struct gdbarch
*gdbarch
, struct frame_info
*this_frame
)
1023 = frame_unwind_register_unsigned (this_frame
, AARCH64_PC_REGNUM
);
1028 /* Implement the "unwind_sp" gdbarch method. */
1031 aarch64_unwind_sp (struct gdbarch
*gdbarch
, struct frame_info
*this_frame
)
1033 return frame_unwind_register_unsigned (this_frame
, AARCH64_SP_REGNUM
);
1036 /* Return the value of the REGNUM register in the previous frame of
1039 static struct value
*
1040 aarch64_dwarf2_prev_register (struct frame_info
*this_frame
,
1041 void **this_cache
, int regnum
)
1047 case AARCH64_PC_REGNUM
:
1048 lr
= frame_unwind_register_unsigned (this_frame
, AARCH64_LR_REGNUM
);
1049 return frame_unwind_got_constant (this_frame
, regnum
, lr
);
1052 internal_error (__FILE__
, __LINE__
,
1053 _("Unexpected register %d"), regnum
);
1057 /* Implement the "init_reg" dwarf2_frame_ops method. */
1060 aarch64_dwarf2_frame_init_reg (struct gdbarch
*gdbarch
, int regnum
,
1061 struct dwarf2_frame_state_reg
*reg
,
1062 struct frame_info
*this_frame
)
1066 case AARCH64_PC_REGNUM
:
1067 reg
->how
= DWARF2_FRAME_REG_FN
;
1068 reg
->loc
.fn
= aarch64_dwarf2_prev_register
;
1070 case AARCH64_SP_REGNUM
:
1071 reg
->how
= DWARF2_FRAME_REG_CFA
;
1076 /* When arguments must be pushed onto the stack, they go on in reverse
1077 order. The code below implements a FILO (stack) to do this. */
1081 /* Value to pass on stack. It can be NULL if this item is for stack
1083 const gdb_byte
*data
;
1085 /* Size in bytes of value to pass on stack. */
1089 DEF_VEC_O (stack_item_t
);
1091 /* Return the alignment (in bytes) of the given type. */
1094 aarch64_type_align (struct type
*t
)
1100 t
= check_typedef (t
);
1101 switch (TYPE_CODE (t
))
1104 /* Should never happen. */
1105 internal_error (__FILE__
, __LINE__
, _("unknown type alignment"));
1109 case TYPE_CODE_ENUM
:
1113 case TYPE_CODE_RANGE
:
1114 case TYPE_CODE_BITSTRING
:
1116 case TYPE_CODE_RVALUE_REF
:
1117 case TYPE_CODE_CHAR
:
1118 case TYPE_CODE_BOOL
:
1119 return TYPE_LENGTH (t
);
1121 case TYPE_CODE_ARRAY
:
1122 if (TYPE_VECTOR (t
))
1124 /* Use the natural alignment for vector types (the same for
1125 scalar type), but the maximum alignment is 128-bit. */
1126 if (TYPE_LENGTH (t
) > 16)
1129 return TYPE_LENGTH (t
);
1132 return aarch64_type_align (TYPE_TARGET_TYPE (t
));
1133 case TYPE_CODE_COMPLEX
:
1134 return aarch64_type_align (TYPE_TARGET_TYPE (t
));
1136 case TYPE_CODE_STRUCT
:
1137 case TYPE_CODE_UNION
:
1139 for (n
= 0; n
< TYPE_NFIELDS (t
); n
++)
1141 falign
= aarch64_type_align (TYPE_FIELD_TYPE (t
, n
));
1149 /* Return 1 if *TY is a homogeneous floating-point aggregate or
1150 homogeneous short-vector aggregate as defined in the AAPCS64 ABI
1151 document; otherwise return 0. */
1154 is_hfa_or_hva (struct type
*ty
)
1156 switch (TYPE_CODE (ty
))
1158 case TYPE_CODE_ARRAY
:
1160 struct type
*target_ty
= TYPE_TARGET_TYPE (ty
);
1162 if (TYPE_VECTOR (ty
))
1165 if (TYPE_LENGTH (ty
) <= 4 /* HFA or HVA has at most 4 members. */
1166 && (TYPE_CODE (target_ty
) == TYPE_CODE_FLT
/* HFA */
1167 || (TYPE_CODE (target_ty
) == TYPE_CODE_ARRAY
/* HVA */
1168 && TYPE_VECTOR (target_ty
))))
1173 case TYPE_CODE_UNION
:
1174 case TYPE_CODE_STRUCT
:
1176 /* HFA or HVA has at most four members. */
1177 if (TYPE_NFIELDS (ty
) > 0 && TYPE_NFIELDS (ty
) <= 4)
1179 struct type
*member0_type
;
1181 member0_type
= check_typedef (TYPE_FIELD_TYPE (ty
, 0));
1182 if (TYPE_CODE (member0_type
) == TYPE_CODE_FLT
1183 || (TYPE_CODE (member0_type
) == TYPE_CODE_ARRAY
1184 && TYPE_VECTOR (member0_type
)))
1188 for (i
= 0; i
< TYPE_NFIELDS (ty
); i
++)
1190 struct type
*member1_type
;
1192 member1_type
= check_typedef (TYPE_FIELD_TYPE (ty
, i
));
1193 if (TYPE_CODE (member0_type
) != TYPE_CODE (member1_type
)
1194 || (TYPE_LENGTH (member0_type
)
1195 != TYPE_LENGTH (member1_type
)))
1211 /* AArch64 function call information structure. */
1212 struct aarch64_call_info
1214 /* the current argument number. */
1217 /* The next general purpose register number, equivalent to NGRN as
1218 described in the AArch64 Procedure Call Standard. */
1221 /* The next SIMD and floating point register number, equivalent to
1222 NSRN as described in the AArch64 Procedure Call Standard. */
1225 /* The next stacked argument address, equivalent to NSAA as
1226 described in the AArch64 Procedure Call Standard. */
1229 /* Stack item vector. */
1230 VEC(stack_item_t
) *si
;
1233 /* Pass a value in a sequence of consecutive X registers. The caller
1234 is responsbile for ensuring sufficient registers are available. */
1237 pass_in_x (struct gdbarch
*gdbarch
, struct regcache
*regcache
,
1238 struct aarch64_call_info
*info
, struct type
*type
,
1241 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
1242 int len
= TYPE_LENGTH (type
);
1243 enum type_code typecode
= TYPE_CODE (type
);
1244 int regnum
= AARCH64_X0_REGNUM
+ info
->ngrn
;
1245 const bfd_byte
*buf
= value_contents (arg
);
1251 int partial_len
= len
< X_REGISTER_SIZE
? len
: X_REGISTER_SIZE
;
1252 CORE_ADDR regval
= extract_unsigned_integer (buf
, partial_len
,
1256 /* Adjust sub-word struct/union args when big-endian. */
1257 if (byte_order
== BFD_ENDIAN_BIG
1258 && partial_len
< X_REGISTER_SIZE
1259 && (typecode
== TYPE_CODE_STRUCT
|| typecode
== TYPE_CODE_UNION
))
1260 regval
<<= ((X_REGISTER_SIZE
- partial_len
) * TARGET_CHAR_BIT
);
1264 debug_printf ("arg %d in %s = 0x%s\n", info
->argnum
,
1265 gdbarch_register_name (gdbarch
, regnum
),
1266 phex (regval
, X_REGISTER_SIZE
));
1268 regcache_cooked_write_unsigned (regcache
, regnum
, regval
);
1275 /* Attempt to marshall a value in a V register. Return 1 if
1276 successful, or 0 if insufficient registers are available. This
1277 function, unlike the equivalent pass_in_x() function does not
1278 handle arguments spread across multiple registers. */
1281 pass_in_v (struct gdbarch
*gdbarch
,
1282 struct regcache
*regcache
,
1283 struct aarch64_call_info
*info
,
1284 int len
, const bfd_byte
*buf
)
1288 int regnum
= AARCH64_V0_REGNUM
+ info
->nsrn
;
1289 gdb_byte reg
[V_REGISTER_SIZE
];
1294 memset (reg
, 0, sizeof (reg
));
1295 /* PCS C.1, the argument is allocated to the least significant
1296 bits of V register. */
1297 memcpy (reg
, buf
, len
);
1298 regcache
->cooked_write (regnum
, reg
);
1302 debug_printf ("arg %d in %s\n", info
->argnum
,
1303 gdbarch_register_name (gdbarch
, regnum
));
1311 /* Marshall an argument onto the stack. */
1314 pass_on_stack (struct aarch64_call_info
*info
, struct type
*type
,
1317 const bfd_byte
*buf
= value_contents (arg
);
1318 int len
= TYPE_LENGTH (type
);
1324 align
= aarch64_type_align (type
);
1326 /* PCS C.17 Stack should be aligned to the larger of 8 bytes or the
1327 Natural alignment of the argument's type. */
1328 align
= align_up (align
, 8);
1330 /* The AArch64 PCS requires at most doubleword alignment. */
1336 debug_printf ("arg %d len=%d @ sp + %d\n", info
->argnum
, len
,
1342 VEC_safe_push (stack_item_t
, info
->si
, &item
);
1345 if (info
->nsaa
& (align
- 1))
1347 /* Push stack alignment padding. */
1348 int pad
= align
- (info
->nsaa
& (align
- 1));
1353 VEC_safe_push (stack_item_t
, info
->si
, &item
);
1358 /* Marshall an argument into a sequence of one or more consecutive X
1359 registers or, if insufficient X registers are available then onto
1363 pass_in_x_or_stack (struct gdbarch
*gdbarch
, struct regcache
*regcache
,
1364 struct aarch64_call_info
*info
, struct type
*type
,
1367 int len
= TYPE_LENGTH (type
);
1368 int nregs
= (len
+ X_REGISTER_SIZE
- 1) / X_REGISTER_SIZE
;
1370 /* PCS C.13 - Pass in registers if we have enough spare */
1371 if (info
->ngrn
+ nregs
<= 8)
1373 pass_in_x (gdbarch
, regcache
, info
, type
, arg
);
1374 info
->ngrn
+= nregs
;
1379 pass_on_stack (info
, type
, arg
);
1383 /* Pass a value in a V register, or on the stack if insufficient are
1387 pass_in_v_or_stack (struct gdbarch
*gdbarch
,
1388 struct regcache
*regcache
,
1389 struct aarch64_call_info
*info
,
1393 if (!pass_in_v (gdbarch
, regcache
, info
, TYPE_LENGTH (type
),
1394 value_contents (arg
)))
1395 pass_on_stack (info
, type
, arg
);
1398 /* Implement the "push_dummy_call" gdbarch method. */
1401 aarch64_push_dummy_call (struct gdbarch
*gdbarch
, struct value
*function
,
1402 struct regcache
*regcache
, CORE_ADDR bp_addr
,
1404 struct value
**args
, CORE_ADDR sp
, int struct_return
,
1405 CORE_ADDR struct_addr
)
1408 struct aarch64_call_info info
;
1409 struct type
*func_type
;
1410 struct type
*return_type
;
1411 int lang_struct_return
;
1413 memset (&info
, 0, sizeof (info
));
1415 /* We need to know what the type of the called function is in order
1416 to determine the number of named/anonymous arguments for the
1417 actual argument placement, and the return type in order to handle
1418 return value correctly.
1420 The generic code above us views the decision of return in memory
1421 or return in registers as a two stage processes. The language
1422 handler is consulted first and may decide to return in memory (eg
1423 class with copy constructor returned by value), this will cause
1424 the generic code to allocate space AND insert an initial leading
1427 If the language code does not decide to pass in memory then the
1428 target code is consulted.
1430 If the language code decides to pass in memory we want to move
1431 the pointer inserted as the initial argument from the argument
1432 list and into X8, the conventional AArch64 struct return pointer
1435 This is slightly awkward, ideally the flag "lang_struct_return"
1436 would be passed to the targets implementation of push_dummy_call.
1437 Rather that change the target interface we call the language code
1438 directly ourselves. */
1440 func_type
= check_typedef (value_type (function
));
1442 /* Dereference function pointer types. */
1443 if (TYPE_CODE (func_type
) == TYPE_CODE_PTR
)
1444 func_type
= TYPE_TARGET_TYPE (func_type
);
1446 gdb_assert (TYPE_CODE (func_type
) == TYPE_CODE_FUNC
1447 || TYPE_CODE (func_type
) == TYPE_CODE_METHOD
);
1449 /* If language_pass_by_reference () returned true we will have been
1450 given an additional initial argument, a hidden pointer to the
1451 return slot in memory. */
1452 return_type
= TYPE_TARGET_TYPE (func_type
);
1453 lang_struct_return
= language_pass_by_reference (return_type
);
1455 /* Set the return address. For the AArch64, the return breakpoint
1456 is always at BP_ADDR. */
1457 regcache_cooked_write_unsigned (regcache
, AARCH64_LR_REGNUM
, bp_addr
);
1459 /* If we were given an initial argument for the return slot because
1460 lang_struct_return was true, lose it. */
1461 if (lang_struct_return
)
1467 /* The struct_return pointer occupies X8. */
1468 if (struct_return
|| lang_struct_return
)
1472 debug_printf ("struct return in %s = 0x%s\n",
1473 gdbarch_register_name (gdbarch
,
1474 AARCH64_STRUCT_RETURN_REGNUM
),
1475 paddress (gdbarch
, struct_addr
));
1477 regcache_cooked_write_unsigned (regcache
, AARCH64_STRUCT_RETURN_REGNUM
,
1481 for (argnum
= 0; argnum
< nargs
; argnum
++)
1483 struct value
*arg
= args
[argnum
];
1484 struct type
*arg_type
;
1487 arg_type
= check_typedef (value_type (arg
));
1488 len
= TYPE_LENGTH (arg_type
);
1490 switch (TYPE_CODE (arg_type
))
1493 case TYPE_CODE_BOOL
:
1494 case TYPE_CODE_CHAR
:
1495 case TYPE_CODE_RANGE
:
1496 case TYPE_CODE_ENUM
:
1499 /* Promote to 32 bit integer. */
1500 if (TYPE_UNSIGNED (arg_type
))
1501 arg_type
= builtin_type (gdbarch
)->builtin_uint32
;
1503 arg_type
= builtin_type (gdbarch
)->builtin_int32
;
1504 arg
= value_cast (arg_type
, arg
);
1506 pass_in_x_or_stack (gdbarch
, regcache
, &info
, arg_type
, arg
);
1509 case TYPE_CODE_COMPLEX
:
1512 const bfd_byte
*buf
= value_contents (arg
);
1513 struct type
*target_type
=
1514 check_typedef (TYPE_TARGET_TYPE (arg_type
));
1516 pass_in_v (gdbarch
, regcache
, &info
,
1517 TYPE_LENGTH (target_type
), buf
);
1518 pass_in_v (gdbarch
, regcache
, &info
,
1519 TYPE_LENGTH (target_type
),
1520 buf
+ TYPE_LENGTH (target_type
));
1525 pass_on_stack (&info
, arg_type
, arg
);
1529 pass_in_v_or_stack (gdbarch
, regcache
, &info
, arg_type
, arg
);
1532 case TYPE_CODE_STRUCT
:
1533 case TYPE_CODE_ARRAY
:
1534 case TYPE_CODE_UNION
:
1535 if (is_hfa_or_hva (arg_type
))
1537 int elements
= TYPE_NFIELDS (arg_type
);
1539 /* Homogeneous Aggregates */
1540 if (info
.nsrn
+ elements
< 8)
1544 for (i
= 0; i
< elements
; i
++)
1546 /* We know that we have sufficient registers
1547 available therefore this will never fallback
1549 struct value
*field
=
1550 value_primitive_field (arg
, 0, i
, arg_type
);
1551 struct type
*field_type
=
1552 check_typedef (value_type (field
));
1554 pass_in_v_or_stack (gdbarch
, regcache
, &info
,
1561 pass_on_stack (&info
, arg_type
, arg
);
1564 else if (TYPE_CODE (arg_type
) == TYPE_CODE_ARRAY
1565 && TYPE_VECTOR (arg_type
) && (len
== 16 || len
== 8))
1567 /* Short vector types are passed in V registers. */
1568 pass_in_v_or_stack (gdbarch
, regcache
, &info
, arg_type
, arg
);
1572 /* PCS B.7 Aggregates larger than 16 bytes are passed by
1573 invisible reference. */
1575 /* Allocate aligned storage. */
1576 sp
= align_down (sp
- len
, 16);
1578 /* Write the real data into the stack. */
1579 write_memory (sp
, value_contents (arg
), len
);
1581 /* Construct the indirection. */
1582 arg_type
= lookup_pointer_type (arg_type
);
1583 arg
= value_from_pointer (arg_type
, sp
);
1584 pass_in_x_or_stack (gdbarch
, regcache
, &info
, arg_type
, arg
);
1587 /* PCS C.15 / C.18 multiple values pass. */
1588 pass_in_x_or_stack (gdbarch
, regcache
, &info
, arg_type
, arg
);
1592 pass_in_x_or_stack (gdbarch
, regcache
, &info
, arg_type
, arg
);
1597 /* Make sure stack retains 16 byte alignment. */
1599 sp
-= 16 - (info
.nsaa
& 15);
1601 while (!VEC_empty (stack_item_t
, info
.si
))
1603 stack_item_t
*si
= VEC_last (stack_item_t
, info
.si
);
1606 if (si
->data
!= NULL
)
1607 write_memory (sp
, si
->data
, si
->len
);
1608 VEC_pop (stack_item_t
, info
.si
);
1611 VEC_free (stack_item_t
, info
.si
);
1613 /* Finally, update the SP register. */
1614 regcache_cooked_write_unsigned (regcache
, AARCH64_SP_REGNUM
, sp
);
1619 /* Implement the "frame_align" gdbarch method. */
1622 aarch64_frame_align (struct gdbarch
*gdbarch
, CORE_ADDR sp
)
1624 /* Align the stack to sixteen bytes. */
1625 return sp
& ~(CORE_ADDR
) 15;
1628 /* Return the type for an AdvSISD Q register. */
1630 static struct type
*
1631 aarch64_vnq_type (struct gdbarch
*gdbarch
)
1633 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1635 if (tdep
->vnq_type
== NULL
)
1640 t
= arch_composite_type (gdbarch
, "__gdb_builtin_type_vnq",
1643 elem
= builtin_type (gdbarch
)->builtin_uint128
;
1644 append_composite_type_field (t
, "u", elem
);
1646 elem
= builtin_type (gdbarch
)->builtin_int128
;
1647 append_composite_type_field (t
, "s", elem
);
1652 return tdep
->vnq_type
;
1655 /* Return the type for an AdvSISD D register. */
1657 static struct type
*
1658 aarch64_vnd_type (struct gdbarch
*gdbarch
)
1660 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1662 if (tdep
->vnd_type
== NULL
)
1667 t
= arch_composite_type (gdbarch
, "__gdb_builtin_type_vnd",
1670 elem
= builtin_type (gdbarch
)->builtin_double
;
1671 append_composite_type_field (t
, "f", elem
);
1673 elem
= builtin_type (gdbarch
)->builtin_uint64
;
1674 append_composite_type_field (t
, "u", elem
);
1676 elem
= builtin_type (gdbarch
)->builtin_int64
;
1677 append_composite_type_field (t
, "s", elem
);
1682 return tdep
->vnd_type
;
1685 /* Return the type for an AdvSISD S register. */
1687 static struct type
*
1688 aarch64_vns_type (struct gdbarch
*gdbarch
)
1690 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1692 if (tdep
->vns_type
== NULL
)
1697 t
= arch_composite_type (gdbarch
, "__gdb_builtin_type_vns",
1700 elem
= builtin_type (gdbarch
)->builtin_float
;
1701 append_composite_type_field (t
, "f", elem
);
1703 elem
= builtin_type (gdbarch
)->builtin_uint32
;
1704 append_composite_type_field (t
, "u", elem
);
1706 elem
= builtin_type (gdbarch
)->builtin_int32
;
1707 append_composite_type_field (t
, "s", elem
);
1712 return tdep
->vns_type
;
1715 /* Return the type for an AdvSISD H register. */
1717 static struct type
*
1718 aarch64_vnh_type (struct gdbarch
*gdbarch
)
1720 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1722 if (tdep
->vnh_type
== NULL
)
1727 t
= arch_composite_type (gdbarch
, "__gdb_builtin_type_vnh",
1730 elem
= builtin_type (gdbarch
)->builtin_uint16
;
1731 append_composite_type_field (t
, "u", elem
);
1733 elem
= builtin_type (gdbarch
)->builtin_int16
;
1734 append_composite_type_field (t
, "s", elem
);
1739 return tdep
->vnh_type
;
1742 /* Return the type for an AdvSISD B register. */
1744 static struct type
*
1745 aarch64_vnb_type (struct gdbarch
*gdbarch
)
1747 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1749 if (tdep
->vnb_type
== NULL
)
1754 t
= arch_composite_type (gdbarch
, "__gdb_builtin_type_vnb",
1757 elem
= builtin_type (gdbarch
)->builtin_uint8
;
1758 append_composite_type_field (t
, "u", elem
);
1760 elem
= builtin_type (gdbarch
)->builtin_int8
;
1761 append_composite_type_field (t
, "s", elem
);
1766 return tdep
->vnb_type
;
1769 /* Implement the "dwarf2_reg_to_regnum" gdbarch method. */
1772 aarch64_dwarf_reg_to_regnum (struct gdbarch
*gdbarch
, int reg
)
1774 if (reg
>= AARCH64_DWARF_X0
&& reg
<= AARCH64_DWARF_X0
+ 30)
1775 return AARCH64_X0_REGNUM
+ reg
- AARCH64_DWARF_X0
;
1777 if (reg
== AARCH64_DWARF_SP
)
1778 return AARCH64_SP_REGNUM
;
1780 if (reg
>= AARCH64_DWARF_V0
&& reg
<= AARCH64_DWARF_V0
+ 31)
1781 return AARCH64_V0_REGNUM
+ reg
- AARCH64_DWARF_V0
;
1787 /* Implement the "print_insn" gdbarch method. */
1790 aarch64_gdb_print_insn (bfd_vma memaddr
, disassemble_info
*info
)
1792 info
->symbols
= NULL
;
1793 return default_print_insn (memaddr
, info
);
1796 /* AArch64 BRK software debug mode instruction.
1797 Note that AArch64 code is always little-endian.
1798 1101.0100.0010.0000.0000.0000.0000.0000 = 0xd4200000. */
1799 constexpr gdb_byte aarch64_default_breakpoint
[] = {0x00, 0x00, 0x20, 0xd4};
1801 typedef BP_MANIPULATION (aarch64_default_breakpoint
) aarch64_breakpoint
;
1803 /* Extract from an array REGS containing the (raw) register state a
1804 function return value of type TYPE, and copy that, in virtual
1805 format, into VALBUF. */
1808 aarch64_extract_return_value (struct type
*type
, struct regcache
*regs
,
1811 struct gdbarch
*gdbarch
= regs
->arch ();
1812 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
1814 if (TYPE_CODE (type
) == TYPE_CODE_FLT
)
1816 bfd_byte buf
[V_REGISTER_SIZE
];
1817 int len
= TYPE_LENGTH (type
);
1819 regs
->cooked_read (AARCH64_V0_REGNUM
, buf
);
1820 memcpy (valbuf
, buf
, len
);
1822 else if (TYPE_CODE (type
) == TYPE_CODE_INT
1823 || TYPE_CODE (type
) == TYPE_CODE_CHAR
1824 || TYPE_CODE (type
) == TYPE_CODE_BOOL
1825 || TYPE_CODE (type
) == TYPE_CODE_PTR
1826 || TYPE_IS_REFERENCE (type
)
1827 || TYPE_CODE (type
) == TYPE_CODE_ENUM
)
1829 /* If the the type is a plain integer, then the access is
1830 straight-forward. Otherwise we have to play around a bit
1832 int len
= TYPE_LENGTH (type
);
1833 int regno
= AARCH64_X0_REGNUM
;
1838 /* By using store_unsigned_integer we avoid having to do
1839 anything special for small big-endian values. */
1840 regcache_cooked_read_unsigned (regs
, regno
++, &tmp
);
1841 store_unsigned_integer (valbuf
,
1842 (len
> X_REGISTER_SIZE
1843 ? X_REGISTER_SIZE
: len
), byte_order
, tmp
);
1844 len
-= X_REGISTER_SIZE
;
1845 valbuf
+= X_REGISTER_SIZE
;
1848 else if (TYPE_CODE (type
) == TYPE_CODE_COMPLEX
)
1850 int regno
= AARCH64_V0_REGNUM
;
1851 bfd_byte buf
[V_REGISTER_SIZE
];
1852 struct type
*target_type
= check_typedef (TYPE_TARGET_TYPE (type
));
1853 int len
= TYPE_LENGTH (target_type
);
1855 regs
->cooked_read (regno
, buf
);
1856 memcpy (valbuf
, buf
, len
);
1858 regs
->cooked_read (regno
+ 1, buf
);
1859 memcpy (valbuf
, buf
, len
);
1862 else if (is_hfa_or_hva (type
))
1864 int elements
= TYPE_NFIELDS (type
);
1865 struct type
*member_type
= check_typedef (TYPE_FIELD_TYPE (type
, 0));
1866 int len
= TYPE_LENGTH (member_type
);
1869 for (i
= 0; i
< elements
; i
++)
1871 int regno
= AARCH64_V0_REGNUM
+ i
;
1872 bfd_byte buf
[V_REGISTER_SIZE
];
1876 debug_printf ("read HFA or HVA return value element %d from %s\n",
1878 gdbarch_register_name (gdbarch
, regno
));
1880 regs
->cooked_read (regno
, buf
);
1882 memcpy (valbuf
, buf
, len
);
1886 else if (TYPE_CODE (type
) == TYPE_CODE_ARRAY
&& TYPE_VECTOR (type
)
1887 && (TYPE_LENGTH (type
) == 16 || TYPE_LENGTH (type
) == 8))
1889 /* Short vector is returned in V register. */
1890 gdb_byte buf
[V_REGISTER_SIZE
];
1892 regs
->cooked_read (AARCH64_V0_REGNUM
, buf
);
1893 memcpy (valbuf
, buf
, TYPE_LENGTH (type
));
1897 /* For a structure or union the behaviour is as if the value had
1898 been stored to word-aligned memory and then loaded into
1899 registers with 64-bit load instruction(s). */
1900 int len
= TYPE_LENGTH (type
);
1901 int regno
= AARCH64_X0_REGNUM
;
1902 bfd_byte buf
[X_REGISTER_SIZE
];
1906 regs
->cooked_read (regno
++, buf
);
1907 memcpy (valbuf
, buf
, len
> X_REGISTER_SIZE
? X_REGISTER_SIZE
: len
);
1908 len
-= X_REGISTER_SIZE
;
1909 valbuf
+= X_REGISTER_SIZE
;
1915 /* Will a function return an aggregate type in memory or in a
1916 register? Return 0 if an aggregate type can be returned in a
1917 register, 1 if it must be returned in memory. */
1920 aarch64_return_in_memory (struct gdbarch
*gdbarch
, struct type
*type
)
1922 type
= check_typedef (type
);
1924 if (is_hfa_or_hva (type
))
1926 /* v0-v7 are used to return values and one register is allocated
1927 for one member. However, HFA or HVA has at most four members. */
1931 if (TYPE_LENGTH (type
) > 16)
1933 /* PCS B.6 Aggregates larger than 16 bytes are passed by
1934 invisible reference. */
1942 /* Write into appropriate registers a function return value of type
1943 TYPE, given in virtual format. */
1946 aarch64_store_return_value (struct type
*type
, struct regcache
*regs
,
1947 const gdb_byte
*valbuf
)
1949 struct gdbarch
*gdbarch
= regs
->arch ();
1950 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
1952 if (TYPE_CODE (type
) == TYPE_CODE_FLT
)
1954 bfd_byte buf
[V_REGISTER_SIZE
];
1955 int len
= TYPE_LENGTH (type
);
1957 memcpy (buf
, valbuf
, len
> V_REGISTER_SIZE
? V_REGISTER_SIZE
: len
);
1958 regs
->cooked_write (AARCH64_V0_REGNUM
, buf
);
1960 else if (TYPE_CODE (type
) == TYPE_CODE_INT
1961 || TYPE_CODE (type
) == TYPE_CODE_CHAR
1962 || TYPE_CODE (type
) == TYPE_CODE_BOOL
1963 || TYPE_CODE (type
) == TYPE_CODE_PTR
1964 || TYPE_IS_REFERENCE (type
)
1965 || TYPE_CODE (type
) == TYPE_CODE_ENUM
)
1967 if (TYPE_LENGTH (type
) <= X_REGISTER_SIZE
)
1969 /* Values of one word or less are zero/sign-extended and
1971 bfd_byte tmpbuf
[X_REGISTER_SIZE
];
1972 LONGEST val
= unpack_long (type
, valbuf
);
1974 store_signed_integer (tmpbuf
, X_REGISTER_SIZE
, byte_order
, val
);
1975 regs
->cooked_write (AARCH64_X0_REGNUM
, tmpbuf
);
1979 /* Integral values greater than one word are stored in
1980 consecutive registers starting with r0. This will always
1981 be a multiple of the regiser size. */
1982 int len
= TYPE_LENGTH (type
);
1983 int regno
= AARCH64_X0_REGNUM
;
1987 regs
->cooked_write (regno
++, valbuf
);
1988 len
-= X_REGISTER_SIZE
;
1989 valbuf
+= X_REGISTER_SIZE
;
1993 else if (is_hfa_or_hva (type
))
1995 int elements
= TYPE_NFIELDS (type
);
1996 struct type
*member_type
= check_typedef (TYPE_FIELD_TYPE (type
, 0));
1997 int len
= TYPE_LENGTH (member_type
);
2000 for (i
= 0; i
< elements
; i
++)
2002 int regno
= AARCH64_V0_REGNUM
+ i
;
2003 bfd_byte tmpbuf
[V_REGISTER_SIZE
];
2007 debug_printf ("write HFA or HVA return value element %d to %s\n",
2009 gdbarch_register_name (gdbarch
, regno
));
2012 memcpy (tmpbuf
, valbuf
, len
);
2013 regs
->cooked_write (regno
, tmpbuf
);
2017 else if (TYPE_CODE (type
) == TYPE_CODE_ARRAY
&& TYPE_VECTOR (type
)
2018 && (TYPE_LENGTH (type
) == 8 || TYPE_LENGTH (type
) == 16))
2021 gdb_byte buf
[V_REGISTER_SIZE
];
2023 memcpy (buf
, valbuf
, TYPE_LENGTH (type
));
2024 regs
->cooked_write (AARCH64_V0_REGNUM
, buf
);
2028 /* For a structure or union the behaviour is as if the value had
2029 been stored to word-aligned memory and then loaded into
2030 registers with 64-bit load instruction(s). */
2031 int len
= TYPE_LENGTH (type
);
2032 int regno
= AARCH64_X0_REGNUM
;
2033 bfd_byte tmpbuf
[X_REGISTER_SIZE
];
2037 memcpy (tmpbuf
, valbuf
,
2038 len
> X_REGISTER_SIZE
? X_REGISTER_SIZE
: len
);
2039 regs
->cooked_write (regno
++, tmpbuf
);
2040 len
-= X_REGISTER_SIZE
;
2041 valbuf
+= X_REGISTER_SIZE
;
2046 /* Implement the "return_value" gdbarch method. */
2048 static enum return_value_convention
2049 aarch64_return_value (struct gdbarch
*gdbarch
, struct value
*func_value
,
2050 struct type
*valtype
, struct regcache
*regcache
,
2051 gdb_byte
*readbuf
, const gdb_byte
*writebuf
)
2054 if (TYPE_CODE (valtype
) == TYPE_CODE_STRUCT
2055 || TYPE_CODE (valtype
) == TYPE_CODE_UNION
2056 || TYPE_CODE (valtype
) == TYPE_CODE_ARRAY
)
2058 if (aarch64_return_in_memory (gdbarch
, valtype
))
2061 debug_printf ("return value in memory\n");
2062 return RETURN_VALUE_STRUCT_CONVENTION
;
2067 aarch64_store_return_value (valtype
, regcache
, writebuf
);
2070 aarch64_extract_return_value (valtype
, regcache
, readbuf
);
2073 debug_printf ("return value in registers\n");
2075 return RETURN_VALUE_REGISTER_CONVENTION
;
2078 /* Implement the "get_longjmp_target" gdbarch method. */
2081 aarch64_get_longjmp_target (struct frame_info
*frame
, CORE_ADDR
*pc
)
2084 gdb_byte buf
[X_REGISTER_SIZE
];
2085 struct gdbarch
*gdbarch
= get_frame_arch (frame
);
2086 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
2087 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
2089 jb_addr
= get_frame_register_unsigned (frame
, AARCH64_X0_REGNUM
);
2091 if (target_read_memory (jb_addr
+ tdep
->jb_pc
* tdep
->jb_elt_size
, buf
,
2095 *pc
= extract_unsigned_integer (buf
, X_REGISTER_SIZE
, byte_order
);
2099 /* Implement the "gen_return_address" gdbarch method. */
2102 aarch64_gen_return_address (struct gdbarch
*gdbarch
,
2103 struct agent_expr
*ax
, struct axs_value
*value
,
2106 value
->type
= register_type (gdbarch
, AARCH64_LR_REGNUM
);
2107 value
->kind
= axs_lvalue_register
;
2108 value
->u
.reg
= AARCH64_LR_REGNUM
;
2112 /* Return the pseudo register name corresponding to register regnum. */
2115 aarch64_pseudo_register_name (struct gdbarch
*gdbarch
, int regnum
)
2117 static const char *const q_name
[] =
2119 "q0", "q1", "q2", "q3",
2120 "q4", "q5", "q6", "q7",
2121 "q8", "q9", "q10", "q11",
2122 "q12", "q13", "q14", "q15",
2123 "q16", "q17", "q18", "q19",
2124 "q20", "q21", "q22", "q23",
2125 "q24", "q25", "q26", "q27",
2126 "q28", "q29", "q30", "q31",
2129 static const char *const d_name
[] =
2131 "d0", "d1", "d2", "d3",
2132 "d4", "d5", "d6", "d7",
2133 "d8", "d9", "d10", "d11",
2134 "d12", "d13", "d14", "d15",
2135 "d16", "d17", "d18", "d19",
2136 "d20", "d21", "d22", "d23",
2137 "d24", "d25", "d26", "d27",
2138 "d28", "d29", "d30", "d31",
2141 static const char *const s_name
[] =
2143 "s0", "s1", "s2", "s3",
2144 "s4", "s5", "s6", "s7",
2145 "s8", "s9", "s10", "s11",
2146 "s12", "s13", "s14", "s15",
2147 "s16", "s17", "s18", "s19",
2148 "s20", "s21", "s22", "s23",
2149 "s24", "s25", "s26", "s27",
2150 "s28", "s29", "s30", "s31",
2153 static const char *const h_name
[] =
2155 "h0", "h1", "h2", "h3",
2156 "h4", "h5", "h6", "h7",
2157 "h8", "h9", "h10", "h11",
2158 "h12", "h13", "h14", "h15",
2159 "h16", "h17", "h18", "h19",
2160 "h20", "h21", "h22", "h23",
2161 "h24", "h25", "h26", "h27",
2162 "h28", "h29", "h30", "h31",
2165 static const char *const b_name
[] =
2167 "b0", "b1", "b2", "b3",
2168 "b4", "b5", "b6", "b7",
2169 "b8", "b9", "b10", "b11",
2170 "b12", "b13", "b14", "b15",
2171 "b16", "b17", "b18", "b19",
2172 "b20", "b21", "b22", "b23",
2173 "b24", "b25", "b26", "b27",
2174 "b28", "b29", "b30", "b31",
2177 regnum
-= gdbarch_num_regs (gdbarch
);
2179 if (regnum
>= AARCH64_Q0_REGNUM
&& regnum
< AARCH64_Q0_REGNUM
+ 32)
2180 return q_name
[regnum
- AARCH64_Q0_REGNUM
];
2182 if (regnum
>= AARCH64_D0_REGNUM
&& regnum
< AARCH64_D0_REGNUM
+ 32)
2183 return d_name
[regnum
- AARCH64_D0_REGNUM
];
2185 if (regnum
>= AARCH64_S0_REGNUM
&& regnum
< AARCH64_S0_REGNUM
+ 32)
2186 return s_name
[regnum
- AARCH64_S0_REGNUM
];
2188 if (regnum
>= AARCH64_H0_REGNUM
&& regnum
< AARCH64_H0_REGNUM
+ 32)
2189 return h_name
[regnum
- AARCH64_H0_REGNUM
];
2191 if (regnum
>= AARCH64_B0_REGNUM
&& regnum
< AARCH64_B0_REGNUM
+ 32)
2192 return b_name
[regnum
- AARCH64_B0_REGNUM
];
2194 internal_error (__FILE__
, __LINE__
,
2195 _("aarch64_pseudo_register_name: bad register number %d"),
2199 /* Implement the "pseudo_register_type" tdesc_arch_data method. */
2201 static struct type
*
2202 aarch64_pseudo_register_type (struct gdbarch
*gdbarch
, int regnum
)
2204 regnum
-= gdbarch_num_regs (gdbarch
);
2206 if (regnum
>= AARCH64_Q0_REGNUM
&& regnum
< AARCH64_Q0_REGNUM
+ 32)
2207 return aarch64_vnq_type (gdbarch
);
2209 if (regnum
>= AARCH64_D0_REGNUM
&& regnum
< AARCH64_D0_REGNUM
+ 32)
2210 return aarch64_vnd_type (gdbarch
);
2212 if (regnum
>= AARCH64_S0_REGNUM
&& regnum
< AARCH64_S0_REGNUM
+ 32)
2213 return aarch64_vns_type (gdbarch
);
2215 if (regnum
>= AARCH64_H0_REGNUM
&& regnum
< AARCH64_H0_REGNUM
+ 32)
2216 return aarch64_vnh_type (gdbarch
);
2218 if (regnum
>= AARCH64_B0_REGNUM
&& regnum
< AARCH64_B0_REGNUM
+ 32)
2219 return aarch64_vnb_type (gdbarch
);
2221 internal_error (__FILE__
, __LINE__
,
2222 _("aarch64_pseudo_register_type: bad register number %d"),
2226 /* Implement the "pseudo_register_reggroup_p" tdesc_arch_data method. */
2229 aarch64_pseudo_register_reggroup_p (struct gdbarch
*gdbarch
, int regnum
,
2230 struct reggroup
*group
)
2232 regnum
-= gdbarch_num_regs (gdbarch
);
2234 if (regnum
>= AARCH64_Q0_REGNUM
&& regnum
< AARCH64_Q0_REGNUM
+ 32)
2235 return group
== all_reggroup
|| group
== vector_reggroup
;
2236 else if (regnum
>= AARCH64_D0_REGNUM
&& regnum
< AARCH64_D0_REGNUM
+ 32)
2237 return (group
== all_reggroup
|| group
== vector_reggroup
2238 || group
== float_reggroup
);
2239 else if (regnum
>= AARCH64_S0_REGNUM
&& regnum
< AARCH64_S0_REGNUM
+ 32)
2240 return (group
== all_reggroup
|| group
== vector_reggroup
2241 || group
== float_reggroup
);
2242 else if (regnum
>= AARCH64_H0_REGNUM
&& regnum
< AARCH64_H0_REGNUM
+ 32)
2243 return group
== all_reggroup
|| group
== vector_reggroup
;
2244 else if (regnum
>= AARCH64_B0_REGNUM
&& regnum
< AARCH64_B0_REGNUM
+ 32)
2245 return group
== all_reggroup
|| group
== vector_reggroup
;
2247 return group
== all_reggroup
;
2250 /* Implement the "pseudo_register_read_value" gdbarch method. */
2252 static struct value
*
2253 aarch64_pseudo_read_value (struct gdbarch
*gdbarch
,
2254 readable_regcache
*regcache
,
2257 gdb_byte reg_buf
[V_REGISTER_SIZE
];
2258 struct value
*result_value
;
2261 result_value
= allocate_value (register_type (gdbarch
, regnum
));
2262 VALUE_LVAL (result_value
) = lval_register
;
2263 VALUE_REGNUM (result_value
) = regnum
;
2264 buf
= value_contents_raw (result_value
);
2266 regnum
-= gdbarch_num_regs (gdbarch
);
2268 if (regnum
>= AARCH64_Q0_REGNUM
&& regnum
< AARCH64_Q0_REGNUM
+ 32)
2270 enum register_status status
;
2273 v_regnum
= AARCH64_V0_REGNUM
+ regnum
- AARCH64_Q0_REGNUM
;
2274 status
= regcache
->raw_read (v_regnum
, reg_buf
);
2275 if (status
!= REG_VALID
)
2276 mark_value_bytes_unavailable (result_value
, 0,
2277 TYPE_LENGTH (value_type (result_value
)));
2279 memcpy (buf
, reg_buf
, Q_REGISTER_SIZE
);
2280 return result_value
;
2283 if (regnum
>= AARCH64_D0_REGNUM
&& regnum
< AARCH64_D0_REGNUM
+ 32)
2285 enum register_status status
;
2288 v_regnum
= AARCH64_V0_REGNUM
+ regnum
- AARCH64_D0_REGNUM
;
2289 status
= regcache
->raw_read (v_regnum
, reg_buf
);
2290 if (status
!= REG_VALID
)
2291 mark_value_bytes_unavailable (result_value
, 0,
2292 TYPE_LENGTH (value_type (result_value
)));
2294 memcpy (buf
, reg_buf
, D_REGISTER_SIZE
);
2295 return result_value
;
2298 if (regnum
>= AARCH64_S0_REGNUM
&& regnum
< AARCH64_S0_REGNUM
+ 32)
2300 enum register_status status
;
2303 v_regnum
= AARCH64_V0_REGNUM
+ regnum
- AARCH64_S0_REGNUM
;
2304 status
= regcache
->raw_read (v_regnum
, reg_buf
);
2305 if (status
!= REG_VALID
)
2306 mark_value_bytes_unavailable (result_value
, 0,
2307 TYPE_LENGTH (value_type (result_value
)));
2309 memcpy (buf
, reg_buf
, S_REGISTER_SIZE
);
2310 return result_value
;
2313 if (regnum
>= AARCH64_H0_REGNUM
&& regnum
< AARCH64_H0_REGNUM
+ 32)
2315 enum register_status status
;
2318 v_regnum
= AARCH64_V0_REGNUM
+ regnum
- AARCH64_H0_REGNUM
;
2319 status
= regcache
->raw_read (v_regnum
, reg_buf
);
2320 if (status
!= REG_VALID
)
2321 mark_value_bytes_unavailable (result_value
, 0,
2322 TYPE_LENGTH (value_type (result_value
)));
2324 memcpy (buf
, reg_buf
, H_REGISTER_SIZE
);
2325 return result_value
;
2328 if (regnum
>= AARCH64_B0_REGNUM
&& regnum
< AARCH64_B0_REGNUM
+ 32)
2330 enum register_status status
;
2333 v_regnum
= AARCH64_V0_REGNUM
+ regnum
- AARCH64_B0_REGNUM
;
2334 status
= regcache
->raw_read (v_regnum
, reg_buf
);
2335 if (status
!= REG_VALID
)
2336 mark_value_bytes_unavailable (result_value
, 0,
2337 TYPE_LENGTH (value_type (result_value
)));
2339 memcpy (buf
, reg_buf
, B_REGISTER_SIZE
);
2340 return result_value
;
2343 gdb_assert_not_reached ("regnum out of bound");
2346 /* Implement the "pseudo_register_write" gdbarch method. */
2349 aarch64_pseudo_write (struct gdbarch
*gdbarch
, struct regcache
*regcache
,
2350 int regnum
, const gdb_byte
*buf
)
2352 gdb_byte reg_buf
[V_REGISTER_SIZE
];
2354 /* Ensure the register buffer is zero, we want gdb writes of the
2355 various 'scalar' pseudo registers to behavior like architectural
2356 writes, register width bytes are written the remainder are set to
2358 memset (reg_buf
, 0, sizeof (reg_buf
));
2360 regnum
-= gdbarch_num_regs (gdbarch
);
2362 if (regnum
>= AARCH64_Q0_REGNUM
&& regnum
< AARCH64_Q0_REGNUM
+ 32)
2364 /* pseudo Q registers */
2367 v_regnum
= AARCH64_V0_REGNUM
+ regnum
- AARCH64_Q0_REGNUM
;
2368 memcpy (reg_buf
, buf
, Q_REGISTER_SIZE
);
2369 regcache
->raw_write (v_regnum
, reg_buf
);
2373 if (regnum
>= AARCH64_D0_REGNUM
&& regnum
< AARCH64_D0_REGNUM
+ 32)
2375 /* pseudo D registers */
2378 v_regnum
= AARCH64_V0_REGNUM
+ regnum
- AARCH64_D0_REGNUM
;
2379 memcpy (reg_buf
, buf
, D_REGISTER_SIZE
);
2380 regcache
->raw_write (v_regnum
, reg_buf
);
2384 if (regnum
>= AARCH64_S0_REGNUM
&& regnum
< AARCH64_S0_REGNUM
+ 32)
2388 v_regnum
= AARCH64_V0_REGNUM
+ regnum
- AARCH64_S0_REGNUM
;
2389 memcpy (reg_buf
, buf
, S_REGISTER_SIZE
);
2390 regcache
->raw_write (v_regnum
, reg_buf
);
2394 if (regnum
>= AARCH64_H0_REGNUM
&& regnum
< AARCH64_H0_REGNUM
+ 32)
2396 /* pseudo H registers */
2399 v_regnum
= AARCH64_V0_REGNUM
+ regnum
- AARCH64_H0_REGNUM
;
2400 memcpy (reg_buf
, buf
, H_REGISTER_SIZE
);
2401 regcache
->raw_write (v_regnum
, reg_buf
);
2405 if (regnum
>= AARCH64_B0_REGNUM
&& regnum
< AARCH64_B0_REGNUM
+ 32)
2407 /* pseudo B registers */
2410 v_regnum
= AARCH64_V0_REGNUM
+ regnum
- AARCH64_B0_REGNUM
;
2411 memcpy (reg_buf
, buf
, B_REGISTER_SIZE
);
2412 regcache
->raw_write (v_regnum
, reg_buf
);
2416 gdb_assert_not_reached ("regnum out of bound");
2419 /* Callback function for user_reg_add. */
2421 static struct value
*
2422 value_of_aarch64_user_reg (struct frame_info
*frame
, const void *baton
)
2424 const int *reg_p
= (const int *) baton
;
2426 return value_of_register (*reg_p
, frame
);
2430 /* Implement the "software_single_step" gdbarch method, needed to
2431 single step through atomic sequences on AArch64. */
2433 static std::vector
<CORE_ADDR
>
2434 aarch64_software_single_step (struct regcache
*regcache
)
2436 struct gdbarch
*gdbarch
= regcache
->arch ();
2437 enum bfd_endian byte_order_for_code
= gdbarch_byte_order_for_code (gdbarch
);
2438 const int insn_size
= 4;
2439 const int atomic_sequence_length
= 16; /* Instruction sequence length. */
2440 CORE_ADDR pc
= regcache_read_pc (regcache
);
2441 CORE_ADDR breaks
[2] = { -1, -1 };
2443 CORE_ADDR closing_insn
= 0;
2444 uint32_t insn
= read_memory_unsigned_integer (loc
, insn_size
,
2445 byte_order_for_code
);
2448 int bc_insn_count
= 0; /* Conditional branch instruction count. */
2449 int last_breakpoint
= 0; /* Defaults to 0 (no breakpoints placed). */
2452 if (aarch64_decode_insn (insn
, &inst
, 1, NULL
) != 0)
2455 /* Look for a Load Exclusive instruction which begins the sequence. */
2456 if (inst
.opcode
->iclass
!= ldstexcl
|| bit (insn
, 22) == 0)
2459 for (insn_count
= 0; insn_count
< atomic_sequence_length
; ++insn_count
)
2462 insn
= read_memory_unsigned_integer (loc
, insn_size
,
2463 byte_order_for_code
);
2465 if (aarch64_decode_insn (insn
, &inst
, 1, NULL
) != 0)
2467 /* Check if the instruction is a conditional branch. */
2468 if (inst
.opcode
->iclass
== condbranch
)
2470 gdb_assert (inst
.operands
[0].type
== AARCH64_OPND_ADDR_PCREL19
);
2472 if (bc_insn_count
>= 1)
2475 /* It is, so we'll try to set a breakpoint at the destination. */
2476 breaks
[1] = loc
+ inst
.operands
[0].imm
.value
;
2482 /* Look for the Store Exclusive which closes the atomic sequence. */
2483 if (inst
.opcode
->iclass
== ldstexcl
&& bit (insn
, 22) == 0)
2490 /* We didn't find a closing Store Exclusive instruction, fall back. */
2494 /* Insert breakpoint after the end of the atomic sequence. */
2495 breaks
[0] = loc
+ insn_size
;
2497 /* Check for duplicated breakpoints, and also check that the second
2498 breakpoint is not within the atomic sequence. */
2500 && (breaks
[1] == breaks
[0]
2501 || (breaks
[1] >= pc
&& breaks
[1] <= closing_insn
)))
2502 last_breakpoint
= 0;
2504 std::vector
<CORE_ADDR
> next_pcs
;
2506 /* Insert the breakpoint at the end of the sequence, and one at the
2507 destination of the conditional branch, if it exists. */
2508 for (index
= 0; index
<= last_breakpoint
; index
++)
2509 next_pcs
.push_back (breaks
[index
]);
2514 struct aarch64_displaced_step_closure
: public displaced_step_closure
2516 /* It is true when condition instruction, such as B.CON, TBZ, etc,
2517 is being displaced stepping. */
2520 /* PC adjustment offset after displaced stepping. */
2521 int32_t pc_adjust
= 0;
2524 /* Data when visiting instructions for displaced stepping. */
2526 struct aarch64_displaced_step_data
2528 struct aarch64_insn_data base
;
2530 /* The address where the instruction will be executed at. */
2532 /* Buffer of instructions to be copied to NEW_ADDR to execute. */
2533 uint32_t insn_buf
[DISPLACED_MODIFIED_INSNS
];
2534 /* Number of instructions in INSN_BUF. */
2535 unsigned insn_count
;
2536 /* Registers when doing displaced stepping. */
2537 struct regcache
*regs
;
2539 aarch64_displaced_step_closure
*dsc
;
2542 /* Implementation of aarch64_insn_visitor method "b". */
2545 aarch64_displaced_step_b (const int is_bl
, const int32_t offset
,
2546 struct aarch64_insn_data
*data
)
2548 struct aarch64_displaced_step_data
*dsd
2549 = (struct aarch64_displaced_step_data
*) data
;
2550 int64_t new_offset
= data
->insn_addr
- dsd
->new_addr
+ offset
;
2552 if (can_encode_int32 (new_offset
, 28))
2554 /* Emit B rather than BL, because executing BL on a new address
2555 will get the wrong address into LR. In order to avoid this,
2556 we emit B, and update LR if the instruction is BL. */
2557 emit_b (dsd
->insn_buf
, 0, new_offset
);
2563 emit_nop (dsd
->insn_buf
);
2565 dsd
->dsc
->pc_adjust
= offset
;
2571 regcache_cooked_write_unsigned (dsd
->regs
, AARCH64_LR_REGNUM
,
2572 data
->insn_addr
+ 4);
2576 /* Implementation of aarch64_insn_visitor method "b_cond". */
2579 aarch64_displaced_step_b_cond (const unsigned cond
, const int32_t offset
,
2580 struct aarch64_insn_data
*data
)
2582 struct aarch64_displaced_step_data
*dsd
2583 = (struct aarch64_displaced_step_data
*) data
;
2585 /* GDB has to fix up PC after displaced step this instruction
2586 differently according to the condition is true or false. Instead
2587 of checking COND against conditional flags, we can use
2588 the following instructions, and GDB can tell how to fix up PC
2589 according to the PC value.
2591 B.COND TAKEN ; If cond is true, then jump to TAKEN.
2597 emit_bcond (dsd
->insn_buf
, cond
, 8);
2599 dsd
->dsc
->pc_adjust
= offset
;
2600 dsd
->insn_count
= 1;
2603 /* Dynamically allocate a new register. If we know the register
2604 statically, we should make it a global as above instead of using this
2607 static struct aarch64_register
2608 aarch64_register (unsigned num
, int is64
)
2610 return (struct aarch64_register
) { num
, is64
};
2613 /* Implementation of aarch64_insn_visitor method "cb". */
2616 aarch64_displaced_step_cb (const int32_t offset
, const int is_cbnz
,
2617 const unsigned rn
, int is64
,
2618 struct aarch64_insn_data
*data
)
2620 struct aarch64_displaced_step_data
*dsd
2621 = (struct aarch64_displaced_step_data
*) data
;
2623 /* The offset is out of range for a compare and branch
2624 instruction. We can use the following instructions instead:
2626 CBZ xn, TAKEN ; xn == 0, then jump to TAKEN.
2631 emit_cb (dsd
->insn_buf
, is_cbnz
, aarch64_register (rn
, is64
), 8);
2632 dsd
->insn_count
= 1;
2634 dsd
->dsc
->pc_adjust
= offset
;
2637 /* Implementation of aarch64_insn_visitor method "tb". */
2640 aarch64_displaced_step_tb (const int32_t offset
, int is_tbnz
,
2641 const unsigned rt
, unsigned bit
,
2642 struct aarch64_insn_data
*data
)
2644 struct aarch64_displaced_step_data
*dsd
2645 = (struct aarch64_displaced_step_data
*) data
;
2647 /* The offset is out of range for a test bit and branch
2648 instruction We can use the following instructions instead:
2650 TBZ xn, #bit, TAKEN ; xn[bit] == 0, then jump to TAKEN.
2656 emit_tb (dsd
->insn_buf
, is_tbnz
, bit
, aarch64_register (rt
, 1), 8);
2657 dsd
->insn_count
= 1;
2659 dsd
->dsc
->pc_adjust
= offset
;
2662 /* Implementation of aarch64_insn_visitor method "adr". */
2665 aarch64_displaced_step_adr (const int32_t offset
, const unsigned rd
,
2666 const int is_adrp
, struct aarch64_insn_data
*data
)
2668 struct aarch64_displaced_step_data
*dsd
2669 = (struct aarch64_displaced_step_data
*) data
;
2670 /* We know exactly the address the ADR{P,} instruction will compute.
2671 We can just write it to the destination register. */
2672 CORE_ADDR address
= data
->insn_addr
+ offset
;
2676 /* Clear the lower 12 bits of the offset to get the 4K page. */
2677 regcache_cooked_write_unsigned (dsd
->regs
, AARCH64_X0_REGNUM
+ rd
,
2681 regcache_cooked_write_unsigned (dsd
->regs
, AARCH64_X0_REGNUM
+ rd
,
2684 dsd
->dsc
->pc_adjust
= 4;
2685 emit_nop (dsd
->insn_buf
);
2686 dsd
->insn_count
= 1;
2689 /* Implementation of aarch64_insn_visitor method "ldr_literal". */
2692 aarch64_displaced_step_ldr_literal (const int32_t offset
, const int is_sw
,
2693 const unsigned rt
, const int is64
,
2694 struct aarch64_insn_data
*data
)
2696 struct aarch64_displaced_step_data
*dsd
2697 = (struct aarch64_displaced_step_data
*) data
;
2698 CORE_ADDR address
= data
->insn_addr
+ offset
;
2699 struct aarch64_memory_operand zero
= { MEMORY_OPERAND_OFFSET
, 0 };
2701 regcache_cooked_write_unsigned (dsd
->regs
, AARCH64_X0_REGNUM
+ rt
,
2705 dsd
->insn_count
= emit_ldrsw (dsd
->insn_buf
, aarch64_register (rt
, 1),
2706 aarch64_register (rt
, 1), zero
);
2708 dsd
->insn_count
= emit_ldr (dsd
->insn_buf
, aarch64_register (rt
, is64
),
2709 aarch64_register (rt
, 1), zero
);
2711 dsd
->dsc
->pc_adjust
= 4;
2714 /* Implementation of aarch64_insn_visitor method "others". */
2717 aarch64_displaced_step_others (const uint32_t insn
,
2718 struct aarch64_insn_data
*data
)
2720 struct aarch64_displaced_step_data
*dsd
2721 = (struct aarch64_displaced_step_data
*) data
;
2723 aarch64_emit_insn (dsd
->insn_buf
, insn
);
2724 dsd
->insn_count
= 1;
2726 if ((insn
& 0xfffffc1f) == 0xd65f0000)
2729 dsd
->dsc
->pc_adjust
= 0;
2732 dsd
->dsc
->pc_adjust
= 4;
2735 static const struct aarch64_insn_visitor visitor
=
2737 aarch64_displaced_step_b
,
2738 aarch64_displaced_step_b_cond
,
2739 aarch64_displaced_step_cb
,
2740 aarch64_displaced_step_tb
,
2741 aarch64_displaced_step_adr
,
2742 aarch64_displaced_step_ldr_literal
,
2743 aarch64_displaced_step_others
,
2746 /* Implement the "displaced_step_copy_insn" gdbarch method. */
2748 struct displaced_step_closure
*
2749 aarch64_displaced_step_copy_insn (struct gdbarch
*gdbarch
,
2750 CORE_ADDR from
, CORE_ADDR to
,
2751 struct regcache
*regs
)
2753 enum bfd_endian byte_order_for_code
= gdbarch_byte_order_for_code (gdbarch
);
2754 uint32_t insn
= read_memory_unsigned_integer (from
, 4, byte_order_for_code
);
2755 struct aarch64_displaced_step_data dsd
;
2758 if (aarch64_decode_insn (insn
, &inst
, 1, NULL
) != 0)
2761 /* Look for a Load Exclusive instruction which begins the sequence. */
2762 if (inst
.opcode
->iclass
== ldstexcl
&& bit (insn
, 22))
2764 /* We can't displaced step atomic sequences. */
2768 std::unique_ptr
<aarch64_displaced_step_closure
> dsc
2769 (new aarch64_displaced_step_closure
);
2770 dsd
.base
.insn_addr
= from
;
2773 dsd
.dsc
= dsc
.get ();
2775 aarch64_relocate_instruction (insn
, &visitor
,
2776 (struct aarch64_insn_data
*) &dsd
);
2777 gdb_assert (dsd
.insn_count
<= DISPLACED_MODIFIED_INSNS
);
2779 if (dsd
.insn_count
!= 0)
2783 /* Instruction can be relocated to scratch pad. Copy
2784 relocated instruction(s) there. */
2785 for (i
= 0; i
< dsd
.insn_count
; i
++)
2787 if (debug_displaced
)
2789 debug_printf ("displaced: writing insn ");
2790 debug_printf ("%.8x", dsd
.insn_buf
[i
]);
2791 debug_printf (" at %s\n", paddress (gdbarch
, to
+ i
* 4));
2793 write_memory_unsigned_integer (to
+ i
* 4, 4, byte_order_for_code
,
2794 (ULONGEST
) dsd
.insn_buf
[i
]);
2802 return dsc
.release ();
2805 /* Implement the "displaced_step_fixup" gdbarch method. */
2808 aarch64_displaced_step_fixup (struct gdbarch
*gdbarch
,
2809 struct displaced_step_closure
*dsc_
,
2810 CORE_ADDR from
, CORE_ADDR to
,
2811 struct regcache
*regs
)
2813 aarch64_displaced_step_closure
*dsc
= (aarch64_displaced_step_closure
*) dsc_
;
2819 regcache_cooked_read_unsigned (regs
, AARCH64_PC_REGNUM
, &pc
);
2822 /* Condition is true. */
2824 else if (pc
- to
== 4)
2826 /* Condition is false. */
2830 gdb_assert_not_reached ("Unexpected PC value after displaced stepping");
2833 if (dsc
->pc_adjust
!= 0)
2835 if (debug_displaced
)
2837 debug_printf ("displaced: fixup: set PC to %s:%d\n",
2838 paddress (gdbarch
, from
), dsc
->pc_adjust
);
2840 regcache_cooked_write_unsigned (regs
, AARCH64_PC_REGNUM
,
2841 from
+ dsc
->pc_adjust
);
2845 /* Implement the "displaced_step_hw_singlestep" gdbarch method. */
2848 aarch64_displaced_step_hw_singlestep (struct gdbarch
*gdbarch
,
2849 struct displaced_step_closure
*closure
)
2854 /* Get the correct target description for the given VQ value.
2855 If VQ is zero then it is assumed SVE is not supported.
2856 (It is not possible to set VQ to zero on an SVE system). */
2859 aarch64_read_description (long vq
)
2861 if (vq
> AARCH64_MAX_SVE_VQ
)
2862 error (_("VQ is %ld, maximum supported value is %d"), vq
,
2863 AARCH64_MAX_SVE_VQ
);
2865 struct target_desc
*tdesc
= tdesc_aarch64_list
[vq
];
2869 tdesc
= aarch64_create_target_description (vq
);
2870 tdesc_aarch64_list
[vq
] = tdesc
;
2876 /* Initialize the current architecture based on INFO. If possible,
2877 re-use an architecture from ARCHES, which is a list of
2878 architectures already created during this debugging session.
2880 Called e.g. at program startup, when reading a core file, and when
2881 reading a binary file. */
2883 static struct gdbarch
*
2884 aarch64_gdbarch_init (struct gdbarch_info info
, struct gdbarch_list
*arches
)
2886 struct gdbarch_tdep
*tdep
;
2887 struct gdbarch
*gdbarch
;
2888 struct gdbarch_list
*best_arch
;
2889 struct tdesc_arch_data
*tdesc_data
= NULL
;
2890 const struct target_desc
*tdesc
= info
.target_desc
;
2893 const struct tdesc_feature
*feature
;
2895 int num_pseudo_regs
= 0;
2897 /* Ensure we always have a target descriptor. */
2898 if (!tdesc_has_registers (tdesc
))
2900 /* SVE is not yet supported. */
2901 tdesc
= aarch64_read_description (0);
2906 feature
= tdesc_find_feature (tdesc
, "org.gnu.gdb.aarch64.core");
2908 if (feature
== NULL
)
2911 tdesc_data
= tdesc_data_alloc ();
2913 /* Validate the descriptor provides the mandatory core R registers
2914 and allocate their numbers. */
2915 for (i
= 0; i
< ARRAY_SIZE (aarch64_r_register_names
); i
++)
2917 tdesc_numbered_register (feature
, tdesc_data
, AARCH64_X0_REGNUM
+ i
,
2918 aarch64_r_register_names
[i
]);
2920 num_regs
= AARCH64_X0_REGNUM
+ i
;
2922 /* Look for the V registers. */
2923 feature
= tdesc_find_feature (tdesc
, "org.gnu.gdb.aarch64.fpu");
2926 /* Validate the descriptor provides the mandatory V registers
2927 and allocate their numbers. */
2928 for (i
= 0; i
< ARRAY_SIZE (aarch64_v_register_names
); i
++)
2930 tdesc_numbered_register (feature
, tdesc_data
, AARCH64_V0_REGNUM
+ i
,
2931 aarch64_v_register_names
[i
]);
2933 num_regs
= AARCH64_V0_REGNUM
+ i
;
2935 num_pseudo_regs
+= 32; /* add the Qn scalar register pseudos */
2936 num_pseudo_regs
+= 32; /* add the Dn scalar register pseudos */
2937 num_pseudo_regs
+= 32; /* add the Sn scalar register pseudos */
2938 num_pseudo_regs
+= 32; /* add the Hn scalar register pseudos */
2939 num_pseudo_regs
+= 32; /* add the Bn scalar register pseudos */
2944 tdesc_data_cleanup (tdesc_data
);
2948 /* AArch64 code is always little-endian. */
2949 info
.byte_order_for_code
= BFD_ENDIAN_LITTLE
;
2951 /* If there is already a candidate, use it. */
2952 for (best_arch
= gdbarch_list_lookup_by_info (arches
, &info
);
2954 best_arch
= gdbarch_list_lookup_by_info (best_arch
->next
, &info
))
2956 /* Found a match. */
2960 if (best_arch
!= NULL
)
2962 if (tdesc_data
!= NULL
)
2963 tdesc_data_cleanup (tdesc_data
);
2964 return best_arch
->gdbarch
;
2967 tdep
= XCNEW (struct gdbarch_tdep
);
2968 gdbarch
= gdbarch_alloc (&info
, tdep
);
2970 /* This should be low enough for everything. */
2971 tdep
->lowest_pc
= 0x20;
2972 tdep
->jb_pc
= -1; /* Longjump support not enabled by default. */
2973 tdep
->jb_elt_size
= 8;
2975 set_gdbarch_push_dummy_call (gdbarch
, aarch64_push_dummy_call
);
2976 set_gdbarch_frame_align (gdbarch
, aarch64_frame_align
);
2978 /* Frame handling. */
2979 set_gdbarch_dummy_id (gdbarch
, aarch64_dummy_id
);
2980 set_gdbarch_unwind_pc (gdbarch
, aarch64_unwind_pc
);
2981 set_gdbarch_unwind_sp (gdbarch
, aarch64_unwind_sp
);
2983 /* Advance PC across function entry code. */
2984 set_gdbarch_skip_prologue (gdbarch
, aarch64_skip_prologue
);
2986 /* The stack grows downward. */
2987 set_gdbarch_inner_than (gdbarch
, core_addr_lessthan
);
2989 /* Breakpoint manipulation. */
2990 set_gdbarch_breakpoint_kind_from_pc (gdbarch
,
2991 aarch64_breakpoint::kind_from_pc
);
2992 set_gdbarch_sw_breakpoint_from_kind (gdbarch
,
2993 aarch64_breakpoint::bp_from_kind
);
2994 set_gdbarch_have_nonsteppable_watchpoint (gdbarch
, 1);
2995 set_gdbarch_software_single_step (gdbarch
, aarch64_software_single_step
);
2997 /* Information about registers, etc. */
2998 set_gdbarch_sp_regnum (gdbarch
, AARCH64_SP_REGNUM
);
2999 set_gdbarch_pc_regnum (gdbarch
, AARCH64_PC_REGNUM
);
3000 set_gdbarch_num_regs (gdbarch
, num_regs
);
3002 set_gdbarch_num_pseudo_regs (gdbarch
, num_pseudo_regs
);
3003 set_gdbarch_pseudo_register_read_value (gdbarch
, aarch64_pseudo_read_value
);
3004 set_gdbarch_pseudo_register_write (gdbarch
, aarch64_pseudo_write
);
3005 set_tdesc_pseudo_register_name (gdbarch
, aarch64_pseudo_register_name
);
3006 set_tdesc_pseudo_register_type (gdbarch
, aarch64_pseudo_register_type
);
3007 set_tdesc_pseudo_register_reggroup_p (gdbarch
,
3008 aarch64_pseudo_register_reggroup_p
);
3011 set_gdbarch_short_bit (gdbarch
, 16);
3012 set_gdbarch_int_bit (gdbarch
, 32);
3013 set_gdbarch_float_bit (gdbarch
, 32);
3014 set_gdbarch_double_bit (gdbarch
, 64);
3015 set_gdbarch_long_double_bit (gdbarch
, 128);
3016 set_gdbarch_long_bit (gdbarch
, 64);
3017 set_gdbarch_long_long_bit (gdbarch
, 64);
3018 set_gdbarch_ptr_bit (gdbarch
, 64);
3019 set_gdbarch_char_signed (gdbarch
, 0);
3020 set_gdbarch_wchar_signed (gdbarch
, 0);
3021 set_gdbarch_float_format (gdbarch
, floatformats_ieee_single
);
3022 set_gdbarch_double_format (gdbarch
, floatformats_ieee_double
);
3023 set_gdbarch_long_double_format (gdbarch
, floatformats_ia64_quad
);
3025 /* Internal <-> external register number maps. */
3026 set_gdbarch_dwarf2_reg_to_regnum (gdbarch
, aarch64_dwarf_reg_to_regnum
);
3028 /* Returning results. */
3029 set_gdbarch_return_value (gdbarch
, aarch64_return_value
);
3032 set_gdbarch_print_insn (gdbarch
, aarch64_gdb_print_insn
);
3034 /* Virtual tables. */
3035 set_gdbarch_vbit_in_delta (gdbarch
, 1);
3037 /* Hook in the ABI-specific overrides, if they have been registered. */
3038 info
.target_desc
= tdesc
;
3039 info
.tdesc_data
= tdesc_data
;
3040 gdbarch_init_osabi (info
, gdbarch
);
3042 dwarf2_frame_set_init_reg (gdbarch
, aarch64_dwarf2_frame_init_reg
);
3044 /* Add some default predicates. */
3045 frame_unwind_append_unwinder (gdbarch
, &aarch64_stub_unwind
);
3046 dwarf2_append_unwinders (gdbarch
);
3047 frame_unwind_append_unwinder (gdbarch
, &aarch64_prologue_unwind
);
3049 frame_base_set_default (gdbarch
, &aarch64_normal_base
);
3051 /* Now we have tuned the configuration, set a few final things,
3052 based on what the OS ABI has told us. */
3054 if (tdep
->jb_pc
>= 0)
3055 set_gdbarch_get_longjmp_target (gdbarch
, aarch64_get_longjmp_target
);
3057 set_gdbarch_gen_return_address (gdbarch
, aarch64_gen_return_address
);
3059 tdesc_use_registers (gdbarch
, tdesc
, tdesc_data
);
3061 /* Add standard register aliases. */
3062 for (i
= 0; i
< ARRAY_SIZE (aarch64_register_aliases
); i
++)
3063 user_reg_add (gdbarch
, aarch64_register_aliases
[i
].name
,
3064 value_of_aarch64_user_reg
,
3065 &aarch64_register_aliases
[i
].regnum
);
3071 aarch64_dump_tdep (struct gdbarch
*gdbarch
, struct ui_file
*file
)
3073 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
3078 fprintf_unfiltered (file
, _("aarch64_dump_tdep: Lowest pc = 0x%s"),
3079 paddress (gdbarch
, tdep
->lowest_pc
));
3085 static void aarch64_process_record_test (void);
3090 _initialize_aarch64_tdep (void)
3092 gdbarch_register (bfd_arch_aarch64
, aarch64_gdbarch_init
,
3095 /* Debug this file's internals. */
3096 add_setshow_boolean_cmd ("aarch64", class_maintenance
, &aarch64_debug
, _("\
3097 Set AArch64 debugging."), _("\
3098 Show AArch64 debugging."), _("\
3099 When on, AArch64 specific debugging is enabled."),
3102 &setdebuglist
, &showdebuglist
);
3105 selftests::register_test ("aarch64-analyze-prologue",
3106 selftests::aarch64_analyze_prologue_test
);
3107 selftests::register_test ("aarch64-process-record",
3108 selftests::aarch64_process_record_test
);
3109 selftests::record_xml_tdesc ("aarch64.xml",
3110 aarch64_create_target_description (0));
3114 /* AArch64 process record-replay related structures, defines etc. */
3116 #define REG_ALLOC(REGS, LENGTH, RECORD_BUF) \
3119 unsigned int reg_len = LENGTH; \
3122 REGS = XNEWVEC (uint32_t, reg_len); \
3123 memcpy(®S[0], &RECORD_BUF[0], sizeof(uint32_t)*LENGTH); \
3128 #define MEM_ALLOC(MEMS, LENGTH, RECORD_BUF) \
3131 unsigned int mem_len = LENGTH; \
3134 MEMS = XNEWVEC (struct aarch64_mem_r, mem_len); \
3135 memcpy(&MEMS->len, &RECORD_BUF[0], \
3136 sizeof(struct aarch64_mem_r) * LENGTH); \
3141 /* AArch64 record/replay structures and enumerations. */
3143 struct aarch64_mem_r
3145 uint64_t len
; /* Record length. */
3146 uint64_t addr
; /* Memory address. */
3149 enum aarch64_record_result
3151 AARCH64_RECORD_SUCCESS
,
3152 AARCH64_RECORD_UNSUPPORTED
,
3153 AARCH64_RECORD_UNKNOWN
3156 typedef struct insn_decode_record_t
3158 struct gdbarch
*gdbarch
;
3159 struct regcache
*regcache
;
3160 CORE_ADDR this_addr
; /* Address of insn to be recorded. */
3161 uint32_t aarch64_insn
; /* Insn to be recorded. */
3162 uint32_t mem_rec_count
; /* Count of memory records. */
3163 uint32_t reg_rec_count
; /* Count of register records. */
3164 uint32_t *aarch64_regs
; /* Registers to be recorded. */
3165 struct aarch64_mem_r
*aarch64_mems
; /* Memory locations to be recorded. */
3166 } insn_decode_record
;
3168 /* Record handler for data processing - register instructions. */
3171 aarch64_record_data_proc_reg (insn_decode_record
*aarch64_insn_r
)
3173 uint8_t reg_rd
, insn_bits24_27
, insn_bits21_23
;
3174 uint32_t record_buf
[4];
3176 reg_rd
= bits (aarch64_insn_r
->aarch64_insn
, 0, 4);
3177 insn_bits24_27
= bits (aarch64_insn_r
->aarch64_insn
, 24, 27);
3178 insn_bits21_23
= bits (aarch64_insn_r
->aarch64_insn
, 21, 23);
3180 if (!bit (aarch64_insn_r
->aarch64_insn
, 28))
3184 /* Logical (shifted register). */
3185 if (insn_bits24_27
== 0x0a)
3186 setflags
= (bits (aarch64_insn_r
->aarch64_insn
, 29, 30) == 0x03);
3188 else if (insn_bits24_27
== 0x0b)
3189 setflags
= bit (aarch64_insn_r
->aarch64_insn
, 29);
3191 return AARCH64_RECORD_UNKNOWN
;
3193 record_buf
[0] = reg_rd
;
3194 aarch64_insn_r
->reg_rec_count
= 1;
3196 record_buf
[aarch64_insn_r
->reg_rec_count
++] = AARCH64_CPSR_REGNUM
;
3200 if (insn_bits24_27
== 0x0b)
3202 /* Data-processing (3 source). */
3203 record_buf
[0] = reg_rd
;
3204 aarch64_insn_r
->reg_rec_count
= 1;
3206 else if (insn_bits24_27
== 0x0a)
3208 if (insn_bits21_23
== 0x00)
3210 /* Add/subtract (with carry). */
3211 record_buf
[0] = reg_rd
;
3212 aarch64_insn_r
->reg_rec_count
= 1;
3213 if (bit (aarch64_insn_r
->aarch64_insn
, 29))
3215 record_buf
[1] = AARCH64_CPSR_REGNUM
;
3216 aarch64_insn_r
->reg_rec_count
= 2;
3219 else if (insn_bits21_23
== 0x02)
3221 /* Conditional compare (register) and conditional compare
3222 (immediate) instructions. */
3223 record_buf
[0] = AARCH64_CPSR_REGNUM
;
3224 aarch64_insn_r
->reg_rec_count
= 1;
3226 else if (insn_bits21_23
== 0x04 || insn_bits21_23
== 0x06)
3228 /* CConditional select. */
3229 /* Data-processing (2 source). */
3230 /* Data-processing (1 source). */
3231 record_buf
[0] = reg_rd
;
3232 aarch64_insn_r
->reg_rec_count
= 1;
3235 return AARCH64_RECORD_UNKNOWN
;
3239 REG_ALLOC (aarch64_insn_r
->aarch64_regs
, aarch64_insn_r
->reg_rec_count
,
3241 return AARCH64_RECORD_SUCCESS
;
3244 /* Record handler for data processing - immediate instructions. */
3247 aarch64_record_data_proc_imm (insn_decode_record
*aarch64_insn_r
)
3249 uint8_t reg_rd
, insn_bit23
, insn_bits24_27
, setflags
;
3250 uint32_t record_buf
[4];
3252 reg_rd
= bits (aarch64_insn_r
->aarch64_insn
, 0, 4);
3253 insn_bit23
= bit (aarch64_insn_r
->aarch64_insn
, 23);
3254 insn_bits24_27
= bits (aarch64_insn_r
->aarch64_insn
, 24, 27);
3256 if (insn_bits24_27
== 0x00 /* PC rel addressing. */
3257 || insn_bits24_27
== 0x03 /* Bitfield and Extract. */
3258 || (insn_bits24_27
== 0x02 && insn_bit23
)) /* Move wide (immediate). */
3260 record_buf
[0] = reg_rd
;
3261 aarch64_insn_r
->reg_rec_count
= 1;
3263 else if (insn_bits24_27
== 0x01)
3265 /* Add/Subtract (immediate). */
3266 setflags
= bit (aarch64_insn_r
->aarch64_insn
, 29);
3267 record_buf
[0] = reg_rd
;
3268 aarch64_insn_r
->reg_rec_count
= 1;
3270 record_buf
[aarch64_insn_r
->reg_rec_count
++] = AARCH64_CPSR_REGNUM
;
3272 else if (insn_bits24_27
== 0x02 && !insn_bit23
)
3274 /* Logical (immediate). */
3275 setflags
= bits (aarch64_insn_r
->aarch64_insn
, 29, 30) == 0x03;
3276 record_buf
[0] = reg_rd
;
3277 aarch64_insn_r
->reg_rec_count
= 1;
3279 record_buf
[aarch64_insn_r
->reg_rec_count
++] = AARCH64_CPSR_REGNUM
;
3282 return AARCH64_RECORD_UNKNOWN
;
3284 REG_ALLOC (aarch64_insn_r
->aarch64_regs
, aarch64_insn_r
->reg_rec_count
,
3286 return AARCH64_RECORD_SUCCESS
;
3289 /* Record handler for branch, exception generation and system instructions. */
3292 aarch64_record_branch_except_sys (insn_decode_record
*aarch64_insn_r
)
3294 struct gdbarch_tdep
*tdep
= gdbarch_tdep (aarch64_insn_r
->gdbarch
);
3295 uint8_t insn_bits24_27
, insn_bits28_31
, insn_bits22_23
;
3296 uint32_t record_buf
[4];
3298 insn_bits24_27
= bits (aarch64_insn_r
->aarch64_insn
, 24, 27);
3299 insn_bits28_31
= bits (aarch64_insn_r
->aarch64_insn
, 28, 31);
3300 insn_bits22_23
= bits (aarch64_insn_r
->aarch64_insn
, 22, 23);
3302 if (insn_bits28_31
== 0x0d)
3304 /* Exception generation instructions. */
3305 if (insn_bits24_27
== 0x04)
3307 if (!bits (aarch64_insn_r
->aarch64_insn
, 2, 4)
3308 && !bits (aarch64_insn_r
->aarch64_insn
, 21, 23)
3309 && bits (aarch64_insn_r
->aarch64_insn
, 0, 1) == 0x01)
3311 ULONGEST svc_number
;
3313 regcache_raw_read_unsigned (aarch64_insn_r
->regcache
, 8,
3315 return tdep
->aarch64_syscall_record (aarch64_insn_r
->regcache
,
3319 return AARCH64_RECORD_UNSUPPORTED
;
3321 /* System instructions. */
3322 else if (insn_bits24_27
== 0x05 && insn_bits22_23
== 0x00)
3324 uint32_t reg_rt
, reg_crn
;
3326 reg_rt
= bits (aarch64_insn_r
->aarch64_insn
, 0, 4);
3327 reg_crn
= bits (aarch64_insn_r
->aarch64_insn
, 12, 15);
3329 /* Record rt in case of sysl and mrs instructions. */
3330 if (bit (aarch64_insn_r
->aarch64_insn
, 21))
3332 record_buf
[0] = reg_rt
;
3333 aarch64_insn_r
->reg_rec_count
= 1;
3335 /* Record cpsr for hint and msr(immediate) instructions. */
3336 else if (reg_crn
== 0x02 || reg_crn
== 0x04)
3338 record_buf
[0] = AARCH64_CPSR_REGNUM
;
3339 aarch64_insn_r
->reg_rec_count
= 1;
3342 /* Unconditional branch (register). */
3343 else if((insn_bits24_27
& 0x0e) == 0x06)
3345 record_buf
[aarch64_insn_r
->reg_rec_count
++] = AARCH64_PC_REGNUM
;
3346 if (bits (aarch64_insn_r
->aarch64_insn
, 21, 22) == 0x01)
3347 record_buf
[aarch64_insn_r
->reg_rec_count
++] = AARCH64_LR_REGNUM
;
3350 return AARCH64_RECORD_UNKNOWN
;
3352 /* Unconditional branch (immediate). */
3353 else if ((insn_bits28_31
& 0x07) == 0x01 && (insn_bits24_27
& 0x0c) == 0x04)
3355 record_buf
[aarch64_insn_r
->reg_rec_count
++] = AARCH64_PC_REGNUM
;
3356 if (bit (aarch64_insn_r
->aarch64_insn
, 31))
3357 record_buf
[aarch64_insn_r
->reg_rec_count
++] = AARCH64_LR_REGNUM
;
3360 /* Compare & branch (immediate), Test & branch (immediate) and
3361 Conditional branch (immediate). */
3362 record_buf
[aarch64_insn_r
->reg_rec_count
++] = AARCH64_PC_REGNUM
;
3364 REG_ALLOC (aarch64_insn_r
->aarch64_regs
, aarch64_insn_r
->reg_rec_count
,
3366 return AARCH64_RECORD_SUCCESS
;
3369 /* Record handler for advanced SIMD load and store instructions. */
3372 aarch64_record_asimd_load_store (insn_decode_record
*aarch64_insn_r
)
3375 uint64_t addr_offset
= 0;
3376 uint32_t record_buf
[24];
3377 uint64_t record_buf_mem
[24];
3378 uint32_t reg_rn
, reg_rt
;
3379 uint32_t reg_index
= 0, mem_index
= 0;
3380 uint8_t opcode_bits
, size_bits
;
3382 reg_rt
= bits (aarch64_insn_r
->aarch64_insn
, 0, 4);
3383 reg_rn
= bits (aarch64_insn_r
->aarch64_insn
, 5, 9);
3384 size_bits
= bits (aarch64_insn_r
->aarch64_insn
, 10, 11);
3385 opcode_bits
= bits (aarch64_insn_r
->aarch64_insn
, 12, 15);
3386 regcache_raw_read_unsigned (aarch64_insn_r
->regcache
, reg_rn
, &address
);
3389 debug_printf ("Process record: Advanced SIMD load/store\n");
3391 /* Load/store single structure. */
3392 if (bit (aarch64_insn_r
->aarch64_insn
, 24))
3394 uint8_t sindex
, scale
, selem
, esize
, replicate
= 0;
3395 scale
= opcode_bits
>> 2;
3396 selem
= ((opcode_bits
& 0x02) |
3397 bit (aarch64_insn_r
->aarch64_insn
, 21)) + 1;
3401 if (size_bits
& 0x01)
3402 return AARCH64_RECORD_UNKNOWN
;
3405 if ((size_bits
>> 1) & 0x01)
3406 return AARCH64_RECORD_UNKNOWN
;
3407 if (size_bits
& 0x01)
3409 if (!((opcode_bits
>> 1) & 0x01))
3412 return AARCH64_RECORD_UNKNOWN
;
3416 if (bit (aarch64_insn_r
->aarch64_insn
, 22) && !(opcode_bits
& 0x01))
3423 return AARCH64_RECORD_UNKNOWN
;
3429 for (sindex
= 0; sindex
< selem
; sindex
++)
3431 record_buf
[reg_index
++] = reg_rt
+ AARCH64_V0_REGNUM
;
3432 reg_rt
= (reg_rt
+ 1) % 32;
3436 for (sindex
= 0; sindex
< selem
; sindex
++)
3438 if (bit (aarch64_insn_r
->aarch64_insn
, 22))
3439 record_buf
[reg_index
++] = reg_rt
+ AARCH64_V0_REGNUM
;
3442 record_buf_mem
[mem_index
++] = esize
/ 8;
3443 record_buf_mem
[mem_index
++] = address
+ addr_offset
;
3445 addr_offset
= addr_offset
+ (esize
/ 8);
3446 reg_rt
= (reg_rt
+ 1) % 32;
3450 /* Load/store multiple structure. */
3453 uint8_t selem
, esize
, rpt
, elements
;
3454 uint8_t eindex
, rindex
;
3456 esize
= 8 << size_bits
;
3457 if (bit (aarch64_insn_r
->aarch64_insn
, 30))
3458 elements
= 128 / esize
;
3460 elements
= 64 / esize
;
3462 switch (opcode_bits
)
3464 /*LD/ST4 (4 Registers). */
3469 /*LD/ST1 (4 Registers). */
3474 /*LD/ST3 (3 Registers). */
3479 /*LD/ST1 (3 Registers). */
3484 /*LD/ST1 (1 Register). */
3489 /*LD/ST2 (2 Registers). */
3494 /*LD/ST1 (2 Registers). */
3500 return AARCH64_RECORD_UNSUPPORTED
;
3503 for (rindex
= 0; rindex
< rpt
; rindex
++)
3504 for (eindex
= 0; eindex
< elements
; eindex
++)
3506 uint8_t reg_tt
, sindex
;
3507 reg_tt
= (reg_rt
+ rindex
) % 32;
3508 for (sindex
= 0; sindex
< selem
; sindex
++)
3510 if (bit (aarch64_insn_r
->aarch64_insn
, 22))
3511 record_buf
[reg_index
++] = reg_tt
+ AARCH64_V0_REGNUM
;
3514 record_buf_mem
[mem_index
++] = esize
/ 8;
3515 record_buf_mem
[mem_index
++] = address
+ addr_offset
;
3517 addr_offset
= addr_offset
+ (esize
/ 8);
3518 reg_tt
= (reg_tt
+ 1) % 32;
3523 if (bit (aarch64_insn_r
->aarch64_insn
, 23))
3524 record_buf
[reg_index
++] = reg_rn
;
3526 aarch64_insn_r
->reg_rec_count
= reg_index
;
3527 aarch64_insn_r
->mem_rec_count
= mem_index
/ 2;
3528 MEM_ALLOC (aarch64_insn_r
->aarch64_mems
, aarch64_insn_r
->mem_rec_count
,
3530 REG_ALLOC (aarch64_insn_r
->aarch64_regs
, aarch64_insn_r
->reg_rec_count
,
3532 return AARCH64_RECORD_SUCCESS
;
3535 /* Record handler for load and store instructions. */
3538 aarch64_record_load_store (insn_decode_record
*aarch64_insn_r
)
3540 uint8_t insn_bits24_27
, insn_bits28_29
, insn_bits10_11
;
3541 uint8_t insn_bit23
, insn_bit21
;
3542 uint8_t opc
, size_bits
, ld_flag
, vector_flag
;
3543 uint32_t reg_rn
, reg_rt
, reg_rt2
;
3544 uint64_t datasize
, offset
;
3545 uint32_t record_buf
[8];
3546 uint64_t record_buf_mem
[8];
3549 insn_bits10_11
= bits (aarch64_insn_r
->aarch64_insn
, 10, 11);
3550 insn_bits24_27
= bits (aarch64_insn_r
->aarch64_insn
, 24, 27);
3551 insn_bits28_29
= bits (aarch64_insn_r
->aarch64_insn
, 28, 29);
3552 insn_bit21
= bit (aarch64_insn_r
->aarch64_insn
, 21);
3553 insn_bit23
= bit (aarch64_insn_r
->aarch64_insn
, 23);
3554 ld_flag
= bit (aarch64_insn_r
->aarch64_insn
, 22);
3555 vector_flag
= bit (aarch64_insn_r
->aarch64_insn
, 26);
3556 reg_rt
= bits (aarch64_insn_r
->aarch64_insn
, 0, 4);
3557 reg_rn
= bits (aarch64_insn_r
->aarch64_insn
, 5, 9);
3558 reg_rt2
= bits (aarch64_insn_r
->aarch64_insn
, 10, 14);
3559 size_bits
= bits (aarch64_insn_r
->aarch64_insn
, 30, 31);
3561 /* Load/store exclusive. */
3562 if (insn_bits24_27
== 0x08 && insn_bits28_29
== 0x00)
3565 debug_printf ("Process record: load/store exclusive\n");
3569 record_buf
[0] = reg_rt
;
3570 aarch64_insn_r
->reg_rec_count
= 1;
3573 record_buf
[1] = reg_rt2
;
3574 aarch64_insn_r
->reg_rec_count
= 2;
3580 datasize
= (8 << size_bits
) * 2;
3582 datasize
= (8 << size_bits
);
3583 regcache_raw_read_unsigned (aarch64_insn_r
->regcache
, reg_rn
,
3585 record_buf_mem
[0] = datasize
/ 8;
3586 record_buf_mem
[1] = address
;
3587 aarch64_insn_r
->mem_rec_count
= 1;
3590 /* Save register rs. */
3591 record_buf
[0] = bits (aarch64_insn_r
->aarch64_insn
, 16, 20);
3592 aarch64_insn_r
->reg_rec_count
= 1;
3596 /* Load register (literal) instructions decoding. */
3597 else if ((insn_bits24_27
& 0x0b) == 0x08 && insn_bits28_29
== 0x01)
3600 debug_printf ("Process record: load register (literal)\n");
3602 record_buf
[0] = reg_rt
+ AARCH64_V0_REGNUM
;
3604 record_buf
[0] = reg_rt
;
3605 aarch64_insn_r
->reg_rec_count
= 1;
3607 /* All types of load/store pair instructions decoding. */
3608 else if ((insn_bits24_27
& 0x0a) == 0x08 && insn_bits28_29
== 0x02)
3611 debug_printf ("Process record: load/store pair\n");
3617 record_buf
[0] = reg_rt
+ AARCH64_V0_REGNUM
;
3618 record_buf
[1] = reg_rt2
+ AARCH64_V0_REGNUM
;
3622 record_buf
[0] = reg_rt
;
3623 record_buf
[1] = reg_rt2
;
3625 aarch64_insn_r
->reg_rec_count
= 2;
3630 imm7_off
= bits (aarch64_insn_r
->aarch64_insn
, 15, 21);
3632 size_bits
= size_bits
>> 1;
3633 datasize
= 8 << (2 + size_bits
);
3634 offset
= (imm7_off
& 0x40) ? (~imm7_off
& 0x007f) + 1 : imm7_off
;
3635 offset
= offset
<< (2 + size_bits
);
3636 regcache_raw_read_unsigned (aarch64_insn_r
->regcache
, reg_rn
,
3638 if (!((insn_bits24_27
& 0x0b) == 0x08 && insn_bit23
))
3640 if (imm7_off
& 0x40)
3641 address
= address
- offset
;
3643 address
= address
+ offset
;
3646 record_buf_mem
[0] = datasize
/ 8;
3647 record_buf_mem
[1] = address
;
3648 record_buf_mem
[2] = datasize
/ 8;
3649 record_buf_mem
[3] = address
+ (datasize
/ 8);
3650 aarch64_insn_r
->mem_rec_count
= 2;
3652 if (bit (aarch64_insn_r
->aarch64_insn
, 23))
3653 record_buf
[aarch64_insn_r
->reg_rec_count
++] = reg_rn
;
3655 /* Load/store register (unsigned immediate) instructions. */
3656 else if ((insn_bits24_27
& 0x0b) == 0x09 && insn_bits28_29
== 0x03)
3658 opc
= bits (aarch64_insn_r
->aarch64_insn
, 22, 23);
3668 if (size_bits
== 0x3 && vector_flag
== 0x0 && opc
== 0x2)
3670 /* PRFM (immediate) */
3671 return AARCH64_RECORD_SUCCESS
;
3673 else if (size_bits
== 0x2 && vector_flag
== 0x0 && opc
== 0x2)
3675 /* LDRSW (immediate) */
3689 debug_printf ("Process record: load/store (unsigned immediate):"
3690 " size %x V %d opc %x\n", size_bits
, vector_flag
,
3696 offset
= bits (aarch64_insn_r
->aarch64_insn
, 10, 21);
3697 datasize
= 8 << size_bits
;
3698 regcache_raw_read_unsigned (aarch64_insn_r
->regcache
, reg_rn
,
3700 offset
= offset
<< size_bits
;
3701 address
= address
+ offset
;
3703 record_buf_mem
[0] = datasize
>> 3;
3704 record_buf_mem
[1] = address
;
3705 aarch64_insn_r
->mem_rec_count
= 1;
3710 record_buf
[0] = reg_rt
+ AARCH64_V0_REGNUM
;
3712 record_buf
[0] = reg_rt
;
3713 aarch64_insn_r
->reg_rec_count
= 1;
3716 /* Load/store register (register offset) instructions. */
3717 else if ((insn_bits24_27
& 0x0b) == 0x08 && insn_bits28_29
== 0x03
3718 && insn_bits10_11
== 0x02 && insn_bit21
)
3721 debug_printf ("Process record: load/store (register offset)\n");
3722 opc
= bits (aarch64_insn_r
->aarch64_insn
, 22, 23);
3729 if (size_bits
!= 0x03)
3732 return AARCH64_RECORD_UNKNOWN
;
3736 ULONGEST reg_rm_val
;
3738 regcache_raw_read_unsigned (aarch64_insn_r
->regcache
,
3739 bits (aarch64_insn_r
->aarch64_insn
, 16, 20), ®_rm_val
);
3740 if (bit (aarch64_insn_r
->aarch64_insn
, 12))
3741 offset
= reg_rm_val
<< size_bits
;
3743 offset
= reg_rm_val
;
3744 datasize
= 8 << size_bits
;
3745 regcache_raw_read_unsigned (aarch64_insn_r
->regcache
, reg_rn
,
3747 address
= address
+ offset
;
3748 record_buf_mem
[0] = datasize
>> 3;
3749 record_buf_mem
[1] = address
;
3750 aarch64_insn_r
->mem_rec_count
= 1;
3755 record_buf
[0] = reg_rt
+ AARCH64_V0_REGNUM
;
3757 record_buf
[0] = reg_rt
;
3758 aarch64_insn_r
->reg_rec_count
= 1;
3761 /* Load/store register (immediate and unprivileged) instructions. */
3762 else if ((insn_bits24_27
& 0x0b) == 0x08 && insn_bits28_29
== 0x03
3767 debug_printf ("Process record: load/store "
3768 "(immediate and unprivileged)\n");
3770 opc
= bits (aarch64_insn_r
->aarch64_insn
, 22, 23);
3777 if (size_bits
!= 0x03)
3780 return AARCH64_RECORD_UNKNOWN
;
3785 imm9_off
= bits (aarch64_insn_r
->aarch64_insn
, 12, 20);
3786 offset
= (imm9_off
& 0x0100) ? (((~imm9_off
) & 0x01ff) + 1) : imm9_off
;
3787 datasize
= 8 << size_bits
;
3788 regcache_raw_read_unsigned (aarch64_insn_r
->regcache
, reg_rn
,
3790 if (insn_bits10_11
!= 0x01)
3792 if (imm9_off
& 0x0100)
3793 address
= address
- offset
;
3795 address
= address
+ offset
;
3797 record_buf_mem
[0] = datasize
>> 3;
3798 record_buf_mem
[1] = address
;
3799 aarch64_insn_r
->mem_rec_count
= 1;
3804 record_buf
[0] = reg_rt
+ AARCH64_V0_REGNUM
;
3806 record_buf
[0] = reg_rt
;
3807 aarch64_insn_r
->reg_rec_count
= 1;
3809 if (insn_bits10_11
== 0x01 || insn_bits10_11
== 0x03)
3810 record_buf
[aarch64_insn_r
->reg_rec_count
++] = reg_rn
;
3812 /* Advanced SIMD load/store instructions. */
3814 return aarch64_record_asimd_load_store (aarch64_insn_r
);
3816 MEM_ALLOC (aarch64_insn_r
->aarch64_mems
, aarch64_insn_r
->mem_rec_count
,
3818 REG_ALLOC (aarch64_insn_r
->aarch64_regs
, aarch64_insn_r
->reg_rec_count
,
3820 return AARCH64_RECORD_SUCCESS
;
3823 /* Record handler for data processing SIMD and floating point instructions. */
3826 aarch64_record_data_proc_simd_fp (insn_decode_record
*aarch64_insn_r
)
3828 uint8_t insn_bit21
, opcode
, rmode
, reg_rd
;
3829 uint8_t insn_bits24_27
, insn_bits28_31
, insn_bits10_11
, insn_bits12_15
;
3830 uint8_t insn_bits11_14
;
3831 uint32_t record_buf
[2];
3833 insn_bits24_27
= bits (aarch64_insn_r
->aarch64_insn
, 24, 27);
3834 insn_bits28_31
= bits (aarch64_insn_r
->aarch64_insn
, 28, 31);
3835 insn_bits10_11
= bits (aarch64_insn_r
->aarch64_insn
, 10, 11);
3836 insn_bits12_15
= bits (aarch64_insn_r
->aarch64_insn
, 12, 15);
3837 insn_bits11_14
= bits (aarch64_insn_r
->aarch64_insn
, 11, 14);
3838 opcode
= bits (aarch64_insn_r
->aarch64_insn
, 16, 18);
3839 rmode
= bits (aarch64_insn_r
->aarch64_insn
, 19, 20);
3840 reg_rd
= bits (aarch64_insn_r
->aarch64_insn
, 0, 4);
3841 insn_bit21
= bit (aarch64_insn_r
->aarch64_insn
, 21);
3844 debug_printf ("Process record: data processing SIMD/FP: ");
3846 if ((insn_bits28_31
& 0x05) == 0x01 && insn_bits24_27
== 0x0e)
3848 /* Floating point - fixed point conversion instructions. */
3852 debug_printf ("FP - fixed point conversion");
3854 if ((opcode
>> 1) == 0x0 && rmode
== 0x03)
3855 record_buf
[0] = reg_rd
;
3857 record_buf
[0] = reg_rd
+ AARCH64_V0_REGNUM
;
3859 /* Floating point - conditional compare instructions. */
3860 else if (insn_bits10_11
== 0x01)
3863 debug_printf ("FP - conditional compare");
3865 record_buf
[0] = AARCH64_CPSR_REGNUM
;
3867 /* Floating point - data processing (2-source) and
3868 conditional select instructions. */
3869 else if (insn_bits10_11
== 0x02 || insn_bits10_11
== 0x03)
3872 debug_printf ("FP - DP (2-source)");
3874 record_buf
[0] = reg_rd
+ AARCH64_V0_REGNUM
;
3876 else if (insn_bits10_11
== 0x00)
3878 /* Floating point - immediate instructions. */
3879 if ((insn_bits12_15
& 0x01) == 0x01
3880 || (insn_bits12_15
& 0x07) == 0x04)
3883 debug_printf ("FP - immediate");
3884 record_buf
[0] = reg_rd
+ AARCH64_V0_REGNUM
;
3886 /* Floating point - compare instructions. */
3887 else if ((insn_bits12_15
& 0x03) == 0x02)
3890 debug_printf ("FP - immediate");
3891 record_buf
[0] = AARCH64_CPSR_REGNUM
;
3893 /* Floating point - integer conversions instructions. */
3894 else if (insn_bits12_15
== 0x00)
3896 /* Convert float to integer instruction. */
3897 if (!(opcode
>> 1) || ((opcode
>> 1) == 0x02 && !rmode
))
3900 debug_printf ("float to int conversion");
3902 record_buf
[0] = reg_rd
+ AARCH64_X0_REGNUM
;
3904 /* Convert integer to float instruction. */
3905 else if ((opcode
>> 1) == 0x01 && !rmode
)
3908 debug_printf ("int to float conversion");
3910 record_buf
[0] = reg_rd
+ AARCH64_V0_REGNUM
;
3912 /* Move float to integer instruction. */
3913 else if ((opcode
>> 1) == 0x03)
3916 debug_printf ("move float to int");
3918 if (!(opcode
& 0x01))
3919 record_buf
[0] = reg_rd
+ AARCH64_X0_REGNUM
;
3921 record_buf
[0] = reg_rd
+ AARCH64_V0_REGNUM
;
3924 return AARCH64_RECORD_UNKNOWN
;
3927 return AARCH64_RECORD_UNKNOWN
;
3930 return AARCH64_RECORD_UNKNOWN
;
3932 else if ((insn_bits28_31
& 0x09) == 0x00 && insn_bits24_27
== 0x0e)
3935 debug_printf ("SIMD copy");
3937 /* Advanced SIMD copy instructions. */
3938 if (!bits (aarch64_insn_r
->aarch64_insn
, 21, 23)
3939 && !bit (aarch64_insn_r
->aarch64_insn
, 15)
3940 && bit (aarch64_insn_r
->aarch64_insn
, 10))
3942 if (insn_bits11_14
== 0x05 || insn_bits11_14
== 0x07)
3943 record_buf
[0] = reg_rd
+ AARCH64_X0_REGNUM
;
3945 record_buf
[0] = reg_rd
+ AARCH64_V0_REGNUM
;
3948 record_buf
[0] = reg_rd
+ AARCH64_V0_REGNUM
;
3950 /* All remaining floating point or advanced SIMD instructions. */
3954 debug_printf ("all remain");
3956 record_buf
[0] = reg_rd
+ AARCH64_V0_REGNUM
;
3960 debug_printf ("\n");
3962 aarch64_insn_r
->reg_rec_count
++;
3963 gdb_assert (aarch64_insn_r
->reg_rec_count
== 1);
3964 REG_ALLOC (aarch64_insn_r
->aarch64_regs
, aarch64_insn_r
->reg_rec_count
,
3966 return AARCH64_RECORD_SUCCESS
;
3969 /* Decodes insns type and invokes its record handler. */
3972 aarch64_record_decode_insn_handler (insn_decode_record
*aarch64_insn_r
)
3974 uint32_t ins_bit25
, ins_bit26
, ins_bit27
, ins_bit28
;
3976 ins_bit25
= bit (aarch64_insn_r
->aarch64_insn
, 25);
3977 ins_bit26
= bit (aarch64_insn_r
->aarch64_insn
, 26);
3978 ins_bit27
= bit (aarch64_insn_r
->aarch64_insn
, 27);
3979 ins_bit28
= bit (aarch64_insn_r
->aarch64_insn
, 28);
3981 /* Data processing - immediate instructions. */
3982 if (!ins_bit26
&& !ins_bit27
&& ins_bit28
)
3983 return aarch64_record_data_proc_imm (aarch64_insn_r
);
3985 /* Branch, exception generation and system instructions. */
3986 if (ins_bit26
&& !ins_bit27
&& ins_bit28
)
3987 return aarch64_record_branch_except_sys (aarch64_insn_r
);
3989 /* Load and store instructions. */
3990 if (!ins_bit25
&& ins_bit27
)
3991 return aarch64_record_load_store (aarch64_insn_r
);
3993 /* Data processing - register instructions. */
3994 if (ins_bit25
&& !ins_bit26
&& ins_bit27
)
3995 return aarch64_record_data_proc_reg (aarch64_insn_r
);
3997 /* Data processing - SIMD and floating point instructions. */
3998 if (ins_bit25
&& ins_bit26
&& ins_bit27
)
3999 return aarch64_record_data_proc_simd_fp (aarch64_insn_r
);
4001 return AARCH64_RECORD_UNSUPPORTED
;
4004 /* Cleans up local record registers and memory allocations. */
4007 deallocate_reg_mem (insn_decode_record
*record
)
4009 xfree (record
->aarch64_regs
);
4010 xfree (record
->aarch64_mems
);
4014 namespace selftests
{
4017 aarch64_process_record_test (void)
4019 struct gdbarch_info info
;
4022 gdbarch_info_init (&info
);
4023 info
.bfd_arch_info
= bfd_scan_arch ("aarch64");
4025 struct gdbarch
*gdbarch
= gdbarch_find_by_info (info
);
4026 SELF_CHECK (gdbarch
!= NULL
);
4028 insn_decode_record aarch64_record
;
4030 memset (&aarch64_record
, 0, sizeof (insn_decode_record
));
4031 aarch64_record
.regcache
= NULL
;
4032 aarch64_record
.this_addr
= 0;
4033 aarch64_record
.gdbarch
= gdbarch
;
4035 /* 20 00 80 f9 prfm pldl1keep, [x1] */
4036 aarch64_record
.aarch64_insn
= 0xf9800020;
4037 ret
= aarch64_record_decode_insn_handler (&aarch64_record
);
4038 SELF_CHECK (ret
== AARCH64_RECORD_SUCCESS
);
4039 SELF_CHECK (aarch64_record
.reg_rec_count
== 0);
4040 SELF_CHECK (aarch64_record
.mem_rec_count
== 0);
4042 deallocate_reg_mem (&aarch64_record
);
4045 } // namespace selftests
4046 #endif /* GDB_SELF_TEST */
4048 /* Parse the current instruction and record the values of the registers and
4049 memory that will be changed in current instruction to record_arch_list
4050 return -1 if something is wrong. */
4053 aarch64_process_record (struct gdbarch
*gdbarch
, struct regcache
*regcache
,
4054 CORE_ADDR insn_addr
)
4056 uint32_t rec_no
= 0;
4057 uint8_t insn_size
= 4;
4059 gdb_byte buf
[insn_size
];
4060 insn_decode_record aarch64_record
;
4062 memset (&buf
[0], 0, insn_size
);
4063 memset (&aarch64_record
, 0, sizeof (insn_decode_record
));
4064 target_read_memory (insn_addr
, &buf
[0], insn_size
);
4065 aarch64_record
.aarch64_insn
4066 = (uint32_t) extract_unsigned_integer (&buf
[0],
4068 gdbarch_byte_order (gdbarch
));
4069 aarch64_record
.regcache
= regcache
;
4070 aarch64_record
.this_addr
= insn_addr
;
4071 aarch64_record
.gdbarch
= gdbarch
;
4073 ret
= aarch64_record_decode_insn_handler (&aarch64_record
);
4074 if (ret
== AARCH64_RECORD_UNSUPPORTED
)
4076 printf_unfiltered (_("Process record does not support instruction "
4077 "0x%0x at address %s.\n"),
4078 aarch64_record
.aarch64_insn
,
4079 paddress (gdbarch
, insn_addr
));
4085 /* Record registers. */
4086 record_full_arch_list_add_reg (aarch64_record
.regcache
,
4088 /* Always record register CPSR. */
4089 record_full_arch_list_add_reg (aarch64_record
.regcache
,
4090 AARCH64_CPSR_REGNUM
);
4091 if (aarch64_record
.aarch64_regs
)
4092 for (rec_no
= 0; rec_no
< aarch64_record
.reg_rec_count
; rec_no
++)
4093 if (record_full_arch_list_add_reg (aarch64_record
.regcache
,
4094 aarch64_record
.aarch64_regs
[rec_no
]))
4097 /* Record memories. */
4098 if (aarch64_record
.aarch64_mems
)
4099 for (rec_no
= 0; rec_no
< aarch64_record
.mem_rec_count
; rec_no
++)
4100 if (record_full_arch_list_add_mem
4101 ((CORE_ADDR
)aarch64_record
.aarch64_mems
[rec_no
].addr
,
4102 aarch64_record
.aarch64_mems
[rec_no
].len
))
4105 if (record_full_arch_list_add_end ())
4109 deallocate_reg_mem (&aarch64_record
);