Lines Matching defs:x87
1126 /* This can happen, as a result of x87 FP compares: "fcom ... ;
1326 /*--- Supporting functions for x87 FPU activities. ---*/
1366 /* Inspect a value and its tag, as per the x87 'FXAM' instruction. */
1459 /* Layout of the real x87 state. */
1465 /* fpucw[15:0] contains a x87 native format FPU control word.
1492 /* Given fpround as an IRRoundingMode value, create a suitable x87
1546 /* Initialise the x87 FPU state as per 'finit'. */
1572 Fpu_State* x87 = (Fpu_State*)x87_state;
1573 UInt ftop = (x87->env[FP_ENV_STAT] >> 11) & 7;
1574 UInt tagw = x87->env[FP_ENV_TAG];
1575 UInt fpucw = x87->env[FP_ENV_CTRL];
1576 UInt c3210 = x87->env[FP_ENV_STAT] & 0x4700;
1597 convert_f80le_to_f64le( &x87->reg[10*stno],
1622 /* Create an x87 FPU state from the guest state, as close as
1632 Fpu_State* x87 = (Fpu_State*)x87_state;
1637 x87->env[i] = 0;
1639 x87->env[1] = x87->env[3] = x87->env[5] = x87->env[13] = 0xFFFF;
1640 x87->env[FP_ENV_STAT]
1642 x87->env[FP_ENV_CTRL]
1653 &x87->reg[10*stno] );
1658 &x87->reg[10*stno] );
1661 x87->env[FP_ENV_TAG] = toUShort(tagw);
1683 /* Now build the proper fxsave image from the x87 image we just
1789 /* Copy the x87 registers out of the image, into a temporary
1841 /* Prefer an X87 emwarn over an XMM one, if both exist. */
