Cross Reference: /external/valgrind/main/VEX/priv/guest_amd64

Lines Matching refs:x87
1536 /*--- Supporting functions for x87 FPU activities.            ---*/
1546 /* Inspect a value and its tag, as per the x87 'FXAM' instruction. */
1630    Fpu_State* x87     = (Fpu_State*)x87_state;
1631    UInt       ftop    = (x87->env[FP_ENV_STAT] >> 11) & 7;
1632    UInt       tagw    = x87->env[FP_ENV_TAG];
1633    UInt       fpucw   = x87->env[FP_ENV_CTRL];
1634    UInt       c3210   = x87->env[FP_ENV_STAT] & 0x4700;
1655             convert_f80le_to_f64le( &x87->reg[10*stno], 
1680 /* Create an x87 FPU state from the guest state, as close as
1690    Fpu_State* x87     = (Fpu_State*)x87_state;
1695       x87->env[i] = 0;
1697    x87->env[1] = x87->env[3] = x87->env[5] = x87->env[13] = 0xFFFF;
1698    x87->env[FP_ENV_STAT] 
1700    x87->env[FP_ENV_CTRL] 
1711                                  &x87->reg[10*stno] );
1716                                  &x87->reg[10*stno] );
1719    x87->env[FP_ENV_TAG] = toUShort(tagw);
1751    /* Now build the proper fxsave image from the x87 image we just
1771    /* RIP (Last x87 instruction pointer).  From experimentation, the
1778    /* RDP (Last x87 data pointer).  From experimentation, the real CPU
1877    /* Copy the x87 registers out of the image, into a temporary
1925 /* Initialise the x87 FPU state as per 'finit'. */
2002 /* fpucw[15:0] contains a x87 native format FPU control word.
2030 /* Given fpround as an IRRoundingMode value, create a suitable x87
2052 /* Create an x87 FPU env from the guest state, as close as we can
2060    Fpu_State* x87     = (Fpu_State*)x87_state;
2065       x87->env[i] = 0;
2067    x87->env[1] = x87->env[3] = x87->env[5] = x87->env[13] = 0xFFFF;
2068    x87->env[FP_ENV_STAT] 
2070    x87->env[FP_ENV_CTRL] 
2073    /* Compute the x87 tag word. */
2085    x87->env[FP_ENV_TAG] = toUShort(tagw);
2087    /* We don't dump the x87 registers, tho. */
2113    Fpu_State_16* x87     = (Fpu_State_16*)x87_state;
2118       x87->env[i] = 0;
2120    x87->env[FPS_ENV_STAT] 
2122    x87->env[FPS_ENV_CTRL] 
2133                                  &x87->reg[10*stno] );
2138                                  &x87->reg[10*stno] );
2141    x87->env[FPS_ENV_TAG] = toUShort(tagw);
2167    Fpu_State_16* x87     = (Fpu_State_16*)x87_state;
2168    UInt          ftop    = (x87->env[FPS_ENV_STAT] >> 11) & 7;
2169    UInt          tagw    = x87->env[FPS_ENV_TAG];
2170    UInt          fpucw   = x87->env[FPS_ENV_CTRL];
2171    UInt          c3210   = x87->env[FPS_ENV_STAT] & 0x4700;
2190          convert_f80le_to_f64le( &x87->reg[10*stno], 
3454    0x9b, 0x1e, 0x87, 0xe9, 0xce, 0x55, 0x28, 0xdf,
3471    0x7c, 0xe3, 0x39, 0x82, 0x9b, 0x2f, 0xff, 0x87, // 2
3565    0x97, 0xb2, 0x87, 0x90, 0x61, 0xbe, 0xdc, 0xfc, //13
3591    0xfe, 0x19, 0x2b, 0x7d, 0x87, 0x92, 0xad, 0xec, // 8