On 11/5/25 07:03, Christophe Lyon via Sourceware Forge wrote:
+GCC only supports the 'alternative' format on implementations that
+support it in hardware; there is no support for conversions to and
+from this format using library functions. Furthermore, you cannot
+link together code compiled with one format and code compiled for the
+other. GCC also supports the @option{-mfp16-format=none} option,
+which disables all support for half-precision floating-point types.
+Code compiled with this option can be linked safely with code compiled
+for either format.
+
+The Arm architecture extension @code{FEAT_FP16} (enabled, for example,
+with @option{-march=armv8.2-a+fp16}, or
+@option{-march=armv8.1-m.main+mve.fp}) defines data processing
+instructions that only support the 'ieee' format. The compiler will
+reject attempts to use the 'alternative' format when this architecture
+extension is enabled.
Please don't use literal quotes 'like this' for markup (there are more
instances besides the ones in the two paragraphs above). I think you
want @samp{alternative} and @samp{ieee}, instead.
Also please s/will reject/rejects/ -- and if you're feeling ambitious,
you can also get rid of the "will" in the two following paragraphs about
x86 and -mavx512fp16 and rewrite that text in the present tense, too.
-Sandra
