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 10663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng Copyright (C) 2004-2012 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 92663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng#define FP_ENV_LSTOP 9 93ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define FP_ENV_OPOFF 10 /* and 11 */ 94ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define FP_ENV_OPSEL 12 95ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define FP_REG(ii) (10*(7-(ii))) 96ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 97ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 98663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng/* Layout of the 16-bit FNSAVE x87 state. */ 99663860b1408516d02ebfcb3a9999a134e6cfb223Ben Chengtypedef 100663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng struct { 101663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng UShort env[7]; 102663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng UChar reg[80]; 103663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng } 104663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng Fpu_State_16; 105663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng 106663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng/* Offsets, in 16-bit ints, into the FPU environment (env) area. */ 107663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng#define FPS_ENV_CTRL 0 108663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng#define FPS_ENV_STAT 1 109663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng#define FPS_ENV_TAG 2 110663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng#define FPS_ENV_IP 3 111663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng#define FPS_ENV_CS 4 112663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng#define FPS_ENV_OPOFF 5 113663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng#define FPS_ENV_OPSEL 6 114663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng 115663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng 116ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Do the computations for x86/amd64 FXTRACT. Called directly from 117ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown generated code. CLEAN HELPER. */ 118ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern ULong x86amd64g_calculate_FXTRACT ( ULong arg, HWord getExp ); 119ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 120663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng/* Compute result and new OSZACP flags for all 8-bit PCMP{E,I}STR{I,M} 121ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown variants. See bigger comment on implementation of this function 122ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for details on call/return conventions. */ 123ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern Bool compute_PCMPxSTRx ( /*OUT*/V128* resV, 124ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /*OUT*/UInt* resOSZACP, 125ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown V128* argLV, V128* argRV, 126ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UInt zmaskL, UInt zmaskR, 127ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UInt imm8, Bool isxSTRM ); 128ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 129663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng/* Compute result and new OSZACP flags for all 16-bit PCMP{E,I}STR{I,M} 130663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng variants. See bigger comment on implementation of this function 131663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng for details on call/return conventions. */ 132663860b1408516d02ebfcb3a9999a134e6cfb223Ben Chengextern Bool compute_PCMPxSTRx_wide ( /*OUT*/V128* resV, 133663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng /*OUT*/UInt* resOSZACP, 134663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng V128* argLV, V128* argRV, 135663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng UInt zmaskL, UInt zmaskR, 136663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng UInt imm8, Bool isxSTRM ); 137663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng 138ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#endif /* ndef __VEX_GUEST_GENERIC_X87_H */ 139ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 140ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 141ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- end guest_generic_x87.h ---*/ 142ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 143