1 /* Intel 387 floating point stuff.
3 Copyright (C) 1988-2019 Free Software Foundation, Inc.
5 This file is part of GDB.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
26 #include "target-float.h"
29 #include "i386-tdep.h"
30 #include "i387-tdep.h"
31 #include "gdbsupport/x86-xstate.h"
33 /* Print the floating point number specified by RAW. */
36 print_i387_value (struct gdbarch
*gdbarch
,
37 const gdb_byte
*raw
, struct ui_file
*file
)
39 /* We try to print 19 digits. The last digit may or may not contain
40 garbage, but we'd better print one too many. We need enough room
41 to print the value, 1 position for the sign, 1 for the decimal
42 point, 19 for the digits and 6 for the exponent adds up to 27. */
43 const struct type
*type
= i387_ext_type (gdbarch
);
44 std::string str
= target_float_to_string (raw
, type
, " %-+27.19g");
45 fprintf_filtered (file
, "%s", str
.c_str ());
48 /* Print the classification for the register contents RAW. */
51 print_i387_ext (struct gdbarch
*gdbarch
,
52 const gdb_byte
*raw
, struct ui_file
*file
)
56 unsigned int exponent
;
57 unsigned long fraction
[2];
60 integer
= raw
[7] & 0x80;
61 exponent
= (((raw
[9] & 0x7f) << 8) | raw
[8]);
62 fraction
[0] = ((raw
[3] << 24) | (raw
[2] << 16) | (raw
[1] << 8) | raw
[0]);
63 fraction
[1] = (((raw
[7] & 0x7f) << 24) | (raw
[6] << 16)
64 | (raw
[5] << 8) | raw
[4]);
66 if (exponent
== 0x7fff && integer
)
68 if (fraction
[0] == 0x00000000 && fraction
[1] == 0x00000000)
70 fprintf_filtered (file
, " %cInf", (sign
? '-' : '+'));
71 else if (sign
&& fraction
[0] == 0x00000000 && fraction
[1] == 0x40000000)
72 /* Real Indefinite (QNaN). */
73 fputs_unfiltered (" Real Indefinite (QNaN)", file
);
74 else if (fraction
[1] & 0x40000000)
76 fputs_filtered (" QNaN", file
);
79 fputs_filtered (" SNaN", file
);
81 else if (exponent
< 0x7fff && exponent
> 0x0000 && integer
)
83 print_i387_value (gdbarch
, raw
, file
);
84 else if (exponent
== 0x0000)
86 /* Denormal or zero. */
87 print_i387_value (gdbarch
, raw
, file
);
90 /* Pseudo-denormal. */
91 fputs_filtered (" Pseudo-denormal", file
);
92 else if (fraction
[0] || fraction
[1])
94 fputs_filtered (" Denormal", file
);
98 fputs_filtered (" Unsupported", file
);
101 /* Print the status word STATUS. If STATUS_P is false, then STATUS
105 print_i387_status_word (int status_p
,
106 unsigned int status
, struct ui_file
*file
)
108 fprintf_filtered (file
, "Status Word: ");
111 fprintf_filtered (file
, "%s\n", _("<unavailable>"));
115 fprintf_filtered (file
, "%s", hex_string_custom (status
, 4));
116 fputs_filtered (" ", file
);
117 fprintf_filtered (file
, " %s", (status
& 0x0001) ? "IE" : " ");
118 fprintf_filtered (file
, " %s", (status
& 0x0002) ? "DE" : " ");
119 fprintf_filtered (file
, " %s", (status
& 0x0004) ? "ZE" : " ");
120 fprintf_filtered (file
, " %s", (status
& 0x0008) ? "OE" : " ");
121 fprintf_filtered (file
, " %s", (status
& 0x0010) ? "UE" : " ");
122 fprintf_filtered (file
, " %s", (status
& 0x0020) ? "PE" : " ");
123 fputs_filtered (" ", file
);
124 fprintf_filtered (file
, " %s", (status
& 0x0080) ? "ES" : " ");
125 fputs_filtered (" ", file
);
126 fprintf_filtered (file
, " %s", (status
& 0x0040) ? "SF" : " ");
127 fputs_filtered (" ", file
);
128 fprintf_filtered (file
, " %s", (status
& 0x0100) ? "C0" : " ");
129 fprintf_filtered (file
, " %s", (status
& 0x0200) ? "C1" : " ");
130 fprintf_filtered (file
, " %s", (status
& 0x0400) ? "C2" : " ");
131 fprintf_filtered (file
, " %s", (status
& 0x4000) ? "C3" : " ");
133 fputs_filtered ("\n", file
);
135 fprintf_filtered (file
,
136 " TOP: %d\n", ((status
>> 11) & 7));
139 /* Print the control word CONTROL. If CONTROL_P is false, then
140 CONTROL was unavailable. */
143 print_i387_control_word (int control_p
,
144 unsigned int control
, struct ui_file
*file
)
146 fprintf_filtered (file
, "Control Word: ");
149 fprintf_filtered (file
, "%s\n", _("<unavailable>"));
153 fprintf_filtered (file
, "%s", hex_string_custom (control
, 4));
154 fputs_filtered (" ", file
);
155 fprintf_filtered (file
, " %s", (control
& 0x0001) ? "IM" : " ");
156 fprintf_filtered (file
, " %s", (control
& 0x0002) ? "DM" : " ");
157 fprintf_filtered (file
, " %s", (control
& 0x0004) ? "ZM" : " ");
158 fprintf_filtered (file
, " %s", (control
& 0x0008) ? "OM" : " ");
159 fprintf_filtered (file
, " %s", (control
& 0x0010) ? "UM" : " ");
160 fprintf_filtered (file
, " %s", (control
& 0x0020) ? "PM" : " ");
162 fputs_filtered ("\n", file
);
164 fputs_filtered (" PC: ", file
);
165 switch ((control
>> 8) & 3)
168 fputs_filtered ("Single Precision (24-bits)\n", file
);
171 fputs_filtered ("Reserved\n", file
);
174 fputs_filtered ("Double Precision (53-bits)\n", file
);
177 fputs_filtered ("Extended Precision (64-bits)\n", file
);
181 fputs_filtered (" RC: ", file
);
182 switch ((control
>> 10) & 3)
185 fputs_filtered ("Round to nearest\n", file
);
188 fputs_filtered ("Round down\n", file
);
191 fputs_filtered ("Round up\n", file
);
194 fputs_filtered ("Round toward zero\n", file
);
199 /* Print out the i387 floating point state. Note that we ignore FRAME
200 in the code below. That's OK since floating-point registers are
201 never saved on the stack. */
204 i387_print_float_info (struct gdbarch
*gdbarch
, struct ui_file
*file
,
205 struct frame_info
*frame
, const char *args
)
207 struct gdbarch_tdep
*tdep
= gdbarch_tdep (get_frame_arch (frame
));
227 gdb_assert (gdbarch
== get_frame_arch (frame
));
229 fctrl_p
= read_frame_register_unsigned (frame
,
230 I387_FCTRL_REGNUM (tdep
), &fctrl
);
231 fstat_p
= read_frame_register_unsigned (frame
,
232 I387_FSTAT_REGNUM (tdep
), &fstat
);
233 ftag_p
= read_frame_register_unsigned (frame
,
234 I387_FTAG_REGNUM (tdep
), &ftag
);
235 fiseg_p
= read_frame_register_unsigned (frame
,
236 I387_FISEG_REGNUM (tdep
), &fiseg
);
237 fioff_p
= read_frame_register_unsigned (frame
,
238 I387_FIOFF_REGNUM (tdep
), &fioff
);
239 foseg_p
= read_frame_register_unsigned (frame
,
240 I387_FOSEG_REGNUM (tdep
), &foseg
);
241 fooff_p
= read_frame_register_unsigned (frame
,
242 I387_FOOFF_REGNUM (tdep
), &fooff
);
243 fop_p
= read_frame_register_unsigned (frame
,
244 I387_FOP_REGNUM (tdep
), &fop
);
248 top
= ((fstat
>> 11) & 7);
250 for (fpreg
= 7; fpreg
>= 0; fpreg
--)
252 struct value
*regval
;
257 fprintf_filtered (file
, "%sR%d: ", fpreg
== top
? "=>" : " ", fpreg
);
261 tag
= (ftag
>> (fpreg
* 2)) & 3;
266 fputs_filtered ("Valid ", file
);
269 fputs_filtered ("Zero ", file
);
272 fputs_filtered ("Special ", file
);
275 fputs_filtered ("Empty ", file
);
280 fputs_filtered ("Unknown ", file
);
282 regnum
= (fpreg
+ 8 - top
) % 8 + I387_ST0_REGNUM (tdep
);
283 regval
= get_frame_register_value (frame
, regnum
);
285 if (value_entirely_available (regval
))
287 const gdb_byte
*raw
= value_contents (regval
);
289 fputs_filtered ("0x", file
);
290 for (i
= 9; i
>= 0; i
--)
291 fprintf_filtered (file
, "%02x", raw
[i
]);
293 if (tag
!= -1 && tag
!= 3)
294 print_i387_ext (gdbarch
, raw
, file
);
297 fprintf_filtered (file
, "%s", _("<unavailable>"));
299 fputs_filtered ("\n", file
);
303 fputs_filtered ("\n", file
);
304 print_i387_status_word (fstat_p
, fstat
, file
);
305 print_i387_control_word (fctrl_p
, fctrl
, file
);
306 fprintf_filtered (file
, "Tag Word: %s\n",
307 ftag_p
? hex_string_custom (ftag
, 4) : _("<unavailable>"));
308 fprintf_filtered (file
, "Instruction Pointer: %s:",
309 fiseg_p
? hex_string_custom (fiseg
, 2) : _("<unavailable>"));
310 fprintf_filtered (file
, "%s\n",
311 fioff_p
? hex_string_custom (fioff
, 8) : _("<unavailable>"));
312 fprintf_filtered (file
, "Operand Pointer: %s:",
313 foseg_p
? hex_string_custom (foseg
, 2) : _("<unavailable>"));
314 fprintf_filtered (file
, "%s\n",
315 fooff_p
? hex_string_custom (fooff
, 8) : _("<unavailable>"));
316 fprintf_filtered (file
, "Opcode: %s\n",
318 ? (hex_string_custom (fop
? (fop
| 0xd800) : 0, 4))
319 : _("<unavailable>"));
323 /* Return nonzero if a value of type TYPE stored in register REGNUM
324 needs any special handling. */
327 i387_convert_register_p (struct gdbarch
*gdbarch
, int regnum
,
330 if (i386_fp_regnum_p (gdbarch
, regnum
))
332 /* Floating point registers must be converted unless we are
333 accessing them in their hardware type or TYPE is not float. */
334 if (type
== i387_ext_type (gdbarch
)
335 || TYPE_CODE (type
) != TYPE_CODE_FLT
)
344 /* Read a value of type TYPE from register REGNUM in frame FRAME, and
345 return its contents in TO. */
348 i387_register_to_value (struct frame_info
*frame
, int regnum
,
349 struct type
*type
, gdb_byte
*to
,
350 int *optimizedp
, int *unavailablep
)
352 struct gdbarch
*gdbarch
= get_frame_arch (frame
);
353 gdb_byte from
[I386_MAX_REGISTER_SIZE
];
355 gdb_assert (i386_fp_regnum_p (gdbarch
, regnum
));
357 /* We only support floating-point values. */
358 if (TYPE_CODE (type
) != TYPE_CODE_FLT
)
360 warning (_("Cannot convert floating-point register value "
361 "to non-floating-point type."));
362 *optimizedp
= *unavailablep
= 0;
366 /* Convert to TYPE. */
367 if (!get_frame_register_bytes (frame
, regnum
, 0,
368 register_size (gdbarch
, regnum
),
369 from
, optimizedp
, unavailablep
))
372 target_float_convert (from
, i387_ext_type (gdbarch
), to
, type
);
373 *optimizedp
= *unavailablep
= 0;
377 /* Write the contents FROM of a value of type TYPE into register
378 REGNUM in frame FRAME. */
381 i387_value_to_register (struct frame_info
*frame
, int regnum
,
382 struct type
*type
, const gdb_byte
*from
)
384 struct gdbarch
*gdbarch
= get_frame_arch (frame
);
385 gdb_byte to
[I386_MAX_REGISTER_SIZE
];
387 gdb_assert (i386_fp_regnum_p (gdbarch
, regnum
));
389 /* We only support floating-point values. */
390 if (TYPE_CODE (type
) != TYPE_CODE_FLT
)
392 warning (_("Cannot convert non-floating-point type "
393 "to floating-point register value."));
397 /* Convert from TYPE. */
398 target_float_convert (from
, type
, to
, i387_ext_type (gdbarch
));
399 put_frame_register (frame
, regnum
, to
);
403 /* Handle FSAVE and FXSAVE formats. */
405 /* At fsave_offset[REGNUM] you'll find the offset to the location in
406 the data structure used by the "fsave" instruction where GDB
407 register REGNUM is stored. */
409 static int fsave_offset
[] =
411 28 + 0 * 10, /* %st(0) ... */
418 28 + 7 * 10, /* ... %st(7). */
419 0, /* `fctrl' (16 bits). */
420 4, /* `fstat' (16 bits). */
421 8, /* `ftag' (16 bits). */
422 16, /* `fiseg' (16 bits). */
424 24, /* `foseg' (16 bits). */
426 18 /* `fop' (bottom 11 bits). */
429 #define FSAVE_ADDR(tdep, fsave, regnum) \
430 (fsave + fsave_offset[regnum - I387_ST0_REGNUM (tdep)])
433 /* Fill register REGNUM in REGCACHE with the appropriate value from
434 *FSAVE. This function masks off any of the reserved bits in
438 i387_supply_fsave (struct regcache
*regcache
, int regnum
, const void *fsave
)
440 struct gdbarch
*gdbarch
= regcache
->arch ();
441 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
442 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
443 const gdb_byte
*regs
= (const gdb_byte
*) fsave
;
446 gdb_assert (tdep
->st0_regnum
>= I386_ST0_REGNUM
);
448 for (i
= I387_ST0_REGNUM (tdep
); i
< I387_XMM0_REGNUM (tdep
); i
++)
449 if (regnum
== -1 || regnum
== i
)
453 regcache
->raw_supply (i
, NULL
);
457 /* Most of the FPU control registers occupy only 16 bits in the
458 fsave area. Give those a special treatment. */
459 if (i
>= I387_FCTRL_REGNUM (tdep
)
460 && i
!= I387_FIOFF_REGNUM (tdep
) && i
!= I387_FOOFF_REGNUM (tdep
))
464 memcpy (val
, FSAVE_ADDR (tdep
, regs
, i
), 2);
466 if (i
== I387_FOP_REGNUM (tdep
))
467 val
[1] &= ((1 << 3) - 1);
468 regcache
->raw_supply (i
, val
);
471 regcache
->raw_supply (i
, FSAVE_ADDR (tdep
, regs
, i
));
474 /* Provide dummy values for the SSE registers. */
475 for (i
= I387_XMM0_REGNUM (tdep
); i
< I387_MXCSR_REGNUM (tdep
); i
++)
476 if (regnum
== -1 || regnum
== i
)
477 regcache
->raw_supply (i
, NULL
);
478 if (regnum
== -1 || regnum
== I387_MXCSR_REGNUM (tdep
))
482 store_unsigned_integer (buf
, 4, byte_order
, I387_MXCSR_INIT_VAL
);
483 regcache
->raw_supply (I387_MXCSR_REGNUM (tdep
), buf
);
487 /* Fill register REGNUM (if it is a floating-point register) in *FSAVE
488 with the value from REGCACHE. If REGNUM is -1, do this for all
489 registers. This function doesn't touch any of the reserved bits in
493 i387_collect_fsave (const struct regcache
*regcache
, int regnum
, void *fsave
)
495 struct gdbarch_tdep
*tdep
= gdbarch_tdep (regcache
->arch ());
496 gdb_byte
*regs
= (gdb_byte
*) fsave
;
499 gdb_assert (tdep
->st0_regnum
>= I386_ST0_REGNUM
);
501 for (i
= I387_ST0_REGNUM (tdep
); i
< I387_XMM0_REGNUM (tdep
); i
++)
502 if (regnum
== -1 || regnum
== i
)
504 /* Most of the FPU control registers occupy only 16 bits in
505 the fsave area. Give those a special treatment. */
506 if (i
>= I387_FCTRL_REGNUM (tdep
)
507 && i
!= I387_FIOFF_REGNUM (tdep
) && i
!= I387_FOOFF_REGNUM (tdep
))
511 regcache
->raw_collect (i
, buf
);
513 if (i
== I387_FOP_REGNUM (tdep
))
515 /* The opcode occupies only 11 bits. Make sure we
516 don't touch the other bits. */
517 buf
[1] &= ((1 << 3) - 1);
518 buf
[1] |= ((FSAVE_ADDR (tdep
, regs
, i
))[1] & ~((1 << 3) - 1));
520 memcpy (FSAVE_ADDR (tdep
, regs
, i
), buf
, 2);
523 regcache
->raw_collect (i
, FSAVE_ADDR (tdep
, regs
, i
));
528 /* At fxsave_offset[REGNUM] you'll find the offset to the location in
529 the data structure used by the "fxsave" instruction where GDB
530 register REGNUM is stored. */
532 static int fxsave_offset
[] =
534 32, /* %st(0) through ... */
541 144, /* ... %st(7) (80 bits each). */
542 0, /* `fctrl' (16 bits). */
543 2, /* `fstat' (16 bits). */
544 4, /* `ftag' (16 bits). */
545 12, /* `fiseg' (16 bits). */
547 20, /* `foseg' (16 bits). */
549 6, /* `fop' (bottom 11 bits). */
550 160 + 0 * 16, /* %xmm0 through ... */
565 160 + 15 * 16, /* ... %xmm15 (128 bits each). */
568 #define FXSAVE_ADDR(tdep, fxsave, regnum) \
569 (fxsave + fxsave_offset[regnum - I387_ST0_REGNUM (tdep)])
571 /* We made an unfortunate choice in putting %mxcsr after the SSE
572 registers %xmm0-%xmm7 instead of before, since it makes supporting
573 the registers %xmm8-%xmm15 on AMD64 a bit involved. Therefore we
574 don't include the offset for %mxcsr here above. */
576 #define FXSAVE_MXCSR_ADDR(fxsave) (fxsave + 24)
578 static int i387_tag (const gdb_byte
*raw
);
581 /* Fill register REGNUM in REGCACHE with the appropriate
582 floating-point or SSE register value from *FXSAVE. This function
583 masks off any of the reserved bits in *FXSAVE. */
586 i387_supply_fxsave (struct regcache
*regcache
, int regnum
, const void *fxsave
)
588 struct gdbarch_tdep
*tdep
= gdbarch_tdep (regcache
->arch ());
589 const gdb_byte
*regs
= (const gdb_byte
*) fxsave
;
592 gdb_assert (tdep
->st0_regnum
>= I386_ST0_REGNUM
);
593 gdb_assert (tdep
->num_xmm_regs
> 0);
595 for (i
= I387_ST0_REGNUM (tdep
); i
< I387_MXCSR_REGNUM (tdep
); i
++)
596 if (regnum
== -1 || regnum
== i
)
600 regcache
->raw_supply (i
, NULL
);
604 /* Most of the FPU control registers occupy only 16 bits in
605 the fxsave area. Give those a special treatment. */
606 if (i
>= I387_FCTRL_REGNUM (tdep
) && i
< I387_XMM0_REGNUM (tdep
)
607 && i
!= I387_FIOFF_REGNUM (tdep
) && i
!= I387_FOOFF_REGNUM (tdep
))
611 memcpy (val
, FXSAVE_ADDR (tdep
, regs
, i
), 2);
613 if (i
== I387_FOP_REGNUM (tdep
))
614 val
[1] &= ((1 << 3) - 1);
615 else if (i
== I387_FTAG_REGNUM (tdep
))
617 /* The fxsave area contains a simplified version of
618 the tag word. We have to look at the actual 80-bit
619 FP data to recreate the traditional i387 tag word. */
621 unsigned long ftag
= 0;
625 top
= ((FXSAVE_ADDR (tdep
, regs
,
626 I387_FSTAT_REGNUM (tdep
)))[1] >> 3);
629 for (fpreg
= 7; fpreg
>= 0; fpreg
--)
633 if (val
[0] & (1 << fpreg
))
635 int thisreg
= (fpreg
+ 8 - top
) % 8
636 + I387_ST0_REGNUM (tdep
);
637 tag
= i387_tag (FXSAVE_ADDR (tdep
, regs
, thisreg
));
642 ftag
|= tag
<< (2 * fpreg
);
644 val
[0] = ftag
& 0xff;
645 val
[1] = (ftag
>> 8) & 0xff;
647 regcache
->raw_supply (i
, val
);
650 regcache
->raw_supply (i
, FXSAVE_ADDR (tdep
, regs
, i
));
653 if (regnum
== I387_MXCSR_REGNUM (tdep
) || regnum
== -1)
656 regcache
->raw_supply (I387_MXCSR_REGNUM (tdep
), NULL
);
658 regcache
->raw_supply (I387_MXCSR_REGNUM (tdep
),
659 FXSAVE_MXCSR_ADDR (regs
));
663 /* Fill register REGNUM (if it is a floating-point or SSE register) in
664 *FXSAVE with the value from REGCACHE. If REGNUM is -1, do this for
665 all registers. This function doesn't touch any of the reserved
669 i387_collect_fxsave (const struct regcache
*regcache
, int regnum
, void *fxsave
)
671 struct gdbarch_tdep
*tdep
= gdbarch_tdep (regcache
->arch ());
672 gdb_byte
*regs
= (gdb_byte
*) fxsave
;
675 gdb_assert (tdep
->st0_regnum
>= I386_ST0_REGNUM
);
676 gdb_assert (tdep
->num_xmm_regs
> 0);
678 for (i
= I387_ST0_REGNUM (tdep
); i
< I387_MXCSR_REGNUM (tdep
); i
++)
679 if (regnum
== -1 || regnum
== i
)
681 /* Most of the FPU control registers occupy only 16 bits in
682 the fxsave area. Give those a special treatment. */
683 if (i
>= I387_FCTRL_REGNUM (tdep
) && i
< I387_XMM0_REGNUM (tdep
)
684 && i
!= I387_FIOFF_REGNUM (tdep
) && i
!= I387_FOOFF_REGNUM (tdep
))
688 regcache
->raw_collect (i
, buf
);
690 if (i
== I387_FOP_REGNUM (tdep
))
692 /* The opcode occupies only 11 bits. Make sure we
693 don't touch the other bits. */
694 buf
[1] &= ((1 << 3) - 1);
695 buf
[1] |= ((FXSAVE_ADDR (tdep
, regs
, i
))[1] & ~((1 << 3) - 1));
697 else if (i
== I387_FTAG_REGNUM (tdep
))
699 /* Converting back is much easier. */
704 ftag
= (buf
[1] << 8) | buf
[0];
708 for (fpreg
= 7; fpreg
>= 0; fpreg
--)
710 int tag
= (ftag
>> (fpreg
* 2)) & 3;
713 buf
[0] |= (1 << fpreg
);
716 memcpy (FXSAVE_ADDR (tdep
, regs
, i
), buf
, 2);
719 regcache
->raw_collect (i
, FXSAVE_ADDR (tdep
, regs
, i
));
722 if (regnum
== I387_MXCSR_REGNUM (tdep
) || regnum
== -1)
723 regcache
->raw_collect (I387_MXCSR_REGNUM (tdep
),
724 FXSAVE_MXCSR_ADDR (regs
));
727 /* `xstate_bv' is at byte offset 512. */
728 #define XSAVE_XSTATE_BV_ADDR(xsave) (xsave + 512)
730 /* At xsave_avxh_offset[REGNUM] you'll find the offset to the location in
731 the upper 128bit of AVX register data structure used by the "xsave"
732 instruction where GDB register REGNUM is stored. */
734 static int xsave_avxh_offset
[] =
736 576 + 0 * 16, /* Upper 128bit of %ymm0 through ... */
751 576 + 15 * 16 /* Upper 128bit of ... %ymm15 (128 bits each). */
754 #define XSAVE_AVXH_ADDR(tdep, xsave, regnum) \
755 (xsave + xsave_avxh_offset[regnum - I387_YMM0H_REGNUM (tdep)])
757 /* At xsave_ymm_avx512_offset[REGNUM] you'll find the offset to the location in
758 the upper 128bit of ZMM register data structure used by the "xsave"
759 instruction where GDB register REGNUM is stored. */
761 static int xsave_ymm_avx512_offset
[] =
763 /* HI16_ZMM_area + 16 bytes + regnum* 64 bytes. */
764 1664 + 16 + 0 * 64, /* %ymm16 through... */
779 1664 + 16 + 15 * 64 /* ... %ymm31 (128 bits each). */
782 #define XSAVE_YMM_AVX512_ADDR(tdep, xsave, regnum) \
783 (xsave + xsave_ymm_avx512_offset[regnum - I387_YMM16H_REGNUM (tdep)])
785 static int xsave_xmm_avx512_offset
[] =
787 1664 + 0 * 64, /* %ymm16 through... */
802 1664 + 15 * 64 /* ... %ymm31 (128 bits each). */
805 #define XSAVE_XMM_AVX512_ADDR(tdep, xsave, regnum) \
806 (xsave + xsave_xmm_avx512_offset[regnum - I387_XMM16_REGNUM (tdep)])
808 static int xsave_mpx_offset
[] = {
809 960 + 0 * 16, /* bnd0r...bnd3r registers. */
813 1024 + 0 * 8, /* bndcfg ... bndstatus. */
817 #define XSAVE_MPX_ADDR(tdep, xsave, regnum) \
818 (xsave + xsave_mpx_offset[regnum - I387_BND0R_REGNUM (tdep)])
820 /* At xsave_avx512__h_offset[REGNUM] you find the offset to the location
821 of the AVX512 opmask register data structure used by the "xsave"
822 instruction where GDB register REGNUM is stored. */
824 static int xsave_avx512_k_offset
[] =
826 1088 + 0 * 8, /* %k0 through... */
833 1088 + 7 * 8 /* %k7 (64 bits each). */
836 #define XSAVE_AVX512_K_ADDR(tdep, xsave, regnum) \
837 (xsave + xsave_avx512_k_offset[regnum - I387_K0_REGNUM (tdep)])
839 /* At xsave_avx512_zmm_h_offset[REGNUM] you find the offset to the location in
840 the upper 256bit of AVX512 ZMMH register data structure used by the "xsave"
841 instruction where GDB register REGNUM is stored. */
843 static int xsave_avx512_zmm_h_offset
[] =
846 1152 + 1 * 32, /* Upper 256bit of %zmmh0 through... */
860 1152 + 15 * 32, /* Upper 256bit of... %zmmh15 (256 bits each). */
861 1664 + 32 + 0 * 64, /* Upper 256bit of... %zmmh16 (256 bits each). */
876 1664 + 32 + 15 * 64 /* Upper 256bit of... %zmmh31 (256 bits each). */
879 #define XSAVE_AVX512_ZMM_H_ADDR(tdep, xsave, regnum) \
880 (xsave + xsave_avx512_zmm_h_offset[regnum - I387_ZMM0H_REGNUM (tdep)])
882 /* At xsave_pkeys_offset[REGNUM] you find the offset to the location
883 of the PKRU register data structure used by the "xsave"
884 instruction where GDB register REGNUM is stored. */
886 static int xsave_pkeys_offset
[] =
888 2688 + 0 * 8 /* %pkru (64 bits in XSTATE, 32-bit actually used by
889 instructions and applications). */
892 #define XSAVE_PKEYS_ADDR(tdep, xsave, regnum) \
893 (xsave + xsave_pkeys_offset[regnum - I387_PKRU_REGNUM (tdep)])
896 /* Extract from XSAVE a bitset of the features that are available on the
897 target, but which have not yet been enabled. */
900 i387_xsave_get_clear_bv (struct gdbarch
*gdbarch
, const void *xsave
)
902 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
903 const gdb_byte
*regs
= (const gdb_byte
*) xsave
;
904 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
906 /* Get `xstat_bv'. The supported bits in `xstat_bv' are 8 bytes. */
907 ULONGEST xstate_bv
= extract_unsigned_integer (XSAVE_XSTATE_BV_ADDR (regs
),
910 /* Clear part in vector registers if its bit in xstat_bv is zero. */
911 ULONGEST clear_bv
= (~(xstate_bv
)) & tdep
->xcr0
;
916 /* Similar to i387_supply_fxsave, but use XSAVE extended state. */
919 i387_supply_xsave (struct regcache
*regcache
, int regnum
,
922 struct gdbarch
*gdbarch
= regcache
->arch ();
923 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
924 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
925 const gdb_byte
*regs
= (const gdb_byte
*) xsave
;
927 /* In 64-bit mode the split between "low" and "high" ZMM registers is at
928 ZMM16. Outside of 64-bit mode there are no "high" ZMM registers at all.
929 Precalculate the number to be used for the split point, with the all
930 registers in the "low" portion outside of 64-bit mode. */
931 unsigned int zmm_endlo_regnum
= I387_ZMM0H_REGNUM (tdep
)
932 + std::min (tdep
->num_zmm_regs
, 16);
934 static const gdb_byte zero
[I386_MAX_REGISTER_SIZE
] = { 0 };
944 avx512_ymmh_avx512
= 0x40,
945 avx512_xmm_avx512
= 0x80,
947 all
= x87
| sse
| avxh
| mpx
| avx512_k
| avx512_zmm_h
948 | avx512_ymmh_avx512
| avx512_xmm_avx512
| pkeys
951 gdb_assert (regs
!= NULL
);
952 gdb_assert (tdep
->st0_regnum
>= I386_ST0_REGNUM
);
953 gdb_assert (tdep
->num_xmm_regs
> 0);
957 else if (regnum
>= I387_PKRU_REGNUM (tdep
)
958 && regnum
< I387_PKEYSEND_REGNUM (tdep
))
960 else if (regnum
>= I387_ZMM0H_REGNUM (tdep
)
961 && regnum
< I387_ZMMENDH_REGNUM (tdep
))
962 regclass
= avx512_zmm_h
;
963 else if (regnum
>= I387_K0_REGNUM (tdep
)
964 && regnum
< I387_KEND_REGNUM (tdep
))
966 else if (regnum
>= I387_YMM16H_REGNUM (tdep
)
967 && regnum
< I387_YMMH_AVX512_END_REGNUM (tdep
))
968 regclass
= avx512_ymmh_avx512
;
969 else if (regnum
>= I387_XMM16_REGNUM (tdep
)
970 && regnum
< I387_XMM_AVX512_END_REGNUM (tdep
))
971 regclass
= avx512_xmm_avx512
;
972 else if (regnum
>= I387_YMM0H_REGNUM (tdep
)
973 && regnum
< I387_YMMENDH_REGNUM (tdep
))
975 else if (regnum
>= I387_BND0R_REGNUM (tdep
)
976 && regnum
< I387_MPXEND_REGNUM (tdep
))
978 else if (regnum
>= I387_XMM0_REGNUM (tdep
)
979 && regnum
< I387_MXCSR_REGNUM (tdep
))
981 else if (regnum
>= I387_ST0_REGNUM (tdep
)
982 && regnum
< I387_FCTRL_REGNUM (tdep
))
987 clear_bv
= i387_xsave_get_clear_bv (gdbarch
, xsave
);
989 /* With the delayed xsave mechanism, in between the program
990 starting, and the program accessing the vector registers for the
991 first time, the register's values are invalid. The kernel
992 initializes register states to zero when they are set the first
993 time in a program. This means that from the user-space programs'
994 perspective, it's the same as if the registers have always been
995 zero from the start of the program. Therefore, the debugger
996 should provide the same illusion to the user. */
1004 if ((clear_bv
& X86_XSTATE_PKRU
))
1005 regcache
->raw_supply (regnum
, zero
);
1007 regcache
->raw_supply (regnum
, XSAVE_PKEYS_ADDR (tdep
, regs
, regnum
));
1011 if ((clear_bv
& (regnum
< zmm_endlo_regnum
? X86_XSTATE_ZMM_H
1013 regcache
->raw_supply (regnum
, zero
);
1015 regcache
->raw_supply (regnum
,
1016 XSAVE_AVX512_ZMM_H_ADDR (tdep
, regs
, regnum
));
1020 if ((clear_bv
& X86_XSTATE_K
))
1021 regcache
->raw_supply (regnum
, zero
);
1023 regcache
->raw_supply (regnum
, XSAVE_AVX512_K_ADDR (tdep
, regs
, regnum
));
1026 case avx512_ymmh_avx512
:
1027 if ((clear_bv
& X86_XSTATE_ZMM
))
1028 regcache
->raw_supply (regnum
, zero
);
1030 regcache
->raw_supply (regnum
,
1031 XSAVE_YMM_AVX512_ADDR (tdep
, regs
, regnum
));
1034 case avx512_xmm_avx512
:
1035 if ((clear_bv
& X86_XSTATE_ZMM
))
1036 regcache
->raw_supply (regnum
, zero
);
1038 regcache
->raw_supply (regnum
,
1039 XSAVE_XMM_AVX512_ADDR (tdep
, regs
, regnum
));
1043 if ((clear_bv
& X86_XSTATE_AVX
))
1044 regcache
->raw_supply (regnum
, zero
);
1046 regcache
->raw_supply (regnum
, XSAVE_AVXH_ADDR (tdep
, regs
, regnum
));
1050 if ((clear_bv
& X86_XSTATE_BNDREGS
))
1051 regcache
->raw_supply (regnum
, zero
);
1053 regcache
->raw_supply (regnum
, XSAVE_MPX_ADDR (tdep
, regs
, regnum
));
1057 if ((clear_bv
& X86_XSTATE_SSE
))
1058 regcache
->raw_supply (regnum
, zero
);
1060 regcache
->raw_supply (regnum
, FXSAVE_ADDR (tdep
, regs
, regnum
));
1064 if ((clear_bv
& X86_XSTATE_X87
))
1065 regcache
->raw_supply (regnum
, zero
);
1067 regcache
->raw_supply (regnum
, FXSAVE_ADDR (tdep
, regs
, regnum
));
1071 /* Handle PKEYS registers. */
1072 if ((tdep
->xcr0
& X86_XSTATE_PKRU
))
1074 if ((clear_bv
& X86_XSTATE_PKRU
))
1076 for (i
= I387_PKRU_REGNUM (tdep
);
1077 i
< I387_PKEYSEND_REGNUM (tdep
);
1079 regcache
->raw_supply (i
, zero
);
1083 for (i
= I387_PKRU_REGNUM (tdep
);
1084 i
< I387_PKEYSEND_REGNUM (tdep
);
1086 regcache
->raw_supply (i
, XSAVE_PKEYS_ADDR (tdep
, regs
, i
));
1090 /* Handle the upper halves of the low 8/16 ZMM registers. */
1091 if ((tdep
->xcr0
& X86_XSTATE_ZMM_H
))
1093 if ((clear_bv
& X86_XSTATE_ZMM_H
))
1095 for (i
= I387_ZMM0H_REGNUM (tdep
); i
< zmm_endlo_regnum
; i
++)
1096 regcache
->raw_supply (i
, zero
);
1100 for (i
= I387_ZMM0H_REGNUM (tdep
); i
< zmm_endlo_regnum
; i
++)
1101 regcache
->raw_supply (i
,
1102 XSAVE_AVX512_ZMM_H_ADDR (tdep
, regs
, i
));
1106 /* Handle AVX512 OpMask registers. */
1107 if ((tdep
->xcr0
& X86_XSTATE_K
))
1109 if ((clear_bv
& X86_XSTATE_K
))
1111 for (i
= I387_K0_REGNUM (tdep
);
1112 i
< I387_KEND_REGNUM (tdep
);
1114 regcache
->raw_supply (i
, zero
);
1118 for (i
= I387_K0_REGNUM (tdep
);
1119 i
< I387_KEND_REGNUM (tdep
);
1121 regcache
->raw_supply (i
, XSAVE_AVX512_K_ADDR (tdep
, regs
, i
));
1125 /* Handle the upper 16 ZMM/YMM/XMM registers (if any). */
1126 if ((tdep
->xcr0
& X86_XSTATE_ZMM
))
1128 if ((clear_bv
& X86_XSTATE_ZMM
))
1130 for (i
= zmm_endlo_regnum
; i
< I387_ZMMENDH_REGNUM (tdep
); i
++)
1131 regcache
->raw_supply (i
, zero
);
1132 for (i
= I387_YMM16H_REGNUM (tdep
);
1133 i
< I387_YMMH_AVX512_END_REGNUM (tdep
);
1135 regcache
->raw_supply (i
, zero
);
1136 for (i
= I387_XMM16_REGNUM (tdep
);
1137 i
< I387_XMM_AVX512_END_REGNUM (tdep
);
1139 regcache
->raw_supply (i
, zero
);
1143 for (i
= zmm_endlo_regnum
; i
< I387_ZMMENDH_REGNUM (tdep
); i
++)
1144 regcache
->raw_supply (i
,
1145 XSAVE_AVX512_ZMM_H_ADDR (tdep
, regs
, i
));
1146 for (i
= I387_YMM16H_REGNUM (tdep
);
1147 i
< I387_YMMH_AVX512_END_REGNUM (tdep
);
1149 regcache
->raw_supply (i
, XSAVE_YMM_AVX512_ADDR (tdep
, regs
, i
));
1150 for (i
= I387_XMM16_REGNUM (tdep
);
1151 i
< I387_XMM_AVX512_END_REGNUM (tdep
);
1153 regcache
->raw_supply (i
, XSAVE_XMM_AVX512_ADDR (tdep
, regs
, i
));
1156 /* Handle the upper YMM registers. */
1157 if ((tdep
->xcr0
& X86_XSTATE_AVX
))
1159 if ((clear_bv
& X86_XSTATE_AVX
))
1161 for (i
= I387_YMM0H_REGNUM (tdep
);
1162 i
< I387_YMMENDH_REGNUM (tdep
);
1164 regcache
->raw_supply (i
, zero
);
1168 for (i
= I387_YMM0H_REGNUM (tdep
);
1169 i
< I387_YMMENDH_REGNUM (tdep
);
1171 regcache
->raw_supply (i
, XSAVE_AVXH_ADDR (tdep
, regs
, i
));
1175 /* Handle the MPX registers. */
1176 if ((tdep
->xcr0
& X86_XSTATE_BNDREGS
))
1178 if (clear_bv
& X86_XSTATE_BNDREGS
)
1180 for (i
= I387_BND0R_REGNUM (tdep
);
1181 i
< I387_BNDCFGU_REGNUM (tdep
); i
++)
1182 regcache
->raw_supply (i
, zero
);
1186 for (i
= I387_BND0R_REGNUM (tdep
);
1187 i
< I387_BNDCFGU_REGNUM (tdep
); i
++)
1188 regcache
->raw_supply (i
, XSAVE_MPX_ADDR (tdep
, regs
, i
));
1192 /* Handle the MPX registers. */
1193 if ((tdep
->xcr0
& X86_XSTATE_BNDCFG
))
1195 if (clear_bv
& X86_XSTATE_BNDCFG
)
1197 for (i
= I387_BNDCFGU_REGNUM (tdep
);
1198 i
< I387_MPXEND_REGNUM (tdep
); i
++)
1199 regcache
->raw_supply (i
, zero
);
1203 for (i
= I387_BNDCFGU_REGNUM (tdep
);
1204 i
< I387_MPXEND_REGNUM (tdep
); i
++)
1205 regcache
->raw_supply (i
, XSAVE_MPX_ADDR (tdep
, regs
, i
));
1209 /* Handle the XMM registers. */
1210 if ((tdep
->xcr0
& X86_XSTATE_SSE
))
1212 if ((clear_bv
& X86_XSTATE_SSE
))
1214 for (i
= I387_XMM0_REGNUM (tdep
);
1215 i
< I387_MXCSR_REGNUM (tdep
);
1217 regcache
->raw_supply (i
, zero
);
1221 for (i
= I387_XMM0_REGNUM (tdep
);
1222 i
< I387_MXCSR_REGNUM (tdep
); i
++)
1223 regcache
->raw_supply (i
, FXSAVE_ADDR (tdep
, regs
, i
));
1227 /* Handle the x87 registers. */
1228 if ((tdep
->xcr0
& X86_XSTATE_X87
))
1230 if ((clear_bv
& X86_XSTATE_X87
))
1232 for (i
= I387_ST0_REGNUM (tdep
);
1233 i
< I387_FCTRL_REGNUM (tdep
);
1235 regcache
->raw_supply (i
, zero
);
1239 for (i
= I387_ST0_REGNUM (tdep
);
1240 i
< I387_FCTRL_REGNUM (tdep
);
1242 regcache
->raw_supply (i
, FXSAVE_ADDR (tdep
, regs
, i
));
1248 /* Only handle x87 control registers. */
1249 for (i
= I387_FCTRL_REGNUM (tdep
); i
< I387_XMM0_REGNUM (tdep
); i
++)
1250 if (regnum
== -1 || regnum
== i
)
1252 if (clear_bv
& X86_XSTATE_X87
)
1254 if (i
== I387_FCTRL_REGNUM (tdep
))
1258 store_unsigned_integer (buf
, 4, byte_order
,
1259 I387_FCTRL_INIT_VAL
);
1260 regcache
->raw_supply (i
, buf
);
1262 else if (i
== I387_FTAG_REGNUM (tdep
))
1266 store_unsigned_integer (buf
, 4, byte_order
, 0xffff);
1267 regcache
->raw_supply (i
, buf
);
1270 regcache
->raw_supply (i
, zero
);
1272 /* Most of the FPU control registers occupy only 16 bits in
1273 the xsave extended state. Give those a special treatment. */
1274 else if (i
!= I387_FIOFF_REGNUM (tdep
)
1275 && i
!= I387_FOOFF_REGNUM (tdep
))
1279 memcpy (val
, FXSAVE_ADDR (tdep
, regs
, i
), 2);
1280 val
[2] = val
[3] = 0;
1281 if (i
== I387_FOP_REGNUM (tdep
))
1282 val
[1] &= ((1 << 3) - 1);
1283 else if (i
== I387_FTAG_REGNUM (tdep
))
1285 /* The fxsave area contains a simplified version of
1286 the tag word. We have to look at the actual 80-bit
1287 FP data to recreate the traditional i387 tag word. */
1289 unsigned long ftag
= 0;
1293 top
= ((FXSAVE_ADDR (tdep
, regs
,
1294 I387_FSTAT_REGNUM (tdep
)))[1] >> 3);
1297 for (fpreg
= 7; fpreg
>= 0; fpreg
--)
1301 if (val
[0] & (1 << fpreg
))
1303 int thisreg
= (fpreg
+ 8 - top
) % 8
1304 + I387_ST0_REGNUM (tdep
);
1305 tag
= i387_tag (FXSAVE_ADDR (tdep
, regs
, thisreg
));
1308 tag
= 3; /* Empty */
1310 ftag
|= tag
<< (2 * fpreg
);
1312 val
[0] = ftag
& 0xff;
1313 val
[1] = (ftag
>> 8) & 0xff;
1315 regcache
->raw_supply (i
, val
);
1318 regcache
->raw_supply (i
, FXSAVE_ADDR (tdep
, regs
, i
));
1321 if (regnum
== I387_MXCSR_REGNUM (tdep
) || regnum
== -1)
1323 /* The MXCSR register is placed into the xsave buffer if either the
1324 AVX or SSE features are enabled. */
1325 if ((clear_bv
& (X86_XSTATE_AVX
| X86_XSTATE_SSE
))
1326 == (X86_XSTATE_AVX
| X86_XSTATE_SSE
))
1330 store_unsigned_integer (buf
, 4, byte_order
, I387_MXCSR_INIT_VAL
);
1331 regcache
->raw_supply (I387_MXCSR_REGNUM (tdep
), buf
);
1334 regcache
->raw_supply (I387_MXCSR_REGNUM (tdep
),
1335 FXSAVE_MXCSR_ADDR (regs
));
1339 /* Similar to i387_collect_fxsave, but use XSAVE extended state. */
1342 i387_collect_xsave (const struct regcache
*regcache
, int regnum
,
1343 void *xsave
, int gcore
)
1345 struct gdbarch
*gdbarch
= regcache
->arch ();
1346 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
1347 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1348 gdb_byte
*p
, *regs
= (gdb_byte
*) xsave
;
1349 gdb_byte raw
[I386_MAX_REGISTER_SIZE
];
1350 ULONGEST initial_xstate_bv
, clear_bv
, xstate_bv
= 0;
1352 /* See the comment in i387_supply_xsave(). */
1353 unsigned int zmm_endlo_regnum
= I387_ZMM0H_REGNUM (tdep
)
1354 + std::min (tdep
->num_zmm_regs
, 16);
1357 x87_ctrl_or_mxcsr
= 0x1,
1363 avx512_zmm_h
= 0x40,
1364 avx512_ymmh_avx512
= 0x80,
1365 avx512_xmm_avx512
= 0x100,
1367 all
= x87
| sse
| avxh
| mpx
| avx512_k
| avx512_zmm_h
1368 | avx512_ymmh_avx512
| avx512_xmm_avx512
| pkeys
1371 gdb_assert (tdep
->st0_regnum
>= I386_ST0_REGNUM
);
1372 gdb_assert (tdep
->num_xmm_regs
> 0);
1376 else if (regnum
>= I387_PKRU_REGNUM (tdep
)
1377 && regnum
< I387_PKEYSEND_REGNUM (tdep
))
1379 else if (regnum
>= I387_ZMM0H_REGNUM (tdep
)
1380 && regnum
< I387_ZMMENDH_REGNUM (tdep
))
1381 regclass
= avx512_zmm_h
;
1382 else if (regnum
>= I387_K0_REGNUM (tdep
)
1383 && regnum
< I387_KEND_REGNUM (tdep
))
1384 regclass
= avx512_k
;
1385 else if (regnum
>= I387_YMM16H_REGNUM (tdep
)
1386 && regnum
< I387_YMMH_AVX512_END_REGNUM (tdep
))
1387 regclass
= avx512_ymmh_avx512
;
1388 else if (regnum
>= I387_XMM16_REGNUM (tdep
)
1389 && regnum
< I387_XMM_AVX512_END_REGNUM (tdep
))
1390 regclass
= avx512_xmm_avx512
;
1391 else if (regnum
>= I387_YMM0H_REGNUM (tdep
)
1392 && regnum
< I387_YMMENDH_REGNUM (tdep
))
1394 else if (regnum
>= I387_BND0R_REGNUM (tdep
)
1395 && regnum
< I387_MPXEND_REGNUM (tdep
))
1397 else if (regnum
>= I387_XMM0_REGNUM (tdep
)
1398 && regnum
< I387_MXCSR_REGNUM (tdep
))
1400 else if (regnum
>= I387_ST0_REGNUM (tdep
)
1401 && regnum
< I387_FCTRL_REGNUM (tdep
))
1403 else if ((regnum
>= I387_FCTRL_REGNUM (tdep
)
1404 && regnum
< I387_XMM0_REGNUM (tdep
))
1405 || regnum
== I387_MXCSR_REGNUM (tdep
))
1406 regclass
= x87_ctrl_or_mxcsr
;
1408 internal_error (__FILE__
, __LINE__
, _("invalid i387 regnum %d"), regnum
);
1412 /* Clear XSAVE extended state. */
1413 memset (regs
, 0, X86_XSTATE_SIZE (tdep
->xcr0
));
1415 /* Update XCR0 and `xstate_bv' with XCR0 for gcore. */
1416 if (tdep
->xsave_xcr0_offset
!= -1)
1417 memcpy (regs
+ tdep
->xsave_xcr0_offset
, &tdep
->xcr0
, 8);
1418 memcpy (XSAVE_XSTATE_BV_ADDR (regs
), &tdep
->xcr0
, 8);
1421 /* The supported bits in `xstat_bv' are 8 bytes. */
1422 initial_xstate_bv
= extract_unsigned_integer (XSAVE_XSTATE_BV_ADDR (regs
),
1424 clear_bv
= (~(initial_xstate_bv
)) & tdep
->xcr0
;
1426 /* The XSAVE buffer was filled lazily by the kernel. Only those
1427 features that are enabled were written into the buffer, disabled
1428 features left the buffer uninitialised. In order to identify if any
1429 registers have changed we will be comparing the register cache
1430 version to the version in the XSAVE buffer, it is important then that
1431 at this point we initialise to the default values any features in
1432 XSAVE that are not yet initialised.
1434 This could be made more efficient, we know which features (from
1435 REGNUM) we will be potentially updating, and could limit ourselves to
1436 only clearing that feature. However, the extra complexity does not
1437 seem justified at this point. */
1440 if ((clear_bv
& X86_XSTATE_PKRU
))
1441 for (i
= I387_PKRU_REGNUM (tdep
);
1442 i
< I387_PKEYSEND_REGNUM (tdep
); i
++)
1443 memset (XSAVE_PKEYS_ADDR (tdep
, regs
, i
), 0, 4);
1445 if ((clear_bv
& X86_XSTATE_BNDREGS
))
1446 for (i
= I387_BND0R_REGNUM (tdep
);
1447 i
< I387_BNDCFGU_REGNUM (tdep
); i
++)
1448 memset (XSAVE_MPX_ADDR (tdep
, regs
, i
), 0, 16);
1450 if ((clear_bv
& X86_XSTATE_BNDCFG
))
1451 for (i
= I387_BNDCFGU_REGNUM (tdep
);
1452 i
< I387_MPXEND_REGNUM (tdep
); i
++)
1453 memset (XSAVE_MPX_ADDR (tdep
, regs
, i
), 0, 8);
1455 if ((clear_bv
& X86_XSTATE_ZMM_H
))
1456 for (i
= I387_ZMM0H_REGNUM (tdep
); i
< zmm_endlo_regnum
; i
++)
1457 memset (XSAVE_AVX512_ZMM_H_ADDR (tdep
, regs
, i
), 0, 32);
1459 if ((clear_bv
& X86_XSTATE_K
))
1460 for (i
= I387_K0_REGNUM (tdep
);
1461 i
< I387_KEND_REGNUM (tdep
); i
++)
1462 memset (XSAVE_AVX512_K_ADDR (tdep
, regs
, i
), 0, 8);
1464 if ((clear_bv
& X86_XSTATE_ZMM
))
1466 for (i
= zmm_endlo_regnum
; i
< I387_ZMMENDH_REGNUM (tdep
); i
++)
1467 memset (XSAVE_AVX512_ZMM_H_ADDR (tdep
, regs
, i
), 0, 32);
1468 for (i
= I387_YMM16H_REGNUM (tdep
);
1469 i
< I387_YMMH_AVX512_END_REGNUM (tdep
); i
++)
1470 memset (XSAVE_YMM_AVX512_ADDR (tdep
, regs
, i
), 0, 16);
1471 for (i
= I387_XMM16_REGNUM (tdep
);
1472 i
< I387_XMM_AVX512_END_REGNUM (tdep
); i
++)
1473 memset (XSAVE_XMM_AVX512_ADDR (tdep
, regs
, i
), 0, 16);
1476 if ((clear_bv
& X86_XSTATE_AVX
))
1477 for (i
= I387_YMM0H_REGNUM (tdep
);
1478 i
< I387_YMMENDH_REGNUM (tdep
); i
++)
1479 memset (XSAVE_AVXH_ADDR (tdep
, regs
, i
), 0, 16);
1481 if ((clear_bv
& X86_XSTATE_SSE
))
1482 for (i
= I387_XMM0_REGNUM (tdep
);
1483 i
< I387_MXCSR_REGNUM (tdep
); i
++)
1484 memset (FXSAVE_ADDR (tdep
, regs
, i
), 0, 16);
1486 /* The mxcsr register is written into the xsave buffer if either AVX
1487 or SSE is enabled, so only clear it if both of those features
1488 require clearing. */
1489 if ((clear_bv
& (X86_XSTATE_AVX
| X86_XSTATE_SSE
))
1490 == (X86_XSTATE_AVX
| X86_XSTATE_SSE
))
1491 store_unsigned_integer (FXSAVE_MXCSR_ADDR (regs
), 2, byte_order
,
1492 I387_MXCSR_INIT_VAL
);
1494 if ((clear_bv
& X86_XSTATE_X87
))
1496 for (i
= I387_ST0_REGNUM (tdep
);
1497 i
< I387_FCTRL_REGNUM (tdep
); i
++)
1498 memset (FXSAVE_ADDR (tdep
, regs
, i
), 0, 10);
1500 for (i
= I387_FCTRL_REGNUM (tdep
);
1501 i
< I387_XMM0_REGNUM (tdep
); i
++)
1503 if (i
== I387_FCTRL_REGNUM (tdep
))
1504 store_unsigned_integer (FXSAVE_ADDR (tdep
, regs
, i
), 2,
1505 byte_order
, I387_FCTRL_INIT_VAL
);
1507 memset (FXSAVE_ADDR (tdep
, regs
, i
), 0,
1508 regcache_register_size (regcache
, i
));
1513 if (regclass
== all
)
1515 /* Check if any PKEYS registers are changed. */
1516 if ((tdep
->xcr0
& X86_XSTATE_PKRU
))
1517 for (i
= I387_PKRU_REGNUM (tdep
);
1518 i
< I387_PKEYSEND_REGNUM (tdep
); i
++)
1520 regcache
->raw_collect (i
, raw
);
1521 p
= XSAVE_PKEYS_ADDR (tdep
, regs
, i
);
1522 if (memcmp (raw
, p
, 4) != 0)
1524 xstate_bv
|= X86_XSTATE_PKRU
;
1529 /* Check if any ZMMH registers are changed. */
1530 if ((tdep
->xcr0
& (X86_XSTATE_ZMM_H
| X86_XSTATE_ZMM
)))
1531 for (i
= I387_ZMM0H_REGNUM (tdep
);
1532 i
< I387_ZMMENDH_REGNUM (tdep
); i
++)
1534 regcache
->raw_collect (i
, raw
);
1535 p
= XSAVE_AVX512_ZMM_H_ADDR (tdep
, regs
, i
);
1536 if (memcmp (raw
, p
, 32) != 0)
1538 xstate_bv
|= (X86_XSTATE_ZMM_H
| X86_XSTATE_ZMM
);
1539 memcpy (p
, raw
, 32);
1543 /* Check if any K registers are changed. */
1544 if ((tdep
->xcr0
& X86_XSTATE_K
))
1545 for (i
= I387_K0_REGNUM (tdep
);
1546 i
< I387_KEND_REGNUM (tdep
); i
++)
1548 regcache
->raw_collect (i
, raw
);
1549 p
= XSAVE_AVX512_K_ADDR (tdep
, regs
, i
);
1550 if (memcmp (raw
, p
, 8) != 0)
1552 xstate_bv
|= X86_XSTATE_K
;
1557 /* Check if any XMM or upper YMM registers are changed. */
1558 if ((tdep
->xcr0
& X86_XSTATE_ZMM
))
1560 for (i
= I387_YMM16H_REGNUM (tdep
);
1561 i
< I387_YMMH_AVX512_END_REGNUM (tdep
); i
++)
1563 regcache
->raw_collect (i
, raw
);
1564 p
= XSAVE_YMM_AVX512_ADDR (tdep
, regs
, i
);
1565 if (memcmp (raw
, p
, 16) != 0)
1567 xstate_bv
|= X86_XSTATE_ZMM
;
1568 memcpy (p
, raw
, 16);
1571 for (i
= I387_XMM16_REGNUM (tdep
);
1572 i
< I387_XMM_AVX512_END_REGNUM (tdep
); i
++)
1574 regcache
->raw_collect (i
, raw
);
1575 p
= XSAVE_XMM_AVX512_ADDR (tdep
, regs
, i
);
1576 if (memcmp (raw
, p
, 16) != 0)
1578 xstate_bv
|= X86_XSTATE_ZMM
;
1579 memcpy (p
, raw
, 16);
1584 /* Check if any upper MPX registers are changed. */
1585 if ((tdep
->xcr0
& X86_XSTATE_BNDREGS
))
1586 for (i
= I387_BND0R_REGNUM (tdep
);
1587 i
< I387_BNDCFGU_REGNUM (tdep
); i
++)
1589 regcache
->raw_collect (i
, raw
);
1590 p
= XSAVE_MPX_ADDR (tdep
, regs
, i
);
1591 if (memcmp (raw
, p
, 16))
1593 xstate_bv
|= X86_XSTATE_BNDREGS
;
1594 memcpy (p
, raw
, 16);
1598 /* Check if any upper MPX registers are changed. */
1599 if ((tdep
->xcr0
& X86_XSTATE_BNDCFG
))
1600 for (i
= I387_BNDCFGU_REGNUM (tdep
);
1601 i
< I387_MPXEND_REGNUM (tdep
); i
++)
1603 regcache
->raw_collect (i
, raw
);
1604 p
= XSAVE_MPX_ADDR (tdep
, regs
, i
);
1605 if (memcmp (raw
, p
, 8))
1607 xstate_bv
|= X86_XSTATE_BNDCFG
;
1612 /* Check if any upper YMM registers are changed. */
1613 if ((tdep
->xcr0
& X86_XSTATE_AVX
))
1614 for (i
= I387_YMM0H_REGNUM (tdep
);
1615 i
< I387_YMMENDH_REGNUM (tdep
); i
++)
1617 regcache
->raw_collect (i
, raw
);
1618 p
= XSAVE_AVXH_ADDR (tdep
, regs
, i
);
1619 if (memcmp (raw
, p
, 16))
1621 xstate_bv
|= X86_XSTATE_AVX
;
1622 memcpy (p
, raw
, 16);
1626 /* Check if any SSE registers are changed. */
1627 if ((tdep
->xcr0
& X86_XSTATE_SSE
))
1628 for (i
= I387_XMM0_REGNUM (tdep
);
1629 i
< I387_MXCSR_REGNUM (tdep
); i
++)
1631 regcache
->raw_collect (i
, raw
);
1632 p
= FXSAVE_ADDR (tdep
, regs
, i
);
1633 if (memcmp (raw
, p
, 16))
1635 xstate_bv
|= X86_XSTATE_SSE
;
1636 memcpy (p
, raw
, 16);
1640 if ((tdep
->xcr0
& X86_XSTATE_AVX
) || (tdep
->xcr0
& X86_XSTATE_SSE
))
1642 i
= I387_MXCSR_REGNUM (tdep
);
1643 regcache
->raw_collect (i
, raw
);
1644 p
= FXSAVE_MXCSR_ADDR (regs
);
1645 if (memcmp (raw
, p
, 4))
1647 /* Now, we need to mark one of either SSE of AVX as enabled.
1648 We could pick either. What we do is check to see if one
1649 of the features is already enabled, if it is then we leave
1650 it at that, otherwise we pick SSE. */
1651 if ((xstate_bv
& (X86_XSTATE_SSE
| X86_XSTATE_AVX
)) == 0)
1652 xstate_bv
|= X86_XSTATE_SSE
;
1657 /* Check if any X87 registers are changed. Only the non-control
1658 registers are handled here, the control registers are all handled
1659 later on in this function. */
1660 if ((tdep
->xcr0
& X86_XSTATE_X87
))
1661 for (i
= I387_ST0_REGNUM (tdep
);
1662 i
< I387_FCTRL_REGNUM (tdep
); i
++)
1664 regcache
->raw_collect (i
, raw
);
1665 p
= FXSAVE_ADDR (tdep
, regs
, i
);
1666 if (memcmp (raw
, p
, 10))
1668 xstate_bv
|= X86_XSTATE_X87
;
1669 memcpy (p
, raw
, 10);
1675 /* Check if REGNUM is changed. */
1676 regcache
->raw_collect (regnum
, raw
);
1681 internal_error (__FILE__
, __LINE__
,
1682 _("invalid i387 regclass"));
1685 /* This is a PKEYS register. */
1686 p
= XSAVE_PKEYS_ADDR (tdep
, regs
, regnum
);
1687 if (memcmp (raw
, p
, 4) != 0)
1689 xstate_bv
|= X86_XSTATE_PKRU
;
1695 /* This is a ZMM register. */
1696 p
= XSAVE_AVX512_ZMM_H_ADDR (tdep
, regs
, regnum
);
1697 if (memcmp (raw
, p
, 32) != 0)
1699 xstate_bv
|= (X86_XSTATE_ZMM_H
| X86_XSTATE_ZMM
);
1700 memcpy (p
, raw
, 32);
1704 /* This is a AVX512 mask register. */
1705 p
= XSAVE_AVX512_K_ADDR (tdep
, regs
, regnum
);
1706 if (memcmp (raw
, p
, 8) != 0)
1708 xstate_bv
|= X86_XSTATE_K
;
1713 case avx512_ymmh_avx512
:
1714 /* This is an upper YMM16-31 register. */
1715 p
= XSAVE_YMM_AVX512_ADDR (tdep
, regs
, regnum
);
1716 if (memcmp (raw
, p
, 16) != 0)
1718 xstate_bv
|= X86_XSTATE_ZMM
;
1719 memcpy (p
, raw
, 16);
1723 case avx512_xmm_avx512
:
1724 /* This is an upper XMM16-31 register. */
1725 p
= XSAVE_XMM_AVX512_ADDR (tdep
, regs
, regnum
);
1726 if (memcmp (raw
, p
, 16) != 0)
1728 xstate_bv
|= X86_XSTATE_ZMM
;
1729 memcpy (p
, raw
, 16);
1734 /* This is an upper YMM register. */
1735 p
= XSAVE_AVXH_ADDR (tdep
, regs
, regnum
);
1736 if (memcmp (raw
, p
, 16))
1738 xstate_bv
|= X86_XSTATE_AVX
;
1739 memcpy (p
, raw
, 16);
1744 if (regnum
< I387_BNDCFGU_REGNUM (tdep
))
1746 regcache
->raw_collect (regnum
, raw
);
1747 p
= XSAVE_MPX_ADDR (tdep
, regs
, regnum
);
1748 if (memcmp (raw
, p
, 16))
1750 xstate_bv
|= X86_XSTATE_BNDREGS
;
1751 memcpy (p
, raw
, 16);
1756 p
= XSAVE_MPX_ADDR (tdep
, regs
, regnum
);
1757 xstate_bv
|= X86_XSTATE_BNDCFG
;
1763 /* This is an SSE register. */
1764 p
= FXSAVE_ADDR (tdep
, regs
, regnum
);
1765 if (memcmp (raw
, p
, 16))
1767 xstate_bv
|= X86_XSTATE_SSE
;
1768 memcpy (p
, raw
, 16);
1773 /* This is an x87 register. */
1774 p
= FXSAVE_ADDR (tdep
, regs
, regnum
);
1775 if (memcmp (raw
, p
, 10))
1777 xstate_bv
|= X86_XSTATE_X87
;
1778 memcpy (p
, raw
, 10);
1782 case x87_ctrl_or_mxcsr
:
1783 /* We only handle MXCSR here. All other x87 control registers
1784 are handled separately below. */
1785 if (regnum
== I387_MXCSR_REGNUM (tdep
))
1787 p
= FXSAVE_MXCSR_ADDR (regs
);
1788 if (memcmp (raw
, p
, 2))
1790 /* We're only setting MXCSR, so check the initial state
1791 to see if either of AVX or SSE are already enabled.
1792 If they are then we'll attribute this changed MXCSR to
1793 that feature. If neither feature is enabled, then
1794 we'll attribute this change to the SSE feature. */
1795 xstate_bv
|= (initial_xstate_bv
1796 & (X86_XSTATE_AVX
| X86_XSTATE_SSE
));
1797 if ((xstate_bv
& (X86_XSTATE_AVX
| X86_XSTATE_SSE
)) == 0)
1798 xstate_bv
|= X86_XSTATE_SSE
;
1805 /* Only handle x87 control registers. */
1806 for (i
= I387_FCTRL_REGNUM (tdep
); i
< I387_XMM0_REGNUM (tdep
); i
++)
1807 if (regnum
== -1 || regnum
== i
)
1809 /* Most of the FPU control registers occupy only 16 bits in
1810 the xsave extended state. Give those a special treatment. */
1811 if (i
!= I387_FIOFF_REGNUM (tdep
)
1812 && i
!= I387_FOOFF_REGNUM (tdep
))
1816 regcache
->raw_collect (i
, buf
);
1818 if (i
== I387_FOP_REGNUM (tdep
))
1820 /* The opcode occupies only 11 bits. Make sure we
1821 don't touch the other bits. */
1822 buf
[1] &= ((1 << 3) - 1);
1823 buf
[1] |= ((FXSAVE_ADDR (tdep
, regs
, i
))[1] & ~((1 << 3) - 1));
1825 else if (i
== I387_FTAG_REGNUM (tdep
))
1827 /* Converting back is much easier. */
1829 unsigned short ftag
;
1832 ftag
= (buf
[1] << 8) | buf
[0];
1836 for (fpreg
= 7; fpreg
>= 0; fpreg
--)
1838 int tag
= (ftag
>> (fpreg
* 2)) & 3;
1841 buf
[0] |= (1 << fpreg
);
1844 p
= FXSAVE_ADDR (tdep
, regs
, i
);
1845 if (memcmp (p
, buf
, 2))
1847 xstate_bv
|= X86_XSTATE_X87
;
1855 regcache
->raw_collect (i
, raw
);
1856 regsize
= regcache_register_size (regcache
, i
);
1857 p
= FXSAVE_ADDR (tdep
, regs
, i
);
1858 if (memcmp (raw
, p
, regsize
))
1860 xstate_bv
|= X86_XSTATE_X87
;
1861 memcpy (p
, raw
, regsize
);
1866 /* Update the corresponding bits in `xstate_bv' if any
1867 registers are changed. */
1870 /* The supported bits in `xstat_bv' are 8 bytes. */
1871 initial_xstate_bv
|= xstate_bv
;
1872 store_unsigned_integer (XSAVE_XSTATE_BV_ADDR (regs
),
1878 /* Recreate the FTW (tag word) valid bits from the 80-bit FP data in
1882 i387_tag (const gdb_byte
*raw
)
1885 unsigned int exponent
;
1886 unsigned long fraction
[2];
1888 integer
= raw
[7] & 0x80;
1889 exponent
= (((raw
[9] & 0x7f) << 8) | raw
[8]);
1890 fraction
[0] = ((raw
[3] << 24) | (raw
[2] << 16) | (raw
[1] << 8) | raw
[0]);
1891 fraction
[1] = (((raw
[7] & 0x7f) << 24) | (raw
[6] << 16)
1892 | (raw
[5] << 8) | raw
[4]);
1894 if (exponent
== 0x7fff)
1899 else if (exponent
== 0x0000)
1901 if (fraction
[0] == 0x0000 && fraction
[1] == 0x0000 && !integer
)
1927 /* Prepare the FPU stack in REGCACHE for a function return. */
1930 i387_return_value (struct gdbarch
*gdbarch
, struct regcache
*regcache
)
1932 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1935 /* Set the top of the floating-point register stack to 7. The
1936 actual value doesn't really matter, but 7 is what a normal
1937 function return would end up with if the program started out with
1938 a freshly initialized FPU. */
1939 regcache_raw_read_unsigned (regcache
, I387_FSTAT_REGNUM (tdep
), &fstat
);
1941 regcache_raw_write_unsigned (regcache
, I387_FSTAT_REGNUM (tdep
), fstat
);
1943 /* Mark %st(1) through %st(7) as empty. Since we set the top of the
1944 floating-point register stack to 7, the appropriate value for the
1945 tag word is 0x3fff. */
1946 regcache_raw_write_unsigned (regcache
, I387_FTAG_REGNUM (tdep
), 0x3fff);
1950 /* See i387-tdep.h. */
1953 i387_reset_bnd_regs (struct gdbarch
*gdbarch
, struct regcache
*regcache
)
1955 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1957 if (I387_BND0R_REGNUM (tdep
) > 0)
1959 gdb_byte bnd_buf
[16];
1961 memset (bnd_buf
, 0, 16);
1962 for (int i
= 0; i
< I387_NUM_BND_REGS
; i
++)
1963 regcache
->raw_write (I387_BND0R_REGNUM (tdep
) + i
, bnd_buf
);