Branch data Line data Source code
1 : : /* Function splitting pass
2 : : Copyright (C) 2010-2025 Free Software Foundation, Inc.
3 : : Contributed by Jan Hubicka <jh@suse.cz>
4 : :
5 : : This file is part of GCC.
6 : :
7 : : GCC is free software; you can redistribute it and/or modify it under
8 : : the terms of the GNU General Public License as published by the Free
9 : : Software Foundation; either version 3, or (at your option) any later
10 : : version.
11 : :
12 : : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 : : WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 : : FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 : : for more details.
16 : :
17 : : You should have received a copy of the GNU General Public License
18 : : along with GCC; see the file COPYING3. If not see
19 : : <http://www.gnu.org/licenses/>. */
20 : :
21 : : /* The purpose of this pass is to split function bodies to improve
22 : : inlining. I.e. for function of the form:
23 : :
24 : : func (...)
25 : : {
26 : : if (cheap_test)
27 : : something_small
28 : : else
29 : : something_big
30 : : }
31 : :
32 : : Produce:
33 : :
34 : : func.part (...)
35 : : {
36 : : something_big
37 : : }
38 : :
39 : : func (...)
40 : : {
41 : : if (cheap_test)
42 : : something_small
43 : : else
44 : : func.part (...);
45 : : }
46 : :
47 : : When func becomes inlinable and when cheap_test is often true, inlining func,
48 : : but not fund.part leads to performance improvement similar as inlining
49 : : original func while the code size growth is smaller.
50 : :
51 : : The pass is organized in three stages:
52 : : 1) Collect local info about basic block into BB_INFO structure and
53 : : compute function body estimated size and time.
54 : : 2) Via DFS walk find all possible basic blocks where we can split
55 : : and chose best one.
56 : : 3) If split point is found, split at the specified BB by creating a clone
57 : : and updating function to call it.
58 : :
59 : : The decisions what functions to split are in execute_split_functions
60 : : and consider_split.
61 : :
62 : : There are several possible future improvements for this pass including:
63 : :
64 : : 1) Splitting to break up large functions
65 : : 2) Splitting to reduce stack frame usage
66 : : 3) Allow split part of function to use values computed in the header part.
67 : : The values needs to be passed to split function, perhaps via same
68 : : interface as for nested functions or as argument.
69 : : 4) Support for simple rematerialization. I.e. when split part use
70 : : value computed in header from function parameter in very cheap way, we
71 : : can just recompute it.
72 : : 5) Support splitting of nested functions.
73 : : 6) Support non-SSA arguments.
74 : : 7) There is nothing preventing us from producing multiple parts of single function
75 : : when needed or splitting also the parts. */
76 : :
77 : : #include "config.h"
78 : : #include "system.h"
79 : : #include "coretypes.h"
80 : : #include "backend.h"
81 : : #include "rtl.h"
82 : : #include "tree.h"
83 : : #include "gimple.h"
84 : : #include "cfghooks.h"
85 : : #include "alloc-pool.h"
86 : : #include "tree-pass.h"
87 : : #include "ssa.h"
88 : : #include "cgraph.h"
89 : : #include "diagnostic.h"
90 : : #include "fold-const.h"
91 : : #include "cfganal.h"
92 : : #include "calls.h"
93 : : #include "gimplify.h"
94 : : #include "gimple-iterator.h"
95 : : #include "gimplify-me.h"
96 : : #include "gimple-walk.h"
97 : : #include "symbol-summary.h"
98 : : #include "sreal.h"
99 : : #include "ipa-cp.h"
100 : : #include "ipa-prop.h"
101 : : #include "tree-cfg.h"
102 : : #include "tree-into-ssa.h"
103 : : #include "tree-dfa.h"
104 : : #include "tree-inline.h"
105 : : #include "gimple-pretty-print.h"
106 : : #include "ipa-fnsummary.h"
107 : : #include "cfgloop.h"
108 : : #include "attribs.h"
109 : : #include "ipa-strub.h"
110 : :
111 : : /* Per basic block info. */
112 : :
113 : 8591329 : class split_bb_info
114 : : {
115 : : public:
116 : : unsigned int size;
117 : : sreal time;
118 : : };
119 : :
120 : : static vec<split_bb_info> bb_info_vec;
121 : :
122 : : /* Description of split point. */
123 : :
124 : 1289973 : class split_point
125 : : {
126 : : public:
127 : : /* Size of the partitions. */
128 : : sreal header_time, split_time;
129 : : unsigned int header_size, split_size;
130 : :
131 : : /* SSA names that need to be passed into spit function. */
132 : : bitmap ssa_names_to_pass;
133 : :
134 : : /* Basic block where we split (that will become entry point of new function. */
135 : : basic_block entry_bb;
136 : :
137 : : /* Count for entering the split part.
138 : : This is not count of the entry_bb because it may be in loop. */
139 : : profile_count count;
140 : :
141 : : /* Basic blocks we are splitting away. */
142 : : bitmap split_bbs;
143 : :
144 : : /* True when return value is computed on split part and thus it needs
145 : : to be returned. */
146 : : bool split_part_set_retval;
147 : : };
148 : :
149 : : /* Best split point found. */
150 : :
151 : : class split_point best_split_point;
152 : :
153 : : /* Set of basic blocks that are not allowed to dominate a split point. */
154 : :
155 : : static bitmap forbidden_dominators;
156 : :
157 : : static tree find_retval (basic_block return_bb);
158 : :
159 : : /* Callback for walk_stmt_load_store_addr_ops. If T is non-SSA automatic
160 : : variable, check it if it is present in bitmap passed via DATA. */
161 : :
162 : : static bool
163 : 35927 : test_nonssa_use (gimple *, tree t, tree, void *data)
164 : : {
165 : 35927 : t = get_base_address (t);
166 : :
167 : 35927 : if (!t || is_gimple_reg (t))
168 : 0 : return false;
169 : :
170 : 35927 : if (TREE_CODE (t) == PARM_DECL
171 : 35844 : || (VAR_P (t)
172 : 5944 : && auto_var_in_fn_p (t, current_function_decl))
173 : 30789 : || TREE_CODE (t) == RESULT_DECL
174 : : /* Normal labels are part of CFG and will be handled gratefully.
175 : : Forced labels however can be used directly by statements and
176 : : need to stay in one partition along with their uses. */
177 : 65906 : || (TREE_CODE (t) == LABEL_DECL
178 : 7516 : && FORCED_LABEL (t)))
179 : 5951 : return bitmap_bit_p ((bitmap)data, DECL_UID (t));
180 : :
181 : : /* For DECL_BY_REFERENCE, the return value is actually a pointer. We want
182 : : to pretend that the value pointed to is actual result decl. */
183 : 9875 : if ((TREE_CODE (t) == MEM_REF || INDIRECT_REF_P (t))
184 : 20101 : && TREE_CODE (TREE_OPERAND (t, 0)) == SSA_NAME
185 : 20097 : && SSA_NAME_VAR (TREE_OPERAND (t, 0))
186 : 16161 : && TREE_CODE (SSA_NAME_VAR (TREE_OPERAND (t, 0))) == RESULT_DECL
187 : 29976 : && DECL_BY_REFERENCE (DECL_RESULT (current_function_decl)))
188 : 0 : return
189 : 0 : bitmap_bit_p ((bitmap)data,
190 : 0 : DECL_UID (DECL_RESULT (current_function_decl)));
191 : :
192 : : return false;
193 : : }
194 : :
195 : : /* Dump split point CURRENT. */
196 : :
197 : : static void
198 : 13 : dump_split_point (FILE * file, class split_point *current)
199 : : {
200 : 13 : fprintf (file,
201 : : "Split point at BB %i\n"
202 : : " header time: %f header size: %i\n"
203 : : " split time: %f split size: %i\n bbs: ",
204 : 13 : current->entry_bb->index, current->header_time.to_double (),
205 : : current->header_size, current->split_time.to_double (),
206 : : current->split_size);
207 : 13 : dump_bitmap (file, current->split_bbs);
208 : 13 : fprintf (file, " SSA names to pass: ");
209 : 13 : dump_bitmap (file, current->ssa_names_to_pass);
210 : 13 : }
211 : :
212 : : /* Look for all BBs in header that might lead to the split part and verify
213 : : that they are not defining any non-SSA var used by the split part.
214 : : Parameters are the same as for consider_split. */
215 : :
216 : : static bool
217 : 14824 : verify_non_ssa_vars (class split_point *current, bitmap non_ssa_vars,
218 : : basic_block return_bb)
219 : : {
220 : 14824 : bitmap seen = BITMAP_ALLOC (NULL);
221 : 14824 : vec<basic_block> worklist = vNULL;
222 : 14824 : edge e;
223 : 14824 : edge_iterator ei;
224 : 14824 : bool ok = true;
225 : 14824 : basic_block bb;
226 : :
227 : 31964 : FOR_EACH_EDGE (e, ei, current->entry_bb->preds)
228 : 17140 : if (e->src != ENTRY_BLOCK_PTR_FOR_FN (cfun)
229 : 17140 : && !bitmap_bit_p (current->split_bbs, e->src->index))
230 : : {
231 : 16446 : worklist.safe_push (e->src);
232 : 16446 : bitmap_set_bit (seen, e->src->index);
233 : : }
234 : :
235 : 35982 : while (!worklist.is_empty ())
236 : : {
237 : 24446 : bb = worklist.pop ();
238 : 51138 : FOR_EACH_EDGE (e, ei, bb->preds)
239 : 26692 : if (e->src != ENTRY_BLOCK_PTR_FOR_FN (cfun)
240 : 26692 : && bitmap_set_bit (seen, e->src->index))
241 : : {
242 : 10207 : gcc_checking_assert (!bitmap_bit_p (current->split_bbs,
243 : : e->src->index));
244 : 10207 : worklist.safe_push (e->src);
245 : : }
246 : 286186 : for (gimple_stmt_iterator bsi = gsi_start_bb (bb); !gsi_end_p (bsi);
247 : 237294 : gsi_next (&bsi))
248 : : {
249 : 240582 : gimple *stmt = gsi_stmt (bsi);
250 : 240582 : if (is_gimple_debug (stmt))
251 : 183733 : continue;
252 : 56849 : if (walk_stmt_load_store_addr_ops
253 : 56849 : (stmt, non_ssa_vars, test_nonssa_use, test_nonssa_use,
254 : : test_nonssa_use))
255 : : {
256 : 3288 : ok = false;
257 : 3288 : goto done;
258 : : }
259 : 237378 : if (glabel *label_stmt = dyn_cast <glabel *> (stmt))
260 : 84 : if (test_nonssa_use (stmt, gimple_label_label (label_stmt),
261 : : NULL_TREE, non_ssa_vars))
262 : : {
263 : 0 : ok = false;
264 : 0 : goto done;
265 : : }
266 : : }
267 : 22299 : for (gphi_iterator bsi = gsi_start_phis (bb); !gsi_end_p (bsi);
268 : 1141 : gsi_next (&bsi))
269 : : {
270 : 1141 : if (walk_stmt_load_store_addr_ops
271 : 1141 : (gsi_stmt (bsi), non_ssa_vars, test_nonssa_use, test_nonssa_use,
272 : : test_nonssa_use))
273 : : {
274 : 0 : ok = false;
275 : 0 : goto done;
276 : : }
277 : : }
278 : 63779 : FOR_EACH_EDGE (e, ei, bb->succs)
279 : : {
280 : 42621 : if (e->dest != return_bb)
281 : 39899 : continue;
282 : 2722 : for (gphi_iterator bsi = gsi_start_phis (return_bb);
283 : 6176 : !gsi_end_p (bsi);
284 : 3454 : gsi_next (&bsi))
285 : : {
286 : 3454 : gphi *stmt = bsi.phi ();
287 : 3454 : tree op = gimple_phi_arg_def (stmt, e->dest_idx);
288 : :
289 : 6908 : if (virtual_operand_p (gimple_phi_result (stmt)))
290 : 2612 : continue;
291 : 842 : if (TREE_CODE (op) != SSA_NAME
292 : 842 : && test_nonssa_use (stmt, op, op, non_ssa_vars))
293 : : {
294 : 0 : ok = false;
295 : 0 : goto done;
296 : : }
297 : : }
298 : : }
299 : : }
300 : :
301 : : /* Verify that the rest of function does not define any label
302 : : used by the split part. */
303 : 121473 : FOR_EACH_BB_FN (bb, cfun)
304 : 109940 : if (!bitmap_bit_p (current->split_bbs, bb->index)
305 : 109940 : && !bitmap_bit_p (seen, bb->index))
306 : : {
307 : 40285 : gimple_stmt_iterator bsi;
308 : 87999 : for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
309 : 117369 : if (glabel *label_stmt = dyn_cast <glabel *> (gsi_stmt (bsi)))
310 : : {
311 : 7432 : if (test_nonssa_use (label_stmt,
312 : : gimple_label_label (label_stmt),
313 : : NULL_TREE, non_ssa_vars))
314 : : {
315 : 3 : ok = false;
316 : 3 : goto done;
317 : : }
318 : : }
319 : : else
320 : : break;
321 : : }
322 : :
323 : 11533 : done:
324 : 14824 : BITMAP_FREE (seen);
325 : 14824 : worklist.release ();
326 : 14824 : return ok;
327 : : }
328 : :
329 : : /* If STMT is a call, check the callee against a list of forbidden
330 : : predicate functions. If a match is found, look for uses of the
331 : : call result in condition statements that compare against zero.
332 : : For each such use, find the block targeted by the condition
333 : : statement for the nonzero result, and set the bit for this block
334 : : in the forbidden dominators bitmap. The purpose of this is to avoid
335 : : selecting a split point where we are likely to lose the chance
336 : : to optimize away an unused function call. */
337 : :
338 : : static void
339 : 39418451 : check_forbidden_calls (gimple *stmt)
340 : : {
341 : 39418451 : imm_use_iterator use_iter;
342 : 39418451 : use_operand_p use_p;
343 : 39418451 : tree lhs;
344 : :
345 : : /* At the moment, __builtin_constant_p is the only forbidden
346 : : predicate function call (see PR49642). */
347 : 39418451 : if (!gimple_call_builtin_p (stmt, BUILT_IN_CONSTANT_P))
348 : 39416401 : return;
349 : :
350 : 2050 : lhs = gimple_call_lhs (stmt);
351 : :
352 : 2050 : if (!lhs || TREE_CODE (lhs) != SSA_NAME)
353 : : return;
354 : :
355 : 5956 : FOR_EACH_IMM_USE_FAST (use_p, use_iter, lhs)
356 : : {
357 : 3906 : tree op1;
358 : 3906 : basic_block use_bb, forbidden_bb;
359 : 3906 : enum tree_code code;
360 : 3906 : edge true_edge, false_edge;
361 : 3906 : gcond *use_stmt;
362 : :
363 : 3906 : use_stmt = dyn_cast <gcond *> (USE_STMT (use_p));
364 : 3906 : if (!use_stmt)
365 : 29 : continue;
366 : :
367 : : /* Assuming canonical form for GIMPLE_COND here, with constant
368 : : in second position. */
369 : 3877 : op1 = gimple_cond_rhs (use_stmt);
370 : 3877 : code = gimple_cond_code (use_stmt);
371 : 3877 : use_bb = gimple_bb (use_stmt);
372 : :
373 : 3877 : extract_true_false_edges_from_block (use_bb, &true_edge, &false_edge);
374 : :
375 : : /* We're only interested in comparisons that distinguish
376 : : unambiguously from zero. */
377 : 3877 : if (!integer_zerop (op1) || code == LE_EXPR || code == GE_EXPR)
378 : 0 : continue;
379 : :
380 : 3877 : if (code == EQ_EXPR)
381 : 4 : forbidden_bb = false_edge->dest;
382 : : else
383 : 3873 : forbidden_bb = true_edge->dest;
384 : :
385 : 3877 : bitmap_set_bit (forbidden_dominators, forbidden_bb->index);
386 : : }
387 : : }
388 : :
389 : : /* If BB is dominated by any block in the forbidden dominators set,
390 : : return TRUE; else FALSE. */
391 : :
392 : : static bool
393 : 1330 : dominated_by_forbidden (basic_block bb)
394 : : {
395 : 1330 : unsigned dom_bb;
396 : 1330 : bitmap_iterator bi;
397 : :
398 : 3963 : EXECUTE_IF_SET_IN_BITMAP (forbidden_dominators, 1, dom_bb, bi)
399 : : {
400 : 2647 : if (dominated_by_p (CDI_DOMINATORS, bb,
401 : 2647 : BASIC_BLOCK_FOR_FN (cfun, dom_bb)))
402 : : return true;
403 : : }
404 : :
405 : : return false;
406 : : }
407 : :
408 : : /* For give split point CURRENT and return block RETURN_BB return 1
409 : : if ssa name VAL is set by split part and 0 otherwise. */
410 : : static bool
411 : 18166 : split_part_set_ssa_name_p (tree val, class split_point *current,
412 : : basic_block return_bb)
413 : : {
414 : 18166 : if (TREE_CODE (val) != SSA_NAME)
415 : : return false;
416 : :
417 : 18166 : return (!SSA_NAME_IS_DEFAULT_DEF (val)
418 : 18166 : && (bitmap_bit_p (current->split_bbs,
419 : 14841 : gimple_bb (SSA_NAME_DEF_STMT (val))->index)
420 : 14839 : || gimple_bb (SSA_NAME_DEF_STMT (val)) == return_bb));
421 : : }
422 : :
423 : : /* We found an split_point CURRENT. NON_SSA_VARS is bitmap of all non ssa
424 : : variables used and RETURN_BB is return basic block.
425 : : See if we can split function here. */
426 : :
427 : : static void
428 : 2506051 : consider_split (class split_point *current, bitmap non_ssa_vars,
429 : : basic_block return_bb)
430 : : {
431 : 2506051 : tree parm;
432 : 2506051 : unsigned int num_args = 0;
433 : 2506051 : unsigned int call_overhead;
434 : 2506051 : edge e;
435 : 2506051 : edge_iterator ei;
436 : 2506051 : gphi_iterator bsi;
437 : 2506051 : unsigned int i;
438 : 2506051 : tree retval;
439 : 2506051 : bool back_edge = false;
440 : :
441 : 2506051 : if (dump_file && (dump_flags & TDF_DETAILS))
442 : 6 : dump_split_point (dump_file, current);
443 : :
444 : 2506051 : current->count = profile_count::zero ();
445 : 5435218 : FOR_EACH_EDGE (e, ei, current->entry_bb->preds)
446 : : {
447 : 2929167 : if (e->flags & EDGE_DFS_BACK)
448 : 137807 : back_edge = true;
449 : 2929167 : if (!bitmap_bit_p (current->split_bbs, e->src->index))
450 : 2791359 : current->count += e->count ();
451 : : }
452 : :
453 : : /* Do not split when we would end up calling function anyway.
454 : : Compares are three state, use !(...<...) to also give up when outcome
455 : : is unknown. */
456 : 5012102 : if (!(current->count
457 : 2506051 : < (ENTRY_BLOCK_PTR_FOR_FN (cfun)->count.apply_scale
458 : 5012102 : (param_partial_inlining_entry_probability, 100))))
459 : : {
460 : : /* When profile is guessed, we cannot expect it to give us
461 : : realistic estimate on likeliness of function taking the
462 : : complex path. As a special case, when tail of the function is
463 : : a loop, enable splitting since inlining code skipping the loop
464 : : is likely noticeable win. */
465 : 1425702 : if (back_edge
466 : 80539 : && profile_status_for_fn (cfun) != PROFILE_READ
467 : 1506204 : && current->count
468 : 80502 : < ENTRY_BLOCK_PTR_FOR_FN (cfun)->count)
469 : : {
470 : 13590 : if (dump_file && (dump_flags & TDF_DETAILS))
471 : : {
472 : 0 : fprintf (dump_file,
473 : : " Split before loop, accepting despite low counts");
474 : 0 : current->count.dump (dump_file);
475 : 0 : fprintf (dump_file, " ");
476 : 0 : ENTRY_BLOCK_PTR_FOR_FN (cfun)->count.dump (dump_file);
477 : : }
478 : : }
479 : : else
480 : : {
481 : 1412112 : if (dump_file && (dump_flags & TDF_DETAILS))
482 : 3 : fprintf (dump_file,
483 : : " Refused: incoming frequency is too large.\n");
484 : 2441097 : return;
485 : : }
486 : : }
487 : :
488 : 1093939 : if (!current->header_size)
489 : : {
490 : 0 : if (dump_file && (dump_flags & TDF_DETAILS))
491 : 0 : fprintf (dump_file, " Refused: header empty\n");
492 : 0 : return;
493 : : }
494 : :
495 : : /* Verify that PHI args on entry are either virtual or all their operands
496 : : incoming from header are the same. */
497 : 1265824 : for (bsi = gsi_start_phis (current->entry_bb); !gsi_end_p (bsi); gsi_next (&bsi))
498 : : {
499 : 188055 : gphi *stmt = bsi.phi ();
500 : 188055 : tree val = NULL;
501 : :
502 : 376110 : if (virtual_operand_p (gimple_phi_result (stmt)))
503 : 48051 : continue;
504 : 403911 : for (i = 0; i < gimple_phi_num_args (stmt); i++)
505 : : {
506 : 280077 : edge e = gimple_phi_arg_edge (stmt, i);
507 : 280077 : if (!bitmap_bit_p (current->split_bbs, e->src->index))
508 : : {
509 : 156383 : tree edge_val = gimple_phi_arg_def (stmt, i);
510 : 156383 : if (val && edge_val != val)
511 : : {
512 : 16170 : if (dump_file && (dump_flags & TDF_DETAILS))
513 : 0 : fprintf (dump_file,
514 : : " Refused: entry BB has PHI with multiple variants\n");
515 : 16170 : return;
516 : : }
517 : : val = edge_val;
518 : : }
519 : : }
520 : : }
521 : :
522 : :
523 : : /* See what argument we will pass to the split function and compute
524 : : call overhead. */
525 : 1077769 : call_overhead = eni_size_weights.call_cost;
526 : 3122150 : for (parm = DECL_ARGUMENTS (current_function_decl); parm;
527 : 2044381 : parm = DECL_CHAIN (parm))
528 : : {
529 : 2044381 : if (!is_gimple_reg (parm))
530 : : {
531 : 143380 : if (bitmap_bit_p (non_ssa_vars, DECL_UID (parm)))
532 : : {
533 : 0 : if (dump_file && (dump_flags & TDF_DETAILS))
534 : 0 : fprintf (dump_file,
535 : : " Refused: need to pass non-ssa param values\n");
536 : 0 : return;
537 : : }
538 : : }
539 : : else
540 : : {
541 : 1901001 : tree ddef = ssa_default_def (cfun, parm);
542 : 1901001 : if (ddef
543 : 3756120 : && bitmap_bit_p (current->ssa_names_to_pass,
544 : 1855119 : SSA_NAME_VERSION (ddef)))
545 : : {
546 : 625230 : if (!VOID_TYPE_P (TREE_TYPE (parm)))
547 : 625230 : call_overhead += estimate_move_cost (TREE_TYPE (parm), false);
548 : 625230 : num_args++;
549 : : }
550 : : }
551 : : }
552 : 1077769 : if (!VOID_TYPE_P (TREE_TYPE (TREE_TYPE (current_function_decl))))
553 : 713127 : call_overhead += estimate_move_cost (TREE_TYPE (TREE_TYPE
554 : : (current_function_decl)),
555 : : false);
556 : :
557 : 1077769 : if (current->split_size <= call_overhead)
558 : : {
559 : 529646 : if (dump_file && (dump_flags & TDF_DETAILS))
560 : 0 : fprintf (dump_file,
561 : : " Refused: split size is smaller than call overhead\n");
562 : 529646 : return;
563 : : }
564 : : /* FIXME: The logic here is not very precise, because inliner does use
565 : : inline predicates to reduce function body size. We add 10 to anticipate
566 : : that. Next stage1 we should try to be more meaningful here. */
567 : 548123 : if (current->header_size + call_overhead
568 : 548123 : >= (unsigned int)(DECL_DECLARED_INLINE_P (current_function_decl)
569 : 139150 : ? param_max_inline_insns_single
570 : 548123 : : param_max_inline_insns_auto) + 10)
571 : : {
572 : 384402 : if (dump_file && (dump_flags & TDF_DETAILS))
573 : 0 : fprintf (dump_file,
574 : : " Refused: header size is too large for inline candidate\n");
575 : 384402 : return;
576 : : }
577 : :
578 : : /* Splitting functions brings the target out of comdat group; this will
579 : : lead to code duplication if the function is reused by other unit.
580 : : Limit this duplication. This is consistent with limit in tree-sra.cc
581 : : FIXME: with LTO we ought to be able to do better! */
582 : 290792 : if (DECL_ONE_ONLY (current_function_decl)
583 : 290785 : && current->split_size >= (unsigned int) param_max_inline_insns_auto + 10)
584 : : {
585 : 12600 : if (dump_file && (dump_flags & TDF_DETAILS))
586 : 0 : fprintf (dump_file,
587 : : " Refused: function is COMDAT and tail is too large\n");
588 : 12600 : return;
589 : : }
590 : : /* For comdat functions also reject very small tails; those will likely get
591 : : inlined back and we do not want to risk the duplication overhead.
592 : : FIXME: with LTO we ought to be able to do better! */
593 : 265592 : if (DECL_ONE_ONLY (current_function_decl)
594 : 151121 : && current->split_size
595 : 114464 : <= (unsigned int) param_early_inlining_insns / 2)
596 : : {
597 : 28070 : if (dump_file && (dump_flags & TDF_DETAILS))
598 : 0 : fprintf (dump_file,
599 : : " Refused: function is COMDAT and tail is too small\n");
600 : 28070 : return;
601 : : }
602 : :
603 : : /* FIXME: we currently can pass only SSA function parameters to the split
604 : : arguments. Once parm_adjustment infrastructure is supported by cloning,
605 : : we can pass more than that. */
606 : 123051 : if (num_args != bitmap_count_bits (current->ssa_names_to_pass))
607 : : {
608 : :
609 : 54792 : if (dump_file && (dump_flags & TDF_DETAILS))
610 : 0 : fprintf (dump_file,
611 : : " Refused: need to pass non-param values\n");
612 : 54792 : return;
613 : : }
614 : :
615 : : /* When there are non-ssa vars used in the split region, see if they
616 : : are used in the header region. If so, reject the split.
617 : : FIXME: we can use nested function support to access both. */
618 : 68259 : if (!bitmap_empty_p (non_ssa_vars)
619 : 68259 : && !verify_non_ssa_vars (current, non_ssa_vars, return_bb))
620 : : {
621 : 3291 : if (dump_file && (dump_flags & TDF_DETAILS))
622 : 0 : fprintf (dump_file,
623 : : " Refused: split part has non-ssa uses\n");
624 : 3291 : return;
625 : : }
626 : :
627 : : /* If the split point is dominated by a forbidden block, reject
628 : : the split. */
629 : 64968 : if (!bitmap_empty_p (forbidden_dominators)
630 : 64968 : && dominated_by_forbidden (current->entry_bb))
631 : : {
632 : 14 : if (dump_file && (dump_flags & TDF_DETAILS))
633 : 0 : fprintf (dump_file,
634 : : " Refused: split point dominated by forbidden block\n");
635 : 14 : return;
636 : : }
637 : :
638 : : /* See if retval used by return bb is computed by header or split part.
639 : : When it is computed by split part, we need to produce return statement
640 : : in the split part and add code to header to pass it around.
641 : :
642 : : This is bit tricky to test:
643 : : 1) When there is no return_bb or no return value, we always pass
644 : : value around.
645 : : 2) Invariants are always computed by caller.
646 : : 3) For SSA we need to look if defining statement is in header or split part
647 : : 4) For non-SSA we need to look where the var is computed. */
648 : 64954 : retval = find_retval (return_bb);
649 : 64954 : if (!retval)
650 : : {
651 : : /* If there is a return_bb with no return value in function returning
652 : : value by reference, also make the split part return void, otherwise
653 : : we expansion would try to create a non-POD temporary, which is
654 : : invalid. */
655 : 39483 : if (return_bb != EXIT_BLOCK_PTR_FOR_FN (cfun)
656 : 30385 : && DECL_RESULT (current_function_decl)
657 : 69868 : && DECL_BY_REFERENCE (DECL_RESULT (current_function_decl)))
658 : 0 : current->split_part_set_retval = false;
659 : : else
660 : 39483 : current->split_part_set_retval = true;
661 : : }
662 : 25471 : else if (is_gimple_min_invariant (retval))
663 : 2305 : current->split_part_set_retval = false;
664 : : /* Special case is value returned by reference we record as if it was non-ssa
665 : : set to result_decl. */
666 : 23166 : else if (TREE_CODE (retval) == SSA_NAME
667 : 18166 : && SSA_NAME_VAR (retval)
668 : 5309 : && TREE_CODE (SSA_NAME_VAR (retval)) == RESULT_DECL
669 : 23166 : && DECL_BY_REFERENCE (DECL_RESULT (current_function_decl)))
670 : 0 : current->split_part_set_retval
671 : 0 : = bitmap_bit_p (non_ssa_vars, DECL_UID (SSA_NAME_VAR (retval)));
672 : 23166 : else if (TREE_CODE (retval) == SSA_NAME)
673 : 18166 : current->split_part_set_retval
674 : 18166 : = split_part_set_ssa_name_p (retval, current, return_bb);
675 : 5000 : else if (TREE_CODE (retval) == PARM_DECL)
676 : 0 : current->split_part_set_retval = false;
677 : 5000 : else if (VAR_P (retval)
678 : 447 : || TREE_CODE (retval) == RESULT_DECL)
679 : 5000 : current->split_part_set_retval
680 : 5000 : = bitmap_bit_p (non_ssa_vars, DECL_UID (retval));
681 : : else
682 : 0 : current->split_part_set_retval = true;
683 : :
684 : : /* split_function fixes up at most one PHI non-virtual PHI node in return_bb,
685 : : for the return value. If there are other PHIs, give up. */
686 : 64954 : if (return_bb != EXIT_BLOCK_PTR_FOR_FN (cfun))
687 : : {
688 : 55856 : gphi_iterator psi;
689 : :
690 : 113625 : for (psi = gsi_start_phis (return_bb); !gsi_end_p (psi); gsi_next (&psi))
691 : 57769 : if (!virtual_operand_p (gimple_phi_result (psi.phi ()))
692 : 57769 : && !(retval
693 : 12557 : && current->split_part_set_retval
694 : 12557 : && TREE_CODE (retval) == SSA_NAME
695 : 12557 : && !DECL_BY_REFERENCE (DECL_RESULT (current_function_decl))
696 : 12557 : && SSA_NAME_DEF_STMT (retval) == psi.phi ()))
697 : : {
698 : 0 : if (dump_file && (dump_flags & TDF_DETAILS))
699 : 0 : fprintf (dump_file,
700 : : " Refused: return bb has extra PHIs\n");
701 : 0 : return;
702 : : }
703 : : }
704 : :
705 : 64954 : if (dump_file && (dump_flags & TDF_DETAILS))
706 : 3 : fprintf (dump_file, " Accepted!\n");
707 : :
708 : : /* At the moment chose split point with lowest count and that leaves
709 : : out smallest size of header.
710 : : In future we might re-consider this heuristics. */
711 : 64954 : if (!best_split_point.split_bbs
712 : 16682 : || best_split_point.count
713 : 16682 : > current->count
714 : 134792 : || (best_split_point.count == current->count
715 : 4884 : && best_split_point.split_size < current->split_size))
716 : :
717 : : {
718 : 54246 : if (dump_file && (dump_flags & TDF_DETAILS))
719 : 2 : fprintf (dump_file, " New best split point!\n");
720 : 54246 : if (best_split_point.ssa_names_to_pass)
721 : : {
722 : 5974 : BITMAP_FREE (best_split_point.ssa_names_to_pass);
723 : 5974 : BITMAP_FREE (best_split_point.split_bbs);
724 : : }
725 : 54246 : best_split_point = *current;
726 : 54246 : best_split_point.ssa_names_to_pass = BITMAP_ALLOC (NULL);
727 : 54246 : bitmap_copy (best_split_point.ssa_names_to_pass,
728 : 54246 : current->ssa_names_to_pass);
729 : 54246 : best_split_point.split_bbs = BITMAP_ALLOC (NULL);
730 : 54246 : bitmap_copy (best_split_point.split_bbs, current->split_bbs);
731 : : }
732 : : }
733 : :
734 : : /* Return basic block containing RETURN statement. We allow basic blocks
735 : : of the form:
736 : : <retval> = tmp_var;
737 : : return <retval>
738 : : but return_bb cannot be more complex than this (except for
739 : : -fsanitize=thread we allow TSAN_FUNC_EXIT () internal call in there).
740 : : If nothing is found, return the exit block.
741 : :
742 : : When there are multiple RETURN statement, chose one with return value,
743 : : since that one is more likely shared by multiple code paths.
744 : :
745 : : Return BB is special, because for function splitting it is the only
746 : : basic block that is duplicated in between header and split part of the
747 : : function.
748 : :
749 : : TODO: We might support multiple return blocks. */
750 : :
751 : : static basic_block
752 : 1289989 : find_return_bb (void)
753 : : {
754 : 1289989 : edge e;
755 : 1289989 : basic_block return_bb = EXIT_BLOCK_PTR_FOR_FN (cfun);
756 : 1289989 : gimple_stmt_iterator bsi;
757 : 1289989 : bool found_return = false;
758 : 1289989 : tree retval = NULL_TREE;
759 : :
760 : 2164607 : if (!single_pred_p (EXIT_BLOCK_PTR_FOR_FN (cfun)))
761 : : return return_bb;
762 : :
763 : 1289780 : e = single_pred_edge (EXIT_BLOCK_PTR_FOR_FN (cfun));
764 : 9666820 : for (bsi = gsi_last_bb (e->src); !gsi_end_p (bsi); gsi_prev (&bsi))
765 : : {
766 : 4418248 : gimple *stmt = gsi_stmt (bsi);
767 : 4418248 : if (gimple_code (stmt) == GIMPLE_LABEL
768 : 4408014 : || is_gimple_debug (stmt)
769 : 6884148 : || gimple_clobber_p (stmt))
770 : : ;
771 : 2178888 : else if (gimple_code (stmt) == GIMPLE_ASSIGN
772 : 619652 : && found_return
773 : 619652 : && gimple_assign_single_p (stmt)
774 : 516379 : && (auto_var_in_fn_p (gimple_assign_rhs1 (stmt),
775 : : current_function_decl)
776 : 492998 : || is_gimple_min_invariant (gimple_assign_rhs1 (stmt)))
777 : 2304221 : && retval == gimple_assign_lhs (stmt))
778 : : ;
779 : 2164499 : else if (greturn *return_stmt = dyn_cast <greturn *> (stmt))
780 : : {
781 : 1289780 : found_return = true;
782 : 1289780 : retval = gimple_return_retval (return_stmt);
783 : : }
784 : : /* For -fsanitize=thread, allow also TSAN_FUNC_EXIT () in the return
785 : : bb. */
786 : 874719 : else if ((flag_sanitize & SANITIZE_THREAD)
787 : 874719 : && gimple_call_internal_p (stmt, IFN_TSAN_FUNC_EXIT))
788 : : ;
789 : : else
790 : : break;
791 : : }
792 : 1289780 : if (gsi_end_p (bsi) && found_return)
793 : 415162 : return_bb = e->src;
794 : :
795 : : return return_bb;
796 : : }
797 : :
798 : : /* Given return basic block RETURN_BB, see where return value is really
799 : : stored. */
800 : : static tree
801 : 100438 : find_retval (basic_block return_bb)
802 : : {
803 : 100438 : gimple_stmt_iterator bsi;
804 : 287010 : for (bsi = gsi_start_bb (return_bb); !gsi_end_p (bsi); gsi_next (&bsi))
805 : 177474 : if (greturn *return_stmt = dyn_cast <greturn *> (gsi_stmt (bsi)))
806 : 91292 : return gimple_return_retval (return_stmt);
807 : 86182 : else if (gimple_code (gsi_stmt (bsi)) == GIMPLE_ASSIGN
808 : 86182 : && !gimple_clobber_p (gsi_stmt (bsi)))
809 : 48 : return gimple_assign_rhs1 (gsi_stmt (bsi));
810 : : return NULL;
811 : : }
812 : :
813 : : /* Callback for walk_stmt_load_store_addr_ops. If T is non-SSA automatic
814 : : variable, mark it as used in bitmap passed via DATA.
815 : : Return true when access to T prevents splitting the function. */
816 : :
817 : : static bool
818 : 7873318 : mark_nonssa_use (gimple *, tree t, tree, void *data)
819 : : {
820 : 7873318 : t = get_base_address (t);
821 : :
822 : 7873318 : if (!t || is_gimple_reg (t))
823 : 0 : return false;
824 : :
825 : : /* At present we can't pass non-SSA arguments to split function.
826 : : FIXME: this can be relaxed by passing references to arguments. */
827 : 7873318 : if (TREE_CODE (t) == PARM_DECL)
828 : : {
829 : 277638 : if (dump_file && (dump_flags & TDF_DETAILS))
830 : 0 : fprintf (dump_file,
831 : : "Cannot split: use of non-ssa function parameter.\n");
832 : 277638 : return true;
833 : : }
834 : :
835 : 3267468 : if ((VAR_P (t) && auto_var_in_fn_p (t, current_function_decl))
836 : 4986424 : || TREE_CODE (t) == RESULT_DECL
837 : 12529155 : || (TREE_CODE (t) == LABEL_DECL && FORCED_LABEL (t)))
838 : 2662241 : bitmap_set_bit ((bitmap)data, DECL_UID (t));
839 : :
840 : : /* For DECL_BY_REFERENCE, the return value is actually a pointer. We want
841 : : to pretend that the value pointed to is actual result decl. */
842 : 4188332 : if ((TREE_CODE (t) == MEM_REF || INDIRECT_REF_P (t))
843 : 3407348 : && TREE_CODE (TREE_OPERAND (t, 0)) == SSA_NAME
844 : 3406769 : && SSA_NAME_VAR (TREE_OPERAND (t, 0))
845 : 2752574 : && TREE_CODE (SSA_NAME_VAR (TREE_OPERAND (t, 0))) == RESULT_DECL
846 : 7665703 : && DECL_BY_REFERENCE (DECL_RESULT (current_function_decl)))
847 : 70023 : return
848 : 70023 : bitmap_bit_p ((bitmap)data,
849 : 70023 : DECL_UID (DECL_RESULT (current_function_decl)));
850 : :
851 : : return false;
852 : : }
853 : :
854 : : /* Compute local properties of basic block BB we collect when looking for
855 : : split points. We look for ssa defs and store them in SET_SSA_NAMES,
856 : : for ssa uses and store them in USED_SSA_NAMES and for any non-SSA automatic
857 : : vars stored in NON_SSA_VARS.
858 : :
859 : : When BB has edge to RETURN_BB, collect uses in RETURN_BB too.
860 : :
861 : : Return false when BB contains something that prevents it from being put into
862 : : split function. */
863 : :
864 : : static bool
865 : 4302518 : visit_bb (basic_block bb, basic_block return_bb,
866 : : bitmap set_ssa_names, bitmap used_ssa_names,
867 : : bitmap non_ssa_vars)
868 : : {
869 : 4302518 : edge e;
870 : 4302518 : edge_iterator ei;
871 : 4302518 : bool can_split = true;
872 : :
873 : 46818214 : for (gimple_stmt_iterator bsi = gsi_start_bb (bb); !gsi_end_p (bsi);
874 : 38213178 : gsi_next (&bsi))
875 : : {
876 : 38213178 : gimple *stmt = gsi_stmt (bsi);
877 : 38213178 : tree op;
878 : 38213178 : ssa_op_iter iter;
879 : :
880 : 38213178 : if (is_gimple_debug (stmt))
881 : 25188150 : continue;
882 : :
883 : 14154952 : if (gimple_clobber_p (stmt))
884 : 1129924 : continue;
885 : :
886 : : /* FIXME: We can split regions containing EH. We cannot however
887 : : split RESX, EH_DISPATCH and EH_POINTER referring to same region
888 : : into different partitions. This would require tracking of
889 : : EH regions and checking in consider_split_point if they
890 : : are not used elsewhere. */
891 : 13025028 : if (gimple_code (stmt) == GIMPLE_RESX)
892 : : {
893 : 105343 : if (dump_file && (dump_flags & TDF_DETAILS))
894 : 0 : fprintf (dump_file, "Cannot split: resx.\n");
895 : : can_split = false;
896 : : }
897 : 13025028 : if (gimple_code (stmt) == GIMPLE_EH_DISPATCH)
898 : : {
899 : 6374 : if (dump_file && (dump_flags & TDF_DETAILS))
900 : 0 : fprintf (dump_file, "Cannot split: eh dispatch.\n");
901 : : can_split = false;
902 : : }
903 : :
904 : : /* Check calls that would prevent splitting. */
905 : 13025028 : if (gimple_code (stmt) == GIMPLE_CALL)
906 : : {
907 : 2274637 : if (tree decl = gimple_call_fndecl (stmt))
908 : : {
909 : : /* Check builtins that would prevent splitting. */
910 : 2211172 : if (fndecl_built_in_p (decl, BUILT_IN_NORMAL))
911 : 637401 : switch (DECL_FUNCTION_CODE (decl))
912 : : {
913 : : /* FIXME: once we will allow passing non-parm values to
914 : : split part, we need to be sure to handle correct
915 : : builtin_stack_save and builtin_stack_restore. At the
916 : : moment we are safe; there is no way to store
917 : : builtin_stack_save result in non-SSA variable since all
918 : : calls to those are compiler generated. */
919 : 10 : case BUILT_IN_APPLY:
920 : 10 : case BUILT_IN_APPLY_ARGS:
921 : 10 : case BUILT_IN_VA_START:
922 : 10 : if (dump_file && (dump_flags & TDF_DETAILS))
923 : 0 : fprintf (dump_file,
924 : : "Cannot split: builtin_apply and va_start.\n");
925 : : can_split = false;
926 : : break;
927 : 7242 : case BUILT_IN_EH_POINTER:
928 : 7242 : if (dump_file && (dump_flags & TDF_DETAILS))
929 : 0 : fprintf (dump_file,
930 : : "Cannot split: builtin_eh_pointer.\n");
931 : : can_split = false;
932 : : break;
933 : : default:
934 : : break;
935 : : }
936 : :
937 : : /* Calls to functions (which have the warning or error
938 : : attribute on them) should not be split off into another
939 : : function. */
940 : 2211172 : if (lookup_attribute ("warning", DECL_ATTRIBUTES (decl))
941 : 2211172 : || lookup_attribute ("error", DECL_ATTRIBUTES (decl)))
942 : : {
943 : 20 : if (dump_file && (dump_flags & TDF_DETAILS))
944 : 0 : fprintf (dump_file,
945 : : "Cannot split: warning or error attribute.\n");
946 : : can_split = false;
947 : : }
948 : : }
949 : : }
950 : :
951 : 19199793 : FOR_EACH_SSA_TREE_OPERAND (op, stmt, iter, SSA_OP_DEF)
952 : 6174765 : bitmap_set_bit (set_ssa_names, SSA_NAME_VERSION (op));
953 : 25537059 : FOR_EACH_SSA_TREE_OPERAND (op, stmt, iter, SSA_OP_USE)
954 : 12512031 : bitmap_set_bit (used_ssa_names, SSA_NAME_VERSION (op));
955 : 13025028 : can_split &= !walk_stmt_load_store_addr_ops (stmt, non_ssa_vars,
956 : : mark_nonssa_use,
957 : : mark_nonssa_use,
958 : : mark_nonssa_use);
959 : : }
960 : 5244869 : for (gphi_iterator bsi = gsi_start_phis (bb); !gsi_end_p (bsi);
961 : 942351 : gsi_next (&bsi))
962 : : {
963 : 942351 : gphi *stmt = bsi.phi ();
964 : 942351 : unsigned int i;
965 : :
966 : 1884702 : if (virtual_operand_p (gimple_phi_result (stmt)))
967 : 399223 : continue;
968 : 1086256 : bitmap_set_bit (set_ssa_names,
969 : 543128 : SSA_NAME_VERSION (gimple_phi_result (stmt)));
970 : 1784379 : for (i = 0; i < gimple_phi_num_args (stmt); i++)
971 : : {
972 : 1241251 : tree op = gimple_phi_arg_def (stmt, i);
973 : 1241251 : if (TREE_CODE (op) == SSA_NAME)
974 : 855474 : bitmap_set_bit (used_ssa_names, SSA_NAME_VERSION (op));
975 : : }
976 : 543128 : can_split &= !walk_stmt_load_store_addr_ops (stmt, non_ssa_vars,
977 : : mark_nonssa_use,
978 : : mark_nonssa_use,
979 : : mark_nonssa_use);
980 : : }
981 : : /* Record also uses coming from PHI operand in return BB. */
982 : 10015628 : FOR_EACH_EDGE (e, ei, bb->succs)
983 : 5713110 : if (e->dest == return_bb)
984 : : {
985 : 1597222 : for (gphi_iterator bsi = gsi_start_phis (return_bb);
986 : 2342738 : !gsi_end_p (bsi);
987 : 745516 : gsi_next (&bsi))
988 : : {
989 : 745516 : gphi *stmt = bsi.phi ();
990 : 745516 : tree op = gimple_phi_arg_def (stmt, e->dest_idx);
991 : :
992 : 1491032 : if (virtual_operand_p (gimple_phi_result (stmt)))
993 : 456332 : continue;
994 : 289184 : if (TREE_CODE (op) == SSA_NAME)
995 : 142883 : bitmap_set_bit (used_ssa_names, SSA_NAME_VERSION (op));
996 : : else
997 : 146301 : can_split &= !mark_nonssa_use (stmt, op, op, non_ssa_vars);
998 : : }
999 : : }
1000 : 4302518 : return can_split;
1001 : : }
1002 : :
1003 : : /* Stack entry for recursive DFS walk in find_split_point. */
1004 : :
1005 : 5592491 : class stack_entry
1006 : : {
1007 : : public:
1008 : : /* Basic block we are examining. */
1009 : : basic_block bb;
1010 : :
1011 : : /* SSA names set and used by the BB and all BBs reachable
1012 : : from it via DFS walk. */
1013 : : bitmap set_ssa_names, used_ssa_names;
1014 : : bitmap non_ssa_vars;
1015 : :
1016 : : /* All BBS visited from this BB via DFS walk. */
1017 : : bitmap bbs_visited;
1018 : :
1019 : : /* Last examined edge in DFS walk. Since we walk unoriented graph,
1020 : : the value is up to sum of incoming and outgoing edges of BB. */
1021 : : unsigned int edge_num;
1022 : :
1023 : : /* Stack entry index of earliest BB reachable from current BB
1024 : : or any BB visited later in DFS walk. */
1025 : : int earliest;
1026 : :
1027 : : /* Overall time and size of all BBs reached from this BB in DFS walk. */
1028 : : sreal overall_time;
1029 : : int overall_size;
1030 : :
1031 : : /* When false we cannot split on this BB. */
1032 : : bool can_split;
1033 : : };
1034 : :
1035 : :
1036 : : /* Find all articulations and call consider_split on them.
1037 : : OVERALL_TIME and OVERALL_SIZE is time and size of the function.
1038 : :
1039 : : We perform basic algorithm for finding an articulation in a graph
1040 : : created from CFG by considering it to be an unoriented graph.
1041 : :
1042 : : The articulation is discovered via DFS walk. We collect earliest
1043 : : basic block on stack that is reachable via backward edge. Articulation
1044 : : is any basic block such that there is no backward edge bypassing it.
1045 : : To reduce stack usage we maintain heap allocated stack in STACK vector.
1046 : : AUX pointer of BB is set to index it appears in the stack or -1 once
1047 : : it is visited and popped off the stack.
1048 : :
1049 : : The algorithm finds articulation after visiting the whole component
1050 : : reachable by it. This makes it convenient to collect information about
1051 : : the component used by consider_split. */
1052 : :
1053 : : static void
1054 : 1289973 : find_split_points (basic_block return_bb, sreal overall_time, int overall_size)
1055 : : {
1056 : 1289973 : stack_entry first;
1057 : 1289973 : vec<stack_entry> stack = vNULL;
1058 : 1289973 : basic_block bb;
1059 : 1289973 : class split_point current;
1060 : :
1061 : 1289973 : current.header_time = overall_time;
1062 : 1289973 : current.header_size = overall_size;
1063 : 1289973 : current.split_time = 0;
1064 : 1289973 : current.split_size = 0;
1065 : 1289973 : current.ssa_names_to_pass = BITMAP_ALLOC (NULL);
1066 : :
1067 : 1289973 : first.bb = ENTRY_BLOCK_PTR_FOR_FN (cfun);
1068 : 1289973 : first.edge_num = 0;
1069 : 1289973 : first.overall_time = 0;
1070 : 1289973 : first.overall_size = 0;
1071 : 1289973 : first.earliest = INT_MAX;
1072 : 1289973 : first.set_ssa_names = 0;
1073 : 1289973 : first.used_ssa_names = 0;
1074 : 1289973 : first.non_ssa_vars = 0;
1075 : 1289973 : first.bbs_visited = 0;
1076 : 1289973 : first.can_split = false;
1077 : 1289973 : stack.safe_push (first);
1078 : 1289973 : ENTRY_BLOCK_PTR_FOR_FN (cfun)->aux = (void *)(intptr_t)-1;
1079 : :
1080 : 19151370 : while (!stack.is_empty ())
1081 : : {
1082 : 17861397 : stack_entry *entry = &stack.last ();
1083 : :
1084 : : /* We are walking an acyclic graph, so edge_num counts
1085 : : succ and pred edges together. However when considering
1086 : : articulation, we want to have processed everything reachable
1087 : : from articulation but nothing that reaches into it. */
1088 : 17861397 : if (entry->edge_num == EDGE_COUNT (entry->bb->succs)
1089 : 17861397 : && entry->bb != ENTRY_BLOCK_PTR_FOR_FN (cfun))
1090 : : {
1091 : 4302518 : int pos = stack.length ();
1092 : 4302518 : entry->can_split &= visit_bb (entry->bb, return_bb,
1093 : : entry->set_ssa_names,
1094 : : entry->used_ssa_names,
1095 : : entry->non_ssa_vars);
1096 : 2814304 : if (pos <= entry->earliest && !entry->can_split
1097 : 4610771 : && dump_file && (dump_flags & TDF_DETAILS))
1098 : 0 : fprintf (dump_file,
1099 : : "found articulation at bb %i but cannot split\n",
1100 : 0 : entry->bb->index);
1101 : 4302518 : if (pos <= entry->earliest && entry->can_split)
1102 : : {
1103 : 2506051 : if (dump_file && (dump_flags & TDF_DETAILS))
1104 : 6 : fprintf (dump_file, "found articulation at bb %i\n",
1105 : 6 : entry->bb->index);
1106 : 2506051 : current.entry_bb = entry->bb;
1107 : 2506051 : current.ssa_names_to_pass = BITMAP_ALLOC (NULL);
1108 : 2506051 : bitmap_and_compl (current.ssa_names_to_pass,
1109 : 2506051 : entry->used_ssa_names, entry->set_ssa_names);
1110 : 2506051 : current.header_time = overall_time - entry->overall_time;
1111 : 2506051 : current.header_size = overall_size - entry->overall_size;
1112 : 2506051 : current.split_time = entry->overall_time;
1113 : 2506051 : current.split_size = entry->overall_size;
1114 : 2506051 : current.split_bbs = entry->bbs_visited;
1115 : 2506051 : consider_split (¤t, entry->non_ssa_vars, return_bb);
1116 : 2506051 : BITMAP_FREE (current.ssa_names_to_pass);
1117 : : }
1118 : : }
1119 : : /* Do actual DFS walk. */
1120 : 35722794 : if (entry->edge_num
1121 : 17861397 : < (EDGE_COUNT (entry->bb->succs)
1122 : 33142848 : + EDGE_COUNT (entry->bb->preds)))
1123 : : {
1124 : 12268906 : edge e;
1125 : 12268906 : basic_block dest;
1126 : 12268906 : if (entry->edge_num < EDGE_COUNT (entry->bb->succs))
1127 : : {
1128 : 7003083 : e = EDGE_SUCC (entry->bb, entry->edge_num);
1129 : 7003083 : dest = e->dest;
1130 : : }
1131 : : else
1132 : : {
1133 : 5265823 : e = EDGE_PRED (entry->bb, entry->edge_num
1134 : : - EDGE_COUNT (entry->bb->succs));
1135 : 5265823 : dest = e->src;
1136 : : }
1137 : :
1138 : 12268906 : entry->edge_num++;
1139 : :
1140 : : /* New BB to visit, push it to the stack. */
1141 : 12268906 : if (dest != return_bb && dest != EXIT_BLOCK_PTR_FOR_FN (cfun)
1142 : 10531646 : && !dest->aux)
1143 : : {
1144 : 4302518 : stack_entry new_entry;
1145 : :
1146 : 4302518 : new_entry.bb = dest;
1147 : 4302518 : new_entry.edge_num = 0;
1148 : 4302518 : new_entry.overall_time
1149 : 4302518 : = bb_info_vec[dest->index].time;
1150 : 4302518 : new_entry.overall_size
1151 : 4302518 : = bb_info_vec[dest->index].size;
1152 : 4302518 : new_entry.earliest = INT_MAX;
1153 : 4302518 : new_entry.set_ssa_names = BITMAP_ALLOC (NULL);
1154 : 4302518 : new_entry.used_ssa_names = BITMAP_ALLOC (NULL);
1155 : 4302518 : new_entry.bbs_visited = BITMAP_ALLOC (NULL);
1156 : 4302518 : new_entry.non_ssa_vars = BITMAP_ALLOC (NULL);
1157 : 4302518 : new_entry.can_split = true;
1158 : 4302518 : bitmap_set_bit (new_entry.bbs_visited, dest->index);
1159 : 4302518 : stack.safe_push (new_entry);
1160 : 4302518 : dest->aux = (void *)(intptr_t)stack.length ();
1161 : 4302518 : }
1162 : : /* Back edge found, record the earliest point. */
1163 : 7966388 : else if ((intptr_t)dest->aux > 0
1164 : 4115916 : && (intptr_t)dest->aux < entry->earliest)
1165 : 2701479 : entry->earliest = (intptr_t)dest->aux;
1166 : : }
1167 : : /* We are done with examining the edges. Pop off the value from stack
1168 : : and merge stuff we accumulate during the walk. */
1169 : 5592491 : else if (entry->bb != ENTRY_BLOCK_PTR_FOR_FN (cfun))
1170 : : {
1171 : 4302518 : stack_entry *prev = &stack[stack.length () - 2];
1172 : :
1173 : 4302518 : entry->bb->aux = (void *)(intptr_t)-1;
1174 : 4302518 : prev->can_split &= entry->can_split;
1175 : 4302518 : if (prev->set_ssa_names)
1176 : : {
1177 : 3152583 : bitmap_ior_into (prev->set_ssa_names, entry->set_ssa_names);
1178 : 3152583 : bitmap_ior_into (prev->used_ssa_names, entry->used_ssa_names);
1179 : 3152583 : bitmap_ior_into (prev->bbs_visited, entry->bbs_visited);
1180 : 3152583 : bitmap_ior_into (prev->non_ssa_vars, entry->non_ssa_vars);
1181 : : }
1182 : 4302518 : if (prev->earliest > entry->earliest)
1183 : 2642749 : prev->earliest = entry->earliest;
1184 : 4302518 : prev->overall_time += entry->overall_time;
1185 : 4302518 : prev->overall_size += entry->overall_size;
1186 : 4302518 : BITMAP_FREE (entry->set_ssa_names);
1187 : 4302518 : BITMAP_FREE (entry->used_ssa_names);
1188 : 4302518 : BITMAP_FREE (entry->bbs_visited);
1189 : 4302518 : BITMAP_FREE (entry->non_ssa_vars);
1190 : 4302518 : stack.pop ();
1191 : : }
1192 : : else
1193 : 1289973 : stack.pop ();
1194 : : }
1195 : 1289973 : ENTRY_BLOCK_PTR_FOR_FN (cfun)->aux = NULL;
1196 : 6007642 : FOR_EACH_BB_FN (bb, cfun)
1197 : 4717669 : bb->aux = NULL;
1198 : 1289973 : stack.release ();
1199 : 1289973 : BITMAP_FREE (current.ssa_names_to_pass);
1200 : 1289973 : }
1201 : :
1202 : : /* Split function at SPLIT_POINT. */
1203 : :
1204 : : static void
1205 : 48272 : split_function (basic_block return_bb, class split_point *split_point,
1206 : : bool add_tsan_func_exit)
1207 : : {
1208 : 48272 : vec<tree> args_to_pass = vNULL;
1209 : 48272 : bitmap args_to_skip;
1210 : 48272 : tree parm;
1211 : 48272 : int num = 0;
1212 : 48272 : cgraph_node *node, *cur_node = cgraph_node::get (current_function_decl);
1213 : 48272 : basic_block call_bb;
1214 : 48272 : gcall *call, *tsan_func_exit_call = NULL;
1215 : 48272 : edge e;
1216 : 48272 : edge_iterator ei;
1217 : 48272 : tree retval = NULL, real_retval = NULL;
1218 : 48272 : gimple *last_stmt = NULL;
1219 : 48272 : unsigned int i;
1220 : 48272 : tree arg, ddef;
1221 : :
1222 : 48272 : if (dump_file)
1223 : : {
1224 : 7 : fprintf (dump_file, "\n\nSplitting function at:\n");
1225 : 7 : dump_split_point (dump_file, split_point);
1226 : : }
1227 : :
1228 : 48272 : if (cur_node->can_change_signature)
1229 : 47525 : args_to_skip = BITMAP_ALLOC (NULL);
1230 : : else
1231 : : args_to_skip = NULL;
1232 : :
1233 : : /* Collect the parameters of new function and args_to_skip bitmap. */
1234 : 48272 : for (parm = DECL_ARGUMENTS (current_function_decl);
1235 : 152652 : parm; parm = DECL_CHAIN (parm), num++)
1236 : 104380 : if (args_to_skip
1237 : 104380 : && (!is_gimple_reg (parm)
1238 : 99514 : || (ddef = ssa_default_def (cfun, parm)) == NULL_TREE
1239 : 97318 : || !bitmap_bit_p (split_point->ssa_names_to_pass,
1240 : 97318 : SSA_NAME_VERSION (ddef))))
1241 : 37616 : bitmap_set_bit (args_to_skip, num);
1242 : : else
1243 : : {
1244 : : /* This parm might not have been used up to now, but is going to be
1245 : : used, hence register it. */
1246 : 66764 : if (is_gimple_reg (parm))
1247 : 66749 : arg = get_or_create_ssa_default_def (cfun, parm);
1248 : : else
1249 : 15 : arg = parm;
1250 : :
1251 : 66764 : if (!useless_type_conversion_p (DECL_ARG_TYPE (parm), TREE_TYPE (arg)))
1252 : 0 : arg = fold_convert (DECL_ARG_TYPE (parm), arg);
1253 : 66764 : args_to_pass.safe_push (arg);
1254 : : }
1255 : :
1256 : : /* See if the split function will return. */
1257 : 48272 : bool split_part_return_p = false;
1258 : 242962 : FOR_EACH_EDGE (e, ei, return_bb->preds)
1259 : : {
1260 : 194690 : if (bitmap_bit_p (split_point->split_bbs, e->src->index))
1261 : 128014 : split_part_return_p = true;
1262 : : }
1263 : :
1264 : : /* Add return block to what will become the split function.
1265 : : We do not return; no return block is needed. */
1266 : 48272 : if (!split_part_return_p)
1267 : : ;
1268 : : /* We have no return block, so nothing is needed. */
1269 : 35593 : else if (return_bb == EXIT_BLOCK_PTR_FOR_FN (cfun))
1270 : : ;
1271 : : /* When we do not want to return value, we need to construct
1272 : : new return block with empty return statement.
1273 : : FIXME: Once we are able to change return type, we should change function
1274 : : to return void instead of just outputting function with undefined return
1275 : : value. For structures this affects quality of codegen. */
1276 : 35484 : else if ((retval = find_retval (return_bb))
1277 : 35484 : && !split_point->split_part_set_retval)
1278 : : {
1279 : 3702 : bool redirected = true;
1280 : 3702 : basic_block new_return_bb = create_basic_block (NULL, 0, return_bb);
1281 : 3702 : gimple_stmt_iterator gsi = gsi_start_bb (new_return_bb);
1282 : 3702 : gsi_insert_after (&gsi, gimple_build_return (NULL), GSI_NEW_STMT);
1283 : 3702 : new_return_bb->count = profile_count::zero ();
1284 : 15136 : while (redirected)
1285 : : {
1286 : 7732 : redirected = false;
1287 : 20307 : FOR_EACH_EDGE (e, ei, return_bb->preds)
1288 : 16605 : if (bitmap_bit_p (split_point->split_bbs, e->src->index))
1289 : : {
1290 : 4030 : new_return_bb->count += e->count ();
1291 : 4030 : redirect_edge_and_branch (e, new_return_bb);
1292 : 4030 : redirected = true;
1293 : 4030 : break;
1294 : : }
1295 : : }
1296 : 3702 : e = make_single_succ_edge (new_return_bb, EXIT_BLOCK_PTR_FOR_FN (cfun), 0);
1297 : 3702 : add_bb_to_loop (new_return_bb, current_loops->tree_root);
1298 : 3702 : bitmap_set_bit (split_point->split_bbs, new_return_bb->index);
1299 : : }
1300 : : /* When we pass around the value, use existing return block. */
1301 : : else
1302 : 31782 : bitmap_set_bit (split_point->split_bbs, return_bb->index);
1303 : :
1304 : : /* If RETURN_BB has virtual operand PHIs, they must be removed and the
1305 : : virtual operand marked for renaming as we change the CFG in a way that
1306 : : tree-inline is not able to compensate for.
1307 : :
1308 : : Note this can happen whether or not we have a return value. If we have
1309 : : a return value, then RETURN_BB may have PHIs for real operands too. */
1310 : 48272 : if (return_bb != EXIT_BLOCK_PTR_FOR_FN (cfun))
1311 : : {
1312 : 41830 : bool phi_p = false;
1313 : 41830 : for (gphi_iterator gsi = gsi_start_phis (return_bb);
1314 : 85320 : !gsi_end_p (gsi);)
1315 : : {
1316 : 43490 : gphi *stmt = gsi.phi ();
1317 : 86980 : if (!virtual_operand_p (gimple_phi_result (stmt)))
1318 : : {
1319 : 9889 : gsi_next (&gsi);
1320 : 9889 : continue;
1321 : : }
1322 : 33601 : mark_virtual_phi_result_for_renaming (stmt);
1323 : 33601 : remove_phi_node (&gsi, true);
1324 : 33601 : phi_p = true;
1325 : : }
1326 : : /* In reality we have to rename the reaching definition of the
1327 : : virtual operand at return_bb as we will eventually release it
1328 : : when we remove the code region we outlined.
1329 : : So we have to rename all immediate virtual uses of that region
1330 : : if we didn't see a PHI definition yet. */
1331 : : /* ??? In real reality we want to set the reaching vdef of the
1332 : : entry of the SESE region as the vuse of the call and the reaching
1333 : : vdef of the exit of the SESE region as the vdef of the call. */
1334 : 41830 : if (!phi_p)
1335 : 16458 : for (gimple_stmt_iterator gsi = gsi_start_bb (return_bb);
1336 : 32292 : !gsi_end_p (gsi);
1337 : 24063 : gsi_next (&gsi))
1338 : : {
1339 : 24789 : gimple *stmt = gsi_stmt (gsi);
1340 : 33018 : if (gimple_vuse (stmt))
1341 : : {
1342 : 8229 : gimple_set_vuse (stmt, NULL_TREE);
1343 : 8229 : update_stmt (stmt);
1344 : : }
1345 : 33018 : if (gimple_vdef (stmt))
1346 : : break;
1347 : : }
1348 : : }
1349 : :
1350 : 48272 : ipa_param_adjustments *adjustments;
1351 : 96544 : bool skip_return = (!split_part_return_p
1352 : 48272 : || !split_point->split_part_set_retval);
1353 : : /* TODO: Perhaps get rid of args_to_skip entirely, after we make sure the
1354 : : debug info generation and discrepancy avoiding works well too. */
1355 : 47525 : if ((args_to_skip && !bitmap_empty_p (args_to_skip))
1356 : 72953 : || skip_return)
1357 : : {
1358 : 26565 : vec<ipa_adjusted_param, va_gc> *new_params = NULL;
1359 : 26565 : unsigned j;
1360 : 26565 : for (parm = DECL_ARGUMENTS (current_function_decl), j = 0;
1361 : 88922 : parm; parm = DECL_CHAIN (parm), j++)
1362 : 62357 : if (!args_to_skip || !bitmap_bit_p (args_to_skip, j))
1363 : : {
1364 : 24741 : ipa_adjusted_param adj;
1365 : 24741 : memset (&adj, 0, sizeof (adj));
1366 : 24741 : adj.op = IPA_PARAM_OP_COPY;
1367 : 24741 : adj.base_index = j;
1368 : 24741 : adj.prev_clone_index = j;
1369 : 24741 : vec_safe_push (new_params, adj);
1370 : : }
1371 : 26565 : adjustments = new ipa_param_adjustments (new_params, j, skip_return);
1372 : : }
1373 : : else
1374 : : adjustments = NULL;
1375 : :
1376 : : /* Now create the actual clone. */
1377 : 48272 : cgraph_edge::rebuild_edges ();
1378 : 48272 : node = cur_node->create_version_clone_with_body
1379 : 48272 : (vNULL, NULL, adjustments,
1380 : : split_point->split_bbs, split_point->entry_bb, "part");
1381 : 48272 : delete adjustments;
1382 : 48272 : node->split_part = true;
1383 : :
1384 : 48272 : if (cur_node->same_comdat_group)
1385 : : {
1386 : : /* TODO: call is versionable if we make sure that all
1387 : : callers are inside of a comdat group. */
1388 : 2091 : cur_node->calls_comdat_local = true;
1389 : 2091 : node->add_to_same_comdat_group (cur_node);
1390 : : }
1391 : :
1392 : :
1393 : : /* Let's take a time profile for splitted function. */
1394 : 48272 : if (cur_node->tp_first_run)
1395 : 2 : node->tp_first_run = cur_node->tp_first_run + 1;
1396 : :
1397 : : /* For usual cloning it is enough to clear builtin only when signature
1398 : : changes. For partial inlining we however cannot expect the part
1399 : : of builtin implementation to have same semantic as the whole. */
1400 : 48272 : if (fndecl_built_in_p (node->decl))
1401 : 32 : set_decl_built_in_function (node->decl, NOT_BUILT_IN, 0);
1402 : :
1403 : : /* If return_bb contains any clobbers that refer to SSA_NAMEs
1404 : : set in the split part, remove them. Also reset debug stmts that
1405 : : refer to SSA_NAMEs set in the split part. */
1406 : 48272 : if (return_bb != EXIT_BLOCK_PTR_FOR_FN (cfun))
1407 : : {
1408 : 41830 : gimple_stmt_iterator gsi = gsi_start_bb (return_bb);
1409 : 127831 : while (!gsi_end_p (gsi))
1410 : : {
1411 : 86001 : tree op;
1412 : 86001 : ssa_op_iter iter;
1413 : 86001 : gimple *stmt = gsi_stmt (gsi);
1414 : 86001 : bool remove = false;
1415 : 86001 : if (gimple_clobber_p (stmt) || is_gimple_debug (stmt))
1416 : 44517 : FOR_EACH_SSA_TREE_OPERAND (op, stmt, iter, SSA_OP_USE)
1417 : : {
1418 : 2316 : basic_block bb = gimple_bb (SSA_NAME_DEF_STMT (op));
1419 : 2316 : if (op != retval
1420 : 2316 : && bb
1421 : 178 : && bb != return_bb
1422 : 2485 : && bitmap_bit_p (split_point->split_bbs, bb->index))
1423 : : {
1424 : 0 : if (is_gimple_debug (stmt))
1425 : : {
1426 : 0 : gimple_debug_bind_reset_value (stmt);
1427 : 0 : update_stmt (stmt);
1428 : : }
1429 : : else
1430 : : remove = true;
1431 : : break;
1432 : : }
1433 : : }
1434 : 0 : if (remove)
1435 : 0 : gsi_remove (&gsi, true);
1436 : : else
1437 : 86001 : gsi_next (&gsi);
1438 : : }
1439 : : }
1440 : :
1441 : : /* If the original function is declared inline, there is no point in issuing
1442 : : a warning for the non-inlinable part. */
1443 : 48272 : DECL_NO_INLINE_WARNING_P (node->decl) = 1;
1444 : 48272 : cur_node->remove_callees ();
1445 : 48272 : cur_node->remove_all_references ();
1446 : 48272 : if (!split_part_return_p)
1447 : 12679 : TREE_THIS_VOLATILE (node->decl) = 1;
1448 : 48272 : if (dump_file)
1449 : 7 : dump_function_to_file (node->decl, dump_file, dump_flags);
1450 : :
1451 : : /* Create the basic block we place call into. It is the entry basic block
1452 : : split after last label. */
1453 : 48272 : call_bb = split_point->entry_bb;
1454 : 98002 : for (gimple_stmt_iterator gsi = gsi_start_bb (call_bb); !gsi_end_p (gsi);)
1455 : 49706 : if (gimple_code (gsi_stmt (gsi)) == GIMPLE_LABEL)
1456 : : {
1457 : 1458 : last_stmt = gsi_stmt (gsi);
1458 : 1458 : gsi_next (&gsi);
1459 : : }
1460 : : else
1461 : : break;
1462 : 48272 : call_bb->count = split_point->count;
1463 : 48272 : e = split_block (split_point->entry_bb, last_stmt);
1464 : 48272 : remove_edge (e);
1465 : :
1466 : : /* Produce the call statement. */
1467 : 48272 : gimple_stmt_iterator gsi = gsi_last_bb (call_bb);
1468 : 115036 : FOR_EACH_VEC_ELT (args_to_pass, i, arg)
1469 : 66764 : if (!is_gimple_val (arg))
1470 : : {
1471 : 7 : arg = force_gimple_operand_gsi (&gsi, arg, true, NULL_TREE,
1472 : : false, GSI_CONTINUE_LINKING);
1473 : 7 : args_to_pass[i] = arg;
1474 : : }
1475 : 48272 : call = gimple_build_call_vec (node->decl, args_to_pass);
1476 : 48272 : if (cur_node->get_fun ()->has_musttail && !add_tsan_func_exit)
1477 : 4 : gimple_call_set_must_tail (call, true);
1478 : 48272 : gimple_set_block (call, DECL_INITIAL (current_function_decl));
1479 : 48272 : args_to_pass.release ();
1480 : :
1481 : : /* For optimized away parameters, add on the caller side
1482 : : before the call
1483 : : DEBUG D#X => parm_Y(D)
1484 : : stmts and associate D#X with parm in decl_debug_args_lookup
1485 : : vector to say for debug info that if parameter parm had been passed,
1486 : : it would have value parm_Y(D). */
1487 : 48272 : if (args_to_skip)
1488 : : {
1489 : 47525 : vec<tree, va_gc> **debug_args = NULL;
1490 : 47525 : unsigned i = 0, len = 0;
1491 : 47525 : if (MAY_HAVE_DEBUG_BIND_STMTS)
1492 : : {
1493 : 41687 : debug_args = decl_debug_args_lookup (node->decl);
1494 : 41687 : if (debug_args)
1495 : 17984 : len = vec_safe_length (*debug_args);
1496 : : }
1497 : 47525 : for (parm = DECL_ARGUMENTS (current_function_decl), num = 0;
1498 : 149477 : parm; parm = DECL_CHAIN (parm), num++)
1499 : 101952 : if (bitmap_bit_p (args_to_skip, num) && is_gimple_reg (parm))
1500 : : {
1501 : 35178 : tree ddecl;
1502 : 35178 : gimple *def_temp;
1503 : :
1504 : : /* This needs to be done even without
1505 : : MAY_HAVE_DEBUG_BIND_STMTS, otherwise if it didn't exist
1506 : : before, we'd end up with different SSA_NAME_VERSIONs
1507 : : between -g and -g0. */
1508 : 35178 : arg = get_or_create_ssa_default_def (cfun, parm);
1509 : 35178 : if (!MAY_HAVE_DEBUG_BIND_STMTS || debug_args == NULL)
1510 : 5987 : continue;
1511 : :
1512 : 80796 : while (i < len && (**debug_args)[i] != DECL_ORIGIN (parm))
1513 : 11207 : i += 2;
1514 : 29191 : if (i >= len)
1515 : 0 : continue;
1516 : 29191 : ddecl = (**debug_args)[i + 1];
1517 : 29191 : def_temp
1518 : 29191 : = gimple_build_debug_bind (ddecl, unshare_expr (arg), call);
1519 : 29191 : gsi_insert_after (&gsi, def_temp, GSI_NEW_STMT);
1520 : : }
1521 : 47525 : BITMAP_FREE (args_to_skip);
1522 : : }
1523 : :
1524 : : /* We avoid address being taken on any variable used by split part,
1525 : : so return slot optimization is always possible. Moreover this is
1526 : : required to make DECL_BY_REFERENCE work. */
1527 : 48272 : if (aggregate_value_p (DECL_RESULT (current_function_decl),
1528 : 48272 : TREE_TYPE (current_function_decl))
1529 : 48272 : && (!is_gimple_reg_type (TREE_TYPE (DECL_RESULT (current_function_decl)))
1530 : 91 : || DECL_BY_REFERENCE (DECL_RESULT (current_function_decl))))
1531 : 353 : gimple_call_set_return_slot_opt (call, true);
1532 : :
1533 : 48272 : if (add_tsan_func_exit)
1534 : 2 : tsan_func_exit_call = gimple_build_call_internal (IFN_TSAN_FUNC_EXIT, 0);
1535 : :
1536 : : /* Update return value. This is bit tricky. When we do not return,
1537 : : do nothing. When we return we might need to update return_bb
1538 : : or produce a new return statement. */
1539 : 48272 : if (!split_part_return_p)
1540 : : {
1541 : 12679 : gsi_insert_after (&gsi, call, GSI_NEW_STMT);
1542 : 12679 : if (tsan_func_exit_call)
1543 : 0 : gsi_insert_after (&gsi, tsan_func_exit_call, GSI_NEW_STMT);
1544 : : }
1545 : : else
1546 : : {
1547 : 71186 : e = make_single_succ_edge (call_bb, return_bb,
1548 : 35593 : return_bb == EXIT_BLOCK_PTR_FOR_FN (cfun)
1549 : 35593 : ? 0 : EDGE_FALLTHRU);
1550 : :
1551 : : /* If there is return basic block, see what value we need to store
1552 : : return value into and put call just before it. */
1553 : 35593 : if (return_bb != EXIT_BLOCK_PTR_FOR_FN (cfun))
1554 : : {
1555 : 35484 : real_retval = retval;
1556 : 35484 : if (real_retval && split_point->split_part_set_retval)
1557 : : {
1558 : 12527 : gphi_iterator psi;
1559 : :
1560 : : /* See if we need new SSA_NAME for the result.
1561 : : When DECL_BY_REFERENCE is true, retval is actually pointer to
1562 : : return value and it is constant in whole function. */
1563 : 12527 : if (TREE_CODE (retval) == SSA_NAME
1564 : 12527 : && !DECL_BY_REFERENCE (DECL_RESULT (current_function_decl)))
1565 : : {
1566 : 9610 : retval = copy_ssa_name (retval, call);
1567 : :
1568 : : /* See if there is PHI defining return value. */
1569 : 9610 : for (psi = gsi_start_phis (return_bb);
1570 : 9610 : !gsi_end_p (psi); gsi_next (&psi))
1571 : 19220 : if (!virtual_operand_p (gimple_phi_result (psi.phi ())))
1572 : : break;
1573 : :
1574 : : /* When there is PHI, just update its value. */
1575 : 9610 : if (TREE_CODE (retval) == SSA_NAME
1576 : 9610 : && !gsi_end_p (psi))
1577 : 9610 : add_phi_arg (psi.phi (), retval, e, UNKNOWN_LOCATION);
1578 : : /* Otherwise update the return BB itself.
1579 : : find_return_bb allows at most one assignment to return value,
1580 : : so update first statement. */
1581 : : else
1582 : : {
1583 : 0 : gimple_stmt_iterator bsi;
1584 : 0 : for (bsi = gsi_start_bb (return_bb); !gsi_end_p (bsi);
1585 : 0 : gsi_next (&bsi))
1586 : 0 : if (greturn *return_stmt
1587 : 0 : = dyn_cast <greturn *> (gsi_stmt (bsi)))
1588 : : {
1589 : 0 : gimple_return_set_retval (return_stmt, retval);
1590 : 0 : break;
1591 : : }
1592 : 0 : else if (gimple_code (gsi_stmt (bsi)) == GIMPLE_ASSIGN
1593 : 0 : && !gimple_clobber_p (gsi_stmt (bsi)))
1594 : : {
1595 : 0 : gimple_assign_set_rhs1 (gsi_stmt (bsi), retval);
1596 : 0 : break;
1597 : : }
1598 : 0 : update_stmt (gsi_stmt (bsi));
1599 : : /* Also adjust clobbers and debug stmts in return_bb. */
1600 : 0 : for (bsi = gsi_start_bb (return_bb); !gsi_end_p (bsi);
1601 : 0 : gsi_next (&bsi))
1602 : : {
1603 : 0 : gimple *stmt = gsi_stmt (bsi);
1604 : 0 : if (gimple_clobber_p (stmt)
1605 : 0 : || is_gimple_debug (stmt))
1606 : : {
1607 : 0 : ssa_op_iter iter;
1608 : 0 : use_operand_p use_p;
1609 : 0 : bool update = false;
1610 : 0 : FOR_EACH_SSA_USE_OPERAND (use_p, stmt, iter,
1611 : : SSA_OP_USE)
1612 : 0 : if (USE_FROM_PTR (use_p) == real_retval)
1613 : : {
1614 : 0 : SET_USE (use_p, retval);
1615 : 0 : update = true;
1616 : : }
1617 : 0 : if (update)
1618 : 0 : update_stmt (stmt);
1619 : : }
1620 : : }
1621 : : }
1622 : : }
1623 : 12527 : if (DECL_BY_REFERENCE (DECL_RESULT (current_function_decl)))
1624 : : {
1625 : 0 : gimple_call_set_lhs (call, build_simple_mem_ref (retval));
1626 : 0 : gsi_insert_after (&gsi, call, GSI_NEW_STMT);
1627 : : }
1628 : : else
1629 : : {
1630 : 12527 : tree restype;
1631 : 12527 : restype = TREE_TYPE (DECL_RESULT (current_function_decl));
1632 : 12527 : gsi_insert_after (&gsi, call, GSI_NEW_STMT);
1633 : 12527 : if (!useless_type_conversion_p (TREE_TYPE (retval), restype))
1634 : : {
1635 : 0 : gimple *cpy;
1636 : 0 : tree tem = create_tmp_reg (restype);
1637 : 0 : tem = make_ssa_name (tem, call);
1638 : 0 : cpy = gimple_build_assign (retval, NOP_EXPR, tem);
1639 : 0 : gsi_insert_after (&gsi, cpy, GSI_NEW_STMT);
1640 : 0 : retval = tem;
1641 : : }
1642 : 12527 : gimple_call_set_lhs (call, retval);
1643 : 12527 : update_stmt (call);
1644 : : }
1645 : 12527 : }
1646 : : else
1647 : 22957 : gsi_insert_after (&gsi, call, GSI_NEW_STMT);
1648 : 35484 : if (tsan_func_exit_call)
1649 : 2 : gsi_insert_after (&gsi, tsan_func_exit_call, GSI_NEW_STMT);
1650 : : }
1651 : : /* We don't use return block (there is either no return in function or
1652 : : multiple of them). So create new basic block with return statement.
1653 : : */
1654 : : else
1655 : : {
1656 : 109 : greturn *ret;
1657 : 109 : if (split_point->split_part_set_retval
1658 : 109 : && !VOID_TYPE_P (TREE_TYPE (TREE_TYPE (current_function_decl))))
1659 : : {
1660 : 76 : retval = DECL_RESULT (current_function_decl);
1661 : :
1662 : : /* We use temporary register to hold value when aggregate_value_p
1663 : : is false. Similarly for DECL_BY_REFERENCE we must avoid extra
1664 : : copy. */
1665 : 76 : if (!aggregate_value_p (retval, TREE_TYPE (current_function_decl))
1666 : 76 : && !DECL_BY_REFERENCE (retval))
1667 : 76 : retval = create_tmp_reg (TREE_TYPE (retval));
1668 : 76 : if (is_gimple_reg (retval))
1669 : : {
1670 : : /* When returning by reference, there is only one SSA name
1671 : : assigned to RESULT_DECL (that is pointer to return value).
1672 : : Look it up or create new one if it is missing. */
1673 : 64 : if (DECL_BY_REFERENCE (retval))
1674 : 0 : retval = get_or_create_ssa_default_def (cfun, retval);
1675 : : /* Otherwise produce new SSA name for return value. */
1676 : : else
1677 : 64 : retval = make_ssa_name (retval, call);
1678 : : }
1679 : 76 : if (DECL_BY_REFERENCE (DECL_RESULT (current_function_decl)))
1680 : 0 : gimple_call_set_lhs (call, build_simple_mem_ref (retval));
1681 : : else
1682 : 76 : gimple_call_set_lhs (call, retval);
1683 : 76 : gsi_insert_after (&gsi, call, GSI_NEW_STMT);
1684 : : }
1685 : : else
1686 : : {
1687 : 33 : gsi_insert_after (&gsi, call, GSI_NEW_STMT);
1688 : 33 : if (retval
1689 : 0 : && is_gimple_reg_type (TREE_TYPE (retval))
1690 : 33 : && !is_gimple_val (retval))
1691 : : {
1692 : 0 : gassign *g
1693 : 0 : = gimple_build_assign (make_ssa_name (TREE_TYPE (retval)),
1694 : : retval);
1695 : 0 : retval = gimple_assign_lhs (g);
1696 : 0 : gsi_insert_after (&gsi, g, GSI_NEW_STMT);
1697 : : }
1698 : : }
1699 : 109 : if (tsan_func_exit_call)
1700 : 0 : gsi_insert_after (&gsi, tsan_func_exit_call, GSI_NEW_STMT);
1701 : 109 : ret = gimple_build_return (retval);
1702 : 109 : gsi_insert_after (&gsi, ret, GSI_NEW_STMT);
1703 : : }
1704 : : }
1705 : 48272 : free_dominance_info (CDI_DOMINATORS);
1706 : 48272 : free_dominance_info (CDI_POST_DOMINATORS);
1707 : 48272 : compute_fn_summary (node, true);
1708 : 48272 : }
1709 : :
1710 : : /* Execute function splitting pass. */
1711 : :
1712 : : static unsigned int
1713 : 2078658 : execute_split_functions (void)
1714 : : {
1715 : 2078658 : gimple_stmt_iterator bsi;
1716 : 2078658 : basic_block bb;
1717 : 2078658 : sreal overall_time = 0;
1718 : 2078658 : int overall_size = 0;
1719 : 2078658 : int todo = 0;
1720 : 2078658 : struct cgraph_node *node = cgraph_node::get (current_function_decl);
1721 : :
1722 : 2078658 : if (flags_from_decl_or_type (current_function_decl)
1723 : 2078658 : & (ECF_NORETURN|ECF_MALLOC|ECF_RETURNS_TWICE))
1724 : : {
1725 : 55266 : if (dump_file)
1726 : 0 : fprintf (dump_file, "Not splitting: noreturn/malloc/returns_twice "
1727 : : "function.\n");
1728 : 55266 : return 0;
1729 : : }
1730 : 2023392 : if (MAIN_NAME_P (DECL_NAME (current_function_decl)))
1731 : : {
1732 : 56657 : if (dump_file)
1733 : 3 : fprintf (dump_file, "Not splitting: main function.\n");
1734 : 56657 : return 0;
1735 : : }
1736 : 1966735 : if (node->frequency == NODE_FREQUENCY_UNLIKELY_EXECUTED)
1737 : : {
1738 : 661 : if (dump_file)
1739 : 0 : fprintf (dump_file, "Not splitting: function is unlikely executed.\n");
1740 : 661 : return 0;
1741 : : }
1742 : : /* This can be relaxed; function might become inlinable after splitting
1743 : : away the uninlinable part. */
1744 : 1966074 : if (ipa_fn_summaries
1745 : 1966039 : && ipa_fn_summaries->get (node)
1746 : 1966036 : && !ipa_fn_summaries->get (node)->inlinable)
1747 : : {
1748 : 180234 : if (dump_file)
1749 : 0 : fprintf (dump_file, "Not splitting: not inlinable.\n");
1750 : 180234 : return 0;
1751 : : }
1752 : 1785840 : if (DECL_DISREGARD_INLINE_LIMITS (node->decl))
1753 : : {
1754 : 276504 : if (dump_file)
1755 : 0 : fprintf (dump_file, "Not splitting: disregarding inline limits.\n");
1756 : 276504 : return 0;
1757 : : }
1758 : : /* This can be relaxed; most of versioning tests actually prevents
1759 : : a duplication. */
1760 : 1509336 : if (!tree_versionable_function_p (current_function_decl))
1761 : : {
1762 : 33 : if (dump_file)
1763 : 0 : fprintf (dump_file, "Not splitting: not versionable.\n");
1764 : 33 : return 0;
1765 : : }
1766 : : /* FIXME: we could support this. */
1767 : 1509303 : if (DECL_STRUCT_FUNCTION (current_function_decl)->static_chain_decl)
1768 : : {
1769 : 1753 : if (dump_file)
1770 : 0 : fprintf (dump_file, "Not splitting: nested function.\n");
1771 : 1753 : return 0;
1772 : : }
1773 : :
1774 : : /* See if it makes sense to try to split.
1775 : : It makes sense to split if we inline, that is if we have direct calls to
1776 : : handle or direct calls are possibly going to appear as result of indirect
1777 : : inlining or LTO. Also handle -fprofile-generate as LTO to allow non-LTO
1778 : : training for LTO -fprofile-use build.
1779 : :
1780 : : Note that we are not completely conservative about disqualifying functions
1781 : : called once. It is possible that the caller is called more then once and
1782 : : then inlining would still benefit. */
1783 : 1507550 : if ((!node->callers
1784 : : /* Local functions called once will be completely inlined most of time. */
1785 : 1065281 : || (!node->callers->next_caller && node->local))
1786 : 515759 : && !node->address_taken
1787 : 426468 : && !node->has_aliases_p ()
1788 : 1736595 : && (!flag_lto || !node->externally_visible))
1789 : : {
1790 : 217390 : if (dump_file)
1791 : 21 : fprintf (dump_file, "Not splitting: not called directly "
1792 : : "or called once.\n");
1793 : 217390 : return 0;
1794 : : }
1795 : :
1796 : : /* FIXME: We can actually split if splitting reduces call overhead. */
1797 : 1290160 : if (!flag_inline_small_functions
1798 : 1290160 : && !DECL_DECLARED_INLINE_P (current_function_decl))
1799 : : {
1800 : 22 : if (dump_file)
1801 : 0 : fprintf (dump_file, "Not splitting: not autoinlining and function"
1802 : : " is not inline.\n");
1803 : 22 : return 0;
1804 : : }
1805 : :
1806 : 1290138 : if (lookup_attribute ("noinline", DECL_ATTRIBUTES (current_function_decl)))
1807 : : {
1808 : 0 : if (dump_file)
1809 : 0 : fprintf (dump_file, "Not splitting: function is noinline.\n");
1810 : 0 : return 0;
1811 : : }
1812 : 1290138 : if (lookup_attribute ("section", DECL_ATTRIBUTES (current_function_decl)))
1813 : : {
1814 : 15 : if (dump_file)
1815 : 0 : fprintf (dump_file, "Not splitting: function is in user defined "
1816 : : "section.\n");
1817 : 15 : return 0;
1818 : : }
1819 : 1290123 : if (!strub_splittable_p (node))
1820 : : {
1821 : 134 : if (dump_file)
1822 : 0 : fprintf (dump_file, "Not splitting: function is a strub context.\n");
1823 : 134 : return 0;
1824 : : }
1825 : :
1826 : : /* We enforce splitting after loop headers when profile info is not
1827 : : available. */
1828 : 1289989 : if (profile_status_for_fn (cfun) != PROFILE_READ)
1829 : 1289918 : mark_dfs_back_edges ();
1830 : :
1831 : : /* Initialize bitmap to track forbidden calls. */
1832 : 1289989 : forbidden_dominators = BITMAP_ALLOC (NULL);
1833 : 1289989 : calculate_dominance_info (CDI_DOMINATORS);
1834 : :
1835 : : /* Compute local info about basic blocks and determine function size/time. */
1836 : 1289989 : bb_info_vec.safe_grow_cleared (last_basic_block_for_fn (cfun) + 1, true);
1837 : 1289989 : best_split_point.split_bbs = NULL;
1838 : 1289989 : basic_block return_bb = find_return_bb ();
1839 : 1289989 : int tsan_exit_found = -1;
1840 : 6007717 : FOR_EACH_BB_FN (bb, cfun)
1841 : : {
1842 : 4717744 : sreal time = 0;
1843 : 4717744 : int size = 0;
1844 : 4717744 : sreal freq = bb->count.to_sreal_scale
1845 : 4717744 : (ENTRY_BLOCK_PTR_FOR_FN (cfun)->count);
1846 : :
1847 : 4717744 : if (dump_file && (dump_flags & TDF_DETAILS))
1848 : 9 : fprintf (dump_file, "Basic block %i\n", bb->index);
1849 : :
1850 : 48853923 : for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
1851 : : {
1852 : 39418451 : sreal this_time;
1853 : 39418451 : int this_size;
1854 : 39418451 : gimple *stmt = gsi_stmt (bsi);
1855 : :
1856 : 39418451 : this_size = estimate_num_insns (stmt, &eni_size_weights);
1857 : 39418451 : this_time = (sreal)estimate_num_insns (stmt, &eni_time_weights)
1858 : 39418451 : * freq;
1859 : 39418451 : size += this_size;
1860 : 39418451 : time += this_time;
1861 : 39418451 : check_forbidden_calls (stmt);
1862 : :
1863 : 39418451 : if (dump_file && (dump_flags & TDF_DETAILS))
1864 : : {
1865 : 17 : fprintf (dump_file, " freq:%4.2f size:%3i time:%4.2f ",
1866 : : freq.to_double (), this_size, this_time.to_double ());
1867 : 17 : print_gimple_stmt (dump_file, stmt, 0);
1868 : : }
1869 : :
1870 : 39418451 : if ((flag_sanitize & SANITIZE_THREAD)
1871 : 39418451 : && gimple_call_internal_p (stmt, IFN_TSAN_FUNC_EXIT))
1872 : : {
1873 : : /* We handle TSAN_FUNC_EXIT for splitting either in the
1874 : : return_bb, or in its immediate predecessors. */
1875 : 93 : if ((bb != return_bb && !find_edge (bb, return_bb))
1876 : 198 : || (tsan_exit_found != -1
1877 : 2 : && tsan_exit_found != (bb != return_bb)))
1878 : : {
1879 : 16 : if (dump_file)
1880 : 0 : fprintf (dump_file, "Not splitting: TSAN_FUNC_EXIT"
1881 : : " in unexpected basic block.\n");
1882 : 16 : BITMAP_FREE (forbidden_dominators);
1883 : 16 : bb_info_vec.release ();
1884 : 16 : return 0;
1885 : : }
1886 : 105 : tsan_exit_found = bb != return_bb;
1887 : : }
1888 : : }
1889 : 4717728 : overall_time += time;
1890 : 4717728 : overall_size += size;
1891 : 4717728 : bb_info_vec[bb->index].time = time;
1892 : 4717728 : bb_info_vec[bb->index].size = size;
1893 : : }
1894 : 1289973 : find_split_points (return_bb, overall_time, overall_size);
1895 : 1289973 : if (best_split_point.split_bbs)
1896 : : {
1897 : 48272 : split_function (return_bb, &best_split_point, tsan_exit_found == 1);
1898 : 48272 : BITMAP_FREE (best_split_point.ssa_names_to_pass);
1899 : 48272 : BITMAP_FREE (best_split_point.split_bbs);
1900 : 48272 : todo = TODO_update_ssa | TODO_cleanup_cfg;
1901 : : }
1902 : 1289973 : BITMAP_FREE (forbidden_dominators);
1903 : 1289973 : bb_info_vec.release ();
1904 : 1289973 : return todo;
1905 : : }
1906 : :
1907 : : namespace {
1908 : :
1909 : : const pass_data pass_data_split_functions =
1910 : : {
1911 : : GIMPLE_PASS, /* type */
1912 : : "fnsplit", /* name */
1913 : : OPTGROUP_NONE, /* optinfo_flags */
1914 : : TV_IPA_FNSPLIT, /* tv_id */
1915 : : PROP_cfg, /* properties_required */
1916 : : 0, /* properties_provided */
1917 : : 0, /* properties_destroyed */
1918 : : 0, /* todo_flags_start */
1919 : : 0, /* todo_flags_finish */
1920 : : };
1921 : :
1922 : : class pass_split_functions : public gimple_opt_pass
1923 : : {
1924 : : public:
1925 : 285081 : pass_split_functions (gcc::context *ctxt)
1926 : 570162 : : gimple_opt_pass (pass_data_split_functions, ctxt)
1927 : : {}
1928 : :
1929 : : /* opt_pass methods: */
1930 : : bool gate (function *) final override;
1931 : 2078223 : unsigned int execute (function *) final override
1932 : : {
1933 : 2078223 : return execute_split_functions ();
1934 : : }
1935 : :
1936 : : }; // class pass_split_functions
1937 : :
1938 : : bool
1939 : 2441318 : pass_split_functions::gate (function *)
1940 : : {
1941 : : /* When doing profile feedback, we want to execute the pass after profiling
1942 : : is read. So disable one in early optimization. */
1943 : 2441318 : return (flag_partial_inlining
1944 : 2441318 : && !profile_arc_flag && !flag_branch_probabilities);
1945 : : }
1946 : :
1947 : : } // anon namespace
1948 : :
1949 : : gimple_opt_pass *
1950 : 285081 : make_pass_split_functions (gcc::context *ctxt)
1951 : : {
1952 : 285081 : return new pass_split_functions (ctxt);
1953 : : }
1954 : :
1955 : : /* Execute function splitting pass. */
1956 : :
1957 : : static unsigned int
1958 : 435 : execute_feedback_split_functions (void)
1959 : : {
1960 : 0 : unsigned int retval = execute_split_functions ();
1961 : 435 : if (retval)
1962 : 2 : retval |= TODO_rebuild_cgraph_edges;
1963 : 435 : return retval;
1964 : : }
1965 : :
1966 : : namespace {
1967 : :
1968 : : const pass_data pass_data_feedback_split_functions =
1969 : : {
1970 : : GIMPLE_PASS, /* type */
1971 : : "feedback_fnsplit", /* name */
1972 : : OPTGROUP_NONE, /* optinfo_flags */
1973 : : TV_IPA_FNSPLIT, /* tv_id */
1974 : : PROP_cfg, /* properties_required */
1975 : : 0, /* properties_provided */
1976 : : 0, /* properties_destroyed */
1977 : : 0, /* todo_flags_start */
1978 : : 0, /* todo_flags_finish */
1979 : : };
1980 : :
1981 : : class pass_feedback_split_functions : public gimple_opt_pass
1982 : : {
1983 : : public:
1984 : 570162 : pass_feedback_split_functions (gcc::context *ctxt)
1985 : 1140324 : : gimple_opt_pass (pass_data_feedback_split_functions, ctxt)
1986 : : {}
1987 : :
1988 : : /* opt_pass methods: */
1989 : : bool gate (function *) final override;
1990 : 435 : unsigned int execute (function *) final override
1991 : : {
1992 : 435 : return execute_feedback_split_functions ();
1993 : : }
1994 : :
1995 : 285081 : opt_pass * clone () final override
1996 : : {
1997 : 285081 : return new pass_feedback_split_functions (m_ctxt);
1998 : : }
1999 : : }; // class pass_feedback_split_functions
2000 : :
2001 : : bool
2002 : 2556 : pass_feedback_split_functions::gate (function *)
2003 : : {
2004 : : /* We don't need to split when profiling at all, we are producing
2005 : : lousy code anyway. */
2006 : 2556 : return (flag_partial_inlining
2007 : 2556 : && flag_branch_probabilities);
2008 : : }
2009 : :
2010 : : } // anon namespace
2011 : :
2012 : : gimple_opt_pass *
2013 : 285081 : make_pass_feedback_split_functions (gcc::context *ctxt)
2014 : : {
2015 : 285081 : return new pass_feedback_split_functions (ctxt);
2016 : : }
|
