+2016-12-13 James Greenhalgh <james.greenhalgh@arm.com>
+
+ * doc/extend.texi (Floating Types): Document availability of
+ _Float16 on ARM/AArch64.
+
2016-12-13 Richard Biener <rguenther@suse.de>
PR tree-optimization/78699
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