diff options
| -rw-r--r-- | gdb/doc/gdb.texinfo | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 44837d9..3eafcfb 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 +The 16-bit @dfn{brain 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. |