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

[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.
---
 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