aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
diff options
context:
space:
mode:
authorYannick Moy <moy@adacore.com>2020-08-07 12:20:12 +0200
committerPierre-Marie de Rodat <derodat@adacore.com>2020-10-21 03:22:48 -0400
commitbdf5a983859d00db4be03b27df54c19b33dc6a28 (patch)
treee8e1b8f29654a1f82b92284f938e5bf7188667ed /gcc/ada
parent74580e1b05a04184bd23ad115f10d09428535182 (diff)
downloadgcc-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.
Diffstat (limited to 'gcc/ada')
-rw-r--r--gcc/ada/ada_get_targ.adb47
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;