Lines Matching defs:x87
1759 /*--- Supporting functions for x87 FPU activities. ---*/
1769 /* Inspect a value and its tag, as per the x87 'FXAM' instruction. */
1853 Fpu_State* x87 = (Fpu_State*)x87_state;
1854 UInt ftop = (x87->env[FP_ENV_STAT] >> 11) & 7;
1855 UInt tagw = x87->env[FP_ENV_TAG];
1856 UInt fpucw = x87->env[FP_ENV_CTRL];
1857 UInt c3210 = x87->env[FP_ENV_STAT] & 0x4700;
1878 convert_f80le_to_f64le( &x87->reg[10*stno],
1903 /* Create an x87 FPU state from the guest state, as close as
1913 Fpu_State* x87 = (Fpu_State*)x87_state;
1918 x87->env[i] = 0;
1920 x87->env[1] = x87->env[3] = x87->env[5] = x87->env[13] = 0xFFFF;
1921 x87->env[FP_ENV_STAT]
1923 x87->env[FP_ENV_CTRL]
1934 &x87->reg[10*stno] );
1939 &x87->reg[10*stno] );
1942 x87->env[FP_ENV_TAG] = toUShort(tagw);
1952 /* XSAVE component 0 is the x87 FPU state. */
1976 /* Now build the proper fxsave x87 image from the fsave x87 image
1996 /* RIP (Last x87 instruction pointer). From experimentation, the
2003 /* RDP (Last x87 data pointer). From experimentation, the real CPU
2063 /* Do the x87 part */
2115 /* Copy the x87 registers out of the image, into a temporary
2213 /* Prefer an X87 emwarn over an XMM one, if both exist. */
2226 /* Initialise the x87 FPU state as per 'finit'. */
2303 /* fpucw[15:0] contains a x87 native format FPU control word.
2331 /* Given fpround as an IRRoundingMode value, create a suitable x87
2353 /* Create an x87 FPU env from the guest state, as close as we can
2361 Fpu_State* x87 = (Fpu_State*)x87_state;
2366 x87->env[i] = 0;
2368 x87->env[1] = x87->env[3] = x87->env[5] = x87->env[13] = 0xFFFF;
2369 x87->env[FP_ENV_STAT]
2371 x87->env[FP_ENV_CTRL]
2374 /* Compute the x87 tag word. */
2386 x87->env[FP_ENV_TAG] = toUShort(tagw);
2388 /* We don't dump the x87 registers, tho. */
2414 Fpu_State_16* x87 = (Fpu_State_16*)x87_state;
2419 x87->env[i] = 0;
2421 x87->env[FPS_ENV_STAT]
2423 x87->env[FPS_ENV_CTRL]
2434 &x87->reg[10*stno] );
2439 &x87->reg[10*stno] );
2442 x87->env[FPS_ENV_TAG] = toUShort(tagw);
2468 Fpu_State_16* x87 = (Fpu_State_16*)x87_state;
2469 UInt ftop = (x87->env[FPS_ENV_STAT] >> 11) & 7;
2470 UInt tagw = x87->env[FPS_ENV_TAG];
2471 UInt fpucw = x87->env[FPS_ENV_CTRL];
2472 UInt c3210 = x87->env[FPS_ENV_STAT] & 0x4700;
2491 convert_f80le_to_f64le( &x87->reg[10*stno],
3934 0x9b, 0x1e, 0x87, 0xe9, 0xce, 0x55, 0x28, 0xdf,
3951 0x7c, 0xe3, 0x39, 0x82, 0x9b, 0x2f, 0xff, 0x87, // 2
4045 0x97, 0xb2, 0x87, 0x90, 0x61, 0xbe, 0xdc, 0xfc, //13
4071 0xfe, 0x19, 0x2b, 0x7d, 0x87, 0x92, 0xad, 0xec, // 8
