1 /* i387-specific utility functions, for the remote server for GDB.
2 Copyright (C) 2000-2002, 2005, 2007-2012 Free Software Foundation,
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/>. */
22 #include "i386-xstate.h"
24 int num_xmm_registers = 8;
26 /* Note: These functions preserve the reserved bits in control registers.
27 However, gdbserver promptly throws away that information. */
29 /* These structs should have the proper sizes and alignment on both
30 i386 and x86-64 machines. */
33 /* All these are only sixteen bits, plus padding, except for fop (which
34 is only eleven bits), and fooff / fioff (which are 32 bits each). */
48 /* Space for eight 80-bit FP values. */
49 unsigned char st_space[80];
53 /* All these are only sixteen bits, plus padding, except for fop (which
54 is only eleven bits), and fooff / fioff (which are 32 bits each). */
69 /* Space for eight 80-bit FP values in 128-bit spaces. */
70 unsigned char st_space[128];
72 /* Space for eight 128-bit XMM values, or 16 on x86-64. */
73 unsigned char xmm_space[256];
77 /* All these are only sixteen bits, plus padding, except for fop (which
78 is only eleven bits), and fooff / fioff (which are 32 bits each). */
91 unsigned int mxcsr_mask;
93 /* Space for eight 80-bit FP values in 128-bit spaces. */
94 unsigned char st_space[128];
96 /* Space for eight 128-bit XMM values, or 16 on x86-64. */
97 unsigned char xmm_space[256];
99 unsigned char reserved1[48];
101 /* The extended control register 0 (the XFEATURE_ENABLED_MASK
103 unsigned long long xcr0;
105 unsigned char reserved2[40];
107 /* The XSTATE_BV bit vector. */
108 unsigned long long xstate_bv;
110 unsigned char reserved3[56];
112 /* Space for eight upper 128-bit YMM values, or 16 on x86-64. */
113 unsigned char ymmh_space[256];
117 i387_cache_to_fsave (struct regcache *regcache, void *buf)
119 struct i387_fsave *fp = (struct i387_fsave *) buf;
121 int st0_regnum = find_regno ("st0");
122 unsigned long val, val2;
124 for (i = 0; i < 8; i++)
125 collect_register (regcache, i + st0_regnum,
126 ((char *) &fp->st_space[0]) + i * 10);
128 collect_register_by_name (regcache, "fioff", &fp->fioff);
129 collect_register_by_name (regcache, "fooff", &fp->fooff);
131 /* This one's 11 bits... */
132 collect_register_by_name (regcache, "fop", &val2);
133 fp->fop = (val2 & 0x7FF) | (fp->fop & 0xF800);
135 /* Some registers are 16-bit. */
136 collect_register_by_name (regcache, "fctrl", &val);
139 collect_register_by_name (regcache, "fstat", &val);
143 collect_register_by_name (regcache, "ftag", &val);
147 collect_register_by_name (regcache, "fiseg", &val);
151 collect_register_by_name (regcache, "foseg", &val);
157 i387_fsave_to_cache (struct regcache *regcache, const void *buf)
159 struct i387_fsave *fp = (struct i387_fsave *) buf;
161 int st0_regnum = find_regno ("st0");
164 for (i = 0; i < 8; i++)
165 supply_register (regcache, i + st0_regnum,
166 ((char *) &fp->st_space[0]) + i * 10);
168 supply_register_by_name (regcache, "fioff", &fp->fioff);
169 supply_register_by_name (regcache, "fooff", &fp->fooff);
171 /* Some registers are 16-bit. */
172 val = fp->fctrl & 0xFFFF;
173 supply_register_by_name (regcache, "fctrl", &val);
175 val = fp->fstat & 0xFFFF;
176 supply_register_by_name (regcache, "fstat", &val);
178 val = fp->ftag & 0xFFFF;
179 supply_register_by_name (regcache, "ftag", &val);
181 val = fp->fiseg & 0xFFFF;
182 supply_register_by_name (regcache, "fiseg", &val);
184 val = fp->foseg & 0xFFFF;
185 supply_register_by_name (regcache, "foseg", &val);
187 /* fop has only 11 valid bits. */
188 val = (fp->fop) & 0x7FF;
189 supply_register_by_name (regcache, "fop", &val);
193 i387_cache_to_fxsave (struct regcache *regcache, void *buf)
195 struct i387_fxsave *fp = (struct i387_fxsave *) buf;
197 int st0_regnum = find_regno ("st0");
198 int xmm0_regnum = find_regno ("xmm0");
199 unsigned long val, val2;
201 for (i = 0; i < 8; i++)
202 collect_register (regcache, i + st0_regnum,
203 ((char *) &fp->st_space[0]) + i * 16);
204 for (i = 0; i < num_xmm_registers; i++)
205 collect_register (regcache, i + xmm0_regnum,
206 ((char *) &fp->xmm_space[0]) + i * 16);
208 collect_register_by_name (regcache, "fioff", &fp->fioff);
209 collect_register_by_name (regcache, "fooff", &fp->fooff);
210 collect_register_by_name (regcache, "mxcsr", &fp->mxcsr);
212 /* This one's 11 bits... */
213 collect_register_by_name (regcache, "fop", &val2);
214 fp->fop = (val2 & 0x7FF) | (fp->fop & 0xF800);
216 /* Some registers are 16-bit. */
217 collect_register_by_name (regcache, "fctrl", &val);
220 collect_register_by_name (regcache, "fstat", &val);
223 /* Convert to the simplifed tag form stored in fxsave data. */
224 collect_register_by_name (regcache, "ftag", &val);
227 for (i = 7; i >= 0; i--)
229 int tag = (val >> (i * 2)) & 3;
236 collect_register_by_name (regcache, "fiseg", &val);
239 collect_register_by_name (regcache, "foseg", &val);
244 i387_cache_to_xsave (struct regcache *regcache, void *buf)
246 struct i387_xsave *fp = (struct i387_xsave *) buf;
248 unsigned long val, val2;
249 unsigned int clear_bv;
250 unsigned long long xstate_bv = 0;
254 /* The supported bits in `xstat_bv' are 1 byte. Clear part in
255 vector registers if its bit in xstat_bv is zero. */
256 clear_bv = (~fp->xstate_bv) & x86_xcr0;
258 /* Clear part in x87 and vector registers if its bit in xstat_bv is
262 if ((clear_bv & I386_XSTATE_X87))
263 for (i = 0; i < 8; i++)
264 memset (((char *) &fp->st_space[0]) + i * 16, 0, 10);
266 if ((clear_bv & I386_XSTATE_SSE))
267 for (i = 0; i < num_xmm_registers; i++)
268 memset (((char *) &fp->xmm_space[0]) + i * 16, 0, 16);
270 if ((clear_bv & I386_XSTATE_AVX))
271 for (i = 0; i < num_xmm_registers; i++)
272 memset (((char *) &fp->ymmh_space[0]) + i * 16, 0, 16);
275 /* Check if any x87 registers are changed. */
276 if ((x86_xcr0 & I386_XSTATE_X87))
278 int st0_regnum = find_regno ("st0");
280 for (i = 0; i < 8; i++)
282 collect_register (regcache, i + st0_regnum, raw);
283 p = ((char *) &fp->st_space[0]) + i * 16;
284 if (memcmp (raw, p, 10))
286 xstate_bv |= I386_XSTATE_X87;
292 /* Check if any SSE registers are changed. */
293 if ((x86_xcr0 & I386_XSTATE_SSE))
295 int xmm0_regnum = find_regno ("xmm0");
297 for (i = 0; i < num_xmm_registers; i++)
299 collect_register (regcache, i + xmm0_regnum, raw);
300 p = ((char *) &fp->xmm_space[0]) + i * 16;
301 if (memcmp (raw, p, 16))
303 xstate_bv |= I386_XSTATE_SSE;
309 /* Check if any AVX registers are changed. */
310 if ((x86_xcr0 & I386_XSTATE_AVX))
312 int ymm0h_regnum = find_regno ("ymm0h");
314 for (i = 0; i < num_xmm_registers; i++)
316 collect_register (regcache, i + ymm0h_regnum, raw);
317 p = ((char *) &fp->ymmh_space[0]) + i * 16;
318 if (memcmp (raw, p, 16))
320 xstate_bv |= I386_XSTATE_AVX;
326 /* Update the corresponding bits in xstate_bv if any SSE/AVX
327 registers are changed. */
328 fp->xstate_bv |= xstate_bv;
330 collect_register_by_name (regcache, "fioff", &fp->fioff);
331 collect_register_by_name (regcache, "fooff", &fp->fooff);
332 collect_register_by_name (regcache, "mxcsr", &fp->mxcsr);
334 /* This one's 11 bits... */
335 collect_register_by_name (regcache, "fop", &val2);
336 fp->fop = (val2 & 0x7FF) | (fp->fop & 0xF800);
338 /* Some registers are 16-bit. */
339 collect_register_by_name (regcache, "fctrl", &val);
342 collect_register_by_name (regcache, "fstat", &val);
345 /* Convert to the simplifed tag form stored in fxsave data. */
346 collect_register_by_name (regcache, "ftag", &val);
349 for (i = 7; i >= 0; i--)
351 int tag = (val >> (i * 2)) & 3;
358 collect_register_by_name (regcache, "fiseg", &val);
361 collect_register_by_name (regcache, "foseg", &val);
366 i387_ftag (struct i387_fxsave *fp, int regno)
368 unsigned char *raw = &fp->st_space[regno * 16];
369 unsigned int exponent;
370 unsigned long fraction[2];
373 integer = raw[7] & 0x80;
374 exponent = (((raw[9] & 0x7f) << 8) | raw[8]);
375 fraction[0] = ((raw[3] << 24) | (raw[2] << 16) | (raw[1] << 8) | raw[0]);
376 fraction[1] = (((raw[7] & 0x7f) << 24) | (raw[6] << 16)
377 | (raw[5] << 8) | raw[4]);
379 if (exponent == 0x7fff)
384 else if (exponent == 0x0000)
386 if (fraction[0] == 0x0000 && fraction[1] == 0x0000 && !integer)
413 i387_fxsave_to_cache (struct regcache *regcache, const void *buf)
415 struct i387_fxsave *fp = (struct i387_fxsave *) buf;
417 int st0_regnum = find_regno ("st0");
418 int xmm0_regnum = find_regno ("xmm0");
421 for (i = 0; i < 8; i++)
422 supply_register (regcache, i + st0_regnum,
423 ((char *) &fp->st_space[0]) + i * 16);
424 for (i = 0; i < num_xmm_registers; i++)
425 supply_register (regcache, i + xmm0_regnum,
426 ((char *) &fp->xmm_space[0]) + i * 16);
428 supply_register_by_name (regcache, "fioff", &fp->fioff);
429 supply_register_by_name (regcache, "fooff", &fp->fooff);
430 supply_register_by_name (regcache, "mxcsr", &fp->mxcsr);
432 /* Some registers are 16-bit. */
433 val = fp->fctrl & 0xFFFF;
434 supply_register_by_name (regcache, "fctrl", &val);
436 val = fp->fstat & 0xFFFF;
437 supply_register_by_name (regcache, "fstat", &val);
439 /* Generate the form of ftag data that GDB expects. */
440 top = (fp->fstat >> 11) & 0x7;
442 for (i = 7; i >= 0; i--)
445 if (fp->ftag & (1 << i))
446 tag = i387_ftag (fp, (i + 8 - top) % 8);
449 val |= tag << (2 * i);
451 supply_register_by_name (regcache, "ftag", &val);
453 val = fp->fiseg & 0xFFFF;
454 supply_register_by_name (regcache, "fiseg", &val);
456 val = fp->foseg & 0xFFFF;
457 supply_register_by_name (regcache, "foseg", &val);
459 val = (fp->fop) & 0x7FF;
460 supply_register_by_name (regcache, "fop", &val);
464 i387_xsave_to_cache (struct regcache *regcache, const void *buf)
466 struct i387_xsave *fp = (struct i387_xsave *) buf;
467 struct i387_fxsave *fxp = (struct i387_fxsave *) buf;
470 unsigned int clear_bv;
473 /* The supported bits in `xstat_bv' are 1 byte. Clear part in
474 vector registers if its bit in xstat_bv is zero. */
475 clear_bv = (~fp->xstate_bv) & x86_xcr0;
477 /* Check if any x87 registers are changed. */
478 if ((x86_xcr0 & I386_XSTATE_X87) != 0)
480 int st0_regnum = find_regno ("st0");
482 if ((clear_bv & I386_XSTATE_X87) != 0)
484 for (i = 0; i < 8; i++)
485 supply_register_zeroed (regcache, i + st0_regnum);
489 p = (gdb_byte *) &fp->st_space[0];
490 for (i = 0; i < 8; i++)
491 supply_register (regcache, i + st0_regnum, p + i * 16);
495 if ((x86_xcr0 & I386_XSTATE_SSE) != 0)
497 int xmm0_regnum = find_regno ("xmm0");
499 if ((clear_bv & I386_XSTATE_SSE))
501 for (i = 0; i < num_xmm_registers; i++)
502 supply_register_zeroed (regcache, i + xmm0_regnum);
506 p = (gdb_byte *) &fp->xmm_space[0];
507 for (i = 0; i < num_xmm_registers; i++)
508 supply_register (regcache, i + xmm0_regnum, p + i * 16);
512 if ((x86_xcr0 & I386_XSTATE_AVX) != 0)
514 int ymm0h_regnum = find_regno ("ymm0h");
516 if ((clear_bv & I386_XSTATE_AVX) != 0)
518 for (i = 0; i < num_xmm_registers; i++)
519 supply_register_zeroed (regcache, i + ymm0h_regnum);
523 p = (gdb_byte *) &fp->ymmh_space[0];
524 for (i = 0; i < num_xmm_registers; i++)
525 supply_register (regcache, i + ymm0h_regnum, p + i * 16);
529 supply_register_by_name (regcache, "fioff", &fp->fioff);
530 supply_register_by_name (regcache, "fooff", &fp->fooff);
531 supply_register_by_name (regcache, "mxcsr", &fp->mxcsr);
533 /* Some registers are 16-bit. */
534 val = fp->fctrl & 0xFFFF;
535 supply_register_by_name (regcache, "fctrl", &val);
537 val = fp->fstat & 0xFFFF;
538 supply_register_by_name (regcache, "fstat", &val);
540 /* Generate the form of ftag data that GDB expects. */
541 top = (fp->fstat >> 11) & 0x7;
543 for (i = 7; i >= 0; i--)
546 if (fp->ftag & (1 << i))
547 tag = i387_ftag (fxp, (i + 8 - top) % 8);
550 val |= tag << (2 * i);
552 supply_register_by_name (regcache, "ftag", &val);
554 val = fp->fiseg & 0xFFFF;
555 supply_register_by_name (regcache, "fiseg", &val);
557 val = fp->foseg & 0xFFFF;
558 supply_register_by_name (regcache, "foseg", &val);
560 val = (fp->fop) & 0x7FF;
561 supply_register_by_name (regcache, "fop", &val);
564 /* Default to SSE. */
565 unsigned long long x86_xcr0 = I386_XSTATE_SSE_MASK;