]>
Commit | Line | Data |
---|---|---|
1 | /* Target-dependent code for the i387. | |
2 | Copyright 2000, 2001 Free Software Foundation, Inc. | |
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 | ||
21 | #ifndef I387_TDEP_H | |
22 | #define I387_TDEP_H | |
23 | ||
24 | /* Print out the i387 floating point state. */ | |
25 | ||
26 | extern void i387_print_float_info (struct gdbarch *gdbarch, | |
27 | struct ui_file *file, | |
28 | struct frame_info *frame, | |
29 | const char *args); | |
30 | ||
31 | /* Fill register REGNUM in GDB's register array with the appropriate | |
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 | ||
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 | ||
41 | extern void i387_supply_fsave (char *fsave); | |
42 | ||
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 | |
45 | for all registers. This function doesn't touch any of the reserved | |
46 | bits in *FSAVE. */ | |
47 | ||
48 | extern void i387_fill_fsave (char *fsave, int regnum); | |
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 | ||
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 | |
58 | this for all registers. This function doesn't touch any of the | |
59 | reserved bits in *FXSAVE. */ | |
60 | ||
61 | extern void i387_fill_fxsave (char *fxsave, int regnum); | |
62 | ||
63 | #endif /* i387-tdep.h */ |