diff options
author | Yannick Moy <moy@adacore.com> | 2020-08-07 12:20:12 +0200 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-21 03:22:48 -0400 |
commit | bdf5a983859d00db4be03b27df54c19b33dc6a28 (patch) | |
tree | e8e1b8f29654a1f82b92284f938e5bf7188667ed | |
parent | 74580e1b05a04184bd23ad115f10d09428535182 (diff) | |
download | gcc-bdf5a983859d00db4be03b27df54c19b33dc6a28.zip gcc-bdf5a983859d00db4be03b27df54c19b33dc6a28.tar.gz gcc-bdf5a983859d00db4be03b27df54c19b33dc6a28.tar.bz2 |
[Ada] Fix target configuration file used for CodePeer/SPARK for new ints
gcc/ada/
* ada_get_targ.adb (Width_From_Size): Add case for 128 bits.
Reorder declarations in the same order as get_targ.adb to
facilitate diffs.
-rw-r--r-- | gcc/ada/ada_get_targ.adb | 47 |
1 files changed, 24 insertions, 23 deletions
diff --git a/gcc/ada/ada_get_targ.adb b/gcc/ada/ada_get_targ.adb index cb2d81f..0183340 100644 --- a/gcc/ada/ada_get_targ.adb +++ b/gcc/ada/ada_get_targ.adb @@ -118,15 +118,6 @@ package body Get_Targ is return 4; end Get_Maximum_Alignment; - ------------------------------------ - -- Get_System_Allocator_Alignment -- - ------------------------------------ - - function Get_System_Allocator_Alignment return Nat is - begin - return 1; - end Get_System_Allocator_Alignment; - ------------------------ -- Get_Float_Words_BE -- ------------------------ @@ -181,6 +172,15 @@ package body Get_Targ is return 1; end Get_Strict_Alignment; + ------------------------------------ + -- Get_System_Allocator_Alignment -- + ------------------------------------ + + function Get_System_Allocator_Alignment return Nat is + begin + return 1; + end Get_System_Allocator_Alignment; + -------------------------------- -- Get_Double_Float_Alignment -- -------------------------------- @@ -199,15 +199,6 @@ package body Get_Targ is return 0; end Get_Double_Scalar_Alignment; - ----------------------------- - -- Get_Max_Unaligned_Field -- - ----------------------------- - - function Get_Max_Unaligned_Field return Pos is - begin - return 64; -- Can be different on some targets (e.g., AAMP) - end Get_Max_Unaligned_Field; - ---------------------- -- Digits_From_Size -- ---------------------- @@ -225,6 +216,15 @@ package body Get_Targ is end Digits_From_Size; ----------------------------- + -- Get_Max_Unaligned_Field -- + ----------------------------- + + function Get_Max_Unaligned_Field return Pos is + begin + return 64; -- Can be different on some targets (e.g., AAMP) + end Get_Max_Unaligned_Field; + + ----------------------------- -- Register_Back_End_Types -- ----------------------------- @@ -255,13 +255,14 @@ package body Get_Targ is -- Width_From_Size -- --------------------- - function Width_From_Size (Size : Pos) return Pos is + function Width_From_Size (Size : Pos) return Pos is begin case Size is - when 8 => return 4; - when 16 => return 6; - when 32 => return 11; - when 64 => return 21; + when 8 => return 4; + when 16 => return 6; + when 32 => return 11; + when 64 => return 21; + when 128 => return 40; when others => raise Program_Error; end case; end Width_From_Size; |