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)
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
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
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.
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
83 #include "coretypes.h"
95 #include "insn-config.h"
100 #include "emit-rtl.h"
106 #include "diagnostic-core.h"
107 #include "toplev.h" /* user_defined_section_attribute */
108 #include "tree-pass.h"
111 #include "cfgbuild.h"
112 #include "cfgcleanup.h"
113 #include "bb-reorder.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. */
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
;
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). */
150 /* Which trace is the bb end of (-1 means it is not an end of any). */
153 /* Which trace is the bb in? */
156 /* Which trace was this bb visited in? */
159 /* Which heap is BB in (if any)? */
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. */
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. */
188 /* The length (i.e. the number of basic blocks) of the trace. */
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,
206 static bool connect_better_edge_p (const_edge
, bool, int, const_edge
,
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. */
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. */
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. */
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
)
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
268 find_traces (int *n_traces
, struct trace
*traces
)
271 int number_of_rounds
;
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;
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
;
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;
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
,
317 for (i
= 0; i
< *n_traces
; i
++)
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
);
332 /* Rotate loop whose back edge is BACK_EDGE in the tail of trace TRACE
333 (with sequential number TRACE_N). */
336 rotate_loop (edge back_edge
, struct trace
*trace
, int trace_n
)
340 /* Information about the best end (end after rotation) of the loop. */
341 basic_block best_bb
= NULL
;
342 edge best_edge
= NULL
;
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
;
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
))
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
)
373 best_count
= e
->count
;
381 if (!bb_visited_trace (e
->dest
)
382 || bbd
[e
->dest
->index
].start_of_trace
>= 0)
384 /* The current edge E is preferred. */
386 best_freq
= EDGE_FREQUENCY (e
);
387 best_count
= e
->count
;
393 int freq
= EDGE_FREQUENCY (e
);
394 if (!best_edge
|| freq
> best_freq
|| e
->count
> best_count
)
397 best_count
= e
->count
;
404 bb
= (basic_block
) bb
->aux
;
406 while (bb
!= back_edge
->dest
);
410 /* Rotate the loop so that the BEST_EDGE goes out from the last block of
412 if (back_edge
->dest
== trace
->first
)
414 trace
->first
= (basic_block
) best_bb
->aux
;
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
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
);
441 /* We have not found suitable loop tail so do no rotation. */
442 best_bb
= back_edge
->src
;
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. */
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
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 ())
474 bb
= (*heap
)->extract_min ();
475 bbd
[bb
->index
].heap
= NULL
;
476 bbd
[bb
->index
].node
= NULL
;
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. */
487 && push_to_next_round_p (bb
, round
, number_of_rounds
, exec_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
);
496 " Possible start point of next round: %d (key: %d)\n",
501 trace
= traces
+ *n_traces
;
503 trace
->round
= round
;
505 bbd
[bb
->index
].in_trace
= *n_traces
;
513 /* The probability and frequency of the best edge. */
514 int best_prob
= INT_MIN
/ 2;
515 int best_freq
= INT_MIN
/ 2;
518 mark_bb_visited (bb
, *n_traces
);
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
))
535 if (bb_visited_trace (e
->dest
)
536 && bb_visited_trace (e
->dest
) != *n_traces
)
539 if (BB_PARTITION (e
->dest
) != BB_PARTITION (bb
))
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. */
549 if (e
->flags
& EDGE_CAN_FALLTHRU
)
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
)))
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
,
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))
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))
609 /* Add all non-selected successors to the heaps. */
610 FOR_EACH_EDGE (e
, ei
, bb
->succs
)
613 || e
->dest
== EXIT_BLOCK_PTR_FOR_FN (cfun
)
614 || bb_visited_trace (e
->dest
))
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 ())
627 "Changing key for bb %d from %ld to %ld.\n",
629 (long) bbd
[e
->dest
->index
].node
->get_key (),
632 bbd
[e
->dest
->index
].heap
->replace_key
633 (bbd
[e
->dest
->index
].node
, key
);
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
,
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
);
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. */
688 != ENTRY_BLOCK_PTR_FOR_FN (cfun
)->next_bb
)
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
=
699 bb
= rotate_loop (best_edge
, trace
, *n_traces
);
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
711 bb
= copy_bb (best_edge
->dest
, best_edge
, bb
,
718 /* Terminate the trace. */
723 /* Check for a situation
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:
746 FOR_EACH_EDGE (e
, ei
, bb
->succs
)
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
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
)
763 fprintf (dump_file
, "Selecting BB %d\n",
764 best_edge
->dest
->index
);
768 bb
->aux
= best_edge
->dest
;
769 bbd
[best_edge
->dest
->index
].in_trace
= (*n_traces
) - 1;
770 bb
= best_edge
->dest
;
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
))
788 if (bbd
[e
->dest
->index
].heap
)
790 key
= bb_to_key (e
->dest
);
791 if (key
!= bbd
[e
->dest
->index
].node
->get_key ())
796 "Changing key for bb %d from %ld to %ld.\n",
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
);
809 /* "Return" the 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). */
818 copy_bb (basic_block old_bb
, edge e
, basic_block bb
, int trace
)
822 new_bb
= duplicate_block (old_bb
, e
, bb
);
823 BB_COPY_PARTITION (new_bb
, old_bb
);
825 gcc_assert (e
->dest
== new_bb
);
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
)
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;
850 array_size
= new_size
;
855 "Growing the dynamic array to %d elements.\n",
860 gcc_assert (!bb_visited_trace (e
->dest
));
861 mark_bb_visited (new_bb
, trace
);
862 new_bb
->aux
= bb
->aux
;
865 bbd
[new_bb
->index
].in_trace
= trace
;
870 /* Compute and return the key (for the heap) of the basic block BB. */
873 bb_to_key (basic_block bb
)
879 /* Use index as key to align with its original order. */
880 if (optimize_function_for_size_p (cfun
))
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
))
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
;
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. */
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
)
924 /* The BEST_* values do not have to be best, but can be a bit smaller than
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;
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. */
960 && flag_reorder_blocks_and_partition
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
979 connect_better_edge_p (const_edge e
, bool src_index_p
, int best_len
,
980 const_edge cur_best_edge
, struct trace
*traces
)
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
;
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;
1013 is_better_edge
= false;
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;
1030 is_better_edge
= false;
1033 return is_better_edge
;
1036 /* Connect traces in array TRACES, N_TRACES is the count of traces. */
1039 connect_traces (int n_traces
, struct trace
*traces
)
1046 int current_partition
;
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;
1055 count_threshold
= max_entry_count
/ 1000 * DUPLICATION_THRESHOLD
;
1057 connected
= XCNEWVEC (bool, n_traces
);
1060 current_partition
= BB_PARTITION (traces
[0].first
);
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
))
1069 for (i
= 0; i
< n_traces
|| (two_passes
&& current_pass
== 1) ; i
++)
1078 gcc_assert (two_passes
&& current_pass
== 1);
1082 if (current_partition
== BB_HOT_PARTITION
)
1083 current_partition
= BB_COLD_PARTITION
;
1085 current_partition
= BB_HOT_PARTITION
;
1092 && BB_PARTITION (traces
[t
].first
) != current_partition
)
1095 connected
[t
] = true;
1097 /* Find the predecessor traces. */
1098 for (t2
= t
; t2
> 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
))
1116 best_len
= traces
[bbd
[si
].end_of_trace
].length
;
1121 best
->src
->aux
= best
->dest
;
1122 t2
= bbd
[best
->src
->index
].end_of_trace
;
1123 connected
[t2
] = true;
1127 fprintf (dump_file
, "Connection: %d %d\n",
1128 best
->src
->index
, best
->dest
->index
);
1135 if (last_trace
>= 0)
1136 traces
[last_trace
].last
->aux
= traces
[t2
].first
;
1139 /* Find the successor traces. */
1142 /* Find the continuation of the chain. */
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
))
1159 best_len
= traces
[bbd
[di
].start_of_trace
].length
;
1166 /* Stop finding the successor traces. */
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
)
1179 /* If dest has multiple predecessors, skip it. We expect
1180 that one predecessor with smaller index connects with it
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)
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;
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;
1215 /* Try to connect the traces by duplication of 1 block. */
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
))
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
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
1255 || e2
->probability
> best2
->probability
1256 || (e2
->probability
== best2
->probability
1257 && traces
[bbd
[di
].start_of_trace
].length
1262 if (e2
->dest
!= EXIT_BLOCK_PTR_FOR_FN (cfun
))
1263 best2_len
= traces
[bbd
[di
].start_of_trace
].length
;
1265 best2_len
= INT_MAX
;
1272 if (crtl
->has_bb_partition
)
1275 /* Copy tiny blocks always; copy larger blocks only when the
1276 edge is traversed frequently enough. */
1278 && copy_bb_p (best
->dest
,
1279 optimize_edge_for_speed_p (best
)
1280 && EDGE_FREQUENCY (best
) >= freq_threshold
1281 && best
->count
>= count_threshold
))
1287 fprintf (dump_file
, "Connection: %d %d ",
1288 traces
[t
].last
->index
, best
->dest
->index
);
1290 fputc ('\n', dump_file
);
1291 else if (next_bb
== EXIT_BLOCK_PTR_FOR_FN (cfun
))
1292 fprintf (dump_file
, "exit\n");
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;
1307 break; /* Stop finding the successor traces. */
1310 break; /* Stop finding the successor traces. */
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");
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. */
1333 copy_bb_p (const_basic_block bb
, int code_may_grow
)
1336 int max_size
= uncond_jump_length
;
1341 if (EDGE_COUNT (bb
->preds
) < 2)
1343 if (!can_duplicate_block_p (bb
))
1346 /* Avoid duplicating blocks which have many successors (PR/13430). */
1347 if (EDGE_COUNT (bb
->succs
) > 8)
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
)
1356 size
+= get_attr_min_length (insn
);
1359 if (size
<= max_size
)
1365 "Block %d can't be copied because its size = %d.\n",
1372 /* Return the length of unconditional jump instruction. */
1375 get_uncond_jump_length (void)
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
);
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. */
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
;
1398 unsigned new_partition
;
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
);
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. */
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 ()
1473 basic_block bb
= hot_bbs_to_check
.pop ();
1474 vec
<edge
, va_gc
> *edges
= walk_up
? bb
->preds
: bb
->succs
;
1477 int highest_probability
= 0;
1478 int highest_freq
= 0;
1479 gcov_type highest_count
= 0;
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
)
1492 if (BB_PARTITION (reach_bb
) != BB_COLD_PARTITION
)
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. */
1517 FOR_EACH_EDGE (e
, ei
, edges
)
1519 if (e
->flags
& EDGE_DFS_BACK
)
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
1526 if (e
->count
< highest_count
)
1529 else if (highest_freq
)
1531 if (EDGE_FREQUENCY (e
) < highest_freq
)
1534 else if (e
->probability
< highest_probability
)
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
);
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. */
1560 find_rarely_executed_basic_blocks_and_crossing_edges (void)
1562 vec
<edge
> crossing_edges
= vNULL
;
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. */
1581 FOR_EACH_EDGE (e
, ei
, bb
->preds
)
1582 if (!probably_never_executed_edge_p (cfun
, e
))
1590 BB_SET_PARTITION (bb
, BB_COLD_PARTITION
);
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. */
1612 mark_dfs_back_edges ();
1613 cold_bb_count
= sanitize_hot_paths (true, cold_bb_count
,
1614 &bbs_in_hot_partition
);
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
)
1627 FOR_EACH_VEC_ELT (*cfun
->eh
->lp_array
, i
, lp
)
1629 bool all_same
, all_diff
;
1632 || lp
->landing_pad
== NULL_RTX
1633 || !LABEL_P (lp
->landing_pad
))
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
))
1651 int which
= BB_PARTITION (bb
);
1652 which
^= BB_HOT_PARTITION
| BB_COLD_PARTITION
;
1653 BB_SET_PARTITION (bb
, which
);
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
;
1685 return crossing_edges
;
1688 /* Set the flag EDGE_CAN_FALLTHRU for edges that can be fallthru. */
1691 set_edge_can_fallthru_flag (void)
1695 FOR_EACH_BB_FN (bb
, cfun
)
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)
1713 if (!any_condjump_p (BB_END (bb
)))
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))
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. */
1729 add_labels_and_missing_jumps (vec
<edge
> crossing_edges
)
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
))
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
))
1749 if ((e
->flags
& EDGE_FALLTHRU
) == 0)
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
)))
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. */
1784 fix_up_fall_thru_edges (void)
1791 edge cond_jump
= NULL
;
1792 bool cond_jump_crosses
;
1795 rtx_code_label
*fall_thru_label
;
1797 FOR_EACH_BB_FN (cur_bb
, cfun
)
1800 if (EDGE_COUNT (cur_bb
->succs
) > 0)
1801 succ1
= EDGE_SUCC (cur_bb
, 0);
1805 if (EDGE_COUNT (cur_bb
->succs
) > 1)
1806 succ2
= EDGE_SUCC (cur_bb
, 1);
1810 /* Find the fall-through edge. */
1813 && (succ1
->flags
& EDGE_FALLTHRU
))
1819 && (succ2
->flags
& EDGE_FALLTHRU
))
1825 && (block_ends_with_call_p (cur_bb
)
1826 || can_throw_internal (BB_END (cur_bb
))))
1831 FOR_EACH_EDGE (e
, ei
, cur_bb
->succs
)
1832 if (e
->flags
& EDGE_FALLTHRU
)
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
1848 cond_jump_crosses
= true;
1850 old_jump
= BB_END (cur_bb
);
1852 /* Find the jump instruction, if there is one. */
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
);
1877 invert_worked
= invert_jump (old_jump_insn
,
1878 fall_thru_label
, 0);
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
);
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
;
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). */
1941 find_jump_block (basic_block jump_dest
)
1943 basic_block source_bb
= NULL
;
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
))
1963 && insn
== BB_END (src
)
1965 && !any_condjump_p (insn
))
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. */
1986 fix_crossing_conditional_branches (void)
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);
2007 if (EDGE_COUNT (cur_bb
->succs
) > 1)
2008 succ2
= EDGE_SUCC (cur_bb
, 1);
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
;
2022 rtx_insn
*old_jump
= BB_END (cur_bb
);
2024 /* Check to make sure the jump instruction is a
2025 conditional jump. */
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
);
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
2057 new_bb
= find_jump_block (crossing_edge
->dest
);
2060 new_label
= block_label (new_bb
);
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
2107 if (EDGE_COUNT (new_bb
->succs
) == 0)
2108 new_edge
= make_edge (new_bb
, dest
, 0);
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. */
2123 fix_crossing_unconditional_branches (void)
2126 rtx_insn
*last_insn
;
2129 rtx_insn
*indirect_jump_sequence
;
2130 rtx_insn
*jump_insn
= NULL
;
2135 FOR_EACH_BB_FN (cur_bb
, cfun
)
2137 last_insn
= BB_END (cur_bb
);
2139 if (EDGE_COUNT (cur_bb
->succs
) < 1)
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. */
2172 emit_move_insn (new_reg
, label_addr
);
2173 emit_indirect_jump (new_reg
);
2174 indirect_jump_sequence
= get_insns ();
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. */
2210 update_crossing_jump_flags (void)
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;
2229 /* Reorder basic blocks. The main entry point to this file. FLAGS is
2230 the set of flags to pass to cfg_layout_initialize(). */
2233 reorder_basic_blocks (void)
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)
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;
2265 traces
= XNEWVEC (struct trace
, n_basic_blocks_for_fn (cfun
));
2267 find_traces (&n_traces
, traces
);
2268 connect_traces (n_traces
, traces
);
2272 relink_block_chain (/*stay_in_cfglayout_mode=*/true);
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. */
2295 insert_section_boundary_note (void)
2298 bool switched_sections
= false;
2299 int current_partition
= 0;
2301 if (!crtl
->has_bb_partition
)
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
);
2320 const pass_data pass_data_reorder_blocks
=
2322 RTL_PASS
, /* type */
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
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 ())
2345 return (optimize
> 0
2346 && (flag_reorder_blocks
|| flag_reorder_blocks_and_partition
));
2349 virtual unsigned int execute (function
*);
2351 }; // class pass_reorder_blocks
2354 pass_reorder_blocks::execute (function
*fun
)
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 ();
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. */
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
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
2416 pass_duplicate_computed_gotos::gate (function
*fun
)
2418 if (targetm
.cannot_modify_jumps_p ())
2420 return (optimize
> 0
2421 && flag_expensive_optimizations
2422 && ! optimize_function_for_size_p (fun
));
2426 pass_duplicate_computed_gotos::execute (function
*fun
)
2428 basic_block bb
, new_bb
;
2431 bool changed
= false;
2433 if (n_basic_blocks_for_fn (fun
) <= NUM_FIXED_BLOCKS
+ 1)
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 ();
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
)
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
)))
2467 /* Only consider blocks that can be duplicated. */
2468 if (CROSSING_JUMP_P (BB_END (bb
))
2469 || !can_duplicate_block_p (bb
))
2472 /* Make sure that the block is small enough. */
2474 FOR_BB_INSNS (bb
, insn
)
2477 size
+= get_attr_min_length (insn
);
2478 if (size
> max_size
)
2481 if (size
> max_size
)
2484 /* Final check: there must not be any incoming abnormal edges. */
2486 FOR_EACH_EDGE (e
, ei
, bb
->preds
)
2487 all_flags
|= e
->flags
;
2488 if (all_flags
& EDGE_COMPLEX
)
2491 bitmap_set_bit (candidates
, bb
->index
);
2494 /* Nothing to do if there is no computed jump here. */
2495 if (bitmap_empty_p (candidates
))
2498 /* Duplicate computed gotos. */
2499 FOR_EACH_BB_FN (bb
, fun
)
2501 if (bb
->flags
& BB_VISITED
)
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
)))
2515 /* The successor block has to be a duplication candidate. */
2516 if (!bitmap_bit_p (candidates
, single_succ (bb
)->index
))
2519 /* Don't duplicate a partition crossing edge, which requires difficult
2521 if (JUMP_P (BB_END (bb
)) && CROSSING_JUMP_P (BB_END (bb
)))
2524 new_bb
= duplicate_block (single_succ (bb
), single_succ_edge (bb
), bb
);
2525 new_bb
->aux
= bb
->aux
;
2527 new_bb
->flags
|= BB_VISITED
;
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 ();
2544 cfg_layout_finalize ();
2546 BITMAP_FREE (candidates
);
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
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
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
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
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
2682 return (flag_reorder_blocks_and_partition
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
);
2692 pass_partition_blocks::execute (function
*fun
)
2694 vec
<edge
> crossing_edges
;
2696 if (n_basic_blocks_for_fn (fun
) <= NUM_FIXED_BLOCKS
+ 1)
2699 df_set_flags (DF_DEFER_INSN_RESCAN
);
2701 crossing_edges
= find_rarely_executed_basic_blocks_and_crossing_edges ();
2702 if (!crossing_edges
.exists ())
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
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
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
);
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
);
2775 make_pass_partition_blocks (gcc::context
*ctxt
)
2777 return new pass_partition_blocks (ctxt
);