From 32edc941e1fb0863accee2ad345616f0d6af9517 Mon Sep 17 00:00:00 2001 From: Jeff Johnston Date: Sat, 6 Dec 2003 00:17:04 +0000 Subject: [PATCH] 2003-12-05 Jeff Johnston * ia64-tdep.c (ia64_gdbarch_init): Set up the gdbarch long double format to be the i387 extended float format which is used for long doubles stored in memory. --- gdb/ChangeLog | 6 ++++++ gdb/ia64-tdep.c | 8 ++++++++ 2 files changed, 14 insertions(+) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index a898867..1e747bc 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,9 @@ +2003-12-05 Jeff Johnston + + * ia64-tdep.c (ia64_gdbarch_init): Set up the gdbarch long double + format to be the i387 extended float format which is used for + long doubles stored in memory. + 2003-12-05 Mark Kettenis From Ulrich Weigand : diff --git a/gdb/ia64-tdep.c b/gdb/ia64-tdep.c index d3c86fd..19f18b7 100644 --- a/gdb/ia64-tdep.c +++ b/gdb/ia64-tdep.c @@ -3361,6 +3361,14 @@ ia64_gdbarch_init (struct gdbarch_info info, struct gdbarch_list *arches) 0, "builtin_type_ia64_ext", NULL); TYPE_FLOATFORMAT (builtin_type_ia64_ext) = &floatformat_ia64_ext; + /* According to the ia64 specs, instructions that store long double floats + in memory use a long-double format different than that used in the floating + registers. The memory format matches the x86 extended float format which is + 80 bits. An OS may choose to use this format (e.g. Linux) or choose to use + a different format for storing long doubles (e.g. HPUX). In the latter case, + the setting of the format may be moved/overridden in an OS-specific tdep file. */ + set_gdbarch_long_double_format (gdbarch, &floatformat_i387_ext); + set_gdbarch_short_bit (gdbarch, 16); set_gdbarch_int_bit (gdbarch, 32); set_gdbarch_long_bit (gdbarch, 64); -- 2.7.4