2002-05-11 17:22:27 +00:00
|
|
|
/* Target-dependent code for the i387.
|
2001-02-17 09:01:14 +00:00
|
|
|
Copyright 2000, 2001 Free Software Foundation, Inc.
|
2000-05-23 23:44:44 +00:00
|
|
|
|
|
|
|
This file is part of GDB.
|
|
|
|
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
|
|
it under the terms of the GNU General Public License as published by
|
|
|
|
the Free Software Foundation; either version 2 of the License, or
|
|
|
|
(at your option) any later version.
|
|
|
|
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with this program; if not, write to the Free Software
|
|
|
|
Foundation, Inc., 59 Temple Place - Suite 330,
|
|
|
|
Boston, MA 02111-1307, USA. */
|
|
|
|
|
2002-05-11 17:22:27 +00:00
|
|
|
#ifndef I387_TDEP_H
|
|
|
|
#define I387_TDEP_H
|
2000-05-23 23:44:44 +00:00
|
|
|
|
2001-03-17 23:02:10 +00:00
|
|
|
/* Fill register REGNUM in GDB's register array with the appropriate
|
2001-02-17 09:01:14 +00:00
|
|
|
value from *FSAVE. This function masks off any of the reserved
|
|
|
|
bits in *FSAVE. */
|
|
|
|
|
|
|
|
extern void i387_supply_register (int regnum, char *fsave);
|
|
|
|
|
2000-05-23 23:44:44 +00:00
|
|
|
/* Fill GDB's register array with the floating-point register values
|
|
|
|
in *FSAVE. This function masks off any of the reserved
|
|
|
|
bits in *FSAVE. */
|
|
|
|
|
2000-08-10 14:54:51 +00:00
|
|
|
extern void i387_supply_fsave (char *fsave);
|
2000-05-23 23:44:44 +00:00
|
|
|
|
2001-02-17 09:01:14 +00:00
|
|
|
/* Fill register REGNUM (if it is a floating-point register) in *FSAVE
|
|
|
|
with the value in GDB's register array. If REGNUM is -1, do this
|
2000-05-23 23:44:44 +00:00
|
|
|
for all registers. This function doesn't touch any of the reserved
|
|
|
|
bits in *FSAVE. */
|
|
|
|
|
2001-02-17 09:01:14 +00:00
|
|
|
extern void i387_fill_fsave (char *fsave, int regnum);
|
2000-08-10 14:54:51 +00:00
|
|
|
|
|
|
|
/* Fill GDB's register array with the floating-point and SSE register
|
|
|
|
values in *FXSAVE. This function masks off any of the reserved
|
|
|
|
bits in *FXSAVE. */
|
|
|
|
|
|
|
|
extern void i387_supply_fxsave (char *fxsave);
|
|
|
|
|
2001-02-17 09:01:14 +00:00
|
|
|
/* Fill register REGNUM (if it is a floating-point or SSE register) in
|
|
|
|
*FXSAVE with the value in GDB's register array. If REGNUM is -1, do
|
2000-08-10 14:54:51 +00:00
|
|
|
this for all registers. This function doesn't touch any of the
|
|
|
|
reserved bits in *FXSAVE. */
|
|
|
|
|
2001-02-17 09:01:14 +00:00
|
|
|
extern void i387_fill_fxsave (char *fxsave, int regnum);
|
2000-05-23 23:44:44 +00:00
|
|
|
|
2002-05-11 17:22:27 +00:00
|
|
|
#endif /* i387-tdep.h */
|