Lines Matching defs:x87
1447 /*--- Supporting functions for x87 FPU activities. ---*/
1457 /* Inspect a value and its tag, as per the x87 'FXAM' instruction. */
1541 Fpu_State* x87 = (Fpu_State*)x87_state;
1542 UInt ftop = (x87->env[FP_ENV_STAT] >> 11) & 7;
1543 UInt tagw = x87->env[FP_ENV_TAG];
1544 UInt fpucw = x87->env[FP_ENV_CTRL];
1545 UInt c3210 = x87->env[FP_ENV_STAT] & 0x4700;
1566 convert_f80le_to_f64le( &x87->reg[10*stno],
1591 /* Create an x87 FPU state from the guest state, as close as
1601 Fpu_State* x87 = (Fpu_State*)x87_state;
1606 x87->env[i] = 0;
1608 x87->env[1] = x87->env[3] = x87->env[5] = x87->env[13] = 0xFFFF;
1609 x87->env[FP_ENV_STAT]
1611 x87->env[FP_ENV_CTRL]
1622 &x87->reg[10*stno] );
1627 &x87->reg[10*stno] );
1630 x87->env[FP_ENV_TAG] = toUShort(tagw);
1662 /* Now build the proper fxsave image from the x87 image we just
1682 /* RIP (Last x87 instruction pointer). From experimentation, the
1689 /* RDP (Last x87 data pointer). From experimentation, the real CPU
1788 /* Copy the x87 registers out of the image, into a temporary
1827 /* Prefer an X87 emwarn over an XMM one, if both exist. */
1836 /* Initialise the x87 FPU state as per 'finit'. */
1913 /* fpucw[15:0] contains a x87 native format FPU control word.
1941 /* Given fpround as an IRRoundingMode value, create a suitable x87
1963 /* Create an x87 FPU env from the guest state, as close as we can
1971 Fpu_State* x87 = (Fpu_State*)x87_state;
1976 x87->env[i] = 0;
1978 x87->env[1] = x87->env[3] = x87->env[5] = x87->env[13] = 0xFFFF;
1979 x87->env[FP_ENV_STAT]
1981 x87->env[FP_ENV_CTRL]
1984 /* Compute the x87 tag word. */
1996 x87->env[FP_ENV_TAG] = toUShort(tagw);
1998 /* We don't dump the x87 registers, tho. */
2024 Fpu_State_16* x87 = (Fpu_State_16*)x87_state;
2029 x87->env[i] = 0;
2031 x87->env[FPS_ENV_STAT]
2033 x87->env[FPS_ENV_CTRL]
2044 &x87->reg[10*stno] );
2049 &x87->reg[10*stno] );
2052 x87->env[FPS_ENV_TAG] = toUShort(tagw);
2078 Fpu_State_16* x87 = (Fpu_State_16*)x87_state;
2079 UInt ftop = (x87->env[FPS_ENV_STAT] >> 11) & 7;
2080 UInt tagw = x87->env[FPS_ENV_TAG];
2081 UInt fpucw = x87->env[FPS_ENV_CTRL];
2082 UInt c3210 = x87->env[FPS_ENV_STAT] & 0x4700;
2101 convert_f80le_to_f64le( &x87->reg[10*stno],
3339 0x9b, 0x1e, 0x87, 0xe9, 0xce, 0x55, 0x28, 0xdf,
3356 0x7c, 0xe3, 0x39, 0x82, 0x9b, 0x2f, 0xff, 0x87, // 2
3450 0x97, 0xb2, 0x87, 0x90, 0x61, 0xbe, 0xdc, 0xfc, //13
3476 0xfe, 0x19, 0x2b, 0x7d, 0x87, 0x92, 0xad, 0xec, // 8
