Lines Matching defs:x87
1125 /* This can happen, as a result of x87 FP compares: "fcom ... ;
1325 /*--- Supporting functions for x87 FPU activities. ---*/
1365 /* Inspect a value and its tag, as per the x87 'FXAM' instruction. */
1458 /* Layout of the real x87 state. */
1464 /* fpucw[15:0] contains a x87 native format FPU control word.
1491 /* Given fpround as an IRRoundingMode value, create a suitable x87
1545 /* Initialise the x87 FPU state as per 'finit'. */
1571 Fpu_State* x87 = (Fpu_State*)x87_state;
1572 UInt ftop = (x87->env[FP_ENV_STAT] >> 11) & 7;
1573 UInt tagw = x87->env[FP_ENV_TAG];
1574 UInt fpucw = x87->env[FP_ENV_CTRL];
1575 UInt c3210 = x87->env[FP_ENV_STAT] & 0x4700;
1596 convert_f80le_to_f64le( &x87->reg[10*stno],
1621 /* Create an x87 FPU state from the guest state, as close as
1631 Fpu_State* x87 = (Fpu_State*)x87_state;
1636 x87->env[i] = 0;
1638 x87->env[1] = x87->env[3] = x87->env[5] = x87->env[13] = 0xFFFF;
1639 x87->env[FP_ENV_STAT]
1641 x87->env[FP_ENV_CTRL]
1652 &x87->reg[10*stno] );
1657 &x87->reg[10*stno] );
1660 x87->env[FP_ENV_TAG] = toUShort(tagw);
1682 /* Now build the proper fxsave image from the x87 image we just
1788 /* Copy the x87 registers out of the image, into a temporary
1840 /* Prefer an X87 emwarn over an XMM one, if both exist. */
