]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/config/mips/frame-header-opt.c
Minor vn_reference_lookup_3 tweak
[thirdparty/gcc.git] / gcc / config / mips / frame-header-opt.c
CommitLineData
d41c8b4c
SE
1/* Analyze functions to determine if callers need to allocate a frame header
2 on the stack. The frame header is used by callees to save their arguments.
3 This optimization is specific to TARGET_OLDABI targets. For TARGET_NEWABI
4 targets, if a frame header is required, it is allocated by the callee.
5
6
cbe34bb5 7 Copyright (C) 2015-2017 Free Software Foundation, Inc.
d41c8b4c
SE
8
9This file is part of GCC.
10
11GCC is free software; you can redistribute it and/or modify it
12under the terms of the GNU General Public License as published by the
13Free Software Foundation; either version 3, or (at your option) any
14later version.
15
16GCC is distributed in the hope that it will be useful, but WITHOUT
17ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
18FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
19for more details.
20
21You should have received a copy of the GNU General Public License
22along with GCC; see the file COPYING3. If not see
23<http://www.gnu.org/licenses/>. */
24
25
26#include "config.h"
27#include "system.h"
28#include "context.h"
29#include "coretypes.h"
30#include "tree.h"
31#include "tree-core.h"
32#include "tree-pass.h"
33#include "target.h"
34#include "target-globals.h"
e09f2fb0 35#include "profile-count.h"
d41c8b4c
SE
36#include "cfg.h"
37#include "cgraph.h"
38#include "function.h"
39#include "basic-block.h"
40#include "gimple.h"
41#include "gimple-iterator.h"
42#include "gimple-walk.h"
43
44static unsigned int frame_header_opt (void);
45
46namespace {
47
48const pass_data pass_data_ipa_frame_header_opt =
49{
50 IPA_PASS, /* type */
51 "frame-header-opt", /* name */
52 OPTGROUP_NONE, /* optinfo_flags */
53 TV_CGRAPHOPT, /* tv_id */
54 0, /* properties_required */
55 0, /* properties_provided */
56 0, /* properties_destroyed */
57 0, /* todo_flags_start */
58 0, /* todo_flags_finish */
59};
60
61class pass_ipa_frame_header_opt : public ipa_opt_pass_d
62{
63public:
64 pass_ipa_frame_header_opt (gcc::context *ctxt)
65 : ipa_opt_pass_d (pass_data_ipa_frame_header_opt, ctxt,
66 NULL, /* generate_summary */
67 NULL, /* write_summary */
68 NULL, /* read_summary */
69 NULL, /* write_optimization_summary */
70 NULL, /* read_optimization_summary */
71 NULL, /* stmt_fixup */
72 0, /* function_transform_todo_flags_start */
73 NULL, /* function_transform */
74 NULL) /* variable_transform */
75 {}
76
77 /* opt_pass methods: */
78 virtual bool gate (function *)
79 {
80 /* This optimization has no affect if TARGET_NEWABI. If optimize
81 is not at least 1 then the data needed for the optimization is
82 not available and nothing will be done anyway. */
0bfbc166 83 return TARGET_OLDABI && flag_frame_header_optimization && optimize > 0;
d41c8b4c
SE
84 }
85
86 virtual unsigned int execute (function *) { return frame_header_opt (); }
87
88}; // class pass_ipa_frame_header_opt
89
90} // anon namespace
91
92static ipa_opt_pass_d *
93make_pass_ipa_frame_header_opt (gcc::context *ctxt)
94{
95 return new pass_ipa_frame_header_opt (ctxt);
96}
97
98void
99mips_register_frame_header_opt (void)
100{
101 opt_pass *p = make_pass_ipa_frame_header_opt (g);
06988296 102 struct register_pass_info f = { p, "comdats", 1, PASS_POS_INSERT_AFTER };
d41c8b4c
SE
103 register_pass (&f);
104}
105
106
107/* Return true if it is certain that this is a leaf function. False if it is
108 not a leaf function or if it is impossible to tell. */
109
110static bool
111is_leaf_function (function *fn)
112{
113 basic_block bb;
114 gimple_stmt_iterator gsi;
115
116 /* If we do not have a cfg for this function be conservative and assume
117 it is not a leaf function. */
118 if (fn->cfg == NULL)
119 return false;
120
121 FOR_EACH_BB_FN (bb, fn)
122 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
123 if (is_gimple_call (gsi_stmt (gsi)))
124 return false;
125 return true;
126}
127
0bfbc166
SE
128/* Return true if this function has inline assembly code or if we cannot
129 be certain that it does not. False if we know that there is no inline
130 assembly. */
131
132static bool
133has_inlined_assembly (function *fn)
134{
135 basic_block bb;
136 gimple_stmt_iterator gsi;
137
138 /* If we do not have a cfg for this function be conservative and assume
139 it is may have inline assembly. */
140 if (fn->cfg == NULL)
141 return true;
142
143 FOR_EACH_BB_FN (bb, fn)
144 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
145 if (gimple_code (gsi_stmt (gsi)) == GIMPLE_ASM)
146 return true;
147
148 return false;
149}
150
d41c8b4c
SE
151/* Return true if this function will use the stack space allocated by its
152 caller or if we cannot determine for certain that it does not. */
153
154static bool
155needs_frame_header_p (function *fn)
156{
157 tree t;
158
159 if (fn->decl == NULL)
160 return true;
161
0bfbc166 162 if (fn->stdarg)
d41c8b4c
SE
163 return true;
164
165 for (t = DECL_ARGUMENTS (fn->decl); t; t = TREE_CHAIN (t))
166 {
167 if (!use_register_for_decl (t))
0bfbc166
SE
168 return true;
169
170 /* Some 64-bit types may get copied to general registers using the frame
171 header, see mips_output_64bit_xfer. Checking for SImode only may be
172 overly restrictive but it is guaranteed to be safe. */
173 if (DECL_MODE (t) != SImode)
174 return true;
d41c8b4c
SE
175 }
176
177 return false;
178}
179
0bfbc166
SE
180/* Return true if the argument stack space allocated by function FN is used.
181 Return false if the space is needed or if the need for the space cannot
d41c8b4c
SE
182 be determined. */
183
184static bool
185callees_functions_use_frame_header (function *fn)
186{
187 basic_block bb;
188 gimple_stmt_iterator gsi;
189 gimple *stmt;
190 tree called_fn_tree;
191 function *called_fn;
192
193 if (fn->cfg == NULL)
194 return true;
195
196 FOR_EACH_BB_FN (bb, fn)
197 {
198 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
199 {
200 stmt = gsi_stmt (gsi);
201 if (is_gimple_call (stmt))
202 {
203 called_fn_tree = gimple_call_fndecl (stmt);
204 if (called_fn_tree != NULL)
205 {
206 called_fn = DECL_STRUCT_FUNCTION (called_fn_tree);
207 if (called_fn == NULL
208 || DECL_WEAK (called_fn_tree)
0bfbc166
SE
209 || has_inlined_assembly (called_fn)
210 || !is_leaf_function (called_fn)
d41c8b4c
SE
211 || !called_fn->machine->does_not_use_frame_header)
212 return true;
213 }
214 else
215 return true;
216 }
217 }
218 }
219 return false;
220}
221
0bfbc166
SE
222/* Set the callers_may_not_allocate_frame flag for any function which
223 function FN calls because FN may not allocate a frame header. */
224
225static void
226set_callers_may_not_allocate_frame (function *fn)
227{
228 basic_block bb;
229 gimple_stmt_iterator gsi;
230 gimple *stmt;
231 tree called_fn_tree;
232 function *called_fn;
233
234 if (fn->cfg == NULL)
235 return;
236
237 FOR_EACH_BB_FN (bb, fn)
238 {
239 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
240 {
241 stmt = gsi_stmt (gsi);
242 if (is_gimple_call (stmt))
243 {
244 called_fn_tree = gimple_call_fndecl (stmt);
245 if (called_fn_tree != NULL)
246 {
247 called_fn = DECL_STRUCT_FUNCTION (called_fn_tree);
248 if (called_fn != NULL)
249 called_fn->machine->callers_may_not_allocate_frame = true;
250 }
251 }
252 }
253 }
254 return;
255}
256
d41c8b4c
SE
257/* Scan each function to determine those that need its frame headers. Perform
258 a second scan to determine if the allocation can be skipped because none of
259 their callees require the frame header. */
260
261static unsigned int
262frame_header_opt ()
263{
264 struct cgraph_node *node;
265 function *fn;
266
267 FOR_EACH_DEFINED_FUNCTION (node)
268 {
269 fn = node->get_fun ();
270 if (fn != NULL)
271 fn->machine->does_not_use_frame_header = !needs_frame_header_p (fn);
272 }
273
274 FOR_EACH_DEFINED_FUNCTION (node)
275 {
276 fn = node->get_fun ();
277 if (fn != NULL)
0bfbc166
SE
278 fn->machine->optimize_call_stack
279 = !callees_functions_use_frame_header (fn) && !is_leaf_function (fn);
d41c8b4c 280 }
0bfbc166
SE
281
282 FOR_EACH_DEFINED_FUNCTION (node)
283 {
284 fn = node->get_fun ();
285 if (fn != NULL && fn->machine->optimize_call_stack)
286 set_callers_may_not_allocate_frame (fn);
287 }
288
d41c8b4c
SE
289 return 0;
290}