diff options
| author | Jim Blandy <jimb@codesourcery.com> | 2000-04-14 19:14:19 +0000 |
|---|---|---|
| committer | Jim Blandy <jimb@codesourcery.com> | 2000-04-14 19:14:19 +0000 |
| commit | 7355ddbacef086a00575d289049611428fbf8087 (patch) | |
| tree | 1bb11c0265fb71578fcf8ccb59331ecb4937999d /gdb/gdbarch.h | |
| parent | 16c088d03772776d9305b5e3f447f6600727c4b8 (diff) | |
| download | gdb-7355ddbacef086a00575d289049611428fbf8087.zip gdb-7355ddbacef086a00575d289049611428fbf8087.tar.gz gdb-7355ddbacef086a00575d289049611428fbf8087.tar.bz2 | |
Bring IEEE_FLOAT under gdbarch's control.
* gdbarch.sh (IEEE_FLOAT): New entry.
* gdbarch.c, gdbarch.h: Regenerated.
* valprint.c (IEEE_FLOAT): Provide a default #definition for this.
(print_floating): Use IEEE_FLOAT as if it were an expression; use
the code specific to IEEE-format numbers whenever the value of
IEEE_FLOAT is non-zero.
* config/a29k/tm-a29k.h, config/alpha/tm-alpha.h,
config/arc/tm-arc.h, config/arm/tm-arm.h, config/fr30/tm-fr30.h,
config/h8300/tm-h8300.h, config/i386/tm-i386.h,
config/i960/tm-i960.h, config/m88k/tm-m88k.h,
config/mips/tm-mips.h, config/pa/tm-hppa.h,
config/sparc/tm-sparc.h, config/delta/tm-delta.h,
config/frv/tm-frv.h (IEEE_FLOAT): For all ports that #define
IEEE_FLOAT, make sure they give it the value (1).
Diffstat (limited to 'gdb/gdbarch.h')
| -rw-r--r-- | gdb/gdbarch.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gdb/gdbarch.h b/gdb/gdbarch.h index f24c26e..4f837c1 100644 --- a/gdb/gdbarch.h +++ b/gdb/gdbarch.h @@ -171,6 +171,14 @@ extern void set_gdbarch_long_double_bit (struct gdbarch *gdbarch, int long_doubl #endif #endif +extern int gdbarch_ieee_float (struct gdbarch *gdbarch); +extern void set_gdbarch_ieee_float (struct gdbarch *gdbarch, int ieee_float); +#if GDB_MULTI_ARCH +#if (GDB_MULTI_ARCH > 1) || !defined (IEEE_FLOAT) +#define IEEE_FLOAT (gdbarch_ieee_float (current_gdbarch)) +#endif +#endif + typedef CORE_ADDR (gdbarch_read_pc_ftype) (int pid); extern CORE_ADDR gdbarch_read_pc (struct gdbarch *gdbarch, int pid); extern void set_gdbarch_read_pc (struct gdbarch *gdbarch, gdbarch_read_pc_ftype *read_pc); |