Hi,
As subject - update extend.texi to mention availability of _Float16 types
on ARM and AArch64.
OK?
Thanks,
James
---
2016-11-30 James Greenhalgh <james.greenha...@arm.com>
* doc/extend.texi (Floating Types): Document availability of
_Float16 on ARM/AArch64.
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index d873403..7d3d17a 100644
--- a/gcc/doc/extend.texi
+++ b/gcc/doc/extend.texi
@@ -997,8 +997,10 @@ IEEE binary128 format. The @code{_Float64x} type is supported on all
systems where @code{__float128} is supported. The @code{_Float32}
type is supported on all systems supporting IEEE binary32; the
@code{_Float64} and @code{Float32x} types are supported on all systems
-supporting IEEE binary64. GCC does not currently support
-@code{_Float16} or @code{_Float128x} on any systems.
+supporting IEEE binary64. The @code{_Float16} type is supported on AArch64
+systems by default, and on ARM systems when the IEEE format for 16-bit
+floating point types is selected with @option{-mfp16-format=ieee}.
+GCC does not currently support @code{_Float128x} on any systems.
On the PowerPC, @code{__ibm128} provides access to the IBM extended
double format, and it is intended to be used by the library functions
