1/* Target-dependent code for the i387.
2
3   Copyright 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
4
5   This file is part of GDB.
6
7   This program is free software; you can redistribute it and/or modify
8   it under the terms of the GNU General Public License as published by
9   the Free Software Foundation; either version 2 of the License, or
10   (at your option) any later version.
11
12   This program is distributed in the hope that it will be useful,
13   but WITHOUT ANY WARRANTY; without even the implied warranty of
14   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15   GNU General Public License for more details.
16
17   You should have received a copy of the GNU General Public License
18   along with this program; if not, write to the Free Software
19   Foundation, Inc., 59 Temple Place - Suite 330,
20   Boston, MA 02111-1307, USA.  */
21
22#ifndef I387_TDEP_H
23#define I387_TDEP_H
24
25struct gdbarch;
26struct frame_info;
27struct regcache;
28struct type;
29struct ui_file;
30
31/* Because the number of general-purpose registers is different for
32   AMD64, the floating-point registers and SSE registers get shifted.
33   The following definitions are intended to help writing code that
34   needs the register numbers of floating-point registers and SSE
35   registers.  In order to use these, one should provide a definition
36   for I387_ST0_REGNUM, and possibly I387_NUM_XMM_REGS, preferably by
37   using a local "#define" in the body of the function that uses this.
38   Please "#undef" them before the end of the function.  */
39
40#define I387_FCTRL_REGNUM	(I387_ST0_REGNUM + 8)
41#define I387_FSTAT_REGNUM	(I387_FCTRL_REGNUM + 1)
42#define I387_FTAG_REGNUM	(I387_FCTRL_REGNUM + 2)
43#define I387_FISEG_REGNUM	(I387_FCTRL_REGNUM + 3)
44#define I387_FIOFF_REGNUM	(I387_FCTRL_REGNUM + 4)
45#define I387_FOSEG_REGNUM	(I387_FCTRL_REGNUM + 5)
46#define I387_FOOFF_REGNUM	(I387_FCTRL_REGNUM + 6)
47#define I387_FOP_REGNUM		(I387_FCTRL_REGNUM + 7)
48#define I387_XMM0_REGNUM	(I387_ST0_REGNUM + 16)
49#define I387_MXCSR_REGNUM	(I387_XMM0_REGNUM + I387_NUM_XMM_REGS)
50
51
52/* Print out the i387 floating point state.  */
53
54extern void i387_print_float_info (struct gdbarch *gdbarch,
55				   struct ui_file *file,
56				   struct frame_info *frame,
57				   const char *args);
58
59/* Read a value of type TYPE from register REGNUM in frame FRAME, and
60   return its contents in TO.  */
61
62extern void i387_register_to_value (struct frame_info *frame, int regnum,
63				    struct type *type, void *to);
64
65/* Write the contents FROM of a value of type TYPE into register
66   REGNUM in frame FRAME.  */
67
68extern void i387_value_to_register (struct frame_info *frame, int regnum,
69				    struct type *type, const void *from);
70
71
72/* Size of the memory area use by the 'fsave' and 'fxsave'
73   instructions.  */
74#define I387_SIZEOF_FSAVE	108
75#define I387_SIZEOF_FXSAVE	512
76
77/* Fill register REGNUM in REGCACHE with the appropriate value from
78   *FSAVE.  This function masks off any of the reserved bits in
79   *FSAVE.  */
80
81extern void i387_supply_fsave (struct regcache *regcache, int regnum,
82			       const void *fsave);
83
84/* Fill register REGNUM (if it is a floating-point register) in *FSAVE
85   with the value from REGCACHE.  If REGNUM is -1, do this for all
86   registers.  This function doesn't touch any of the reserved bits in
87   *FSAVE.  */
88
89extern void i387_collect_fsave (const struct regcache *regcache, int regnum,
90				void *fsave);
91
92/* Fill register REGNUM (if it is a floating-point register) in *FSAVE
93   with the value in GDB's register cache.  If REGNUM is -1, do this
94   for all registers.  This function doesn't touch any of the reserved
95   bits in *FSAVE.  */
96
97extern void i387_fill_fsave (void *fsave, int regnum);
98
99/* Fill register REGNUM in REGCACHE with the appropriate
100   floating-point or SSE register value from *FXSAVE.  This function
101   masks off any of the reserved bits in *FXSAVE.  */
102
103extern void i387_supply_fxsave (struct regcache *regcache, int regnum,
104				const void *fxsave);
105
106/* Fill register REGNUM (if it is a floating-point or SSE register) in
107   *FXSAVE with the value from REGCACHE.  If REGNUM is -1, do this for
108   all registers.  This function doesn't touch any of the reserved
109   bits in *FXSAVE.  */
110
111extern void i387_collect_fxsave (const struct regcache *regcache, int regnum,
112				 void *fxsave);
113
114/* Fill register REGNUM (if it is a floating-point or SSE register) in
115   *FXSAVE with the value in GDB's register cache.  If REGNUM is -1, do
116   this for all registers.  This function doesn't touch any of the
117   reserved bits in *FXSAVE.  */
118
119extern void i387_fill_fxsave (void *fxsave, int regnum);
120
121/* Prepare the FPU stack in REGCACHE for a function return.  */
122
123extern void i387_return_value (struct gdbarch *gdbarch,
124			       struct regcache *regcache);
125
126#endif /* i387-tdep.h */
127