PR ada/51483

[pf3gnuchains/gcc-fork.git] / gcc / ada / back_end.ads

diff --git a/gcc/ada/back_end.ads b/gcc/ada/back_end.ads
index a382a73..9d92ce3 100644 (file)
--- a/gcc/ada/back_end.ads
+++ b/gcc/ada/back_end.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2011, Free Software Foundation, Inc.         --
 --                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
@@ -26,6 +26,8 @@
 --  Call the back end with all the information needed. Also contains other
 --  back-end specific interfaces required by the front end.
 
+with Einfo; use Einfo;
+
 package Back_End is
 
    type Back_End_Mode_Type is (
@@ -35,7 +37,7 @@ package Back_End is
       Declarations_Only,
       --  Partial back end operation with no object file generation. In this
       --  mode the only useful action performed by gigi is to process all
-      --  declarations issuing any error messages (in partcicular those to
+      --  declarations issuing any error messages (in particular those to
       --  do with rep clauses), and to back annotate representation info.
 
       Skip);
@@ -44,6 +46,26 @@ package Back_End is
    pragma Convention (C, Back_End_Mode_Type);
    for Back_End_Mode_Type use (0, 1, 2);
 
+   type C_String is array (0 .. 255) of aliased Character;
+   pragma Convention (C, C_String);
+
+   type Register_Type_Proc is access procedure
+     (C_Name    : C_String; -- Nul-terminated string with name of type
+      Digs      : Natural;  -- Nr or digits for floating point, 0 otherwise
+      Complex   : Boolean;  -- True iff type has real and imaginary parts
+      Count     : Natural;  -- Number of elements in vector, 0 otherwise
+      Float_Rep : Float_Rep_Kind; -- Representation used for fpt type
+      Precision : Positive; -- Precision of representation in bits
+      Size      : Positive; -- Size of representation in bits
+      Alignment : Natural); -- Required alignment in bits
+   pragma Convention (C, Register_Type_Proc);
+   --  Call back procedure for Register_Back_End_Types. This is to be used by
+   --  Create_Standard to create predefined types for all types supported by
+   --  the back end.
+
+   procedure Register_Back_End_Types (Call_Back : Register_Type_Proc);
+   --  Calls the Call_Back function with information for each supported type.
+
    procedure Call_Back_End (Mode : Back_End_Mode_Type);
    --  Call back end, i.e. make call to driver traversing the tree and
    --  outputting code. This call is made with all tables locked.
@@ -61,4 +83,15 @@ package Back_End is
    --  Any processed switches that influence the result of a compilation must
    --  be added to the Compilation_Arguments table.
 
+   procedure Gen_Or_Update_Object_File;
+   --  Is used to generate the object file (if generated directly by gnat1), or
+   --  update it if it has already been generated by the call to Call_Back_End,
+   --  so that its timestamp is updated by the call.
+   --
+   --  This is a no-op with the gcc back-end (the object file is generated by
+   --  the assembler afterwards), but is needed for back-ends that directly
+   --  generate the final object file (such as the .NET backend) so that the
+   --  object file's timestamp is correct when compared with the corresponding
+   --  ali file by gnatmake.
+
 end Back_End;