1 /* i387-specific utility functions, for the remote server for GDB.
2 Copyright (C) 2000-2013 Free Software Foundation, Inc.
4 This file is part of GDB.
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3 of the License, or
9 (at your option) any later version.
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program. If not, see <http://www.gnu.org/licenses/>. */
21 #include "i386-xstate.h"
23 /* Note: These functions preserve the reserved bits in control registers.
24 However, gdbserver promptly throws away that information. */
26 /* These structs should have the proper sizes and alignment on both
27 i386 and x86-64 machines. */
30 /* All these are only sixteen bits, plus padding, except for fop (which
31 is only eleven bits), and fooff / fioff (which are 32 bits each). */
45 /* Space for eight 80-bit FP values. */
46 unsigned char st_space[80];
50 /* All these are only sixteen bits, plus padding, except for fop (which
51 is only eleven bits), and fooff / fioff (which are 32 bits each). */
66 /* Space for eight 80-bit FP values in 128-bit spaces. */
67 unsigned char st_space[128];
69 /* Space for eight 128-bit XMM values, or 16 on x86-64. */
70 unsigned char xmm_space[256];
74 /* All these are only sixteen bits, plus padding, except for fop (which
75 is only eleven bits), and fooff / fioff (which are 32 bits each). */
88 unsigned int mxcsr_mask;
90 /* Space for eight 80-bit FP values in 128-bit spaces. */
91 unsigned char st_space[128];
93 /* Space for eight 128-bit XMM values, or 16 on x86-64. */
94 unsigned char xmm_space[256];
96 unsigned char reserved1[48];
98 /* The extended control register 0 (the XFEATURE_ENABLED_MASK
100 unsigned long long xcr0;
102 unsigned char reserved2[40];
104 /* The XSTATE_BV bit vector. */
105 unsigned long long xstate_bv;
107 unsigned char reserved3[56];
109 /* Space for eight upper 128-bit YMM values, or 16 on x86-64. */
110 unsigned char ymmh_space[256];
114 i387_cache_to_fsave (struct regcache *regcache, void *buf)
116 struct i387_fsave *fp = (struct i387_fsave *) buf;
118 int st0_regnum = find_regno (regcache->tdesc, "st0");
119 unsigned long val, val2;
121 for (i = 0; i < 8; i++)
122 collect_register (regcache, i + st0_regnum,
123 ((char *) &fp->st_space[0]) + i * 10);
125 collect_register_by_name (regcache, "fioff", &fp->fioff);
126 collect_register_by_name (regcache, "fooff", &fp->fooff);
128 /* This one's 11 bits... */
129 collect_register_by_name (regcache, "fop", &val2);
130 fp->fop = (val2 & 0x7FF) | (fp->fop & 0xF800);
132 /* Some registers are 16-bit. */
133 collect_register_by_name (regcache, "fctrl", &val);
136 collect_register_by_name (regcache, "fstat", &val);
140 collect_register_by_name (regcache, "ftag", &val);
144 collect_register_by_name (regcache, "fiseg", &val);
148 collect_register_by_name (regcache, "foseg", &val);
154 i387_fsave_to_cache (struct regcache *regcache, const void *buf)
156 struct i387_fsave *fp = (struct i387_fsave *) buf;
158 int st0_regnum = find_regno (regcache->tdesc, "st0");
161 for (i = 0; i < 8; i++)
162 supply_register (regcache, i + st0_regnum,
163 ((char *) &fp->st_space[0]) + i * 10);
165 supply_register_by_name (regcache, "fioff", &fp->fioff);
166 supply_register_by_name (regcache, "fooff", &fp->fooff);
168 /* Some registers are 16-bit. */
169 val = fp->fctrl & 0xFFFF;
170 supply_register_by_name (regcache, "fctrl", &val);
172 val = fp->fstat & 0xFFFF;
173 supply_register_by_name (regcache, "fstat", &val);
175 val = fp->ftag & 0xFFFF;
176 supply_register_by_name (regcache, "ftag", &val);
178 val = fp->fiseg & 0xFFFF;
179 supply_register_by_name (regcache, "fiseg", &val);
181 val = fp->foseg & 0xFFFF;
182 supply_register_by_name (regcache, "foseg", &val);
184 /* fop has only 11 valid bits. */
185 val = (fp->fop) & 0x7FF;
186 supply_register_by_name (regcache, "fop", &val);
190 i387_cache_to_fxsave (struct regcache *regcache, void *buf)
192 struct i387_fxsave *fp = (struct i387_fxsave *) buf;
194 int st0_regnum = find_regno (regcache->tdesc, "st0");
195 int xmm0_regnum = find_regno (regcache->tdesc, "xmm0");
196 unsigned long val, val2;
197 /* Amd64 has 16 xmm regs; I386 has 8 xmm regs. */
198 int num_xmm_registers = register_size (regcache->tdesc, 0) == 8 ? 16 : 8;
200 for (i = 0; i < 8; i++)
201 collect_register (regcache, i + st0_regnum,
202 ((char *) &fp->st_space[0]) + i * 16);
203 for (i = 0; i < num_xmm_registers; i++)
204 collect_register (regcache, i + xmm0_regnum,
205 ((char *) &fp->xmm_space[0]) + i * 16);
207 collect_register_by_name (regcache, "fioff", &fp->fioff);
208 collect_register_by_name (regcache, "fooff", &fp->fooff);
209 collect_register_by_name (regcache, "mxcsr", &fp->mxcsr);
211 /* This one's 11 bits... */
212 collect_register_by_name (regcache, "fop", &val2);
213 fp->fop = (val2 & 0x7FF) | (fp->fop & 0xF800);
215 /* Some registers are 16-bit. */
216 collect_register_by_name (regcache, "fctrl", &val);
219 collect_register_by_name (regcache, "fstat", &val);
222 /* Convert to the simplifed tag form stored in fxsave data. */
223 collect_register_by_name (regcache, "ftag", &val);
226 for (i = 7; i >= 0; i--)
228 int tag = (val >> (i * 2)) & 3;
235 collect_register_by_name (regcache, "fiseg", &val);
238 collect_register_by_name (regcache, "foseg", &val);
243 i387_cache_to_xsave (struct regcache *regcache, void *buf)
245 struct i387_xsave *fp = (struct i387_xsave *) buf;
247 unsigned long val, val2;
248 unsigned int clear_bv;
249 unsigned long long xstate_bv = 0;
252 /* Amd64 has 16 xmm regs; I386 has 8 xmm regs. */
253 int num_xmm_registers = register_size (regcache->tdesc, 0) == 8 ? 16 : 8;
255 /* The supported bits in `xstat_bv' are 1 byte. Clear part in
256 vector registers if its bit in xstat_bv is zero. */
257 clear_bv = (~fp->xstate_bv) & x86_xcr0;
259 /* Clear part in x87 and vector registers if its bit in xstat_bv is
263 if ((clear_bv & I386_XSTATE_X87))
264 for (i = 0; i < 8; i++)
265 memset (((char *) &fp->st_space[0]) + i * 16, 0, 10);
267 if ((clear_bv & I386_XSTATE_SSE))
268 for (i = 0; i < num_xmm_registers; i++)
269 memset (((char *) &fp->xmm_space[0]) + i * 16, 0, 16);
271 if ((clear_bv & I386_XSTATE_AVX))
272 for (i = 0; i < num_xmm_registers; i++)
273 memset (((char *) &fp->ymmh_space[0]) + i * 16, 0, 16);
276 /* Check if any x87 registers are changed. */
277 if ((x86_xcr0 & I386_XSTATE_X87))
279 int st0_regnum = find_regno (regcache->tdesc, "st0");
281 for (i = 0; i < 8; i++)
283 collect_register (regcache, i + st0_regnum, raw);
284 p = ((char *) &fp->st_space[0]) + i * 16;
285 if (memcmp (raw, p, 10))
287 xstate_bv |= I386_XSTATE_X87;
293 /* Check if any SSE registers are changed. */
294 if ((x86_xcr0 & I386_XSTATE_SSE))
296 int xmm0_regnum = find_regno (regcache->tdesc, "xmm0");
298 for (i = 0; i < num_xmm_registers; i++)
300 collect_register (regcache, i + xmm0_regnum, raw);
301 p = ((char *) &fp->xmm_space[0]) + i * 16;
302 if (memcmp (raw, p, 16))
304 xstate_bv |= I386_XSTATE_SSE;
310 /* Check if any AVX registers are changed. */
311 if ((x86_xcr0 & I386_XSTATE_AVX))
313 int ymm0h_regnum = find_regno (regcache->tdesc, "ymm0h");
315 for (i = 0; i < num_xmm_registers; i++)
317 collect_register (regcache, i + ymm0h_regnum, raw);
318 p = ((char *) &fp->ymmh_space[0]) + i * 16;
319 if (memcmp (raw, p, 16))
321 xstate_bv |= I386_XSTATE_AVX;
327 /* Update the corresponding bits in xstate_bv if any SSE/AVX
328 registers are changed. */
329 fp->xstate_bv |= xstate_bv;
331 collect_register_by_name (regcache, "fioff", &fp->fioff);
332 collect_register_by_name (regcache, "fooff", &fp->fooff);
333 collect_register_by_name (regcache, "mxcsr", &fp->mxcsr);
335 /* This one's 11 bits... */
336 collect_register_by_name (regcache, "fop", &val2);
337 fp->fop = (val2 & 0x7FF) | (fp->fop & 0xF800);
339 /* Some registers are 16-bit. */
340 collect_register_by_name (regcache, "fctrl", &val);
343 collect_register_by_name (regcache, "fstat", &val);
346 /* Convert to the simplifed tag form stored in fxsave data. */
347 collect_register_by_name (regcache, "ftag", &val);
350 for (i = 7; i >= 0; i--)
352 int tag = (val >> (i * 2)) & 3;
359 collect_register_by_name (regcache, "fiseg", &val);
362 collect_register_by_name (regcache, "foseg", &val);
367 i387_ftag (struct i387_fxsave *fp, int regno)
369 unsigned char *raw = &fp->st_space[regno * 16];
370 unsigned int exponent;
371 unsigned long fraction[2];
374 integer = raw[7] & 0x80;
375 exponent = (((raw[9] & 0x7f) << 8) | raw[8]);
376 fraction[0] = ((raw[3] << 24) | (raw[2] << 16) | (raw[1] << 8) | raw[0]);
377 fraction[1] = (((raw[7] & 0x7f) << 24) | (raw[6] << 16)
378 | (raw[5] << 8) | raw[4]);
380 if (exponent == 0x7fff)
385 else if (exponent == 0x0000)
387 if (fraction[0] == 0x0000 && fraction[1] == 0x0000 && !integer)
414 i387_fxsave_to_cache (struct regcache *regcache, const void *buf)
416 struct i387_fxsave *fp = (struct i387_fxsave *) buf;
418 int st0_regnum = find_regno (regcache->tdesc, "st0");
419 int xmm0_regnum = find_regno (regcache->tdesc, "xmm0");
421 /* Amd64 has 16 xmm regs; I386 has 8 xmm regs. */
422 int num_xmm_registers = register_size (regcache->tdesc, 0) == 8 ? 16 : 8;
424 for (i = 0; i < 8; i++)
425 supply_register (regcache, i + st0_regnum,
426 ((char *) &fp->st_space[0]) + i * 16);
427 for (i = 0; i < num_xmm_registers; i++)
428 supply_register (regcache, i + xmm0_regnum,
429 ((char *) &fp->xmm_space[0]) + i * 16);
431 supply_register_by_name (regcache, "fioff", &fp->fioff);
432 supply_register_by_name (regcache, "fooff", &fp->fooff);
433 supply_register_by_name (regcache, "mxcsr", &fp->mxcsr);
435 /* Some registers are 16-bit. */
436 val = fp->fctrl & 0xFFFF;
437 supply_register_by_name (regcache, "fctrl", &val);
439 val = fp->fstat & 0xFFFF;
440 supply_register_by_name (regcache, "fstat", &val);
442 /* Generate the form of ftag data that GDB expects. */
443 top = (fp->fstat >> 11) & 0x7;
445 for (i = 7; i >= 0; i--)
448 if (fp->ftag & (1 << i))
449 tag = i387_ftag (fp, (i + 8 - top) % 8);
452 val |= tag << (2 * i);
454 supply_register_by_name (regcache, "ftag", &val);
456 val = fp->fiseg & 0xFFFF;
457 supply_register_by_name (regcache, "fiseg", &val);
459 val = fp->foseg & 0xFFFF;
460 supply_register_by_name (regcache, "foseg", &val);
462 val = (fp->fop) & 0x7FF;
463 supply_register_by_name (regcache, "fop", &val);
467 i387_xsave_to_cache (struct regcache *regcache, const void *buf)
469 struct i387_xsave *fp = (struct i387_xsave *) buf;
470 struct i387_fxsave *fxp = (struct i387_fxsave *) buf;
473 unsigned int clear_bv;
475 /* Amd64 has 16 xmm regs; I386 has 8 xmm regs. */
476 int num_xmm_registers = register_size (regcache->tdesc, 0) == 8 ? 16 : 8;
478 /* The supported bits in `xstat_bv' are 1 byte. Clear part in
479 vector registers if its bit in xstat_bv is zero. */
480 clear_bv = (~fp->xstate_bv) & x86_xcr0;
482 /* Check if any x87 registers are changed. */
483 if ((x86_xcr0 & I386_XSTATE_X87) != 0)
485 int st0_regnum = find_regno (regcache->tdesc, "st0");
487 if ((clear_bv & I386_XSTATE_X87) != 0)
489 for (i = 0; i < 8; i++)
490 supply_register_zeroed (regcache, i + st0_regnum);
494 p = (gdb_byte *) &fp->st_space[0];
495 for (i = 0; i < 8; i++)
496 supply_register (regcache, i + st0_regnum, p + i * 16);
500 if ((x86_xcr0 & I386_XSTATE_SSE) != 0)
502 int xmm0_regnum = find_regno (regcache->tdesc, "xmm0");
504 if ((clear_bv & I386_XSTATE_SSE))
506 for (i = 0; i < num_xmm_registers; i++)
507 supply_register_zeroed (regcache, i + xmm0_regnum);
511 p = (gdb_byte *) &fp->xmm_space[0];
512 for (i = 0; i < num_xmm_registers; i++)
513 supply_register (regcache, i + xmm0_regnum, p + i * 16);
517 if ((x86_xcr0 & I386_XSTATE_AVX) != 0)
519 int ymm0h_regnum = find_regno (regcache->tdesc, "ymm0h");
521 if ((clear_bv & I386_XSTATE_AVX) != 0)
523 for (i = 0; i < num_xmm_registers; i++)
524 supply_register_zeroed (regcache, i + ymm0h_regnum);
528 p = (gdb_byte *) &fp->ymmh_space[0];
529 for (i = 0; i < num_xmm_registers; i++)
530 supply_register (regcache, i + ymm0h_regnum, p + i * 16);
534 supply_register_by_name (regcache, "fioff", &fp->fioff);
535 supply_register_by_name (regcache, "fooff", &fp->fooff);
536 supply_register_by_name (regcache, "mxcsr", &fp->mxcsr);
538 /* Some registers are 16-bit. */
539 val = fp->fctrl & 0xFFFF;
540 supply_register_by_name (regcache, "fctrl", &val);
542 val = fp->fstat & 0xFFFF;
543 supply_register_by_name (regcache, "fstat", &val);
545 /* Generate the form of ftag data that GDB expects. */
546 top = (fp->fstat >> 11) & 0x7;
548 for (i = 7; i >= 0; i--)
551 if (fp->ftag & (1 << i))
552 tag = i387_ftag (fxp, (i + 8 - top) % 8);
555 val |= tag << (2 * i);
557 supply_register_by_name (regcache, "ftag", &val);
559 val = fp->fiseg & 0xFFFF;
560 supply_register_by_name (regcache, "fiseg", &val);
562 val = fp->foseg & 0xFFFF;
563 supply_register_by_name (regcache, "foseg", &val);
565 val = (fp->fop) & 0x7FF;
566 supply_register_by_name (regcache, "fop", &val);
569 /* Default to SSE. */
570 unsigned long long x86_xcr0 = I386_XSTATE_SSE_MASK;