2015-09-03 Richard Biener <rguenther@suse.de>
[official-gcc.git] / gcc / bb-reorder.c
blob2110bd2e0d814c39fc0b792437ee76df33425a42
1 /* Basic block reordering routines for the GNU compiler.
2 Copyright (C) 2000-2015 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it
7 under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3, or (at your option)
9 any later version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT
12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
13 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
14 License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 /* This (greedy) algorithm constructs traces in several rounds.
21 The construction starts from "seeds". The seed for the first round
22 is the entry point of the function. When there are more than one seed,
23 the one with the lowest key in the heap is selected first (see bb_to_key).
24 Then the algorithm repeatedly adds the most probable successor to the end
25 of a trace. Finally it connects the traces.
27 There are two parameters: Branch Threshold and Exec Threshold.
28 If the probability of an edge to a successor of the current basic block is
29 lower than Branch Threshold or its frequency is lower than Exec Threshold,
30 then the successor will be the seed in one of the next rounds.
31 Each round has these parameters lower than the previous one.
32 The last round has to have these parameters set to zero so that the
33 remaining blocks are picked up.
35 The algorithm selects the most probable successor from all unvisited
36 successors and successors that have been added to this trace.
37 The other successors (that has not been "sent" to the next round) will be
38 other seeds for this round and the secondary traces will start from them.
39 If the successor has not been visited in this trace, it is added to the
40 trace (however, there is some heuristic for simple branches).
41 If the successor has been visited in this trace, a loop has been found.
42 If the loop has many iterations, the loop is rotated so that the source
43 block of the most probable edge going out of the loop is the last block
44 of the trace.
45 If the loop has few iterations and there is no edge from the last block of
46 the loop going out of the loop, the loop header is duplicated.
48 When connecting traces, the algorithm first checks whether there is an edge
49 from the last block of a trace to the first block of another trace.
50 When there are still some unconnected traces it checks whether there exists
51 a basic block BB such that BB is a successor of the last block of a trace
52 and BB is a predecessor of the first block of another trace. In this case,
53 BB is duplicated, added at the end of the first trace and the traces are
54 connected through it.
55 The rest of traces are simply connected so there will be a jump to the
56 beginning of the rest of traces.
58 The above description is for the full algorithm, which is used when the
59 function is optimized for speed. When the function is optimized for size,
60 in order to reduce long jumps and connect more fallthru edges, the
61 algorithm is modified as follows:
62 (1) Break long traces to short ones. A trace is broken at a block that has
63 multiple predecessors/ successors during trace discovery. When connecting
64 traces, only connect Trace n with Trace n + 1. This change reduces most
65 long jumps compared with the above algorithm.
66 (2) Ignore the edge probability and frequency for fallthru edges.
67 (3) Keep the original order of blocks when there is no chance to fall
68 through. We rely on the results of cfg_cleanup.
70 To implement the change for code size optimization, block's index is
71 selected as the key and all traces are found in one round.
73 References:
75 "Software Trace Cache"
76 A. Ramirez, J. Larriba-Pey, C. Navarro, J. Torrellas and M. Valero; 1999
77 http://citeseer.nj.nec.com/15361.html
81 #include "config.h"
82 #include "system.h"
83 #include "coretypes.h"
84 #include "backend.h"
85 #include "cfghooks.h"
86 #include "tree.h"
87 #include "rtl.h"
88 #include "df.h"
89 #include "alias.h"
90 #include "regs.h"
91 #include "flags.h"
92 #include "output.h"
93 #include "target.h"
94 #include "tm_p.h"
95 #include "insn-config.h"
96 #include "expmed.h"
97 #include "dojump.h"
98 #include "explow.h"
99 #include "calls.h"
100 #include "emit-rtl.h"
101 #include "varasm.h"
102 #include "stmt.h"
103 #include "expr.h"
104 #include "optabs.h"
105 #include "params.h"
106 #include "diagnostic-core.h"
107 #include "toplev.h" /* user_defined_section_attribute */
108 #include "tree-pass.h"
109 #include "cfgrtl.h"
110 #include "cfganal.h"
111 #include "cfgbuild.h"
112 #include "cfgcleanup.h"
113 #include "bb-reorder.h"
114 #include "cgraph.h"
115 #include "except.h"
116 #include "fibonacci_heap.h"
118 /* The number of rounds. In most cases there will only be 4 rounds, but
119 when partitioning hot and cold basic blocks into separate sections of
120 the object file there will be an extra round. */
121 #define N_ROUNDS 5
123 struct target_bb_reorder default_target_bb_reorder;
124 #if SWITCHABLE_TARGET
125 struct target_bb_reorder *this_target_bb_reorder = &default_target_bb_reorder;
126 #endif
128 #define uncond_jump_length \
129 (this_target_bb_reorder->x_uncond_jump_length)
131 /* Branch thresholds in thousandths (per mille) of the REG_BR_PROB_BASE. */
132 static const int branch_threshold[N_ROUNDS] = {400, 200, 100, 0, 0};
134 /* Exec thresholds in thousandths (per mille) of the frequency of bb 0. */
135 static const int exec_threshold[N_ROUNDS] = {500, 200, 50, 0, 0};
137 /* If edge frequency is lower than DUPLICATION_THRESHOLD per mille of entry
138 block the edge destination is not duplicated while connecting traces. */
139 #define DUPLICATION_THRESHOLD 100
141 typedef fibonacci_heap <long, basic_block_def> bb_heap_t;
142 typedef fibonacci_node <long, basic_block_def> bb_heap_node_t;
144 /* Structure to hold needed information for each basic block. */
145 struct bbro_basic_block_data
147 /* Which trace is the bb start of (-1 means it is not a start of any). */
148 int start_of_trace;
150 /* Which trace is the bb end of (-1 means it is not an end of any). */
151 int end_of_trace;
153 /* Which trace is the bb in? */
154 int in_trace;
156 /* Which trace was this bb visited in? */
157 int visited;
159 /* Which heap is BB in (if any)? */
160 bb_heap_t *heap;
162 /* Which heap node is BB in (if any)? */
163 bb_heap_node_t *node;
166 /* The current size of the following dynamic array. */
167 static int array_size;
169 /* The array which holds needed information for basic blocks. */
170 static bbro_basic_block_data *bbd;
172 /* To avoid frequent reallocation the size of arrays is greater than needed,
173 the number of elements is (not less than) 1.25 * size_wanted. */
174 #define GET_ARRAY_SIZE(X) ((((X) / 4) + 1) * 5)
176 /* Free the memory and set the pointer to NULL. */
177 #define FREE(P) (gcc_assert (P), free (P), P = 0)
179 /* Structure for holding information about a trace. */
180 struct trace
182 /* First and last basic block of the trace. */
183 basic_block first, last;
185 /* The round of the STC creation which this trace was found in. */
186 int round;
188 /* The length (i.e. the number of basic blocks) of the trace. */
189 int length;
192 /* Maximum frequency and count of one of the entry blocks. */
193 static int max_entry_frequency;
194 static gcov_type max_entry_count;
196 /* Local function prototypes. */
197 static void find_traces (int *, struct trace *);
198 static basic_block rotate_loop (edge, struct trace *, int);
199 static void mark_bb_visited (basic_block, int);
200 static void find_traces_1_round (int, int, gcov_type, struct trace *, int *,
201 int, bb_heap_t **, int);
202 static basic_block copy_bb (basic_block, edge, basic_block, int);
203 static long bb_to_key (basic_block);
204 static bool better_edge_p (const_basic_block, const_edge, int, int, int, int,
205 const_edge);
206 static bool connect_better_edge_p (const_edge, bool, int, const_edge,
207 struct trace *);
208 static void connect_traces (int, struct trace *);
209 static bool copy_bb_p (const_basic_block, int);
210 static bool push_to_next_round_p (const_basic_block, int, int, int, gcov_type);
212 /* Return the trace number in which BB was visited. */
214 static int
215 bb_visited_trace (const_basic_block bb)
217 gcc_assert (bb->index < array_size);
218 return bbd[bb->index].visited;
221 /* This function marks BB that it was visited in trace number TRACE. */
223 static void
224 mark_bb_visited (basic_block bb, int trace)
226 bbd[bb->index].visited = trace;
227 if (bbd[bb->index].heap)
229 bbd[bb->index].heap->delete_node (bbd[bb->index].node);
230 bbd[bb->index].heap = NULL;
231 bbd[bb->index].node = NULL;
235 /* Check to see if bb should be pushed into the next round of trace
236 collections or not. Reasons for pushing the block forward are 1).
237 If the block is cold, we are doing partitioning, and there will be
238 another round (cold partition blocks are not supposed to be
239 collected into traces until the very last round); or 2). There will
240 be another round, and the basic block is not "hot enough" for the
241 current round of trace collection. */
243 static bool
244 push_to_next_round_p (const_basic_block bb, int round, int number_of_rounds,
245 int exec_th, gcov_type count_th)
247 bool there_exists_another_round;
248 bool block_not_hot_enough;
250 there_exists_another_round = round < number_of_rounds - 1;
252 block_not_hot_enough = (bb->frequency < exec_th
253 || bb->count < count_th
254 || probably_never_executed_bb_p (cfun, bb));
256 if (there_exists_another_round
257 && block_not_hot_enough)
258 return true;
259 else
260 return false;
263 /* Find the traces for Software Trace Cache. Chain each trace through
264 RBI()->next. Store the number of traces to N_TRACES and description of
265 traces to TRACES. */
267 static void
268 find_traces (int *n_traces, struct trace *traces)
270 int i;
271 int number_of_rounds;
272 edge e;
273 edge_iterator ei;
274 bb_heap_t *heap = new bb_heap_t (LONG_MIN);
276 /* Add one extra round of trace collection when partitioning hot/cold
277 basic blocks into separate sections. The last round is for all the
278 cold blocks (and ONLY the cold blocks). */
280 number_of_rounds = N_ROUNDS - 1;
282 /* Insert entry points of function into heap. */
283 max_entry_frequency = 0;
284 max_entry_count = 0;
285 FOR_EACH_EDGE (e, ei, ENTRY_BLOCK_PTR_FOR_FN (cfun)->succs)
287 bbd[e->dest->index].heap = heap;
288 bbd[e->dest->index].node = heap->insert (bb_to_key (e->dest), e->dest);
289 if (e->dest->frequency > max_entry_frequency)
290 max_entry_frequency = e->dest->frequency;
291 if (e->dest->count > max_entry_count)
292 max_entry_count = e->dest->count;
295 /* Find the traces. */
296 for (i = 0; i < number_of_rounds; i++)
298 gcov_type count_threshold;
300 if (dump_file)
301 fprintf (dump_file, "STC - round %d\n", i + 1);
303 if (max_entry_count < INT_MAX / 1000)
304 count_threshold = max_entry_count * exec_threshold[i] / 1000;
305 else
306 count_threshold = max_entry_count / 1000 * exec_threshold[i];
308 find_traces_1_round (REG_BR_PROB_BASE * branch_threshold[i] / 1000,
309 max_entry_frequency * exec_threshold[i] / 1000,
310 count_threshold, traces, n_traces, i, &heap,
311 number_of_rounds);
313 delete heap;
315 if (dump_file)
317 for (i = 0; i < *n_traces; i++)
319 basic_block bb;
320 fprintf (dump_file, "Trace %d (round %d): ", i + 1,
321 traces[i].round + 1);
322 for (bb = traces[i].first;
323 bb != traces[i].last;
324 bb = (basic_block) bb->aux)
325 fprintf (dump_file, "%d [%d] ", bb->index, bb->frequency);
326 fprintf (dump_file, "%d [%d]\n", bb->index, bb->frequency);
328 fflush (dump_file);
332 /* Rotate loop whose back edge is BACK_EDGE in the tail of trace TRACE
333 (with sequential number TRACE_N). */
335 static basic_block
336 rotate_loop (edge back_edge, struct trace *trace, int trace_n)
338 basic_block bb;
340 /* Information about the best end (end after rotation) of the loop. */
341 basic_block best_bb = NULL;
342 edge best_edge = NULL;
343 int best_freq = -1;
344 gcov_type best_count = -1;
345 /* The best edge is preferred when its destination is not visited yet
346 or is a start block of some trace. */
347 bool is_preferred = false;
349 /* Find the most frequent edge that goes out from current trace. */
350 bb = back_edge->dest;
353 edge e;
354 edge_iterator ei;
356 FOR_EACH_EDGE (e, ei, bb->succs)
357 if (e->dest != EXIT_BLOCK_PTR_FOR_FN (cfun)
358 && bb_visited_trace (e->dest) != trace_n
359 && (e->flags & EDGE_CAN_FALLTHRU)
360 && !(e->flags & EDGE_COMPLEX))
362 if (is_preferred)
364 /* The best edge is preferred. */
365 if (!bb_visited_trace (e->dest)
366 || bbd[e->dest->index].start_of_trace >= 0)
368 /* The current edge E is also preferred. */
369 int freq = EDGE_FREQUENCY (e);
370 if (freq > best_freq || e->count > best_count)
372 best_freq = freq;
373 best_count = e->count;
374 best_edge = e;
375 best_bb = bb;
379 else
381 if (!bb_visited_trace (e->dest)
382 || bbd[e->dest->index].start_of_trace >= 0)
384 /* The current edge E is preferred. */
385 is_preferred = true;
386 best_freq = EDGE_FREQUENCY (e);
387 best_count = e->count;
388 best_edge = e;
389 best_bb = bb;
391 else
393 int freq = EDGE_FREQUENCY (e);
394 if (!best_edge || freq > best_freq || e->count > best_count)
396 best_freq = freq;
397 best_count = e->count;
398 best_edge = e;
399 best_bb = bb;
404 bb = (basic_block) bb->aux;
406 while (bb != back_edge->dest);
408 if (best_bb)
410 /* Rotate the loop so that the BEST_EDGE goes out from the last block of
411 the trace. */
412 if (back_edge->dest == trace->first)
414 trace->first = (basic_block) best_bb->aux;
416 else
418 basic_block prev_bb;
420 for (prev_bb = trace->first;
421 prev_bb->aux != back_edge->dest;
422 prev_bb = (basic_block) prev_bb->aux)
424 prev_bb->aux = best_bb->aux;
426 /* Try to get rid of uncond jump to cond jump. */
427 if (single_succ_p (prev_bb))
429 basic_block header = single_succ (prev_bb);
431 /* Duplicate HEADER if it is a small block containing cond jump
432 in the end. */
433 if (any_condjump_p (BB_END (header)) && copy_bb_p (header, 0)
434 && !CROSSING_JUMP_P (BB_END (header)))
435 copy_bb (header, single_succ_edge (prev_bb), prev_bb, trace_n);
439 else
441 /* We have not found suitable loop tail so do no rotation. */
442 best_bb = back_edge->src;
444 best_bb->aux = NULL;
445 return best_bb;
448 /* One round of finding traces. Find traces for BRANCH_TH and EXEC_TH i.e. do
449 not include basic blocks whose probability is lower than BRANCH_TH or whose
450 frequency is lower than EXEC_TH into traces (or whose count is lower than
451 COUNT_TH). Store the new traces into TRACES and modify the number of
452 traces *N_TRACES. Set the round (which the trace belongs to) to ROUND.
453 The function expects starting basic blocks to be in *HEAP and will delete
454 *HEAP and store starting points for the next round into new *HEAP. */
456 static void
457 find_traces_1_round (int branch_th, int exec_th, gcov_type count_th,
458 struct trace *traces, int *n_traces, int round,
459 bb_heap_t **heap, int number_of_rounds)
461 /* Heap for discarded basic blocks which are possible starting points for
462 the next round. */
463 bb_heap_t *new_heap = new bb_heap_t (LONG_MIN);
464 bool for_size = optimize_function_for_size_p (cfun);
466 while (!(*heap)->empty ())
468 basic_block bb;
469 struct trace *trace;
470 edge best_edge, e;
471 long key;
472 edge_iterator ei;
474 bb = (*heap)->extract_min ();
475 bbd[bb->index].heap = NULL;
476 bbd[bb->index].node = NULL;
478 if (dump_file)
479 fprintf (dump_file, "Getting bb %d\n", bb->index);
481 /* If the BB's frequency is too low, send BB to the next round. When
482 partitioning hot/cold blocks into separate sections, make sure all
483 the cold blocks (and ONLY the cold blocks) go into the (extra) final
484 round. When optimizing for size, do not push to next round. */
486 if (!for_size
487 && push_to_next_round_p (bb, round, number_of_rounds, exec_th,
488 count_th))
490 int key = bb_to_key (bb);
491 bbd[bb->index].heap = new_heap;
492 bbd[bb->index].node = new_heap->insert (key, bb);
494 if (dump_file)
495 fprintf (dump_file,
496 " Possible start point of next round: %d (key: %d)\n",
497 bb->index, key);
498 continue;
501 trace = traces + *n_traces;
502 trace->first = bb;
503 trace->round = round;
504 trace->length = 0;
505 bbd[bb->index].in_trace = *n_traces;
506 (*n_traces)++;
510 int prob, freq;
511 bool ends_in_call;
513 /* The probability and frequency of the best edge. */
514 int best_prob = INT_MIN / 2;
515 int best_freq = INT_MIN / 2;
517 best_edge = NULL;
518 mark_bb_visited (bb, *n_traces);
519 trace->length++;
521 if (dump_file)
522 fprintf (dump_file, "Basic block %d was visited in trace %d\n",
523 bb->index, *n_traces - 1);
525 ends_in_call = block_ends_with_call_p (bb);
527 /* Select the successor that will be placed after BB. */
528 FOR_EACH_EDGE (e, ei, bb->succs)
530 gcc_assert (!(e->flags & EDGE_FAKE));
532 if (e->dest == EXIT_BLOCK_PTR_FOR_FN (cfun))
533 continue;
535 if (bb_visited_trace (e->dest)
536 && bb_visited_trace (e->dest) != *n_traces)
537 continue;
539 if (BB_PARTITION (e->dest) != BB_PARTITION (bb))
540 continue;
542 prob = e->probability;
543 freq = e->dest->frequency;
545 /* The only sensible preference for a call instruction is the
546 fallthru edge. Don't bother selecting anything else. */
547 if (ends_in_call)
549 if (e->flags & EDGE_CAN_FALLTHRU)
551 best_edge = e;
552 best_prob = prob;
553 best_freq = freq;
555 continue;
558 /* Edge that cannot be fallthru or improbable or infrequent
559 successor (i.e. it is unsuitable successor). When optimizing
560 for size, ignore the probability and frequency. */
561 if (!(e->flags & EDGE_CAN_FALLTHRU) || (e->flags & EDGE_COMPLEX)
562 || ((prob < branch_th || EDGE_FREQUENCY (e) < exec_th
563 || e->count < count_th) && (!for_size)))
564 continue;
566 /* If partitioning hot/cold basic blocks, don't consider edges
567 that cross section boundaries. */
569 if (better_edge_p (bb, e, prob, freq, best_prob, best_freq,
570 best_edge))
572 best_edge = e;
573 best_prob = prob;
574 best_freq = freq;
578 /* If the best destination has multiple predecessors, and can be
579 duplicated cheaper than a jump, don't allow it to be added
580 to a trace. We'll duplicate it when connecting traces. */
581 if (best_edge && EDGE_COUNT (best_edge->dest->preds) >= 2
582 && copy_bb_p (best_edge->dest, 0))
583 best_edge = NULL;
585 /* If the best destination has multiple successors or predecessors,
586 don't allow it to be added when optimizing for size. This makes
587 sure predecessors with smaller index are handled before the best
588 destinarion. It breaks long trace and reduces long jumps.
590 Take if-then-else as an example.
596 If we do not remove the best edge B->D/C->D, the final order might
597 be A B D ... C. C is at the end of the program. If D's successors
598 and D are complicated, might need long jumps for A->C and C->D.
599 Similar issue for order: A C D ... B.
601 After removing the best edge, the final result will be ABCD/ ACBD.
602 It does not add jump compared with the previous order. But it
603 reduces the possibility of long jumps. */
604 if (best_edge && for_size
605 && (EDGE_COUNT (best_edge->dest->succs) > 1
606 || EDGE_COUNT (best_edge->dest->preds) > 1))
607 best_edge = NULL;
609 /* Add all non-selected successors to the heaps. */
610 FOR_EACH_EDGE (e, ei, bb->succs)
612 if (e == best_edge
613 || e->dest == EXIT_BLOCK_PTR_FOR_FN (cfun)
614 || bb_visited_trace (e->dest))
615 continue;
617 key = bb_to_key (e->dest);
619 if (bbd[e->dest->index].heap)
621 /* E->DEST is already in some heap. */
622 if (key != bbd[e->dest->index].node->get_key ())
624 if (dump_file)
626 fprintf (dump_file,
627 "Changing key for bb %d from %ld to %ld.\n",
628 e->dest->index,
629 (long) bbd[e->dest->index].node->get_key (),
630 key);
632 bbd[e->dest->index].heap->replace_key
633 (bbd[e->dest->index].node, key);
636 else
638 bb_heap_t *which_heap = *heap;
640 prob = e->probability;
641 freq = EDGE_FREQUENCY (e);
643 if (!(e->flags & EDGE_CAN_FALLTHRU)
644 || (e->flags & EDGE_COMPLEX)
645 || prob < branch_th || freq < exec_th
646 || e->count < count_th)
648 /* When partitioning hot/cold basic blocks, make sure
649 the cold blocks (and only the cold blocks) all get
650 pushed to the last round of trace collection. When
651 optimizing for size, do not push to next round. */
653 if (!for_size && push_to_next_round_p (e->dest, round,
654 number_of_rounds,
655 exec_th, count_th))
656 which_heap = new_heap;
659 bbd[e->dest->index].heap = which_heap;
660 bbd[e->dest->index].node = which_heap->insert (key, e->dest);
662 if (dump_file)
664 fprintf (dump_file,
665 " Possible start of %s round: %d (key: %ld)\n",
666 (which_heap == new_heap) ? "next" : "this",
667 e->dest->index, (long) key);
673 if (best_edge) /* Suitable successor was found. */
675 if (bb_visited_trace (best_edge->dest) == *n_traces)
677 /* We do nothing with one basic block loops. */
678 if (best_edge->dest != bb)
680 if (EDGE_FREQUENCY (best_edge)
681 > 4 * best_edge->dest->frequency / 5)
683 /* The loop has at least 4 iterations. If the loop
684 header is not the first block of the function
685 we can rotate the loop. */
687 if (best_edge->dest
688 != ENTRY_BLOCK_PTR_FOR_FN (cfun)->next_bb)
690 if (dump_file)
692 fprintf (dump_file,
693 "Rotating loop %d - %d\n",
694 best_edge->dest->index, bb->index);
696 bb->aux = best_edge->dest;
697 bbd[best_edge->dest->index].in_trace =
698 (*n_traces) - 1;
699 bb = rotate_loop (best_edge, trace, *n_traces);
702 else
704 /* The loop has less than 4 iterations. */
706 if (single_succ_p (bb)
707 && copy_bb_p (best_edge->dest,
708 optimize_edge_for_speed_p
709 (best_edge)))
711 bb = copy_bb (best_edge->dest, best_edge, bb,
712 *n_traces);
713 trace->length++;
718 /* Terminate the trace. */
719 break;
721 else
723 /* Check for a situation
731 where
732 EDGE_FREQUENCY (AB) + EDGE_FREQUENCY (BC)
733 >= EDGE_FREQUENCY (AC).
734 (i.e. 2 * B->frequency >= EDGE_FREQUENCY (AC) )
735 Best ordering is then A B C.
737 When optimizing for size, A B C is always the best order.
739 This situation is created for example by:
741 if (A) B;
746 FOR_EACH_EDGE (e, ei, bb->succs)
747 if (e != best_edge
748 && (e->flags & EDGE_CAN_FALLTHRU)
749 && !(e->flags & EDGE_COMPLEX)
750 && !bb_visited_trace (e->dest)
751 && single_pred_p (e->dest)
752 && !(e->flags & EDGE_CROSSING)
753 && single_succ_p (e->dest)
754 && (single_succ_edge (e->dest)->flags
755 & EDGE_CAN_FALLTHRU)
756 && !(single_succ_edge (e->dest)->flags & EDGE_COMPLEX)
757 && single_succ (e->dest) == best_edge->dest
758 && (2 * e->dest->frequency >= EDGE_FREQUENCY (best_edge)
759 || for_size))
761 best_edge = e;
762 if (dump_file)
763 fprintf (dump_file, "Selecting BB %d\n",
764 best_edge->dest->index);
765 break;
768 bb->aux = best_edge->dest;
769 bbd[best_edge->dest->index].in_trace = (*n_traces) - 1;
770 bb = best_edge->dest;
774 while (best_edge);
775 trace->last = bb;
776 bbd[trace->first->index].start_of_trace = *n_traces - 1;
777 bbd[trace->last->index].end_of_trace = *n_traces - 1;
779 /* The trace is terminated so we have to recount the keys in heap
780 (some block can have a lower key because now one of its predecessors
781 is an end of the trace). */
782 FOR_EACH_EDGE (e, ei, bb->succs)
784 if (e->dest == EXIT_BLOCK_PTR_FOR_FN (cfun)
785 || bb_visited_trace (e->dest))
786 continue;
788 if (bbd[e->dest->index].heap)
790 key = bb_to_key (e->dest);
791 if (key != bbd[e->dest->index].node->get_key ())
793 if (dump_file)
795 fprintf (dump_file,
796 "Changing key for bb %d from %ld to %ld.\n",
797 e->dest->index,
798 (long) bbd[e->dest->index].node->get_key (), key);
800 bbd[e->dest->index].heap->replace_key
801 (bbd[e->dest->index].node, key);
807 delete (*heap);
809 /* "Return" the new heap. */
810 *heap = new_heap;
813 /* Create a duplicate of the basic block OLD_BB and redirect edge E to it, add
814 it to trace after BB, mark OLD_BB visited and update pass' data structures
815 (TRACE is a number of trace which OLD_BB is duplicated to). */
817 static basic_block
818 copy_bb (basic_block old_bb, edge e, basic_block bb, int trace)
820 basic_block new_bb;
822 new_bb = duplicate_block (old_bb, e, bb);
823 BB_COPY_PARTITION (new_bb, old_bb);
825 gcc_assert (e->dest == new_bb);
827 if (dump_file)
828 fprintf (dump_file,
829 "Duplicated bb %d (created bb %d)\n",
830 old_bb->index, new_bb->index);
832 if (new_bb->index >= array_size
833 || last_basic_block_for_fn (cfun) > array_size)
835 int i;
836 int new_size;
838 new_size = MAX (last_basic_block_for_fn (cfun), new_bb->index + 1);
839 new_size = GET_ARRAY_SIZE (new_size);
840 bbd = XRESIZEVEC (bbro_basic_block_data, bbd, new_size);
841 for (i = array_size; i < new_size; i++)
843 bbd[i].start_of_trace = -1;
844 bbd[i].end_of_trace = -1;
845 bbd[i].in_trace = -1;
846 bbd[i].visited = 0;
847 bbd[i].heap = NULL;
848 bbd[i].node = NULL;
850 array_size = new_size;
852 if (dump_file)
854 fprintf (dump_file,
855 "Growing the dynamic array to %d elements.\n",
856 array_size);
860 gcc_assert (!bb_visited_trace (e->dest));
861 mark_bb_visited (new_bb, trace);
862 new_bb->aux = bb->aux;
863 bb->aux = new_bb;
865 bbd[new_bb->index].in_trace = trace;
867 return new_bb;
870 /* Compute and return the key (for the heap) of the basic block BB. */
872 static long
873 bb_to_key (basic_block bb)
875 edge e;
876 edge_iterator ei;
877 int priority = 0;
879 /* Use index as key to align with its original order. */
880 if (optimize_function_for_size_p (cfun))
881 return bb->index;
883 /* Do not start in probably never executed blocks. */
885 if (BB_PARTITION (bb) == BB_COLD_PARTITION
886 || probably_never_executed_bb_p (cfun, bb))
887 return BB_FREQ_MAX;
889 /* Prefer blocks whose predecessor is an end of some trace
890 or whose predecessor edge is EDGE_DFS_BACK. */
891 FOR_EACH_EDGE (e, ei, bb->preds)
893 if ((e->src != ENTRY_BLOCK_PTR_FOR_FN (cfun)
894 && bbd[e->src->index].end_of_trace >= 0)
895 || (e->flags & EDGE_DFS_BACK))
897 int edge_freq = EDGE_FREQUENCY (e);
899 if (edge_freq > priority)
900 priority = edge_freq;
904 if (priority)
905 /* The block with priority should have significantly lower key. */
906 return -(100 * BB_FREQ_MAX + 100 * priority + bb->frequency);
908 return -bb->frequency;
911 /* Return true when the edge E from basic block BB is better than the temporary
912 best edge (details are in function). The probability of edge E is PROB. The
913 frequency of the successor is FREQ. The current best probability is
914 BEST_PROB, the best frequency is BEST_FREQ.
915 The edge is considered to be equivalent when PROB does not differ much from
916 BEST_PROB; similarly for frequency. */
918 static bool
919 better_edge_p (const_basic_block bb, const_edge e, int prob, int freq,
920 int best_prob, int best_freq, const_edge cur_best_edge)
922 bool is_better_edge;
924 /* The BEST_* values do not have to be best, but can be a bit smaller than
925 maximum values. */
926 int diff_prob = best_prob / 10;
927 int diff_freq = best_freq / 10;
929 /* The smaller one is better to keep the original order. */
930 if (optimize_function_for_size_p (cfun))
931 return !cur_best_edge
932 || cur_best_edge->dest->index > e->dest->index;
934 if (prob > best_prob + diff_prob)
935 /* The edge has higher probability than the temporary best edge. */
936 is_better_edge = true;
937 else if (prob < best_prob - diff_prob)
938 /* The edge has lower probability than the temporary best edge. */
939 is_better_edge = false;
940 else if (freq < best_freq - diff_freq)
941 /* The edge and the temporary best edge have almost equivalent
942 probabilities. The higher frequency of a successor now means
943 that there is another edge going into that successor.
944 This successor has lower frequency so it is better. */
945 is_better_edge = true;
946 else if (freq > best_freq + diff_freq)
947 /* This successor has higher frequency so it is worse. */
948 is_better_edge = false;
949 else if (e->dest->prev_bb == bb)
950 /* The edges have equivalent probabilities and the successors
951 have equivalent frequencies. Select the previous successor. */
952 is_better_edge = true;
953 else
954 is_better_edge = false;
956 /* If we are doing hot/cold partitioning, make sure that we always favor
957 non-crossing edges over crossing edges. */
959 if (!is_better_edge
960 && flag_reorder_blocks_and_partition
961 && cur_best_edge
962 && (cur_best_edge->flags & EDGE_CROSSING)
963 && !(e->flags & EDGE_CROSSING))
964 is_better_edge = true;
966 return is_better_edge;
969 /* Return true when the edge E is better than the temporary best edge
970 CUR_BEST_EDGE. If SRC_INDEX_P is true, the function compares the src bb of
971 E and CUR_BEST_EDGE; otherwise it will compare the dest bb.
972 BEST_LEN is the trace length of src (or dest) bb in CUR_BEST_EDGE.
973 TRACES record the information about traces.
974 When optimizing for size, the edge with smaller index is better.
975 When optimizing for speed, the edge with bigger probability or longer trace
976 is better. */
978 static bool
979 connect_better_edge_p (const_edge e, bool src_index_p, int best_len,
980 const_edge cur_best_edge, struct trace *traces)
982 int e_index;
983 int b_index;
984 bool is_better_edge;
986 if (!cur_best_edge)
987 return true;
989 if (optimize_function_for_size_p (cfun))
991 e_index = src_index_p ? e->src->index : e->dest->index;
992 b_index = src_index_p ? cur_best_edge->src->index
993 : cur_best_edge->dest->index;
994 /* The smaller one is better to keep the original order. */
995 return b_index > e_index;
998 if (src_index_p)
1000 e_index = e->src->index;
1002 if (e->probability > cur_best_edge->probability)
1003 /* The edge has higher probability than the temporary best edge. */
1004 is_better_edge = true;
1005 else if (e->probability < cur_best_edge->probability)
1006 /* The edge has lower probability than the temporary best edge. */
1007 is_better_edge = false;
1008 else if (traces[bbd[e_index].end_of_trace].length > best_len)
1009 /* The edge and the temporary best edge have equivalent probabilities.
1010 The edge with longer trace is better. */
1011 is_better_edge = true;
1012 else
1013 is_better_edge = false;
1015 else
1017 e_index = e->dest->index;
1019 if (e->probability > cur_best_edge->probability)
1020 /* The edge has higher probability than the temporary best edge. */
1021 is_better_edge = true;
1022 else if (e->probability < cur_best_edge->probability)
1023 /* The edge has lower probability than the temporary best edge. */
1024 is_better_edge = false;
1025 else if (traces[bbd[e_index].start_of_trace].length > best_len)
1026 /* The edge and the temporary best edge have equivalent probabilities.
1027 The edge with longer trace is better. */
1028 is_better_edge = true;
1029 else
1030 is_better_edge = false;
1033 return is_better_edge;
1036 /* Connect traces in array TRACES, N_TRACES is the count of traces. */
1038 static void
1039 connect_traces (int n_traces, struct trace *traces)
1041 int i;
1042 bool *connected;
1043 bool two_passes;
1044 int last_trace;
1045 int current_pass;
1046 int current_partition;
1047 int freq_threshold;
1048 gcov_type count_threshold;
1049 bool for_size = optimize_function_for_size_p (cfun);
1051 freq_threshold = max_entry_frequency * DUPLICATION_THRESHOLD / 1000;
1052 if (max_entry_count < INT_MAX / 1000)
1053 count_threshold = max_entry_count * DUPLICATION_THRESHOLD / 1000;
1054 else
1055 count_threshold = max_entry_count / 1000 * DUPLICATION_THRESHOLD;
1057 connected = XCNEWVEC (bool, n_traces);
1058 last_trace = -1;
1059 current_pass = 1;
1060 current_partition = BB_PARTITION (traces[0].first);
1061 two_passes = false;
1063 if (crtl->has_bb_partition)
1064 for (i = 0; i < n_traces && !two_passes; i++)
1065 if (BB_PARTITION (traces[0].first)
1066 != BB_PARTITION (traces[i].first))
1067 two_passes = true;
1069 for (i = 0; i < n_traces || (two_passes && current_pass == 1) ; i++)
1071 int t = i;
1072 int t2;
1073 edge e, best;
1074 int best_len;
1076 if (i >= n_traces)
1078 gcc_assert (two_passes && current_pass == 1);
1079 i = 0;
1080 t = i;
1081 current_pass = 2;
1082 if (current_partition == BB_HOT_PARTITION)
1083 current_partition = BB_COLD_PARTITION;
1084 else
1085 current_partition = BB_HOT_PARTITION;
1088 if (connected[t])
1089 continue;
1091 if (two_passes
1092 && BB_PARTITION (traces[t].first) != current_partition)
1093 continue;
1095 connected[t] = true;
1097 /* Find the predecessor traces. */
1098 for (t2 = t; t2 > 0;)
1100 edge_iterator ei;
1101 best = NULL;
1102 best_len = 0;
1103 FOR_EACH_EDGE (e, ei, traces[t2].first->preds)
1105 int si = e->src->index;
1107 if (e->src != ENTRY_BLOCK_PTR_FOR_FN (cfun)
1108 && (e->flags & EDGE_CAN_FALLTHRU)
1109 && !(e->flags & EDGE_COMPLEX)
1110 && bbd[si].end_of_trace >= 0
1111 && !connected[bbd[si].end_of_trace]
1112 && (BB_PARTITION (e->src) == current_partition)
1113 && connect_better_edge_p (e, true, best_len, best, traces))
1115 best = e;
1116 best_len = traces[bbd[si].end_of_trace].length;
1119 if (best)
1121 best->src->aux = best->dest;
1122 t2 = bbd[best->src->index].end_of_trace;
1123 connected[t2] = true;
1125 if (dump_file)
1127 fprintf (dump_file, "Connection: %d %d\n",
1128 best->src->index, best->dest->index);
1131 else
1132 break;
1135 if (last_trace >= 0)
1136 traces[last_trace].last->aux = traces[t2].first;
1137 last_trace = t;
1139 /* Find the successor traces. */
1140 while (1)
1142 /* Find the continuation of the chain. */
1143 edge_iterator ei;
1144 best = NULL;
1145 best_len = 0;
1146 FOR_EACH_EDGE (e, ei, traces[t].last->succs)
1148 int di = e->dest->index;
1150 if (e->dest != EXIT_BLOCK_PTR_FOR_FN (cfun)
1151 && (e->flags & EDGE_CAN_FALLTHRU)
1152 && !(e->flags & EDGE_COMPLEX)
1153 && bbd[di].start_of_trace >= 0
1154 && !connected[bbd[di].start_of_trace]
1155 && (BB_PARTITION (e->dest) == current_partition)
1156 && connect_better_edge_p (e, false, best_len, best, traces))
1158 best = e;
1159 best_len = traces[bbd[di].start_of_trace].length;
1163 if (for_size)
1165 if (!best)
1166 /* Stop finding the successor traces. */
1167 break;
1169 /* It is OK to connect block n with block n + 1 or a block
1170 before n. For others, only connect to the loop header. */
1171 if (best->dest->index > (traces[t].last->index + 1))
1173 int count = EDGE_COUNT (best->dest->preds);
1175 FOR_EACH_EDGE (e, ei, best->dest->preds)
1176 if (e->flags & EDGE_DFS_BACK)
1177 count--;
1179 /* If dest has multiple predecessors, skip it. We expect
1180 that one predecessor with smaller index connects with it
1181 later. */
1182 if (count != 1)
1183 break;
1186 /* Only connect Trace n with Trace n + 1. It is conservative
1187 to keep the order as close as possible to the original order.
1188 It also helps to reduce long jumps. */
1189 if (last_trace != bbd[best->dest->index].start_of_trace - 1)
1190 break;
1192 if (dump_file)
1193 fprintf (dump_file, "Connection: %d %d\n",
1194 best->src->index, best->dest->index);
1196 t = bbd[best->dest->index].start_of_trace;
1197 traces[last_trace].last->aux = traces[t].first;
1198 connected[t] = true;
1199 last_trace = t;
1201 else if (best)
1203 if (dump_file)
1205 fprintf (dump_file, "Connection: %d %d\n",
1206 best->src->index, best->dest->index);
1208 t = bbd[best->dest->index].start_of_trace;
1209 traces[last_trace].last->aux = traces[t].first;
1210 connected[t] = true;
1211 last_trace = t;
1213 else
1215 /* Try to connect the traces by duplication of 1 block. */
1216 edge e2;
1217 basic_block next_bb = NULL;
1218 bool try_copy = false;
1220 FOR_EACH_EDGE (e, ei, traces[t].last->succs)
1221 if (e->dest != EXIT_BLOCK_PTR_FOR_FN (cfun)
1222 && (e->flags & EDGE_CAN_FALLTHRU)
1223 && !(e->flags & EDGE_COMPLEX)
1224 && (!best || e->probability > best->probability))
1226 edge_iterator ei;
1227 edge best2 = NULL;
1228 int best2_len = 0;
1230 /* If the destination is a start of a trace which is only
1231 one block long, then no need to search the successor
1232 blocks of the trace. Accept it. */
1233 if (bbd[e->dest->index].start_of_trace >= 0
1234 && traces[bbd[e->dest->index].start_of_trace].length
1235 == 1)
1237 best = e;
1238 try_copy = true;
1239 continue;
1242 FOR_EACH_EDGE (e2, ei, e->dest->succs)
1244 int di = e2->dest->index;
1246 if (e2->dest == EXIT_BLOCK_PTR_FOR_FN (cfun)
1247 || ((e2->flags & EDGE_CAN_FALLTHRU)
1248 && !(e2->flags & EDGE_COMPLEX)
1249 && bbd[di].start_of_trace >= 0
1250 && !connected[bbd[di].start_of_trace]
1251 && BB_PARTITION (e2->dest) == current_partition
1252 && EDGE_FREQUENCY (e2) >= freq_threshold
1253 && e2->count >= count_threshold
1254 && (!best2
1255 || e2->probability > best2->probability
1256 || (e2->probability == best2->probability
1257 && traces[bbd[di].start_of_trace].length
1258 > best2_len))))
1260 best = e;
1261 best2 = e2;
1262 if (e2->dest != EXIT_BLOCK_PTR_FOR_FN (cfun))
1263 best2_len = traces[bbd[di].start_of_trace].length;
1264 else
1265 best2_len = INT_MAX;
1266 next_bb = e2->dest;
1267 try_copy = true;
1272 if (crtl->has_bb_partition)
1273 try_copy = false;
1275 /* Copy tiny blocks always; copy larger blocks only when the
1276 edge is traversed frequently enough. */
1277 if (try_copy
1278 && copy_bb_p (best->dest,
1279 optimize_edge_for_speed_p (best)
1280 && EDGE_FREQUENCY (best) >= freq_threshold
1281 && best->count >= count_threshold))
1283 basic_block new_bb;
1285 if (dump_file)
1287 fprintf (dump_file, "Connection: %d %d ",
1288 traces[t].last->index, best->dest->index);
1289 if (!next_bb)
1290 fputc ('\n', dump_file);
1291 else if (next_bb == EXIT_BLOCK_PTR_FOR_FN (cfun))
1292 fprintf (dump_file, "exit\n");
1293 else
1294 fprintf (dump_file, "%d\n", next_bb->index);
1297 new_bb = copy_bb (best->dest, best, traces[t].last, t);
1298 traces[t].last = new_bb;
1299 if (next_bb && next_bb != EXIT_BLOCK_PTR_FOR_FN (cfun))
1301 t = bbd[next_bb->index].start_of_trace;
1302 traces[last_trace].last->aux = traces[t].first;
1303 connected[t] = true;
1304 last_trace = t;
1306 else
1307 break; /* Stop finding the successor traces. */
1309 else
1310 break; /* Stop finding the successor traces. */
1315 if (dump_file)
1317 basic_block bb;
1319 fprintf (dump_file, "Final order:\n");
1320 for (bb = traces[0].first; bb; bb = (basic_block) bb->aux)
1321 fprintf (dump_file, "%d ", bb->index);
1322 fprintf (dump_file, "\n");
1323 fflush (dump_file);
1326 FREE (connected);
1329 /* Return true when BB can and should be copied. CODE_MAY_GROW is true
1330 when code size is allowed to grow by duplication. */
1332 static bool
1333 copy_bb_p (const_basic_block bb, int code_may_grow)
1335 int size = 0;
1336 int max_size = uncond_jump_length;
1337 rtx_insn *insn;
1339 if (!bb->frequency)
1340 return false;
1341 if (EDGE_COUNT (bb->preds) < 2)
1342 return false;
1343 if (!can_duplicate_block_p (bb))
1344 return false;
1346 /* Avoid duplicating blocks which have many successors (PR/13430). */
1347 if (EDGE_COUNT (bb->succs) > 8)
1348 return false;
1350 if (code_may_grow && optimize_bb_for_speed_p (bb))
1351 max_size *= PARAM_VALUE (PARAM_MAX_GROW_COPY_BB_INSNS);
1353 FOR_BB_INSNS (bb, insn)
1355 if (INSN_P (insn))
1356 size += get_attr_min_length (insn);
1359 if (size <= max_size)
1360 return true;
1362 if (dump_file)
1364 fprintf (dump_file,
1365 "Block %d can't be copied because its size = %d.\n",
1366 bb->index, size);
1369 return false;
1372 /* Return the length of unconditional jump instruction. */
1375 get_uncond_jump_length (void)
1377 int length;
1379 start_sequence ();
1380 rtx_code_label *label = emit_label (gen_label_rtx ());
1381 rtx_insn *jump = emit_jump_insn (targetm.gen_jump (label));
1382 length = get_attr_min_length (jump);
1383 end_sequence ();
1385 return length;
1388 /* The landing pad OLD_LP, in block OLD_BB, has edges from both partitions.
1389 Duplicate the landing pad and split the edges so that no EH edge
1390 crosses partitions. */
1392 static void
1393 fix_up_crossing_landing_pad (eh_landing_pad old_lp, basic_block old_bb)
1395 eh_landing_pad new_lp;
1396 basic_block new_bb, last_bb, post_bb;
1397 rtx_insn *jump;
1398 unsigned new_partition;
1399 edge_iterator ei;
1400 edge e;
1402 /* Generate the new landing-pad structure. */
1403 new_lp = gen_eh_landing_pad (old_lp->region);
1404 new_lp->post_landing_pad = old_lp->post_landing_pad;
1405 new_lp->landing_pad = gen_label_rtx ();
1406 LABEL_PRESERVE_P (new_lp->landing_pad) = 1;
1408 /* Put appropriate instructions in new bb. */
1409 rtx_code_label *new_label = emit_label (new_lp->landing_pad);
1411 expand_dw2_landing_pad_for_region (old_lp->region);
1413 post_bb = BLOCK_FOR_INSN (old_lp->landing_pad);
1414 post_bb = single_succ (post_bb);
1415 rtx_code_label *post_label = block_label (post_bb);
1416 jump = emit_jump_insn (targetm.gen_jump (post_label));
1417 JUMP_LABEL (jump) = post_label;
1419 /* Create new basic block to be dest for lp. */
1420 last_bb = EXIT_BLOCK_PTR_FOR_FN (cfun)->prev_bb;
1421 new_bb = create_basic_block (new_label, jump, last_bb);
1422 new_bb->aux = last_bb->aux;
1423 last_bb->aux = new_bb;
1425 emit_barrier_after_bb (new_bb);
1427 make_edge (new_bb, post_bb, 0);
1429 /* Make sure new bb is in the other partition. */
1430 new_partition = BB_PARTITION (old_bb);
1431 new_partition ^= BB_HOT_PARTITION | BB_COLD_PARTITION;
1432 BB_SET_PARTITION (new_bb, new_partition);
1434 /* Fix up the edges. */
1435 for (ei = ei_start (old_bb->preds); (e = ei_safe_edge (ei)) != NULL; )
1436 if (BB_PARTITION (e->src) == new_partition)
1438 rtx_insn *insn = BB_END (e->src);
1439 rtx note = find_reg_note (insn, REG_EH_REGION, NULL_RTX);
1441 gcc_assert (note != NULL);
1442 gcc_checking_assert (INTVAL (XEXP (note, 0)) == old_lp->index);
1443 XEXP (note, 0) = GEN_INT (new_lp->index);
1445 /* Adjust the edge to the new destination. */
1446 redirect_edge_succ (e, new_bb);
1448 else
1449 ei_next (&ei);
1453 /* Ensure that all hot bbs are included in a hot path through the
1454 procedure. This is done by calling this function twice, once
1455 with WALK_UP true (to look for paths from the entry to hot bbs) and
1456 once with WALK_UP false (to look for paths from hot bbs to the exit).
1457 Returns the updated value of COLD_BB_COUNT and adds newly-hot bbs
1458 to BBS_IN_HOT_PARTITION. */
1460 static unsigned int
1461 sanitize_hot_paths (bool walk_up, unsigned int cold_bb_count,
1462 vec<basic_block> *bbs_in_hot_partition)
1464 /* Callers check this. */
1465 gcc_checking_assert (cold_bb_count);
1467 /* Keep examining hot bbs while we still have some left to check
1468 and there are remaining cold bbs. */
1469 vec<basic_block> hot_bbs_to_check = bbs_in_hot_partition->copy ();
1470 while (! hot_bbs_to_check.is_empty ()
1471 && cold_bb_count)
1473 basic_block bb = hot_bbs_to_check.pop ();
1474 vec<edge, va_gc> *edges = walk_up ? bb->preds : bb->succs;
1475 edge e;
1476 edge_iterator ei;
1477 int highest_probability = 0;
1478 int highest_freq = 0;
1479 gcov_type highest_count = 0;
1480 bool found = false;
1482 /* Walk the preds/succs and check if there is at least one already
1483 marked hot. Keep track of the most frequent pred/succ so that we
1484 can mark it hot if we don't find one. */
1485 FOR_EACH_EDGE (e, ei, edges)
1487 basic_block reach_bb = walk_up ? e->src : e->dest;
1489 if (e->flags & EDGE_DFS_BACK)
1490 continue;
1492 if (BB_PARTITION (reach_bb) != BB_COLD_PARTITION)
1494 found = true;
1495 break;
1497 /* The following loop will look for the hottest edge via
1498 the edge count, if it is non-zero, then fallback to the edge
1499 frequency and finally the edge probability. */
1500 if (e->count > highest_count)
1501 highest_count = e->count;
1502 int edge_freq = EDGE_FREQUENCY (e);
1503 if (edge_freq > highest_freq)
1504 highest_freq = edge_freq;
1505 if (e->probability > highest_probability)
1506 highest_probability = e->probability;
1509 /* If bb is reached by (or reaches, in the case of !WALK_UP) another hot
1510 block (or unpartitioned, e.g. the entry block) then it is ok. If not,
1511 then the most frequent pred (or succ) needs to be adjusted. In the
1512 case where multiple preds/succs have the same frequency (e.g. a
1513 50-50 branch), then both will be adjusted. */
1514 if (found)
1515 continue;
1517 FOR_EACH_EDGE (e, ei, edges)
1519 if (e->flags & EDGE_DFS_BACK)
1520 continue;
1521 /* Select the hottest edge using the edge count, if it is non-zero,
1522 then fallback to the edge frequency and finally the edge
1523 probability. */
1524 if (highest_count)
1526 if (e->count < highest_count)
1527 continue;
1529 else if (highest_freq)
1531 if (EDGE_FREQUENCY (e) < highest_freq)
1532 continue;
1534 else if (e->probability < highest_probability)
1535 continue;
1537 basic_block reach_bb = walk_up ? e->src : e->dest;
1539 /* We have a hot bb with an immediate dominator that is cold.
1540 The dominator needs to be re-marked hot. */
1541 BB_SET_PARTITION (reach_bb, BB_HOT_PARTITION);
1542 cold_bb_count--;
1544 /* Now we need to examine newly-hot reach_bb to see if it is also
1545 dominated by a cold bb. */
1546 bbs_in_hot_partition->safe_push (reach_bb);
1547 hot_bbs_to_check.safe_push (reach_bb);
1551 return cold_bb_count;
1555 /* Find the basic blocks that are rarely executed and need to be moved to
1556 a separate section of the .o file (to cut down on paging and improve
1557 cache locality). Return a vector of all edges that cross. */
1559 static vec<edge>
1560 find_rarely_executed_basic_blocks_and_crossing_edges (void)
1562 vec<edge> crossing_edges = vNULL;
1563 basic_block bb;
1564 edge e;
1565 edge_iterator ei;
1566 unsigned int cold_bb_count = 0;
1567 auto_vec<basic_block> bbs_in_hot_partition;
1569 /* Mark which partition (hot/cold) each basic block belongs in. */
1570 FOR_EACH_BB_FN (bb, cfun)
1572 bool cold_bb = false;
1574 if (probably_never_executed_bb_p (cfun, bb))
1576 /* Handle profile insanities created by upstream optimizations
1577 by also checking the incoming edge weights. If there is a non-cold
1578 incoming edge, conservatively prevent this block from being split
1579 into the cold section. */
1580 cold_bb = true;
1581 FOR_EACH_EDGE (e, ei, bb->preds)
1582 if (!probably_never_executed_edge_p (cfun, e))
1584 cold_bb = false;
1585 break;
1588 if (cold_bb)
1590 BB_SET_PARTITION (bb, BB_COLD_PARTITION);
1591 cold_bb_count++;
1593 else
1595 BB_SET_PARTITION (bb, BB_HOT_PARTITION);
1596 bbs_in_hot_partition.safe_push (bb);
1600 /* Ensure that hot bbs are included along a hot path from the entry to exit.
1601 Several different possibilities may include cold bbs along all paths
1602 to/from a hot bb. One is that there are edge weight insanities
1603 due to optimization phases that do not properly update basic block profile
1604 counts. The second is that the entry of the function may not be hot, because
1605 it is entered fewer times than the number of profile training runs, but there
1606 is a loop inside the function that causes blocks within the function to be
1607 above the threshold for hotness. This is fixed by walking up from hot bbs
1608 to the entry block, and then down from hot bbs to the exit, performing
1609 partitioning fixups as necessary. */
1610 if (cold_bb_count)
1612 mark_dfs_back_edges ();
1613 cold_bb_count = sanitize_hot_paths (true, cold_bb_count,
1614 &bbs_in_hot_partition);
1615 if (cold_bb_count)
1616 sanitize_hot_paths (false, cold_bb_count, &bbs_in_hot_partition);
1619 /* The format of .gcc_except_table does not allow landing pads to
1620 be in a different partition as the throw. Fix this by either
1621 moving or duplicating the landing pads. */
1622 if (cfun->eh->lp_array)
1624 unsigned i;
1625 eh_landing_pad lp;
1627 FOR_EACH_VEC_ELT (*cfun->eh->lp_array, i, lp)
1629 bool all_same, all_diff;
1631 if (lp == NULL
1632 || lp->landing_pad == NULL_RTX
1633 || !LABEL_P (lp->landing_pad))
1634 continue;
1636 all_same = all_diff = true;
1637 bb = BLOCK_FOR_INSN (lp->landing_pad);
1638 FOR_EACH_EDGE (e, ei, bb->preds)
1640 gcc_assert (e->flags & EDGE_EH);
1641 if (BB_PARTITION (bb) == BB_PARTITION (e->src))
1642 all_diff = false;
1643 else
1644 all_same = false;
1647 if (all_same)
1649 else if (all_diff)
1651 int which = BB_PARTITION (bb);
1652 which ^= BB_HOT_PARTITION | BB_COLD_PARTITION;
1653 BB_SET_PARTITION (bb, which);
1655 else
1656 fix_up_crossing_landing_pad (lp, bb);
1660 /* Mark every edge that crosses between sections. */
1662 FOR_EACH_BB_FN (bb, cfun)
1663 FOR_EACH_EDGE (e, ei, bb->succs)
1665 unsigned int flags = e->flags;
1667 /* We should never have EDGE_CROSSING set yet. */
1668 gcc_checking_assert ((flags & EDGE_CROSSING) == 0);
1670 if (e->src != ENTRY_BLOCK_PTR_FOR_FN (cfun)
1671 && e->dest != EXIT_BLOCK_PTR_FOR_FN (cfun)
1672 && BB_PARTITION (e->src) != BB_PARTITION (e->dest))
1674 crossing_edges.safe_push (e);
1675 flags |= EDGE_CROSSING;
1678 /* Now that we've split eh edges as appropriate, allow landing pads
1679 to be merged with the post-landing pads. */
1680 flags &= ~EDGE_PRESERVE;
1682 e->flags = flags;
1685 return crossing_edges;
1688 /* Set the flag EDGE_CAN_FALLTHRU for edges that can be fallthru. */
1690 static void
1691 set_edge_can_fallthru_flag (void)
1693 basic_block bb;
1695 FOR_EACH_BB_FN (bb, cfun)
1697 edge e;
1698 edge_iterator ei;
1700 FOR_EACH_EDGE (e, ei, bb->succs)
1702 e->flags &= ~EDGE_CAN_FALLTHRU;
1704 /* The FALLTHRU edge is also CAN_FALLTHRU edge. */
1705 if (e->flags & EDGE_FALLTHRU)
1706 e->flags |= EDGE_CAN_FALLTHRU;
1709 /* If the BB ends with an invertible condjump all (2) edges are
1710 CAN_FALLTHRU edges. */
1711 if (EDGE_COUNT (bb->succs) != 2)
1712 continue;
1713 if (!any_condjump_p (BB_END (bb)))
1714 continue;
1716 rtx_jump_insn *bb_end_jump = as_a <rtx_jump_insn *> (BB_END (bb));
1717 if (!invert_jump (bb_end_jump, JUMP_LABEL (bb_end_jump), 0))
1718 continue;
1719 invert_jump (bb_end_jump, JUMP_LABEL (bb_end_jump), 0);
1720 EDGE_SUCC (bb, 0)->flags |= EDGE_CAN_FALLTHRU;
1721 EDGE_SUCC (bb, 1)->flags |= EDGE_CAN_FALLTHRU;
1725 /* If any destination of a crossing edge does not have a label, add label;
1726 Convert any easy fall-through crossing edges to unconditional jumps. */
1728 static void
1729 add_labels_and_missing_jumps (vec<edge> crossing_edges)
1731 size_t i;
1732 edge e;
1734 FOR_EACH_VEC_ELT (crossing_edges, i, e)
1736 basic_block src = e->src;
1737 basic_block dest = e->dest;
1738 rtx_jump_insn *new_jump;
1740 if (dest == EXIT_BLOCK_PTR_FOR_FN (cfun))
1741 continue;
1743 /* Make sure dest has a label. */
1744 rtx_code_label *label = block_label (dest);
1746 /* Nothing to do for non-fallthru edges. */
1747 if (src == ENTRY_BLOCK_PTR_FOR_FN (cfun))
1748 continue;
1749 if ((e->flags & EDGE_FALLTHRU) == 0)
1750 continue;
1752 /* If the block does not end with a control flow insn, then we
1753 can trivially add a jump to the end to fixup the crossing.
1754 Otherwise the jump will have to go in a new bb, which will
1755 be handled by fix_up_fall_thru_edges function. */
1756 if (control_flow_insn_p (BB_END (src)))
1757 continue;
1759 /* Make sure there's only one successor. */
1760 gcc_assert (single_succ_p (src));
1762 new_jump = emit_jump_insn_after (targetm.gen_jump (label), BB_END (src));
1763 BB_END (src) = new_jump;
1764 JUMP_LABEL (new_jump) = label;
1765 LABEL_NUSES (label) += 1;
1767 emit_barrier_after_bb (src);
1769 /* Mark edge as non-fallthru. */
1770 e->flags &= ~EDGE_FALLTHRU;
1774 /* Find any bb's where the fall-through edge is a crossing edge (note that
1775 these bb's must also contain a conditional jump or end with a call
1776 instruction; we've already dealt with fall-through edges for blocks
1777 that didn't have a conditional jump or didn't end with call instruction
1778 in the call to add_labels_and_missing_jumps). Convert the fall-through
1779 edge to non-crossing edge by inserting a new bb to fall-through into.
1780 The new bb will contain an unconditional jump (crossing edge) to the
1781 original fall through destination. */
1783 static void
1784 fix_up_fall_thru_edges (void)
1786 basic_block cur_bb;
1787 basic_block new_bb;
1788 edge succ1;
1789 edge succ2;
1790 edge fall_thru;
1791 edge cond_jump = NULL;
1792 bool cond_jump_crosses;
1793 int invert_worked;
1794 rtx_insn *old_jump;
1795 rtx_code_label *fall_thru_label;
1797 FOR_EACH_BB_FN (cur_bb, cfun)
1799 fall_thru = NULL;
1800 if (EDGE_COUNT (cur_bb->succs) > 0)
1801 succ1 = EDGE_SUCC (cur_bb, 0);
1802 else
1803 succ1 = NULL;
1805 if (EDGE_COUNT (cur_bb->succs) > 1)
1806 succ2 = EDGE_SUCC (cur_bb, 1);
1807 else
1808 succ2 = NULL;
1810 /* Find the fall-through edge. */
1812 if (succ1
1813 && (succ1->flags & EDGE_FALLTHRU))
1815 fall_thru = succ1;
1816 cond_jump = succ2;
1818 else if (succ2
1819 && (succ2->flags & EDGE_FALLTHRU))
1821 fall_thru = succ2;
1822 cond_jump = succ1;
1824 else if (succ1
1825 && (block_ends_with_call_p (cur_bb)
1826 || can_throw_internal (BB_END (cur_bb))))
1828 edge e;
1829 edge_iterator ei;
1831 FOR_EACH_EDGE (e, ei, cur_bb->succs)
1832 if (e->flags & EDGE_FALLTHRU)
1834 fall_thru = e;
1835 break;
1839 if (fall_thru && (fall_thru->dest != EXIT_BLOCK_PTR_FOR_FN (cfun)))
1841 /* Check to see if the fall-thru edge is a crossing edge. */
1843 if (fall_thru->flags & EDGE_CROSSING)
1845 /* The fall_thru edge crosses; now check the cond jump edge, if
1846 it exists. */
1848 cond_jump_crosses = true;
1849 invert_worked = 0;
1850 old_jump = BB_END (cur_bb);
1852 /* Find the jump instruction, if there is one. */
1854 if (cond_jump)
1856 if (!(cond_jump->flags & EDGE_CROSSING))
1857 cond_jump_crosses = false;
1859 /* We know the fall-thru edge crosses; if the cond
1860 jump edge does NOT cross, and its destination is the
1861 next block in the bb order, invert the jump
1862 (i.e. fix it so the fall through does not cross and
1863 the cond jump does). */
1865 if (!cond_jump_crosses)
1867 /* Find label in fall_thru block. We've already added
1868 any missing labels, so there must be one. */
1870 fall_thru_label = block_label (fall_thru->dest);
1872 if (old_jump && fall_thru_label)
1874 rtx_jump_insn *old_jump_insn =
1875 dyn_cast <rtx_jump_insn *> (old_jump);
1876 if (old_jump_insn)
1877 invert_worked = invert_jump (old_jump_insn,
1878 fall_thru_label, 0);
1881 if (invert_worked)
1883 fall_thru->flags &= ~EDGE_FALLTHRU;
1884 cond_jump->flags |= EDGE_FALLTHRU;
1885 update_br_prob_note (cur_bb);
1886 std::swap (fall_thru, cond_jump);
1887 cond_jump->flags |= EDGE_CROSSING;
1888 fall_thru->flags &= ~EDGE_CROSSING;
1893 if (cond_jump_crosses || !invert_worked)
1895 /* This is the case where both edges out of the basic
1896 block are crossing edges. Here we will fix up the
1897 fall through edge. The jump edge will be taken care
1898 of later. The EDGE_CROSSING flag of fall_thru edge
1899 is unset before the call to force_nonfallthru
1900 function because if a new basic-block is created
1901 this edge remains in the current section boundary
1902 while the edge between new_bb and the fall_thru->dest
1903 becomes EDGE_CROSSING. */
1905 fall_thru->flags &= ~EDGE_CROSSING;
1906 new_bb = force_nonfallthru (fall_thru);
1908 if (new_bb)
1910 new_bb->aux = cur_bb->aux;
1911 cur_bb->aux = new_bb;
1913 /* This is done by force_nonfallthru_and_redirect. */
1914 gcc_assert (BB_PARTITION (new_bb)
1915 == BB_PARTITION (cur_bb));
1917 single_succ_edge (new_bb)->flags |= EDGE_CROSSING;
1919 else
1921 /* If a new basic-block was not created; restore
1922 the EDGE_CROSSING flag. */
1923 fall_thru->flags |= EDGE_CROSSING;
1926 /* Add barrier after new jump */
1927 emit_barrier_after_bb (new_bb ? new_bb : cur_bb);
1934 /* This function checks the destination block of a "crossing jump" to
1935 see if it has any crossing predecessors that begin with a code label
1936 and end with an unconditional jump. If so, it returns that predecessor
1937 block. (This is to avoid creating lots of new basic blocks that all
1938 contain unconditional jumps to the same destination). */
1940 static basic_block
1941 find_jump_block (basic_block jump_dest)
1943 basic_block source_bb = NULL;
1944 edge e;
1945 rtx_insn *insn;
1946 edge_iterator ei;
1948 FOR_EACH_EDGE (e, ei, jump_dest->preds)
1949 if (e->flags & EDGE_CROSSING)
1951 basic_block src = e->src;
1953 /* Check each predecessor to see if it has a label, and contains
1954 only one executable instruction, which is an unconditional jump.
1955 If so, we can use it. */
1957 if (LABEL_P (BB_HEAD (src)))
1958 for (insn = BB_HEAD (src);
1959 !INSN_P (insn) && insn != NEXT_INSN (BB_END (src));
1960 insn = NEXT_INSN (insn))
1962 if (INSN_P (insn)
1963 && insn == BB_END (src)
1964 && JUMP_P (insn)
1965 && !any_condjump_p (insn))
1967 source_bb = src;
1968 break;
1972 if (source_bb)
1973 break;
1976 return source_bb;
1979 /* Find all BB's with conditional jumps that are crossing edges;
1980 insert a new bb and make the conditional jump branch to the new
1981 bb instead (make the new bb same color so conditional branch won't
1982 be a 'crossing' edge). Insert an unconditional jump from the
1983 new bb to the original destination of the conditional jump. */
1985 static void
1986 fix_crossing_conditional_branches (void)
1988 basic_block cur_bb;
1989 basic_block new_bb;
1990 basic_block dest;
1991 edge succ1;
1992 edge succ2;
1993 edge crossing_edge;
1994 edge new_edge;
1995 rtx set_src;
1996 rtx old_label = NULL_RTX;
1997 rtx_code_label *new_label;
1999 FOR_EACH_BB_FN (cur_bb, cfun)
2001 crossing_edge = NULL;
2002 if (EDGE_COUNT (cur_bb->succs) > 0)
2003 succ1 = EDGE_SUCC (cur_bb, 0);
2004 else
2005 succ1 = NULL;
2007 if (EDGE_COUNT (cur_bb->succs) > 1)
2008 succ2 = EDGE_SUCC (cur_bb, 1);
2009 else
2010 succ2 = NULL;
2012 /* We already took care of fall-through edges, so only one successor
2013 can be a crossing edge. */
2015 if (succ1 && (succ1->flags & EDGE_CROSSING))
2016 crossing_edge = succ1;
2017 else if (succ2 && (succ2->flags & EDGE_CROSSING))
2018 crossing_edge = succ2;
2020 if (crossing_edge)
2022 rtx_insn *old_jump = BB_END (cur_bb);
2024 /* Check to make sure the jump instruction is a
2025 conditional jump. */
2027 set_src = NULL_RTX;
2029 if (any_condjump_p (old_jump))
2031 if (GET_CODE (PATTERN (old_jump)) == SET)
2032 set_src = SET_SRC (PATTERN (old_jump));
2033 else if (GET_CODE (PATTERN (old_jump)) == PARALLEL)
2035 set_src = XVECEXP (PATTERN (old_jump), 0,0);
2036 if (GET_CODE (set_src) == SET)
2037 set_src = SET_SRC (set_src);
2038 else
2039 set_src = NULL_RTX;
2043 if (set_src && (GET_CODE (set_src) == IF_THEN_ELSE))
2045 rtx_jump_insn *old_jump_insn =
2046 as_a <rtx_jump_insn *> (old_jump);
2048 if (GET_CODE (XEXP (set_src, 1)) == PC)
2049 old_label = XEXP (set_src, 2);
2050 else if (GET_CODE (XEXP (set_src, 2)) == PC)
2051 old_label = XEXP (set_src, 1);
2053 /* Check to see if new bb for jumping to that dest has
2054 already been created; if so, use it; if not, create
2055 a new one. */
2057 new_bb = find_jump_block (crossing_edge->dest);
2059 if (new_bb)
2060 new_label = block_label (new_bb);
2061 else
2063 basic_block last_bb;
2064 rtx_code_label *old_jump_target;
2065 rtx_jump_insn *new_jump;
2067 /* Create new basic block to be dest for
2068 conditional jump. */
2070 /* Put appropriate instructions in new bb. */
2072 new_label = gen_label_rtx ();
2073 emit_label (new_label);
2075 gcc_assert (GET_CODE (old_label) == LABEL_REF);
2076 old_jump_target = old_jump_insn->jump_target ();
2077 new_jump = as_a <rtx_jump_insn *>
2078 (emit_jump_insn (targetm.gen_jump (old_jump_target)));
2079 new_jump->set_jump_target (old_jump_target);
2081 last_bb = EXIT_BLOCK_PTR_FOR_FN (cfun)->prev_bb;
2082 new_bb = create_basic_block (new_label, new_jump, last_bb);
2083 new_bb->aux = last_bb->aux;
2084 last_bb->aux = new_bb;
2086 emit_barrier_after_bb (new_bb);
2088 /* Make sure new bb is in same partition as source
2089 of conditional branch. */
2090 BB_COPY_PARTITION (new_bb, cur_bb);
2093 /* Make old jump branch to new bb. */
2095 redirect_jump (old_jump_insn, new_label, 0);
2097 /* Remove crossing_edge as predecessor of 'dest'. */
2099 dest = crossing_edge->dest;
2101 redirect_edge_succ (crossing_edge, new_bb);
2103 /* Make a new edge from new_bb to old dest; new edge
2104 will be a successor for new_bb and a predecessor
2105 for 'dest'. */
2107 if (EDGE_COUNT (new_bb->succs) == 0)
2108 new_edge = make_edge (new_bb, dest, 0);
2109 else
2110 new_edge = EDGE_SUCC (new_bb, 0);
2112 crossing_edge->flags &= ~EDGE_CROSSING;
2113 new_edge->flags |= EDGE_CROSSING;
2119 /* Find any unconditional branches that cross between hot and cold
2120 sections. Convert them into indirect jumps instead. */
2122 static void
2123 fix_crossing_unconditional_branches (void)
2125 basic_block cur_bb;
2126 rtx_insn *last_insn;
2127 rtx label;
2128 rtx label_addr;
2129 rtx_insn *indirect_jump_sequence;
2130 rtx_insn *jump_insn = NULL;
2131 rtx new_reg;
2132 rtx_insn *cur_insn;
2133 edge succ;
2135 FOR_EACH_BB_FN (cur_bb, cfun)
2137 last_insn = BB_END (cur_bb);
2139 if (EDGE_COUNT (cur_bb->succs) < 1)
2140 continue;
2142 succ = EDGE_SUCC (cur_bb, 0);
2144 /* Check to see if bb ends in a crossing (unconditional) jump. At
2145 this point, no crossing jumps should be conditional. */
2147 if (JUMP_P (last_insn)
2148 && (succ->flags & EDGE_CROSSING))
2150 gcc_assert (!any_condjump_p (last_insn));
2152 /* Make sure the jump is not already an indirect or table jump. */
2154 if (!computed_jump_p (last_insn)
2155 && !tablejump_p (last_insn, NULL, NULL))
2157 /* We have found a "crossing" unconditional branch. Now
2158 we must convert it to an indirect jump. First create
2159 reference of label, as target for jump. */
2161 label = JUMP_LABEL (last_insn);
2162 label_addr = gen_rtx_LABEL_REF (Pmode, label);
2163 LABEL_NUSES (label) += 1;
2165 /* Get a register to use for the indirect jump. */
2167 new_reg = gen_reg_rtx (Pmode);
2169 /* Generate indirect the jump sequence. */
2171 start_sequence ();
2172 emit_move_insn (new_reg, label_addr);
2173 emit_indirect_jump (new_reg);
2174 indirect_jump_sequence = get_insns ();
2175 end_sequence ();
2177 /* Make sure every instruction in the new jump sequence has
2178 its basic block set to be cur_bb. */
2180 for (cur_insn = indirect_jump_sequence; cur_insn;
2181 cur_insn = NEXT_INSN (cur_insn))
2183 if (!BARRIER_P (cur_insn))
2184 BLOCK_FOR_INSN (cur_insn) = cur_bb;
2185 if (JUMP_P (cur_insn))
2186 jump_insn = cur_insn;
2189 /* Insert the new (indirect) jump sequence immediately before
2190 the unconditional jump, then delete the unconditional jump. */
2192 emit_insn_before (indirect_jump_sequence, last_insn);
2193 delete_insn (last_insn);
2195 JUMP_LABEL (jump_insn) = label;
2196 LABEL_NUSES (label)++;
2198 /* Make BB_END for cur_bb be the jump instruction (NOT the
2199 barrier instruction at the end of the sequence...). */
2201 BB_END (cur_bb) = jump_insn;
2207 /* Update CROSSING_JUMP_P flags on all jump insns. */
2209 static void
2210 update_crossing_jump_flags (void)
2212 basic_block bb;
2213 edge e;
2214 edge_iterator ei;
2216 FOR_EACH_BB_FN (bb, cfun)
2217 FOR_EACH_EDGE (e, ei, bb->succs)
2218 if (e->flags & EDGE_CROSSING)
2220 if (JUMP_P (BB_END (bb))
2221 /* Some flags were added during fix_up_fall_thru_edges, via
2222 force_nonfallthru_and_redirect. */
2223 && !CROSSING_JUMP_P (BB_END (bb)))
2224 CROSSING_JUMP_P (BB_END (bb)) = 1;
2225 break;
2229 /* Reorder basic blocks. The main entry point to this file. FLAGS is
2230 the set of flags to pass to cfg_layout_initialize(). */
2232 static void
2233 reorder_basic_blocks (void)
2235 int n_traces;
2236 int i;
2237 struct trace *traces;
2239 gcc_assert (current_ir_type () == IR_RTL_CFGLAYOUT);
2241 if (n_basic_blocks_for_fn (cfun) <= NUM_FIXED_BLOCKS + 1)
2242 return;
2244 set_edge_can_fallthru_flag ();
2245 mark_dfs_back_edges ();
2247 /* We are estimating the length of uncond jump insn only once since the code
2248 for getting the insn length always returns the minimal length now. */
2249 if (uncond_jump_length == 0)
2250 uncond_jump_length = get_uncond_jump_length ();
2252 /* We need to know some information for each basic block. */
2253 array_size = GET_ARRAY_SIZE (last_basic_block_for_fn (cfun));
2254 bbd = XNEWVEC (bbro_basic_block_data, array_size);
2255 for (i = 0; i < array_size; i++)
2257 bbd[i].start_of_trace = -1;
2258 bbd[i].end_of_trace = -1;
2259 bbd[i].in_trace = -1;
2260 bbd[i].visited = 0;
2261 bbd[i].heap = NULL;
2262 bbd[i].node = NULL;
2265 traces = XNEWVEC (struct trace, n_basic_blocks_for_fn (cfun));
2266 n_traces = 0;
2267 find_traces (&n_traces, traces);
2268 connect_traces (n_traces, traces);
2269 FREE (traces);
2270 FREE (bbd);
2272 relink_block_chain (/*stay_in_cfglayout_mode=*/true);
2274 if (dump_file)
2276 if (dump_flags & TDF_DETAILS)
2277 dump_reg_info (dump_file);
2278 dump_flow_info (dump_file, dump_flags);
2281 /* Signal that rtl_verify_flow_info_1 can now verify that there
2282 is at most one switch between hot/cold sections. */
2283 crtl->bb_reorder_complete = true;
2286 /* Determine which partition the first basic block in the function
2287 belongs to, then find the first basic block in the current function
2288 that belongs to a different section, and insert a
2289 NOTE_INSN_SWITCH_TEXT_SECTIONS note immediately before it in the
2290 instruction stream. When writing out the assembly code,
2291 encountering this note will make the compiler switch between the
2292 hot and cold text sections. */
2294 void
2295 insert_section_boundary_note (void)
2297 basic_block bb;
2298 bool switched_sections = false;
2299 int current_partition = 0;
2301 if (!crtl->has_bb_partition)
2302 return;
2304 FOR_EACH_BB_FN (bb, cfun)
2306 if (!current_partition)
2307 current_partition = BB_PARTITION (bb);
2308 if (BB_PARTITION (bb) != current_partition)
2310 gcc_assert (!switched_sections);
2311 switched_sections = true;
2312 emit_note_before (NOTE_INSN_SWITCH_TEXT_SECTIONS, BB_HEAD (bb));
2313 current_partition = BB_PARTITION (bb);
2318 namespace {
2320 const pass_data pass_data_reorder_blocks =
2322 RTL_PASS, /* type */
2323 "bbro", /* name */
2324 OPTGROUP_NONE, /* optinfo_flags */
2325 TV_REORDER_BLOCKS, /* tv_id */
2326 0, /* properties_required */
2327 0, /* properties_provided */
2328 0, /* properties_destroyed */
2329 0, /* todo_flags_start */
2330 0, /* todo_flags_finish */
2333 class pass_reorder_blocks : public rtl_opt_pass
2335 public:
2336 pass_reorder_blocks (gcc::context *ctxt)
2337 : rtl_opt_pass (pass_data_reorder_blocks, ctxt)
2340 /* opt_pass methods: */
2341 virtual bool gate (function *)
2343 if (targetm.cannot_modify_jumps_p ())
2344 return false;
2345 return (optimize > 0
2346 && (flag_reorder_blocks || flag_reorder_blocks_and_partition));
2349 virtual unsigned int execute (function *);
2351 }; // class pass_reorder_blocks
2353 unsigned int
2354 pass_reorder_blocks::execute (function *fun)
2356 basic_block bb;
2358 /* Last attempt to optimize CFG, as scheduling, peepholing and insn
2359 splitting possibly introduced more crossjumping opportunities. */
2360 cfg_layout_initialize (CLEANUP_EXPENSIVE);
2362 reorder_basic_blocks ();
2363 cleanup_cfg (CLEANUP_EXPENSIVE);
2365 FOR_EACH_BB_FN (bb, fun)
2366 if (bb->next_bb != EXIT_BLOCK_PTR_FOR_FN (fun))
2367 bb->aux = bb->next_bb;
2368 cfg_layout_finalize ();
2370 return 0;
2373 } // anon namespace
2375 rtl_opt_pass *
2376 make_pass_reorder_blocks (gcc::context *ctxt)
2378 return new pass_reorder_blocks (ctxt);
2381 /* Duplicate the blocks containing computed gotos. This basically unfactors
2382 computed gotos that were factored early on in the compilation process to
2383 speed up edge based data flow. We used to not unfactoring them again,
2384 which can seriously pessimize code with many computed jumps in the source
2385 code, such as interpreters. See e.g. PR15242. */
2387 namespace {
2389 const pass_data pass_data_duplicate_computed_gotos =
2391 RTL_PASS, /* type */
2392 "compgotos", /* name */
2393 OPTGROUP_NONE, /* optinfo_flags */
2394 TV_REORDER_BLOCKS, /* tv_id */
2395 0, /* properties_required */
2396 0, /* properties_provided */
2397 0, /* properties_destroyed */
2398 0, /* todo_flags_start */
2399 0, /* todo_flags_finish */
2402 class pass_duplicate_computed_gotos : public rtl_opt_pass
2404 public:
2405 pass_duplicate_computed_gotos (gcc::context *ctxt)
2406 : rtl_opt_pass (pass_data_duplicate_computed_gotos, ctxt)
2409 /* opt_pass methods: */
2410 virtual bool gate (function *);
2411 virtual unsigned int execute (function *);
2413 }; // class pass_duplicate_computed_gotos
2415 bool
2416 pass_duplicate_computed_gotos::gate (function *fun)
2418 if (targetm.cannot_modify_jumps_p ())
2419 return false;
2420 return (optimize > 0
2421 && flag_expensive_optimizations
2422 && ! optimize_function_for_size_p (fun));
2425 unsigned int
2426 pass_duplicate_computed_gotos::execute (function *fun)
2428 basic_block bb, new_bb;
2429 bitmap candidates;
2430 int max_size;
2431 bool changed = false;
2433 if (n_basic_blocks_for_fn (fun) <= NUM_FIXED_BLOCKS + 1)
2434 return 0;
2436 clear_bb_flags ();
2437 cfg_layout_initialize (0);
2439 /* We are estimating the length of uncond jump insn only once
2440 since the code for getting the insn length always returns
2441 the minimal length now. */
2442 if (uncond_jump_length == 0)
2443 uncond_jump_length = get_uncond_jump_length ();
2445 max_size
2446 = uncond_jump_length * PARAM_VALUE (PARAM_MAX_GOTO_DUPLICATION_INSNS);
2447 candidates = BITMAP_ALLOC (NULL);
2449 /* Look for blocks that end in a computed jump, and see if such blocks
2450 are suitable for unfactoring. If a block is a candidate for unfactoring,
2451 mark it in the candidates. */
2452 FOR_EACH_BB_FN (bb, fun)
2454 rtx_insn *insn;
2455 edge e;
2456 edge_iterator ei;
2457 int size, all_flags;
2459 /* Build the reorder chain for the original order of blocks. */
2460 if (bb->next_bb != EXIT_BLOCK_PTR_FOR_FN (fun))
2461 bb->aux = bb->next_bb;
2463 /* Obviously the block has to end in a computed jump. */
2464 if (!computed_jump_p (BB_END (bb)))
2465 continue;
2467 /* Only consider blocks that can be duplicated. */
2468 if (CROSSING_JUMP_P (BB_END (bb))
2469 || !can_duplicate_block_p (bb))
2470 continue;
2472 /* Make sure that the block is small enough. */
2473 size = 0;
2474 FOR_BB_INSNS (bb, insn)
2475 if (INSN_P (insn))
2477 size += get_attr_min_length (insn);
2478 if (size > max_size)
2479 break;
2481 if (size > max_size)
2482 continue;
2484 /* Final check: there must not be any incoming abnormal edges. */
2485 all_flags = 0;
2486 FOR_EACH_EDGE (e, ei, bb->preds)
2487 all_flags |= e->flags;
2488 if (all_flags & EDGE_COMPLEX)
2489 continue;
2491 bitmap_set_bit (candidates, bb->index);
2494 /* Nothing to do if there is no computed jump here. */
2495 if (bitmap_empty_p (candidates))
2496 goto done;
2498 /* Duplicate computed gotos. */
2499 FOR_EACH_BB_FN (bb, fun)
2501 if (bb->flags & BB_VISITED)
2502 continue;
2504 bb->flags |= BB_VISITED;
2506 /* BB must have one outgoing edge. That edge must not lead to
2507 the exit block or the next block.
2508 The destination must have more than one predecessor. */
2509 if (!single_succ_p (bb)
2510 || single_succ (bb) == EXIT_BLOCK_PTR_FOR_FN (fun)
2511 || single_succ (bb) == bb->next_bb
2512 || single_pred_p (single_succ (bb)))
2513 continue;
2515 /* The successor block has to be a duplication candidate. */
2516 if (!bitmap_bit_p (candidates, single_succ (bb)->index))
2517 continue;
2519 /* Don't duplicate a partition crossing edge, which requires difficult
2520 fixup. */
2521 if (JUMP_P (BB_END (bb)) && CROSSING_JUMP_P (BB_END (bb)))
2522 continue;
2524 new_bb = duplicate_block (single_succ (bb), single_succ_edge (bb), bb);
2525 new_bb->aux = bb->aux;
2526 bb->aux = new_bb;
2527 new_bb->flags |= BB_VISITED;
2528 changed = true;
2531 done:
2532 if (changed)
2534 /* Duplicating blocks above will redirect edges and may cause hot
2535 blocks previously reached by both hot and cold blocks to become
2536 dominated only by cold blocks. */
2537 fixup_partitions ();
2539 /* Merge the duplicated blocks into predecessors, when possible. */
2540 cfg_layout_finalize ();
2541 cleanup_cfg (0);
2543 else
2544 cfg_layout_finalize ();
2546 BITMAP_FREE (candidates);
2547 return 0;
2550 } // anon namespace
2552 rtl_opt_pass *
2553 make_pass_duplicate_computed_gotos (gcc::context *ctxt)
2555 return new pass_duplicate_computed_gotos (ctxt);
2558 /* This function is the main 'entrance' for the optimization that
2559 partitions hot and cold basic blocks into separate sections of the
2560 .o file (to improve performance and cache locality). Ideally it
2561 would be called after all optimizations that rearrange the CFG have
2562 been called. However part of this optimization may introduce new
2563 register usage, so it must be called before register allocation has
2564 occurred. This means that this optimization is actually called
2565 well before the optimization that reorders basic blocks (see
2566 function above).
2568 This optimization checks the feedback information to determine
2569 which basic blocks are hot/cold, updates flags on the basic blocks
2570 to indicate which section they belong in. This information is
2571 later used for writing out sections in the .o file. Because hot
2572 and cold sections can be arbitrarily large (within the bounds of
2573 memory), far beyond the size of a single function, it is necessary
2574 to fix up all edges that cross section boundaries, to make sure the
2575 instructions used can actually span the required distance. The
2576 fixes are described below.
2578 Fall-through edges must be changed into jumps; it is not safe or
2579 legal to fall through across a section boundary. Whenever a
2580 fall-through edge crossing a section boundary is encountered, a new
2581 basic block is inserted (in the same section as the fall-through
2582 source), and the fall through edge is redirected to the new basic
2583 block. The new basic block contains an unconditional jump to the
2584 original fall-through target. (If the unconditional jump is
2585 insufficient to cross section boundaries, that is dealt with a
2586 little later, see below).
2588 In order to deal with architectures that have short conditional
2589 branches (which cannot span all of memory) we take any conditional
2590 jump that attempts to cross a section boundary and add a level of
2591 indirection: it becomes a conditional jump to a new basic block, in
2592 the same section. The new basic block contains an unconditional
2593 jump to the original target, in the other section.
2595 For those architectures whose unconditional branch is also
2596 incapable of reaching all of memory, those unconditional jumps are
2597 converted into indirect jumps, through a register.
2599 IMPORTANT NOTE: This optimization causes some messy interactions
2600 with the cfg cleanup optimizations; those optimizations want to
2601 merge blocks wherever possible, and to collapse indirect jump
2602 sequences (change "A jumps to B jumps to C" directly into "A jumps
2603 to C"). Those optimizations can undo the jump fixes that
2604 partitioning is required to make (see above), in order to ensure
2605 that jumps attempting to cross section boundaries are really able
2606 to cover whatever distance the jump requires (on many architectures
2607 conditional or unconditional jumps are not able to reach all of
2608 memory). Therefore tests have to be inserted into each such
2609 optimization to make sure that it does not undo stuff necessary to
2610 cross partition boundaries. This would be much less of a problem
2611 if we could perform this optimization later in the compilation, but
2612 unfortunately the fact that we may need to create indirect jumps
2613 (through registers) requires that this optimization be performed
2614 before register allocation.
2616 Hot and cold basic blocks are partitioned and put in separate
2617 sections of the .o file, to reduce paging and improve cache
2618 performance (hopefully). This can result in bits of code from the
2619 same function being widely separated in the .o file. However this
2620 is not obvious to the current bb structure. Therefore we must take
2621 care to ensure that: 1). There are no fall_thru edges that cross
2622 between sections; 2). For those architectures which have "short"
2623 conditional branches, all conditional branches that attempt to
2624 cross between sections are converted to unconditional branches;
2625 and, 3). For those architectures which have "short" unconditional
2626 branches, all unconditional branches that attempt to cross between
2627 sections are converted to indirect jumps.
2629 The code for fixing up fall_thru edges that cross between hot and
2630 cold basic blocks does so by creating new basic blocks containing
2631 unconditional branches to the appropriate label in the "other"
2632 section. The new basic block is then put in the same (hot or cold)
2633 section as the original conditional branch, and the fall_thru edge
2634 is modified to fall into the new basic block instead. By adding
2635 this level of indirection we end up with only unconditional branches
2636 crossing between hot and cold sections.
2638 Conditional branches are dealt with by adding a level of indirection.
2639 A new basic block is added in the same (hot/cold) section as the
2640 conditional branch, and the conditional branch is retargeted to the
2641 new basic block. The new basic block contains an unconditional branch
2642 to the original target of the conditional branch (in the other section).
2644 Unconditional branches are dealt with by converting them into
2645 indirect jumps. */
2647 namespace {
2649 const pass_data pass_data_partition_blocks =
2651 RTL_PASS, /* type */
2652 "bbpart", /* name */
2653 OPTGROUP_NONE, /* optinfo_flags */
2654 TV_REORDER_BLOCKS, /* tv_id */
2655 PROP_cfglayout, /* properties_required */
2656 0, /* properties_provided */
2657 0, /* properties_destroyed */
2658 0, /* todo_flags_start */
2659 0, /* todo_flags_finish */
2662 class pass_partition_blocks : public rtl_opt_pass
2664 public:
2665 pass_partition_blocks (gcc::context *ctxt)
2666 : rtl_opt_pass (pass_data_partition_blocks, ctxt)
2669 /* opt_pass methods: */
2670 virtual bool gate (function *);
2671 virtual unsigned int execute (function *);
2673 }; // class pass_partition_blocks
2675 bool
2676 pass_partition_blocks::gate (function *fun)
2678 /* The optimization to partition hot/cold basic blocks into separate
2679 sections of the .o file does not work well with linkonce or with
2680 user defined section attributes. Don't call it if either case
2681 arises. */
2682 return (flag_reorder_blocks_and_partition
2683 && optimize
2684 /* See gate_handle_reorder_blocks. We should not partition if
2685 we are going to omit the reordering. */
2686 && optimize_function_for_speed_p (fun)
2687 && !DECL_COMDAT_GROUP (current_function_decl)
2688 && !user_defined_section_attribute);
2691 unsigned
2692 pass_partition_blocks::execute (function *fun)
2694 vec<edge> crossing_edges;
2696 if (n_basic_blocks_for_fn (fun) <= NUM_FIXED_BLOCKS + 1)
2697 return 0;
2699 df_set_flags (DF_DEFER_INSN_RESCAN);
2701 crossing_edges = find_rarely_executed_basic_blocks_and_crossing_edges ();
2702 if (!crossing_edges.exists ())
2703 return 0;
2705 crtl->has_bb_partition = true;
2707 /* Make sure the source of any crossing edge ends in a jump and the
2708 destination of any crossing edge has a label. */
2709 add_labels_and_missing_jumps (crossing_edges);
2711 /* Convert all crossing fall_thru edges to non-crossing fall
2712 thrus to unconditional jumps (that jump to the original fall
2713 through dest). */
2714 fix_up_fall_thru_edges ();
2716 /* If the architecture does not have conditional branches that can
2717 span all of memory, convert crossing conditional branches into
2718 crossing unconditional branches. */
2719 if (!HAS_LONG_COND_BRANCH)
2720 fix_crossing_conditional_branches ();
2722 /* If the architecture does not have unconditional branches that
2723 can span all of memory, convert crossing unconditional branches
2724 into indirect jumps. Since adding an indirect jump also adds
2725 a new register usage, update the register usage information as
2726 well. */
2727 if (!HAS_LONG_UNCOND_BRANCH)
2728 fix_crossing_unconditional_branches ();
2730 update_crossing_jump_flags ();
2732 /* Clear bb->aux fields that the above routines were using. */
2733 clear_aux_for_blocks ();
2735 crossing_edges.release ();
2737 /* ??? FIXME: DF generates the bb info for a block immediately.
2738 And by immediately, I mean *during* creation of the block.
2740 #0 df_bb_refs_collect
2741 #1 in df_bb_refs_record
2742 #2 in create_basic_block_structure
2744 Which means that the bb_has_eh_pred test in df_bb_refs_collect
2745 will *always* fail, because no edges can have been added to the
2746 block yet. Which of course means we don't add the right
2747 artificial refs, which means we fail df_verify (much) later.
2749 Cleanest solution would seem to make DF_DEFER_INSN_RESCAN imply
2750 that we also shouldn't grab data from the new blocks those new
2751 insns are in either. In this way one can create the block, link
2752 it up properly, and have everything Just Work later, when deferred
2753 insns are processed.
2755 In the meantime, we have no other option but to throw away all
2756 of the DF data and recompute it all. */
2757 if (fun->eh->lp_array)
2759 df_finish_pass (true);
2760 df_scan_alloc (NULL);
2761 df_scan_blocks ();
2762 /* Not all post-landing pads use all of the EH_RETURN_DATA_REGNO
2763 data. We blindly generated all of them when creating the new
2764 landing pad. Delete those assignments we don't use. */
2765 df_set_flags (DF_LR_RUN_DCE);
2766 df_analyze ();
2769 return 0;
2772 } // anon namespace
2774 rtl_opt_pass *
2775 make_pass_partition_blocks (gcc::context *ctxt)
2777 return new pass_partition_blocks (ctxt);