1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
10 -- Copyright (C) 1992-2001 Free Software Foundation, Inc. --
12 -- GNAT is free software; you can redistribute it and/or modify it under --
13 -- terms of the GNU General Public License as published by the Free Soft- --
14 -- ware Foundation; either version 2, or (at your option) any later ver- --
15 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
16 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
17 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
18 -- for more details. You should have received a copy of the GNU General --
19 -- Public License distributed with GNAT; see file COPYING. If not, write --
20 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
21 -- MA 02111-1307, USA. --
23 -- GNAT was originally developed by the GNAT team at New York University. --
24 -- Extensive contributions were provided by Ada Core Technologies Inc. --
26 ------------------------------------------------------------------------------
28 -- This module handles two kinds of inlining activity:
30 -- a) Instantiation of generic bodies. This is done unconditionally, after
31 -- analysis and expansion of the main unit.
33 -- b) Compilation of unit bodies that contain the bodies of inlined sub-
34 -- programs. This is done only if inlining is enabled (-gnatn). Full inlining
35 -- requires that a) an b) be mutually recursive, because each step may
36 -- generate another generic expansion and further inlined calls. For now each
37 -- of them uses a workpile algorithm, but they are called independently from
38 -- Frontend, and thus are not mutually recursive.
42 with Types
; use Types
;
46 --------------------------------
47 -- Generic Body Instantiation --
48 --------------------------------
50 -- The bodies of generic instantiations are built after semantic analysis
51 -- of the main unit is complete. Generic instantiations are saved in a
52 -- global data structure, and the bodies constructed by means of a separate
53 -- analysis and expansion step.
55 -- See full description in body of Sem_Ch12 for details
57 type Pending_Body_Info
is record
59 -- Node for instantiation that requires the body
62 -- Declaration for package or subprogram spec for instantiation
64 Expander_Status
: Boolean;
65 -- If the body is instantiated only for semantic checking, expansion
68 Current_Sem_Unit
: Unit_Number_Type
;
69 -- The semantic unit within which the instantiation is found. Must
70 -- be restored when compiling the body, to insure that internal enti-
71 -- ties use the same counter and are unique over spec and body.
74 package Pending_Instantiations
is new Table
.Table
(
75 Table_Component_Type
=> Pending_Body_Info
,
76 Table_Index_Type
=> Int
,
78 Table_Initial
=> Alloc
.Pending_Instantiations_Initial
,
79 Table_Increment
=> Alloc
.Pending_Instantiations_Increment
,
80 Table_Name
=> "Pending_Instantiations");
82 -- The following table records subprograms and packages for which
83 -- generation of subprogram descriptors must be delayed.
85 package Pending_Descriptor
is new Table
.Table
(
86 Table_Component_Type
=> Entity_Id
,
87 Table_Index_Type
=> Int
,
89 Table_Initial
=> Alloc
.Pending_Instantiations_Initial
,
90 Table_Increment
=> Alloc
.Pending_Instantiations_Increment
,
91 Table_Name
=> "Pending_Descriptor");
93 Analyzing_Inlined_Bodies
: Boolean;
94 -- This flag is set False by the call to Initialize, and then is set
95 -- True by the call to Analyze_Inlined_Bodies. It is used to suppress
96 -- generation of subprogram descriptors for inlined bodies.
102 procedure Initialize
;
103 -- Initialize internal tables
106 -- Lock internal tables before calling backend
108 procedure Instantiate_Bodies
;
109 -- This procedure is called after semantic analysis is complete, to
110 -- instantiate the bodies of generic instantiations that appear in the
113 procedure Add_Inlined_Body
(E
: Entity_Id
);
114 -- E is an inlined subprogram appearing in a call, either explicitly, or
115 -- a discriminant check for which gigi builds a call. Add E's enclosing
116 -- unit to Inlined_Bodies so that body of E can be subsequently retrieved
119 procedure Analyze_Inlined_Bodies
;
120 -- At end of compilation, analyze the bodies of all units that contain
121 -- inlined subprograms that are actually called.
123 procedure Check_Body_For_Inlining
(N
: Node_Id
; P
: Entity_Id
);
124 -- If front-end inlining is enabled and a package declaration contains
125 -- inlined subprograms, load and compile the package body to collect the
126 -- bodies of these subprograms, so they are available to inline calls.
127 -- N is the compilation unit for the package.
129 procedure Remove_Dead_Instance
(N
: Node_Id
);
130 -- If an instantiation appears in unreachable code, delete the pending