2007-04-13 Paul Brook <paul@codesourcery.com>

* target-descriptions.c (tdesc_named_type): Add ieee_single and
	ieee_double.
	* doc/gdb.texinfo: Document ieee_single and ieee_double target types.

gdb/ChangeLog

@@ -1,3 +1,9 @@
+2007-04-13  Paul Brook  <paul@codesourcery.com>
+
+	* target-descriptions.c (tdesc_named_type): Add ieee_single and
+	ieee_double.
+	* doc/gdb.texinfo: Document ieee_single and ieee_double target types.
+
 2007-04-13  Daniel Jacobowitz  <dan@codesourcery.com>
 
 	* mips-mdebug-tdep.c, mips-mdebug-tdep.h, ocd.c, ocd.h, ppc-bdm.c,

gdb/doc/gdb.texinfo

@@ -25611,6 +25611,12 @@ pointers; printing a code pointer converts it into a symbolic
 address.  The stack pointer and any dedicated address registers
 may be marked as data pointers.
 
+@item ieee_single
+Single precision IEEE floating point.
+
+@item ieee_double
+Double precision IEEE floating point.
+
 @item arm_fpa_ext
 The 12-byte extended precision format used by ARM FPA registers.
 

gdb/target-descriptions.c

@@ -382,6 +382,12 @@ tdesc_named_type (const struct tdesc_feature *feature, const char *id)
   if (strcmp (id, "uint64") == 0)
     return builtin_type_uint64;
 
+  if (strcmp (id, "ieee_single") == 0)
+    return builtin_type_ieee_single;
+
+  if (strcmp (id, "ieee_double") == 0)
+    return builtin_type_ieee_double;
+
   if (strcmp (id, "arm_fpa_ext") == 0)
     return builtin_type_arm_ext;