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