Subversion Repositories openrisc

------------------------------------------------------------------------------

--                                                                          --

--                         GNAT COMPILER COMPONENTS                         --

--                                                                          --

--                               I N L I N E                                --

--                                                                          --

--                                 S p e c                                  --

--                                                                          --

--          Copyright (C) 1992-2010, 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- --

-- ware  Foundation;  either version 3,  or (at your option) any later ver- --

-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --

-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --

-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --

-- for  more details.  You should have  received  a copy of the GNU General --

-- Public License  distributed with GNAT; see file COPYING3.  If not, go to --

-- http://www.gnu.org/licenses for a complete copy of the license.          --

--                                                                          --

-- GNAT was originally developed  by the GNAT team at  New York University. --

-- Extensive contributions were provided by Ada Core Technologies Inc.      --

--                                                                          --

------------------------------------------------------------------------------

--  This module handles two kinds of inlining activity:

--  a) Instantiation of generic bodies. This is done unconditionally, after

--  analysis and expansion of the main unit.

--  b) Compilation of unit bodies that contain the bodies of inlined sub-

--  programs. This is done only if inlining is enabled (-gnatn). Full inlining

--  requires that a) an b) be mutually recursive, because each step may

--  generate another generic expansion and further inlined calls. For now each

--  of them uses a workpile algorithm, but they are called independently from

--  Frontend, and thus are not mutually recursive.

with Alloc;

with Opt;   use Opt;

with Sem;   use Sem;

with Table;

with Types; use Types;

package Inline is

   --------------------------------

   -- Generic Body Instantiation --

   --------------------------------

   --  The bodies of generic instantiations are built after semantic analysis

   --  of the main unit is complete. Generic instantiations are saved in a

   --  global data structure, and the bodies constructed by means of a separate

   --  analysis and expansion step.

   --  See full description in body of Sem_Ch12 for more details

   type Pending_Body_Info is record

      Inst_Node : Node_Id;

      --  Node for instantiation that requires the body

      Act_Decl : Node_Id;

      --  Declaration for package or subprogram spec for instantiation

      Expander_Status : Boolean;

      --  If the body is instantiated only for semantic checking, expansion

      --  must be inhibited.

      Current_Sem_Unit : Unit_Number_Type;

      --  The semantic unit within which the instantiation is found. Must

      --  be restored when compiling the body, to insure that internal enti-

      --  ties use the same counter and are unique over spec and body.

      Scope_Suppress           : Suppress_Array;

      Local_Suppress_Stack_Top : Suppress_Stack_Entry_Ptr;

      --  Save suppress information at the point of instantiation. Used to

      --  properly inherit check status active at this point (see RM 11.5

      --  (7.2/2), AI95-00224-01):

      --

      --    "If a checking pragma applies to a generic instantiation, then the

      --    checking pragma also applies to the instance. If a checking pragma

      --    applies to a call to a subprogram that has a pragma Inline applied

      --    to it, then the checking pragma also applies to the inlined

      --    subprogram body".

      --

      --  This means we have to capture this information from the current scope

      --  at the point of instantiation.

      Version : Ada_Version_Type;

      --  The body must be compiled with the same language version as the

      --  spec. The version may be set by a configuration pragma in a separate

      --  file or in the current file, and may differ from body to body.

   end record;

   package Pending_Instantiations is new Table.Table (

     Table_Component_Type => Pending_Body_Info,

     Table_Index_Type     => Int,

     Table_Low_Bound      => 0,

     Table_Initial        => Alloc.Pending_Instantiations_Initial,

     Table_Increment      => Alloc.Pending_Instantiations_Increment,

     Table_Name           => "Pending_Instantiations");

   --  The following table records subprograms and packages for which

   --  generation of subprogram descriptors must be delayed.

   package Pending_Descriptor is new Table.Table (

     Table_Component_Type => Entity_Id,

     Table_Index_Type     => Int,

     Table_Low_Bound      => 0,

     Table_Initial        => Alloc.Pending_Instantiations_Initial,

     Table_Increment      => Alloc.Pending_Instantiations_Increment,

     Table_Name           => "Pending_Descriptor");

   Analyzing_Inlined_Bodies : Boolean;

   --  This flag is set False by the call to Initialize, and then is set

   --  True by the call to Analyze_Inlined_Bodies. It is used to suppress

   --  generation of subprogram descriptors for inlined bodies.

   -----------------

   -- Subprograms --

   -----------------

   procedure Initialize;

   --  Initialize internal tables

   procedure Lock;

   --  Lock internal tables before calling backend

   procedure Instantiate_Bodies;

   --  This procedure is called after semantic analysis is complete, to

   --  instantiate the bodies of generic instantiations that appear in the

   --  compilation unit.

   procedure Add_Inlined_Body (E : Entity_Id);

   --  E is an inlined subprogram appearing in a call, either explicitly, or

   --  a discriminant check for which gigi builds a call.  Add E's enclosing

   --  unit to Inlined_Bodies so that body of E can be subsequently retrieved

   --  and analyzed.

   procedure Analyze_Inlined_Bodies;

   --  At end of compilation, analyze the bodies of all units that contain

   --  inlined subprograms that are actually called.

   procedure Check_Body_For_Inlining (N : Node_Id; P : Entity_Id);

   --  If front-end inlining is enabled and a package declaration contains

   --  inlined subprograms, load and compile the package body to collect the

   --  bodies of these subprograms, so they are available to inline calls.

   --  N is the compilation unit for the package.

   procedure Remove_Dead_Instance (N : Node_Id);

   --  If an instantiation appears in unreachable code, delete the pending

   --  body instance.

end Inline;