Fix mail address format of a couple recent ChangeLog entries
[deliverable/binutils-gdb.git] / gdb / amd64-tdep.c
CommitLineData
e53bef9f 1/* Target-dependent code for AMD64.
ce0eebec 2
32d0add0 3 Copyright (C) 2001-2015 Free Software Foundation, Inc.
5ae96ec1
MK
4
5 Contributed by Jiri Smid, SuSE Labs.
53e95fcf
JS
6
7 This file is part of GDB.
8
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
a9762ec7 11 the Free Software Foundation; either version 3 of the License, or
53e95fcf
JS
12 (at your option) any later version.
13
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
18
19 You should have received a copy of the GNU General Public License
a9762ec7 20 along with this program. If not, see <http://www.gnu.org/licenses/>. */
53e95fcf
JS
21
22#include "defs.h"
35669430
DE
23#include "opcode/i386.h"
24#include "dis-asm.h"
c4f35dd8
MK
25#include "arch-utils.h"
26#include "block.h"
27#include "dummy-frame.h"
28#include "frame.h"
29#include "frame-base.h"
30#include "frame-unwind.h"
53e95fcf 31#include "inferior.h"
45741a9c 32#include "infrun.h"
53e95fcf 33#include "gdbcmd.h"
c4f35dd8
MK
34#include "gdbcore.h"
35#include "objfiles.h"
53e95fcf 36#include "regcache.h"
2c261fae 37#include "regset.h"
53e95fcf 38#include "symfile.h"
eda5a4d7 39#include "disasm.h"
9c1488cb 40#include "amd64-tdep.h"
c4f35dd8 41#include "i387-tdep.h"
53e95fcf 42
90884b2b 43#include "features/i386/amd64.c"
a055a187 44#include "features/i386/amd64-avx.c"
e43e105e 45#include "features/i386/amd64-mpx.c"
01f9f808
MS
46#include "features/i386/amd64-avx512.c"
47
ac1438b5
L
48#include "features/i386/x32.c"
49#include "features/i386/x32-avx.c"
01f9f808 50#include "features/i386/x32-avx512.c"
90884b2b 51
6710bf39
SS
52#include "ax.h"
53#include "ax-gdb.h"
54
e53bef9f
MK
55/* Note that the AMD64 architecture was previously known as x86-64.
56 The latter is (forever) engraved into the canonical system name as
90f90721 57 returned by config.guess, and used as the name for the AMD64 port
e53bef9f
MK
58 of GNU/Linux. The BSD's have renamed their ports to amd64; they
59 don't like to shout. For GDB we prefer the amd64_-prefix over the
60 x86_64_-prefix since it's so much easier to type. */
61
402ecd56 62/* Register information. */
c4f35dd8 63
6707b003 64static const char *amd64_register_names[] =
de220d0f 65{
6707b003 66 "rax", "rbx", "rcx", "rdx", "rsi", "rdi", "rbp", "rsp",
c4f35dd8
MK
67
68 /* %r8 is indeed register number 8. */
6707b003
UW
69 "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15",
70 "rip", "eflags", "cs", "ss", "ds", "es", "fs", "gs",
c4f35dd8 71
af233647 72 /* %st0 is register number 24. */
6707b003
UW
73 "st0", "st1", "st2", "st3", "st4", "st5", "st6", "st7",
74 "fctrl", "fstat", "ftag", "fiseg", "fioff", "foseg", "fooff", "fop",
c4f35dd8 75
af233647 76 /* %xmm0 is register number 40. */
6707b003
UW
77 "xmm0", "xmm1", "xmm2", "xmm3", "xmm4", "xmm5", "xmm6", "xmm7",
78 "xmm8", "xmm9", "xmm10", "xmm11", "xmm12", "xmm13", "xmm14", "xmm15",
79 "mxcsr",
0e04a514
ML
80};
81
a055a187
L
82static const char *amd64_ymm_names[] =
83{
84 "ymm0", "ymm1", "ymm2", "ymm3",
85 "ymm4", "ymm5", "ymm6", "ymm7",
86 "ymm8", "ymm9", "ymm10", "ymm11",
87 "ymm12", "ymm13", "ymm14", "ymm15"
88};
89
01f9f808
MS
90static const char *amd64_ymm_avx512_names[] =
91{
92 "ymm16", "ymm17", "ymm18", "ymm19",
93 "ymm20", "ymm21", "ymm22", "ymm23",
94 "ymm24", "ymm25", "ymm26", "ymm27",
95 "ymm28", "ymm29", "ymm30", "ymm31"
96};
97
a055a187
L
98static const char *amd64_ymmh_names[] =
99{
100 "ymm0h", "ymm1h", "ymm2h", "ymm3h",
101 "ymm4h", "ymm5h", "ymm6h", "ymm7h",
102 "ymm8h", "ymm9h", "ymm10h", "ymm11h",
103 "ymm12h", "ymm13h", "ymm14h", "ymm15h"
104};
de220d0f 105
01f9f808
MS
106static const char *amd64_ymmh_avx512_names[] =
107{
108 "ymm16h", "ymm17h", "ymm18h", "ymm19h",
109 "ymm20h", "ymm21h", "ymm22h", "ymm23h",
110 "ymm24h", "ymm25h", "ymm26h", "ymm27h",
111 "ymm28h", "ymm29h", "ymm30h", "ymm31h"
112};
113
e43e105e
WT
114static const char *amd64_mpx_names[] =
115{
116 "bnd0raw", "bnd1raw", "bnd2raw", "bnd3raw", "bndcfgu", "bndstatus"
117};
118
01f9f808
MS
119static const char *amd64_k_names[] =
120{
121 "k0", "k1", "k2", "k3",
122 "k4", "k5", "k6", "k7"
123};
124
125static const char *amd64_zmmh_names[] =
126{
127 "zmm0h", "zmm1h", "zmm2h", "zmm3h",
128 "zmm4h", "zmm5h", "zmm6h", "zmm7h",
129 "zmm8h", "zmm9h", "zmm10h", "zmm11h",
130 "zmm12h", "zmm13h", "zmm14h", "zmm15h",
131 "zmm16h", "zmm17h", "zmm18h", "zmm19h",
132 "zmm20h", "zmm21h", "zmm22h", "zmm23h",
133 "zmm24h", "zmm25h", "zmm26h", "zmm27h",
134 "zmm28h", "zmm29h", "zmm30h", "zmm31h"
135};
136
137static const char *amd64_zmm_names[] =
138{
139 "zmm0", "zmm1", "zmm2", "zmm3",
140 "zmm4", "zmm5", "zmm6", "zmm7",
141 "zmm8", "zmm9", "zmm10", "zmm11",
142 "zmm12", "zmm13", "zmm14", "zmm15",
143 "zmm16", "zmm17", "zmm18", "zmm19",
144 "zmm20", "zmm21", "zmm22", "zmm23",
145 "zmm24", "zmm25", "zmm26", "zmm27",
146 "zmm28", "zmm29", "zmm30", "zmm31"
147};
148
149static const char *amd64_xmm_avx512_names[] = {
150 "xmm16", "xmm17", "xmm18", "xmm19",
151 "xmm20", "xmm21", "xmm22", "xmm23",
152 "xmm24", "xmm25", "xmm26", "xmm27",
153 "xmm28", "xmm29", "xmm30", "xmm31"
154};
155
c4f35dd8
MK
156/* DWARF Register Number Mapping as defined in the System V psABI,
157 section 3.6. */
53e95fcf 158
e53bef9f 159static int amd64_dwarf_regmap[] =
0e04a514 160{
c4f35dd8 161 /* General Purpose Registers RAX, RDX, RCX, RBX, RSI, RDI. */
90f90721
MK
162 AMD64_RAX_REGNUM, AMD64_RDX_REGNUM,
163 AMD64_RCX_REGNUM, AMD64_RBX_REGNUM,
164 AMD64_RSI_REGNUM, AMD64_RDI_REGNUM,
c4f35dd8
MK
165
166 /* Frame Pointer Register RBP. */
90f90721 167 AMD64_RBP_REGNUM,
c4f35dd8
MK
168
169 /* Stack Pointer Register RSP. */
90f90721 170 AMD64_RSP_REGNUM,
c4f35dd8
MK
171
172 /* Extended Integer Registers 8 - 15. */
5b856f36
PM
173 AMD64_R8_REGNUM, /* %r8 */
174 AMD64_R9_REGNUM, /* %r9 */
175 AMD64_R10_REGNUM, /* %r10 */
176 AMD64_R11_REGNUM, /* %r11 */
177 AMD64_R12_REGNUM, /* %r12 */
178 AMD64_R13_REGNUM, /* %r13 */
179 AMD64_R14_REGNUM, /* %r14 */
180 AMD64_R15_REGNUM, /* %r15 */
c4f35dd8 181
59207364 182 /* Return Address RA. Mapped to RIP. */
90f90721 183 AMD64_RIP_REGNUM,
c4f35dd8
MK
184
185 /* SSE Registers 0 - 7. */
90f90721
MK
186 AMD64_XMM0_REGNUM + 0, AMD64_XMM1_REGNUM,
187 AMD64_XMM0_REGNUM + 2, AMD64_XMM0_REGNUM + 3,
188 AMD64_XMM0_REGNUM + 4, AMD64_XMM0_REGNUM + 5,
189 AMD64_XMM0_REGNUM + 6, AMD64_XMM0_REGNUM + 7,
c4f35dd8
MK
190
191 /* Extended SSE Registers 8 - 15. */
90f90721
MK
192 AMD64_XMM0_REGNUM + 8, AMD64_XMM0_REGNUM + 9,
193 AMD64_XMM0_REGNUM + 10, AMD64_XMM0_REGNUM + 11,
194 AMD64_XMM0_REGNUM + 12, AMD64_XMM0_REGNUM + 13,
195 AMD64_XMM0_REGNUM + 14, AMD64_XMM0_REGNUM + 15,
c4f35dd8
MK
196
197 /* Floating Point Registers 0-7. */
90f90721
MK
198 AMD64_ST0_REGNUM + 0, AMD64_ST0_REGNUM + 1,
199 AMD64_ST0_REGNUM + 2, AMD64_ST0_REGNUM + 3,
200 AMD64_ST0_REGNUM + 4, AMD64_ST0_REGNUM + 5,
c6f4c129 201 AMD64_ST0_REGNUM + 6, AMD64_ST0_REGNUM + 7,
f7ca3fcf
PM
202
203 /* MMX Registers 0 - 7.
204 We have to handle those registers specifically, as their register
205 number within GDB depends on the target (or they may even not be
206 available at all). */
207 -1, -1, -1, -1, -1, -1, -1, -1,
208
c6f4c129
JB
209 /* Control and Status Flags Register. */
210 AMD64_EFLAGS_REGNUM,
211
212 /* Selector Registers. */
213 AMD64_ES_REGNUM,
214 AMD64_CS_REGNUM,
215 AMD64_SS_REGNUM,
216 AMD64_DS_REGNUM,
217 AMD64_FS_REGNUM,
218 AMD64_GS_REGNUM,
219 -1,
220 -1,
221
222 /* Segment Base Address Registers. */
223 -1,
224 -1,
225 -1,
226 -1,
227
228 /* Special Selector Registers. */
229 -1,
230 -1,
231
232 /* Floating Point Control Registers. */
233 AMD64_MXCSR_REGNUM,
234 AMD64_FCTRL_REGNUM,
235 AMD64_FSTAT_REGNUM
c4f35dd8 236};
0e04a514 237
e53bef9f
MK
238static const int amd64_dwarf_regmap_len =
239 (sizeof (amd64_dwarf_regmap) / sizeof (amd64_dwarf_regmap[0]));
0e04a514 240
c4f35dd8
MK
241/* Convert DWARF register number REG to the appropriate register
242 number used by GDB. */
26abbdc4 243
c4f35dd8 244static int
d3f73121 245amd64_dwarf_reg_to_regnum (struct gdbarch *gdbarch, int reg)
53e95fcf 246{
a055a187
L
247 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
248 int ymm0_regnum = tdep->ymm0_regnum;
c4f35dd8 249 int regnum = -1;
53e95fcf 250
16aff9a6 251 if (reg >= 0 && reg < amd64_dwarf_regmap_len)
e53bef9f 252 regnum = amd64_dwarf_regmap[reg];
53e95fcf 253
c4f35dd8 254 if (regnum == -1)
8a3fe4f8 255 warning (_("Unmapped DWARF Register #%d encountered."), reg);
a055a187
L
256 else if (ymm0_regnum >= 0
257 && i386_xmm_regnum_p (gdbarch, regnum))
258 regnum += ymm0_regnum - I387_XMM0_REGNUM (tdep);
c4f35dd8
MK
259
260 return regnum;
53e95fcf 261}
d532c08f 262
35669430
DE
263/* Map architectural register numbers to gdb register numbers. */
264
265static const int amd64_arch_regmap[16] =
266{
267 AMD64_RAX_REGNUM, /* %rax */
268 AMD64_RCX_REGNUM, /* %rcx */
269 AMD64_RDX_REGNUM, /* %rdx */
270 AMD64_RBX_REGNUM, /* %rbx */
271 AMD64_RSP_REGNUM, /* %rsp */
272 AMD64_RBP_REGNUM, /* %rbp */
273 AMD64_RSI_REGNUM, /* %rsi */
274 AMD64_RDI_REGNUM, /* %rdi */
275 AMD64_R8_REGNUM, /* %r8 */
276 AMD64_R9_REGNUM, /* %r9 */
277 AMD64_R10_REGNUM, /* %r10 */
278 AMD64_R11_REGNUM, /* %r11 */
279 AMD64_R12_REGNUM, /* %r12 */
280 AMD64_R13_REGNUM, /* %r13 */
281 AMD64_R14_REGNUM, /* %r14 */
282 AMD64_R15_REGNUM /* %r15 */
283};
284
285static const int amd64_arch_regmap_len =
286 (sizeof (amd64_arch_regmap) / sizeof (amd64_arch_regmap[0]));
287
288/* Convert architectural register number REG to the appropriate register
289 number used by GDB. */
290
291static int
292amd64_arch_reg_to_regnum (int reg)
293{
294 gdb_assert (reg >= 0 && reg < amd64_arch_regmap_len);
295
296 return amd64_arch_regmap[reg];
297}
298
1ba53b71
L
299/* Register names for byte pseudo-registers. */
300
301static const char *amd64_byte_names[] =
302{
303 "al", "bl", "cl", "dl", "sil", "dil", "bpl", "spl",
fe01d668
L
304 "r8l", "r9l", "r10l", "r11l", "r12l", "r13l", "r14l", "r15l",
305 "ah", "bh", "ch", "dh"
1ba53b71
L
306};
307
fe01d668
L
308/* Number of lower byte registers. */
309#define AMD64_NUM_LOWER_BYTE_REGS 16
310
1ba53b71
L
311/* Register names for word pseudo-registers. */
312
313static const char *amd64_word_names[] =
314{
9cad29ac 315 "ax", "bx", "cx", "dx", "si", "di", "bp", "",
1ba53b71
L
316 "r8w", "r9w", "r10w", "r11w", "r12w", "r13w", "r14w", "r15w"
317};
318
319/* Register names for dword pseudo-registers. */
320
321static const char *amd64_dword_names[] =
322{
323 "eax", "ebx", "ecx", "edx", "esi", "edi", "ebp", "esp",
fff4548b
MK
324 "r8d", "r9d", "r10d", "r11d", "r12d", "r13d", "r14d", "r15d",
325 "eip"
1ba53b71
L
326};
327
328/* Return the name of register REGNUM. */
329
330static const char *
331amd64_pseudo_register_name (struct gdbarch *gdbarch, int regnum)
332{
333 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
334 if (i386_byte_regnum_p (gdbarch, regnum))
335 return amd64_byte_names[regnum - tdep->al_regnum];
01f9f808
MS
336 else if (i386_zmm_regnum_p (gdbarch, regnum))
337 return amd64_zmm_names[regnum - tdep->zmm0_regnum];
a055a187
L
338 else if (i386_ymm_regnum_p (gdbarch, regnum))
339 return amd64_ymm_names[regnum - tdep->ymm0_regnum];
01f9f808
MS
340 else if (i386_ymm_avx512_regnum_p (gdbarch, regnum))
341 return amd64_ymm_avx512_names[regnum - tdep->ymm16_regnum];
1ba53b71
L
342 else if (i386_word_regnum_p (gdbarch, regnum))
343 return amd64_word_names[regnum - tdep->ax_regnum];
344 else if (i386_dword_regnum_p (gdbarch, regnum))
345 return amd64_dword_names[regnum - tdep->eax_regnum];
346 else
347 return i386_pseudo_register_name (gdbarch, regnum);
348}
349
3543a589
TT
350static struct value *
351amd64_pseudo_register_read_value (struct gdbarch *gdbarch,
352 struct regcache *regcache,
353 int regnum)
1ba53b71
L
354{
355 gdb_byte raw_buf[MAX_REGISTER_SIZE];
356 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
05d1431c 357 enum register_status status;
3543a589
TT
358 struct value *result_value;
359 gdb_byte *buf;
360
361 result_value = allocate_value (register_type (gdbarch, regnum));
362 VALUE_LVAL (result_value) = lval_register;
363 VALUE_REGNUM (result_value) = regnum;
364 buf = value_contents_raw (result_value);
1ba53b71
L
365
366 if (i386_byte_regnum_p (gdbarch, regnum))
367 {
368 int gpnum = regnum - tdep->al_regnum;
369
370 /* Extract (always little endian). */
fe01d668
L
371 if (gpnum >= AMD64_NUM_LOWER_BYTE_REGS)
372 {
373 /* Special handling for AH, BH, CH, DH. */
05d1431c
PA
374 status = regcache_raw_read (regcache,
375 gpnum - AMD64_NUM_LOWER_BYTE_REGS,
376 raw_buf);
377 if (status == REG_VALID)
378 memcpy (buf, raw_buf + 1, 1);
3543a589
TT
379 else
380 mark_value_bytes_unavailable (result_value, 0,
381 TYPE_LENGTH (value_type (result_value)));
fe01d668
L
382 }
383 else
384 {
05d1431c
PA
385 status = regcache_raw_read (regcache, gpnum, raw_buf);
386 if (status == REG_VALID)
387 memcpy (buf, raw_buf, 1);
3543a589
TT
388 else
389 mark_value_bytes_unavailable (result_value, 0,
390 TYPE_LENGTH (value_type (result_value)));
fe01d668 391 }
1ba53b71
L
392 }
393 else if (i386_dword_regnum_p (gdbarch, regnum))
394 {
395 int gpnum = regnum - tdep->eax_regnum;
396 /* Extract (always little endian). */
05d1431c
PA
397 status = regcache_raw_read (regcache, gpnum, raw_buf);
398 if (status == REG_VALID)
399 memcpy (buf, raw_buf, 4);
3543a589
TT
400 else
401 mark_value_bytes_unavailable (result_value, 0,
402 TYPE_LENGTH (value_type (result_value)));
1ba53b71
L
403 }
404 else
3543a589
TT
405 i386_pseudo_register_read_into_value (gdbarch, regcache, regnum,
406 result_value);
407
408 return result_value;
1ba53b71
L
409}
410
411static void
412amd64_pseudo_register_write (struct gdbarch *gdbarch,
413 struct regcache *regcache,
414 int regnum, const gdb_byte *buf)
415{
416 gdb_byte raw_buf[MAX_REGISTER_SIZE];
417 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
418
419 if (i386_byte_regnum_p (gdbarch, regnum))
420 {
421 int gpnum = regnum - tdep->al_regnum;
422
fe01d668
L
423 if (gpnum >= AMD64_NUM_LOWER_BYTE_REGS)
424 {
425 /* Read ... AH, BH, CH, DH. */
426 regcache_raw_read (regcache,
427 gpnum - AMD64_NUM_LOWER_BYTE_REGS, raw_buf);
428 /* ... Modify ... (always little endian). */
429 memcpy (raw_buf + 1, buf, 1);
430 /* ... Write. */
431 regcache_raw_write (regcache,
432 gpnum - AMD64_NUM_LOWER_BYTE_REGS, raw_buf);
433 }
434 else
435 {
436 /* Read ... */
437 regcache_raw_read (regcache, gpnum, raw_buf);
438 /* ... Modify ... (always little endian). */
439 memcpy (raw_buf, buf, 1);
440 /* ... Write. */
441 regcache_raw_write (regcache, gpnum, raw_buf);
442 }
1ba53b71
L
443 }
444 else if (i386_dword_regnum_p (gdbarch, regnum))
445 {
446 int gpnum = regnum - tdep->eax_regnum;
447
448 /* Read ... */
449 regcache_raw_read (regcache, gpnum, raw_buf);
450 /* ... Modify ... (always little endian). */
451 memcpy (raw_buf, buf, 4);
452 /* ... Write. */
453 regcache_raw_write (regcache, gpnum, raw_buf);
454 }
455 else
456 i386_pseudo_register_write (gdbarch, regcache, regnum, buf);
457}
458
53e95fcf
JS
459\f
460
bf4d6c1c
JB
461/* Register classes as defined in the psABI. */
462
463enum amd64_reg_class
464{
465 AMD64_INTEGER,
466 AMD64_SSE,
467 AMD64_SSEUP,
468 AMD64_X87,
469 AMD64_X87UP,
470 AMD64_COMPLEX_X87,
471 AMD64_NO_CLASS,
472 AMD64_MEMORY
473};
474
efb1c01c
MK
475/* Return the union class of CLASS1 and CLASS2. See the psABI for
476 details. */
477
478static enum amd64_reg_class
479amd64_merge_classes (enum amd64_reg_class class1, enum amd64_reg_class class2)
480{
481 /* Rule (a): If both classes are equal, this is the resulting class. */
482 if (class1 == class2)
483 return class1;
484
485 /* Rule (b): If one of the classes is NO_CLASS, the resulting class
486 is the other class. */
487 if (class1 == AMD64_NO_CLASS)
488 return class2;
489 if (class2 == AMD64_NO_CLASS)
490 return class1;
491
492 /* Rule (c): If one of the classes is MEMORY, the result is MEMORY. */
493 if (class1 == AMD64_MEMORY || class2 == AMD64_MEMORY)
494 return AMD64_MEMORY;
495
496 /* Rule (d): If one of the classes is INTEGER, the result is INTEGER. */
497 if (class1 == AMD64_INTEGER || class2 == AMD64_INTEGER)
498 return AMD64_INTEGER;
499
500 /* Rule (e): If one of the classes is X87, X87UP, COMPLEX_X87 class,
501 MEMORY is used as class. */
502 if (class1 == AMD64_X87 || class1 == AMD64_X87UP
503 || class1 == AMD64_COMPLEX_X87 || class2 == AMD64_X87
504 || class2 == AMD64_X87UP || class2 == AMD64_COMPLEX_X87)
505 return AMD64_MEMORY;
506
507 /* Rule (f): Otherwise class SSE is used. */
508 return AMD64_SSE;
509}
510
fe978cb0 511static void amd64_classify (struct type *type, enum amd64_reg_class theclass[2]);
bf4d6c1c 512
79b1ab3d
MK
513/* Return non-zero if TYPE is a non-POD structure or union type. */
514
515static int
516amd64_non_pod_p (struct type *type)
517{
518 /* ??? A class with a base class certainly isn't POD, but does this
519 catch all non-POD structure types? */
520 if (TYPE_CODE (type) == TYPE_CODE_STRUCT && TYPE_N_BASECLASSES (type) > 0)
521 return 1;
522
523 return 0;
524}
525
efb1c01c
MK
526/* Classify TYPE according to the rules for aggregate (structures and
527 arrays) and union types, and store the result in CLASS. */
c4f35dd8
MK
528
529static void
fe978cb0 530amd64_classify_aggregate (struct type *type, enum amd64_reg_class theclass[2])
53e95fcf 531{
efb1c01c
MK
532 /* 1. If the size of an object is larger than two eightbytes, or in
533 C++, is a non-POD structure or union type, or contains
534 unaligned fields, it has class memory. */
744a8059 535 if (TYPE_LENGTH (type) > 16 || amd64_non_pod_p (type))
53e95fcf 536 {
fe978cb0 537 theclass[0] = theclass[1] = AMD64_MEMORY;
efb1c01c 538 return;
53e95fcf 539 }
efb1c01c
MK
540
541 /* 2. Both eightbytes get initialized to class NO_CLASS. */
fe978cb0 542 theclass[0] = theclass[1] = AMD64_NO_CLASS;
efb1c01c
MK
543
544 /* 3. Each field of an object is classified recursively so that
545 always two fields are considered. The resulting class is
546 calculated according to the classes of the fields in the
547 eightbyte: */
548
549 if (TYPE_CODE (type) == TYPE_CODE_ARRAY)
8ffd9b1b 550 {
efb1c01c
MK
551 struct type *subtype = check_typedef (TYPE_TARGET_TYPE (type));
552
553 /* All fields in an array have the same type. */
fe978cb0
PA
554 amd64_classify (subtype, theclass);
555 if (TYPE_LENGTH (type) > 8 && theclass[1] == AMD64_NO_CLASS)
556 theclass[1] = theclass[0];
8ffd9b1b 557 }
53e95fcf
JS
558 else
559 {
efb1c01c 560 int i;
53e95fcf 561
efb1c01c
MK
562 /* Structure or union. */
563 gdb_assert (TYPE_CODE (type) == TYPE_CODE_STRUCT
564 || TYPE_CODE (type) == TYPE_CODE_UNION);
565
566 for (i = 0; i < TYPE_NFIELDS (type); i++)
53e95fcf 567 {
efb1c01c
MK
568 struct type *subtype = check_typedef (TYPE_FIELD_TYPE (type, i));
569 int pos = TYPE_FIELD_BITPOS (type, i) / 64;
570 enum amd64_reg_class subclass[2];
e4e2711a
JB
571 int bitsize = TYPE_FIELD_BITSIZE (type, i);
572 int endpos;
573
574 if (bitsize == 0)
575 bitsize = TYPE_LENGTH (subtype) * 8;
576 endpos = (TYPE_FIELD_BITPOS (type, i) + bitsize - 1) / 64;
efb1c01c 577
562c50c2 578 /* Ignore static fields. */
d6a843b5 579 if (field_is_static (&TYPE_FIELD (type, i)))
562c50c2
MK
580 continue;
581
efb1c01c
MK
582 gdb_assert (pos == 0 || pos == 1);
583
584 amd64_classify (subtype, subclass);
fe978cb0 585 theclass[pos] = amd64_merge_classes (theclass[pos], subclass[0]);
e4e2711a
JB
586 if (bitsize <= 64 && pos == 0 && endpos == 1)
587 /* This is a bit of an odd case: We have a field that would
588 normally fit in one of the two eightbytes, except that
589 it is placed in a way that this field straddles them.
590 This has been seen with a structure containing an array.
591
592 The ABI is a bit unclear in this case, but we assume that
593 this field's class (stored in subclass[0]) must also be merged
594 into class[1]. In other words, our field has a piece stored
595 in the second eight-byte, and thus its class applies to
596 the second eight-byte as well.
597
598 In the case where the field length exceeds 8 bytes,
599 it should not be necessary to merge the field class
600 into class[1]. As LEN > 8, subclass[1] is necessarily
601 different from AMD64_NO_CLASS. If subclass[1] is equal
602 to subclass[0], then the normal class[1]/subclass[1]
603 merging will take care of everything. For subclass[1]
604 to be different from subclass[0], I can only see the case
605 where we have a SSE/SSEUP or X87/X87UP pair, which both
606 use up all 16 bytes of the aggregate, and are already
607 handled just fine (because each portion sits on its own
608 8-byte). */
fe978cb0 609 theclass[1] = amd64_merge_classes (theclass[1], subclass[0]);
efb1c01c 610 if (pos == 0)
fe978cb0 611 theclass[1] = amd64_merge_classes (theclass[1], subclass[1]);
53e95fcf 612 }
53e95fcf 613 }
efb1c01c
MK
614
615 /* 4. Then a post merger cleanup is done: */
616
617 /* Rule (a): If one of the classes is MEMORY, the whole argument is
618 passed in memory. */
fe978cb0
PA
619 if (theclass[0] == AMD64_MEMORY || theclass[1] == AMD64_MEMORY)
620 theclass[0] = theclass[1] = AMD64_MEMORY;
efb1c01c 621
177b42fe 622 /* Rule (b): If SSEUP is not preceded by SSE, it is converted to
efb1c01c 623 SSE. */
fe978cb0
PA
624 if (theclass[0] == AMD64_SSEUP)
625 theclass[0] = AMD64_SSE;
626 if (theclass[1] == AMD64_SSEUP && theclass[0] != AMD64_SSE)
627 theclass[1] = AMD64_SSE;
efb1c01c
MK
628}
629
630/* Classify TYPE, and store the result in CLASS. */
631
bf4d6c1c 632static void
fe978cb0 633amd64_classify (struct type *type, enum amd64_reg_class theclass[2])
efb1c01c
MK
634{
635 enum type_code code = TYPE_CODE (type);
636 int len = TYPE_LENGTH (type);
637
fe978cb0 638 theclass[0] = theclass[1] = AMD64_NO_CLASS;
efb1c01c
MK
639
640 /* Arguments of types (signed and unsigned) _Bool, char, short, int,
5a7225ed
JB
641 long, long long, and pointers are in the INTEGER class. Similarly,
642 range types, used by languages such as Ada, are also in the INTEGER
643 class. */
efb1c01c 644 if ((code == TYPE_CODE_INT || code == TYPE_CODE_ENUM
b929c77f 645 || code == TYPE_CODE_BOOL || code == TYPE_CODE_RANGE
9db13498 646 || code == TYPE_CODE_CHAR
efb1c01c
MK
647 || code == TYPE_CODE_PTR || code == TYPE_CODE_REF)
648 && (len == 1 || len == 2 || len == 4 || len == 8))
fe978cb0 649 theclass[0] = AMD64_INTEGER;
efb1c01c 650
5daa78cc
TJB
651 /* Arguments of types float, double, _Decimal32, _Decimal64 and __m64
652 are in class SSE. */
653 else if ((code == TYPE_CODE_FLT || code == TYPE_CODE_DECFLOAT)
654 && (len == 4 || len == 8))
efb1c01c 655 /* FIXME: __m64 . */
fe978cb0 656 theclass[0] = AMD64_SSE;
efb1c01c 657
5daa78cc
TJB
658 /* Arguments of types __float128, _Decimal128 and __m128 are split into
659 two halves. The least significant ones belong to class SSE, the most
efb1c01c 660 significant one to class SSEUP. */
5daa78cc
TJB
661 else if (code == TYPE_CODE_DECFLOAT && len == 16)
662 /* FIXME: __float128, __m128. */
fe978cb0 663 theclass[0] = AMD64_SSE, theclass[1] = AMD64_SSEUP;
efb1c01c
MK
664
665 /* The 64-bit mantissa of arguments of type long double belongs to
666 class X87, the 16-bit exponent plus 6 bytes of padding belongs to
667 class X87UP. */
668 else if (code == TYPE_CODE_FLT && len == 16)
669 /* Class X87 and X87UP. */
fe978cb0 670 theclass[0] = AMD64_X87, theclass[1] = AMD64_X87UP;
efb1c01c 671
7f7930dd
MK
672 /* Arguments of complex T where T is one of the types float or
673 double get treated as if they are implemented as:
674
675 struct complexT {
676 T real;
677 T imag;
5f52445b
YQ
678 };
679
680 */
7f7930dd 681 else if (code == TYPE_CODE_COMPLEX && len == 8)
fe978cb0 682 theclass[0] = AMD64_SSE;
7f7930dd 683 else if (code == TYPE_CODE_COMPLEX && len == 16)
fe978cb0 684 theclass[0] = theclass[1] = AMD64_SSE;
7f7930dd
MK
685
686 /* A variable of type complex long double is classified as type
687 COMPLEX_X87. */
688 else if (code == TYPE_CODE_COMPLEX && len == 32)
fe978cb0 689 theclass[0] = AMD64_COMPLEX_X87;
7f7930dd 690
efb1c01c
MK
691 /* Aggregates. */
692 else if (code == TYPE_CODE_ARRAY || code == TYPE_CODE_STRUCT
693 || code == TYPE_CODE_UNION)
fe978cb0 694 amd64_classify_aggregate (type, theclass);
efb1c01c
MK
695}
696
697static enum return_value_convention
6a3a010b 698amd64_return_value (struct gdbarch *gdbarch, struct value *function,
c055b101 699 struct type *type, struct regcache *regcache,
42835c2b 700 gdb_byte *readbuf, const gdb_byte *writebuf)
efb1c01c 701{
fe978cb0 702 enum amd64_reg_class theclass[2];
efb1c01c 703 int len = TYPE_LENGTH (type);
90f90721
MK
704 static int integer_regnum[] = { AMD64_RAX_REGNUM, AMD64_RDX_REGNUM };
705 static int sse_regnum[] = { AMD64_XMM0_REGNUM, AMD64_XMM1_REGNUM };
efb1c01c
MK
706 int integer_reg = 0;
707 int sse_reg = 0;
708 int i;
709
710 gdb_assert (!(readbuf && writebuf));
711
712 /* 1. Classify the return type with the classification algorithm. */
fe978cb0 713 amd64_classify (type, theclass);
efb1c01c
MK
714
715 /* 2. If the type has class MEMORY, then the caller provides space
6fa57a7d 716 for the return value and passes the address of this storage in
0963b4bd 717 %rdi as if it were the first argument to the function. In effect,
6fa57a7d
MK
718 this address becomes a hidden first argument.
719
720 On return %rax will contain the address that has been passed in
721 by the caller in %rdi. */
fe978cb0 722 if (theclass[0] == AMD64_MEMORY)
6fa57a7d
MK
723 {
724 /* As indicated by the comment above, the ABI guarantees that we
725 can always find the return value just after the function has
726 returned. */
727
728 if (readbuf)
729 {
730 ULONGEST addr;
731
732 regcache_raw_read_unsigned (regcache, AMD64_RAX_REGNUM, &addr);
733 read_memory (addr, readbuf, TYPE_LENGTH (type));
734 }
735
736 return RETURN_VALUE_ABI_RETURNS_ADDRESS;
737 }
efb1c01c 738
7f7930dd
MK
739 /* 8. If the class is COMPLEX_X87, the real part of the value is
740 returned in %st0 and the imaginary part in %st1. */
fe978cb0 741 if (theclass[0] == AMD64_COMPLEX_X87)
7f7930dd
MK
742 {
743 if (readbuf)
744 {
745 regcache_raw_read (regcache, AMD64_ST0_REGNUM, readbuf);
746 regcache_raw_read (regcache, AMD64_ST1_REGNUM, readbuf + 16);
747 }
748
749 if (writebuf)
750 {
751 i387_return_value (gdbarch, regcache);
752 regcache_raw_write (regcache, AMD64_ST0_REGNUM, writebuf);
753 regcache_raw_write (regcache, AMD64_ST1_REGNUM, writebuf + 16);
754
755 /* Fix up the tag word such that both %st(0) and %st(1) are
756 marked as valid. */
757 regcache_raw_write_unsigned (regcache, AMD64_FTAG_REGNUM, 0xfff);
758 }
759
760 return RETURN_VALUE_REGISTER_CONVENTION;
761 }
762
fe978cb0 763 gdb_assert (theclass[1] != AMD64_MEMORY);
bad43aa5 764 gdb_assert (len <= 16);
efb1c01c
MK
765
766 for (i = 0; len > 0; i++, len -= 8)
767 {
768 int regnum = -1;
769 int offset = 0;
770
fe978cb0 771 switch (theclass[i])
efb1c01c
MK
772 {
773 case AMD64_INTEGER:
774 /* 3. If the class is INTEGER, the next available register
775 of the sequence %rax, %rdx is used. */
776 regnum = integer_regnum[integer_reg++];
777 break;
778
779 case AMD64_SSE:
780 /* 4. If the class is SSE, the next available SSE register
781 of the sequence %xmm0, %xmm1 is used. */
782 regnum = sse_regnum[sse_reg++];
783 break;
784
785 case AMD64_SSEUP:
786 /* 5. If the class is SSEUP, the eightbyte is passed in the
787 upper half of the last used SSE register. */
788 gdb_assert (sse_reg > 0);
789 regnum = sse_regnum[sse_reg - 1];
790 offset = 8;
791 break;
792
793 case AMD64_X87:
794 /* 6. If the class is X87, the value is returned on the X87
795 stack in %st0 as 80-bit x87 number. */
90f90721 796 regnum = AMD64_ST0_REGNUM;
efb1c01c
MK
797 if (writebuf)
798 i387_return_value (gdbarch, regcache);
799 break;
800
801 case AMD64_X87UP:
802 /* 7. If the class is X87UP, the value is returned together
803 with the previous X87 value in %st0. */
fe978cb0 804 gdb_assert (i > 0 && theclass[0] == AMD64_X87);
90f90721 805 regnum = AMD64_ST0_REGNUM;
efb1c01c
MK
806 offset = 8;
807 len = 2;
808 break;
809
810 case AMD64_NO_CLASS:
811 continue;
812
813 default:
814 gdb_assert (!"Unexpected register class.");
815 }
816
817 gdb_assert (regnum != -1);
818
819 if (readbuf)
820 regcache_raw_read_part (regcache, regnum, offset, min (len, 8),
42835c2b 821 readbuf + i * 8);
efb1c01c
MK
822 if (writebuf)
823 regcache_raw_write_part (regcache, regnum, offset, min (len, 8),
42835c2b 824 writebuf + i * 8);
efb1c01c
MK
825 }
826
827 return RETURN_VALUE_REGISTER_CONVENTION;
53e95fcf
JS
828}
829\f
830
720aa428
MK
831static CORE_ADDR
832amd64_push_arguments (struct regcache *regcache, int nargs,
6470d250 833 struct value **args, CORE_ADDR sp, int struct_return)
720aa428 834{
bf4d6c1c
JB
835 static int integer_regnum[] =
836 {
837 AMD64_RDI_REGNUM, /* %rdi */
838 AMD64_RSI_REGNUM, /* %rsi */
839 AMD64_RDX_REGNUM, /* %rdx */
840 AMD64_RCX_REGNUM, /* %rcx */
5b856f36
PM
841 AMD64_R8_REGNUM, /* %r8 */
842 AMD64_R9_REGNUM /* %r9 */
bf4d6c1c 843 };
720aa428
MK
844 static int sse_regnum[] =
845 {
846 /* %xmm0 ... %xmm7 */
90f90721
MK
847 AMD64_XMM0_REGNUM + 0, AMD64_XMM1_REGNUM,
848 AMD64_XMM0_REGNUM + 2, AMD64_XMM0_REGNUM + 3,
849 AMD64_XMM0_REGNUM + 4, AMD64_XMM0_REGNUM + 5,
850 AMD64_XMM0_REGNUM + 6, AMD64_XMM0_REGNUM + 7,
720aa428
MK
851 };
852 struct value **stack_args = alloca (nargs * sizeof (struct value *));
853 int num_stack_args = 0;
854 int num_elements = 0;
855 int element = 0;
856 int integer_reg = 0;
857 int sse_reg = 0;
858 int i;
859
6470d250
MK
860 /* Reserve a register for the "hidden" argument. */
861 if (struct_return)
862 integer_reg++;
863
720aa428
MK
864 for (i = 0; i < nargs; i++)
865 {
4991999e 866 struct type *type = value_type (args[i]);
720aa428 867 int len = TYPE_LENGTH (type);
fe978cb0 868 enum amd64_reg_class theclass[2];
720aa428
MK
869 int needed_integer_regs = 0;
870 int needed_sse_regs = 0;
871 int j;
872
873 /* Classify argument. */
fe978cb0 874 amd64_classify (type, theclass);
720aa428
MK
875
876 /* Calculate the number of integer and SSE registers needed for
877 this argument. */
878 for (j = 0; j < 2; j++)
879 {
fe978cb0 880 if (theclass[j] == AMD64_INTEGER)
720aa428 881 needed_integer_regs++;
fe978cb0 882 else if (theclass[j] == AMD64_SSE)
720aa428
MK
883 needed_sse_regs++;
884 }
885
886 /* Check whether enough registers are available, and if the
887 argument should be passed in registers at all. */
bf4d6c1c 888 if (integer_reg + needed_integer_regs > ARRAY_SIZE (integer_regnum)
720aa428
MK
889 || sse_reg + needed_sse_regs > ARRAY_SIZE (sse_regnum)
890 || (needed_integer_regs == 0 && needed_sse_regs == 0))
891 {
892 /* The argument will be passed on the stack. */
893 num_elements += ((len + 7) / 8);
849e9755 894 stack_args[num_stack_args++] = args[i];
720aa428
MK
895 }
896 else
897 {
898 /* The argument will be passed in registers. */
d8de1ef7
MK
899 const gdb_byte *valbuf = value_contents (args[i]);
900 gdb_byte buf[8];
720aa428
MK
901
902 gdb_assert (len <= 16);
903
904 for (j = 0; len > 0; j++, len -= 8)
905 {
906 int regnum = -1;
907 int offset = 0;
908
fe978cb0 909 switch (theclass[j])
720aa428
MK
910 {
911 case AMD64_INTEGER:
bf4d6c1c 912 regnum = integer_regnum[integer_reg++];
720aa428
MK
913 break;
914
915 case AMD64_SSE:
916 regnum = sse_regnum[sse_reg++];
917 break;
918
919 case AMD64_SSEUP:
920 gdb_assert (sse_reg > 0);
921 regnum = sse_regnum[sse_reg - 1];
922 offset = 8;
923 break;
924
925 default:
926 gdb_assert (!"Unexpected register class.");
927 }
928
929 gdb_assert (regnum != -1);
930 memset (buf, 0, sizeof buf);
931 memcpy (buf, valbuf + j * 8, min (len, 8));
932 regcache_raw_write_part (regcache, regnum, offset, 8, buf);
933 }
934 }
935 }
936
937 /* Allocate space for the arguments on the stack. */
938 sp -= num_elements * 8;
939
940 /* The psABI says that "The end of the input argument area shall be
941 aligned on a 16 byte boundary." */
942 sp &= ~0xf;
943
944 /* Write out the arguments to the stack. */
945 for (i = 0; i < num_stack_args; i++)
946 {
4991999e 947 struct type *type = value_type (stack_args[i]);
d8de1ef7 948 const gdb_byte *valbuf = value_contents (stack_args[i]);
849e9755
JB
949 int len = TYPE_LENGTH (type);
950
951 write_memory (sp + element * 8, valbuf, len);
952 element += ((len + 7) / 8);
720aa428
MK
953 }
954
955 /* The psABI says that "For calls that may call functions that use
956 varargs or stdargs (prototype-less calls or calls to functions
957 containing ellipsis (...) in the declaration) %al is used as
958 hidden argument to specify the number of SSE registers used. */
90f90721 959 regcache_raw_write_unsigned (regcache, AMD64_RAX_REGNUM, sse_reg);
720aa428
MK
960 return sp;
961}
962
c4f35dd8 963static CORE_ADDR
7d9b040b 964amd64_push_dummy_call (struct gdbarch *gdbarch, struct value *function,
e53bef9f
MK
965 struct regcache *regcache, CORE_ADDR bp_addr,
966 int nargs, struct value **args, CORE_ADDR sp,
967 int struct_return, CORE_ADDR struct_addr)
53e95fcf 968{
e17a4113 969 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
d8de1ef7 970 gdb_byte buf[8];
c4f35dd8
MK
971
972 /* Pass arguments. */
6470d250 973 sp = amd64_push_arguments (regcache, nargs, args, sp, struct_return);
c4f35dd8
MK
974
975 /* Pass "hidden" argument". */
976 if (struct_return)
977 {
e17a4113 978 store_unsigned_integer (buf, 8, byte_order, struct_addr);
bf4d6c1c 979 regcache_cooked_write (regcache, AMD64_RDI_REGNUM, buf);
c4f35dd8
MK
980 }
981
982 /* Store return address. */
983 sp -= 8;
e17a4113 984 store_unsigned_integer (buf, 8, byte_order, bp_addr);
c4f35dd8
MK
985 write_memory (sp, buf, 8);
986
987 /* Finally, update the stack pointer... */
e17a4113 988 store_unsigned_integer (buf, 8, byte_order, sp);
90f90721 989 regcache_cooked_write (regcache, AMD64_RSP_REGNUM, buf);
c4f35dd8
MK
990
991 /* ...and fake a frame pointer. */
90f90721 992 regcache_cooked_write (regcache, AMD64_RBP_REGNUM, buf);
c4f35dd8 993
3e210248 994 return sp + 16;
53e95fcf 995}
c4f35dd8 996\f
35669430
DE
997/* Displaced instruction handling. */
998
999/* A partially decoded instruction.
1000 This contains enough details for displaced stepping purposes. */
1001
1002struct amd64_insn
1003{
1004 /* The number of opcode bytes. */
1005 int opcode_len;
1006 /* The offset of the rex prefix or -1 if not present. */
1007 int rex_offset;
1008 /* The offset to the first opcode byte. */
1009 int opcode_offset;
1010 /* The offset to the modrm byte or -1 if not present. */
1011 int modrm_offset;
1012
1013 /* The raw instruction. */
1014 gdb_byte *raw_insn;
1015};
1016
1017struct displaced_step_closure
1018{
1019 /* For rip-relative insns, saved copy of the reg we use instead of %rip. */
1020 int tmp_used;
1021 int tmp_regno;
1022 ULONGEST tmp_save;
1023
1024 /* Details of the instruction. */
1025 struct amd64_insn insn_details;
1026
1027 /* Amount of space allocated to insn_buf. */
1028 int max_len;
1029
1030 /* The possibly modified insn.
1031 This is a variable-length field. */
1032 gdb_byte insn_buf[1];
1033};
1034
1035/* WARNING: Keep onebyte_has_modrm, twobyte_has_modrm in sync with
1036 ../opcodes/i386-dis.c (until libopcodes exports them, or an alternative,
1037 at which point delete these in favor of libopcodes' versions). */
1038
1039static const unsigned char onebyte_has_modrm[256] = {
1040 /* 0 1 2 3 4 5 6 7 8 9 a b c d e f */
1041 /* ------------------------------- */
1042 /* 00 */ 1,1,1,1,0,0,0,0,1,1,1,1,0,0,0,0, /* 00 */
1043 /* 10 */ 1,1,1,1,0,0,0,0,1,1,1,1,0,0,0,0, /* 10 */
1044 /* 20 */ 1,1,1,1,0,0,0,0,1,1,1,1,0,0,0,0, /* 20 */
1045 /* 30 */ 1,1,1,1,0,0,0,0,1,1,1,1,0,0,0,0, /* 30 */
1046 /* 40 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 40 */
1047 /* 50 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 50 */
1048 /* 60 */ 0,0,1,1,0,0,0,0,0,1,0,1,0,0,0,0, /* 60 */
1049 /* 70 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 70 */
1050 /* 80 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, /* 80 */
1051 /* 90 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 90 */
1052 /* a0 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* a0 */
1053 /* b0 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* b0 */
1054 /* c0 */ 1,1,0,0,1,1,1,1,0,0,0,0,0,0,0,0, /* c0 */
1055 /* d0 */ 1,1,1,1,0,0,0,0,1,1,1,1,1,1,1,1, /* d0 */
1056 /* e0 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* e0 */
1057 /* f0 */ 0,0,0,0,0,0,1,1,0,0,0,0,0,0,1,1 /* f0 */
1058 /* ------------------------------- */
1059 /* 0 1 2 3 4 5 6 7 8 9 a b c d e f */
1060};
1061
1062static const unsigned char twobyte_has_modrm[256] = {
1063 /* 0 1 2 3 4 5 6 7 8 9 a b c d e f */
1064 /* ------------------------------- */
1065 /* 00 */ 1,1,1,1,0,0,0,0,0,0,0,0,0,1,0,1, /* 0f */
1066 /* 10 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, /* 1f */
1067 /* 20 */ 1,1,1,1,1,1,1,0,1,1,1,1,1,1,1,1, /* 2f */
1068 /* 30 */ 0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0, /* 3f */
1069 /* 40 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, /* 4f */
1070 /* 50 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, /* 5f */
1071 /* 60 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, /* 6f */
1072 /* 70 */ 1,1,1,1,1,1,1,0,1,1,1,1,1,1,1,1, /* 7f */
1073 /* 80 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 8f */
1074 /* 90 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, /* 9f */
1075 /* a0 */ 0,0,0,1,1,1,1,1,0,0,0,1,1,1,1,1, /* af */
1076 /* b0 */ 1,1,1,1,1,1,1,1,1,0,1,1,1,1,1,1, /* bf */
1077 /* c0 */ 1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0, /* cf */
1078 /* d0 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, /* df */
1079 /* e0 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, /* ef */
1080 /* f0 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,0 /* ff */
1081 /* ------------------------------- */
1082 /* 0 1 2 3 4 5 6 7 8 9 a b c d e f */
1083};
1084
1085static int amd64_syscall_p (const struct amd64_insn *insn, int *lengthp);
1086
1087static int
1088rex_prefix_p (gdb_byte pfx)
1089{
1090 return REX_PREFIX_P (pfx);
1091}
1092
1093/* Skip the legacy instruction prefixes in INSN.
1094 We assume INSN is properly sentineled so we don't have to worry
1095 about falling off the end of the buffer. */
1096
1097static gdb_byte *
1903f0e6 1098amd64_skip_prefixes (gdb_byte *insn)
35669430
DE
1099{
1100 while (1)
1101 {
1102 switch (*insn)
1103 {
1104 case DATA_PREFIX_OPCODE:
1105 case ADDR_PREFIX_OPCODE:
1106 case CS_PREFIX_OPCODE:
1107 case DS_PREFIX_OPCODE:
1108 case ES_PREFIX_OPCODE:
1109 case FS_PREFIX_OPCODE:
1110 case GS_PREFIX_OPCODE:
1111 case SS_PREFIX_OPCODE:
1112 case LOCK_PREFIX_OPCODE:
1113 case REPE_PREFIX_OPCODE:
1114 case REPNE_PREFIX_OPCODE:
1115 ++insn;
1116 continue;
1117 default:
1118 break;
1119 }
1120 break;
1121 }
1122
1123 return insn;
1124}
1125
35669430
DE
1126/* Return an integer register (other than RSP) that is unused as an input
1127 operand in INSN.
1128 In order to not require adding a rex prefix if the insn doesn't already
1129 have one, the result is restricted to RAX ... RDI, sans RSP.
1130 The register numbering of the result follows architecture ordering,
1131 e.g. RDI = 7. */
1132
1133static int
1134amd64_get_unused_input_int_reg (const struct amd64_insn *details)
1135{
1136 /* 1 bit for each reg */
1137 int used_regs_mask = 0;
1138
1139 /* There can be at most 3 int regs used as inputs in an insn, and we have
1140 7 to choose from (RAX ... RDI, sans RSP).
1141 This allows us to take a conservative approach and keep things simple.
1142 E.g. By avoiding RAX, we don't have to specifically watch for opcodes
1143 that implicitly specify RAX. */
1144
1145 /* Avoid RAX. */
1146 used_regs_mask |= 1 << EAX_REG_NUM;
1147 /* Similarily avoid RDX, implicit operand in divides. */
1148 used_regs_mask |= 1 << EDX_REG_NUM;
1149 /* Avoid RSP. */
1150 used_regs_mask |= 1 << ESP_REG_NUM;
1151
1152 /* If the opcode is one byte long and there's no ModRM byte,
1153 assume the opcode specifies a register. */
1154 if (details->opcode_len == 1 && details->modrm_offset == -1)
1155 used_regs_mask |= 1 << (details->raw_insn[details->opcode_offset] & 7);
1156
1157 /* Mark used regs in the modrm/sib bytes. */
1158 if (details->modrm_offset != -1)
1159 {
1160 int modrm = details->raw_insn[details->modrm_offset];
1161 int mod = MODRM_MOD_FIELD (modrm);
1162 int reg = MODRM_REG_FIELD (modrm);
1163 int rm = MODRM_RM_FIELD (modrm);
1164 int have_sib = mod != 3 && rm == 4;
1165
1166 /* Assume the reg field of the modrm byte specifies a register. */
1167 used_regs_mask |= 1 << reg;
1168
1169 if (have_sib)
1170 {
1171 int base = SIB_BASE_FIELD (details->raw_insn[details->modrm_offset + 1]);
d48ebb5b 1172 int idx = SIB_INDEX_FIELD (details->raw_insn[details->modrm_offset + 1]);
35669430 1173 used_regs_mask |= 1 << base;
d48ebb5b 1174 used_regs_mask |= 1 << idx;
35669430
DE
1175 }
1176 else
1177 {
1178 used_regs_mask |= 1 << rm;
1179 }
1180 }
1181
1182 gdb_assert (used_regs_mask < 256);
1183 gdb_assert (used_regs_mask != 255);
1184
1185 /* Finally, find a free reg. */
1186 {
1187 int i;
1188
1189 for (i = 0; i < 8; ++i)
1190 {
1191 if (! (used_regs_mask & (1 << i)))
1192 return i;
1193 }
1194
1195 /* We shouldn't get here. */
1196 internal_error (__FILE__, __LINE__, _("unable to find free reg"));
1197 }
1198}
1199
1200/* Extract the details of INSN that we need. */
1201
1202static void
1203amd64_get_insn_details (gdb_byte *insn, struct amd64_insn *details)
1204{
1205 gdb_byte *start = insn;
1206 int need_modrm;
1207
1208 details->raw_insn = insn;
1209
1210 details->opcode_len = -1;
1211 details->rex_offset = -1;
1212 details->opcode_offset = -1;
1213 details->modrm_offset = -1;
1214
1215 /* Skip legacy instruction prefixes. */
1903f0e6 1216 insn = amd64_skip_prefixes (insn);
35669430
DE
1217
1218 /* Skip REX instruction prefix. */
1219 if (rex_prefix_p (*insn))
1220 {
1221 details->rex_offset = insn - start;
1222 ++insn;
1223 }
1224
1225 details->opcode_offset = insn - start;
1226
1227 if (*insn == TWO_BYTE_OPCODE_ESCAPE)
1228 {
1229 /* Two or three-byte opcode. */
1230 ++insn;
1231 need_modrm = twobyte_has_modrm[*insn];
1232
1233 /* Check for three-byte opcode. */
1903f0e6 1234 switch (*insn)
35669430 1235 {
1903f0e6
DE
1236 case 0x24:
1237 case 0x25:
1238 case 0x38:
1239 case 0x3a:
1240 case 0x7a:
1241 case 0x7b:
35669430
DE
1242 ++insn;
1243 details->opcode_len = 3;
1903f0e6
DE
1244 break;
1245 default:
1246 details->opcode_len = 2;
1247 break;
35669430 1248 }
35669430
DE
1249 }
1250 else
1251 {
1252 /* One-byte opcode. */
1253 need_modrm = onebyte_has_modrm[*insn];
1254 details->opcode_len = 1;
1255 }
1256
1257 if (need_modrm)
1258 {
1259 ++insn;
1260 details->modrm_offset = insn - start;
1261 }
1262}
1263
1264/* Update %rip-relative addressing in INSN.
1265
1266 %rip-relative addressing only uses a 32-bit displacement.
1267 32 bits is not enough to be guaranteed to cover the distance between where
1268 the real instruction is and where its copy is.
1269 Convert the insn to use base+disp addressing.
1270 We set base = pc + insn_length so we can leave disp unchanged. */
c4f35dd8 1271
35669430
DE
1272static void
1273fixup_riprel (struct gdbarch *gdbarch, struct displaced_step_closure *dsc,
1274 CORE_ADDR from, CORE_ADDR to, struct regcache *regs)
1275{
e17a4113 1276 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
35669430
DE
1277 const struct amd64_insn *insn_details = &dsc->insn_details;
1278 int modrm_offset = insn_details->modrm_offset;
1279 gdb_byte *insn = insn_details->raw_insn + modrm_offset;
1280 CORE_ADDR rip_base;
1281 int32_t disp;
1282 int insn_length;
1283 int arch_tmp_regno, tmp_regno;
1284 ULONGEST orig_value;
1285
1286 /* %rip+disp32 addressing mode, displacement follows ModRM byte. */
1287 ++insn;
1288
1289 /* Compute the rip-relative address. */
e17a4113 1290 disp = extract_signed_integer (insn, sizeof (int32_t), byte_order);
eda5a4d7
PA
1291 insn_length = gdb_buffered_insn_length (gdbarch, dsc->insn_buf,
1292 dsc->max_len, from);
35669430
DE
1293 rip_base = from + insn_length;
1294
1295 /* We need a register to hold the address.
1296 Pick one not used in the insn.
1297 NOTE: arch_tmp_regno uses architecture ordering, e.g. RDI = 7. */
1298 arch_tmp_regno = amd64_get_unused_input_int_reg (insn_details);
1299 tmp_regno = amd64_arch_reg_to_regnum (arch_tmp_regno);
1300
1301 /* REX.B should be unset as we were using rip-relative addressing,
1302 but ensure it's unset anyway, tmp_regno is not r8-r15. */
1303 if (insn_details->rex_offset != -1)
1304 dsc->insn_buf[insn_details->rex_offset] &= ~REX_B;
1305
1306 regcache_cooked_read_unsigned (regs, tmp_regno, &orig_value);
1307 dsc->tmp_regno = tmp_regno;
1308 dsc->tmp_save = orig_value;
1309 dsc->tmp_used = 1;
1310
1311 /* Convert the ModRM field to be base+disp. */
1312 dsc->insn_buf[modrm_offset] &= ~0xc7;
1313 dsc->insn_buf[modrm_offset] |= 0x80 + arch_tmp_regno;
1314
1315 regcache_cooked_write_unsigned (regs, tmp_regno, rip_base);
1316
1317 if (debug_displaced)
1318 fprintf_unfiltered (gdb_stdlog, "displaced: %%rip-relative addressing used.\n"
5af949e3
UW
1319 "displaced: using temp reg %d, old value %s, new value %s\n",
1320 dsc->tmp_regno, paddress (gdbarch, dsc->tmp_save),
1321 paddress (gdbarch, rip_base));
35669430
DE
1322}
1323
1324static void
1325fixup_displaced_copy (struct gdbarch *gdbarch,
1326 struct displaced_step_closure *dsc,
1327 CORE_ADDR from, CORE_ADDR to, struct regcache *regs)
1328{
1329 const struct amd64_insn *details = &dsc->insn_details;
1330
1331 if (details->modrm_offset != -1)
1332 {
1333 gdb_byte modrm = details->raw_insn[details->modrm_offset];
1334
1335 if ((modrm & 0xc7) == 0x05)
1336 {
1337 /* The insn uses rip-relative addressing.
1338 Deal with it. */
1339 fixup_riprel (gdbarch, dsc, from, to, regs);
1340 }
1341 }
1342}
1343
1344struct displaced_step_closure *
1345amd64_displaced_step_copy_insn (struct gdbarch *gdbarch,
1346 CORE_ADDR from, CORE_ADDR to,
1347 struct regcache *regs)
1348{
1349 int len = gdbarch_max_insn_length (gdbarch);
741e63d7 1350 /* Extra space for sentinels so fixup_{riprel,displaced_copy} don't have to
35669430
DE
1351 continually watch for running off the end of the buffer. */
1352 int fixup_sentinel_space = len;
1353 struct displaced_step_closure *dsc =
1354 xmalloc (sizeof (*dsc) + len + fixup_sentinel_space);
1355 gdb_byte *buf = &dsc->insn_buf[0];
1356 struct amd64_insn *details = &dsc->insn_details;
1357
1358 dsc->tmp_used = 0;
1359 dsc->max_len = len + fixup_sentinel_space;
1360
1361 read_memory (from, buf, len);
1362
1363 /* Set up the sentinel space so we don't have to worry about running
1364 off the end of the buffer. An excessive number of leading prefixes
1365 could otherwise cause this. */
1366 memset (buf + len, 0, fixup_sentinel_space);
1367
1368 amd64_get_insn_details (buf, details);
1369
1370 /* GDB may get control back after the insn after the syscall.
1371 Presumably this is a kernel bug.
1372 If this is a syscall, make sure there's a nop afterwards. */
1373 {
1374 int syscall_length;
1375
1376 if (amd64_syscall_p (details, &syscall_length))
1377 buf[details->opcode_offset + syscall_length] = NOP_OPCODE;
1378 }
1379
1380 /* Modify the insn to cope with the address where it will be executed from.
1381 In particular, handle any rip-relative addressing. */
1382 fixup_displaced_copy (gdbarch, dsc, from, to, regs);
1383
1384 write_memory (to, buf, len);
1385
1386 if (debug_displaced)
1387 {
5af949e3
UW
1388 fprintf_unfiltered (gdb_stdlog, "displaced: copy %s->%s: ",
1389 paddress (gdbarch, from), paddress (gdbarch, to));
35669430
DE
1390 displaced_step_dump_bytes (gdb_stdlog, buf, len);
1391 }
1392
1393 return dsc;
1394}
1395
1396static int
1397amd64_absolute_jmp_p (const struct amd64_insn *details)
1398{
1399 const gdb_byte *insn = &details->raw_insn[details->opcode_offset];
1400
1401 if (insn[0] == 0xff)
1402 {
1403 /* jump near, absolute indirect (/4) */
1404 if ((insn[1] & 0x38) == 0x20)
1405 return 1;
1406
1407 /* jump far, absolute indirect (/5) */
1408 if ((insn[1] & 0x38) == 0x28)
1409 return 1;
1410 }
1411
1412 return 0;
1413}
1414
c2170eef
MM
1415/* Return non-zero if the instruction DETAILS is a jump, zero otherwise. */
1416
1417static int
1418amd64_jmp_p (const struct amd64_insn *details)
1419{
1420 const gdb_byte *insn = &details->raw_insn[details->opcode_offset];
1421
1422 /* jump short, relative. */
1423 if (insn[0] == 0xeb)
1424 return 1;
1425
1426 /* jump near, relative. */
1427 if (insn[0] == 0xe9)
1428 return 1;
1429
1430 return amd64_absolute_jmp_p (details);
1431}
1432
35669430
DE
1433static int
1434amd64_absolute_call_p (const struct amd64_insn *details)
1435{
1436 const gdb_byte *insn = &details->raw_insn[details->opcode_offset];
1437
1438 if (insn[0] == 0xff)
1439 {
1440 /* Call near, absolute indirect (/2) */
1441 if ((insn[1] & 0x38) == 0x10)
1442 return 1;
1443
1444 /* Call far, absolute indirect (/3) */
1445 if ((insn[1] & 0x38) == 0x18)
1446 return 1;
1447 }
1448
1449 return 0;
1450}
1451
1452static int
1453amd64_ret_p (const struct amd64_insn *details)
1454{
1455 /* NOTE: gcc can emit "repz ; ret". */
1456 const gdb_byte *insn = &details->raw_insn[details->opcode_offset];
1457
1458 switch (insn[0])
1459 {
1460 case 0xc2: /* ret near, pop N bytes */
1461 case 0xc3: /* ret near */
1462 case 0xca: /* ret far, pop N bytes */
1463 case 0xcb: /* ret far */
1464 case 0xcf: /* iret */
1465 return 1;
1466
1467 default:
1468 return 0;
1469 }
1470}
1471
1472static int
1473amd64_call_p (const struct amd64_insn *details)
1474{
1475 const gdb_byte *insn = &details->raw_insn[details->opcode_offset];
1476
1477 if (amd64_absolute_call_p (details))
1478 return 1;
1479
1480 /* call near, relative */
1481 if (insn[0] == 0xe8)
1482 return 1;
1483
1484 return 0;
1485}
1486
35669430
DE
1487/* Return non-zero if INSN is a system call, and set *LENGTHP to its
1488 length in bytes. Otherwise, return zero. */
1489
1490static int
1491amd64_syscall_p (const struct amd64_insn *details, int *lengthp)
1492{
1493 const gdb_byte *insn = &details->raw_insn[details->opcode_offset];
1494
1495 if (insn[0] == 0x0f && insn[1] == 0x05)
1496 {
1497 *lengthp = 2;
1498 return 1;
1499 }
1500
1501 return 0;
1502}
1503
c2170eef
MM
1504/* Classify the instruction at ADDR using PRED.
1505 Throw an error if the memory can't be read. */
1506
1507static int
1508amd64_classify_insn_at (struct gdbarch *gdbarch, CORE_ADDR addr,
1509 int (*pred) (const struct amd64_insn *))
1510{
1511 struct amd64_insn details;
1512 gdb_byte *buf;
1513 int len, classification;
1514
1515 len = gdbarch_max_insn_length (gdbarch);
1516 buf = alloca (len);
1517
1518 read_code (addr, buf, len);
1519 amd64_get_insn_details (buf, &details);
1520
1521 classification = pred (&details);
1522
1523 return classification;
1524}
1525
1526/* The gdbarch insn_is_call method. */
1527
1528static int
1529amd64_insn_is_call (struct gdbarch *gdbarch, CORE_ADDR addr)
1530{
1531 return amd64_classify_insn_at (gdbarch, addr, amd64_call_p);
1532}
1533
1534/* The gdbarch insn_is_ret method. */
1535
1536static int
1537amd64_insn_is_ret (struct gdbarch *gdbarch, CORE_ADDR addr)
1538{
1539 return amd64_classify_insn_at (gdbarch, addr, amd64_ret_p);
1540}
1541
1542/* The gdbarch insn_is_jump method. */
1543
1544static int
1545amd64_insn_is_jump (struct gdbarch *gdbarch, CORE_ADDR addr)
1546{
1547 return amd64_classify_insn_at (gdbarch, addr, amd64_jmp_p);
1548}
1549
35669430
DE
1550/* Fix up the state of registers and memory after having single-stepped
1551 a displaced instruction. */
1552
1553void
1554amd64_displaced_step_fixup (struct gdbarch *gdbarch,
1555 struct displaced_step_closure *dsc,
1556 CORE_ADDR from, CORE_ADDR to,
1557 struct regcache *regs)
1558{
e17a4113 1559 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
35669430
DE
1560 /* The offset we applied to the instruction's address. */
1561 ULONGEST insn_offset = to - from;
1562 gdb_byte *insn = dsc->insn_buf;
1563 const struct amd64_insn *insn_details = &dsc->insn_details;
1564
1565 if (debug_displaced)
1566 fprintf_unfiltered (gdb_stdlog,
5af949e3 1567 "displaced: fixup (%s, %s), "
35669430 1568 "insn = 0x%02x 0x%02x ...\n",
5af949e3
UW
1569 paddress (gdbarch, from), paddress (gdbarch, to),
1570 insn[0], insn[1]);
35669430
DE
1571
1572 /* If we used a tmp reg, restore it. */
1573
1574 if (dsc->tmp_used)
1575 {
1576 if (debug_displaced)
5af949e3
UW
1577 fprintf_unfiltered (gdb_stdlog, "displaced: restoring reg %d to %s\n",
1578 dsc->tmp_regno, paddress (gdbarch, dsc->tmp_save));
35669430
DE
1579 regcache_cooked_write_unsigned (regs, dsc->tmp_regno, dsc->tmp_save);
1580 }
1581
1582 /* The list of issues to contend with here is taken from
1583 resume_execution in arch/x86/kernel/kprobes.c, Linux 2.6.28.
1584 Yay for Free Software! */
1585
1586 /* Relocate the %rip back to the program's instruction stream,
1587 if necessary. */
1588
1589 /* Except in the case of absolute or indirect jump or call
1590 instructions, or a return instruction, the new rip is relative to
1591 the displaced instruction; make it relative to the original insn.
1592 Well, signal handler returns don't need relocation either, but we use the
1593 value of %rip to recognize those; see below. */
1594 if (! amd64_absolute_jmp_p (insn_details)
1595 && ! amd64_absolute_call_p (insn_details)
1596 && ! amd64_ret_p (insn_details))
1597 {
1598 ULONGEST orig_rip;
1599 int insn_len;
1600
1601 regcache_cooked_read_unsigned (regs, AMD64_RIP_REGNUM, &orig_rip);
1602
1603 /* A signal trampoline system call changes the %rip, resuming
1604 execution of the main program after the signal handler has
1605 returned. That makes them like 'return' instructions; we
1606 shouldn't relocate %rip.
1607
1608 But most system calls don't, and we do need to relocate %rip.
1609
1610 Our heuristic for distinguishing these cases: if stepping
1611 over the system call instruction left control directly after
1612 the instruction, the we relocate --- control almost certainly
1613 doesn't belong in the displaced copy. Otherwise, we assume
1614 the instruction has put control where it belongs, and leave
1615 it unrelocated. Goodness help us if there are PC-relative
1616 system calls. */
1617 if (amd64_syscall_p (insn_details, &insn_len)
1618 && orig_rip != to + insn_len
1619 /* GDB can get control back after the insn after the syscall.
1620 Presumably this is a kernel bug.
1621 Fixup ensures its a nop, we add one to the length for it. */
1622 && orig_rip != to + insn_len + 1)
1623 {
1624 if (debug_displaced)
1625 fprintf_unfiltered (gdb_stdlog,
1626 "displaced: syscall changed %%rip; "
1627 "not relocating\n");
1628 }
1629 else
1630 {
1631 ULONGEST rip = orig_rip - insn_offset;
1632
1903f0e6
DE
1633 /* If we just stepped over a breakpoint insn, we don't backup
1634 the pc on purpose; this is to match behaviour without
1635 stepping. */
35669430
DE
1636
1637 regcache_cooked_write_unsigned (regs, AMD64_RIP_REGNUM, rip);
1638
1639 if (debug_displaced)
1640 fprintf_unfiltered (gdb_stdlog,
1641 "displaced: "
5af949e3
UW
1642 "relocated %%rip from %s to %s\n",
1643 paddress (gdbarch, orig_rip),
1644 paddress (gdbarch, rip));
35669430
DE
1645 }
1646 }
1647
1648 /* If the instruction was PUSHFL, then the TF bit will be set in the
1649 pushed value, and should be cleared. We'll leave this for later,
1650 since GDB already messes up the TF flag when stepping over a
1651 pushfl. */
1652
1653 /* If the instruction was a call, the return address now atop the
1654 stack is the address following the copied instruction. We need
1655 to make it the address following the original instruction. */
1656 if (amd64_call_p (insn_details))
1657 {
1658 ULONGEST rsp;
1659 ULONGEST retaddr;
1660 const ULONGEST retaddr_len = 8;
1661
1662 regcache_cooked_read_unsigned (regs, AMD64_RSP_REGNUM, &rsp);
e17a4113 1663 retaddr = read_memory_unsigned_integer (rsp, retaddr_len, byte_order);
35669430 1664 retaddr = (retaddr - insn_offset) & 0xffffffffUL;
e17a4113 1665 write_memory_unsigned_integer (rsp, retaddr_len, byte_order, retaddr);
35669430
DE
1666
1667 if (debug_displaced)
1668 fprintf_unfiltered (gdb_stdlog,
5af949e3
UW
1669 "displaced: relocated return addr at %s "
1670 "to %s\n",
1671 paddress (gdbarch, rsp),
1672 paddress (gdbarch, retaddr));
35669430
DE
1673 }
1674}
dde08ee1
PA
1675
1676/* If the instruction INSN uses RIP-relative addressing, return the
1677 offset into the raw INSN where the displacement to be adjusted is
1678 found. Returns 0 if the instruction doesn't use RIP-relative
1679 addressing. */
1680
1681static int
1682rip_relative_offset (struct amd64_insn *insn)
1683{
1684 if (insn->modrm_offset != -1)
1685 {
1686 gdb_byte modrm = insn->raw_insn[insn->modrm_offset];
1687
1688 if ((modrm & 0xc7) == 0x05)
1689 {
1690 /* The displacement is found right after the ModRM byte. */
1691 return insn->modrm_offset + 1;
1692 }
1693 }
1694
1695 return 0;
1696}
1697
1698static void
1699append_insns (CORE_ADDR *to, ULONGEST len, const gdb_byte *buf)
1700{
1701 target_write_memory (*to, buf, len);
1702 *to += len;
1703}
1704
60965737 1705static void
dde08ee1
PA
1706amd64_relocate_instruction (struct gdbarch *gdbarch,
1707 CORE_ADDR *to, CORE_ADDR oldloc)
1708{
1709 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
1710 int len = gdbarch_max_insn_length (gdbarch);
1711 /* Extra space for sentinels. */
1712 int fixup_sentinel_space = len;
1713 gdb_byte *buf = xmalloc (len + fixup_sentinel_space);
1714 struct amd64_insn insn_details;
1715 int offset = 0;
1716 LONGEST rel32, newrel;
1717 gdb_byte *insn;
1718 int insn_length;
1719
1720 read_memory (oldloc, buf, len);
1721
1722 /* Set up the sentinel space so we don't have to worry about running
1723 off the end of the buffer. An excessive number of leading prefixes
1724 could otherwise cause this. */
1725 memset (buf + len, 0, fixup_sentinel_space);
1726
1727 insn = buf;
1728 amd64_get_insn_details (insn, &insn_details);
1729
1730 insn_length = gdb_buffered_insn_length (gdbarch, insn, len, oldloc);
1731
1732 /* Skip legacy instruction prefixes. */
1733 insn = amd64_skip_prefixes (insn);
1734
1735 /* Adjust calls with 32-bit relative addresses as push/jump, with
1736 the address pushed being the location where the original call in
1737 the user program would return to. */
1738 if (insn[0] == 0xe8)
1739 {
1740 gdb_byte push_buf[16];
1741 unsigned int ret_addr;
1742
1743 /* Where "ret" in the original code will return to. */
1744 ret_addr = oldloc + insn_length;
0963b4bd 1745 push_buf[0] = 0x68; /* pushq $... */
144db827 1746 store_unsigned_integer (&push_buf[1], 4, byte_order, ret_addr);
dde08ee1
PA
1747 /* Push the push. */
1748 append_insns (to, 5, push_buf);
1749
1750 /* Convert the relative call to a relative jump. */
1751 insn[0] = 0xe9;
1752
1753 /* Adjust the destination offset. */
1754 rel32 = extract_signed_integer (insn + 1, 4, byte_order);
1755 newrel = (oldloc - *to) + rel32;
f4a1794a
KY
1756 store_signed_integer (insn + 1, 4, byte_order, newrel);
1757
1758 if (debug_displaced)
1759 fprintf_unfiltered (gdb_stdlog,
1760 "Adjusted insn rel32=%s at %s to"
1761 " rel32=%s at %s\n",
1762 hex_string (rel32), paddress (gdbarch, oldloc),
1763 hex_string (newrel), paddress (gdbarch, *to));
dde08ee1
PA
1764
1765 /* Write the adjusted jump into its displaced location. */
1766 append_insns (to, 5, insn);
1767 return;
1768 }
1769
1770 offset = rip_relative_offset (&insn_details);
1771 if (!offset)
1772 {
1773 /* Adjust jumps with 32-bit relative addresses. Calls are
1774 already handled above. */
1775 if (insn[0] == 0xe9)
1776 offset = 1;
1777 /* Adjust conditional jumps. */
1778 else if (insn[0] == 0x0f && (insn[1] & 0xf0) == 0x80)
1779 offset = 2;
1780 }
1781
1782 if (offset)
1783 {
1784 rel32 = extract_signed_integer (insn + offset, 4, byte_order);
1785 newrel = (oldloc - *to) + rel32;
f4a1794a 1786 store_signed_integer (insn + offset, 4, byte_order, newrel);
dde08ee1
PA
1787 if (debug_displaced)
1788 fprintf_unfiltered (gdb_stdlog,
f4a1794a
KY
1789 "Adjusted insn rel32=%s at %s to"
1790 " rel32=%s at %s\n",
dde08ee1
PA
1791 hex_string (rel32), paddress (gdbarch, oldloc),
1792 hex_string (newrel), paddress (gdbarch, *to));
1793 }
1794
1795 /* Write the adjusted instruction into its displaced location. */
1796 append_insns (to, insn_length, buf);
1797}
1798
35669430 1799\f
c4f35dd8 1800/* The maximum number of saved registers. This should include %rip. */
90f90721 1801#define AMD64_NUM_SAVED_REGS AMD64_NUM_GREGS
c4f35dd8 1802
e53bef9f 1803struct amd64_frame_cache
c4f35dd8
MK
1804{
1805 /* Base address. */
1806 CORE_ADDR base;
8fbca658 1807 int base_p;
c4f35dd8
MK
1808 CORE_ADDR sp_offset;
1809 CORE_ADDR pc;
1810
1811 /* Saved registers. */
e53bef9f 1812 CORE_ADDR saved_regs[AMD64_NUM_SAVED_REGS];
c4f35dd8 1813 CORE_ADDR saved_sp;
e0c62198 1814 int saved_sp_reg;
c4f35dd8
MK
1815
1816 /* Do we have a frame? */
1817 int frameless_p;
1818};
8dda9770 1819
d2449ee8 1820/* Initialize a frame cache. */
c4f35dd8 1821
d2449ee8
DJ
1822static void
1823amd64_init_frame_cache (struct amd64_frame_cache *cache)
8dda9770 1824{
c4f35dd8
MK
1825 int i;
1826
c4f35dd8
MK
1827 /* Base address. */
1828 cache->base = 0;
8fbca658 1829 cache->base_p = 0;
c4f35dd8
MK
1830 cache->sp_offset = -8;
1831 cache->pc = 0;
1832
1833 /* Saved registers. We initialize these to -1 since zero is a valid
bba66b87
DE
1834 offset (that's where %rbp is supposed to be stored).
1835 The values start out as being offsets, and are later converted to
1836 addresses (at which point -1 is interpreted as an address, still meaning
1837 "invalid"). */
e53bef9f 1838 for (i = 0; i < AMD64_NUM_SAVED_REGS; i++)
c4f35dd8
MK
1839 cache->saved_regs[i] = -1;
1840 cache->saved_sp = 0;
e0c62198 1841 cache->saved_sp_reg = -1;
c4f35dd8
MK
1842
1843 /* Frameless until proven otherwise. */
1844 cache->frameless_p = 1;
d2449ee8 1845}
c4f35dd8 1846
d2449ee8
DJ
1847/* Allocate and initialize a frame cache. */
1848
1849static struct amd64_frame_cache *
1850amd64_alloc_frame_cache (void)
1851{
1852 struct amd64_frame_cache *cache;
1853
1854 cache = FRAME_OBSTACK_ZALLOC (struct amd64_frame_cache);
1855 amd64_init_frame_cache (cache);
c4f35dd8 1856 return cache;
8dda9770 1857}
53e95fcf 1858
e0c62198
L
1859/* GCC 4.4 and later, can put code in the prologue to realign the
1860 stack pointer. Check whether PC points to such code, and update
1861 CACHE accordingly. Return the first instruction after the code
1862 sequence or CURRENT_PC, whichever is smaller. If we don't
1863 recognize the code, return PC. */
1864
1865static CORE_ADDR
1866amd64_analyze_stack_align (CORE_ADDR pc, CORE_ADDR current_pc,
1867 struct amd64_frame_cache *cache)
1868{
1869 /* There are 2 code sequences to re-align stack before the frame
1870 gets set up:
1871
1872 1. Use a caller-saved saved register:
1873
1874 leaq 8(%rsp), %reg
1875 andq $-XXX, %rsp
1876 pushq -8(%reg)
1877
1878 2. Use a callee-saved saved register:
1879
1880 pushq %reg
1881 leaq 16(%rsp), %reg
1882 andq $-XXX, %rsp
1883 pushq -8(%reg)
1884
1885 "andq $-XXX, %rsp" can be either 4 bytes or 7 bytes:
1886
1887 0x48 0x83 0xe4 0xf0 andq $-16, %rsp
1888 0x48 0x81 0xe4 0x00 0xff 0xff 0xff andq $-256, %rsp
1889 */
1890
1891 gdb_byte buf[18];
1892 int reg, r;
1893 int offset, offset_and;
e0c62198 1894
bae8a07a 1895 if (target_read_code (pc, buf, sizeof buf))
e0c62198
L
1896 return pc;
1897
1898 /* Check caller-saved saved register. The first instruction has
1899 to be "leaq 8(%rsp), %reg". */
1900 if ((buf[0] & 0xfb) == 0x48
1901 && buf[1] == 0x8d
1902 && buf[3] == 0x24
1903 && buf[4] == 0x8)
1904 {
1905 /* MOD must be binary 10 and R/M must be binary 100. */
1906 if ((buf[2] & 0xc7) != 0x44)
1907 return pc;
1908
1909 /* REG has register number. */
1910 reg = (buf[2] >> 3) & 7;
1911
1912 /* Check the REX.R bit. */
1913 if (buf[0] == 0x4c)
1914 reg += 8;
1915
1916 offset = 5;
1917 }
1918 else
1919 {
1920 /* Check callee-saved saved register. The first instruction
1921 has to be "pushq %reg". */
1922 reg = 0;
1923 if ((buf[0] & 0xf8) == 0x50)
1924 offset = 0;
1925 else if ((buf[0] & 0xf6) == 0x40
1926 && (buf[1] & 0xf8) == 0x50)
1927 {
1928 /* Check the REX.B bit. */
1929 if ((buf[0] & 1) != 0)
1930 reg = 8;
1931
1932 offset = 1;
1933 }
1934 else
1935 return pc;
1936
1937 /* Get register. */
1938 reg += buf[offset] & 0x7;
1939
1940 offset++;
1941
1942 /* The next instruction has to be "leaq 16(%rsp), %reg". */
1943 if ((buf[offset] & 0xfb) != 0x48
1944 || buf[offset + 1] != 0x8d
1945 || buf[offset + 3] != 0x24
1946 || buf[offset + 4] != 0x10)
1947 return pc;
1948
1949 /* MOD must be binary 10 and R/M must be binary 100. */
1950 if ((buf[offset + 2] & 0xc7) != 0x44)
1951 return pc;
1952
1953 /* REG has register number. */
1954 r = (buf[offset + 2] >> 3) & 7;
1955
1956 /* Check the REX.R bit. */
1957 if (buf[offset] == 0x4c)
1958 r += 8;
1959
1960 /* Registers in pushq and leaq have to be the same. */
1961 if (reg != r)
1962 return pc;
1963
1964 offset += 5;
1965 }
1966
1967 /* Rigister can't be %rsp nor %rbp. */
1968 if (reg == 4 || reg == 5)
1969 return pc;
1970
1971 /* The next instruction has to be "andq $-XXX, %rsp". */
1972 if (buf[offset] != 0x48
1973 || buf[offset + 2] != 0xe4
1974 || (buf[offset + 1] != 0x81 && buf[offset + 1] != 0x83))
1975 return pc;
1976
1977 offset_and = offset;
1978 offset += buf[offset + 1] == 0x81 ? 7 : 4;
1979
1980 /* The next instruction has to be "pushq -8(%reg)". */
1981 r = 0;
1982 if (buf[offset] == 0xff)
1983 offset++;
1984 else if ((buf[offset] & 0xf6) == 0x40
1985 && buf[offset + 1] == 0xff)
1986 {
1987 /* Check the REX.B bit. */
1988 if ((buf[offset] & 0x1) != 0)
1989 r = 8;
1990 offset += 2;
1991 }
1992 else
1993 return pc;
1994
1995 /* 8bit -8 is 0xf8. REG must be binary 110 and MOD must be binary
1996 01. */
1997 if (buf[offset + 1] != 0xf8
1998 || (buf[offset] & 0xf8) != 0x70)
1999 return pc;
2000
2001 /* R/M has register. */
2002 r += buf[offset] & 7;
2003
2004 /* Registers in leaq and pushq have to be the same. */
2005 if (reg != r)
2006 return pc;
2007
2008 if (current_pc > pc + offset_and)
35669430 2009 cache->saved_sp_reg = amd64_arch_reg_to_regnum (reg);
e0c62198
L
2010
2011 return min (pc + offset + 2, current_pc);
2012}
2013
ac142d96
L
2014/* Similar to amd64_analyze_stack_align for x32. */
2015
2016static CORE_ADDR
2017amd64_x32_analyze_stack_align (CORE_ADDR pc, CORE_ADDR current_pc,
2018 struct amd64_frame_cache *cache)
2019{
2020 /* There are 2 code sequences to re-align stack before the frame
2021 gets set up:
2022
2023 1. Use a caller-saved saved register:
2024
2025 leaq 8(%rsp), %reg
2026 andq $-XXX, %rsp
2027 pushq -8(%reg)
2028
2029 or
2030
2031 [addr32] leal 8(%rsp), %reg
2032 andl $-XXX, %esp
2033 [addr32] pushq -8(%reg)
2034
2035 2. Use a callee-saved saved register:
2036
2037 pushq %reg
2038 leaq 16(%rsp), %reg
2039 andq $-XXX, %rsp
2040 pushq -8(%reg)
2041
2042 or
2043
2044 pushq %reg
2045 [addr32] leal 16(%rsp), %reg
2046 andl $-XXX, %esp
2047 [addr32] pushq -8(%reg)
2048
2049 "andq $-XXX, %rsp" can be either 4 bytes or 7 bytes:
2050
2051 0x48 0x83 0xe4 0xf0 andq $-16, %rsp
2052 0x48 0x81 0xe4 0x00 0xff 0xff 0xff andq $-256, %rsp
2053
2054 "andl $-XXX, %esp" can be either 3 bytes or 6 bytes:
2055
2056 0x83 0xe4 0xf0 andl $-16, %esp
2057 0x81 0xe4 0x00 0xff 0xff 0xff andl $-256, %esp
2058 */
2059
2060 gdb_byte buf[19];
2061 int reg, r;
2062 int offset, offset_and;
2063
2064 if (target_read_memory (pc, buf, sizeof buf))
2065 return pc;
2066
2067 /* Skip optional addr32 prefix. */
2068 offset = buf[0] == 0x67 ? 1 : 0;
2069
2070 /* Check caller-saved saved register. The first instruction has
2071 to be "leaq 8(%rsp), %reg" or "leal 8(%rsp), %reg". */
2072 if (((buf[offset] & 0xfb) == 0x48 || (buf[offset] & 0xfb) == 0x40)
2073 && buf[offset + 1] == 0x8d
2074 && buf[offset + 3] == 0x24
2075 && buf[offset + 4] == 0x8)
2076 {
2077 /* MOD must be binary 10 and R/M must be binary 100. */
2078 if ((buf[offset + 2] & 0xc7) != 0x44)
2079 return pc;
2080
2081 /* REG has register number. */
2082 reg = (buf[offset + 2] >> 3) & 7;
2083
2084 /* Check the REX.R bit. */
2085 if ((buf[offset] & 0x4) != 0)
2086 reg += 8;
2087
2088 offset += 5;
2089 }
2090 else
2091 {
2092 /* Check callee-saved saved register. The first instruction
2093 has to be "pushq %reg". */
2094 reg = 0;
2095 if ((buf[offset] & 0xf6) == 0x40
2096 && (buf[offset + 1] & 0xf8) == 0x50)
2097 {
2098 /* Check the REX.B bit. */
2099 if ((buf[offset] & 1) != 0)
2100 reg = 8;
2101
2102 offset += 1;
2103 }
2104 else if ((buf[offset] & 0xf8) != 0x50)
2105 return pc;
2106
2107 /* Get register. */
2108 reg += buf[offset] & 0x7;
2109
2110 offset++;
2111
2112 /* Skip optional addr32 prefix. */
2113 if (buf[offset] == 0x67)
2114 offset++;
2115
2116 /* The next instruction has to be "leaq 16(%rsp), %reg" or
2117 "leal 16(%rsp), %reg". */
2118 if (((buf[offset] & 0xfb) != 0x48 && (buf[offset] & 0xfb) != 0x40)
2119 || buf[offset + 1] != 0x8d
2120 || buf[offset + 3] != 0x24
2121 || buf[offset + 4] != 0x10)
2122 return pc;
2123
2124 /* MOD must be binary 10 and R/M must be binary 100. */
2125 if ((buf[offset + 2] & 0xc7) != 0x44)
2126 return pc;
2127
2128 /* REG has register number. */
2129 r = (buf[offset + 2] >> 3) & 7;
2130
2131 /* Check the REX.R bit. */
2132 if ((buf[offset] & 0x4) != 0)
2133 r += 8;
2134
2135 /* Registers in pushq and leaq have to be the same. */
2136 if (reg != r)
2137 return pc;
2138
2139 offset += 5;
2140 }
2141
2142 /* Rigister can't be %rsp nor %rbp. */
2143 if (reg == 4 || reg == 5)
2144 return pc;
2145
2146 /* The next instruction may be "andq $-XXX, %rsp" or
2147 "andl $-XXX, %esp". */
2148 if (buf[offset] != 0x48)
2149 offset--;
2150
2151 if (buf[offset + 2] != 0xe4
2152 || (buf[offset + 1] != 0x81 && buf[offset + 1] != 0x83))
2153 return pc;
2154
2155 offset_and = offset;
2156 offset += buf[offset + 1] == 0x81 ? 7 : 4;
2157
2158 /* Skip optional addr32 prefix. */
2159 if (buf[offset] == 0x67)
2160 offset++;
2161
2162 /* The next instruction has to be "pushq -8(%reg)". */
2163 r = 0;
2164 if (buf[offset] == 0xff)
2165 offset++;
2166 else if ((buf[offset] & 0xf6) == 0x40
2167 && buf[offset + 1] == 0xff)
2168 {
2169 /* Check the REX.B bit. */
2170 if ((buf[offset] & 0x1) != 0)
2171 r = 8;
2172 offset += 2;
2173 }
2174 else
2175 return pc;
2176
2177 /* 8bit -8 is 0xf8. REG must be binary 110 and MOD must be binary
2178 01. */
2179 if (buf[offset + 1] != 0xf8
2180 || (buf[offset] & 0xf8) != 0x70)
2181 return pc;
2182
2183 /* R/M has register. */
2184 r += buf[offset] & 7;
2185
2186 /* Registers in leaq and pushq have to be the same. */
2187 if (reg != r)
2188 return pc;
2189
2190 if (current_pc > pc + offset_and)
2191 cache->saved_sp_reg = amd64_arch_reg_to_regnum (reg);
2192
2193 return min (pc + offset + 2, current_pc);
2194}
2195
c4f35dd8
MK
2196/* Do a limited analysis of the prologue at PC and update CACHE
2197 accordingly. Bail out early if CURRENT_PC is reached. Return the
2198 address where the analysis stopped.
2199
2200 We will handle only functions beginning with:
2201
2202 pushq %rbp 0x55
50f1ae7b 2203 movq %rsp, %rbp 0x48 0x89 0xe5 (or 0x48 0x8b 0xec)
c4f35dd8 2204
649e6d92
MK
2205 or (for the X32 ABI):
2206
2207 pushq %rbp 0x55
2208 movl %esp, %ebp 0x89 0xe5 (or 0x8b 0xec)
2209
2210 Any function that doesn't start with one of these sequences will be
2211 assumed to have no prologue and thus no valid frame pointer in
2212 %rbp. */
c4f35dd8
MK
2213
2214static CORE_ADDR
e17a4113
UW
2215amd64_analyze_prologue (struct gdbarch *gdbarch,
2216 CORE_ADDR pc, CORE_ADDR current_pc,
e53bef9f 2217 struct amd64_frame_cache *cache)
53e95fcf 2218{
e17a4113 2219 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
50f1ae7b
DE
2220 /* There are two variations of movq %rsp, %rbp. */
2221 static const gdb_byte mov_rsp_rbp_1[3] = { 0x48, 0x89, 0xe5 };
2222 static const gdb_byte mov_rsp_rbp_2[3] = { 0x48, 0x8b, 0xec };
649e6d92
MK
2223 /* Ditto for movl %esp, %ebp. */
2224 static const gdb_byte mov_esp_ebp_1[2] = { 0x89, 0xe5 };
2225 static const gdb_byte mov_esp_ebp_2[2] = { 0x8b, 0xec };
2226
d8de1ef7
MK
2227 gdb_byte buf[3];
2228 gdb_byte op;
c4f35dd8
MK
2229
2230 if (current_pc <= pc)
2231 return current_pc;
2232
ac142d96
L
2233 if (gdbarch_ptr_bit (gdbarch) == 32)
2234 pc = amd64_x32_analyze_stack_align (pc, current_pc, cache);
2235 else
2236 pc = amd64_analyze_stack_align (pc, current_pc, cache);
e0c62198 2237
bae8a07a 2238 op = read_code_unsigned_integer (pc, 1, byte_order);
c4f35dd8
MK
2239
2240 if (op == 0x55) /* pushq %rbp */
2241 {
2242 /* Take into account that we've executed the `pushq %rbp' that
2243 starts this instruction sequence. */
90f90721 2244 cache->saved_regs[AMD64_RBP_REGNUM] = 0;
c4f35dd8
MK
2245 cache->sp_offset += 8;
2246
2247 /* If that's all, return now. */
2248 if (current_pc <= pc + 1)
2249 return current_pc;
2250
bae8a07a 2251 read_code (pc + 1, buf, 3);
c4f35dd8 2252
649e6d92
MK
2253 /* Check for `movq %rsp, %rbp'. */
2254 if (memcmp (buf, mov_rsp_rbp_1, 3) == 0
2255 || memcmp (buf, mov_rsp_rbp_2, 3) == 0)
2256 {
2257 /* OK, we actually have a frame. */
2258 cache->frameless_p = 0;
2259 return pc + 4;
2260 }
2261
2262 /* For X32, also check for `movq %esp, %ebp'. */
2263 if (gdbarch_ptr_bit (gdbarch) == 32)
2264 {
2265 if (memcmp (buf, mov_esp_ebp_1, 2) == 0
2266 || memcmp (buf, mov_esp_ebp_2, 2) == 0)
2267 {
2268 /* OK, we actually have a frame. */
2269 cache->frameless_p = 0;
2270 return pc + 3;
2271 }
2272 }
2273
2274 return pc + 1;
c4f35dd8
MK
2275 }
2276
2277 return pc;
53e95fcf
JS
2278}
2279
df15bd07
JK
2280/* Work around false termination of prologue - GCC PR debug/48827.
2281
2282 START_PC is the first instruction of a function, PC is its minimal already
2283 determined advanced address. Function returns PC if it has nothing to do.
2284
2285 84 c0 test %al,%al
2286 74 23 je after
2287 <-- here is 0 lines advance - the false prologue end marker.
2288 0f 29 85 70 ff ff ff movaps %xmm0,-0x90(%rbp)
2289 0f 29 4d 80 movaps %xmm1,-0x80(%rbp)
2290 0f 29 55 90 movaps %xmm2,-0x70(%rbp)
2291 0f 29 5d a0 movaps %xmm3,-0x60(%rbp)
2292 0f 29 65 b0 movaps %xmm4,-0x50(%rbp)
2293 0f 29 6d c0 movaps %xmm5,-0x40(%rbp)
2294 0f 29 75 d0 movaps %xmm6,-0x30(%rbp)
2295 0f 29 7d e0 movaps %xmm7,-0x20(%rbp)
2296 after: */
c4f35dd8
MK
2297
2298static CORE_ADDR
df15bd07 2299amd64_skip_xmm_prologue (CORE_ADDR pc, CORE_ADDR start_pc)
53e95fcf 2300{
08711b9a
JK
2301 struct symtab_and_line start_pc_sal, next_sal;
2302 gdb_byte buf[4 + 8 * 7];
2303 int offset, xmmreg;
c4f35dd8 2304
08711b9a
JK
2305 if (pc == start_pc)
2306 return pc;
2307
2308 start_pc_sal = find_pc_sect_line (start_pc, NULL, 0);
2309 if (start_pc_sal.symtab == NULL
43f3e411
DE
2310 || producer_is_gcc_ge_4 (COMPUNIT_PRODUCER
2311 (SYMTAB_COMPUNIT (start_pc_sal.symtab))) < 6
08711b9a
JK
2312 || start_pc_sal.pc != start_pc || pc >= start_pc_sal.end)
2313 return pc;
2314
2315 next_sal = find_pc_sect_line (start_pc_sal.end, NULL, 0);
2316 if (next_sal.line != start_pc_sal.line)
2317 return pc;
2318
2319 /* START_PC can be from overlayed memory, ignored here. */
bae8a07a 2320 if (target_read_code (next_sal.pc - 4, buf, sizeof (buf)) != 0)
08711b9a
JK
2321 return pc;
2322
2323 /* test %al,%al */
2324 if (buf[0] != 0x84 || buf[1] != 0xc0)
2325 return pc;
2326 /* je AFTER */
2327 if (buf[2] != 0x74)
2328 return pc;
2329
2330 offset = 4;
2331 for (xmmreg = 0; xmmreg < 8; xmmreg++)
2332 {
bede5f5f 2333 /* 0x0f 0x29 0b??000101 movaps %xmmreg?,-0x??(%rbp) */
08711b9a 2334 if (buf[offset] != 0x0f || buf[offset + 1] != 0x29
bede5f5f 2335 || (buf[offset + 2] & 0x3f) != (xmmreg << 3 | 0x5))
08711b9a
JK
2336 return pc;
2337
bede5f5f
JK
2338 /* 0b01?????? */
2339 if ((buf[offset + 2] & 0xc0) == 0x40)
08711b9a
JK
2340 {
2341 /* 8-bit displacement. */
2342 offset += 4;
2343 }
bede5f5f
JK
2344 /* 0b10?????? */
2345 else if ((buf[offset + 2] & 0xc0) == 0x80)
08711b9a
JK
2346 {
2347 /* 32-bit displacement. */
2348 offset += 7;
2349 }
2350 else
2351 return pc;
2352 }
2353
2354 /* je AFTER */
2355 if (offset - 4 != buf[3])
2356 return pc;
2357
2358 return next_sal.end;
53e95fcf 2359}
df15bd07
JK
2360
2361/* Return PC of first real instruction. */
2362
2363static CORE_ADDR
2364amd64_skip_prologue (struct gdbarch *gdbarch, CORE_ADDR start_pc)
2365{
2366 struct amd64_frame_cache cache;
2367 CORE_ADDR pc;
56bf0743
KB
2368 CORE_ADDR func_addr;
2369
2370 if (find_pc_partial_function (start_pc, NULL, &func_addr, NULL))
2371 {
2372 CORE_ADDR post_prologue_pc
2373 = skip_prologue_using_sal (gdbarch, func_addr);
43f3e411 2374 struct compunit_symtab *cust = find_pc_compunit_symtab (func_addr);
56bf0743
KB
2375
2376 /* Clang always emits a line note before the prologue and another
2377 one after. We trust clang to emit usable line notes. */
2378 if (post_prologue_pc
43f3e411
DE
2379 && (cust != NULL
2380 && COMPUNIT_PRODUCER (cust) != NULL
61012eef 2381 && startswith (COMPUNIT_PRODUCER (cust), "clang ")))
56bf0743
KB
2382 return max (start_pc, post_prologue_pc);
2383 }
df15bd07
JK
2384
2385 amd64_init_frame_cache (&cache);
2386 pc = amd64_analyze_prologue (gdbarch, start_pc, 0xffffffffffffffffLL,
2387 &cache);
2388 if (cache.frameless_p)
2389 return start_pc;
2390
2391 return amd64_skip_xmm_prologue (pc, start_pc);
2392}
c4f35dd8 2393\f
53e95fcf 2394
c4f35dd8
MK
2395/* Normal frames. */
2396
8fbca658
PA
2397static void
2398amd64_frame_cache_1 (struct frame_info *this_frame,
2399 struct amd64_frame_cache *cache)
6d686a84 2400{
e17a4113
UW
2401 struct gdbarch *gdbarch = get_frame_arch (this_frame);
2402 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
d8de1ef7 2403 gdb_byte buf[8];
6d686a84 2404 int i;
6d686a84 2405
10458914 2406 cache->pc = get_frame_func (this_frame);
c4f35dd8 2407 if (cache->pc != 0)
e17a4113
UW
2408 amd64_analyze_prologue (gdbarch, cache->pc, get_frame_pc (this_frame),
2409 cache);
c4f35dd8
MK
2410
2411 if (cache->frameless_p)
2412 {
4a28816e
MK
2413 /* We didn't find a valid frame. If we're at the start of a
2414 function, or somewhere half-way its prologue, the function's
2415 frame probably hasn't been fully setup yet. Try to
2416 reconstruct the base address for the stack frame by looking
2417 at the stack pointer. For truly "frameless" functions this
2418 might work too. */
c4f35dd8 2419
e0c62198
L
2420 if (cache->saved_sp_reg != -1)
2421 {
8fbca658
PA
2422 /* Stack pointer has been saved. */
2423 get_frame_register (this_frame, cache->saved_sp_reg, buf);
2424 cache->saved_sp = extract_unsigned_integer (buf, 8, byte_order);
2425
e0c62198
L
2426 /* We're halfway aligning the stack. */
2427 cache->base = ((cache->saved_sp - 8) & 0xfffffffffffffff0LL) - 8;
2428 cache->saved_regs[AMD64_RIP_REGNUM] = cache->saved_sp - 8;
2429
2430 /* This will be added back below. */
2431 cache->saved_regs[AMD64_RIP_REGNUM] -= cache->base;
2432 }
2433 else
2434 {
2435 get_frame_register (this_frame, AMD64_RSP_REGNUM, buf);
e17a4113
UW
2436 cache->base = extract_unsigned_integer (buf, 8, byte_order)
2437 + cache->sp_offset;
e0c62198 2438 }
c4f35dd8 2439 }
35883a3f
MK
2440 else
2441 {
10458914 2442 get_frame_register (this_frame, AMD64_RBP_REGNUM, buf);
e17a4113 2443 cache->base = extract_unsigned_integer (buf, 8, byte_order);
35883a3f 2444 }
c4f35dd8
MK
2445
2446 /* Now that we have the base address for the stack frame we can
2447 calculate the value of %rsp in the calling frame. */
2448 cache->saved_sp = cache->base + 16;
2449
35883a3f
MK
2450 /* For normal frames, %rip is stored at 8(%rbp). If we don't have a
2451 frame we find it at the same offset from the reconstructed base
e0c62198
L
2452 address. If we're halfway aligning the stack, %rip is handled
2453 differently (see above). */
2454 if (!cache->frameless_p || cache->saved_sp_reg == -1)
2455 cache->saved_regs[AMD64_RIP_REGNUM] = 8;
35883a3f 2456
c4f35dd8
MK
2457 /* Adjust all the saved registers such that they contain addresses
2458 instead of offsets. */
e53bef9f 2459 for (i = 0; i < AMD64_NUM_SAVED_REGS; i++)
c4f35dd8
MK
2460 if (cache->saved_regs[i] != -1)
2461 cache->saved_regs[i] += cache->base;
2462
8fbca658
PA
2463 cache->base_p = 1;
2464}
2465
2466static struct amd64_frame_cache *
2467amd64_frame_cache (struct frame_info *this_frame, void **this_cache)
2468{
2469 volatile struct gdb_exception ex;
2470 struct amd64_frame_cache *cache;
2471
2472 if (*this_cache)
2473 return *this_cache;
2474
2475 cache = amd64_alloc_frame_cache ();
2476 *this_cache = cache;
2477
2478 TRY_CATCH (ex, RETURN_MASK_ERROR)
2479 {
2480 amd64_frame_cache_1 (this_frame, cache);
2481 }
2482 if (ex.reason < 0 && ex.error != NOT_AVAILABLE_ERROR)
2483 throw_exception (ex);
2484
c4f35dd8 2485 return cache;
6d686a84
ML
2486}
2487
8fbca658
PA
2488static enum unwind_stop_reason
2489amd64_frame_unwind_stop_reason (struct frame_info *this_frame,
2490 void **this_cache)
2491{
2492 struct amd64_frame_cache *cache =
2493 amd64_frame_cache (this_frame, this_cache);
2494
2495 if (!cache->base_p)
2496 return UNWIND_UNAVAILABLE;
2497
2498 /* This marks the outermost frame. */
2499 if (cache->base == 0)
2500 return UNWIND_OUTERMOST;
2501
2502 return UNWIND_NO_REASON;
2503}
2504
c4f35dd8 2505static void
10458914 2506amd64_frame_this_id (struct frame_info *this_frame, void **this_cache,
e53bef9f 2507 struct frame_id *this_id)
c4f35dd8 2508{
e53bef9f 2509 struct amd64_frame_cache *cache =
10458914 2510 amd64_frame_cache (this_frame, this_cache);
c4f35dd8 2511
8fbca658 2512 if (!cache->base_p)
5ce0145d
PA
2513 (*this_id) = frame_id_build_unavailable_stack (cache->pc);
2514 else if (cache->base == 0)
2515 {
2516 /* This marks the outermost frame. */
2517 return;
2518 }
2519 else
2520 (*this_id) = frame_id_build (cache->base + 16, cache->pc);
c4f35dd8 2521}
e76e1718 2522
10458914
DJ
2523static struct value *
2524amd64_frame_prev_register (struct frame_info *this_frame, void **this_cache,
2525 int regnum)
53e95fcf 2526{
10458914 2527 struct gdbarch *gdbarch = get_frame_arch (this_frame);
e53bef9f 2528 struct amd64_frame_cache *cache =
10458914 2529 amd64_frame_cache (this_frame, this_cache);
e76e1718 2530
c4f35dd8 2531 gdb_assert (regnum >= 0);
b1ab997b 2532
2ae02b47 2533 if (regnum == gdbarch_sp_regnum (gdbarch) && cache->saved_sp)
10458914 2534 return frame_unwind_got_constant (this_frame, regnum, cache->saved_sp);
e76e1718 2535
e53bef9f 2536 if (regnum < AMD64_NUM_SAVED_REGS && cache->saved_regs[regnum] != -1)
10458914
DJ
2537 return frame_unwind_got_memory (this_frame, regnum,
2538 cache->saved_regs[regnum]);
e76e1718 2539
10458914 2540 return frame_unwind_got_register (this_frame, regnum, regnum);
c4f35dd8 2541}
e76e1718 2542
e53bef9f 2543static const struct frame_unwind amd64_frame_unwind =
c4f35dd8
MK
2544{
2545 NORMAL_FRAME,
8fbca658 2546 amd64_frame_unwind_stop_reason,
e53bef9f 2547 amd64_frame_this_id,
10458914
DJ
2548 amd64_frame_prev_register,
2549 NULL,
2550 default_frame_sniffer
c4f35dd8 2551};
c4f35dd8 2552\f
6710bf39
SS
2553/* Generate a bytecode expression to get the value of the saved PC. */
2554
2555static void
2556amd64_gen_return_address (struct gdbarch *gdbarch,
2557 struct agent_expr *ax, struct axs_value *value,
2558 CORE_ADDR scope)
2559{
2560 /* The following sequence assumes the traditional use of the base
2561 register. */
2562 ax_reg (ax, AMD64_RBP_REGNUM);
2563 ax_const_l (ax, 8);
2564 ax_simple (ax, aop_add);
2565 value->type = register_type (gdbarch, AMD64_RIP_REGNUM);
2566 value->kind = axs_lvalue_memory;
2567}
2568\f
e76e1718 2569
c4f35dd8
MK
2570/* Signal trampolines. */
2571
2572/* FIXME: kettenis/20030419: Perhaps, we can unify the 32-bit and
2573 64-bit variants. This would require using identical frame caches
2574 on both platforms. */
2575
e53bef9f 2576static struct amd64_frame_cache *
10458914 2577amd64_sigtramp_frame_cache (struct frame_info *this_frame, void **this_cache)
c4f35dd8 2578{
e17a4113
UW
2579 struct gdbarch *gdbarch = get_frame_arch (this_frame);
2580 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
2581 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
8fbca658 2582 volatile struct gdb_exception ex;
e53bef9f 2583 struct amd64_frame_cache *cache;
c4f35dd8 2584 CORE_ADDR addr;
d8de1ef7 2585 gdb_byte buf[8];
2b5e0749 2586 int i;
c4f35dd8
MK
2587
2588 if (*this_cache)
2589 return *this_cache;
2590
e53bef9f 2591 cache = amd64_alloc_frame_cache ();
c4f35dd8 2592
8fbca658
PA
2593 TRY_CATCH (ex, RETURN_MASK_ERROR)
2594 {
2595 get_frame_register (this_frame, AMD64_RSP_REGNUM, buf);
2596 cache->base = extract_unsigned_integer (buf, 8, byte_order) - 8;
2597
2598 addr = tdep->sigcontext_addr (this_frame);
2599 gdb_assert (tdep->sc_reg_offset);
2600 gdb_assert (tdep->sc_num_regs <= AMD64_NUM_SAVED_REGS);
2601 for (i = 0; i < tdep->sc_num_regs; i++)
2602 if (tdep->sc_reg_offset[i] != -1)
2603 cache->saved_regs[i] = addr + tdep->sc_reg_offset[i];
c4f35dd8 2604
8fbca658
PA
2605 cache->base_p = 1;
2606 }
2607 if (ex.reason < 0 && ex.error != NOT_AVAILABLE_ERROR)
2608 throw_exception (ex);
c4f35dd8
MK
2609
2610 *this_cache = cache;
2611 return cache;
53e95fcf
JS
2612}
2613
8fbca658
PA
2614static enum unwind_stop_reason
2615amd64_sigtramp_frame_unwind_stop_reason (struct frame_info *this_frame,
2616 void **this_cache)
2617{
2618 struct amd64_frame_cache *cache =
2619 amd64_sigtramp_frame_cache (this_frame, this_cache);
2620
2621 if (!cache->base_p)
2622 return UNWIND_UNAVAILABLE;
2623
2624 return UNWIND_NO_REASON;
2625}
2626
c4f35dd8 2627static void
10458914 2628amd64_sigtramp_frame_this_id (struct frame_info *this_frame,
e53bef9f 2629 void **this_cache, struct frame_id *this_id)
c4f35dd8 2630{
e53bef9f 2631 struct amd64_frame_cache *cache =
10458914 2632 amd64_sigtramp_frame_cache (this_frame, this_cache);
c4f35dd8 2633
8fbca658 2634 if (!cache->base_p)
5ce0145d
PA
2635 (*this_id) = frame_id_build_unavailable_stack (get_frame_pc (this_frame));
2636 else if (cache->base == 0)
2637 {
2638 /* This marks the outermost frame. */
2639 return;
2640 }
2641 else
2642 (*this_id) = frame_id_build (cache->base + 16, get_frame_pc (this_frame));
c4f35dd8
MK
2643}
2644
10458914
DJ
2645static struct value *
2646amd64_sigtramp_frame_prev_register (struct frame_info *this_frame,
2647 void **this_cache, int regnum)
c4f35dd8
MK
2648{
2649 /* Make sure we've initialized the cache. */
10458914 2650 amd64_sigtramp_frame_cache (this_frame, this_cache);
c4f35dd8 2651
10458914 2652 return amd64_frame_prev_register (this_frame, this_cache, regnum);
c4f35dd8
MK
2653}
2654
10458914
DJ
2655static int
2656amd64_sigtramp_frame_sniffer (const struct frame_unwind *self,
2657 struct frame_info *this_frame,
2658 void **this_cache)
c4f35dd8 2659{
10458914 2660 struct gdbarch_tdep *tdep = gdbarch_tdep (get_frame_arch (this_frame));
911bc6ee
MK
2661
2662 /* We shouldn't even bother if we don't have a sigcontext_addr
2663 handler. */
2664 if (tdep->sigcontext_addr == NULL)
10458914 2665 return 0;
911bc6ee
MK
2666
2667 if (tdep->sigtramp_p != NULL)
2668 {
10458914
DJ
2669 if (tdep->sigtramp_p (this_frame))
2670 return 1;
911bc6ee 2671 }
c4f35dd8 2672
911bc6ee 2673 if (tdep->sigtramp_start != 0)
1c3545ae 2674 {
10458914 2675 CORE_ADDR pc = get_frame_pc (this_frame);
1c3545ae 2676
911bc6ee
MK
2677 gdb_assert (tdep->sigtramp_end != 0);
2678 if (pc >= tdep->sigtramp_start && pc < tdep->sigtramp_end)
10458914 2679 return 1;
1c3545ae 2680 }
c4f35dd8 2681
10458914 2682 return 0;
c4f35dd8 2683}
10458914
DJ
2684
2685static const struct frame_unwind amd64_sigtramp_frame_unwind =
2686{
2687 SIGTRAMP_FRAME,
8fbca658 2688 amd64_sigtramp_frame_unwind_stop_reason,
10458914
DJ
2689 amd64_sigtramp_frame_this_id,
2690 amd64_sigtramp_frame_prev_register,
2691 NULL,
2692 amd64_sigtramp_frame_sniffer
2693};
c4f35dd8
MK
2694\f
2695
2696static CORE_ADDR
10458914 2697amd64_frame_base_address (struct frame_info *this_frame, void **this_cache)
c4f35dd8 2698{
e53bef9f 2699 struct amd64_frame_cache *cache =
10458914 2700 amd64_frame_cache (this_frame, this_cache);
c4f35dd8
MK
2701
2702 return cache->base;
2703}
2704
e53bef9f 2705static const struct frame_base amd64_frame_base =
c4f35dd8 2706{
e53bef9f
MK
2707 &amd64_frame_unwind,
2708 amd64_frame_base_address,
2709 amd64_frame_base_address,
2710 amd64_frame_base_address
c4f35dd8
MK
2711};
2712
872761f4
MS
2713/* Normal frames, but in a function epilogue. */
2714
2715/* The epilogue is defined here as the 'ret' instruction, which will
2716 follow any instruction such as 'leave' or 'pop %ebp' that destroys
2717 the function's stack frame. */
2718
2719static int
2720amd64_in_function_epilogue_p (struct gdbarch *gdbarch, CORE_ADDR pc)
2721{
2722 gdb_byte insn;
43f3e411 2723 struct compunit_symtab *cust;
e0d00bc7 2724
43f3e411
DE
2725 cust = find_pc_compunit_symtab (pc);
2726 if (cust != NULL && COMPUNIT_EPILOGUE_UNWIND_VALID (cust))
e0d00bc7 2727 return 0;
872761f4
MS
2728
2729 if (target_read_memory (pc, &insn, 1))
2730 return 0; /* Can't read memory at pc. */
2731
2732 if (insn != 0xc3) /* 'ret' instruction. */
2733 return 0;
2734
2735 return 1;
2736}
2737
2738static int
2739amd64_epilogue_frame_sniffer (const struct frame_unwind *self,
2740 struct frame_info *this_frame,
2741 void **this_prologue_cache)
2742{
2743 if (frame_relative_level (this_frame) == 0)
2744 return amd64_in_function_epilogue_p (get_frame_arch (this_frame),
2745 get_frame_pc (this_frame));
2746 else
2747 return 0;
2748}
2749
2750static struct amd64_frame_cache *
2751amd64_epilogue_frame_cache (struct frame_info *this_frame, void **this_cache)
2752{
2753 struct gdbarch *gdbarch = get_frame_arch (this_frame);
2754 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
8fbca658 2755 volatile struct gdb_exception ex;
872761f4 2756 struct amd64_frame_cache *cache;
6c10c06b 2757 gdb_byte buf[8];
872761f4
MS
2758
2759 if (*this_cache)
2760 return *this_cache;
2761
2762 cache = amd64_alloc_frame_cache ();
2763 *this_cache = cache;
2764
8fbca658
PA
2765 TRY_CATCH (ex, RETURN_MASK_ERROR)
2766 {
2767 /* Cache base will be %esp plus cache->sp_offset (-8). */
2768 get_frame_register (this_frame, AMD64_RSP_REGNUM, buf);
2769 cache->base = extract_unsigned_integer (buf, 8,
2770 byte_order) + cache->sp_offset;
2771
2772 /* Cache pc will be the frame func. */
2773 cache->pc = get_frame_pc (this_frame);
872761f4 2774
8fbca658
PA
2775 /* The saved %esp will be at cache->base plus 16. */
2776 cache->saved_sp = cache->base + 16;
872761f4 2777
8fbca658
PA
2778 /* The saved %eip will be at cache->base plus 8. */
2779 cache->saved_regs[AMD64_RIP_REGNUM] = cache->base + 8;
872761f4 2780
8fbca658
PA
2781 cache->base_p = 1;
2782 }
2783 if (ex.reason < 0 && ex.error != NOT_AVAILABLE_ERROR)
2784 throw_exception (ex);
872761f4
MS
2785
2786 return cache;
2787}
2788
8fbca658
PA
2789static enum unwind_stop_reason
2790amd64_epilogue_frame_unwind_stop_reason (struct frame_info *this_frame,
2791 void **this_cache)
2792{
2793 struct amd64_frame_cache *cache
2794 = amd64_epilogue_frame_cache (this_frame, this_cache);
2795
2796 if (!cache->base_p)
2797 return UNWIND_UNAVAILABLE;
2798
2799 return UNWIND_NO_REASON;
2800}
2801
872761f4
MS
2802static void
2803amd64_epilogue_frame_this_id (struct frame_info *this_frame,
2804 void **this_cache,
2805 struct frame_id *this_id)
2806{
2807 struct amd64_frame_cache *cache = amd64_epilogue_frame_cache (this_frame,
2808 this_cache);
2809
8fbca658 2810 if (!cache->base_p)
5ce0145d
PA
2811 (*this_id) = frame_id_build_unavailable_stack (cache->pc);
2812 else
2813 (*this_id) = frame_id_build (cache->base + 8, cache->pc);
872761f4
MS
2814}
2815
2816static const struct frame_unwind amd64_epilogue_frame_unwind =
2817{
2818 NORMAL_FRAME,
8fbca658 2819 amd64_epilogue_frame_unwind_stop_reason,
872761f4
MS
2820 amd64_epilogue_frame_this_id,
2821 amd64_frame_prev_register,
2822 NULL,
2823 amd64_epilogue_frame_sniffer
2824};
2825
166f4c7b 2826static struct frame_id
10458914 2827amd64_dummy_id (struct gdbarch *gdbarch, struct frame_info *this_frame)
166f4c7b 2828{
c4f35dd8
MK
2829 CORE_ADDR fp;
2830
10458914 2831 fp = get_frame_register_unsigned (this_frame, AMD64_RBP_REGNUM);
c4f35dd8 2832
10458914 2833 return frame_id_build (fp + 16, get_frame_pc (this_frame));
166f4c7b
ML
2834}
2835
8b148df9
AC
2836/* 16 byte align the SP per frame requirements. */
2837
2838static CORE_ADDR
e53bef9f 2839amd64_frame_align (struct gdbarch *gdbarch, CORE_ADDR sp)
8b148df9
AC
2840{
2841 return sp & -(CORE_ADDR)16;
2842}
473f17b0
MK
2843\f
2844
593adc23
MK
2845/* Supply register REGNUM from the buffer specified by FPREGS and LEN
2846 in the floating-point register set REGSET to register cache
2847 REGCACHE. If REGNUM is -1, do this for all registers in REGSET. */
473f17b0
MK
2848
2849static void
e53bef9f
MK
2850amd64_supply_fpregset (const struct regset *regset, struct regcache *regcache,
2851 int regnum, const void *fpregs, size_t len)
473f17b0 2852{
09424cff
AA
2853 struct gdbarch *gdbarch = get_regcache_arch (regcache);
2854 const struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
473f17b0 2855
1528345d 2856 gdb_assert (len >= tdep->sizeof_fpregset);
90f90721 2857 amd64_supply_fxsave (regcache, regnum, fpregs);
473f17b0 2858}
8b148df9 2859
593adc23
MK
2860/* Collect register REGNUM from the register cache REGCACHE and store
2861 it in the buffer specified by FPREGS and LEN as described by the
2862 floating-point register set REGSET. If REGNUM is -1, do this for
2863 all registers in REGSET. */
2864
2865static void
2866amd64_collect_fpregset (const struct regset *regset,
2867 const struct regcache *regcache,
2868 int regnum, void *fpregs, size_t len)
2869{
09424cff
AA
2870 struct gdbarch *gdbarch = get_regcache_arch (regcache);
2871 const struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
593adc23 2872
1528345d 2873 gdb_assert (len >= tdep->sizeof_fpregset);
593adc23
MK
2874 amd64_collect_fxsave (regcache, regnum, fpregs);
2875}
2876
8f0435f7 2877const struct regset amd64_fpregset =
ecc37a5a
AA
2878 {
2879 NULL, amd64_supply_fpregset, amd64_collect_fpregset
2880 };
c6b33596
MK
2881\f
2882
436675d3
PA
2883/* Figure out where the longjmp will land. Slurp the jmp_buf out of
2884 %rdi. We expect its value to be a pointer to the jmp_buf structure
2885 from which we extract the address that we will land at. This
2886 address is copied into PC. This routine returns non-zero on
2887 success. */
2888
2889static int
2890amd64_get_longjmp_target (struct frame_info *frame, CORE_ADDR *pc)
2891{
2892 gdb_byte buf[8];
2893 CORE_ADDR jb_addr;
2894 struct gdbarch *gdbarch = get_frame_arch (frame);
2895 int jb_pc_offset = gdbarch_tdep (gdbarch)->jb_pc_offset;
0dfff4cb 2896 int len = TYPE_LENGTH (builtin_type (gdbarch)->builtin_func_ptr);
436675d3
PA
2897
2898 /* If JB_PC_OFFSET is -1, we have no way to find out where the
2899 longjmp will land. */
2900 if (jb_pc_offset == -1)
2901 return 0;
2902
2903 get_frame_register (frame, AMD64_RDI_REGNUM, buf);
0dfff4cb
UW
2904 jb_addr= extract_typed_address
2905 (buf, builtin_type (gdbarch)->builtin_data_ptr);
436675d3
PA
2906 if (target_read_memory (jb_addr + jb_pc_offset, buf, len))
2907 return 0;
2908
0dfff4cb 2909 *pc = extract_typed_address (buf, builtin_type (gdbarch)->builtin_func_ptr);
436675d3
PA
2910
2911 return 1;
2912}
2913
cf648174
HZ
2914static const int amd64_record_regmap[] =
2915{
2916 AMD64_RAX_REGNUM, AMD64_RCX_REGNUM, AMD64_RDX_REGNUM, AMD64_RBX_REGNUM,
2917 AMD64_RSP_REGNUM, AMD64_RBP_REGNUM, AMD64_RSI_REGNUM, AMD64_RDI_REGNUM,
2918 AMD64_R8_REGNUM, AMD64_R9_REGNUM, AMD64_R10_REGNUM, AMD64_R11_REGNUM,
2919 AMD64_R12_REGNUM, AMD64_R13_REGNUM, AMD64_R14_REGNUM, AMD64_R15_REGNUM,
2920 AMD64_RIP_REGNUM, AMD64_EFLAGS_REGNUM, AMD64_CS_REGNUM, AMD64_SS_REGNUM,
2921 AMD64_DS_REGNUM, AMD64_ES_REGNUM, AMD64_FS_REGNUM, AMD64_GS_REGNUM
2922};
2923
2213a65d 2924void
90f90721 2925amd64_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch)
53e95fcf 2926{
0c1a73d6 2927 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
90884b2b 2928 const struct target_desc *tdesc = info.target_desc;
05c0465e
SDJ
2929 static const char *const stap_integer_prefixes[] = { "$", NULL };
2930 static const char *const stap_register_prefixes[] = { "%", NULL };
2931 static const char *const stap_register_indirection_prefixes[] = { "(",
2932 NULL };
2933 static const char *const stap_register_indirection_suffixes[] = { ")",
2934 NULL };
53e95fcf 2935
473f17b0
MK
2936 /* AMD64 generally uses `fxsave' instead of `fsave' for saving its
2937 floating-point registers. */
2938 tdep->sizeof_fpregset = I387_SIZEOF_FXSAVE;
8f0435f7 2939 tdep->fpregset = &amd64_fpregset;
473f17b0 2940
90884b2b
L
2941 if (! tdesc_has_registers (tdesc))
2942 tdesc = tdesc_amd64;
2943 tdep->tdesc = tdesc;
2944
2945 tdep->num_core_regs = AMD64_NUM_GREGS + I387_NUM_REGS;
2946 tdep->register_names = amd64_register_names;
2947
01f9f808
MS
2948 if (tdesc_find_feature (tdesc, "org.gnu.gdb.i386.avx512") != NULL)
2949 {
2950 tdep->zmmh_register_names = amd64_zmmh_names;
2951 tdep->k_register_names = amd64_k_names;
2952 tdep->xmm_avx512_register_names = amd64_xmm_avx512_names;
2953 tdep->ymm16h_register_names = amd64_ymmh_avx512_names;
2954
2955 tdep->num_zmm_regs = 32;
2956 tdep->num_xmm_avx512_regs = 16;
2957 tdep->num_ymm_avx512_regs = 16;
2958
2959 tdep->zmm0h_regnum = AMD64_ZMM0H_REGNUM;
2960 tdep->k0_regnum = AMD64_K0_REGNUM;
2961 tdep->xmm16_regnum = AMD64_XMM16_REGNUM;
2962 tdep->ymm16h_regnum = AMD64_YMM16H_REGNUM;
2963 }
2964
a055a187
L
2965 if (tdesc_find_feature (tdesc, "org.gnu.gdb.i386.avx") != NULL)
2966 {
2967 tdep->ymmh_register_names = amd64_ymmh_names;
2968 tdep->num_ymm_regs = 16;
2969 tdep->ymm0h_regnum = AMD64_YMM0H_REGNUM;
2970 }
2971
e43e105e
WT
2972 if (tdesc_find_feature (tdesc, "org.gnu.gdb.i386.mpx") != NULL)
2973 {
2974 tdep->mpx_register_names = amd64_mpx_names;
2975 tdep->bndcfgu_regnum = AMD64_BNDCFGU_REGNUM;
2976 tdep->bnd0r_regnum = AMD64_BND0R_REGNUM;
2977 }
2978
fe01d668 2979 tdep->num_byte_regs = 20;
1ba53b71
L
2980 tdep->num_word_regs = 16;
2981 tdep->num_dword_regs = 16;
2982 /* Avoid wiring in the MMX registers for now. */
2983 tdep->num_mmx_regs = 0;
2984
3543a589
TT
2985 set_gdbarch_pseudo_register_read_value (gdbarch,
2986 amd64_pseudo_register_read_value);
1ba53b71
L
2987 set_gdbarch_pseudo_register_write (gdbarch,
2988 amd64_pseudo_register_write);
2989
2990 set_tdesc_pseudo_register_name (gdbarch, amd64_pseudo_register_name);
2991
5716833c 2992 /* AMD64 has an FPU and 16 SSE registers. */
90f90721 2993 tdep->st0_regnum = AMD64_ST0_REGNUM;
0c1a73d6 2994 tdep->num_xmm_regs = 16;
53e95fcf 2995
0c1a73d6 2996 /* This is what all the fuss is about. */
53e95fcf
JS
2997 set_gdbarch_long_bit (gdbarch, 64);
2998 set_gdbarch_long_long_bit (gdbarch, 64);
2999 set_gdbarch_ptr_bit (gdbarch, 64);
3000
e53bef9f
MK
3001 /* In contrast to the i386, on AMD64 a `long double' actually takes
3002 up 128 bits, even though it's still based on the i387 extended
3003 floating-point format which has only 80 significant bits. */
b83b026c
MK
3004 set_gdbarch_long_double_bit (gdbarch, 128);
3005
e53bef9f 3006 set_gdbarch_num_regs (gdbarch, AMD64_NUM_REGS);
b83b026c
MK
3007
3008 /* Register numbers of various important registers. */
90f90721
MK
3009 set_gdbarch_sp_regnum (gdbarch, AMD64_RSP_REGNUM); /* %rsp */
3010 set_gdbarch_pc_regnum (gdbarch, AMD64_RIP_REGNUM); /* %rip */
3011 set_gdbarch_ps_regnum (gdbarch, AMD64_EFLAGS_REGNUM); /* %eflags */
3012 set_gdbarch_fp0_regnum (gdbarch, AMD64_ST0_REGNUM); /* %st(0) */
b83b026c 3013
e53bef9f
MK
3014 /* The "default" register numbering scheme for AMD64 is referred to
3015 as the "DWARF Register Number Mapping" in the System V psABI.
3016 The preferred debugging format for all known AMD64 targets is
3017 actually DWARF2, and GCC doesn't seem to support DWARF (that is
3018 DWARF-1), but we provide the same mapping just in case. This
3019 mapping is also used for stabs, which GCC does support. */
3020 set_gdbarch_stab_reg_to_regnum (gdbarch, amd64_dwarf_reg_to_regnum);
e53bef9f 3021 set_gdbarch_dwarf2_reg_to_regnum (gdbarch, amd64_dwarf_reg_to_regnum);
de220d0f 3022
c4f35dd8 3023 /* We don't override SDB_REG_RO_REGNUM, since COFF doesn't seem to
e53bef9f 3024 be in use on any of the supported AMD64 targets. */
53e95fcf 3025
c4f35dd8 3026 /* Call dummy code. */
e53bef9f
MK
3027 set_gdbarch_push_dummy_call (gdbarch, amd64_push_dummy_call);
3028 set_gdbarch_frame_align (gdbarch, amd64_frame_align);
8b148df9 3029 set_gdbarch_frame_red_zone_size (gdbarch, 128);
53e95fcf 3030
83acabca 3031 set_gdbarch_convert_register_p (gdbarch, i387_convert_register_p);
d532c08f
MK
3032 set_gdbarch_register_to_value (gdbarch, i387_register_to_value);
3033 set_gdbarch_value_to_register (gdbarch, i387_value_to_register);
3034
efb1c01c 3035 set_gdbarch_return_value (gdbarch, amd64_return_value);
53e95fcf 3036
e53bef9f 3037 set_gdbarch_skip_prologue (gdbarch, amd64_skip_prologue);
53e95fcf 3038
cf648174
HZ
3039 tdep->record_regmap = amd64_record_regmap;
3040
10458914 3041 set_gdbarch_dummy_id (gdbarch, amd64_dummy_id);
53e95fcf 3042
872761f4
MS
3043 /* Hook the function epilogue frame unwinder. This unwinder is
3044 appended to the list first, so that it supercedes the other
3045 unwinders in function epilogues. */
3046 frame_unwind_prepend_unwinder (gdbarch, &amd64_epilogue_frame_unwind);
3047
3048 /* Hook the prologue-based frame unwinders. */
10458914
DJ
3049 frame_unwind_append_unwinder (gdbarch, &amd64_sigtramp_frame_unwind);
3050 frame_unwind_append_unwinder (gdbarch, &amd64_frame_unwind);
e53bef9f 3051 frame_base_set_default (gdbarch, &amd64_frame_base);
c6b33596 3052
436675d3 3053 set_gdbarch_get_longjmp_target (gdbarch, amd64_get_longjmp_target);
dde08ee1
PA
3054
3055 set_gdbarch_relocate_instruction (gdbarch, amd64_relocate_instruction);
6710bf39
SS
3056
3057 set_gdbarch_gen_return_address (gdbarch, amd64_gen_return_address);
55aa24fb
SDJ
3058
3059 /* SystemTap variables and functions. */
05c0465e
SDJ
3060 set_gdbarch_stap_integer_prefixes (gdbarch, stap_integer_prefixes);
3061 set_gdbarch_stap_register_prefixes (gdbarch, stap_register_prefixes);
3062 set_gdbarch_stap_register_indirection_prefixes (gdbarch,
3063 stap_register_indirection_prefixes);
3064 set_gdbarch_stap_register_indirection_suffixes (gdbarch,
3065 stap_register_indirection_suffixes);
55aa24fb
SDJ
3066 set_gdbarch_stap_is_single_operand (gdbarch,
3067 i386_stap_is_single_operand);
3068 set_gdbarch_stap_parse_special_token (gdbarch,
3069 i386_stap_parse_special_token);
c2170eef
MM
3070 set_gdbarch_insn_is_call (gdbarch, amd64_insn_is_call);
3071 set_gdbarch_insn_is_ret (gdbarch, amd64_insn_is_ret);
3072 set_gdbarch_insn_is_jump (gdbarch, amd64_insn_is_jump);
c4f35dd8 3073}
fff4548b
MK
3074\f
3075
3076static struct type *
3077amd64_x32_pseudo_register_type (struct gdbarch *gdbarch, int regnum)
3078{
3079 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3080
3081 switch (regnum - tdep->eax_regnum)
3082 {
3083 case AMD64_RBP_REGNUM: /* %ebp */
3084 case AMD64_RSP_REGNUM: /* %esp */
3085 return builtin_type (gdbarch)->builtin_data_ptr;
3086 case AMD64_RIP_REGNUM: /* %eip */
3087 return builtin_type (gdbarch)->builtin_func_ptr;
3088 }
3089
3090 return i386_pseudo_register_type (gdbarch, regnum);
3091}
3092
3093void
3094amd64_x32_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch)
3095{
3096 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3097 const struct target_desc *tdesc = info.target_desc;
3098
3099 amd64_init_abi (info, gdbarch);
3100
3101 if (! tdesc_has_registers (tdesc))
3102 tdesc = tdesc_x32;
3103 tdep->tdesc = tdesc;
3104
3105 tdep->num_dword_regs = 17;
3106 set_tdesc_pseudo_register_type (gdbarch, amd64_x32_pseudo_register_type);
3107
3108 set_gdbarch_long_bit (gdbarch, 32);
3109 set_gdbarch_ptr_bit (gdbarch, 32);
3110}
90884b2b
L
3111
3112/* Provide a prototype to silence -Wmissing-prototypes. */
3113void _initialize_amd64_tdep (void);
3114
3115void
3116_initialize_amd64_tdep (void)
3117{
3118 initialize_tdesc_amd64 ();
a055a187 3119 initialize_tdesc_amd64_avx ();
e43e105e 3120 initialize_tdesc_amd64_mpx ();
01f9f808
MS
3121 initialize_tdesc_amd64_avx512 ();
3122
ac1438b5
L
3123 initialize_tdesc_x32 ();
3124 initialize_tdesc_x32_avx ();
01f9f808 3125 initialize_tdesc_x32_avx512 ();
90884b2b 3126}
c4f35dd8
MK
3127\f
3128
41d041d6
MK
3129/* The 64-bit FXSAVE format differs from the 32-bit format in the
3130 sense that the instruction pointer and data pointer are simply
3131 64-bit offsets into the code segment and the data segment instead
3132 of a selector offset pair. The functions below store the upper 32
3133 bits of these pointers (instead of just the 16-bits of the segment
3134 selector). */
3135
3136/* Fill register REGNUM in REGCACHE with the appropriate
0485f6ad
MK
3137 floating-point or SSE register value from *FXSAVE. If REGNUM is
3138 -1, do this for all registers. This function masks off any of the
3139 reserved bits in *FXSAVE. */
c4f35dd8
MK
3140
3141void
90f90721 3142amd64_supply_fxsave (struct regcache *regcache, int regnum,
20a6ec49 3143 const void *fxsave)
c4f35dd8 3144{
20a6ec49
MD
3145 struct gdbarch *gdbarch = get_regcache_arch (regcache);
3146 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3147
41d041d6 3148 i387_supply_fxsave (regcache, regnum, fxsave);
c4f35dd8 3149
233dfcf0
L
3150 if (fxsave
3151 && gdbarch_bfd_arch_info (gdbarch)->bits_per_word == 64)
c4f35dd8 3152 {
d8de1ef7 3153 const gdb_byte *regs = fxsave;
41d041d6 3154
20a6ec49
MD
3155 if (regnum == -1 || regnum == I387_FISEG_REGNUM (tdep))
3156 regcache_raw_supply (regcache, I387_FISEG_REGNUM (tdep), regs + 12);
3157 if (regnum == -1 || regnum == I387_FOSEG_REGNUM (tdep))
3158 regcache_raw_supply (regcache, I387_FOSEG_REGNUM (tdep), regs + 20);
c4f35dd8 3159 }
0c1a73d6
MK
3160}
3161
a055a187
L
3162/* Similar to amd64_supply_fxsave, but use XSAVE extended state. */
3163
3164void
3165amd64_supply_xsave (struct regcache *regcache, int regnum,
3166 const void *xsave)
3167{
3168 struct gdbarch *gdbarch = get_regcache_arch (regcache);
3169 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3170
3171 i387_supply_xsave (regcache, regnum, xsave);
3172
233dfcf0
L
3173 if (xsave
3174 && gdbarch_bfd_arch_info (gdbarch)->bits_per_word == 64)
a055a187
L
3175 {
3176 const gdb_byte *regs = xsave;
3177
3178 if (regnum == -1 || regnum == I387_FISEG_REGNUM (tdep))
3179 regcache_raw_supply (regcache, I387_FISEG_REGNUM (tdep),
3180 regs + 12);
3181 if (regnum == -1 || regnum == I387_FOSEG_REGNUM (tdep))
3182 regcache_raw_supply (regcache, I387_FOSEG_REGNUM (tdep),
3183 regs + 20);
3184 }
3185}
3186
3c017e40
MK
3187/* Fill register REGNUM (if it is a floating-point or SSE register) in
3188 *FXSAVE with the value from REGCACHE. If REGNUM is -1, do this for
3189 all registers. This function doesn't touch any of the reserved
3190 bits in *FXSAVE. */
3191
3192void
3193amd64_collect_fxsave (const struct regcache *regcache, int regnum,
3194 void *fxsave)
3195{
20a6ec49
MD
3196 struct gdbarch *gdbarch = get_regcache_arch (regcache);
3197 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
d8de1ef7 3198 gdb_byte *regs = fxsave;
3c017e40
MK
3199
3200 i387_collect_fxsave (regcache, regnum, fxsave);
3201
233dfcf0 3202 if (gdbarch_bfd_arch_info (gdbarch)->bits_per_word == 64)
f0ef85a5 3203 {
20a6ec49
MD
3204 if (regnum == -1 || regnum == I387_FISEG_REGNUM (tdep))
3205 regcache_raw_collect (regcache, I387_FISEG_REGNUM (tdep), regs + 12);
3206 if (regnum == -1 || regnum == I387_FOSEG_REGNUM (tdep))
3207 regcache_raw_collect (regcache, I387_FOSEG_REGNUM (tdep), regs + 20);
f0ef85a5 3208 }
3c017e40 3209}
a055a187 3210
7a9dd1b2 3211/* Similar to amd64_collect_fxsave, but use XSAVE extended state. */
a055a187
L
3212
3213void
3214amd64_collect_xsave (const struct regcache *regcache, int regnum,
3215 void *xsave, int gcore)
3216{
3217 struct gdbarch *gdbarch = get_regcache_arch (regcache);
3218 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3219 gdb_byte *regs = xsave;
3220
3221 i387_collect_xsave (regcache, regnum, xsave, gcore);
3222
233dfcf0 3223 if (gdbarch_bfd_arch_info (gdbarch)->bits_per_word == 64)
a055a187
L
3224 {
3225 if (regnum == -1 || regnum == I387_FISEG_REGNUM (tdep))
3226 regcache_raw_collect (regcache, I387_FISEG_REGNUM (tdep),
3227 regs + 12);
3228 if (regnum == -1 || regnum == I387_FOSEG_REGNUM (tdep))
3229 regcache_raw_collect (regcache, I387_FOSEG_REGNUM (tdep),
3230 regs + 20);
3231 }
3232}
This page took 1.762756 seconds and 4 git commands to generate.