111
|
1 ------------------------------------------------------------------------------
|
|
2 -- --
|
|
3 -- GNAT COMPILER COMPONENTS --
|
|
4 -- --
|
|
5 -- I N L I N E --
|
|
6 -- --
|
|
7 -- S p e c --
|
|
8 -- --
|
|
9 -- Copyright (C) 1992-2016, Free Software Foundation, Inc. --
|
|
10 -- --
|
|
11 -- GNAT is free software; you can redistribute it and/or modify it under --
|
|
12 -- terms of the GNU General Public License as published by the Free Soft- --
|
|
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
|
|
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
|
|
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
|
|
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
|
|
17 -- for more details. You should have received a copy of the GNU General --
|
|
18 -- Public License distributed with GNAT; see file COPYING3. If not, go to --
|
|
19 -- http://www.gnu.org/licenses for a complete copy of the license. --
|
|
20 -- --
|
|
21 -- GNAT was originally developed by the GNAT team at New York University. --
|
|
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
|
|
23 -- --
|
|
24 ------------------------------------------------------------------------------
|
|
25
|
|
26 -- This module handles four kinds of inlining activity:
|
|
27
|
|
28 -- a) Instantiation of generic bodies. This is done unconditionally, after
|
|
29 -- analysis and expansion of the main unit.
|
|
30
|
|
31 -- b) Compilation of unit bodies that contain the bodies of inlined sub-
|
|
32 -- programs. This is done only if inlining is enabled (-gnatn). Full inlining
|
|
33 -- requires that a) and b) be mutually recursive, because each step may
|
|
34 -- generate another generic expansion and further inlined calls.
|
|
35
|
|
36 -- c) Front-end inlining for Inline_Always subprograms. This is primarily an
|
|
37 -- expansion activity that is performed for performance reasons, and when the
|
|
38 -- target does not use the GCC back end.
|
|
39
|
|
40 -- d) Front-end inlining for GNATprove, to perform source transformations
|
|
41 -- to simplify formal verification. The machinery used is the same as for
|
|
42 -- Inline_Always subprograms, but there are fewer restrictions on the source
|
|
43 -- of subprograms.
|
|
44
|
|
45 with Alloc;
|
|
46 with Opt; use Opt;
|
|
47 with Sem; use Sem;
|
|
48 with Table;
|
|
49 with Types; use Types;
|
|
50 with Warnsw; use Warnsw;
|
|
51
|
|
52 package Inline is
|
|
53
|
|
54 --------------------------------
|
|
55 -- Generic Body Instantiation --
|
|
56 --------------------------------
|
|
57
|
|
58 -- The bodies of generic instantiations are built after semantic analysis
|
|
59 -- of the main unit is complete. Generic instantiations are saved in a
|
|
60 -- global data structure, and the bodies constructed by means of a separate
|
|
61 -- analysis and expansion step.
|
|
62
|
|
63 -- See full description in body of Sem_Ch12 for more details
|
|
64
|
|
65 type Pending_Body_Info is record
|
|
66 Inst_Node : Node_Id;
|
|
67 -- Node for instantiation that requires the body
|
|
68
|
|
69 Act_Decl : Node_Id;
|
|
70 -- Declaration for package or subprogram spec for instantiation
|
|
71
|
|
72 Expander_Status : Boolean;
|
|
73 -- If the body is instantiated only for semantic checking, expansion
|
|
74 -- must be inhibited.
|
|
75
|
|
76 Current_Sem_Unit : Unit_Number_Type;
|
|
77 -- The semantic unit within which the instantiation is found. Must be
|
|
78 -- restored when compiling the body, to insure that internal entities
|
|
79 -- use the same counter and are unique over spec and body.
|
|
80
|
|
81 Scope_Suppress : Suppress_Record;
|
|
82 Local_Suppress_Stack_Top : Suppress_Stack_Entry_Ptr;
|
|
83 -- Save suppress information at the point of instantiation. Used to
|
|
84 -- properly inherit check status active at this point (see RM 11.5
|
|
85 -- (7.2/2), AI95-00224-01):
|
|
86 --
|
|
87 -- "If a checking pragma applies to a generic instantiation, then the
|
|
88 -- checking pragma also applies to the instance. If a checking pragma
|
|
89 -- applies to a call to a subprogram that has a pragma Inline applied
|
|
90 -- to it, then the checking pragma also applies to the inlined
|
|
91 -- subprogram body".
|
|
92 --
|
|
93 -- This means we have to capture this information from the current scope
|
|
94 -- at the point of instantiation.
|
|
95
|
|
96 Version : Ada_Version_Type;
|
|
97 -- The body must be compiled with the same language version as the
|
|
98 -- spec. The version may be set by a configuration pragma in a separate
|
|
99 -- file or in the current file, and may differ from body to body.
|
|
100
|
|
101 Version_Pragma : Node_Id;
|
|
102 -- This is linked with the Version value
|
|
103
|
|
104 Warnings : Warning_Record;
|
|
105 -- Capture values of warning flags
|
|
106
|
|
107 SPARK_Mode : SPARK_Mode_Type;
|
|
108 SPARK_Mode_Pragma : Node_Id;
|
|
109 -- SPARK_Mode for an instance is the one applicable at the point of
|
|
110 -- instantiation. SPARK_Mode_Pragma is the related active pragma.
|
|
111 end record;
|
|
112
|
|
113 package Pending_Instantiations is new Table.Table (
|
|
114 Table_Component_Type => Pending_Body_Info,
|
|
115 Table_Index_Type => Int,
|
|
116 Table_Low_Bound => 0,
|
|
117 Table_Initial => Alloc.Pending_Instantiations_Initial,
|
|
118 Table_Increment => Alloc.Pending_Instantiations_Increment,
|
|
119 Table_Name => "Pending_Instantiations");
|
|
120
|
|
121 -- The following table records subprograms and packages for which
|
|
122 -- generation of subprogram descriptors must be delayed.
|
|
123
|
|
124 package Pending_Descriptor is new Table.Table (
|
|
125 Table_Component_Type => Entity_Id,
|
|
126 Table_Index_Type => Int,
|
|
127 Table_Low_Bound => 0,
|
|
128 Table_Initial => Alloc.Pending_Instantiations_Initial,
|
|
129 Table_Increment => Alloc.Pending_Instantiations_Increment,
|
|
130 Table_Name => "Pending_Descriptor");
|
|
131
|
|
132 -- The following should be initialized in an init call in Frontend, we
|
|
133 -- have thoughts of making the frontend reusable in future ???
|
|
134
|
|
135 -----------------
|
|
136 -- Subprograms --
|
|
137 -----------------
|
|
138
|
|
139 procedure Initialize;
|
|
140 -- Initialize internal tables
|
|
141
|
|
142 procedure Lock;
|
|
143 -- Lock internal tables before calling backend
|
|
144
|
|
145 procedure Instantiate_Bodies;
|
|
146 -- This procedure is called after semantic analysis is complete, to
|
|
147 -- instantiate the bodies of generic instantiations that appear in the
|
|
148 -- compilation unit.
|
|
149
|
|
150 procedure Add_Inlined_Body (E : Entity_Id; N : Node_Id);
|
|
151 -- E is an inlined subprogram appearing in a call, either explicitly or in
|
|
152 -- a discriminant check for which gigi builds a call or an at-end handler.
|
|
153 -- Add E's enclosing unit to Inlined_Bodies so that E can be subsequently
|
|
154 -- retrieved and analyzed. N is the node giving rise to the call to E.
|
|
155
|
|
156 procedure Analyze_Inlined_Bodies;
|
|
157 -- At end of compilation, analyze the bodies of all units that contain
|
|
158 -- inlined subprograms that are actually called.
|
|
159
|
|
160 procedure Build_Body_To_Inline (N : Node_Id; Spec_Id : Entity_Id);
|
|
161 -- If a subprogram has pragma Inline and inlining is active, use generic
|
|
162 -- machinery to build an unexpanded body for the subprogram. This body is
|
|
163 -- subsequently used for inline expansions at call sites. If subprogram can
|
|
164 -- be inlined (depending on size and nature of local declarations) the
|
|
165 -- template body is created. Otherwise subprogram body is treated normally
|
|
166 -- and calls are not inlined in the frontend. If proper warnings are
|
|
167 -- enabled and the subprogram contains a construct that cannot be inlined,
|
|
168 -- the problematic construct is flagged accordingly.
|
|
169
|
|
170 function Call_Can_Be_Inlined_In_GNATprove_Mode
|
|
171 (N : Node_Id;
|
|
172 Subp : Entity_Id) return Boolean;
|
|
173 -- Returns False if the call in node N to subprogram Subp cannot be inlined
|
|
174 -- in GNATprove mode, because it may lead to missing a check on type
|
|
175 -- conversion of input parameters otherwise. Returns True otherwise.
|
|
176
|
|
177 function Can_Be_Inlined_In_GNATprove_Mode
|
|
178 (Spec_Id : Entity_Id;
|
|
179 Body_Id : Entity_Id) return Boolean;
|
|
180 -- Returns True if the subprogram identified by Spec_Id and Body_Id can
|
|
181 -- be inlined in GNATprove mode. One but not both of Spec_Id and Body_Id
|
|
182 -- can be Empty. Body_Id is Empty when doing a partial check on a call
|
|
183 -- to a subprogram whose body has not been seen yet, to know whether this
|
|
184 -- subprogram could possibly be inlined. GNATprove relies on this to adapt
|
|
185 -- its treatment of the subprogram.
|
|
186
|
|
187 procedure Cannot_Inline
|
|
188 (Msg : String;
|
|
189 N : Node_Id;
|
|
190 Subp : Entity_Id;
|
|
191 Is_Serious : Boolean := False);
|
|
192 -- This procedure is called if the node N, an instance of a call to
|
|
193 -- subprogram Subp, cannot be inlined. Msg is the message to be issued,
|
|
194 -- which ends with ? (it does not end with ?p?, this routine takes care of
|
|
195 -- the need to change ? to ?p?). The behavior of this routine depends on
|
|
196 -- the value of Back_End_Inlining:
|
|
197 --
|
|
198 -- * If Back_End_Inlining is not set (ie. legacy frontend inlining model)
|
|
199 -- then if Subp has a pragma Always_Inlined, then an error message is
|
|
200 -- issued (by removing the last character of Msg). If Subp is not
|
|
201 -- Always_Inlined, then a warning is issued if the flag Ineffective_
|
|
202 -- Inline_Warnings is set, adding ?p to the msg, and if not, the call
|
|
203 -- has no effect.
|
|
204 --
|
|
205 -- * If Back_End_Inlining is set then:
|
|
206 -- - If Is_Serious is true, then an error is reported (by removing the
|
|
207 -- last character of Msg);
|
|
208 --
|
|
209 -- - otherwise:
|
|
210 --
|
|
211 -- * Compiling without optimizations if Subp has a pragma
|
|
212 -- Always_Inlined, then an error message is issued; if Subp is
|
|
213 -- not Always_Inlined, then a warning is issued if the flag
|
|
214 -- Ineffective_Inline_Warnings is set (adding p?), and if not,
|
|
215 -- the call has no effect.
|
|
216 --
|
|
217 -- * Compiling with optimizations then a warning is issued if the
|
|
218 -- flag Ineffective_Inline_Warnings is set (adding p?); otherwise
|
|
219 -- no effect since inlining may be performed by the backend.
|
|
220
|
|
221 procedure Check_And_Split_Unconstrained_Function
|
|
222 (N : Node_Id;
|
|
223 Spec_Id : Entity_Id;
|
|
224 Body_Id : Entity_Id);
|
|
225 -- Spec_Id and Body_Id are the entities of the specification and body of
|
|
226 -- the subprogram body N. If N can be inlined by the frontend (supported
|
|
227 -- cases documented in Check_Body_To_Inline) then build the body-to-inline
|
|
228 -- associated with N and attach it to the declaration node of Spec_Id.
|
|
229
|
|
230 procedure Check_Package_Body_For_Inlining (N : Node_Id; P : Entity_Id);
|
|
231 -- If front-end inlining is enabled and a package declaration contains
|
|
232 -- inlined subprograms, load and compile the package body to collect the
|
|
233 -- bodies of these subprograms, so they are available to inline calls.
|
|
234 -- N is the compilation unit for the package.
|
|
235
|
|
236 procedure Expand_Inlined_Call
|
|
237 (N : Node_Id;
|
|
238 Subp : Entity_Id;
|
|
239 Orig_Subp : Entity_Id);
|
|
240 -- If called subprogram can be inlined by the front-end, retrieve the
|
|
241 -- analyzed body, replace formals with actuals and expand call in place.
|
|
242 -- Generate thunks for actuals that are expressions, and insert the
|
|
243 -- corresponding constant declarations before the call. If the original
|
|
244 -- call is to a derived operation, the return type is the one of the
|
|
245 -- derived operation, but the body is that of the original, so return
|
|
246 -- expressions in the body must be converted to the desired type (which
|
|
247 -- is simply not noted in the tree without inline expansion).
|
|
248
|
|
249 function Has_Excluded_Declaration
|
|
250 (Subp : Entity_Id;
|
|
251 Decls : List_Id) return Boolean;
|
|
252 -- Check a list of declarations, Decls, that make the inlining of Subp not
|
|
253 -- worthwhile
|
|
254
|
|
255 function Has_Excluded_Statement
|
|
256 (Subp : Entity_Id;
|
|
257 Stats : List_Id) return Boolean;
|
|
258 -- Check a list of statements, Stats, that make inlining of Subp not
|
|
259 -- worthwhile, including any tasking statement, nested at any level.
|
|
260
|
|
261 procedure List_Inlining_Info;
|
|
262 -- Generate listing of calls inlined by the frontend plus listing of
|
|
263 -- calls to inline subprograms passed to the backend.
|
|
264
|
|
265 procedure Remove_Dead_Instance (N : Node_Id);
|
|
266 -- If an instantiation appears in unreachable code, delete the pending
|
|
267 -- body instance.
|
|
268
|
|
269 end Inline;
|