1 /* Shrink-wrapping related optimizations.
2 Copyright (C) 1987-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 under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
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 file handles shrink-wrapping related optimizations. */
24 #include "coretypes.h"
35 #include "tree-pass.h"
38 #include "bb-reorder.h"
39 #include "shrink-wrap.h"
44 /* Return true if INSN requires the stack frame to be set up.
45 PROLOGUE_USED contains the hard registers used in the function
46 prologue. SET_UP_BY_PROLOGUE is the set of registers we expect the
47 prologue to set up for the function. */
49 requires_stack_frame_p (rtx_insn
*insn
, HARD_REG_SET prologue_used
,
50 HARD_REG_SET set_up_by_prologue
)
53 HARD_REG_SET hardregs
;
57 return !SIBLING_CALL_P (insn
);
59 /* We need a frame to get the unique CFA expected by the unwinder. */
60 if (cfun
->can_throw_non_call_exceptions
&& can_throw_internal (insn
))
63 CLEAR_HARD_REG_SET (hardregs
);
64 FOR_EACH_INSN_DEF (def
, insn
)
66 rtx dreg
= DF_REF_REG (def
);
71 add_to_hard_reg_set (&hardregs
, GET_MODE (dreg
), REGNO (dreg
));
73 if (hard_reg_set_intersect_p (hardregs
, prologue_used
))
75 AND_COMPL_HARD_REG_SET (hardregs
, call_used_reg_set
);
76 for (regno
= 0; regno
< FIRST_PSEUDO_REGISTER
; regno
++)
77 if (TEST_HARD_REG_BIT (hardregs
, regno
)
78 && df_regs_ever_live_p (regno
))
81 FOR_EACH_INSN_USE (use
, insn
)
83 rtx reg
= DF_REF_REG (use
);
88 add_to_hard_reg_set (&hardregs
, GET_MODE (reg
),
91 if (hard_reg_set_intersect_p (hardregs
, set_up_by_prologue
))
97 /* See whether there has a single live edge from BB, which dest uses
98 [REGNO, END_REGNO). Return the live edge if its dest bb has
99 one or two predecessors. Otherwise return NULL. */
102 live_edge_for_reg (basic_block bb
, int regno
, int end_regno
)
110 FOR_EACH_EDGE (e
, ei
, bb
->succs
)
112 live
= df_get_live_in (e
->dest
);
113 for (i
= regno
; i
< end_regno
; i
++)
114 if (REGNO_REG_SET_P (live
, i
))
116 if (live_edge
&& live_edge
!= e
)
122 /* We can sometimes encounter dead code. Don't try to move it
123 into the exit block. */
124 if (!live_edge
|| live_edge
->dest
== EXIT_BLOCK_PTR_FOR_FN (cfun
))
127 /* Reject targets of abnormal edges. This is needed for correctness
128 on ports like Alpha and MIPS, whose pic_offset_table_rtx can die on
129 exception edges even though it is generally treated as call-saved
130 for the majority of the compilation. Moving across abnormal edges
131 isn't going to be interesting for shrink-wrap usage anyway. */
132 if (live_edge
->flags
& EDGE_ABNORMAL
)
135 /* When live_edge->dest->preds == 2, we can create a new block on
136 the edge to make it meet the requirement. */
137 if (EDGE_COUNT (live_edge
->dest
->preds
) > 2)
143 /* Try to move INSN from BB to a successor. Return true on success.
144 USES and DEFS are the set of registers that are used and defined
145 after INSN in BB. SPLIT_P indicates whether a live edge from BB
146 is splitted or not. */
149 move_insn_for_shrink_wrap (basic_block bb
, rtx_insn
*insn
,
150 const HARD_REG_SET uses
,
151 const HARD_REG_SET defs
,
155 bitmap live_out
, live_in
, bb_uses
, bb_defs
;
156 unsigned int i
, dregno
, end_dregno
;
157 unsigned int sregno
= FIRST_PSEUDO_REGISTER
;
158 unsigned int end_sregno
= FIRST_PSEUDO_REGISTER
;
159 basic_block next_block
;
162 /* Look for a simple register assignment. We don't use single_set here
163 because we can't deal with any CLOBBERs, USEs, or REG_UNUSED secondary
167 set
= PATTERN (insn
);
168 if (GET_CODE (set
) != SET
)
171 dest
= SET_DEST (set
);
173 /* For the destination, we want only a register. Also disallow STACK
174 or FRAME related adjustments. They are likely part of the prologue,
175 so keep them in the entry block. */
177 || dest
== stack_pointer_rtx
178 || dest
== frame_pointer_rtx
179 || dest
== hard_frame_pointer_rtx
)
182 /* For the source, we want one of:
183 (1) A (non-overlapping) register
185 (3) An expression involving no more than one register.
187 That last point comes from the code following, which was originally
188 written to handle only register move operations, and still only handles
189 a single source register when checking for overlaps. Happily, the
190 same checks can be applied to expressions like (plus reg const). */
192 if (CONSTANT_P (src
))
194 else if (!REG_P (src
))
196 rtx src_inner
= NULL_RTX
;
198 if (can_throw_internal (insn
))
201 subrtx_var_iterator::array_type array
;
202 FOR_EACH_SUBRTX_VAR (iter
, array
, src
, ALL
)
205 switch (GET_RTX_CLASS (GET_CODE (x
)))
209 case RTX_COMM_COMPARE
:
214 /* Constant or expression. Continue. */
219 switch (GET_CODE (x
))
223 case STRICT_LOW_PART
:
230 /* Fail if we see a second inner register. */
231 if (src_inner
!= NULL
)
246 if (src_inner
!= NULL
)
250 /* Make sure that the source register isn't defined later in BB. */
253 sregno
= REGNO (src
);
254 end_sregno
= END_REGNO (src
);
255 if (overlaps_hard_reg_set_p (defs
, GET_MODE (src
), sregno
))
259 /* Make sure that the destination register isn't referenced later in BB. */
260 dregno
= REGNO (dest
);
261 end_dregno
= END_REGNO (dest
);
262 if (overlaps_hard_reg_set_p (uses
, GET_MODE (dest
), dregno
)
263 || overlaps_hard_reg_set_p (defs
, GET_MODE (dest
), dregno
))
266 /* See whether there is a successor block to which we could move INSN. */
267 live_edge
= live_edge_for_reg (bb
, dregno
, end_dregno
);
271 next_block
= live_edge
->dest
;
272 /* Create a new basic block on the edge. */
273 if (EDGE_COUNT (next_block
->preds
) == 2)
275 /* split_edge for a block with only one successor is meaningless. */
276 if (EDGE_COUNT (bb
->succs
) == 1)
279 /* If DF_LIVE doesn't exist, i.e. at -O1, just give up. */
283 basic_block old_dest
= live_edge
->dest
;
284 next_block
= split_edge (live_edge
);
286 /* We create a new basic block. Call df_grow_bb_info to make sure
287 all data structures are allocated. */
288 df_grow_bb_info (df_live
);
290 bitmap_and (df_get_live_in (next_block
), df_get_live_out (bb
),
291 df_get_live_in (old_dest
));
292 df_set_bb_dirty (next_block
);
294 /* We should not split more than once for a function. */
301 /* At this point we are committed to moving INSN, but let's try to
302 move it as far as we can. */
305 live_out
= df_get_live_out (bb
);
306 live_in
= df_get_live_in (next_block
);
309 /* Check whether BB uses DEST or clobbers DEST. We need to add
310 INSN to BB if so. Either way, DEST is no longer live on entry,
311 except for any part that overlaps SRC (next loop). */
312 bb_uses
= &DF_LR_BB_INFO (bb
)->use
;
313 bb_defs
= &DF_LR_BB_INFO (bb
)->def
;
316 for (i
= dregno
; i
< end_dregno
; i
++)
319 || REGNO_REG_SET_P (bb_uses
, i
)
320 || REGNO_REG_SET_P (bb_defs
, i
)
321 || REGNO_REG_SET_P (&DF_LIVE_BB_INFO (bb
)->gen
, i
))
323 CLEAR_REGNO_REG_SET (live_out
, i
);
324 CLEAR_REGNO_REG_SET (live_in
, i
);
327 /* Check whether BB clobbers SRC. We need to add INSN to BB if so.
328 Either way, SRC is now live on entry. */
329 for (i
= sregno
; i
< end_sregno
; i
++)
332 || REGNO_REG_SET_P (bb_defs
, i
)
333 || REGNO_REG_SET_P (&DF_LIVE_BB_INFO (bb
)->gen
, i
))
335 SET_REGNO_REG_SET (live_out
, i
);
336 SET_REGNO_REG_SET (live_in
, i
);
341 /* DF_LR_BB_INFO (bb)->def does not comprise the DF_REF_PARTIAL and
342 DF_REF_CONDITIONAL defs. So if DF_LIVE doesn't exist, i.e.
343 at -O1, just give up searching NEXT_BLOCK. */
345 for (i
= dregno
; i
< end_dregno
; i
++)
347 CLEAR_REGNO_REG_SET (live_out
, i
);
348 CLEAR_REGNO_REG_SET (live_in
, i
);
351 for (i
= sregno
; i
< end_sregno
; i
++)
353 SET_REGNO_REG_SET (live_out
, i
);
354 SET_REGNO_REG_SET (live_in
, i
);
358 /* If we don't need to add the move to BB, look for a single
362 live_edge
= live_edge_for_reg (next_block
, dregno
, end_dregno
);
363 if (!live_edge
|| EDGE_COUNT (live_edge
->dest
->preds
) > 1)
365 next_block
= live_edge
->dest
;
370 /* For the new created basic block, there is no dataflow info at all.
371 So skip the following dataflow update and check. */
374 /* BB now defines DEST. It only uses the parts of DEST that overlap SRC
376 for (i
= dregno
; i
< end_dregno
; i
++)
378 CLEAR_REGNO_REG_SET (bb_uses
, i
);
379 SET_REGNO_REG_SET (bb_defs
, i
);
382 /* BB now uses SRC. */
383 for (i
= sregno
; i
< end_sregno
; i
++)
384 SET_REGNO_REG_SET (bb_uses
, i
);
387 emit_insn_after (PATTERN (insn
), bb_note (bb
));
392 /* Look for register copies in the first block of the function, and move
393 them down into successor blocks if the register is used only on one
394 path. This exposes more opportunities for shrink-wrapping. These
395 kinds of sets often occur when incoming argument registers are moved
396 to call-saved registers because their values are live across one or
397 more calls during the function. */
400 prepare_shrink_wrap (basic_block entry_block
)
402 rtx_insn
*insn
, *curr
;
404 HARD_REG_SET uses
, defs
;
406 bool split_p
= false;
408 if (JUMP_P (BB_END (entry_block
)))
410 /* To have more shrink-wrapping opportunities, prepare_shrink_wrap tries
411 to sink the copies from parameter to callee saved register out of
412 entry block. copyprop_hardreg_forward_bb_without_debug_insn is called
413 to release some dependences. */
414 copyprop_hardreg_forward_bb_without_debug_insn (entry_block
);
417 CLEAR_HARD_REG_SET (uses
);
418 CLEAR_HARD_REG_SET (defs
);
419 FOR_BB_INSNS_REVERSE_SAFE (entry_block
, insn
, curr
)
420 if (NONDEBUG_INSN_P (insn
)
421 && !move_insn_for_shrink_wrap (entry_block
, insn
, uses
, defs
,
424 /* Add all defined registers to DEFs. */
425 FOR_EACH_INSN_DEF (def
, insn
)
427 x
= DF_REF_REG (def
);
428 if (REG_P (x
) && HARD_REGISTER_P (x
))
429 SET_HARD_REG_BIT (defs
, REGNO (x
));
432 /* Add all used registers to USESs. */
433 FOR_EACH_INSN_USE (use
, insn
)
435 x
= DF_REF_REG (use
);
436 if (REG_P (x
) && HARD_REGISTER_P (x
))
437 SET_HARD_REG_BIT (uses
, REGNO (x
));
442 /* Return whether basic block PRO can get the prologue. It can not if it
443 has incoming complex edges that need a prologue inserted (we make a new
444 block for the prologue, so those edges would need to be redirected, which
445 does not work). It also can not if there exist registers live on entry
446 to PRO that are clobbered by the prologue. */
449 can_get_prologue (basic_block pro
, HARD_REG_SET prologue_clobbered
)
453 FOR_EACH_EDGE (e
, ei
, pro
->preds
)
454 if (e
->flags
& (EDGE_COMPLEX
| EDGE_CROSSING
)
455 && !dominated_by_p (CDI_DOMINATORS
, e
->src
, pro
))
459 REG_SET_TO_HARD_REG_SET (live
, df_get_live_in (pro
));
460 if (hard_reg_set_intersect_p (live
, prologue_clobbered
))
466 /* Return whether we can duplicate basic block BB for shrink wrapping. We
467 cannot if the block cannot be duplicated at all, or if any of its incoming
468 edges are complex and come from a block that does not require a prologue
469 (we cannot redirect such edges), or if the block is too big to copy.
470 PRO is the basic block before which we would put the prologue, MAX_SIZE is
471 the maximum size block we allow to be copied. */
474 can_dup_for_shrink_wrapping (basic_block bb
, basic_block pro
, unsigned max_size
)
476 if (!can_duplicate_block_p (bb
))
481 FOR_EACH_EDGE (e
, ei
, bb
->preds
)
482 if (e
->flags
& (EDGE_COMPLEX
| EDGE_CROSSING
)
483 && !dominated_by_p (CDI_DOMINATORS
, e
->src
, pro
))
489 FOR_BB_INSNS (bb
, insn
)
490 if (NONDEBUG_INSN_P (insn
))
492 size
+= get_attr_min_length (insn
);
500 /* If the source of edge E has more than one successor, the verifier for
501 branch probabilities gets confused by the fake edges we make where
502 simple_return statements will be inserted later (because those are not
503 marked as fallthrough edges). Fix this by creating an extra block just
504 for that fallthrough. */
507 fix_fake_fallthrough_edge (edge e
)
509 if (EDGE_COUNT (e
->src
->succs
) <= 1)
512 basic_block old_bb
= e
->src
;
513 rtx_insn
*end
= BB_END (old_bb
);
514 rtx_note
*note
= emit_note_after (NOTE_INSN_DELETED
, end
);
515 basic_block new_bb
= create_basic_block (note
, note
, old_bb
);
516 BB_COPY_PARTITION (new_bb
, old_bb
);
517 BB_END (old_bb
) = end
;
519 redirect_edge_succ (e
, new_bb
);
520 e
->flags
|= EDGE_FALLTHRU
;
521 e
->flags
&= ~EDGE_FAKE
;
523 return make_edge (new_bb
, EXIT_BLOCK_PTR_FOR_FN (cfun
), EDGE_FAKE
);
526 /* Try to perform a kind of shrink-wrapping, making sure the
527 prologue/epilogue is emitted only around those parts of the
528 function that require it.
530 There will be exactly one prologue, and it will be executed either
531 zero or one time, on any path. Depending on where the prologue is
532 placed, some of the basic blocks can be reached via both paths with
533 and without a prologue. Such blocks will be duplicated here, and the
534 edges changed to match.
536 Paths that go to the exit without going through the prologue will use
537 a simple_return instead of the epilogue. We maximize the number of
538 those, making sure to only duplicate blocks that can be duplicated.
539 If the prologue can then still be placed in multiple locations, we
540 place it as early as possible.
542 An example, where we duplicate blocks with control flow (legend:
543 _B_egin, _R_eturn and _S_imple_return; edges without arrowhead should
544 be taken to point down or to the right, to simplify the diagram; here,
545 block 3 needs a prologue, the rest does not):
563 (bb 4 is duplicated to 7, and so on; the prologue is inserted on the
566 Another example, where part of a loop is duplicated (again, bb 3 is
567 the only block that needs a prologue):
572 | v | becomes | | v |
573 2---4--- 2---5-- 4---
578 (bb 4 is duplicated to 5; the prologue is inserted on the edge 5->3).
580 ENTRY_EDGE is the edge where the prologue will be placed, possibly
581 changed by this function. BB_WITH is a bitmap that, if we do shrink-
582 wrap, will on return contain the interesting blocks that run with
583 prologue. PROLOGUE_SEQ is the prologue we will insert. */
586 try_shrink_wrapping (edge
*entry_edge
, bitmap_head
*bb_with
,
587 rtx_insn
*prologue_seq
)
589 /* If we cannot shrink-wrap, are told not to shrink-wrap, or it makes
590 no sense to shrink-wrap: then do not shrink-wrap! */
592 if (!SHRINK_WRAPPING_ENABLED
)
595 if (crtl
->profile
&& !targetm
.profile_before_prologue ())
598 if (crtl
->calls_eh_return
)
601 bool empty_prologue
= true;
602 for (rtx_insn
*insn
= prologue_seq
; insn
; insn
= NEXT_INSN (insn
))
603 if (!(NOTE_P (insn
) && NOTE_KIND (insn
) == NOTE_INSN_PROLOGUE_END
))
605 empty_prologue
= false;
611 /* Move some code down to expose more shrink-wrapping opportunities. */
613 basic_block entry
= (*entry_edge
)->dest
;
614 prepare_shrink_wrap (entry
);
617 fprintf (dump_file
, "Attempting shrink-wrapping optimization.\n");
619 /* Compute the registers set and used in the prologue. */
621 HARD_REG_SET prologue_clobbered
, prologue_used
;
622 CLEAR_HARD_REG_SET (prologue_clobbered
);
623 CLEAR_HARD_REG_SET (prologue_used
);
624 for (rtx_insn
*insn
= prologue_seq
; insn
; insn
= NEXT_INSN (insn
))
625 if (NONDEBUG_INSN_P (insn
))
627 HARD_REG_SET this_used
;
628 CLEAR_HARD_REG_SET (this_used
);
629 note_uses (&PATTERN (insn
), record_hard_reg_uses
, &this_used
);
630 AND_COMPL_HARD_REG_SET (this_used
, prologue_clobbered
);
631 IOR_HARD_REG_SET (prologue_used
, this_used
);
632 note_stores (PATTERN (insn
), record_hard_reg_sets
, &prologue_clobbered
);
634 CLEAR_HARD_REG_BIT (prologue_clobbered
, STACK_POINTER_REGNUM
);
635 if (frame_pointer_needed
)
636 CLEAR_HARD_REG_BIT (prologue_clobbered
, HARD_FRAME_POINTER_REGNUM
);
638 /* Find out what registers are set up by the prologue; any use of these
639 cannot happen before the prologue. */
641 struct hard_reg_set_container set_up_by_prologue
;
642 CLEAR_HARD_REG_SET (set_up_by_prologue
.set
);
643 add_to_hard_reg_set (&set_up_by_prologue
.set
, Pmode
, STACK_POINTER_REGNUM
);
644 add_to_hard_reg_set (&set_up_by_prologue
.set
, Pmode
, ARG_POINTER_REGNUM
);
645 if (frame_pointer_needed
)
646 add_to_hard_reg_set (&set_up_by_prologue
.set
, Pmode
,
647 HARD_FRAME_POINTER_REGNUM
);
648 if (pic_offset_table_rtx
649 && (unsigned) PIC_OFFSET_TABLE_REGNUM
!= INVALID_REGNUM
)
650 add_to_hard_reg_set (&set_up_by_prologue
.set
, Pmode
,
651 PIC_OFFSET_TABLE_REGNUM
);
653 add_to_hard_reg_set (&set_up_by_prologue
.set
,
654 GET_MODE (crtl
->drap_reg
),
655 REGNO (crtl
->drap_reg
));
656 if (targetm
.set_up_by_prologue
)
657 targetm
.set_up_by_prologue (&set_up_by_prologue
);
659 /* We will insert the prologue before the basic block PRO. PRO should
660 dominate all basic blocks that need the prologue to be executed
661 before them. First, make PRO the "tightest wrap" possible. */
663 calculate_dominance_info (CDI_DOMINATORS
);
670 FOR_EACH_BB_FN (bb
, cfun
)
673 FOR_BB_INSNS (bb
, insn
)
674 if (NONDEBUG_INSN_P (insn
)
675 && requires_stack_frame_p (insn
, prologue_used
,
676 set_up_by_prologue
.set
))
679 fprintf (dump_file
, "Block %d needs the prologue.\n", bb
->index
);
680 pro
= nearest_common_dominator (CDI_DOMINATORS
, pro
, bb
);
685 /* If nothing needs a prologue, just put it at the start. This really
686 shouldn't happen, but we cannot fix it here. */
691 fprintf(dump_file
, "Nothing needs a prologue, but it isn't empty; "
692 "putting it at the start.\n");
697 fprintf (dump_file
, "After wrapping required blocks, PRO is now %d\n",
700 /* Now see if we can put the prologue at the start of PRO. Putting it
701 there might require duplicating a block that cannot be duplicated,
702 or in some cases we cannot insert the prologue there at all. If PRO
703 wont't do, try again with the immediate dominator of PRO, and so on.
705 The blocks that need duplicating are those reachable from PRO but
706 not dominated by it. We keep in BB_WITH a bitmap of the blocks
707 reachable from PRO that we already found, and in VEC a stack of
708 those we still need to consider (to find successors). */
710 bitmap_set_bit (bb_with
, pro
->index
);
712 vec
<basic_block
> vec
;
713 vec
.create (n_basic_blocks_for_fn (cfun
));
714 vec
.quick_push (pro
);
716 unsigned max_grow_size
= get_uncond_jump_length ();
717 max_grow_size
*= PARAM_VALUE (PARAM_MAX_GROW_COPY_BB_INSNS
);
719 while (!vec
.is_empty () && pro
!= entry
)
721 while (pro
!= entry
&& !can_get_prologue (pro
, prologue_clobbered
))
723 pro
= get_immediate_dominator (CDI_DOMINATORS
, pro
);
725 bitmap_set_bit (bb_with
, pro
->index
);
726 vec
.quick_push (pro
);
729 basic_block bb
= vec
.pop ();
730 if (!can_dup_for_shrink_wrapping (bb
, pro
, max_grow_size
))
731 while (!dominated_by_p (CDI_DOMINATORS
, bb
, pro
))
733 gcc_assert (pro
!= entry
);
735 pro
= get_immediate_dominator (CDI_DOMINATORS
, pro
);
737 bitmap_set_bit (bb_with
, pro
->index
);
738 vec
.quick_push (pro
);
741 FOR_EACH_EDGE (e
, ei
, bb
->succs
)
742 if (e
->dest
!= EXIT_BLOCK_PTR_FOR_FN (cfun
)
743 && bitmap_set_bit (bb_with
, e
->dest
->index
))
744 vec
.quick_push (e
->dest
);
750 fprintf (dump_file
, "Avoiding non-duplicatable blocks, PRO is now %d\n",
753 /* If we can move PRO back without having to duplicate more blocks, do so.
754 We can move back to a block PRE if every path from PRE will eventually
755 need a prologue, that is, PRO is a post-dominator of PRE. */
759 calculate_dominance_info (CDI_POST_DOMINATORS
);
761 basic_block last_ok
= pro
;
764 basic_block pre
= get_immediate_dominator (CDI_DOMINATORS
, pro
);
765 if (!dominated_by_p (CDI_POST_DOMINATORS
, pre
, pro
))
769 if (can_get_prologue (pro
, prologue_clobbered
))
774 free_dominance_info (CDI_POST_DOMINATORS
);
778 fprintf (dump_file
, "Bumping back to anticipatable blocks, PRO is now %d\n",
783 free_dominance_info (CDI_DOMINATORS
);
787 /* Compute what fraction of the frequency and count of the blocks that run
788 both with and without prologue are for running with prologue. This gives
789 the correct answer for reducible flow graphs; for irreducible flow graphs
790 our profile is messed up beyond repair anyway. */
795 FOR_EACH_EDGE (e
, ei
, pro
->preds
)
796 if (!dominated_by_p (CDI_DOMINATORS
, e
->src
, pro
))
798 num
+= EDGE_FREQUENCY (e
);
799 den
+= e
->src
->frequency
;
805 /* All is okay, so do it. */
807 crtl
->shrink_wrapped
= true;
809 fprintf (dump_file
, "Performing shrink-wrapping.\n");
811 /* Copy the blocks that can run both with and without prologue. The
812 originals run with prologue, the copies without. Store a pointer to
813 the copy in the ->aux field of the original. */
815 FOR_EACH_BB_FN (bb
, cfun
)
816 if (bitmap_bit_p (bb_with
, bb
->index
)
817 && !dominated_by_p (CDI_DOMINATORS
, bb
, pro
))
819 basic_block dup
= duplicate_block (bb
, 0, 0);
823 if (JUMP_P (BB_END (dup
)) && !any_condjump_p (BB_END (dup
)))
824 emit_barrier_after_bb (dup
);
826 if (EDGE_COUNT (dup
->succs
) == 0)
827 emit_barrier_after_bb (dup
);
830 fprintf (dump_file
, "Duplicated %d to %d\n", bb
->index
, dup
->index
);
832 bb
->frequency
= RDIV (num
* bb
->frequency
, den
);
833 dup
->frequency
-= bb
->frequency
;
834 bb
->count
= RDIV (num
* bb
->count
, den
);
835 dup
->count
-= bb
->count
;
838 /* Now change the edges to point to the copies, where appropriate. */
840 FOR_EACH_BB_FN (bb
, cfun
)
841 if (!dominated_by_p (CDI_DOMINATORS
, bb
, pro
))
843 basic_block src
= bb
;
844 if (bitmap_bit_p (bb_with
, bb
->index
))
845 src
= (basic_block
) bb
->aux
;
847 FOR_EACH_EDGE (e
, ei
, src
->succs
)
849 if (e
->dest
== EXIT_BLOCK_PTR_FOR_FN (cfun
))
852 if (bitmap_bit_p (bb_with
, e
->dest
->index
)
853 && !dominated_by_p (CDI_DOMINATORS
, e
->dest
, pro
))
856 fprintf (dump_file
, "Redirecting edge %d->%d to %d\n",
857 e
->src
->index
, e
->dest
->index
,
858 ((basic_block
) e
->dest
->aux
)->index
);
859 redirect_edge_and_branch_force (e
, (basic_block
) e
->dest
->aux
);
861 else if (e
->flags
& EDGE_FALLTHRU
862 && bitmap_bit_p (bb_with
, bb
->index
))
863 force_nonfallthru (e
);
867 /* Also redirect the function entry edge if necessary. */
869 FOR_EACH_EDGE (e
, ei
, ENTRY_BLOCK_PTR_FOR_FN (cfun
)->succs
)
870 if (bitmap_bit_p (bb_with
, e
->dest
->index
)
871 && !dominated_by_p (CDI_DOMINATORS
, e
->dest
, pro
))
873 basic_block split_bb
= split_edge (e
);
874 e
= single_succ_edge (split_bb
);
875 redirect_edge_and_branch_force (e
, (basic_block
) e
->dest
->aux
);
878 /* Change all the exits that should get a simple_return to FAKE.
879 They will be converted later. */
881 FOR_EACH_BB_FN (bb
, cfun
)
882 if (!bitmap_bit_p (bb_with
, bb
->index
))
883 FOR_EACH_EDGE (e
, ei
, bb
->succs
)
884 if (e
->dest
== EXIT_BLOCK_PTR_FOR_FN (cfun
))
886 e
= fix_fake_fallthrough_edge (e
);
888 e
->flags
&= ~EDGE_FALLTHRU
;
889 if (!(e
->flags
& EDGE_SIBCALL
))
890 e
->flags
|= EDGE_FAKE
;
892 emit_barrier_after_bb (e
->src
);
895 /* Finally, we want a single edge to put the prologue on. Make a new
896 block before the PRO block; the edge beteen them is the edge we want.
897 Then redirect those edges into PRO that come from blocks without the
898 prologue, to point to the new block instead. The new prologue block
899 is put at the end of the insn chain. */
901 basic_block new_bb
= create_empty_bb (EXIT_BLOCK_PTR_FOR_FN (cfun
)->prev_bb
);
902 BB_COPY_PARTITION (new_bb
, pro
);
904 fprintf (dump_file
, "Made prologue block %d\n", new_bb
->index
);
906 for (ei
= ei_start (pro
->preds
); (e
= ei_safe_edge (ei
)); )
908 if (bitmap_bit_p (bb_with
, e
->src
->index
)
909 || dominated_by_p (CDI_DOMINATORS
, e
->src
, pro
))
915 new_bb
->count
+= RDIV (e
->src
->count
* e
->probability
, REG_BR_PROB_BASE
);
916 new_bb
->frequency
+= EDGE_FREQUENCY (e
);
918 redirect_edge_and_branch_force (e
, new_bb
);
920 fprintf (dump_file
, "Redirected edge from %d\n", e
->src
->index
);
923 *entry_edge
= make_single_succ_edge (new_bb
, pro
, EDGE_FALLTHRU
);
924 force_nonfallthru (*entry_edge
);
926 free_dominance_info (CDI_DOMINATORS
);
929 /* If we're allowed to generate a simple return instruction, then by
930 definition we don't need a full epilogue. If the last basic
931 block before the exit block does not contain active instructions,
932 examine its predecessors and try to emit (conditional) return
936 get_unconverted_simple_return (edge exit_fallthru_edge
, bitmap_head bb_flags
,
937 vec
<edge
> *unconverted_simple_returns
,
938 rtx_insn
**returnjump
)
944 /* convert_jumps_to_returns may add to preds of the exit block
945 (but won't remove). Stop at end of current preds. */
946 last
= EDGE_COUNT (EXIT_BLOCK_PTR_FOR_FN (cfun
)->preds
);
947 for (i
= 0; i
< last
; i
++)
949 edge e
= EDGE_I (EXIT_BLOCK_PTR_FOR_FN (cfun
)->preds
, i
);
950 if (LABEL_P (BB_HEAD (e
->src
))
951 && !bitmap_bit_p (&bb_flags
, e
->src
->index
)
952 && !active_insn_between (BB_HEAD (e
->src
), BB_END (e
->src
)))
953 *unconverted_simple_returns
954 = convert_jumps_to_returns (e
->src
, true,
955 *unconverted_simple_returns
);
959 if (exit_fallthru_edge
!= NULL
960 && EDGE_COUNT (exit_fallthru_edge
->src
->preds
) != 0
961 && !bitmap_bit_p (&bb_flags
, exit_fallthru_edge
->src
->index
))
965 last_bb
= emit_return_for_exit (exit_fallthru_edge
, true);
966 *returnjump
= BB_END (last_bb
);
967 exit_fallthru_edge
= NULL
;
969 return exit_fallthru_edge
;
972 /* If there were branches to an empty LAST_BB which we tried to
973 convert to conditional simple_returns, but couldn't for some
974 reason, create a block to hold a simple_return insn and redirect
975 those remaining edges. */
978 convert_to_simple_return (edge entry_edge
, edge orig_entry_edge
,
979 bitmap_head bb_flags
, rtx_insn
*returnjump
,
980 vec
<edge
> unconverted_simple_returns
)
985 if (!unconverted_simple_returns
.is_empty ())
987 basic_block simple_return_block_hot
= NULL
;
988 basic_block simple_return_block_cold
= NULL
;
989 edge pending_edge_hot
= NULL
;
990 edge pending_edge_cold
= NULL
;
991 basic_block exit_pred
;
994 gcc_assert (entry_edge
!= orig_entry_edge
);
996 /* See if we can reuse the last insn that was emitted for the
998 if (returnjump
!= NULL_RTX
999 && JUMP_LABEL (returnjump
) == simple_return_rtx
)
1001 e
= split_block (BLOCK_FOR_INSN (returnjump
), PREV_INSN (returnjump
));
1002 if (BB_PARTITION (e
->src
) == BB_HOT_PARTITION
)
1003 simple_return_block_hot
= e
->dest
;
1005 simple_return_block_cold
= e
->dest
;
1008 /* Also check returns we might need to add to tail blocks. */
1009 FOR_EACH_EDGE (e
, ei
, EXIT_BLOCK_PTR_FOR_FN (cfun
)->preds
)
1010 if (EDGE_COUNT (e
->src
->preds
) != 0
1011 && (e
->flags
& EDGE_FAKE
) != 0
1012 && !bitmap_bit_p (&bb_flags
, e
->src
->index
))
1014 if (BB_PARTITION (e
->src
) == BB_HOT_PARTITION
)
1015 pending_edge_hot
= e
;
1017 pending_edge_cold
= e
;
1020 /* Save a pointer to the exit's predecessor BB for use in
1021 inserting new BBs at the end of the function. Do this
1022 after the call to split_block above which may split
1023 the original exit pred. */
1024 exit_pred
= EXIT_BLOCK_PTR_FOR_FN (cfun
)->prev_bb
;
1026 FOR_EACH_VEC_ELT (unconverted_simple_returns
, i
, e
)
1028 basic_block
*pdest_bb
;
1031 if (BB_PARTITION (e
->src
) == BB_HOT_PARTITION
)
1033 pdest_bb
= &simple_return_block_hot
;
1034 pending
= pending_edge_hot
;
1038 pdest_bb
= &simple_return_block_cold
;
1039 pending
= pending_edge_cold
;
1042 if (*pdest_bb
== NULL
&& pending
!= NULL
)
1044 emit_return_into_block (true, pending
->src
);
1045 pending
->flags
&= ~(EDGE_FALLTHRU
| EDGE_FAKE
);
1046 *pdest_bb
= pending
->src
;
1048 else if (*pdest_bb
== NULL
)
1052 bb
= create_basic_block (NULL
, NULL
, exit_pred
);
1053 BB_COPY_PARTITION (bb
, e
->src
);
1054 rtx_insn
*ret
= targetm
.gen_simple_return ();
1055 rtx_jump_insn
*start
= emit_jump_insn_after (ret
, BB_END (bb
));
1056 JUMP_LABEL (start
) = simple_return_rtx
;
1057 emit_barrier_after (start
);
1060 make_edge (bb
, EXIT_BLOCK_PTR_FOR_FN (cfun
), 0);
1062 redirect_edge_and_branch_force (e
, *pdest_bb
);
1064 unconverted_simple_returns
.release ();
1067 if (entry_edge
!= orig_entry_edge
)
1069 FOR_EACH_EDGE (e
, ei
, EXIT_BLOCK_PTR_FOR_FN (cfun
)->preds
)
1070 if (EDGE_COUNT (e
->src
->preds
) != 0
1071 && (e
->flags
& EDGE_FAKE
) != 0
1072 && !bitmap_bit_p (&bb_flags
, e
->src
->index
))
1074 e
= fix_fake_fallthrough_edge (e
);
1076 emit_return_into_block (true, e
->src
);
1077 e
->flags
&= ~(EDGE_FALLTHRU
| EDGE_FAKE
);