Lines Matching defs:x87
1163 /* This can happen, as a result of x87 FP compares: "fcom ... ;
1363 /*--- Supporting functions for x87 FPU activities. ---*/
1403 /* Inspect a value and its tag, as per the x87 'FXAM' instruction. */
1496 /* Layout of the real x87 state. */
1502 /* fpucw[15:0] contains a x87 native format FPU control word.
1529 /* Given fpround as an IRRoundingMode value, create a suitable x87
1583 /* Initialise the x87 FPU state as per 'finit'. */
1609 Fpu_State* x87 = (Fpu_State*)x87_state;
1610 UInt ftop = (x87->env[FP_ENV_STAT] >> 11) & 7;
1611 UInt tagw = x87->env[FP_ENV_TAG];
1612 UInt fpucw = x87->env[FP_ENV_CTRL];
1613 UInt c3210 = x87->env[FP_ENV_STAT] & 0x4700;
1634 convert_f80le_to_f64le( &x87->reg[10*stno],
1659 /* Create an x87 FPU state from the guest state, as close as
1669 Fpu_State* x87 = (Fpu_State*)x87_state;
1674 x87->env[i] = 0;
1676 x87->env[1] = x87->env[3] = x87->env[5] = x87->env[13] = 0xFFFF;
1677 x87->env[FP_ENV_STAT]
1679 x87->env[FP_ENV_CTRL]
1690 &x87->reg[10*stno] );
1695 &x87->reg[10*stno] );
1698 x87->env[FP_ENV_TAG] = toUShort(tagw);
1720 /* Now build the proper fxsave image from the x87 image we just
1826 /* Copy the x87 registers out of the image, into a temporary
1922 /* Do x87 save from the supplied VexGuestX86State structure and store the
1932 /* Do x87 restore from the supplied address and store read values to the given