From 114042b8861a33ec7227c5ac2967058ee60c248f Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Tue, 13 Aug 2019 08:06:44 +0000 Subject: [PATCH] [Ada] Add/fix documentation for the Double_*_Alignment parameters 2019-08-13 Eric Botcazou gcc/ada/ * doc/gnat_ugn/building_executable_programs_with_gnat.rst (-gnateT): Document Double_Float_Alignment parameter and fix description of Double_Scalar_Alignment parameter. * gnat_ugn.texi: Regenerate. From-SVN: r274337 --- gcc/ada/ChangeLog | 7 +++++++ .../building_executable_programs_with_gnat.rst | 10 ++++++---- gcc/ada/gnat_ugn.texi | 12 +++++++----- 3 files changed, 20 insertions(+), 9 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 2b0f272e44d..f4ad36d2dbe 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,10 @@ +2019-08-13 Eric Botcazou + + * doc/gnat_ugn/building_executable_programs_with_gnat.rst + (-gnateT): Document Double_Float_Alignment parameter and fix + description of Double_Scalar_Alignment parameter. + * gnat_ugn.texi: Regenerate. + 2019-08-13 Eric Botcazou * exp_ch6.adb (Expand_Call_Helper): If back-end inlining is diff --git a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst index 2e867e2c0b2..beceb5130ad 100644 --- a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst +++ b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst @@ -1714,11 +1714,13 @@ Alphabetical List of All Switches GCC macro ``BITS_PER_WORD`` documented as follows: `Number of bits in a word; normally 32.` - ``Double_Scalar_Alignment`` is the alignment for a scalar whose size is two - machine words. It should be the same as the alignment for C ``long_long`` on - most targets. + ``Double_Float_Alignment``, if not zero, is the maximum alignment that the + compiler can choose by default for a 64-bit floating-point type or object. - ``Maximum_Alignment`` is the maximum alignment that the compiler might choose + ``Double_Scalar_Alignment``, if not zero, is the maximum alignment that the + compiler can choose by default for a 64-bit or larger scalar type or object. + + ``Maximum_Alignment`` is the maximum alignment that the compiler can choose by default for a type or object, which is also the maximum alignment that can be specified in GNAT. It is computed for GCC backends as ``BIGGEST_ALIGNMENT / BITS_PER_UNIT`` where GCC macro ``BIGGEST_ALIGNMENT`` is documented as diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index e3d6a3a6acb..5f73ab7602e 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -21,7 +21,7 @@ @copying @quotation -GNAT User's Guide for Native Platforms , Jun 21, 2019 +GNAT User's Guide for Native Platforms , Jul 31, 2019 AdaCore @@ -9452,11 +9452,13 @@ GCC macro @code{BITS_PER_UNIT} documented as follows: @cite{Define this macro to @code{Bits_Per_Word} is the number of bits in a machine word, the equivalent of GCC macro @code{BITS_PER_WORD} documented as follows: @cite{Number of bits in a word; normally 32.} -@code{Double_Scalar_Alignment} is the alignment for a scalar whose size is two -machine words. It should be the same as the alignment for C @code{long_long} on -most targets. +@code{Double_Float_Alignment}, if not zero, is the maximum alignment that the +compiler can choose by default for a 64-bit floating-point type or object. -@code{Maximum_Alignment} is the maximum alignment that the compiler might choose +@code{Double_Scalar_Alignment}, if not zero, is the maximum alignment that the +compiler can choose by default for a 64-bit or larger scalar type or object. + +@code{Maximum_Alignment} is the maximum alignment that the compiler can choose by default for a type or object, which is also the maximum alignment that can be specified in GNAT. It is computed for GCC backends as @code{BIGGEST_ALIGNMENT / BITS_PER_UNIT} where GCC macro @code{BIGGEST_ALIGNMENT} is documented as