[PATCH] gdb, doc: Add ieee_half and bfloat16 to list of predefined target types.

[PATCH] gdb, doc: Add ieee_half and bfloat16 to list of predefined target types.

[Felix Willgerodt via Gdb-patches]

For some reason these two weren't added to the list when they were orginally
added to GDB.

gdb/doc/ChangeLog:
2021-09-14  Felix Willgerodt  <felix.willgerodt@intel.com>

	* gdb.texinfo (Predefined Target Types): Mention ieee_half and bfloat16.
---
 gdb/doc/gdb.texinfo | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 88f97012b73..b4f7268d779 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -45972,12 +45972,18 @@ 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_half
+Half precision IEEE floating point.
+
 @item ieee_single
 Single precision IEEE floating point.
 
 @item ieee_double
 Double precision IEEE floating point.
 
+@item bfloat16
+bfloat16 floating point format used e.g. by x86 and ARM.
+
 @item arm_fpa_ext
 The 12-byte extended precision format used by ARM FPA registers.
 
-- 
2.31.1

Intel Deutschland GmbH
Registered Address: Am Campeon 10, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de <http://www.intel.de>
Managing Directors: Christin Eisenschmid, Sharon Heck, Tiffany Doon Silva  
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

Re: [PATCH] gdb, doc: Add ieee_half and bfloat16 to list of predefined target types.

[Eli Zaretskii via Gdb-patches]

> Date: Fri, 17 Sep 2021 08:29:56 +0200
> From: Felix Willgerodt via Gdb-patches <gdb-patches@sourceware.org>
> 
> For some reason these two weren't added to the list when they were orginally
> added to GDB.
> 
> gdb/doc/ChangeLog:
> 2021-09-14  Felix Willgerodt  <felix.willgerodt@intel.com>
> 
> 	* gdb.texinfo (Predefined Target Types): Mention ieee_half and bfloat16.

Thanks.  This is okay, but should we perhaps tell that bfloat16 is a
short for "Brain Floating Point", and say that it uses 16 bits?  I
mean, I gather that this format is not as widely known as the others,
so maybe saying a couple more words about it would be a good thing?

RE: [PATCH] gdb, doc: Add ieee_half and bfloat16 to list of predefined target types.

[Willgerodt, Felix via Gdb-patches]

> -----Original Message-----
> From: Eli Zaretskii <eliz@gnu.org>
> Sent: Freitag, 17. September 2021 08:52
> To: Willgerodt, Felix <felix.willgerodt@intel.com>
> Cc: gdb-patches@sourceware.org; simon.marchi@polymtl.ca
> Subject: Re: [PATCH] gdb, doc: Add ieee_half and bfloat16 to list of predefined
> target types.
> 
> > Date: Fri, 17 Sep 2021 08:29:56 +0200
> > From: Felix Willgerodt via Gdb-patches <gdb-patches@sourceware.org>
> >
> > For some reason these two weren't added to the list when they were orginally
> > added to GDB.
> >
> > gdb/doc/ChangeLog:
> > 2021-09-14  Felix Willgerodt  <felix.willgerodt@intel.com>
> >
> > 	* gdb.texinfo (Predefined Target Types): Mention ieee_half and
> bfloat16.
> 
> Thanks.  This is okay, but should we perhaps tell that bfloat16 is a
> short for "Brain Floating Point", and say that it uses 16 bits?  I
> mean, I gather that this format is not as widely known as the others,
> so maybe saying a couple more words about it would be a good thing?

Yes adding those two points makes sense to me. I just wanted to stay brief
to fit with the other points in this list.

How about:

@item bfloat16
The 16-bit brain floating point format used e.g. by x86 and ARM.

Thanks,
Felix 
Intel Deutschland GmbH
Registered Address: Am Campeon 10, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de <http://www.intel.de>
Managing Directors: Christin Eisenschmid, Sharon Heck, Tiffany Doon Silva  
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

Re: [PATCH] gdb, doc: Add ieee_half and bfloat16 to list of predefined target types.

[Eli Zaretskii via Gdb-patches]

> From: "Willgerodt, Felix" <felix.willgerodt@intel.com>
> CC: "gdb-patches@sourceware.org" <gdb-patches@sourceware.org>,
> 	"simon.marchi@polymtl.ca" <simon.marchi@polymtl.ca>
> Date: Fri, 17 Sep 2021 07:16:26 +0000
> 
> How about:
> 
> @item bfloat16
> The 16-bit brain floating point format used e.g. by x86 and ARM.

OK, but I suggest a slight improvement:

  The 16-bit @dfn{brain floating point} format used e.g.@: by x86 and ARM.