1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 3ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- begin guest_generic_x87.h ---*/ 4ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 5ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 6ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* 7ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This file is part of Valgrind, a dynamic binary instrumentation 8ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown framework. 9ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 10b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov Copyright (C) 2004-2011 OpenWorks LLP 11ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown info@open-works.net 12ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 13ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is free software; you can redistribute it and/or 14ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown modify it under the terms of the GNU General Public License as 15ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown published by the Free Software Foundation; either version 2 of the 16ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown License, or (at your option) any later version. 17ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 18ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is distributed in the hope that it will be useful, but 19ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown WITHOUT ANY WARRANTY; without even the implied warranty of 20ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 21ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown General Public License for more details. 22ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 23ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown You should have received a copy of the GNU General Public License 24ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown along with this program; if not, write to the Free Software 25ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 26ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 02110-1301, USA. 27ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 28ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The GNU General Public License is contained in the file COPYING. 29ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 30ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Neither the names of the U.S. Department of Energy nor the 31ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown University of California nor the names of its contributors may be 32ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown used to endorse or promote products derived from this software 33ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown without prior written permission. 34ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 35ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 36ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* This file contains functions for doing some x87-specific 37ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown operations. Both the amd64 and x86 front ends (guests) indirectly 38ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown call these functions via guest helper calls. By putting them here, 39ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown code duplication is avoided. Some of these functions are tricky 40ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown and hard to verify, so there is much to be said for only having one 41ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown copy thereof. 42ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 43ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 44ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#ifndef __VEX_GUEST_GENERIC_X87_H 45ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define __VEX_GUEST_GENERIC_X87_H 46ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 47ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "libvex_basictypes.h" 48ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 49ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 50ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Convert an IEEE754 double (64-bit) into an x87 extended double 51ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown (80-bit), mimicing the hardware fairly closely. Both numbers are 52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown stored little-endian. Limitations, all of which could be fixed, 53ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown given some level of hassle: 54ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 55ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Identity of NaNs is not preserved. 56ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 57ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown See comments in the code for more details. 58ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 59ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern 60ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid convert_f64le_to_f80le ( /*IN*/UChar* f64, /*OUT*/UChar* f80 ); 61ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 62ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 63ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Convert an x87 extended double (80-bit) into an IEEE 754 double 64ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown (64-bit), mimicking the hardware fairly closely. Both numbers are 65ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown stored little-endian. Limitations, both of which could be fixed, 66ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown given some level of hassle: 67ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 68ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Rounding following truncation could be a bit better. 69ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 70ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Identity of NaNs is not preserved. 71ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 72ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown See comments in the code for more details. 73ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 74ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern 75ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid convert_f80le_to_f64le ( /*IN*/UChar* f80, /*OUT*/UChar* f64 ); 76ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 77ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 78ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Layout of the real x87 state. */ 79ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Browntypedef 80ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown struct { 81ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UShort env[14]; 82ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UChar reg[80]; 83ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 84ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Fpu_State; 85ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 86ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Offsets, in 16-bit ints, into the FPU environment (env) area. */ 87ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define FP_ENV_CTRL 0 88ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define FP_ENV_STAT 2 89ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define FP_ENV_TAG 4 90ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define FP_ENV_IP 6 /* and 7 */ 91ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define FP_ENV_CS 8 92ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define FP_ENV_OPOFF 10 /* and 11 */ 93ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define FP_ENV_OPSEL 12 94ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define FP_REG(ii) (10*(7-(ii))) 95ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 96ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 97ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Do the computations for x86/amd64 FXTRACT. Called directly from 98ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown generated code. CLEAN HELPER. */ 99ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong x86amd64g_calculate_FXTRACT ( ULong arg, HWord getExp ); 100ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 101ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Compute result and new OSZACP flags for all PCMP{E,I}STR{I,M} 102ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown variants. See bigger comment on implementation of this function 103ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for details on call/return conventions. */ 104ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern Bool compute_PCMPxSTRx ( /*OUT*/V128* resV, 105ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /*OUT*/UInt* resOSZACP, 106ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown V128* argLV, V128* argRV, 107ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UInt zmaskL, UInt zmaskR, 108ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UInt imm8, Bool isxSTRM ); 109ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 110ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#endif /* ndef __VEX_GUEST_GENERIC_X87_H */ 111ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 112ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 113ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- end guest_generic_x87.h ---*/ 114ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 115