]>
Commit | Line | Data |
---|---|---|
e750d25e | 1 | /* Target-dependent code for the i387. |
f31e928c | 2 | Copyright 2000, 2001 Free Software Foundation, Inc. |
b2450fc5 MK |
3 | |
4 | This file is part of GDB. | |
5 | ||
6 | This program is free software; you can redistribute it and/or modify | |
7 | it under the terms of the GNU General Public License as published by | |
8 | the Free Software Foundation; either version 2 of the License, or | |
9 | (at your option) any later version. | |
10 | ||
11 | This program is distributed in the hope that it will be useful, | |
12 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | GNU General Public License for more details. | |
15 | ||
16 | You should have received a copy of the GNU General Public License | |
17 | along with this program; if not, write to the Free Software | |
18 | Foundation, Inc., 59 Temple Place - Suite 330, | |
19 | Boston, MA 02111-1307, USA. */ | |
20 | ||
e750d25e JT |
21 | #ifndef I387_TDEP_H |
22 | #define I387_TDEP_H | |
b2450fc5 | 23 | |
61113f8b MK |
24 | /* Print out the i387 floating point state. */ |
25 | ||
26 | extern void i387_print_float_info (struct gdbarch *gdbarch, | |
27 | struct ui_file *file, | |
8e186fd6 AC |
28 | struct frame_info *frame, |
29 | const char *args); | |
61113f8b | 30 | |
7daede3b | 31 | /* Fill register REGNUM in GDB's register array with the appropriate |
f31e928c MK |
32 | value from *FSAVE. This function masks off any of the reserved |
33 | bits in *FSAVE. */ | |
34 | ||
35 | extern void i387_supply_register (int regnum, char *fsave); | |
36 | ||
b2450fc5 MK |
37 | /* Fill GDB's register array with the floating-point register values |
38 | in *FSAVE. This function masks off any of the reserved | |
39 | bits in *FSAVE. */ | |
40 | ||
e2890f08 | 41 | extern void i387_supply_fsave (char *fsave); |
b2450fc5 | 42 | |
f31e928c MK |
43 | /* Fill register REGNUM (if it is a floating-point register) in *FSAVE |
44 | with the value in GDB's register array. If REGNUM is -1, do this | |
b2450fc5 MK |
45 | for all registers. This function doesn't touch any of the reserved |
46 | bits in *FSAVE. */ | |
47 | ||
f31e928c | 48 | extern void i387_fill_fsave (char *fsave, int regnum); |
e2890f08 MK |
49 | |
50 | /* Fill GDB's register array with the floating-point and SSE register | |
51 | values in *FXSAVE. This function masks off any of the reserved | |
52 | bits in *FXSAVE. */ | |
53 | ||
54 | extern void i387_supply_fxsave (char *fxsave); | |
55 | ||
f31e928c MK |
56 | /* Fill register REGNUM (if it is a floating-point or SSE register) in |
57 | *FXSAVE with the value in GDB's register array. If REGNUM is -1, do | |
e2890f08 MK |
58 | this for all registers. This function doesn't touch any of the |
59 | reserved bits in *FXSAVE. */ | |
60 | ||
f31e928c | 61 | extern void i387_fill_fxsave (char *fxsave, int regnum); |
b2450fc5 | 62 | |
e750d25e | 63 | #endif /* i387-tdep.h */ |