[PATCH] install.texi: Document --enable-decimal-float for AArch64

[PATCH] install.texi: Document --enable-decimal-float for AArch64

[Christophe Lyon]

When I committed the patches to enable support for DFP on AArch64, I
forgot to update the installation documentation.

This patch adds AArch64 as needed (same as i386/x86_64).

OK for trunk and gcc-13?

2023-04-17  Christophe Lyon  <christophe.lyon@arm.com>

	gcc/
	* doc/install.texi (enable-decimal-float): Add AArch64.
---
 gcc/doc/install.texi | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 15aef1394f4..b13bc122513 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -2178,13 +2178,14 @@ forward to maintain the port.
 @itemx --enable-decimal-float=dpd
 @itemx --disable-decimal-float
 Enable (or disable) support for the C decimal floating point extension
-that is in the IEEE 754-2008 standard.  This is enabled by default only
-on PowerPC, i386, and x86_64 GNU/Linux systems.  Other systems may also
-support it, but require the user to specifically enable it.  You can
-optionally control which decimal floating point format is used (either
-@samp{bid} or @samp{dpd}).  The @samp{bid} (binary integer decimal)
-format is default on i386 and x86_64 systems, and the @samp{dpd}
-(densely packed decimal) format is default on PowerPC systems.
+that is in the IEEE 754-2008 standard.  This is enabled by default
+only on AArch64, PowerPC, i386, and x86_64 GNU/Linux systems.  Other
+systems may also support it, but require the user to specifically
+enable it.  You can optionally control which decimal floating point
+format is used (either @samp{bid} or @samp{dpd}).  The @samp{bid}
+(binary integer decimal) format is default on AArch64, i386 and x86_64
+systems, and the @samp{dpd} (densely packed decimal) format is default
+on PowerPC systems.
 
 @item --enable-fixed-point
 @itemx --disable-fixed-point
-- 
2.34.1

Re: [PATCH] install.texi: Document --enable-decimal-float for AArch64

[Richard Sandiford]

Christophe Lyon via Gcc-patches <gcc-patches@gcc.gnu.org> writes:
> When I committed the patches to enable support for DFP on AArch64, I
> forgot to update the installation documentation.
>
> This patch adds AArch64 as needed (same as i386/x86_64).
>
> OK for trunk and gcc-13?

OK for both, thanks.

Richard

> 2023-04-17  Christophe Lyon  <christophe.lyon@arm.com>
>
> 	gcc/
> 	* doc/install.texi (enable-decimal-float): Add AArch64.
> ---
>  gcc/doc/install.texi | 15 ++++++++-------
>  1 file changed, 8 insertions(+), 7 deletions(-)
>
> diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
> index 15aef1394f4..b13bc122513 100644
> --- a/gcc/doc/install.texi
> +++ b/gcc/doc/install.texi
> @@ -2178,13 +2178,14 @@ forward to maintain the port.
>  @itemx --enable-decimal-float=dpd
>  @itemx --disable-decimal-float
>  Enable (or disable) support for the C decimal floating point extension
> -that is in the IEEE 754-2008 standard.  This is enabled by default only
> -on PowerPC, i386, and x86_64 GNU/Linux systems.  Other systems may also
> -support it, but require the user to specifically enable it.  You can
> -optionally control which decimal floating point format is used (either
> -@samp{bid} or @samp{dpd}).  The @samp{bid} (binary integer decimal)
> -format is default on i386 and x86_64 systems, and the @samp{dpd}
> -(densely packed decimal) format is default on PowerPC systems.
> +that is in the IEEE 754-2008 standard.  This is enabled by default
> +only on AArch64, PowerPC, i386, and x86_64 GNU/Linux systems.  Other
> +systems may also support it, but require the user to specifically
> +enable it.  You can optionally control which decimal floating point
> +format is used (either @samp{bid} or @samp{dpd}).  The @samp{bid}
> +(binary integer decimal) format is default on AArch64, i386 and x86_64
> +systems, and the @samp{dpd} (densely packed decimal) format is default
> +on PowerPC systems.
>  
>  @item --enable-fixed-point
>  @itemx --disable-fixed-point