ttypes.ads (Target_Double_Float_Alignment): New variable.
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 24 Apr 2009 08:04:38 +0000 (08:04 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Fri, 24 Apr 2009 08:04:38 +0000 (08:04 +0000)
commitcaa9d12a2b675da20f5a3016e6f306a84ee96a2a
tree4ef92f0ee83700140ec99de85778563e3dbe29e6
parent1275de7d6eb0240c3dc56206aa68bac7a6c2318b
ttypes.ads (Target_Double_Float_Alignment): New variable.

* ttypes.ads (Target_Double_Float_Alignment): New variable.
(Target_Double_Scalar_Alignment): Likewise.
* get_targ.ads (Get_Strict_Alignment): Adjust external name.
(Get_Double_Float_Alignment): New imported function.
(Get_Double_Scalar_Alignment): Likewise.
* layout.adb (Set_Elem_Alignment): Take into account specific caps for
the alignment of "double" floating-point types and "double" or larger
scalar types, as parameterized by Target_Double_Float_Alignment and
Target_Double_Scalar_Alignment respectively.
* gcc-interface/gigi.h (double_float_alignment): Declare.
(double_scalar_alignment): Likewise.
(is_double_float_or_array): Likewise.
(is_double_scalar_or_array): Likewise.
(get_target_double_float_alignment): Likewise.
(get_target_double_scalar_alignment): Likewise.
* gcc-interface/targtyps.c (get_strict_alignment): Rename into...
(get_target_strict_alignment): ...this.
(get_target_double_float_alignment): New function.
(get_target_double_scalar_alignment): Likewise.
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Signed_Integer_Subtype>:
Test the presence of an alignment clause for under-aligned integer
types.  Take into account specific caps for the alignment of "double"
floating-point types and "double" or larger scalar types, as
parameterized by Target_Double_Float_Alignment and
Target_Double_Scalar_Alignment respectively.
(validate_alignment): Likewise.
* gcc-interface/trans.c (Attribute_to_gnu) <Attr_Alignment>: Likewise.
(gigi): Initialize double_float_alignment and double_scalar_alignment.
* gcc-interface/utils.c (double_float_alignment): New global variable.
(double_scalar_alignment): Likewise.
(is_double_float_or_array): New predicate.
(is_double_scalar_or_array): Likewise.

From-SVN: r146675
12 files changed:
gcc/ada/ChangeLog
gcc/ada/gcc-interface/decl.c
gcc/ada/gcc-interface/gigi.h
gcc/ada/gcc-interface/targtyps.c
gcc/ada/gcc-interface/trans.c
gcc/ada/gcc-interface/utils.c
gcc/ada/get_targ.ads
gcc/ada/layout.adb
gcc/ada/ttypes.ads
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/alignment7.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/alignment8.adb [new file with mode: 0644]