1 /* Instruction scheduling pass. Selective scheduler and pipeliner.
2 Copyright (C) 2006, 2007, 2008, 2009, 2010 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/>. */
22 #include "coretypes.h"
24 #include "rtl-error.h"
26 #include "hard-reg-set.h"
30 #include "insn-config.h"
31 #include "insn-attr.h"
38 #include "tree-pass.h"
39 #include "sched-int.h"
43 #include "langhooks.h"
44 #include "rtlhooks-def.h"
48 #ifdef INSN_SCHEDULING
49 #include "sel-sched-ir.h"
50 #include "sel-sched-dump.h"
51 #include "sel-sched.h"
54 /* Implementation of selective scheduling approach.
55 The below implementation follows the original approach with the following
58 o the scheduler works after register allocation (but can be also tuned
60 o some instructions are not copied or register renamed;
61 o conditional jumps are not moved with code duplication;
62 o several jumps in one parallel group are not supported;
63 o when pipelining outer loops, code motion through inner loops
65 o control and data speculation are supported;
66 o some improvements for better compile time/performance were made.
71 A vinsn, or virtual insn, is an insn with additional data characterizing
72 insn pattern, such as LHS, RHS, register sets used/set/clobbered, etc.
73 Vinsns also act as smart pointers to save memory by reusing them in
74 different expressions. A vinsn is described by vinsn_t type.
76 An expression is a vinsn with additional data characterizing its properties
77 at some point in the control flow graph. The data may be its usefulness,
78 priority, speculative status, whether it was renamed/subsituted, etc.
79 An expression is described by expr_t type.
81 Availability set (av_set) is a set of expressions at a given control flow
82 point. It is represented as av_set_t. The expressions in av sets are kept
83 sorted in the terms of expr_greater_p function. It allows to truncate
84 the set while leaving the best expressions.
86 A fence is a point through which code motion is prohibited. On each step,
87 we gather a parallel group of insns at a fence. It is possible to have
88 multiple fences. A fence is represented via fence_t.
90 A boundary is the border between the fence group and the rest of the code.
91 Currently, we never have more than one boundary per fence, as we finalize
92 the fence group when a jump is scheduled. A boundary is represented
98 The scheduler finds regions to schedule, schedules each one, and finalizes.
99 The regions are formed starting from innermost loops, so that when the inner
100 loop is pipelined, its prologue can be scheduled together with yet unprocessed
101 outer loop. The rest of acyclic regions are found using extend_rgns:
102 the blocks that are not yet allocated to any regions are traversed in top-down
103 order, and a block is added to a region to which all its predecessors belong;
104 otherwise, the block starts its own region.
106 The main scheduling loop (sel_sched_region_2) consists of just
107 scheduling on each fence and updating fences. For each fence,
108 we fill a parallel group of insns (fill_insns) until some insns can be added.
109 First, we compute available exprs (av-set) at the boundary of the current
110 group. Second, we choose the best expression from it. If the stall is
111 required to schedule any of the expressions, we advance the current cycle
112 appropriately. So, the final group does not exactly correspond to a VLIW
113 word. Third, we move the chosen expression to the boundary (move_op)
114 and update the intermediate av sets and liveness sets. We quit fill_insns
115 when either no insns left for scheduling or we have scheduled enough insns
116 so we feel like advancing a scheduling point.
118 Computing available expressions
119 ===============================
121 The computation (compute_av_set) is a bottom-up traversal. At each insn,
122 we're moving the union of its successors' sets through it via
123 moveup_expr_set. The dependent expressions are removed. Local
124 transformations (substitution, speculation) are applied to move more
125 exprs. Then the expr corresponding to the current insn is added.
126 The result is saved on each basic block header.
128 When traversing the CFG, we're moving down for no more than max_ws insns.
129 Also, we do not move down to ineligible successors (is_ineligible_successor),
130 which include moving along a back-edge, moving to already scheduled code,
131 and moving to another fence. The first two restrictions are lifted during
132 pipelining, which allows us to move insns along a back-edge. We always have
133 an acyclic region for scheduling because we forbid motion through fences.
135 Choosing the best expression
136 ============================
138 We sort the final availability set via sel_rank_for_schedule, then we remove
139 expressions which are not yet ready (tick_check_p) or which dest registers
140 cannot be used. For some of them, we choose another register via
141 find_best_reg. To do this, we run find_used_regs to calculate the set of
142 registers which cannot be used. The find_used_regs function performs
143 a traversal of code motion paths for an expr. We consider for renaming
144 only registers which are from the same regclass as the original one and
145 using which does not interfere with any live ranges. Finally, we convert
146 the resulting set to the ready list format and use max_issue and reorder*
147 hooks similarly to the Haifa scheduler.
149 Scheduling the best expression
150 ==============================
152 We run the move_op routine to perform the same type of code motion paths
153 traversal as in find_used_regs. (These are working via the same driver,
154 code_motion_path_driver.) When moving down the CFG, we look for original
155 instruction that gave birth to a chosen expression. We undo
156 the transformations performed on an expression via the history saved in it.
157 When found, we remove the instruction or leave a reg-reg copy/speculation
158 check if needed. On a way up, we insert bookkeeping copies at each join
159 point. If a copy is not needed, it will be removed later during this
160 traversal. We update the saved av sets and liveness sets on the way up, too.
162 Finalizing the schedule
163 =======================
165 When pipelining, we reschedule the blocks from which insns were pipelined
166 to get a tighter schedule. On Itanium, we also perform bundling via
167 the same routine from ia64.c.
169 Dependence analysis changes
170 ===========================
172 We augmented the sched-deps.c with hooks that get called when a particular
173 dependence is found in a particular part of an insn. Using these hooks, we
174 can do several actions such as: determine whether an insn can be moved through
175 another (has_dependence_p, moveup_expr); find out whether an insn can be
176 scheduled on the current cycle (tick_check_p); find out registers that
177 are set/used/clobbered by an insn and find out all the strange stuff that
178 restrict its movement, like SCHED_GROUP_P or CANT_MOVE (done in
179 init_global_and_expr_for_insn).
181 Initialization changes
182 ======================
184 There are parts of haifa-sched.c, sched-deps.c, and sched-rgn.c that are
185 reused in all of the schedulers. We have split up the initialization of data
186 of such parts into different functions prefixed with scheduler type and
187 postfixed with the type of data initialized: {,sel_,haifa_}sched_{init,finish},
188 sched_rgn_init/finish, sched_deps_init/finish, sched_init_{luids/bbs}, etc.
189 The same splitting is done with current_sched_info structure:
190 dependence-related parts are in sched_deps_info, common part is in
191 common_sched_info, and haifa/sel/etc part is in current_sched_info.
196 As we now have multiple-point scheduling, this would not work with backends
197 which save some of the scheduler state to use it in the target hooks.
198 For this purpose, we introduce a concept of target contexts, which
199 encapsulate such information. The backend should implement simple routines
200 of allocating/freeing/setting such a context. The scheduler calls these
201 as target hooks and handles the target context as an opaque pointer (similar
202 to the DFA state type, state_t).
207 As the correct data dependence graph is not supported during scheduling (which
208 is to be changed in mid-term), we cache as much of the dependence analysis
209 results as possible to avoid reanalyzing. This includes: bitmap caches on
210 each insn in stream of the region saying yes/no for a query with a pair of
211 UIDs; hashtables with the previously done transformations on each insn in
212 stream; a vector keeping a history of transformations on each expr.
214 Also, we try to minimize the dependence context used on each fence to check
215 whether the given expression is ready for scheduling by removing from it
216 insns that are definitely completed the execution. The results of
217 tick_check_p checks are also cached in a vector on each fence.
219 We keep a valid liveness set on each insn in a region to avoid the high
220 cost of recomputation on large basic blocks.
222 Finally, we try to minimize the number of needed updates to the availability
223 sets. The updates happen in two cases: when fill_insns terminates,
224 we advance all fences and increase the stage number to show that the region
225 has changed and the sets are to be recomputed; and when the next iteration
226 of a loop in fill_insns happens (but this one reuses the saved av sets
227 on bb headers.) Thus, we try to break the fill_insns loop only when
228 "significant" number of insns from the current scheduling window was
229 scheduled. This should be made a target param.
232 TODO: correctly support the data dependence graph at all stages and get rid
233 of all caches. This should speed up the scheduler.
234 TODO: implement moving cond jumps with bookkeeping copies on both targets.
235 TODO: tune the scheduler before RA so it does not create too much pseudos.
239 S.-M. Moon and K. Ebcioglu. Parallelizing nonnumerical code with
240 selective scheduling and software pipelining.
241 ACM TOPLAS, Vol 19, No. 6, pages 853--898, Nov. 1997.
243 Andrey Belevantsev, Maxim Kuvyrkov, Vladimir Makarov, Dmitry Melnik,
244 and Dmitry Zhurikhin. An interblock VLIW-targeted instruction scheduler
245 for GCC. In Proceedings of GCC Developers' Summit 2006.
247 Arutyun Avetisyan, Andrey Belevantsev, and Dmitry Melnik. GCC Instruction
248 Scheduler and Software Pipeliner on the Itanium Platform. EPIC-7 Workshop.
249 http://rogue.colorado.edu/EPIC7/.
253 /* True when pipelining is enabled. */
256 /* True if bookkeeping is enabled. */
259 /* Maximum number of insns that are eligible for renaming. */
260 int max_insns_to_rename
;
263 /* Definitions of local types and macros. */
265 /* Represents possible outcomes of moving an expression through an insn. */
266 enum MOVEUP_EXPR_CODE
268 /* The expression is not changed. */
271 /* Not changed, but requires a new destination register. */
274 /* Cannot be moved. */
277 /* Changed (substituted or speculated). */
281 /* The container to be passed into rtx search & replace functions. */
282 struct rtx_search_arg
284 /* What we are searching for. */
287 /* The occurence counter. */
291 typedef struct rtx_search_arg
*rtx_search_arg_p
;
293 /* This struct contains precomputed hard reg sets that are needed when
294 computing registers available for renaming. */
295 struct hard_regs_data
297 /* For every mode, this stores registers available for use with
299 HARD_REG_SET regs_for_mode
[NUM_MACHINE_MODES
];
301 /* True when regs_for_mode[mode] is initialized. */
302 bool regs_for_mode_ok
[NUM_MACHINE_MODES
];
304 /* For every register, it has regs that are ok to rename into it.
305 The register in question is always set. If not, this means
306 that the whole set is not computed yet. */
307 HARD_REG_SET regs_for_rename
[FIRST_PSEUDO_REGISTER
];
309 /* For every mode, this stores registers not available due to
311 HARD_REG_SET regs_for_call_clobbered
[NUM_MACHINE_MODES
];
313 /* All registers that are used or call used. */
314 HARD_REG_SET regs_ever_used
;
317 /* Stack registers. */
318 HARD_REG_SET stack_regs
;
322 /* Holds the results of computation of available for renaming and
323 unavailable hard registers. */
326 /* These are unavailable due to calls crossing, globalness, etc. */
327 HARD_REG_SET unavailable_hard_regs
;
329 /* These are *available* for renaming. */
330 HARD_REG_SET available_for_renaming
;
332 /* Whether this code motion path crosses a call. */
336 /* A global structure that contains the needed information about harg
338 static struct hard_regs_data sel_hrd
;
341 /* This structure holds local data used in code_motion_path_driver hooks on
342 the same or adjacent levels of recursion. Here we keep those parameters
343 that are not used in code_motion_path_driver routine itself, but only in
344 its hooks. Moreover, all parameters that can be modified in hooks are
345 in this structure, so all other parameters passed explicitly to hooks are
347 struct cmpd_local_params
349 /* Local params used in move_op_* functions. */
351 /* Edges for bookkeeping generation. */
354 /* C_EXPR merged from all successors and locally allocated temporary C_EXPR. */
355 expr_t c_expr_merged
, c_expr_local
;
357 /* Local params used in fur_* functions. */
358 /* Copy of the ORIGINAL_INSN list, stores the original insns already
359 found before entering the current level of code_motion_path_driver. */
360 def_list_t old_original_insns
;
362 /* Local params used in move_op_* functions. */
363 /* True when we have removed last insn in the block which was
364 also a boundary. Do not update anything or create bookkeeping copies. */
365 BOOL_BITFIELD removed_last_insn
: 1;
368 /* Stores the static parameters for move_op_* calls. */
369 struct moveop_static_params
371 /* Destination register. */
374 /* Current C_EXPR. */
377 /* An UID of expr_vliw which is to be moved up. If we find other exprs,
378 they are to be removed. */
381 #ifdef ENABLE_CHECKING
382 /* This is initialized to the insn on which the driver stopped its traversal. */
386 /* True if we scheduled an insn with different register. */
390 /* Stores the static parameters for fur_* calls. */
391 struct fur_static_params
393 /* Set of registers unavailable on the code motion path. */
396 /* Pointer to the list of original insns definitions. */
397 def_list_t
*original_insns
;
399 /* True if a code motion path contains a CALL insn. */
403 typedef struct fur_static_params
*fur_static_params_p
;
404 typedef struct cmpd_local_params
*cmpd_local_params_p
;
405 typedef struct moveop_static_params
*moveop_static_params_p
;
407 /* Set of hooks and parameters that determine behaviour specific to
408 move_op or find_used_regs functions. */
409 struct code_motion_path_driver_info_def
411 /* Called on enter to the basic block. */
412 int (*on_enter
) (insn_t
, cmpd_local_params_p
, void *, bool);
414 /* Called when original expr is found. */
415 void (*orig_expr_found
) (insn_t
, expr_t
, cmpd_local_params_p
, void *);
417 /* Called while descending current basic block if current insn is not
418 the original EXPR we're searching for. */
419 bool (*orig_expr_not_found
) (insn_t
, av_set_t
, void *);
421 /* Function to merge C_EXPRes from different successors. */
422 void (*merge_succs
) (insn_t
, insn_t
, int, cmpd_local_params_p
, void *);
424 /* Function to finalize merge from different successors and possibly
425 deallocate temporary data structures used for merging. */
426 void (*after_merge_succs
) (cmpd_local_params_p
, void *);
428 /* Called on the backward stage of recursion to do moveup_expr.
429 Used only with move_op_*. */
430 void (*ascend
) (insn_t
, void *);
432 /* Called on the ascending pass, before returning from the current basic
433 block or from the whole traversal. */
434 void (*at_first_insn
) (insn_t
, cmpd_local_params_p
, void *);
436 /* When processing successors in move_op we need only descend into
437 SUCCS_NORMAL successors, while in find_used_regs we need SUCCS_ALL. */
440 /* The routine name to print in dumps ("move_op" of "find_used_regs"). */
441 const char *routine_name
;
444 /* Global pointer to current hooks, either points to MOVE_OP_HOOKS or
446 struct code_motion_path_driver_info_def
*code_motion_path_driver_info
;
448 /* Set of hooks for performing move_op and find_used_regs routines with
449 code_motion_path_driver. */
450 extern struct code_motion_path_driver_info_def move_op_hooks
, fur_hooks
;
452 /* True if/when we want to emulate Haifa scheduler in the common code.
453 This is used in sched_rgn_local_init and in various places in
455 int sched_emulate_haifa_p
;
457 /* GLOBAL_LEVEL is used to discard information stored in basic block headers
458 av_sets. Av_set of bb header is valid if its (bb header's) level is equal
459 to GLOBAL_LEVEL. And invalid if lesser. This is primarily used to advance
460 scheduling window. */
463 /* Current fences. */
466 /* True when separable insns should be scheduled as RHSes. */
467 static bool enable_schedule_as_rhs_p
;
469 /* Used in verify_target_availability to assert that target reg is reported
470 unavailabile by both TARGET_UNAVAILABLE and find_used_regs only if
471 we haven't scheduled anything on the previous fence.
472 if scheduled_something_on_previous_fence is true, TARGET_UNAVAILABLE can
473 have more conservative value than the one returned by the
474 find_used_regs, thus we shouldn't assert that these values are equal. */
475 static bool scheduled_something_on_previous_fence
;
477 /* All newly emitted insns will have their uids greater than this value. */
478 static int first_emitted_uid
;
480 /* Set of basic blocks that are forced to start new ebbs. This is a subset
481 of all the ebb heads. */
482 static bitmap_head _forced_ebb_heads
;
483 bitmap_head
*forced_ebb_heads
= &_forced_ebb_heads
;
485 /* Blocks that need to be rescheduled after pipelining. */
486 bitmap blocks_to_reschedule
= NULL
;
488 /* True when the first lv set should be ignored when updating liveness. */
489 static bool ignore_first
= false;
491 /* Number of insns max_issue has initialized data structures for. */
492 static int max_issue_size
= 0;
494 /* Whether we can issue more instructions. */
495 static int can_issue_more
;
497 /* Maximum software lookahead window size, reduced when rescheduling after
501 /* Number of insns scheduled in current region. */
502 static int num_insns_scheduled
;
504 /* A vector of expressions is used to be able to sort them. */
506 DEF_VEC_ALLOC_P(expr_t
,heap
);
507 static VEC(expr_t
, heap
) *vec_av_set
= NULL
;
509 /* A vector of vinsns is used to hold temporary lists of vinsns. */
511 DEF_VEC_ALLOC_P(vinsn_t
,heap
);
512 typedef VEC(vinsn_t
, heap
) *vinsn_vec_t
;
514 /* This vector has the exprs which may still present in av_sets, but actually
515 can't be moved up due to bookkeeping created during code motion to another
516 fence. See comment near the call to update_and_record_unavailable_insns
517 for the detailed explanations. */
518 static vinsn_vec_t vec_bookkeeping_blocked_vinsns
= NULL
;
520 /* This vector has vinsns which are scheduled with renaming on the first fence
521 and then seen on the second. For expressions with such vinsns, target
522 availability information may be wrong. */
523 static vinsn_vec_t vec_target_unavailable_vinsns
= NULL
;
525 /* Vector to store temporary nops inserted in move_op to prevent removal
528 DEF_VEC_ALLOC_P(insn_t
,heap
);
529 static VEC(insn_t
, heap
) *vec_temp_moveop_nops
= NULL
;
531 /* These bitmaps record original instructions scheduled on the current
532 iteration and bookkeeping copies created by them. */
533 static bitmap current_originators
= NULL
;
534 static bitmap current_copies
= NULL
;
536 /* This bitmap marks the blocks visited by code_motion_path_driver so we don't
537 visit them afterwards. */
538 static bitmap code_motion_visited_blocks
= NULL
;
540 /* Variables to accumulate different statistics. */
542 /* The number of bookkeeping copies created. */
543 static int stat_bookkeeping_copies
;
545 /* The number of insns that required bookkeeiping for their scheduling. */
546 static int stat_insns_needed_bookkeeping
;
548 /* The number of insns that got renamed. */
549 static int stat_renamed_scheduled
;
551 /* The number of substitutions made during scheduling. */
552 static int stat_substitutions_total
;
555 /* Forward declarations of static functions. */
556 static bool rtx_ok_for_substitution_p (rtx
, rtx
);
557 static int sel_rank_for_schedule (const void *, const void *);
558 static av_set_t
find_sequential_best_exprs (bnd_t
, expr_t
, bool);
559 static basic_block
find_block_for_bookkeeping (edge e1
, edge e2
, bool lax
);
561 static rtx
get_dest_from_orig_ops (av_set_t
);
562 static basic_block
generate_bookkeeping_insn (expr_t
, edge
, edge
);
563 static bool find_used_regs (insn_t
, av_set_t
, regset
, struct reg_rename
*,
565 static bool move_op (insn_t
, av_set_t
, expr_t
, rtx
, expr_t
, bool*);
566 static int code_motion_path_driver (insn_t
, av_set_t
, ilist_t
,
567 cmpd_local_params_p
, void *);
568 static void sel_sched_region_1 (void);
569 static void sel_sched_region_2 (int);
570 static av_set_t
compute_av_set_inside_bb (insn_t
, ilist_t
, int, bool);
572 static void debug_state (state_t
);
575 /* Functions that work with fences. */
577 /* Advance one cycle on FENCE. */
579 advance_one_cycle (fence_t fence
)
585 advance_state (FENCE_STATE (fence
));
586 cycle
= ++FENCE_CYCLE (fence
);
587 FENCE_ISSUED_INSNS (fence
) = 0;
588 FENCE_STARTS_CYCLE_P (fence
) = 1;
589 can_issue_more
= issue_rate
;
590 FENCE_ISSUE_MORE (fence
) = can_issue_more
;
592 for (i
= 0; VEC_iterate (rtx
, FENCE_EXECUTING_INSNS (fence
), i
, insn
); )
594 if (INSN_READY_CYCLE (insn
) < cycle
)
596 remove_from_deps (FENCE_DC (fence
), insn
);
597 VEC_unordered_remove (rtx
, FENCE_EXECUTING_INSNS (fence
), i
);
602 if (sched_verbose
>= 2)
604 sel_print ("Finished a cycle. Current cycle = %d\n", FENCE_CYCLE (fence
));
605 debug_state (FENCE_STATE (fence
));
609 /* Returns true when SUCC in a fallthru bb of INSN, possibly
610 skipping empty basic blocks. */
612 in_fallthru_bb_p (rtx insn
, rtx succ
)
614 basic_block bb
= BLOCK_FOR_INSN (insn
);
617 if (bb
== BLOCK_FOR_INSN (succ
))
620 e
= find_fallthru_edge_from (bb
);
626 while (sel_bb_empty_p (bb
))
629 return bb
== BLOCK_FOR_INSN (succ
);
632 /* Construct successor fences from OLD_FENCEs and put them in NEW_FENCES.
633 When a successor will continue a ebb, transfer all parameters of a fence
634 to the new fence. ORIG_MAX_SEQNO is the maximal seqno before this round
635 of scheduling helping to distinguish between the old and the new code. */
637 extract_new_fences_from (flist_t old_fences
, flist_tail_t new_fences
,
640 bool was_here_p
= false;
641 insn_t insn
= NULL_RTX
;
645 fence_t fence
= FLIST_FENCE (old_fences
);
648 /* Get the only element of FENCE_BNDS (fence). */
649 FOR_EACH_INSN (insn
, ii
, FENCE_BNDS (fence
))
651 gcc_assert (!was_here_p
);
654 gcc_assert (was_here_p
&& insn
!= NULL_RTX
);
656 /* When in the "middle" of the block, just move this fence
658 bb
= BLOCK_FOR_INSN (insn
);
659 if (! sel_bb_end_p (insn
)
660 || (single_succ_p (bb
)
661 && single_pred_p (single_succ (bb
))))
665 succ
= (sel_bb_end_p (insn
)
666 ? sel_bb_head (single_succ (bb
))
669 if (INSN_SEQNO (succ
) > 0
670 && INSN_SEQNO (succ
) <= orig_max_seqno
671 && INSN_SCHED_TIMES (succ
) <= 0)
673 FENCE_INSN (fence
) = succ
;
674 move_fence_to_fences (old_fences
, new_fences
);
676 if (sched_verbose
>= 1)
677 sel_print ("Fence %d continues as %d[%d] (state continue)\n",
678 INSN_UID (insn
), INSN_UID (succ
), BLOCK_NUM (succ
));
683 /* Otherwise copy fence's structures to (possibly) multiple successors. */
684 FOR_EACH_SUCC_1 (succ
, si
, insn
, SUCCS_NORMAL
| SUCCS_SKIP_TO_LOOP_EXITS
)
686 int seqno
= INSN_SEQNO (succ
);
688 if (0 < seqno
&& seqno
<= orig_max_seqno
689 && (pipelining_p
|| INSN_SCHED_TIMES (succ
) <= 0))
691 bool b
= (in_same_ebb_p (insn
, succ
)
692 || in_fallthru_bb_p (insn
, succ
));
694 if (sched_verbose
>= 1)
695 sel_print ("Fence %d continues as %d[%d] (state %s)\n",
696 INSN_UID (insn
), INSN_UID (succ
),
697 BLOCK_NUM (succ
), b
? "continue" : "reset");
700 add_dirty_fence_to_fences (new_fences
, succ
, fence
);
703 /* Mark block of the SUCC as head of the new ebb. */
704 bitmap_set_bit (forced_ebb_heads
, BLOCK_NUM (succ
));
705 add_clean_fence_to_fences (new_fences
, succ
, fence
);
712 /* Functions to support substitution. */
714 /* Returns whether INSN with dependence status DS is eligible for
715 substitution, i.e. it's a copy operation x := y, and RHS that is
716 moved up through this insn should be substituted. */
718 can_substitute_through_p (insn_t insn
, ds_t ds
)
720 /* We can substitute only true dependencies. */
721 if ((ds
& DEP_OUTPUT
)
724 || ! INSN_LHS (insn
))
727 /* Now we just need to make sure the INSN_RHS consists of only one
729 if (REG_P (INSN_LHS (insn
))
730 && REG_P (INSN_RHS (insn
)))
735 /* Substitute all occurences of INSN's destination in EXPR' vinsn with INSN's
736 source (if INSN is eligible for substitution). Returns TRUE if
737 substitution was actually performed, FALSE otherwise. Substitution might
738 be not performed because it's either EXPR' vinsn doesn't contain INSN's
739 destination or the resulting insn is invalid for the target machine.
740 When UNDO is true, perform unsubstitution instead (the difference is in
741 the part of rtx on which validate_replace_rtx is called). */
743 substitute_reg_in_expr (expr_t expr
, insn_t insn
, bool undo
)
747 vinsn_t
*vi
= &EXPR_VINSN (expr
);
748 bool has_rhs
= VINSN_RHS (*vi
) != NULL
;
751 /* Do not try to replace in SET_DEST. Although we'll choose new
752 register for the RHS, we don't want to change RHS' original reg.
753 If the insn is not SET, we may still be able to substitute something
754 in it, and if we're here (don't have deps), it doesn't write INSN's
758 : &PATTERN (VINSN_INSN_RTX (*vi
)));
759 old
= undo
? INSN_RHS (insn
) : INSN_LHS (insn
);
761 /* Substitute if INSN has a form of x:=y and LHS(INSN) occurs in *VI. */
762 if (rtx_ok_for_substitution_p (old
, *where
))
767 /* We should copy these rtxes before substitution. */
768 new_rtx
= copy_rtx (undo
? INSN_LHS (insn
) : INSN_RHS (insn
));
769 new_insn
= create_copy_of_insn_rtx (VINSN_INSN_RTX (*vi
));
771 /* Where we'll replace.
772 WHERE_REPLACE should point inside NEW_INSN, so INSN_RHS couldn't be
773 used instead of SET_SRC. */
774 where_replace
= (has_rhs
775 ? &SET_SRC (PATTERN (new_insn
))
776 : &PATTERN (new_insn
));
779 = validate_replace_rtx_part_nosimplify (old
, new_rtx
, where_replace
,
782 /* ??? Actually, constrain_operands result depends upon choice of
783 destination register. E.g. if we allow single register to be an rhs,
784 and if we try to move dx=ax(as rhs) through ax=dx, we'll result
785 in invalid insn dx=dx, so we'll loose this rhs here.
786 Just can't come up with significant testcase for this, so just
787 leaving it for now. */
790 change_vinsn_in_expr (expr
,
791 create_vinsn_from_insn_rtx (new_insn
, false));
793 /* Do not allow clobbering the address register of speculative
795 if ((EXPR_SPEC_DONE_DS (expr
) & SPECULATIVE
)
796 && bitmap_bit_p (VINSN_REG_USES (EXPR_VINSN (expr
)),
797 expr_dest_regno (expr
)))
798 EXPR_TARGET_AVAILABLE (expr
) = false;
809 /* Helper function for count_occurences_equiv. */
811 count_occurrences_1 (rtx
*cur_rtx
, void *arg
)
813 rtx_search_arg_p p
= (rtx_search_arg_p
) arg
;
815 /* The last param FOR_GCSE is true, because otherwise it performs excessive
819 for the last insn it presumes r33 equivalent to r8, so it changes it to
820 r33. Actually, there's no change, but it spoils debugging. */
821 if (exp_equiv_p (*cur_rtx
, p
->x
, 0, true))
823 /* Bail out if we occupy more than one register. */
825 && HARD_REGISTER_P (*cur_rtx
)
826 && hard_regno_nregs
[REGNO(*cur_rtx
)][GET_MODE (*cur_rtx
)] > 1)
834 /* Do not traverse subexprs. */
838 if (GET_CODE (*cur_rtx
) == SUBREG
840 && (!REG_P (SUBREG_REG (*cur_rtx
))
841 || REGNO (SUBREG_REG (*cur_rtx
)) == REGNO (p
->x
)))
843 /* ??? Do not support substituting regs inside subregs. In that case,
844 simplify_subreg will be called by validate_replace_rtx, and
845 unsubstitution will fail later. */
850 /* Continue search. */
854 /* Return the number of places WHAT appears within WHERE.
855 Bail out when we found a reference occupying several hard registers. */
857 count_occurrences_equiv (rtx what
, rtx where
)
859 struct rtx_search_arg arg
;
864 for_each_rtx (&where
, &count_occurrences_1
, (void *) &arg
);
869 /* Returns TRUE if WHAT is found in WHERE rtx tree. */
871 rtx_ok_for_substitution_p (rtx what
, rtx where
)
873 return (count_occurrences_equiv (what
, where
) > 0);
877 /* Functions to support register renaming. */
879 /* Substitute VI's set source with REGNO. Returns newly created pattern
880 that has REGNO as its source. */
882 create_insn_rtx_with_rhs (vinsn_t vi
, rtx rhs_rtx
)
888 lhs_rtx
= copy_rtx (VINSN_LHS (vi
));
890 pattern
= gen_rtx_SET (VOIDmode
, lhs_rtx
, rhs_rtx
);
891 insn_rtx
= create_insn_rtx_from_pattern (pattern
, NULL_RTX
);
896 /* Returns whether INSN's src can be replaced with register number
897 NEW_SRC_REG. E.g. the following insn is valid for i386:
899 (insn:HI 2205 6585 2207 727 ../../gcc/libiberty/regex.c:3337
900 (set (mem/s:QI (plus:SI (plus:SI (reg/f:SI 7 sp)
901 (reg:SI 0 ax [orig:770 c1 ] [770]))
902 (const_int 288 [0x120])) [0 str S1 A8])
903 (const_int 0 [0x0])) 43 {*movqi_1} (nil)
906 But if we change (const_int 0 [0x0]) to (reg:QI 4 si), it will be invalid
907 because of operand constraints:
909 (define_insn "*movqi_1"
910 [(set (match_operand:QI 0 "nonimmediate_operand" "=q,q ,q ,r,r ,?r,m")
911 (match_operand:QI 1 "general_operand" " q,qn,qm,q,rn,qm,qn")
914 So do constrain_operands here, before choosing NEW_SRC_REG as best
918 replace_src_with_reg_ok_p (insn_t insn
, rtx new_src_reg
)
920 vinsn_t vi
= INSN_VINSN (insn
);
921 enum machine_mode mode
;
925 gcc_assert (VINSN_SEPARABLE_P (vi
));
927 get_dest_and_mode (insn
, &dst_loc
, &mode
);
928 gcc_assert (mode
== GET_MODE (new_src_reg
));
930 if (REG_P (dst_loc
) && REGNO (new_src_reg
) == REGNO (dst_loc
))
933 /* See whether SET_SRC can be replaced with this register. */
934 validate_change (insn
, &SET_SRC (PATTERN (insn
)), new_src_reg
, 1);
935 res
= verify_changes (0);
941 /* Returns whether INSN still be valid after replacing it's DEST with
944 replace_dest_with_reg_ok_p (insn_t insn
, rtx new_reg
)
946 vinsn_t vi
= INSN_VINSN (insn
);
949 /* We should deal here only with separable insns. */
950 gcc_assert (VINSN_SEPARABLE_P (vi
));
951 gcc_assert (GET_MODE (VINSN_LHS (vi
)) == GET_MODE (new_reg
));
953 /* See whether SET_DEST can be replaced with this register. */
954 validate_change (insn
, &SET_DEST (PATTERN (insn
)), new_reg
, 1);
955 res
= verify_changes (0);
961 /* Create a pattern with rhs of VI and lhs of LHS_RTX. */
963 create_insn_rtx_with_lhs (vinsn_t vi
, rtx lhs_rtx
)
969 rhs_rtx
= copy_rtx (VINSN_RHS (vi
));
971 pattern
= gen_rtx_SET (VOIDmode
, lhs_rtx
, rhs_rtx
);
972 insn_rtx
= create_insn_rtx_from_pattern (pattern
, NULL_RTX
);
977 /* Substitute lhs in the given expression EXPR for the register with number
978 NEW_REGNO. SET_DEST may be arbitrary rtx, not only register. */
980 replace_dest_with_reg_in_expr (expr_t expr
, rtx new_reg
)
985 insn_rtx
= create_insn_rtx_with_lhs (EXPR_VINSN (expr
), new_reg
);
986 vinsn
= create_vinsn_from_insn_rtx (insn_rtx
, false);
988 change_vinsn_in_expr (expr
, vinsn
);
989 EXPR_WAS_RENAMED (expr
) = 1;
990 EXPR_TARGET_AVAILABLE (expr
) = 1;
993 /* Returns whether VI writes either one of the USED_REGS registers or,
994 if a register is a hard one, one of the UNAVAILABLE_HARD_REGS registers. */
996 vinsn_writes_one_of_regs_p (vinsn_t vi
, regset used_regs
,
997 HARD_REG_SET unavailable_hard_regs
)
1000 reg_set_iterator rsi
;
1002 EXECUTE_IF_SET_IN_REG_SET (VINSN_REG_SETS (vi
), 0, regno
, rsi
)
1004 if (REGNO_REG_SET_P (used_regs
, regno
))
1006 if (HARD_REGISTER_NUM_P (regno
)
1007 && TEST_HARD_REG_BIT (unavailable_hard_regs
, regno
))
1011 EXECUTE_IF_SET_IN_REG_SET (VINSN_REG_CLOBBERS (vi
), 0, regno
, rsi
)
1013 if (REGNO_REG_SET_P (used_regs
, regno
))
1015 if (HARD_REGISTER_NUM_P (regno
)
1016 && TEST_HARD_REG_BIT (unavailable_hard_regs
, regno
))
1023 /* Returns register class of the output register in INSN.
1024 Returns NO_REGS for call insns because some targets have constraints on
1025 destination register of a call insn.
1027 Code adopted from regrename.c::build_def_use. */
1028 static enum reg_class
1029 get_reg_class (rtx insn
)
1033 extract_insn (insn
);
1034 if (! constrain_operands (1))
1035 fatal_insn_not_found (insn
);
1036 preprocess_constraints ();
1037 alt
= which_alternative
;
1038 n_ops
= recog_data
.n_operands
;
1040 for (i
= 0; i
< n_ops
; ++i
)
1042 int matches
= recog_op_alt
[i
][alt
].matches
;
1044 recog_op_alt
[i
][alt
].cl
= recog_op_alt
[matches
][alt
].cl
;
1047 if (asm_noperands (PATTERN (insn
)) > 0)
1049 for (i
= 0; i
< n_ops
; i
++)
1050 if (recog_data
.operand_type
[i
] == OP_OUT
)
1052 rtx
*loc
= recog_data
.operand_loc
[i
];
1054 enum reg_class cl
= recog_op_alt
[i
][alt
].cl
;
1057 && REGNO (op
) == ORIGINAL_REGNO (op
))
1063 else if (!CALL_P (insn
))
1065 for (i
= 0; i
< n_ops
+ recog_data
.n_dups
; i
++)
1067 int opn
= i
< n_ops
? i
: recog_data
.dup_num
[i
- n_ops
];
1068 enum reg_class cl
= recog_op_alt
[opn
][alt
].cl
;
1070 if (recog_data
.operand_type
[opn
] == OP_OUT
||
1071 recog_data
.operand_type
[opn
] == OP_INOUT
)
1077 (insn (set (reg:CCZ 17 flags) (compare:CCZ ...)))
1078 may result in returning NO_REGS, cause flags is written implicitly through
1079 CMP insn, which has no OP_OUT | OP_INOUT operands. */
1083 #ifdef HARD_REGNO_RENAME_OK
1084 /* Calculate HARD_REGNO_RENAME_OK data for REGNO. */
1086 init_hard_regno_rename (int regno
)
1090 SET_HARD_REG_BIT (sel_hrd
.regs_for_rename
[regno
], regno
);
1092 for (cur_reg
= 0; cur_reg
< FIRST_PSEUDO_REGISTER
; cur_reg
++)
1094 /* We are not interested in renaming in other regs. */
1095 if (!TEST_HARD_REG_BIT (sel_hrd
.regs_ever_used
, cur_reg
))
1098 if (HARD_REGNO_RENAME_OK (regno
, cur_reg
))
1099 SET_HARD_REG_BIT (sel_hrd
.regs_for_rename
[regno
], cur_reg
);
1104 /* A wrapper around HARD_REGNO_RENAME_OK that will look into the hard regs
1107 sel_hard_regno_rename_ok (int from ATTRIBUTE_UNUSED
, int to ATTRIBUTE_UNUSED
)
1109 #ifdef HARD_REGNO_RENAME_OK
1110 /* Check whether this is all calculated. */
1111 if (TEST_HARD_REG_BIT (sel_hrd
.regs_for_rename
[from
], from
))
1112 return TEST_HARD_REG_BIT (sel_hrd
.regs_for_rename
[from
], to
);
1114 init_hard_regno_rename (from
);
1116 return TEST_HARD_REG_BIT (sel_hrd
.regs_for_rename
[from
], to
);
1122 /* Calculate set of registers that are capable of holding MODE. */
1124 init_regs_for_mode (enum machine_mode mode
)
1128 CLEAR_HARD_REG_SET (sel_hrd
.regs_for_mode
[mode
]);
1129 CLEAR_HARD_REG_SET (sel_hrd
.regs_for_call_clobbered
[mode
]);
1131 for (cur_reg
= 0; cur_reg
< FIRST_PSEUDO_REGISTER
; cur_reg
++)
1133 int nregs
= hard_regno_nregs
[cur_reg
][mode
];
1136 for (i
= nregs
- 1; i
>= 0; --i
)
1137 if (fixed_regs
[cur_reg
+ i
]
1138 || global_regs
[cur_reg
+ i
]
1139 /* Can't use regs which aren't saved by
1141 || !TEST_HARD_REG_BIT (sel_hrd
.regs_ever_used
, cur_reg
+ i
)
1142 #ifdef LEAF_REGISTERS
1143 /* We can't use a non-leaf register if we're in a
1145 || (current_function_is_leaf
1146 && !LEAF_REGISTERS
[cur_reg
+ i
])
1154 /* See whether it accepts all modes that occur in
1156 if (! HARD_REGNO_MODE_OK (cur_reg
, mode
))
1159 if (HARD_REGNO_CALL_PART_CLOBBERED (cur_reg
, mode
))
1160 SET_HARD_REG_BIT (sel_hrd
.regs_for_call_clobbered
[mode
],
1163 /* If the CUR_REG passed all the checks above,
1165 SET_HARD_REG_BIT (sel_hrd
.regs_for_mode
[mode
], cur_reg
);
1168 sel_hrd
.regs_for_mode_ok
[mode
] = true;
1171 /* Init all register sets gathered in HRD. */
1173 init_hard_regs_data (void)
1178 CLEAR_HARD_REG_SET (sel_hrd
.regs_ever_used
);
1179 for (cur_reg
= 0; cur_reg
< FIRST_PSEUDO_REGISTER
; cur_reg
++)
1180 if (df_regs_ever_live_p (cur_reg
) || call_used_regs
[cur_reg
])
1181 SET_HARD_REG_BIT (sel_hrd
.regs_ever_used
, cur_reg
);
1183 /* Initialize registers that are valid based on mode when this is
1185 for (cur_mode
= 0; cur_mode
< NUM_MACHINE_MODES
; cur_mode
++)
1186 sel_hrd
.regs_for_mode_ok
[cur_mode
] = false;
1188 /* Mark that all HARD_REGNO_RENAME_OK is not calculated. */
1189 for (cur_reg
= 0; cur_reg
< FIRST_PSEUDO_REGISTER
; cur_reg
++)
1190 CLEAR_HARD_REG_SET (sel_hrd
.regs_for_rename
[cur_reg
]);
1193 CLEAR_HARD_REG_SET (sel_hrd
.stack_regs
);
1195 for (cur_reg
= FIRST_STACK_REG
; cur_reg
<= LAST_STACK_REG
; cur_reg
++)
1196 SET_HARD_REG_BIT (sel_hrd
.stack_regs
, cur_reg
);
1200 /* Mark hardware regs in REG_RENAME_P that are not suitable
1201 for renaming rhs in INSN due to hardware restrictions (register class,
1202 modes compatibility etc). This doesn't affect original insn's dest reg,
1203 if it isn't in USED_REGS. DEF is a definition insn of rhs for which the
1204 destination register is sought. LHS (DEF->ORIG_INSN) may be REG or MEM.
1205 Registers that are in used_regs are always marked in
1206 unavailable_hard_regs as well. */
1209 mark_unavailable_hard_regs (def_t def
, struct reg_rename
*reg_rename_p
,
1210 regset used_regs ATTRIBUTE_UNUSED
)
1212 enum machine_mode mode
;
1213 enum reg_class cl
= NO_REGS
;
1215 unsigned cur_reg
, regno
;
1216 hard_reg_set_iterator hrsi
;
1218 gcc_assert (GET_CODE (PATTERN (def
->orig_insn
)) == SET
);
1219 gcc_assert (reg_rename_p
);
1221 orig_dest
= SET_DEST (PATTERN (def
->orig_insn
));
1223 /* We have decided not to rename 'mem = something;' insns, as 'something'
1224 is usually a register. */
1225 if (!REG_P (orig_dest
))
1228 regno
= REGNO (orig_dest
);
1230 /* If before reload, don't try to work with pseudos. */
1231 if (!reload_completed
&& !HARD_REGISTER_NUM_P (regno
))
1234 if (reload_completed
)
1235 cl
= get_reg_class (def
->orig_insn
);
1237 /* Stop if the original register is one of the fixed_regs, global_regs or
1238 frame pointer, or we could not discover its class. */
1239 if (fixed_regs
[regno
]
1240 || global_regs
[regno
]
1241 #if !HARD_FRAME_POINTER_IS_FRAME_POINTER
1242 || (frame_pointer_needed
&& regno
== HARD_FRAME_POINTER_REGNUM
)
1244 || (frame_pointer_needed
&& regno
== FRAME_POINTER_REGNUM
)
1246 || (reload_completed
&& cl
== NO_REGS
))
1248 SET_HARD_REG_SET (reg_rename_p
->unavailable_hard_regs
);
1250 /* Give a chance for original register, if it isn't in used_regs. */
1251 if (!def
->crosses_call
)
1252 CLEAR_HARD_REG_BIT (reg_rename_p
->unavailable_hard_regs
, regno
);
1257 /* If something allocated on stack in this function, mark frame pointer
1258 register unavailable, considering also modes.
1259 FIXME: it is enough to do this once per all original defs. */
1260 if (frame_pointer_needed
)
1264 for (i
= hard_regno_nregs
[FRAME_POINTER_REGNUM
][Pmode
]; i
--;)
1265 SET_HARD_REG_BIT (reg_rename_p
->unavailable_hard_regs
,
1266 FRAME_POINTER_REGNUM
+ i
);
1268 #if !HARD_FRAME_POINTER_IS_FRAME_POINTER
1269 for (i
= hard_regno_nregs
[HARD_FRAME_POINTER_REGNUM
][Pmode
]; i
--;)
1270 SET_HARD_REG_BIT (reg_rename_p
->unavailable_hard_regs
,
1271 HARD_FRAME_POINTER_REGNUM
+ i
);
1276 /* For the stack registers the presence of FIRST_STACK_REG in USED_REGS
1277 is equivalent to as if all stack regs were in this set.
1278 I.e. no stack register can be renamed, and even if it's an original
1279 register here we make sure it won't be lifted over it's previous def
1280 (it's previous def will appear as if it's a FIRST_STACK_REG def.
1281 The HARD_REGNO_RENAME_OK covers other cases in condition below. */
1282 if (IN_RANGE (REGNO (orig_dest
), FIRST_STACK_REG
, LAST_STACK_REG
)
1283 && REGNO_REG_SET_P (used_regs
, FIRST_STACK_REG
))
1284 IOR_HARD_REG_SET (reg_rename_p
->unavailable_hard_regs
,
1285 sel_hrd
.stack_regs
);
1288 /* If there's a call on this path, make regs from call_used_reg_set
1290 if (def
->crosses_call
)
1291 IOR_HARD_REG_SET (reg_rename_p
->unavailable_hard_regs
,
1294 /* Stop here before reload: we need FRAME_REGS, STACK_REGS, and crosses_call,
1295 but not register classes. */
1296 if (!reload_completed
)
1299 /* Leave regs as 'available' only from the current
1301 COPY_HARD_REG_SET (reg_rename_p
->available_for_renaming
,
1302 reg_class_contents
[cl
]);
1304 mode
= GET_MODE (orig_dest
);
1306 /* Leave only registers available for this mode. */
1307 if (!sel_hrd
.regs_for_mode_ok
[mode
])
1308 init_regs_for_mode (mode
);
1309 AND_HARD_REG_SET (reg_rename_p
->available_for_renaming
,
1310 sel_hrd
.regs_for_mode
[mode
]);
1312 /* Exclude registers that are partially call clobbered. */
1313 if (def
->crosses_call
1314 && ! HARD_REGNO_CALL_PART_CLOBBERED (regno
, mode
))
1315 AND_COMPL_HARD_REG_SET (reg_rename_p
->available_for_renaming
,
1316 sel_hrd
.regs_for_call_clobbered
[mode
]);
1318 /* Leave only those that are ok to rename. */
1319 EXECUTE_IF_SET_IN_HARD_REG_SET (reg_rename_p
->available_for_renaming
,
1325 nregs
= hard_regno_nregs
[cur_reg
][mode
];
1326 gcc_assert (nregs
> 0);
1328 for (i
= nregs
- 1; i
>= 0; --i
)
1329 if (! sel_hard_regno_rename_ok (regno
+ i
, cur_reg
+ i
))
1333 CLEAR_HARD_REG_BIT (reg_rename_p
->available_for_renaming
,
1337 AND_COMPL_HARD_REG_SET (reg_rename_p
->available_for_renaming
,
1338 reg_rename_p
->unavailable_hard_regs
);
1340 /* Regno is always ok from the renaming part of view, but it really
1341 could be in *unavailable_hard_regs already, so set it here instead
1343 SET_HARD_REG_BIT (reg_rename_p
->available_for_renaming
, regno
);
1346 /* reg_rename_tick[REG1] > reg_rename_tick[REG2] if REG1 was chosen as the
1347 best register more recently than REG2. */
1348 static int reg_rename_tick
[FIRST_PSEUDO_REGISTER
];
1350 /* Indicates the number of times renaming happened before the current one. */
1351 static int reg_rename_this_tick
;
1353 /* Choose the register among free, that is suitable for storing
1356 ORIGINAL_INSNS is the list of insns where the operation (rhs)
1357 originally appears. There could be multiple original operations
1358 for single rhs since we moving it up and merging along different
1361 Some code is adapted from regrename.c (regrename_optimize).
1362 If original register is available, function returns it.
1363 Otherwise it performs the checks, so the new register should
1364 comply with the following:
1365 - it should not violate any live ranges (such registers are in
1366 REG_RENAME_P->available_for_renaming set);
1367 - it should not be in the HARD_REGS_USED regset;
1368 - it should be in the class compatible with original uses;
1369 - it should not be clobbered through reference with different mode;
1370 - if we're in the leaf function, then the new register should
1371 not be in the LEAF_REGISTERS;
1374 If several registers meet the conditions, the register with smallest
1375 tick is returned to achieve more even register allocation.
1377 If original register seems to be ok, we set *IS_ORIG_REG_P_PTR to true.
1379 If no register satisfies the above conditions, NULL_RTX is returned. */
1381 choose_best_reg_1 (HARD_REG_SET hard_regs_used
,
1382 struct reg_rename
*reg_rename_p
,
1383 def_list_t original_insns
, bool *is_orig_reg_p_ptr
)
1387 enum machine_mode mode
= VOIDmode
;
1388 unsigned regno
, i
, n
;
1389 hard_reg_set_iterator hrsi
;
1390 def_list_iterator di
;
1393 /* If original register is available, return it. */
1394 *is_orig_reg_p_ptr
= true;
1396 FOR_EACH_DEF (def
, di
, original_insns
)
1398 rtx orig_dest
= SET_DEST (PATTERN (def
->orig_insn
));
1400 gcc_assert (REG_P (orig_dest
));
1402 /* Check that all original operations have the same mode.
1403 This is done for the next loop; if we'd return from this
1404 loop, we'd check only part of them, but in this case
1405 it doesn't matter. */
1406 if (mode
== VOIDmode
)
1407 mode
= GET_MODE (orig_dest
);
1408 gcc_assert (mode
== GET_MODE (orig_dest
));
1410 regno
= REGNO (orig_dest
);
1411 for (i
= 0, n
= hard_regno_nregs
[regno
][mode
]; i
< n
; i
++)
1412 if (TEST_HARD_REG_BIT (hard_regs_used
, regno
+ i
))
1415 /* All hard registers are available. */
1418 gcc_assert (mode
!= VOIDmode
);
1420 /* Hard registers should not be shared. */
1421 return gen_rtx_REG (mode
, regno
);
1425 *is_orig_reg_p_ptr
= false;
1428 /* Among all available regs choose the register that was
1429 allocated earliest. */
1430 EXECUTE_IF_SET_IN_HARD_REG_SET (reg_rename_p
->available_for_renaming
,
1432 if (! TEST_HARD_REG_BIT (hard_regs_used
, cur_reg
))
1434 /* Check that all hard regs for mode are available. */
1435 for (i
= 1, n
= hard_regno_nregs
[cur_reg
][mode
]; i
< n
; i
++)
1436 if (TEST_HARD_REG_BIT (hard_regs_used
, cur_reg
+ i
)
1437 || !TEST_HARD_REG_BIT (reg_rename_p
->available_for_renaming
,
1444 /* All hard registers are available. */
1445 if (best_new_reg
< 0
1446 || reg_rename_tick
[cur_reg
] < reg_rename_tick
[best_new_reg
])
1448 best_new_reg
= cur_reg
;
1450 /* Return immediately when we know there's no better reg. */
1451 if (! reg_rename_tick
[best_new_reg
])
1456 if (best_new_reg
>= 0)
1458 /* Use the check from the above loop. */
1459 gcc_assert (mode
!= VOIDmode
);
1460 return gen_rtx_REG (mode
, best_new_reg
);
1466 /* A wrapper around choose_best_reg_1 () to verify that we make correct
1467 assumptions about available registers in the function. */
1469 choose_best_reg (HARD_REG_SET hard_regs_used
, struct reg_rename
*reg_rename_p
,
1470 def_list_t original_insns
, bool *is_orig_reg_p_ptr
)
1472 rtx best_reg
= choose_best_reg_1 (hard_regs_used
, reg_rename_p
,
1473 original_insns
, is_orig_reg_p_ptr
);
1475 /* FIXME loop over hard_regno_nregs here. */
1476 gcc_assert (best_reg
== NULL_RTX
1477 || TEST_HARD_REG_BIT (sel_hrd
.regs_ever_used
, REGNO (best_reg
)));
1482 /* Choose the pseudo register for storing rhs value. As this is supposed
1483 to work before reload, we return either the original register or make
1484 the new one. The parameters are the same that in choose_nest_reg_1
1485 functions, except that USED_REGS may contain pseudos.
1486 If we work with hard regs, check also REG_RENAME_P->UNAVAILABLE_HARD_REGS.
1488 TODO: take into account register pressure while doing this. Up to this
1489 moment, this function would never return NULL for pseudos, but we should
1490 not rely on this. */
1492 choose_best_pseudo_reg (regset used_regs
,
1493 struct reg_rename
*reg_rename_p
,
1494 def_list_t original_insns
, bool *is_orig_reg_p_ptr
)
1496 def_list_iterator i
;
1498 enum machine_mode mode
= VOIDmode
;
1499 bool bad_hard_regs
= false;
1501 /* We should not use this after reload. */
1502 gcc_assert (!reload_completed
);
1504 /* If original register is available, return it. */
1505 *is_orig_reg_p_ptr
= true;
1507 FOR_EACH_DEF (def
, i
, original_insns
)
1509 rtx dest
= SET_DEST (PATTERN (def
->orig_insn
));
1512 gcc_assert (REG_P (dest
));
1514 /* Check that all original operations have the same mode. */
1515 if (mode
== VOIDmode
)
1516 mode
= GET_MODE (dest
);
1518 gcc_assert (mode
== GET_MODE (dest
));
1519 orig_regno
= REGNO (dest
);
1521 if (!REGNO_REG_SET_P (used_regs
, orig_regno
))
1523 if (orig_regno
< FIRST_PSEUDO_REGISTER
)
1525 gcc_assert (df_regs_ever_live_p (orig_regno
));
1527 /* For hard registers, we have to check hardware imposed
1528 limitations (frame/stack registers, calls crossed). */
1529 if (!TEST_HARD_REG_BIT (reg_rename_p
->unavailable_hard_regs
,
1532 /* Don't let register cross a call if it doesn't already
1533 cross one. This condition is written in accordance with
1534 that in sched-deps.c sched_analyze_reg(). */
1535 if (!reg_rename_p
->crosses_call
1536 || REG_N_CALLS_CROSSED (orig_regno
) > 0)
1537 return gen_rtx_REG (mode
, orig_regno
);
1540 bad_hard_regs
= true;
1547 *is_orig_reg_p_ptr
= false;
1549 /* We had some original hard registers that couldn't be used.
1550 Those were likely special. Don't try to create a pseudo. */
1554 /* We haven't found a register from original operations. Get a new one.
1555 FIXME: control register pressure somehow. */
1557 rtx new_reg
= gen_reg_rtx (mode
);
1559 gcc_assert (mode
!= VOIDmode
);
1561 max_regno
= max_reg_num ();
1562 maybe_extend_reg_info_p ();
1563 REG_N_CALLS_CROSSED (REGNO (new_reg
)) = reg_rename_p
->crosses_call
? 1 : 0;
1569 /* True when target of EXPR is available due to EXPR_TARGET_AVAILABLE,
1570 USED_REGS and REG_RENAME_P->UNAVAILABLE_HARD_REGS. */
1572 verify_target_availability (expr_t expr
, regset used_regs
,
1573 struct reg_rename
*reg_rename_p
)
1575 unsigned n
, i
, regno
;
1576 enum machine_mode mode
;
1577 bool target_available
, live_available
, hard_available
;
1579 if (!REG_P (EXPR_LHS (expr
)) || EXPR_TARGET_AVAILABLE (expr
) < 0)
1582 regno
= expr_dest_regno (expr
);
1583 mode
= GET_MODE (EXPR_LHS (expr
));
1584 target_available
= EXPR_TARGET_AVAILABLE (expr
) == 1;
1585 n
= reload_completed
? hard_regno_nregs
[regno
][mode
] : 1;
1587 live_available
= hard_available
= true;
1588 for (i
= 0; i
< n
; i
++)
1590 if (bitmap_bit_p (used_regs
, regno
+ i
))
1591 live_available
= false;
1592 if (TEST_HARD_REG_BIT (reg_rename_p
->unavailable_hard_regs
, regno
+ i
))
1593 hard_available
= false;
1596 /* When target is not available, it may be due to hard register
1597 restrictions, e.g. crosses calls, so we check hard_available too. */
1598 if (target_available
)
1599 gcc_assert (live_available
);
1601 /* Check only if we haven't scheduled something on the previous fence,
1602 cause due to MAX_SOFTWARE_LOOKAHEAD_WINDOW_SIZE issues
1603 and having more than one fence, we may end having targ_un in a block
1604 in which successors target register is actually available.
1606 The last condition handles the case when a dependence from a call insn
1607 was created in sched-deps.c for insns with destination registers that
1608 never crossed a call before, but do cross one after our code motion.
1610 FIXME: in the latter case, we just uselessly called find_used_regs,
1611 because we can't move this expression with any other register
1613 gcc_assert (scheduled_something_on_previous_fence
|| !live_available
1615 || (!reload_completed
&& reg_rename_p
->crosses_call
1616 && REG_N_CALLS_CROSSED (regno
) == 0));
1619 /* Collect unavailable registers due to liveness for EXPR from BNDS
1620 into USED_REGS. Save additional information about available
1621 registers and unavailable due to hardware restriction registers
1622 into REG_RENAME_P structure. Save original insns into ORIGINAL_INSNS
1625 collect_unavailable_regs_from_bnds (expr_t expr
, blist_t bnds
, regset used_regs
,
1626 struct reg_rename
*reg_rename_p
,
1627 def_list_t
*original_insns
)
1629 for (; bnds
; bnds
= BLIST_NEXT (bnds
))
1632 av_set_t orig_ops
= NULL
;
1633 bnd_t bnd
= BLIST_BND (bnds
);
1635 /* If the chosen best expr doesn't belong to current boundary,
1637 if (!av_set_is_in_p (BND_AV1 (bnd
), EXPR_VINSN (expr
)))
1640 /* Put in ORIG_OPS all exprs from this boundary that became
1642 orig_ops
= find_sequential_best_exprs (bnd
, expr
, false);
1644 /* Compute used regs and OR it into the USED_REGS. */
1645 res
= find_used_regs (BND_TO (bnd
), orig_ops
, used_regs
,
1646 reg_rename_p
, original_insns
);
1648 /* FIXME: the assert is true until we'd have several boundaries. */
1650 av_set_clear (&orig_ops
);
1654 /* Return TRUE if it is possible to replace LHSes of ORIG_INSNS with BEST_REG.
1655 If BEST_REG is valid, replace LHS of EXPR with it. */
1657 try_replace_dest_reg (ilist_t orig_insns
, rtx best_reg
, expr_t expr
)
1659 /* Try whether we'll be able to generate the insn
1660 'dest := best_reg' at the place of the original operation. */
1661 for (; orig_insns
; orig_insns
= ILIST_NEXT (orig_insns
))
1663 insn_t orig_insn
= DEF_LIST_DEF (orig_insns
)->orig_insn
;
1665 gcc_assert (EXPR_SEPARABLE_P (INSN_EXPR (orig_insn
)));
1667 if (REGNO (best_reg
) != REGNO (INSN_LHS (orig_insn
))
1668 && (! replace_src_with_reg_ok_p (orig_insn
, best_reg
)
1669 || ! replace_dest_with_reg_ok_p (orig_insn
, best_reg
)))
1673 /* Make sure that EXPR has the right destination
1675 if (expr_dest_regno (expr
) != REGNO (best_reg
))
1676 replace_dest_with_reg_in_expr (expr
, best_reg
);
1678 EXPR_TARGET_AVAILABLE (expr
) = 1;
1683 /* Select and assign best register to EXPR searching from BNDS.
1684 Set *IS_ORIG_REG_P to TRUE if original register was selected.
1685 Return FALSE if no register can be chosen, which could happen when:
1686 * EXPR_SEPARABLE_P is true but we were unable to find suitable register;
1687 * EXPR_SEPARABLE_P is false but the insn sets/clobbers one of the registers
1688 that are used on the moving path. */
1690 find_best_reg_for_expr (expr_t expr
, blist_t bnds
, bool *is_orig_reg_p
)
1692 static struct reg_rename reg_rename_data
;
1695 def_list_t original_insns
= NULL
;
1698 *is_orig_reg_p
= false;
1700 /* Don't bother to do anything if this insn doesn't set any registers. */
1701 if (bitmap_empty_p (VINSN_REG_SETS (EXPR_VINSN (expr
)))
1702 && bitmap_empty_p (VINSN_REG_CLOBBERS (EXPR_VINSN (expr
))))
1705 used_regs
= get_clear_regset_from_pool ();
1706 CLEAR_HARD_REG_SET (reg_rename_data
.unavailable_hard_regs
);
1708 collect_unavailable_regs_from_bnds (expr
, bnds
, used_regs
, ®_rename_data
,
1711 #ifdef ENABLE_CHECKING
1712 /* If after reload, make sure we're working with hard regs here. */
1713 if (reload_completed
)
1715 reg_set_iterator rsi
;
1718 EXECUTE_IF_SET_IN_REG_SET (used_regs
, FIRST_PSEUDO_REGISTER
, i
, rsi
)
1723 if (EXPR_SEPARABLE_P (expr
))
1725 rtx best_reg
= NULL_RTX
;
1726 /* Check that we have computed availability of a target register
1728 verify_target_availability (expr
, used_regs
, ®_rename_data
);
1730 /* Turn everything in hard regs after reload. */
1731 if (reload_completed
)
1733 HARD_REG_SET hard_regs_used
;
1734 REG_SET_TO_HARD_REG_SET (hard_regs_used
, used_regs
);
1736 /* Join hard registers unavailable due to register class
1737 restrictions and live range intersection. */
1738 IOR_HARD_REG_SET (hard_regs_used
,
1739 reg_rename_data
.unavailable_hard_regs
);
1741 best_reg
= choose_best_reg (hard_regs_used
, ®_rename_data
,
1742 original_insns
, is_orig_reg_p
);
1745 best_reg
= choose_best_pseudo_reg (used_regs
, ®_rename_data
,
1746 original_insns
, is_orig_reg_p
);
1750 else if (*is_orig_reg_p
)
1752 /* In case of unification BEST_REG may be different from EXPR's LHS
1753 when EXPR's LHS is unavailable, and there is another LHS among
1755 reg_ok
= try_replace_dest_reg (original_insns
, best_reg
, expr
);
1759 /* Forbid renaming of low-cost insns. */
1760 if (sel_vinsn_cost (EXPR_VINSN (expr
)) < 2)
1763 reg_ok
= try_replace_dest_reg (original_insns
, best_reg
, expr
);
1768 /* If !EXPR_SCHEDULE_AS_RHS (EXPR), just make sure INSN doesn't set
1769 any of the HARD_REGS_USED set. */
1770 if (vinsn_writes_one_of_regs_p (EXPR_VINSN (expr
), used_regs
,
1771 reg_rename_data
.unavailable_hard_regs
))
1774 gcc_assert (EXPR_TARGET_AVAILABLE (expr
) <= 0);
1779 gcc_assert (EXPR_TARGET_AVAILABLE (expr
) != 0);
1783 ilist_clear (&original_insns
);
1784 return_regset_to_pool (used_regs
);
1790 /* Return true if dependence described by DS can be overcomed. */
1792 can_speculate_dep_p (ds_t ds
)
1794 if (spec_info
== NULL
)
1797 /* Leave only speculative data. */
1804 /* FIXME: make sched-deps.c produce only those non-hard dependencies,
1805 that we can overcome. */
1806 ds_t spec_mask
= spec_info
->mask
;
1808 if ((ds
& spec_mask
) != ds
)
1812 if (ds_weak (ds
) < spec_info
->data_weakness_cutoff
)
1818 /* Get a speculation check instruction.
1819 C_EXPR is a speculative expression,
1820 CHECK_DS describes speculations that should be checked,
1821 ORIG_INSN is the original non-speculative insn in the stream. */
1823 create_speculation_check (expr_t c_expr
, ds_t check_ds
, insn_t orig_insn
)
1828 basic_block recovery_block
;
1831 /* Create a recovery block if target is going to emit branchy check, or if
1832 ORIG_INSN was speculative already. */
1833 if (targetm
.sched
.needs_block_p (check_ds
)
1834 || EXPR_SPEC_DONE_DS (INSN_EXPR (orig_insn
)) != 0)
1836 recovery_block
= sel_create_recovery_block (orig_insn
);
1837 label
= BB_HEAD (recovery_block
);
1841 recovery_block
= NULL
;
1845 /* Get pattern of the check. */
1846 check_pattern
= targetm
.sched
.gen_spec_check (EXPR_INSN_RTX (c_expr
), label
,
1849 gcc_assert (check_pattern
!= NULL
);
1852 insn_rtx
= create_insn_rtx_from_pattern (check_pattern
, label
);
1854 insn
= sel_gen_insn_from_rtx_after (insn_rtx
, INSN_EXPR (orig_insn
),
1855 INSN_SEQNO (orig_insn
), orig_insn
);
1857 /* Make check to be non-speculative. */
1858 EXPR_SPEC_DONE_DS (INSN_EXPR (insn
)) = 0;
1859 INSN_SPEC_CHECKED_DS (insn
) = check_ds
;
1861 /* Decrease priority of check by difference of load/check instruction
1863 EXPR_PRIORITY (INSN_EXPR (insn
)) -= (sel_vinsn_cost (INSN_VINSN (orig_insn
))
1864 - sel_vinsn_cost (INSN_VINSN (insn
)));
1866 /* Emit copy of original insn (though with replaced target register,
1867 if needed) to the recovery block. */
1868 if (recovery_block
!= NULL
)
1872 twin_rtx
= copy_rtx (PATTERN (EXPR_INSN_RTX (c_expr
)));
1873 twin_rtx
= create_insn_rtx_from_pattern (twin_rtx
, NULL_RTX
);
1874 sel_gen_recovery_insn_from_rtx_after (twin_rtx
,
1875 INSN_EXPR (orig_insn
),
1877 bb_note (recovery_block
));
1880 /* If we've generated a data speculation check, make sure
1881 that all the bookkeeping instruction we'll create during
1882 this move_op () will allocate an ALAT entry so that the
1884 In case of control speculation we must convert C_EXPR to control
1885 speculative mode, because failing to do so will bring us an exception
1886 thrown by the non-control-speculative load. */
1887 check_ds
= ds_get_max_dep_weak (check_ds
);
1888 speculate_expr (c_expr
, check_ds
);
1893 /* True when INSN is a "regN = regN" copy. */
1895 identical_copy_p (rtx insn
)
1899 pat
= PATTERN (insn
);
1901 if (GET_CODE (pat
) != SET
)
1904 lhs
= SET_DEST (pat
);
1908 rhs
= SET_SRC (pat
);
1912 return REGNO (lhs
) == REGNO (rhs
);
1915 /* Undo all transformations on *AV_PTR that were done when
1916 moving through INSN. */
1918 undo_transformations (av_set_t
*av_ptr
, rtx insn
)
1920 av_set_iterator av_iter
;
1922 av_set_t new_set
= NULL
;
1924 /* First, kill any EXPR that uses registers set by an insn. This is
1925 required for correctness. */
1926 FOR_EACH_EXPR_1 (expr
, av_iter
, av_ptr
)
1927 if (!sched_insns_conditions_mutex_p (insn
, EXPR_INSN_RTX (expr
))
1928 && bitmap_intersect_p (INSN_REG_SETS (insn
),
1929 VINSN_REG_USES (EXPR_VINSN (expr
)))
1930 /* When an insn looks like 'r1 = r1', we could substitute through
1931 it, but the above condition will still hold. This happened with
1932 gcc.c-torture/execute/961125-1.c. */
1933 && !identical_copy_p (insn
))
1935 if (sched_verbose
>= 6)
1936 sel_print ("Expr %d removed due to use/set conflict\n",
1937 INSN_UID (EXPR_INSN_RTX (expr
)));
1938 av_set_iter_remove (&av_iter
);
1941 /* Undo transformations looking at the history vector. */
1942 FOR_EACH_EXPR (expr
, av_iter
, *av_ptr
)
1944 int index
= find_in_history_vect (EXPR_HISTORY_OF_CHANGES (expr
),
1945 insn
, EXPR_VINSN (expr
), true);
1949 expr_history_def
*phist
;
1951 phist
= VEC_index (expr_history_def
,
1952 EXPR_HISTORY_OF_CHANGES (expr
),
1955 switch (phist
->type
)
1957 case TRANS_SPECULATION
:
1959 ds_t old_ds
, new_ds
;
1961 /* Compute the difference between old and new speculative
1962 statuses: that's what we need to check.
1963 Earlier we used to assert that the status will really
1964 change. This no longer works because only the probability
1965 bits in the status may have changed during compute_av_set,
1966 and in the case of merging different probabilities of the
1967 same speculative status along different paths we do not
1968 record this in the history vector. */
1969 old_ds
= phist
->spec_ds
;
1970 new_ds
= EXPR_SPEC_DONE_DS (expr
);
1972 old_ds
&= SPECULATIVE
;
1973 new_ds
&= SPECULATIVE
;
1976 EXPR_SPEC_TO_CHECK_DS (expr
) |= new_ds
;
1979 case TRANS_SUBSTITUTION
:
1981 expr_def _tmp_expr
, *tmp_expr
= &_tmp_expr
;
1985 new_vi
= phist
->old_expr_vinsn
;
1987 gcc_assert (VINSN_SEPARABLE_P (new_vi
)
1988 == EXPR_SEPARABLE_P (expr
));
1989 copy_expr (tmp_expr
, expr
);
1991 if (vinsn_equal_p (phist
->new_expr_vinsn
,
1992 EXPR_VINSN (tmp_expr
)))
1993 change_vinsn_in_expr (tmp_expr
, new_vi
);
1995 /* This happens when we're unsubstituting on a bookkeeping
1996 copy, which was in turn substituted. The history is wrong
1997 in this case. Do it the hard way. */
1998 add
= substitute_reg_in_expr (tmp_expr
, insn
, true);
2000 av_set_add (&new_set
, tmp_expr
);
2001 clear_expr (tmp_expr
);
2011 av_set_union_and_clear (av_ptr
, &new_set
, NULL
);
2015 /* Moveup_* helpers for code motion and computing av sets. */
2017 /* Propagates EXPR inside an insn group through THROUGH_INSN.
2018 The difference from the below function is that only substitution is
2020 static enum MOVEUP_EXPR_CODE
2021 moveup_expr_inside_insn_group (expr_t expr
, insn_t through_insn
)
2023 vinsn_t vi
= EXPR_VINSN (expr
);
2027 /* Do this only inside insn group. */
2028 gcc_assert (INSN_SCHED_CYCLE (through_insn
) > 0);
2030 full_ds
= has_dependence_p (expr
, through_insn
, &has_dep_p
);
2032 return MOVEUP_EXPR_SAME
;
2034 /* Substitution is the possible choice in this case. */
2035 if (has_dep_p
[DEPS_IN_RHS
])
2037 /* Can't substitute UNIQUE VINSNs. */
2038 gcc_assert (!VINSN_UNIQUE_P (vi
));
2040 if (can_substitute_through_p (through_insn
,
2041 has_dep_p
[DEPS_IN_RHS
])
2042 && substitute_reg_in_expr (expr
, through_insn
, false))
2044 EXPR_WAS_SUBSTITUTED (expr
) = true;
2045 return MOVEUP_EXPR_CHANGED
;
2048 /* Don't care about this, as even true dependencies may be allowed
2049 in an insn group. */
2050 return MOVEUP_EXPR_SAME
;
2053 /* This can catch output dependencies in COND_EXECs. */
2054 if (has_dep_p
[DEPS_IN_INSN
])
2055 return MOVEUP_EXPR_NULL
;
2057 /* This is either an output or an anti dependence, which usually have
2058 a zero latency. Allow this here, if we'd be wrong, tick_check_p
2060 gcc_assert (has_dep_p
[DEPS_IN_LHS
]);
2061 return MOVEUP_EXPR_AS_RHS
;
2064 /* True when a trapping EXPR cannot be moved through THROUGH_INSN. */
2065 #define CANT_MOVE_TRAPPING(expr, through_insn) \
2066 (VINSN_MAY_TRAP_P (EXPR_VINSN (expr)) \
2067 && !sel_insn_has_single_succ_p ((through_insn), SUCCS_ALL) \
2068 && !sel_insn_is_speculation_check (through_insn))
2070 /* True when a conflict on a target register was found during moveup_expr. */
2071 static bool was_target_conflict
= false;
2073 /* Return true when moving a debug INSN across THROUGH_INSN will
2074 create a bookkeeping block. We don't want to create such blocks,
2075 for they would cause codegen differences between compilations with
2076 and without debug info. */
2079 moving_insn_creates_bookkeeping_block_p (insn_t insn
,
2080 insn_t through_insn
)
2082 basic_block bbi
, bbt
;
2084 edge_iterator ei1
, ei2
;
2086 if (!bookkeeping_can_be_created_if_moved_through_p (through_insn
))
2088 if (sched_verbose
>= 9)
2089 sel_print ("no bookkeeping required: ");
2093 bbi
= BLOCK_FOR_INSN (insn
);
2095 if (EDGE_COUNT (bbi
->preds
) == 1)
2097 if (sched_verbose
>= 9)
2098 sel_print ("only one pred edge: ");
2102 bbt
= BLOCK_FOR_INSN (through_insn
);
2104 FOR_EACH_EDGE (e1
, ei1
, bbt
->succs
)
2106 FOR_EACH_EDGE (e2
, ei2
, bbi
->preds
)
2108 if (find_block_for_bookkeeping (e1
, e2
, TRUE
))
2110 if (sched_verbose
>= 9)
2111 sel_print ("found existing block: ");
2117 if (sched_verbose
>= 9)
2118 sel_print ("would create bookkeeping block: ");
2123 /* Modifies EXPR so it can be moved through the THROUGH_INSN,
2124 performing necessary transformations. Record the type of transformation
2125 made in PTRANS_TYPE, when it is not NULL. When INSIDE_INSN_GROUP,
2126 permit all dependencies except true ones, and try to remove those
2127 too via forward substitution. All cases when a non-eliminable
2128 non-zero cost dependency exists inside an insn group will be fixed
2129 in tick_check_p instead. */
2130 static enum MOVEUP_EXPR_CODE
2131 moveup_expr (expr_t expr
, insn_t through_insn
, bool inside_insn_group
,
2132 enum local_trans_type
*ptrans_type
)
2134 vinsn_t vi
= EXPR_VINSN (expr
);
2135 insn_t insn
= VINSN_INSN_RTX (vi
);
2136 bool was_changed
= false;
2137 bool as_rhs
= false;
2141 /* When inside_insn_group, delegate to the helper. */
2142 if (inside_insn_group
)
2143 return moveup_expr_inside_insn_group (expr
, through_insn
);
2145 /* Deal with unique insns and control dependencies. */
2146 if (VINSN_UNIQUE_P (vi
))
2148 /* We can move jumps without side-effects or jumps that are
2149 mutually exclusive with instruction THROUGH_INSN (all in cases
2150 dependencies allow to do so and jump is not speculative). */
2151 if (control_flow_insn_p (insn
))
2153 basic_block fallthru_bb
;
2155 /* Do not move checks and do not move jumps through other
2157 if (control_flow_insn_p (through_insn
)
2158 || sel_insn_is_speculation_check (insn
))
2159 return MOVEUP_EXPR_NULL
;
2161 /* Don't move jumps through CFG joins. */
2162 if (bookkeeping_can_be_created_if_moved_through_p (through_insn
))
2163 return MOVEUP_EXPR_NULL
;
2165 /* The jump should have a clear fallthru block, and
2166 this block should be in the current region. */
2167 if ((fallthru_bb
= fallthru_bb_of_jump (insn
)) == NULL
2168 || ! in_current_region_p (fallthru_bb
))
2169 return MOVEUP_EXPR_NULL
;
2171 /* And it should be mutually exclusive with through_insn, or
2172 be an unconditional jump. */
2173 if (! any_uncondjump_p (insn
)
2174 && ! sched_insns_conditions_mutex_p (insn
, through_insn
)
2175 && ! DEBUG_INSN_P (through_insn
))
2176 return MOVEUP_EXPR_NULL
;
2179 /* Don't move what we can't move. */
2180 if (EXPR_CANT_MOVE (expr
)
2181 && BLOCK_FOR_INSN (through_insn
) != BLOCK_FOR_INSN (insn
))
2182 return MOVEUP_EXPR_NULL
;
2184 /* Don't move SCHED_GROUP instruction through anything.
2185 If we don't force this, then it will be possible to start
2186 scheduling a sched_group before all its dependencies are
2188 ??? Haifa deals with this issue by delaying the SCHED_GROUP
2189 as late as possible through rank_for_schedule. */
2190 if (SCHED_GROUP_P (insn
))
2191 return MOVEUP_EXPR_NULL
;
2194 gcc_assert (!control_flow_insn_p (insn
));
2196 /* Don't move debug insns if this would require bookkeeping. */
2197 if (DEBUG_INSN_P (insn
)
2198 && BLOCK_FOR_INSN (through_insn
) != BLOCK_FOR_INSN (insn
)
2199 && moving_insn_creates_bookkeeping_block_p (insn
, through_insn
))
2200 return MOVEUP_EXPR_NULL
;
2202 /* Deal with data dependencies. */
2203 was_target_conflict
= false;
2204 full_ds
= has_dependence_p (expr
, through_insn
, &has_dep_p
);
2207 if (!CANT_MOVE_TRAPPING (expr
, through_insn
))
2208 return MOVEUP_EXPR_SAME
;
2212 /* We can move UNIQUE insn up only as a whole and unchanged,
2213 so it shouldn't have any dependencies. */
2214 if (VINSN_UNIQUE_P (vi
))
2215 return MOVEUP_EXPR_NULL
;
2218 if (full_ds
!= 0 && can_speculate_dep_p (full_ds
))
2222 res
= speculate_expr (expr
, full_ds
);
2225 /* Speculation was successful. */
2227 was_changed
= (res
> 0);
2229 was_target_conflict
= true;
2231 *ptrans_type
= TRANS_SPECULATION
;
2232 sel_clear_has_dependence ();
2236 if (has_dep_p
[DEPS_IN_INSN
])
2237 /* We have some dependency that cannot be discarded. */
2238 return MOVEUP_EXPR_NULL
;
2240 if (has_dep_p
[DEPS_IN_LHS
])
2242 /* Only separable insns can be moved up with the new register.
2243 Anyways, we should mark that the original register is
2245 if (!enable_schedule_as_rhs_p
|| !EXPR_SEPARABLE_P (expr
))
2246 return MOVEUP_EXPR_NULL
;
2248 EXPR_TARGET_AVAILABLE (expr
) = false;
2249 was_target_conflict
= true;
2253 /* At this point we have either separable insns, that will be lifted
2254 up only as RHSes, or non-separable insns with no dependency in lhs.
2255 If dependency is in RHS, then try to perform substitution and move up
2262 In Ex.1 y*2 can be substituted for x*2 and the whole operation can be
2263 moved above y=x assignment as z=x*2.
2265 In Ex.2 y*2 also can be substituted for x*2, but only the right hand
2266 side can be moved because of the output dependency. The operation was
2267 cropped to its rhs above. */
2268 if (has_dep_p
[DEPS_IN_RHS
])
2270 ds_t
*rhs_dsp
= &has_dep_p
[DEPS_IN_RHS
];
2272 /* Can't substitute UNIQUE VINSNs. */
2273 gcc_assert (!VINSN_UNIQUE_P (vi
));
2275 if (can_speculate_dep_p (*rhs_dsp
))
2279 res
= speculate_expr (expr
, *rhs_dsp
);
2282 /* Speculation was successful. */
2284 was_changed
= (res
> 0);
2286 was_target_conflict
= true;
2288 *ptrans_type
= TRANS_SPECULATION
;
2291 return MOVEUP_EXPR_NULL
;
2293 else if (can_substitute_through_p (through_insn
,
2295 && substitute_reg_in_expr (expr
, through_insn
, false))
2297 /* ??? We cannot perform substitution AND speculation on the same
2299 gcc_assert (!was_changed
);
2302 *ptrans_type
= TRANS_SUBSTITUTION
;
2303 EXPR_WAS_SUBSTITUTED (expr
) = true;
2306 return MOVEUP_EXPR_NULL
;
2309 /* Don't move trapping insns through jumps.
2310 This check should be at the end to give a chance to control speculation
2311 to perform its duties. */
2312 if (CANT_MOVE_TRAPPING (expr
, through_insn
))
2313 return MOVEUP_EXPR_NULL
;
2316 ? MOVEUP_EXPR_CHANGED
2318 ? MOVEUP_EXPR_AS_RHS
2319 : MOVEUP_EXPR_SAME
));
2322 /* Try to look at bitmap caches for EXPR and INSN pair, return true
2323 if successful. When INSIDE_INSN_GROUP, also try ignore dependencies
2324 that can exist within a parallel group. Write to RES the resulting
2325 code for moveup_expr. */
2327 try_bitmap_cache (expr_t expr
, insn_t insn
,
2328 bool inside_insn_group
,
2329 enum MOVEUP_EXPR_CODE
*res
)
2331 int expr_uid
= INSN_UID (EXPR_INSN_RTX (expr
));
2333 /* First check whether we've analyzed this situation already. */
2334 if (bitmap_bit_p (INSN_ANALYZED_DEPS (insn
), expr_uid
))
2336 if (bitmap_bit_p (INSN_FOUND_DEPS (insn
), expr_uid
))
2338 if (sched_verbose
>= 6)
2339 sel_print ("removed (cached)\n");
2340 *res
= MOVEUP_EXPR_NULL
;
2345 if (sched_verbose
>= 6)
2346 sel_print ("unchanged (cached)\n");
2347 *res
= MOVEUP_EXPR_SAME
;
2351 else if (bitmap_bit_p (INSN_FOUND_DEPS (insn
), expr_uid
))
2353 if (inside_insn_group
)
2355 if (sched_verbose
>= 6)
2356 sel_print ("unchanged (as RHS, cached, inside insn group)\n");
2357 *res
= MOVEUP_EXPR_SAME
;
2362 EXPR_TARGET_AVAILABLE (expr
) = false;
2364 /* This is the only case when propagation result can change over time,
2365 as we can dynamically switch off scheduling as RHS. In this case,
2366 just check the flag to reach the correct decision. */
2367 if (enable_schedule_as_rhs_p
)
2369 if (sched_verbose
>= 6)
2370 sel_print ("unchanged (as RHS, cached)\n");
2371 *res
= MOVEUP_EXPR_AS_RHS
;
2376 if (sched_verbose
>= 6)
2377 sel_print ("removed (cached as RHS, but renaming"
2378 " is now disabled)\n");
2379 *res
= MOVEUP_EXPR_NULL
;
2387 /* Try to look at bitmap caches for EXPR and INSN pair, return true
2388 if successful. Write to RES the resulting code for moveup_expr. */
2390 try_transformation_cache (expr_t expr
, insn_t insn
,
2391 enum MOVEUP_EXPR_CODE
*res
)
2393 struct transformed_insns
*pti
2394 = (struct transformed_insns
*)
2395 htab_find_with_hash (INSN_TRANSFORMED_INSNS (insn
),
2397 VINSN_HASH_RTX (EXPR_VINSN (expr
)));
2400 /* This EXPR was already moved through this insn and was
2401 changed as a result. Fetch the proper data from
2403 insert_in_history_vect (&EXPR_HISTORY_OF_CHANGES (expr
),
2404 INSN_UID (insn
), pti
->type
,
2405 pti
->vinsn_old
, pti
->vinsn_new
,
2406 EXPR_SPEC_DONE_DS (expr
));
2408 if (INSN_IN_STREAM_P (VINSN_INSN_RTX (pti
->vinsn_new
)))
2409 pti
->vinsn_new
= vinsn_copy (pti
->vinsn_new
, true);
2410 change_vinsn_in_expr (expr
, pti
->vinsn_new
);
2411 if (pti
->was_target_conflict
)
2412 EXPR_TARGET_AVAILABLE (expr
) = false;
2413 if (pti
->type
== TRANS_SPECULATION
)
2415 EXPR_SPEC_DONE_DS (expr
) = pti
->ds
;
2416 EXPR_NEEDS_SPEC_CHECK_P (expr
) |= pti
->needs_check
;
2419 if (sched_verbose
>= 6)
2421 sel_print ("changed (cached): ");
2426 *res
= MOVEUP_EXPR_CHANGED
;
2433 /* Update bitmap caches on INSN with result RES of propagating EXPR. */
2435 update_bitmap_cache (expr_t expr
, insn_t insn
, bool inside_insn_group
,
2436 enum MOVEUP_EXPR_CODE res
)
2438 int expr_uid
= INSN_UID (EXPR_INSN_RTX (expr
));
2440 /* Do not cache result of propagating jumps through an insn group,
2441 as it is always true, which is not useful outside the group. */
2442 if (inside_insn_group
)
2445 if (res
== MOVEUP_EXPR_NULL
)
2447 bitmap_set_bit (INSN_ANALYZED_DEPS (insn
), expr_uid
);
2448 bitmap_set_bit (INSN_FOUND_DEPS (insn
), expr_uid
);
2450 else if (res
== MOVEUP_EXPR_SAME
)
2452 bitmap_set_bit (INSN_ANALYZED_DEPS (insn
), expr_uid
);
2453 bitmap_clear_bit (INSN_FOUND_DEPS (insn
), expr_uid
);
2455 else if (res
== MOVEUP_EXPR_AS_RHS
)
2457 bitmap_clear_bit (INSN_ANALYZED_DEPS (insn
), expr_uid
);
2458 bitmap_set_bit (INSN_FOUND_DEPS (insn
), expr_uid
);
2464 /* Update hashtable on INSN with changed EXPR, old EXPR_OLD_VINSN
2465 and transformation type TRANS_TYPE. */
2467 update_transformation_cache (expr_t expr
, insn_t insn
,
2468 bool inside_insn_group
,
2469 enum local_trans_type trans_type
,
2470 vinsn_t expr_old_vinsn
)
2472 struct transformed_insns
*pti
;
2474 if (inside_insn_group
)
2477 pti
= XNEW (struct transformed_insns
);
2478 pti
->vinsn_old
= expr_old_vinsn
;
2479 pti
->vinsn_new
= EXPR_VINSN (expr
);
2480 pti
->type
= trans_type
;
2481 pti
->was_target_conflict
= was_target_conflict
;
2482 pti
->ds
= EXPR_SPEC_DONE_DS (expr
);
2483 pti
->needs_check
= EXPR_NEEDS_SPEC_CHECK_P (expr
);
2484 vinsn_attach (pti
->vinsn_old
);
2485 vinsn_attach (pti
->vinsn_new
);
2486 *((struct transformed_insns
**)
2487 htab_find_slot_with_hash (INSN_TRANSFORMED_INSNS (insn
),
2488 pti
, VINSN_HASH_RTX (expr_old_vinsn
),
2492 /* Same as moveup_expr, but first looks up the result of
2493 transformation in caches. */
2494 static enum MOVEUP_EXPR_CODE
2495 moveup_expr_cached (expr_t expr
, insn_t insn
, bool inside_insn_group
)
2497 enum MOVEUP_EXPR_CODE res
;
2498 bool got_answer
= false;
2500 if (sched_verbose
>= 6)
2502 sel_print ("Moving ");
2504 sel_print (" through %d: ", INSN_UID (insn
));
2507 if (DEBUG_INSN_P (EXPR_INSN_RTX (expr
))
2508 && (sel_bb_head (BLOCK_FOR_INSN (EXPR_INSN_RTX (expr
)))
2509 == EXPR_INSN_RTX (expr
)))
2510 /* Don't use cached information for debug insns that are heads of
2512 else if (try_bitmap_cache (expr
, insn
, inside_insn_group
, &res
))
2513 /* When inside insn group, we do not want remove stores conflicting
2514 with previosly issued loads. */
2515 got_answer
= ! inside_insn_group
|| res
!= MOVEUP_EXPR_NULL
;
2516 else if (try_transformation_cache (expr
, insn
, &res
))
2521 /* Invoke moveup_expr and record the results. */
2522 vinsn_t expr_old_vinsn
= EXPR_VINSN (expr
);
2523 ds_t expr_old_spec_ds
= EXPR_SPEC_DONE_DS (expr
);
2524 int expr_uid
= INSN_UID (VINSN_INSN_RTX (expr_old_vinsn
));
2525 bool unique_p
= VINSN_UNIQUE_P (expr_old_vinsn
);
2526 enum local_trans_type trans_type
= TRANS_SUBSTITUTION
;
2528 /* ??? Invent something better than this. We can't allow old_vinsn
2529 to go, we need it for the history vector. */
2530 vinsn_attach (expr_old_vinsn
);
2532 res
= moveup_expr (expr
, insn
, inside_insn_group
,
2536 case MOVEUP_EXPR_NULL
:
2537 update_bitmap_cache (expr
, insn
, inside_insn_group
, res
);
2538 if (sched_verbose
>= 6)
2539 sel_print ("removed\n");
2542 case MOVEUP_EXPR_SAME
:
2543 update_bitmap_cache (expr
, insn
, inside_insn_group
, res
);
2544 if (sched_verbose
>= 6)
2545 sel_print ("unchanged\n");
2548 case MOVEUP_EXPR_AS_RHS
:
2549 gcc_assert (!unique_p
|| inside_insn_group
);
2550 update_bitmap_cache (expr
, insn
, inside_insn_group
, res
);
2551 if (sched_verbose
>= 6)
2552 sel_print ("unchanged (as RHS)\n");
2555 case MOVEUP_EXPR_CHANGED
:
2556 gcc_assert (INSN_UID (EXPR_INSN_RTX (expr
)) != expr_uid
2557 || EXPR_SPEC_DONE_DS (expr
) != expr_old_spec_ds
);
2558 insert_in_history_vect (&EXPR_HISTORY_OF_CHANGES (expr
),
2559 INSN_UID (insn
), trans_type
,
2560 expr_old_vinsn
, EXPR_VINSN (expr
),
2562 update_transformation_cache (expr
, insn
, inside_insn_group
,
2563 trans_type
, expr_old_vinsn
);
2564 if (sched_verbose
>= 6)
2566 sel_print ("changed: ");
2575 vinsn_detach (expr_old_vinsn
);
2581 /* Moves an av set AVP up through INSN, performing necessary
2584 moveup_set_expr (av_set_t
*avp
, insn_t insn
, bool inside_insn_group
)
2589 FOR_EACH_EXPR_1 (expr
, i
, avp
)
2592 switch (moveup_expr_cached (expr
, insn
, inside_insn_group
))
2594 case MOVEUP_EXPR_SAME
:
2595 case MOVEUP_EXPR_AS_RHS
:
2598 case MOVEUP_EXPR_NULL
:
2599 av_set_iter_remove (&i
);
2602 case MOVEUP_EXPR_CHANGED
:
2603 expr
= merge_with_other_exprs (avp
, &i
, expr
);
2612 /* Moves AVP set along PATH. */
2614 moveup_set_inside_insn_group (av_set_t
*avp
, ilist_t path
)
2618 if (sched_verbose
>= 6)
2619 sel_print ("Moving expressions up in the insn group...\n");
2622 last_cycle
= INSN_SCHED_CYCLE (ILIST_INSN (path
));
2624 && INSN_SCHED_CYCLE (ILIST_INSN (path
)) == last_cycle
)
2626 moveup_set_expr (avp
, ILIST_INSN (path
), true);
2627 path
= ILIST_NEXT (path
);
2631 /* Returns true if after moving EXPR along PATH it equals to EXPR_VLIW. */
2633 equal_after_moveup_path_p (expr_t expr
, ilist_t path
, expr_t expr_vliw
)
2635 expr_def _tmp
, *tmp
= &_tmp
;
2639 copy_expr_onside (tmp
, expr
);
2640 last_cycle
= path
? INSN_SCHED_CYCLE (ILIST_INSN (path
)) : 0;
2643 && INSN_SCHED_CYCLE (ILIST_INSN (path
)) == last_cycle
)
2645 res
= (moveup_expr_cached (tmp
, ILIST_INSN (path
), true)
2646 != MOVEUP_EXPR_NULL
);
2647 path
= ILIST_NEXT (path
);
2652 vinsn_t tmp_vinsn
= EXPR_VINSN (tmp
);
2653 vinsn_t expr_vliw_vinsn
= EXPR_VINSN (expr_vliw
);
2655 if (tmp_vinsn
!= expr_vliw_vinsn
)
2656 res
= vinsn_equal_p (tmp_vinsn
, expr_vliw_vinsn
);
2664 /* Functions that compute av and lv sets. */
2666 /* Returns true if INSN is not a downward continuation of the given path P in
2667 the current stage. */
2669 is_ineligible_successor (insn_t insn
, ilist_t p
)
2673 /* Check if insn is not deleted. */
2674 if (PREV_INSN (insn
) && NEXT_INSN (PREV_INSN (insn
)) != insn
)
2676 else if (NEXT_INSN (insn
) && PREV_INSN (NEXT_INSN (insn
)) != insn
)
2679 /* If it's the first insn visited, then the successor is ok. */
2683 prev_insn
= ILIST_INSN (p
);
2685 if (/* a backward edge. */
2686 INSN_SEQNO (insn
) < INSN_SEQNO (prev_insn
)
2687 /* is already visited. */
2688 || (INSN_SEQNO (insn
) == INSN_SEQNO (prev_insn
)
2689 && (ilist_is_in_p (p
, insn
)
2690 /* We can reach another fence here and still seqno of insn
2691 would be equal to seqno of prev_insn. This is possible
2692 when prev_insn is a previously created bookkeeping copy.
2693 In that case it'd get a seqno of insn. Thus, check here
2694 whether insn is in current fence too. */
2695 || IN_CURRENT_FENCE_P (insn
)))
2696 /* Was already scheduled on this round. */
2697 || (INSN_SEQNO (insn
) > INSN_SEQNO (prev_insn
)
2698 && IN_CURRENT_FENCE_P (insn
))
2699 /* An insn from another fence could also be
2700 scheduled earlier even if this insn is not in
2701 a fence list right now. Check INSN_SCHED_CYCLE instead. */
2703 && INSN_SCHED_TIMES (insn
) > 0))
2709 /* Computes the av_set below the last bb insn INSN, doing all the 'dirty work'
2710 of handling multiple successors and properly merging its av_sets. P is
2711 the current path traversed. WS is the size of lookahead window.
2712 Return the av set computed. */
2714 compute_av_set_at_bb_end (insn_t insn
, ilist_t p
, int ws
)
2716 struct succs_info
*sinfo
;
2717 av_set_t expr_in_all_succ_branches
= NULL
;
2719 insn_t succ
, zero_succ
= NULL
;
2720 av_set_t av1
= NULL
;
2722 gcc_assert (sel_bb_end_p (insn
));
2724 /* Find different kind of successors needed for correct computing of
2725 SPEC and TARGET_AVAILABLE attributes. */
2726 sinfo
= compute_succs_info (insn
, SUCCS_NORMAL
);
2729 if (sched_verbose
>= 6)
2731 sel_print ("successors of bb end (%d): ", INSN_UID (insn
));
2732 dump_insn_vector (sinfo
->succs_ok
);
2734 if (sinfo
->succs_ok_n
!= sinfo
->all_succs_n
)
2735 sel_print ("real successors num: %d\n", sinfo
->all_succs_n
);
2738 /* Add insn to to the tail of current path. */
2739 ilist_add (&p
, insn
);
2741 FOR_EACH_VEC_ELT (rtx
, sinfo
->succs_ok
, is
, succ
)
2745 /* We will edit SUCC_SET and EXPR_SPEC field of its elements. */
2746 succ_set
= compute_av_set_inside_bb (succ
, p
, ws
, true);
2748 av_set_split_usefulness (succ_set
,
2749 VEC_index (int, sinfo
->probs_ok
, is
),
2752 if (sinfo
->all_succs_n
> 1)
2754 /* Find EXPR'es that came from *all* successors and save them
2755 into expr_in_all_succ_branches. This set will be used later
2756 for calculating speculation attributes of EXPR'es. */
2759 expr_in_all_succ_branches
= av_set_copy (succ_set
);
2761 /* Remember the first successor for later. */
2769 FOR_EACH_EXPR_1 (expr
, i
, &expr_in_all_succ_branches
)
2770 if (!av_set_is_in_p (succ_set
, EXPR_VINSN (expr
)))
2771 av_set_iter_remove (&i
);
2775 /* Union the av_sets. Check liveness restrictions on target registers
2776 in special case of two successors. */
2777 if (sinfo
->succs_ok_n
== 2 && is
== 1)
2779 basic_block bb0
= BLOCK_FOR_INSN (zero_succ
);
2780 basic_block bb1
= BLOCK_FOR_INSN (succ
);
2782 gcc_assert (BB_LV_SET_VALID_P (bb0
) && BB_LV_SET_VALID_P (bb1
));
2783 av_set_union_and_live (&av1
, &succ_set
,
2789 av_set_union_and_clear (&av1
, &succ_set
, insn
);
2792 /* Check liveness restrictions via hard way when there are more than
2794 if (sinfo
->succs_ok_n
> 2)
2795 FOR_EACH_VEC_ELT (rtx
, sinfo
->succs_ok
, is
, succ
)
2797 basic_block succ_bb
= BLOCK_FOR_INSN (succ
);
2799 gcc_assert (BB_LV_SET_VALID_P (succ_bb
));
2800 mark_unavailable_targets (av1
, BB_AV_SET (succ_bb
),
2801 BB_LV_SET (succ_bb
));
2804 /* Finally, check liveness restrictions on paths leaving the region. */
2805 if (sinfo
->all_succs_n
> sinfo
->succs_ok_n
)
2806 FOR_EACH_VEC_ELT (rtx
, sinfo
->succs_other
, is
, succ
)
2807 mark_unavailable_targets
2808 (av1
, NULL
, BB_LV_SET (BLOCK_FOR_INSN (succ
)));
2810 if (sinfo
->all_succs_n
> 1)
2815 /* Increase the spec attribute of all EXPR'es that didn't come
2816 from all successors. */
2817 FOR_EACH_EXPR (expr
, i
, av1
)
2818 if (!av_set_is_in_p (expr_in_all_succ_branches
, EXPR_VINSN (expr
)))
2821 av_set_clear (&expr_in_all_succ_branches
);
2823 /* Do not move conditional branches through other
2824 conditional branches. So, remove all conditional
2825 branches from av_set if current operator is a conditional
2827 av_set_substract_cond_branches (&av1
);
2831 free_succs_info (sinfo
);
2833 if (sched_verbose
>= 6)
2835 sel_print ("av_succs (%d): ", INSN_UID (insn
));
2843 /* This function computes av_set for the FIRST_INSN by dragging valid
2844 av_set through all basic block insns either from the end of basic block
2845 (computed using compute_av_set_at_bb_end) or from the insn on which
2846 MAX_WS was exceeded. It uses compute_av_set_at_bb_end to compute av_set
2847 below the basic block and handling conditional branches.
2848 FIRST_INSN - the basic block head, P - path consisting of the insns
2849 traversed on the way to the FIRST_INSN (the path is sparse, only bb heads
2850 and bb ends are added to the path), WS - current window size,
2851 NEED_COPY_P - true if we'll make a copy of av_set before returning it. */
2853 compute_av_set_inside_bb (insn_t first_insn
, ilist_t p
, int ws
,
2858 insn_t bb_end
= sel_bb_end (BLOCK_FOR_INSN (first_insn
));
2859 insn_t after_bb_end
= NEXT_INSN (bb_end
);
2862 basic_block cur_bb
= BLOCK_FOR_INSN (first_insn
);
2864 /* Return NULL if insn is not on the legitimate downward path. */
2865 if (is_ineligible_successor (first_insn
, p
))
2867 if (sched_verbose
>= 6)
2868 sel_print ("Insn %d is ineligible_successor\n", INSN_UID (first_insn
));
2873 /* If insn already has valid av(insn) computed, just return it. */
2874 if (AV_SET_VALID_P (first_insn
))
2878 if (sel_bb_head_p (first_insn
))
2879 av_set
= BB_AV_SET (BLOCK_FOR_INSN (first_insn
));
2883 if (sched_verbose
>= 6)
2885 sel_print ("Insn %d has a valid av set: ", INSN_UID (first_insn
));
2886 dump_av_set (av_set
);
2890 return need_copy_p
? av_set_copy (av_set
) : av_set
;
2893 ilist_add (&p
, first_insn
);
2895 /* As the result after this loop have completed, in LAST_INSN we'll
2896 have the insn which has valid av_set to start backward computation
2897 from: it either will be NULL because on it the window size was exceeded
2898 or other valid av_set as returned by compute_av_set for the last insn
2899 of the basic block. */
2900 for (last_insn
= first_insn
; last_insn
!= after_bb_end
;
2901 last_insn
= NEXT_INSN (last_insn
))
2903 /* We may encounter valid av_set not only on bb_head, but also on
2904 those insns on which previously MAX_WS was exceeded. */
2905 if (AV_SET_VALID_P (last_insn
))
2907 if (sched_verbose
>= 6)
2908 sel_print ("Insn %d has a valid empty av set\n", INSN_UID (last_insn
));
2912 /* The special case: the last insn of the BB may be an
2913 ineligible_successor due to its SEQ_NO that was set on
2914 it as a bookkeeping. */
2915 if (last_insn
!= first_insn
2916 && is_ineligible_successor (last_insn
, p
))
2918 if (sched_verbose
>= 6)
2919 sel_print ("Insn %d is ineligible_successor\n", INSN_UID (last_insn
));
2923 if (DEBUG_INSN_P (last_insn
))
2926 if (end_ws
> max_ws
)
2928 /* We can reach max lookahead size at bb_header, so clean av_set
2930 INSN_WS_LEVEL (last_insn
) = global_level
;
2932 if (sched_verbose
>= 6)
2933 sel_print ("Insn %d is beyond the software lookahead window size\n",
2934 INSN_UID (last_insn
));
2941 /* Get the valid av_set into AV above the LAST_INSN to start backward
2942 computation from. It either will be empty av_set or av_set computed from
2943 the successors on the last insn of the current bb. */
2944 if (last_insn
!= after_bb_end
)
2948 /* This is needed only to obtain av_sets that are identical to
2949 those computed by the old compute_av_set version. */
2950 if (last_insn
== first_insn
&& !INSN_NOP_P (last_insn
))
2951 av_set_add (&av
, INSN_EXPR (last_insn
));
2954 /* END_WS is always already increased by 1 if LAST_INSN == AFTER_BB_END. */
2955 av
= compute_av_set_at_bb_end (bb_end
, p
, end_ws
);
2957 /* Compute av_set in AV starting from below the LAST_INSN up to
2958 location above the FIRST_INSN. */
2959 for (cur_insn
= PREV_INSN (last_insn
); cur_insn
!= PREV_INSN (first_insn
);
2960 cur_insn
= PREV_INSN (cur_insn
))
2961 if (!INSN_NOP_P (cur_insn
))
2965 moveup_set_expr (&av
, cur_insn
, false);
2967 /* If the expression for CUR_INSN is already in the set,
2968 replace it by the new one. */
2969 expr
= av_set_lookup (av
, INSN_VINSN (cur_insn
));
2973 copy_expr (expr
, INSN_EXPR (cur_insn
));
2976 av_set_add (&av
, INSN_EXPR (cur_insn
));
2979 /* Clear stale bb_av_set. */
2980 if (sel_bb_head_p (first_insn
))
2982 av_set_clear (&BB_AV_SET (cur_bb
));
2983 BB_AV_SET (cur_bb
) = need_copy_p
? av_set_copy (av
) : av
;
2984 BB_AV_LEVEL (cur_bb
) = global_level
;
2987 if (sched_verbose
>= 6)
2989 sel_print ("Computed av set for insn %d: ", INSN_UID (first_insn
));
2998 /* Compute av set before INSN.
2999 INSN - the current operation (actual rtx INSN)
3000 P - the current path, which is list of insns visited so far
3001 WS - software lookahead window size.
3002 UNIQUE_P - TRUE, if returned av_set will be changed, hence
3003 if we want to save computed av_set in s_i_d, we should make a copy of it.
3005 In the resulting set we will have only expressions that don't have delay
3006 stalls and nonsubstitutable dependences. */
3008 compute_av_set (insn_t insn
, ilist_t p
, int ws
, bool unique_p
)
3010 return compute_av_set_inside_bb (insn
, p
, ws
, unique_p
);
3013 /* Propagate a liveness set LV through INSN. */
3015 propagate_lv_set (regset lv
, insn_t insn
)
3017 gcc_assert (INSN_P (insn
));
3019 if (INSN_NOP_P (insn
))
3022 df_simulate_one_insn_backwards (BLOCK_FOR_INSN (insn
), insn
, lv
);
3025 /* Return livness set at the end of BB. */
3027 compute_live_after_bb (basic_block bb
)
3031 regset lv
= get_clear_regset_from_pool ();
3033 gcc_assert (!ignore_first
);
3035 FOR_EACH_EDGE (e
, ei
, bb
->succs
)
3036 if (sel_bb_empty_p (e
->dest
))
3038 if (! BB_LV_SET_VALID_P (e
->dest
))
3041 gcc_assert (BB_LV_SET (e
->dest
) == NULL
);
3042 BB_LV_SET (e
->dest
) = compute_live_after_bb (e
->dest
);
3043 BB_LV_SET_VALID_P (e
->dest
) = true;
3045 IOR_REG_SET (lv
, BB_LV_SET (e
->dest
));
3048 IOR_REG_SET (lv
, compute_live (sel_bb_head (e
->dest
)));
3053 /* Compute the set of all live registers at the point before INSN and save
3054 it at INSN if INSN is bb header. */
3056 compute_live (insn_t insn
)
3058 basic_block bb
= BLOCK_FOR_INSN (insn
);
3062 /* Return the valid set if we're already on it. */
3067 if (sel_bb_head_p (insn
) && BB_LV_SET_VALID_P (bb
))
3068 src
= BB_LV_SET (bb
);
3071 gcc_assert (in_current_region_p (bb
));
3072 if (INSN_LIVE_VALID_P (insn
))
3073 src
= INSN_LIVE (insn
);
3078 lv
= get_regset_from_pool ();
3079 COPY_REG_SET (lv
, src
);
3081 if (sel_bb_head_p (insn
) && ! BB_LV_SET_VALID_P (bb
))
3083 COPY_REG_SET (BB_LV_SET (bb
), lv
);
3084 BB_LV_SET_VALID_P (bb
) = true;
3087 return_regset_to_pool (lv
);
3092 /* We've skipped the wrong lv_set. Don't skip the right one. */
3093 ignore_first
= false;
3094 gcc_assert (in_current_region_p (bb
));
3096 /* Find a valid LV set in this block or below, if needed.
3097 Start searching from the next insn: either ignore_first is true, or
3098 INSN doesn't have a correct live set. */
3099 temp
= NEXT_INSN (insn
);
3100 final
= NEXT_INSN (BB_END (bb
));
3101 while (temp
!= final
&& ! INSN_LIVE_VALID_P (temp
))
3102 temp
= NEXT_INSN (temp
);
3105 lv
= compute_live_after_bb (bb
);
3106 temp
= PREV_INSN (temp
);
3110 lv
= get_regset_from_pool ();
3111 COPY_REG_SET (lv
, INSN_LIVE (temp
));
3114 /* Put correct lv sets on the insns which have bad sets. */
3115 final
= PREV_INSN (insn
);
3116 while (temp
!= final
)
3118 propagate_lv_set (lv
, temp
);
3119 COPY_REG_SET (INSN_LIVE (temp
), lv
);
3120 INSN_LIVE_VALID_P (temp
) = true;
3121 temp
= PREV_INSN (temp
);
3124 /* Also put it in a BB. */
3125 if (sel_bb_head_p (insn
))
3127 basic_block bb
= BLOCK_FOR_INSN (insn
);
3129 COPY_REG_SET (BB_LV_SET (bb
), lv
);
3130 BB_LV_SET_VALID_P (bb
) = true;
3133 /* We return LV to the pool, but will not clear it there. Thus we can
3134 legimatelly use LV till the next use of regset_pool_get (). */
3135 return_regset_to_pool (lv
);
3139 /* Update liveness sets for INSN. */
3141 update_liveness_on_insn (rtx insn
)
3143 ignore_first
= true;
3144 compute_live (insn
);
3147 /* Compute liveness below INSN and write it into REGS. */
3149 compute_live_below_insn (rtx insn
, regset regs
)
3154 FOR_EACH_SUCC_1 (succ
, si
, insn
, SUCCS_ALL
)
3155 IOR_REG_SET (regs
, compute_live (succ
));
3158 /* Update the data gathered in av and lv sets starting from INSN. */
3160 update_data_sets (rtx insn
)
3162 update_liveness_on_insn (insn
);
3163 if (sel_bb_head_p (insn
))
3165 gcc_assert (AV_LEVEL (insn
) != 0);
3166 BB_AV_LEVEL (BLOCK_FOR_INSN (insn
)) = -1;
3167 compute_av_set (insn
, NULL
, 0, 0);
3172 /* Helper for move_op () and find_used_regs ().
3173 Return speculation type for which a check should be created on the place
3174 of INSN. EXPR is one of the original ops we are searching for. */
3176 get_spec_check_type_for_insn (insn_t insn
, expr_t expr
)
3179 ds_t already_checked_ds
= EXPR_SPEC_DONE_DS (INSN_EXPR (insn
));
3181 to_check_ds
= EXPR_SPEC_TO_CHECK_DS (expr
);
3183 if (targetm
.sched
.get_insn_checked_ds
)
3184 already_checked_ds
|= targetm
.sched
.get_insn_checked_ds (insn
);
3186 if (spec_info
!= NULL
3187 && (spec_info
->flags
& SEL_SCHED_SPEC_DONT_CHECK_CONTROL
))
3188 already_checked_ds
|= BEGIN_CONTROL
;
3190 already_checked_ds
= ds_get_speculation_types (already_checked_ds
);
3192 to_check_ds
&= ~already_checked_ds
;
3197 /* Find the set of registers that are unavailable for storing expres
3198 while moving ORIG_OPS up on the path starting from INSN due to
3199 liveness (USED_REGS) or hardware restrictions (REG_RENAME_P).
3201 All the original operations found during the traversal are saved in the
3202 ORIGINAL_INSNS list.
3204 REG_RENAME_P denotes the set of hardware registers that
3205 can not be used with renaming due to the register class restrictions,
3206 mode restrictions and other (the register we'll choose should be
3207 compatible class with the original uses, shouldn't be in call_used_regs,
3208 should be HARD_REGNO_RENAME_OK etc).
3210 Returns TRUE if we've found all original insns, FALSE otherwise.
3212 This function utilizes code_motion_path_driver (formerly find_used_regs_1)
3213 to traverse the code motion paths. This helper function finds registers
3214 that are not available for storing expres while moving ORIG_OPS up on the
3215 path starting from INSN. A register considered as used on the moving path,
3216 if one of the following conditions is not satisfied:
3218 (1) a register not set or read on any path from xi to an instance of
3219 the original operation,
3220 (2) not among the live registers of the point immediately following the
3221 first original operation on a given downward path, except for the
3222 original target register of the operation,
3223 (3) not live on the other path of any conditional branch that is passed
3224 by the operation, in case original operations are not present on
3225 both paths of the conditional branch.
3227 All the original operations found during the traversal are saved in the
3228 ORIGINAL_INSNS list.
3230 REG_RENAME_P->CROSSES_CALL is true, if there is a call insn on the path
3231 from INSN to original insn. In this case CALL_USED_REG_SET will be added
3232 to unavailable hard regs at the point original operation is found. */
3235 find_used_regs (insn_t insn
, av_set_t orig_ops
, regset used_regs
,
3236 struct reg_rename
*reg_rename_p
, def_list_t
*original_insns
)
3238 def_list_iterator i
;
3241 bool needs_spec_check_p
= false;
3243 av_set_iterator expr_iter
;
3244 struct fur_static_params sparams
;
3245 struct cmpd_local_params lparams
;
3247 /* We haven't visited any blocks yet. */
3248 bitmap_clear (code_motion_visited_blocks
);
3250 /* Init parameters for code_motion_path_driver. */
3251 sparams
.crosses_call
= false;
3252 sparams
.original_insns
= original_insns
;
3253 sparams
.used_regs
= used_regs
;
3255 /* Set the appropriate hooks and data. */
3256 code_motion_path_driver_info
= &fur_hooks
;
3258 res
= code_motion_path_driver (insn
, orig_ops
, NULL
, &lparams
, &sparams
);
3260 reg_rename_p
->crosses_call
|= sparams
.crosses_call
;
3262 gcc_assert (res
== 1);
3263 gcc_assert (original_insns
&& *original_insns
);
3265 /* ??? We calculate whether an expression needs a check when computing
3266 av sets. This information is not as precise as it could be due to
3267 merging this bit in merge_expr. We can do better in find_used_regs,
3268 but we want to avoid multiple traversals of the same code motion
3270 FOR_EACH_EXPR (expr
, expr_iter
, orig_ops
)
3271 needs_spec_check_p
|= EXPR_NEEDS_SPEC_CHECK_P (expr
);
3273 /* Mark hardware regs in REG_RENAME_P that are not suitable
3274 for renaming expr in INSN due to hardware restrictions (register class,
3275 modes compatibility etc). */
3276 FOR_EACH_DEF (def
, i
, *original_insns
)
3278 vinsn_t vinsn
= INSN_VINSN (def
->orig_insn
);
3280 if (VINSN_SEPARABLE_P (vinsn
))
3281 mark_unavailable_hard_regs (def
, reg_rename_p
, used_regs
);
3283 /* Do not allow clobbering of ld.[sa] address in case some of the
3284 original operations need a check. */
3285 if (needs_spec_check_p
)
3286 IOR_REG_SET (used_regs
, VINSN_REG_USES (vinsn
));
3293 /* Functions to choose the best insn from available ones. */
3295 /* Adjusts the priority for EXPR using the backend *_adjust_priority hook. */
3297 sel_target_adjust_priority (expr_t expr
)
3299 int priority
= EXPR_PRIORITY (expr
);
3302 if (targetm
.sched
.adjust_priority
)
3303 new_priority
= targetm
.sched
.adjust_priority (EXPR_INSN_RTX (expr
), priority
);
3305 new_priority
= priority
;
3307 /* If the priority has changed, adjust EXPR_PRIORITY_ADJ accordingly. */
3308 EXPR_PRIORITY_ADJ (expr
) = new_priority
- EXPR_PRIORITY (expr
);
3310 gcc_assert (EXPR_PRIORITY_ADJ (expr
) >= 0);
3312 if (sched_verbose
>= 4)
3313 sel_print ("sel_target_adjust_priority: insn %d, %d+%d = %d.\n",
3314 INSN_UID (EXPR_INSN_RTX (expr
)), EXPR_PRIORITY (expr
),
3315 EXPR_PRIORITY_ADJ (expr
), new_priority
);
3317 return new_priority
;
3320 /* Rank two available exprs for schedule. Never return 0 here. */
3322 sel_rank_for_schedule (const void *x
, const void *y
)
3324 expr_t tmp
= *(const expr_t
*) y
;
3325 expr_t tmp2
= *(const expr_t
*) x
;
3326 insn_t tmp_insn
, tmp2_insn
;
3327 vinsn_t tmp_vinsn
, tmp2_vinsn
;
3330 tmp_vinsn
= EXPR_VINSN (tmp
);
3331 tmp2_vinsn
= EXPR_VINSN (tmp2
);
3332 tmp_insn
= EXPR_INSN_RTX (tmp
);
3333 tmp2_insn
= EXPR_INSN_RTX (tmp2
);
3335 /* Schedule debug insns as early as possible. */
3336 if (DEBUG_INSN_P (tmp_insn
) && !DEBUG_INSN_P (tmp2_insn
))
3338 else if (DEBUG_INSN_P (tmp2_insn
))
3341 /* Prefer SCHED_GROUP_P insns to any others. */
3342 if (SCHED_GROUP_P (tmp_insn
) != SCHED_GROUP_P (tmp2_insn
))
3344 if (VINSN_UNIQUE_P (tmp_vinsn
) && VINSN_UNIQUE_P (tmp2_vinsn
))
3345 return SCHED_GROUP_P (tmp2_insn
) ? 1 : -1;
3347 /* Now uniqueness means SCHED_GROUP_P is set, because schedule groups
3348 cannot be cloned. */
3349 if (VINSN_UNIQUE_P (tmp2_vinsn
))
3354 /* Discourage scheduling of speculative checks. */
3355 val
= (sel_insn_is_speculation_check (tmp_insn
)
3356 - sel_insn_is_speculation_check (tmp2_insn
));
3360 /* Prefer not scheduled insn over scheduled one. */
3361 if (EXPR_SCHED_TIMES (tmp
) > 0 || EXPR_SCHED_TIMES (tmp2
) > 0)
3363 val
= EXPR_SCHED_TIMES (tmp
) - EXPR_SCHED_TIMES (tmp2
);
3368 /* Prefer jump over non-jump instruction. */
3369 if (control_flow_insn_p (tmp_insn
) && !control_flow_insn_p (tmp2_insn
))
3371 else if (control_flow_insn_p (tmp2_insn
) && !control_flow_insn_p (tmp_insn
))
3374 /* Prefer an expr with greater priority. */
3375 if (EXPR_USEFULNESS (tmp
) != 0 && EXPR_USEFULNESS (tmp2
) != 0)
3377 int p2
= EXPR_PRIORITY (tmp2
) + EXPR_PRIORITY_ADJ (tmp2
),
3378 p1
= EXPR_PRIORITY (tmp
) + EXPR_PRIORITY_ADJ (tmp
);
3380 val
= p2
* EXPR_USEFULNESS (tmp2
) - p1
* EXPR_USEFULNESS (tmp
);
3383 val
= EXPR_PRIORITY (tmp2
) - EXPR_PRIORITY (tmp
)
3384 + EXPR_PRIORITY_ADJ (tmp2
) - EXPR_PRIORITY_ADJ (tmp
);
3388 if (spec_info
!= NULL
&& spec_info
->mask
!= 0)
3389 /* This code was taken from haifa-sched.c: rank_for_schedule (). */
3395 ds1
= EXPR_SPEC_DONE_DS (tmp
);
3397 dw1
= ds_weak (ds1
);
3401 ds2
= EXPR_SPEC_DONE_DS (tmp2
);
3403 dw2
= ds_weak (ds2
);
3408 if (dw
> (NO_DEP_WEAK
/ 8) || dw
< -(NO_DEP_WEAK
/ 8))
3412 /* Prefer an old insn to a bookkeeping insn. */
3413 if (INSN_UID (tmp_insn
) < first_emitted_uid
3414 && INSN_UID (tmp2_insn
) >= first_emitted_uid
)
3416 if (INSN_UID (tmp_insn
) >= first_emitted_uid
3417 && INSN_UID (tmp2_insn
) < first_emitted_uid
)
3420 /* Prefer an insn with smaller UID, as a last resort.
3421 We can't safely use INSN_LUID as it is defined only for those insns
3422 that are in the stream. */
3423 return INSN_UID (tmp_insn
) - INSN_UID (tmp2_insn
);
3426 /* Filter out expressions from av set pointed to by AV_PTR
3427 that are pipelined too many times. */
3429 process_pipelined_exprs (av_set_t
*av_ptr
)
3434 /* Don't pipeline already pipelined code as that would increase
3435 number of unnecessary register moves. */
3436 FOR_EACH_EXPR_1 (expr
, si
, av_ptr
)
3438 if (EXPR_SCHED_TIMES (expr
)
3439 >= PARAM_VALUE (PARAM_SELSCHED_MAX_SCHED_TIMES
))
3440 av_set_iter_remove (&si
);
3444 /* Filter speculative insns from AV_PTR if we don't want them. */
3446 process_spec_exprs (av_set_t
*av_ptr
)
3448 bool try_data_p
= true;
3449 bool try_control_p
= true;
3453 if (spec_info
== NULL
)
3456 /* Scan *AV_PTR to find out if we want to consider speculative
3457 instructions for scheduling. */
3458 FOR_EACH_EXPR_1 (expr
, si
, av_ptr
)
3462 ds
= EXPR_SPEC_DONE_DS (expr
);
3464 /* The probability of a success is too low - don't speculate. */
3465 if ((ds
& SPECULATIVE
)
3466 && (ds_weak (ds
) < spec_info
->data_weakness_cutoff
3467 || EXPR_USEFULNESS (expr
) < spec_info
->control_weakness_cutoff
3468 || (pipelining_p
&& false
3470 && (ds
& CONTROL_SPEC
))))
3472 av_set_iter_remove (&si
);
3476 if ((spec_info
->flags
& PREFER_NON_DATA_SPEC
)
3477 && !(ds
& BEGIN_DATA
))
3480 if ((spec_info
->flags
& PREFER_NON_CONTROL_SPEC
)
3481 && !(ds
& BEGIN_CONTROL
))
3482 try_control_p
= false;
3485 FOR_EACH_EXPR_1 (expr
, si
, av_ptr
)
3489 ds
= EXPR_SPEC_DONE_DS (expr
);
3491 if (ds
& SPECULATIVE
)
3493 if ((ds
& BEGIN_DATA
) && !try_data_p
)
3494 /* We don't want any data speculative instructions right
3496 av_set_iter_remove (&si
);
3498 if ((ds
& BEGIN_CONTROL
) && !try_control_p
)
3499 /* We don't want any control speculative instructions right
3501 av_set_iter_remove (&si
);
3506 /* Search for any use-like insns in AV_PTR and decide on scheduling
3507 them. Return one when found, and NULL otherwise.
3508 Note that we check here whether a USE could be scheduled to avoid
3509 an infinite loop later. */
3511 process_use_exprs (av_set_t
*av_ptr
)
3515 bool uses_present_p
= false;
3516 bool try_uses_p
= true;
3518 FOR_EACH_EXPR_1 (expr
, si
, av_ptr
)
3520 /* This will also initialize INSN_CODE for later use. */
3521 if (recog_memoized (EXPR_INSN_RTX (expr
)) < 0)
3523 /* If we have a USE in *AV_PTR that was not scheduled yet,
3524 do so because it will do good only. */
3525 if (EXPR_SCHED_TIMES (expr
) <= 0)
3527 if (EXPR_TARGET_AVAILABLE (expr
) == 1)
3530 av_set_iter_remove (&si
);
3534 gcc_assert (pipelining_p
);
3536 uses_present_p
= true;
3545 /* If we don't want to schedule any USEs right now and we have some
3546 in *AV_PTR, remove them, else just return the first one found. */
3549 FOR_EACH_EXPR_1 (expr
, si
, av_ptr
)
3550 if (INSN_CODE (EXPR_INSN_RTX (expr
)) < 0)
3551 av_set_iter_remove (&si
);
3555 FOR_EACH_EXPR_1 (expr
, si
, av_ptr
)
3557 gcc_assert (INSN_CODE (EXPR_INSN_RTX (expr
)) < 0);
3559 if (EXPR_TARGET_AVAILABLE (expr
) == 1)
3562 av_set_iter_remove (&si
);
3570 /* Lookup EXPR in VINSN_VEC and return TRUE if found. */
3572 vinsn_vec_has_expr_p (vinsn_vec_t vinsn_vec
, expr_t expr
)
3577 FOR_EACH_VEC_ELT (vinsn_t
, vinsn_vec
, n
, vinsn
)
3578 if (VINSN_SEPARABLE_P (vinsn
))
3580 if (vinsn_equal_p (vinsn
, EXPR_VINSN (expr
)))
3585 /* For non-separable instructions, the blocking insn can have
3586 another pattern due to substitution, and we can't choose
3587 different register as in the above case. Check all registers
3588 being written instead. */
3589 if (bitmap_intersect_p (VINSN_REG_SETS (vinsn
),
3590 VINSN_REG_SETS (EXPR_VINSN (expr
))))
3597 #ifdef ENABLE_CHECKING
3598 /* Return true if either of expressions from ORIG_OPS can be blocked
3599 by previously created bookkeeping code. STATIC_PARAMS points to static
3600 parameters of move_op. */
3602 av_set_could_be_blocked_by_bookkeeping_p (av_set_t orig_ops
, void *static_params
)
3605 av_set_iterator iter
;
3606 moveop_static_params_p sparams
;
3608 /* This checks that expressions in ORIG_OPS are not blocked by bookkeeping
3609 created while scheduling on another fence. */
3610 FOR_EACH_EXPR (expr
, iter
, orig_ops
)
3611 if (vinsn_vec_has_expr_p (vec_bookkeeping_blocked_vinsns
, expr
))
3614 gcc_assert (code_motion_path_driver_info
== &move_op_hooks
);
3615 sparams
= (moveop_static_params_p
) static_params
;
3617 /* Expressions can be also blocked by bookkeeping created during current
3619 if (bitmap_bit_p (current_copies
, INSN_UID (sparams
->failed_insn
)))
3620 FOR_EACH_EXPR (expr
, iter
, orig_ops
)
3621 if (moveup_expr_cached (expr
, sparams
->failed_insn
, false) != MOVEUP_EXPR_NULL
)
3624 /* Expressions in ORIG_OPS may have wrong destination register due to
3625 renaming. Check with the right register instead. */
3626 if (sparams
->dest
&& REG_P (sparams
->dest
))
3628 unsigned regno
= REGNO (sparams
->dest
);
3629 vinsn_t failed_vinsn
= INSN_VINSN (sparams
->failed_insn
);
3631 if (bitmap_bit_p (VINSN_REG_SETS (failed_vinsn
), regno
)
3632 || bitmap_bit_p (VINSN_REG_USES (failed_vinsn
), regno
)
3633 || bitmap_bit_p (VINSN_REG_CLOBBERS (failed_vinsn
), regno
))
3641 /* Clear VINSN_VEC and detach vinsns. */
3643 vinsn_vec_clear (vinsn_vec_t
*vinsn_vec
)
3645 unsigned len
= VEC_length (vinsn_t
, *vinsn_vec
);
3651 FOR_EACH_VEC_ELT (vinsn_t
, *vinsn_vec
, n
, vinsn
)
3652 vinsn_detach (vinsn
);
3653 VEC_block_remove (vinsn_t
, *vinsn_vec
, 0, len
);
3657 /* Add the vinsn of EXPR to the VINSN_VEC. */
3659 vinsn_vec_add (vinsn_vec_t
*vinsn_vec
, expr_t expr
)
3661 vinsn_attach (EXPR_VINSN (expr
));
3662 VEC_safe_push (vinsn_t
, heap
, *vinsn_vec
, EXPR_VINSN (expr
));
3665 /* Free the vector representing blocked expressions. */
3667 vinsn_vec_free (vinsn_vec_t
*vinsn_vec
)
3670 VEC_free (vinsn_t
, heap
, *vinsn_vec
);
3673 /* Increase EXPR_PRIORITY_ADJ for INSN by AMOUNT. */
3675 void sel_add_to_insn_priority (rtx insn
, int amount
)
3677 EXPR_PRIORITY_ADJ (INSN_EXPR (insn
)) += amount
;
3679 if (sched_verbose
>= 2)
3680 sel_print ("sel_add_to_insn_priority: insn %d, by %d (now %d+%d).\n",
3681 INSN_UID (insn
), amount
, EXPR_PRIORITY (INSN_EXPR (insn
)),
3682 EXPR_PRIORITY_ADJ (INSN_EXPR (insn
)));
3685 /* Turn AV into a vector, filter inappropriate insns and sort it. Return
3686 true if there is something to schedule. BNDS and FENCE are current
3687 boundaries and fence, respectively. If we need to stall for some cycles
3688 before an expr from AV would become available, write this number to
3691 fill_vec_av_set (av_set_t av
, blist_t bnds
, fence_t fence
,
3696 int sched_next_worked
= 0, stalled
, n
;
3697 static int av_max_prio
, est_ticks_till_branch
;
3698 int min_need_stall
= -1;
3699 deps_t dc
= BND_DC (BLIST_BND (bnds
));
3701 /* Bail out early when the ready list contained only USEs/CLOBBERs that are
3702 already scheduled. */
3706 /* Empty vector from the previous stuff. */
3707 if (VEC_length (expr_t
, vec_av_set
) > 0)
3708 VEC_block_remove (expr_t
, vec_av_set
, 0, VEC_length (expr_t
, vec_av_set
));
3710 /* Turn the set into a vector for sorting and call sel_target_adjust_priority
3712 gcc_assert (VEC_empty (expr_t
, vec_av_set
));
3713 FOR_EACH_EXPR (expr
, si
, av
)
3715 VEC_safe_push (expr_t
, heap
, vec_av_set
, expr
);
3717 gcc_assert (EXPR_PRIORITY_ADJ (expr
) == 0 || *pneed_stall
);
3719 /* Adjust priority using target backend hook. */
3720 sel_target_adjust_priority (expr
);
3723 /* Sort the vector. */
3724 VEC_qsort (expr_t
, vec_av_set
, sel_rank_for_schedule
);
3726 /* We record maximal priority of insns in av set for current instruction
3728 if (FENCE_STARTS_CYCLE_P (fence
))
3729 av_max_prio
= est_ticks_till_branch
= INT_MIN
;
3731 /* Filter out inappropriate expressions. Loop's direction is reversed to
3732 visit "best" instructions first. We assume that VEC_unordered_remove
3733 moves last element in place of one being deleted. */
3734 for (n
= VEC_length (expr_t
, vec_av_set
) - 1, stalled
= 0; n
>= 0; n
--)
3736 expr_t expr
= VEC_index (expr_t
, vec_av_set
, n
);
3737 insn_t insn
= EXPR_INSN_RTX (expr
);
3738 signed char target_available
;
3739 bool is_orig_reg_p
= true;
3740 int need_cycles
, new_prio
;
3742 /* Don't allow any insns other than from SCHED_GROUP if we have one. */
3743 if (FENCE_SCHED_NEXT (fence
) && insn
!= FENCE_SCHED_NEXT (fence
))
3745 VEC_unordered_remove (expr_t
, vec_av_set
, n
);
3749 /* Set number of sched_next insns (just in case there
3750 could be several). */
3751 if (FENCE_SCHED_NEXT (fence
))
3752 sched_next_worked
++;
3754 /* Check all liveness requirements and try renaming.
3755 FIXME: try to minimize calls to this. */
3756 target_available
= EXPR_TARGET_AVAILABLE (expr
);
3758 /* If insn was already scheduled on the current fence,
3759 set TARGET_AVAILABLE to -1 no matter what expr's attribute says. */
3760 if (vinsn_vec_has_expr_p (vec_target_unavailable_vinsns
, expr
))
3761 target_available
= -1;
3763 /* If the availability of the EXPR is invalidated by the insertion of
3764 bookkeeping earlier, make sure that we won't choose this expr for
3765 scheduling if it's not separable, and if it is separable, then
3766 we have to recompute the set of available registers for it. */
3767 if (vinsn_vec_has_expr_p (vec_bookkeeping_blocked_vinsns
, expr
))
3769 VEC_unordered_remove (expr_t
, vec_av_set
, n
);
3770 if (sched_verbose
>= 4)
3771 sel_print ("Expr %d is blocked by bookkeeping inserted earlier\n",
3776 if (target_available
== true)
3778 /* Do nothing -- we can use an existing register. */
3779 is_orig_reg_p
= EXPR_SEPARABLE_P (expr
);
3781 else if (/* Non-separable instruction will never
3782 get another register. */
3783 (target_available
== false
3784 && !EXPR_SEPARABLE_P (expr
))
3785 /* Don't try to find a register for low-priority expression. */
3786 || (int) VEC_length (expr_t
, vec_av_set
) - 1 - n
>= max_insns_to_rename
3787 /* ??? FIXME: Don't try to rename data speculation. */
3788 || (EXPR_SPEC_DONE_DS (expr
) & BEGIN_DATA
)
3789 || ! find_best_reg_for_expr (expr
, bnds
, &is_orig_reg_p
))
3791 VEC_unordered_remove (expr_t
, vec_av_set
, n
);
3792 if (sched_verbose
>= 4)
3793 sel_print ("Expr %d has no suitable target register\n",
3798 /* Filter expressions that need to be renamed or speculated when
3799 pipelining, because compensating register copies or speculation
3800 checks are likely to be placed near the beginning of the loop,
3802 if (pipelining_p
&& EXPR_ORIG_SCHED_CYCLE (expr
) > 0
3803 && (!is_orig_reg_p
|| EXPR_SPEC_DONE_DS (expr
) != 0))
3805 /* Estimation of number of cycles until loop branch for
3806 renaming/speculation to be successful. */
3807 int need_n_ticks_till_branch
= sel_vinsn_cost (EXPR_VINSN (expr
));
3809 if ((int) current_loop_nest
->ninsns
< 9)
3811 VEC_unordered_remove (expr_t
, vec_av_set
, n
);
3812 if (sched_verbose
>= 4)
3813 sel_print ("Pipelining expr %d will likely cause stall\n",
3818 if ((int) current_loop_nest
->ninsns
- num_insns_scheduled
3819 < need_n_ticks_till_branch
* issue_rate
/ 2
3820 && est_ticks_till_branch
< need_n_ticks_till_branch
)
3822 VEC_unordered_remove (expr_t
, vec_av_set
, n
);
3823 if (sched_verbose
>= 4)
3824 sel_print ("Pipelining expr %d will likely cause stall\n",
3830 /* We want to schedule speculation checks as late as possible. Discard
3831 them from av set if there are instructions with higher priority. */
3832 if (sel_insn_is_speculation_check (insn
)
3833 && EXPR_PRIORITY (expr
) < av_max_prio
)
3836 min_need_stall
= min_need_stall
< 0 ? 1 : MIN (min_need_stall
, 1);
3837 VEC_unordered_remove (expr_t
, vec_av_set
, n
);
3838 if (sched_verbose
>= 4)
3839 sel_print ("Delaying speculation check %d until its first use\n",
3844 /* Ignore EXPRs available from pipelining to update AV_MAX_PRIO. */
3845 if (EXPR_ORIG_SCHED_CYCLE (expr
) <= 0)
3846 av_max_prio
= MAX (av_max_prio
, EXPR_PRIORITY (expr
));
3848 /* Don't allow any insns whose data is not yet ready.
3849 Check first whether we've already tried them and failed. */
3850 if (INSN_UID (insn
) < FENCE_READY_TICKS_SIZE (fence
))
3852 need_cycles
= (FENCE_READY_TICKS (fence
)[INSN_UID (insn
)]
3853 - FENCE_CYCLE (fence
));
3854 if (EXPR_ORIG_SCHED_CYCLE (expr
) <= 0)
3855 est_ticks_till_branch
= MAX (est_ticks_till_branch
,
3856 EXPR_PRIORITY (expr
) + need_cycles
);
3858 if (need_cycles
> 0)
3861 min_need_stall
= (min_need_stall
< 0
3863 : MIN (min_need_stall
, need_cycles
));
3864 VEC_unordered_remove (expr_t
, vec_av_set
, n
);
3866 if (sched_verbose
>= 4)
3867 sel_print ("Expr %d is not ready until cycle %d (cached)\n",
3869 FENCE_READY_TICKS (fence
)[INSN_UID (insn
)]);
3874 /* Now resort to dependence analysis to find whether EXPR might be
3875 stalled due to dependencies from FENCE's context. */
3876 need_cycles
= tick_check_p (expr
, dc
, fence
);
3877 new_prio
= EXPR_PRIORITY (expr
) + EXPR_PRIORITY_ADJ (expr
) + need_cycles
;
3879 if (EXPR_ORIG_SCHED_CYCLE (expr
) <= 0)
3880 est_ticks_till_branch
= MAX (est_ticks_till_branch
,
3883 if (need_cycles
> 0)
3885 if (INSN_UID (insn
) >= FENCE_READY_TICKS_SIZE (fence
))
3887 int new_size
= INSN_UID (insn
) * 3 / 2;
3889 FENCE_READY_TICKS (fence
)
3890 = (int *) xrecalloc (FENCE_READY_TICKS (fence
),
3891 new_size
, FENCE_READY_TICKS_SIZE (fence
),
3894 FENCE_READY_TICKS (fence
)[INSN_UID (insn
)]
3895 = FENCE_CYCLE (fence
) + need_cycles
;
3898 min_need_stall
= (min_need_stall
< 0
3900 : MIN (min_need_stall
, need_cycles
));
3902 VEC_unordered_remove (expr_t
, vec_av_set
, n
);
3904 if (sched_verbose
>= 4)
3905 sel_print ("Expr %d is not ready yet until cycle %d\n",
3907 FENCE_READY_TICKS (fence
)[INSN_UID (insn
)]);
3911 if (sched_verbose
>= 4)
3912 sel_print ("Expr %d is ok\n", INSN_UID (insn
));
3916 /* Clear SCHED_NEXT. */
3917 if (FENCE_SCHED_NEXT (fence
))
3919 gcc_assert (sched_next_worked
== 1);
3920 FENCE_SCHED_NEXT (fence
) = NULL_RTX
;
3923 /* No need to stall if this variable was not initialized. */
3924 if (min_need_stall
< 0)
3927 if (VEC_empty (expr_t
, vec_av_set
))
3929 /* We need to set *pneed_stall here, because later we skip this code
3930 when ready list is empty. */
3931 *pneed_stall
= min_need_stall
;
3935 gcc_assert (min_need_stall
== 0);
3937 /* Sort the vector. */
3938 VEC_qsort (expr_t
, vec_av_set
, sel_rank_for_schedule
);
3940 if (sched_verbose
>= 4)
3942 sel_print ("Total ready exprs: %d, stalled: %d\n",
3943 VEC_length (expr_t
, vec_av_set
), stalled
);
3944 sel_print ("Sorted av set (%d): ", VEC_length (expr_t
, vec_av_set
));
3945 FOR_EACH_VEC_ELT (expr_t
, vec_av_set
, n
, expr
)
3954 /* Convert a vectored and sorted av set to the ready list that
3955 the rest of the backend wants to see. */
3957 convert_vec_av_set_to_ready (void)
3962 /* Allocate and fill the ready list from the sorted vector. */
3963 ready
.n_ready
= VEC_length (expr_t
, vec_av_set
);
3964 ready
.first
= ready
.n_ready
- 1;
3966 gcc_assert (ready
.n_ready
> 0);
3968 if (ready
.n_ready
> max_issue_size
)
3970 max_issue_size
= ready
.n_ready
;
3971 sched_extend_ready_list (ready
.n_ready
);
3974 FOR_EACH_VEC_ELT (expr_t
, vec_av_set
, n
, expr
)
3976 vinsn_t vi
= EXPR_VINSN (expr
);
3977 insn_t insn
= VINSN_INSN_RTX (vi
);
3980 ready
.vec
[n
] = insn
;
3984 /* Initialize ready list from *AV_PTR for the max_issue () call.
3985 If any unrecognizable insn found in *AV_PTR, return it (and skip
3986 max_issue). BND and FENCE are current boundary and fence,
3987 respectively. If we need to stall for some cycles before an expr
3988 from *AV_PTR would become available, write this number to *PNEED_STALL. */
3990 fill_ready_list (av_set_t
*av_ptr
, blist_t bnds
, fence_t fence
,
3995 /* We do not support multiple boundaries per fence. */
3996 gcc_assert (BLIST_NEXT (bnds
) == NULL
);
3998 /* Process expressions required special handling, i.e. pipelined,
3999 speculative and recog() < 0 expressions first. */
4000 process_pipelined_exprs (av_ptr
);
4001 process_spec_exprs (av_ptr
);
4003 /* A USE could be scheduled immediately. */
4004 expr
= process_use_exprs (av_ptr
);
4011 /* Turn the av set to a vector for sorting. */
4012 if (! fill_vec_av_set (*av_ptr
, bnds
, fence
, pneed_stall
))
4018 /* Build the final ready list. */
4019 convert_vec_av_set_to_ready ();
4023 /* Wrapper for dfa_new_cycle (). Returns TRUE if cycle was advanced. */
4025 sel_dfa_new_cycle (insn_t insn
, fence_t fence
)
4027 int last_scheduled_cycle
= FENCE_LAST_SCHEDULED_INSN (fence
)
4028 ? INSN_SCHED_CYCLE (FENCE_LAST_SCHEDULED_INSN (fence
))
4029 : FENCE_CYCLE (fence
) - 1;
4033 if (!targetm
.sched
.dfa_new_cycle
)
4036 memcpy (curr_state
, FENCE_STATE (fence
), dfa_state_size
);
4038 while (!sort_p
&& targetm
.sched
.dfa_new_cycle (sched_dump
, sched_verbose
,
4039 insn
, last_scheduled_cycle
,
4040 FENCE_CYCLE (fence
), &sort_p
))
4042 memcpy (FENCE_STATE (fence
), curr_state
, dfa_state_size
);
4043 advance_one_cycle (fence
);
4044 memcpy (curr_state
, FENCE_STATE (fence
), dfa_state_size
);
4051 /* Invoke reorder* target hooks on the ready list. Return the number of insns
4052 we can issue. FENCE is the current fence. */
4054 invoke_reorder_hooks (fence_t fence
)
4057 bool ran_hook
= false;
4059 /* Call the reorder hook at the beginning of the cycle, and call
4060 the reorder2 hook in the middle of the cycle. */
4061 if (FENCE_ISSUED_INSNS (fence
) == 0)
4063 if (targetm
.sched
.reorder
4064 && !SCHED_GROUP_P (ready_element (&ready
, 0))
4065 && ready
.n_ready
> 1)
4067 /* Don't give reorder the most prioritized insn as it can break
4073 = targetm
.sched
.reorder (sched_dump
, sched_verbose
,
4074 ready_lastpos (&ready
),
4075 &ready
.n_ready
, FENCE_CYCLE (fence
));
4083 /* Initialize can_issue_more for variable_issue. */
4084 issue_more
= issue_rate
;
4086 else if (targetm
.sched
.reorder2
4087 && !SCHED_GROUP_P (ready_element (&ready
, 0)))
4089 if (ready
.n_ready
== 1)
4091 targetm
.sched
.reorder2 (sched_dump
, sched_verbose
,
4092 ready_lastpos (&ready
),
4093 &ready
.n_ready
, FENCE_CYCLE (fence
));
4100 targetm
.sched
.reorder2 (sched_dump
, sched_verbose
,
4102 ? ready_lastpos (&ready
) : NULL
,
4103 &ready
.n_ready
, FENCE_CYCLE (fence
));
4112 issue_more
= FENCE_ISSUE_MORE (fence
);
4114 /* Ensure that ready list and vec_av_set are in line with each other,
4115 i.e. vec_av_set[i] == ready_element (&ready, i). */
4116 if (issue_more
&& ran_hook
)
4119 rtx
*arr
= ready
.vec
;
4120 expr_t
*vec
= VEC_address (expr_t
, vec_av_set
);
4122 for (i
= 0, n
= ready
.n_ready
; i
< n
; i
++)
4123 if (EXPR_INSN_RTX (vec
[i
]) != arr
[i
])
4127 for (j
= i
; j
< n
; j
++)
4128 if (EXPR_INSN_RTX (vec
[j
]) == arr
[i
])
4141 /* Return an EXPR correponding to INDEX element of ready list, if
4142 FOLLOW_READY_ELEMENT is true (i.e., an expr of
4143 ready_element (&ready, INDEX) will be returned), and to INDEX element of
4144 ready.vec otherwise. */
4145 static inline expr_t
4146 find_expr_for_ready (int index
, bool follow_ready_element
)
4151 real_index
= follow_ready_element
? ready
.first
- index
: index
;
4153 expr
= VEC_index (expr_t
, vec_av_set
, real_index
);
4154 gcc_assert (ready
.vec
[real_index
] == EXPR_INSN_RTX (expr
));
4159 /* Calculate insns worth trying via lookahead_guard hook. Return a number
4160 of such insns found. */
4162 invoke_dfa_lookahead_guard (void)
4166 = targetm
.sched
.first_cycle_multipass_dfa_lookahead_guard
!= NULL
;
4168 if (sched_verbose
>= 2)
4169 sel_print ("ready after reorder: ");
4171 for (i
= 0, n
= 0; i
< ready
.n_ready
; i
++)
4177 /* In this loop insn is Ith element of the ready list given by
4178 ready_element, not Ith element of ready.vec. */
4179 insn
= ready_element (&ready
, i
);
4181 if (! have_hook
|| i
== 0)
4184 r
= !targetm
.sched
.first_cycle_multipass_dfa_lookahead_guard (insn
);
4186 gcc_assert (INSN_CODE (insn
) >= 0);
4188 /* Only insns with ready_try = 0 can get here
4189 from fill_ready_list. */
4190 gcc_assert (ready_try
[i
] == 0);
4195 expr
= find_expr_for_ready (i
, true);
4197 if (sched_verbose
>= 2)
4199 dump_vinsn (EXPR_VINSN (expr
));
4200 sel_print (":%d; ", ready_try
[i
]);
4204 if (sched_verbose
>= 2)
4209 /* Calculate the number of privileged insns and return it. */
4211 calculate_privileged_insns (void)
4213 expr_t cur_expr
, min_spec_expr
= NULL
;
4214 int privileged_n
= 0, i
;
4216 for (i
= 0; i
< ready
.n_ready
; i
++)
4221 if (! min_spec_expr
)
4222 min_spec_expr
= find_expr_for_ready (i
, true);
4224 cur_expr
= find_expr_for_ready (i
, true);
4226 if (EXPR_SPEC (cur_expr
) > EXPR_SPEC (min_spec_expr
))
4232 if (i
== ready
.n_ready
)
4235 if (sched_verbose
>= 2)
4236 sel_print ("privileged_n: %d insns with SPEC %d\n",
4237 privileged_n
, privileged_n
? EXPR_SPEC (min_spec_expr
) : -1);
4238 return privileged_n
;
4241 /* Call the rest of the hooks after the choice was made. Return
4242 the number of insns that still can be issued given that the current
4243 number is ISSUE_MORE. FENCE and BEST_INSN are the current fence
4244 and the insn chosen for scheduling, respectively. */
4246 invoke_aftermath_hooks (fence_t fence
, rtx best_insn
, int issue_more
)
4248 gcc_assert (INSN_P (best_insn
));
4250 /* First, call dfa_new_cycle, and then variable_issue, if available. */
4251 sel_dfa_new_cycle (best_insn
, fence
);
4253 if (targetm
.sched
.variable_issue
)
4255 memcpy (curr_state
, FENCE_STATE (fence
), dfa_state_size
);
4257 targetm
.sched
.variable_issue (sched_dump
, sched_verbose
, best_insn
,
4259 memcpy (FENCE_STATE (fence
), curr_state
, dfa_state_size
);
4261 else if (GET_CODE (PATTERN (best_insn
)) != USE
4262 && GET_CODE (PATTERN (best_insn
)) != CLOBBER
)
4268 /* Estimate the cost of issuing INSN on DFA state STATE. */
4270 estimate_insn_cost (rtx insn
, state_t state
)
4272 static state_t temp
= NULL
;
4276 temp
= xmalloc (dfa_state_size
);
4278 memcpy (temp
, state
, dfa_state_size
);
4279 cost
= state_transition (temp
, insn
);
4288 /* Return the cost of issuing EXPR on the FENCE as estimated by DFA.
4289 This function properly handles ASMs, USEs etc. */
4291 get_expr_cost (expr_t expr
, fence_t fence
)
4293 rtx insn
= EXPR_INSN_RTX (expr
);
4295 if (recog_memoized (insn
) < 0)
4297 if (!FENCE_STARTS_CYCLE_P (fence
)
4298 && INSN_ASM_P (insn
))
4299 /* This is asm insn which is tryed to be issued on the
4300 cycle not first. Issue it on the next cycle. */
4303 /* A USE insn, or something else we don't need to
4304 understand. We can't pass these directly to
4305 state_transition because it will trigger a
4306 fatal error for unrecognizable insns. */
4310 return estimate_insn_cost (insn
, FENCE_STATE (fence
));
4313 /* Find the best insn for scheduling, either via max_issue or just take
4314 the most prioritized available. */
4316 choose_best_insn (fence_t fence
, int privileged_n
, int *index
)
4320 if (dfa_lookahead
> 0)
4322 cycle_issued_insns
= FENCE_ISSUED_INSNS (fence
);
4323 /* TODO: pass equivalent of first_cycle_insn_p to max_issue (). */
4324 can_issue
= max_issue (&ready
, privileged_n
,
4325 FENCE_STATE (fence
), true, index
);
4326 if (sched_verbose
>= 2)
4327 sel_print ("max_issue: we can issue %d insns, already did %d insns\n",
4328 can_issue
, FENCE_ISSUED_INSNS (fence
));
4332 /* We can't use max_issue; just return the first available element. */
4335 for (i
= 0; i
< ready
.n_ready
; i
++)
4337 expr_t expr
= find_expr_for_ready (i
, true);
4339 if (get_expr_cost (expr
, fence
) < 1)
4341 can_issue
= can_issue_more
;
4344 if (sched_verbose
>= 2)
4345 sel_print ("using %dth insn from the ready list\n", i
+ 1);
4351 if (i
== ready
.n_ready
)
4361 /* Choose the best expr from *AV_VLIW_PTR and a suitable register for it.
4362 BNDS and FENCE are current boundaries and scheduling fence respectively.
4363 Return the expr found and NULL if nothing can be issued atm.
4364 Write to PNEED_STALL the number of cycles to stall if no expr was found. */
4366 find_best_expr (av_set_t
*av_vliw_ptr
, blist_t bnds
, fence_t fence
,
4371 /* Choose the best insn for scheduling via:
4372 1) sorting the ready list based on priority;
4373 2) calling the reorder hook;
4374 3) calling max_issue. */
4375 best
= fill_ready_list (av_vliw_ptr
, bnds
, fence
, pneed_stall
);
4376 if (best
== NULL
&& ready
.n_ready
> 0)
4378 int privileged_n
, index
;
4380 can_issue_more
= invoke_reorder_hooks (fence
);
4381 if (can_issue_more
> 0)
4383 /* Try choosing the best insn until we find one that is could be
4384 scheduled due to liveness restrictions on its destination register.
4385 In the future, we'd like to choose once and then just probe insns
4386 in the order of their priority. */
4387 invoke_dfa_lookahead_guard ();
4388 privileged_n
= calculate_privileged_insns ();
4389 can_issue_more
= choose_best_insn (fence
, privileged_n
, &index
);
4391 best
= find_expr_for_ready (index
, true);
4393 /* We had some available insns, so if we can't issue them,
4395 if (can_issue_more
== 0)
4404 can_issue_more
= invoke_aftermath_hooks (fence
, EXPR_INSN_RTX (best
),
4406 if (targetm
.sched
.variable_issue
4407 && can_issue_more
== 0)
4411 if (sched_verbose
>= 2)
4415 sel_print ("Best expression (vliw form): ");
4417 sel_print ("; cycle %d\n", FENCE_CYCLE (fence
));
4420 sel_print ("No best expr found!\n");
4427 /* Functions that implement the core of the scheduler. */
4430 /* Emit an instruction from EXPR with SEQNO and VINSN after
4433 emit_insn_from_expr_after (expr_t expr
, vinsn_t vinsn
, int seqno
,
4434 insn_t place_to_insert
)
4436 /* This assert fails when we have identical instructions
4437 one of which dominates the other. In this case move_op ()
4438 finds the first instruction and doesn't search for second one.
4439 The solution would be to compute av_set after the first found
4440 insn and, if insn present in that set, continue searching.
4441 For now we workaround this issue in move_op. */
4442 gcc_assert (!INSN_IN_STREAM_P (EXPR_INSN_RTX (expr
)));
4444 if (EXPR_WAS_RENAMED (expr
))
4446 unsigned regno
= expr_dest_regno (expr
);
4448 if (HARD_REGISTER_NUM_P (regno
))
4450 df_set_regs_ever_live (regno
, true);
4451 reg_rename_tick
[regno
] = ++reg_rename_this_tick
;
4455 return sel_gen_insn_from_expr_after (expr
, vinsn
, seqno
,
4459 /* Return TRUE if BB can hold bookkeeping code. */
4461 block_valid_for_bookkeeping_p (basic_block bb
)
4463 insn_t bb_end
= BB_END (bb
);
4465 if (!in_current_region_p (bb
) || EDGE_COUNT (bb
->succs
) > 1)
4468 if (INSN_P (bb_end
))
4470 if (INSN_SCHED_TIMES (bb_end
) > 0)
4474 gcc_assert (NOTE_INSN_BASIC_BLOCK_P (bb_end
));
4479 /* Attempt to find a block that can hold bookkeeping code for path(s) incoming
4480 into E2->dest, except from E1->src (there may be a sequence of empty basic
4481 blocks between E1->src and E2->dest). Return found block, or NULL if new
4482 one must be created. If LAX holds, don't assume there is a simple path
4483 from E1->src to E2->dest. */
4485 find_block_for_bookkeeping (edge e1
, edge e2
, bool lax
)
4487 basic_block candidate_block
= NULL
;
4490 /* Loop over edges from E1 to E2, inclusive. */
4491 for (e
= e1
; !lax
|| e
->dest
!= EXIT_BLOCK_PTR
; e
= EDGE_SUCC (e
->dest
, 0))
4493 if (EDGE_COUNT (e
->dest
->preds
) == 2)
4495 if (candidate_block
== NULL
)
4496 candidate_block
= (EDGE_PRED (e
->dest
, 0) == e
4497 ? EDGE_PRED (e
->dest
, 1)->src
4498 : EDGE_PRED (e
->dest
, 0)->src
);
4500 /* Found additional edge leading to path from e1 to e2
4504 else if (EDGE_COUNT (e
->dest
->preds
) > 2)
4505 /* Several edges leading to path from e1 to e2 from aside. */
4509 return ((!lax
|| candidate_block
)
4510 && block_valid_for_bookkeeping_p (candidate_block
)
4514 if (lax
&& EDGE_COUNT (e
->dest
->succs
) != 1)
4524 /* Create new basic block for bookkeeping code for path(s) incoming into
4525 E2->dest, except from E1->src. Return created block. */
4527 create_block_for_bookkeeping (edge e1
, edge e2
)
4529 basic_block new_bb
, bb
= e2
->dest
;
4531 /* Check that we don't spoil the loop structure. */
4532 if (current_loop_nest
)
4534 basic_block latch
= current_loop_nest
->latch
;
4536 /* We do not split header. */
4537 gcc_assert (e2
->dest
!= current_loop_nest
->header
);
4539 /* We do not redirect the only edge to the latch block. */
4540 gcc_assert (e1
->dest
!= latch
4541 || !single_pred_p (latch
)
4542 || e1
!= single_pred_edge (latch
));
4545 /* Split BB to insert BOOK_INSN there. */
4546 new_bb
= sched_split_block (bb
, NULL
);
4548 /* Move note_list from the upper bb. */
4549 gcc_assert (BB_NOTE_LIST (new_bb
) == NULL_RTX
);
4550 BB_NOTE_LIST (new_bb
) = BB_NOTE_LIST (bb
);
4551 BB_NOTE_LIST (bb
) = NULL_RTX
;
4553 gcc_assert (e2
->dest
== bb
);
4555 /* Skip block for bookkeeping copy when leaving E1->src. */
4556 if (e1
->flags
& EDGE_FALLTHRU
)
4557 sel_redirect_edge_and_branch_force (e1
, new_bb
);
4559 sel_redirect_edge_and_branch (e1
, new_bb
);
4561 gcc_assert (e1
->dest
== new_bb
);
4562 gcc_assert (sel_bb_empty_p (bb
));
4564 /* To keep basic block numbers in sync between debug and non-debug
4565 compilations, we have to rotate blocks here. Consider that we
4566 started from (a,b)->d, (c,d)->e, and d contained only debug
4567 insns. It would have been removed before if the debug insns
4568 weren't there, so we'd have split e rather than d. So what we do
4569 now is to swap the block numbers of new_bb and
4570 single_succ(new_bb) == e, so that the insns that were in e before
4571 get the new block number. */
4573 if (MAY_HAVE_DEBUG_INSNS
)
4576 insn_t insn
= sel_bb_head (new_bb
);
4579 if (DEBUG_INSN_P (insn
)
4580 && single_succ_p (new_bb
)
4581 && (succ
= single_succ (new_bb
))
4582 && succ
!= EXIT_BLOCK_PTR
4583 && DEBUG_INSN_P ((last
= sel_bb_end (new_bb
))))
4585 while (insn
!= last
&& (DEBUG_INSN_P (insn
) || NOTE_P (insn
)))
4586 insn
= NEXT_INSN (insn
);
4590 sel_global_bb_info_def gbi
;
4591 sel_region_bb_info_def rbi
;
4594 if (sched_verbose
>= 2)
4595 sel_print ("Swapping block ids %i and %i\n",
4596 new_bb
->index
, succ
->index
);
4599 new_bb
->index
= succ
->index
;
4602 SET_BASIC_BLOCK (new_bb
->index
, new_bb
);
4603 SET_BASIC_BLOCK (succ
->index
, succ
);
4605 memcpy (&gbi
, SEL_GLOBAL_BB_INFO (new_bb
), sizeof (gbi
));
4606 memcpy (SEL_GLOBAL_BB_INFO (new_bb
), SEL_GLOBAL_BB_INFO (succ
),
4608 memcpy (SEL_GLOBAL_BB_INFO (succ
), &gbi
, sizeof (gbi
));
4610 memcpy (&rbi
, SEL_REGION_BB_INFO (new_bb
), sizeof (rbi
));
4611 memcpy (SEL_REGION_BB_INFO (new_bb
), SEL_REGION_BB_INFO (succ
),
4613 memcpy (SEL_REGION_BB_INFO (succ
), &rbi
, sizeof (rbi
));
4615 i
= BLOCK_TO_BB (new_bb
->index
);
4616 BLOCK_TO_BB (new_bb
->index
) = BLOCK_TO_BB (succ
->index
);
4617 BLOCK_TO_BB (succ
->index
) = i
;
4619 i
= CONTAINING_RGN (new_bb
->index
);
4620 CONTAINING_RGN (new_bb
->index
) = CONTAINING_RGN (succ
->index
);
4621 CONTAINING_RGN (succ
->index
) = i
;
4623 for (i
= 0; i
< current_nr_blocks
; i
++)
4624 if (BB_TO_BLOCK (i
) == succ
->index
)
4625 BB_TO_BLOCK (i
) = new_bb
->index
;
4626 else if (BB_TO_BLOCK (i
) == new_bb
->index
)
4627 BB_TO_BLOCK (i
) = succ
->index
;
4629 FOR_BB_INSNS (new_bb
, insn
)
4631 EXPR_ORIG_BB_INDEX (INSN_EXPR (insn
)) = new_bb
->index
;
4633 FOR_BB_INSNS (succ
, insn
)
4635 EXPR_ORIG_BB_INDEX (INSN_EXPR (insn
)) = succ
->index
;
4637 if (bitmap_clear_bit (code_motion_visited_blocks
, new_bb
->index
))
4638 bitmap_set_bit (code_motion_visited_blocks
, succ
->index
);
4640 gcc_assert (LABEL_P (BB_HEAD (new_bb
))
4641 && LABEL_P (BB_HEAD (succ
)));
4643 if (sched_verbose
>= 4)
4644 sel_print ("Swapping code labels %i and %i\n",
4645 CODE_LABEL_NUMBER (BB_HEAD (new_bb
)),
4646 CODE_LABEL_NUMBER (BB_HEAD (succ
)));
4648 i
= CODE_LABEL_NUMBER (BB_HEAD (new_bb
));
4649 CODE_LABEL_NUMBER (BB_HEAD (new_bb
))
4650 = CODE_LABEL_NUMBER (BB_HEAD (succ
));
4651 CODE_LABEL_NUMBER (BB_HEAD (succ
)) = i
;
4659 /* Return insn after which we must insert bookkeeping code for path(s) incoming
4660 into E2->dest, except from E1->src. */
4662 find_place_for_bookkeeping (edge e1
, edge e2
)
4664 insn_t place_to_insert
;
4665 /* Find a basic block that can hold bookkeeping. If it can be found, do not
4666 create new basic block, but insert bookkeeping there. */
4667 basic_block book_block
= find_block_for_bookkeeping (e1
, e2
, FALSE
);
4671 place_to_insert
= BB_END (book_block
);
4673 /* Don't use a block containing only debug insns for
4674 bookkeeping, this causes scheduling differences between debug
4675 and non-debug compilations, for the block would have been
4677 if (DEBUG_INSN_P (place_to_insert
))
4679 rtx insn
= sel_bb_head (book_block
);
4681 while (insn
!= place_to_insert
&&
4682 (DEBUG_INSN_P (insn
) || NOTE_P (insn
)))
4683 insn
= NEXT_INSN (insn
);
4685 if (insn
== place_to_insert
)
4692 book_block
= create_block_for_bookkeeping (e1
, e2
);
4693 place_to_insert
= BB_END (book_block
);
4694 if (sched_verbose
>= 9)
4695 sel_print ("New block is %i, split from bookkeeping block %i\n",
4696 EDGE_SUCC (book_block
, 0)->dest
->index
, book_block
->index
);
4700 if (sched_verbose
>= 9)
4701 sel_print ("Pre-existing bookkeeping block is %i\n", book_block
->index
);
4704 /* If basic block ends with a jump, insert bookkeeping code right before it. */
4705 if (INSN_P (place_to_insert
) && control_flow_insn_p (place_to_insert
))
4706 place_to_insert
= PREV_INSN (place_to_insert
);
4708 return place_to_insert
;
4711 /* Find a proper seqno for bookkeeing insn inserted at PLACE_TO_INSERT
4714 find_seqno_for_bookkeeping (insn_t place_to_insert
, insn_t join_point
)
4719 /* Check if we are about to insert bookkeeping copy before a jump, and use
4720 jump's seqno for the copy; otherwise, use JOIN_POINT's seqno. */
4721 next
= NEXT_INSN (place_to_insert
);
4724 && BLOCK_FOR_INSN (next
) == BLOCK_FOR_INSN (place_to_insert
))
4726 gcc_assert (INSN_SCHED_TIMES (next
) == 0);
4727 seqno
= INSN_SEQNO (next
);
4729 else if (INSN_SEQNO (join_point
) > 0)
4730 seqno
= INSN_SEQNO (join_point
);
4733 seqno
= get_seqno_by_preds (place_to_insert
);
4735 /* Sometimes the fences can move in such a way that there will be
4736 no instructions with positive seqno around this bookkeeping.
4737 This means that there will be no way to get to it by a regular
4738 fence movement. Never mind because we pick up such pieces for
4739 rescheduling anyways, so any positive value will do for now. */
4742 gcc_assert (pipelining_p
);
4747 gcc_assert (seqno
> 0);
4751 /* Insert bookkeeping copy of C_EXPS's insn after PLACE_TO_INSERT, assigning
4752 NEW_SEQNO to it. Return created insn. */
4754 emit_bookkeeping_insn (insn_t place_to_insert
, expr_t c_expr
, int new_seqno
)
4756 rtx new_insn_rtx
= create_copy_of_insn_rtx (EXPR_INSN_RTX (c_expr
));
4759 = create_vinsn_from_insn_rtx (new_insn_rtx
,
4760 VINSN_UNIQUE_P (EXPR_VINSN (c_expr
)));
4762 insn_t new_insn
= emit_insn_from_expr_after (c_expr
, new_vinsn
, new_seqno
,
4765 INSN_SCHED_TIMES (new_insn
) = 0;
4766 bitmap_set_bit (current_copies
, INSN_UID (new_insn
));
4771 /* Generate a bookkeeping copy of C_EXPR's insn for path(s) incoming into to
4772 E2->dest, except from E1->src (there may be a sequence of empty blocks
4773 between E1->src and E2->dest). Return block containing the copy.
4774 All scheduler data is initialized for the newly created insn. */
4776 generate_bookkeeping_insn (expr_t c_expr
, edge e1
, edge e2
)
4778 insn_t join_point
, place_to_insert
, new_insn
;
4780 bool need_to_exchange_data_sets
;
4782 if (sched_verbose
>= 4)
4783 sel_print ("Generating bookkeeping insn (%d->%d)\n", e1
->src
->index
,
4786 join_point
= sel_bb_head (e2
->dest
);
4787 place_to_insert
= find_place_for_bookkeeping (e1
, e2
);
4788 if (!place_to_insert
)
4790 new_seqno
= find_seqno_for_bookkeeping (place_to_insert
, join_point
);
4791 need_to_exchange_data_sets
4792 = sel_bb_empty_p (BLOCK_FOR_INSN (place_to_insert
));
4794 new_insn
= emit_bookkeeping_insn (place_to_insert
, c_expr
, new_seqno
);
4796 /* When inserting bookkeeping insn in new block, av sets should be
4797 following: old basic block (that now holds bookkeeping) data sets are
4798 the same as was before generation of bookkeeping, and new basic block
4799 (that now hold all other insns of old basic block) data sets are
4800 invalid. So exchange data sets for these basic blocks as sel_split_block
4801 mistakenly exchanges them in this case. Cannot do it earlier because
4802 when single instruction is added to new basic block it should hold NULL
4804 if (need_to_exchange_data_sets
)
4805 exchange_data_sets (BLOCK_FOR_INSN (new_insn
),
4806 BLOCK_FOR_INSN (join_point
));
4808 stat_bookkeeping_copies
++;
4809 return BLOCK_FOR_INSN (new_insn
);
4812 /* Remove from AV_PTR all insns that may need bookkeeping when scheduling
4813 on FENCE, but we are unable to copy them. */
4815 remove_insns_that_need_bookkeeping (fence_t fence
, av_set_t
*av_ptr
)
4820 /* An expression does not need bookkeeping if it is available on all paths
4821 from current block to original block and current block dominates
4822 original block. We check availability on all paths by examining
4823 EXPR_SPEC; this is not equivalent, because it may be positive even
4824 if expr is available on all paths (but if expr is not available on
4825 any path, EXPR_SPEC will be positive). */
4827 FOR_EACH_EXPR_1 (expr
, i
, av_ptr
)
4829 if (!control_flow_insn_p (EXPR_INSN_RTX (expr
))
4830 && (!bookkeeping_p
|| VINSN_UNIQUE_P (EXPR_VINSN (expr
)))
4831 && (EXPR_SPEC (expr
)
4832 || !EXPR_ORIG_BB_INDEX (expr
)
4833 || !dominated_by_p (CDI_DOMINATORS
,
4834 BASIC_BLOCK (EXPR_ORIG_BB_INDEX (expr
)),
4835 BLOCK_FOR_INSN (FENCE_INSN (fence
)))))
4837 if (sched_verbose
>= 4)
4838 sel_print ("Expr %d removed because it would need bookkeeping, which "
4839 "cannot be created\n", INSN_UID (EXPR_INSN_RTX (expr
)));
4840 av_set_iter_remove (&i
);
4845 /* Moving conditional jump through some instructions.
4849 ... <- current scheduling point
4850 NOTE BASIC BLOCK: <- bb header
4851 (p8) add r14=r14+0x9;;
4857 We can schedule jump one cycle earlier, than mov, because they cannot be
4858 executed together as their predicates are mutually exclusive.
4860 This is done in this way: first, new fallthrough basic block is created
4861 after jump (it is always can be done, because there already should be a
4862 fallthrough block, where control flow goes in case of predicate being true -
4863 in our example; otherwise there should be a dependence between those
4864 instructions and jump and we cannot schedule jump right now);
4865 next, all instructions between jump and current scheduling point are moved
4866 to this new block. And the result is this:
4869 (!p8) jump L1 <- current scheduling point
4870 NOTE BASIC BLOCK: <- bb header
4871 (p8) add r14=r14+0x9;;
4877 move_cond_jump (rtx insn
, bnd_t bnd
)
4880 basic_block block_from
, block_next
, block_new
, block_bnd
, bb
;
4881 rtx next
, prev
, link
, head
;
4883 block_from
= BLOCK_FOR_INSN (insn
);
4884 block_bnd
= BLOCK_FOR_INSN (BND_TO (bnd
));
4885 prev
= BND_TO (bnd
);
4887 #ifdef ENABLE_CHECKING
4888 /* Moving of jump should not cross any other jumps or beginnings of new
4889 basic blocks. The only exception is when we move a jump through
4890 mutually exclusive insns along fallthru edges. */
4891 if (block_from
!= block_bnd
)
4894 for (link
= PREV_INSN (insn
); link
!= PREV_INSN (prev
);
4895 link
= PREV_INSN (link
))
4898 gcc_assert (sched_insns_conditions_mutex_p (insn
, link
));
4899 if (BLOCK_FOR_INSN (link
) && BLOCK_FOR_INSN (link
) != bb
)
4901 gcc_assert (single_pred (bb
) == BLOCK_FOR_INSN (link
));
4902 bb
= BLOCK_FOR_INSN (link
);
4908 /* Jump is moved to the boundary. */
4909 next
= PREV_INSN (insn
);
4910 BND_TO (bnd
) = insn
;
4912 ft_edge
= find_fallthru_edge_from (block_from
);
4913 block_next
= ft_edge
->dest
;
4914 /* There must be a fallthrough block (or where should go
4915 control flow in case of false jump predicate otherwise?). */
4916 gcc_assert (block_next
);
4918 /* Create new empty basic block after source block. */
4919 block_new
= sel_split_edge (ft_edge
);
4920 gcc_assert (block_new
->next_bb
== block_next
4921 && block_from
->next_bb
== block_new
);
4923 /* Move all instructions except INSN to BLOCK_NEW. */
4925 head
= BB_HEAD (block_new
);
4926 while (bb
!= block_from
->next_bb
)
4929 from
= bb
== block_bnd
? prev
: sel_bb_head (bb
);
4930 to
= bb
== block_from
? next
: sel_bb_end (bb
);
4932 /* The jump being moved can be the first insn in the block.
4933 In this case we don't have to move anything in this block. */
4934 if (NEXT_INSN (to
) != from
)
4936 reorder_insns (from
, to
, head
);
4938 for (link
= to
; link
!= head
; link
= PREV_INSN (link
))
4939 EXPR_ORIG_BB_INDEX (INSN_EXPR (link
)) = block_new
->index
;
4943 /* Cleanup possibly empty blocks left. */
4944 block_next
= bb
->next_bb
;
4945 if (bb
!= block_from
)
4946 tidy_control_flow (bb
, false);
4950 /* Assert there is no jump to BLOCK_NEW, only fallthrough edge. */
4951 gcc_assert (NOTE_INSN_BASIC_BLOCK_P (BB_HEAD (block_new
)));
4953 gcc_assert (!sel_bb_empty_p (block_from
)
4954 && !sel_bb_empty_p (block_new
));
4956 /* Update data sets for BLOCK_NEW to represent that INSN and
4957 instructions from the other branch of INSN is no longer
4958 available at BLOCK_NEW. */
4959 BB_AV_LEVEL (block_new
) = global_level
;
4960 gcc_assert (BB_LV_SET (block_new
) == NULL
);
4961 BB_LV_SET (block_new
) = get_clear_regset_from_pool ();
4962 update_data_sets (sel_bb_head (block_new
));
4964 /* INSN is a new basic block header - so prepare its data
4965 structures and update availability and liveness sets. */
4966 update_data_sets (insn
);
4968 if (sched_verbose
>= 4)
4969 sel_print ("Moving jump %d\n", INSN_UID (insn
));
4972 /* Remove nops generated during move_op for preventing removal of empty
4975 remove_temp_moveop_nops (bool full_tidying
)
4980 FOR_EACH_VEC_ELT (insn_t
, vec_temp_moveop_nops
, i
, insn
)
4982 gcc_assert (INSN_NOP_P (insn
));
4983 return_nop_to_pool (insn
, full_tidying
);
4986 /* Empty the vector. */
4987 if (VEC_length (insn_t
, vec_temp_moveop_nops
) > 0)
4988 VEC_block_remove (insn_t
, vec_temp_moveop_nops
, 0,
4989 VEC_length (insn_t
, vec_temp_moveop_nops
));
4992 /* Records the maximal UID before moving up an instruction. Used for
4993 distinguishing between bookkeeping copies and original insns. */
4994 static int max_uid_before_move_op
= 0;
4996 /* Remove from AV_VLIW_P all instructions but next when debug counter
4997 tells us so. Next instruction is fetched from BNDS. */
4999 remove_insns_for_debug (blist_t bnds
, av_set_t
*av_vliw_p
)
5001 if (! dbg_cnt (sel_sched_insn_cnt
))
5002 /* Leave only the next insn in av_vliw. */
5004 av_set_iterator av_it
;
5006 bnd_t bnd
= BLIST_BND (bnds
);
5007 insn_t next
= BND_TO (bnd
);
5009 gcc_assert (BLIST_NEXT (bnds
) == NULL
);
5011 FOR_EACH_EXPR_1 (expr
, av_it
, av_vliw_p
)
5012 if (EXPR_INSN_RTX (expr
) != next
)
5013 av_set_iter_remove (&av_it
);
5017 /* Compute available instructions on BNDS. FENCE is the current fence. Write
5018 the computed set to *AV_VLIW_P. */
5020 compute_av_set_on_boundaries (fence_t fence
, blist_t bnds
, av_set_t
*av_vliw_p
)
5022 if (sched_verbose
>= 2)
5024 sel_print ("Boundaries: ");
5029 for (; bnds
; bnds
= BLIST_NEXT (bnds
))
5031 bnd_t bnd
= BLIST_BND (bnds
);
5033 insn_t bnd_to
= BND_TO (bnd
);
5035 /* Rewind BND->TO to the basic block header in case some bookkeeping
5036 instructions were inserted before BND->TO and it needs to be
5038 if (sel_bb_head_p (bnd_to
))
5039 gcc_assert (INSN_SCHED_TIMES (bnd_to
) == 0);
5041 while (INSN_SCHED_TIMES (PREV_INSN (bnd_to
)) == 0)
5043 bnd_to
= PREV_INSN (bnd_to
);
5044 if (sel_bb_head_p (bnd_to
))
5048 if (BND_TO (bnd
) != bnd_to
)
5050 gcc_assert (FENCE_INSN (fence
) == BND_TO (bnd
));
5051 FENCE_INSN (fence
) = bnd_to
;
5052 BND_TO (bnd
) = bnd_to
;
5055 av_set_clear (&BND_AV (bnd
));
5056 BND_AV (bnd
) = compute_av_set (BND_TO (bnd
), NULL
, 0, true);
5058 av_set_clear (&BND_AV1 (bnd
));
5059 BND_AV1 (bnd
) = av_set_copy (BND_AV (bnd
));
5061 moveup_set_inside_insn_group (&BND_AV1 (bnd
), NULL
);
5063 av1_copy
= av_set_copy (BND_AV1 (bnd
));
5064 av_set_union_and_clear (av_vliw_p
, &av1_copy
, NULL
);
5067 if (sched_verbose
>= 2)
5069 sel_print ("Available exprs (vliw form): ");
5070 dump_av_set (*av_vliw_p
);
5075 /* Calculate the sequential av set on BND corresponding to the EXPR_VLIW
5076 expression. When FOR_MOVEOP is true, also replace the register of
5077 expressions found with the register from EXPR_VLIW. */
5079 find_sequential_best_exprs (bnd_t bnd
, expr_t expr_vliw
, bool for_moveop
)
5081 av_set_t expr_seq
= NULL
;
5085 FOR_EACH_EXPR (expr
, i
, BND_AV (bnd
))
5087 if (equal_after_moveup_path_p (expr
, NULL
, expr_vliw
))
5091 /* The sequential expression has the right form to pass
5092 to move_op except when renaming happened. Put the
5093 correct register in EXPR then. */
5094 if (EXPR_SEPARABLE_P (expr
) && REG_P (EXPR_LHS (expr
)))
5096 if (expr_dest_regno (expr
) != expr_dest_regno (expr_vliw
))
5098 replace_dest_with_reg_in_expr (expr
, EXPR_LHS (expr_vliw
));
5099 stat_renamed_scheduled
++;
5101 /* Also put the correct TARGET_AVAILABLE bit on the expr.
5102 This is needed when renaming came up with original
5104 else if (EXPR_TARGET_AVAILABLE (expr
)
5105 != EXPR_TARGET_AVAILABLE (expr_vliw
))
5107 gcc_assert (EXPR_TARGET_AVAILABLE (expr_vliw
) == 1);
5108 EXPR_TARGET_AVAILABLE (expr
) = 1;
5111 if (EXPR_WAS_SUBSTITUTED (expr
))
5112 stat_substitutions_total
++;
5115 av_set_add (&expr_seq
, expr
);
5117 /* With substitution inside insn group, it is possible
5118 that more than one expression in expr_seq will correspond
5119 to expr_vliw. In this case, choose one as the attempt to
5120 move both leads to miscompiles. */
5125 if (for_moveop
&& sched_verbose
>= 2)
5127 sel_print ("Best expression(s) (sequential form): ");
5128 dump_av_set (expr_seq
);
5136 /* Move nop to previous block. */
5137 static void ATTRIBUTE_UNUSED
5138 move_nop_to_previous_block (insn_t nop
, basic_block prev_bb
)
5140 insn_t prev_insn
, next_insn
, note
;
5142 gcc_assert (sel_bb_head_p (nop
)
5143 && prev_bb
== BLOCK_FOR_INSN (nop
)->prev_bb
);
5144 note
= bb_note (BLOCK_FOR_INSN (nop
));
5145 prev_insn
= sel_bb_end (prev_bb
);
5146 next_insn
= NEXT_INSN (nop
);
5147 gcc_assert (prev_insn
!= NULL_RTX
5148 && PREV_INSN (note
) == prev_insn
);
5150 NEXT_INSN (prev_insn
) = nop
;
5151 PREV_INSN (nop
) = prev_insn
;
5153 PREV_INSN (note
) = nop
;
5154 NEXT_INSN (note
) = next_insn
;
5156 NEXT_INSN (nop
) = note
;
5157 PREV_INSN (next_insn
) = note
;
5159 BB_END (prev_bb
) = nop
;
5160 BLOCK_FOR_INSN (nop
) = prev_bb
;
5163 /* Prepare a place to insert the chosen expression on BND. */
5165 prepare_place_to_insert (bnd_t bnd
)
5167 insn_t place_to_insert
;
5169 /* Init place_to_insert before calling move_op, as the later
5170 can possibly remove BND_TO (bnd). */
5171 if (/* If this is not the first insn scheduled. */
5174 /* Add it after last scheduled. */
5175 place_to_insert
= ILIST_INSN (BND_PTR (bnd
));
5176 if (DEBUG_INSN_P (place_to_insert
))
5178 ilist_t l
= BND_PTR (bnd
);
5179 while ((l
= ILIST_NEXT (l
)) &&
5180 DEBUG_INSN_P (ILIST_INSN (l
)))
5183 place_to_insert
= NULL
;
5187 place_to_insert
= NULL
;
5189 if (!place_to_insert
)
5191 /* Add it before BND_TO. The difference is in the
5192 basic block, where INSN will be added. */
5193 place_to_insert
= get_nop_from_pool (BND_TO (bnd
));
5194 gcc_assert (BLOCK_FOR_INSN (place_to_insert
)
5195 == BLOCK_FOR_INSN (BND_TO (bnd
)));
5198 return place_to_insert
;
5201 /* Find original instructions for EXPR_SEQ and move it to BND boundary.
5202 Return the expression to emit in C_EXPR. */
5204 move_exprs_to_boundary (bnd_t bnd
, expr_t expr_vliw
,
5205 av_set_t expr_seq
, expr_t c_expr
)
5207 bool b
, should_move
;
5210 int n_bookkeeping_copies_before_moveop
;
5212 /* Make a move. This call will remove the original operation,
5213 insert all necessary bookkeeping instructions and update the
5214 data sets. After that all we have to do is add the operation
5215 at before BND_TO (BND). */
5216 n_bookkeeping_copies_before_moveop
= stat_bookkeeping_copies
;
5217 max_uid_before_move_op
= get_max_uid ();
5218 bitmap_clear (current_copies
);
5219 bitmap_clear (current_originators
);
5221 b
= move_op (BND_TO (bnd
), expr_seq
, expr_vliw
,
5222 get_dest_from_orig_ops (expr_seq
), c_expr
, &should_move
);
5224 /* We should be able to find the expression we've chosen for
5228 if (stat_bookkeeping_copies
> n_bookkeeping_copies_before_moveop
)
5229 stat_insns_needed_bookkeeping
++;
5231 EXECUTE_IF_SET_IN_BITMAP (current_copies
, 0, book_uid
, bi
)
5236 /* We allocate these bitmaps lazily. */
5237 if (! INSN_ORIGINATORS_BY_UID (book_uid
))
5238 INSN_ORIGINATORS_BY_UID (book_uid
) = BITMAP_ALLOC (NULL
);
5240 bitmap_copy (INSN_ORIGINATORS_BY_UID (book_uid
),
5241 current_originators
);
5243 /* Transitively add all originators' originators. */
5244 EXECUTE_IF_SET_IN_BITMAP (current_originators
, 0, uid
, bi
)
5245 if (INSN_ORIGINATORS_BY_UID (uid
))
5246 bitmap_ior_into (INSN_ORIGINATORS_BY_UID (book_uid
),
5247 INSN_ORIGINATORS_BY_UID (uid
));
5254 /* Debug a DFA state as an array of bytes. */
5256 debug_state (state_t state
)
5259 unsigned int i
, size
= dfa_state_size
;
5261 sel_print ("state (%u):", size
);
5262 for (i
= 0, p
= (unsigned char *) state
; i
< size
; i
++)
5263 sel_print (" %d", p
[i
]);
5267 /* Advance state on FENCE with INSN. Return true if INSN is
5268 an ASM, and we should advance state once more. */
5270 advance_state_on_fence (fence_t fence
, insn_t insn
)
5274 if (recog_memoized (insn
) >= 0)
5277 state_t temp_state
= alloca (dfa_state_size
);
5279 gcc_assert (!INSN_ASM_P (insn
));
5282 memcpy (temp_state
, FENCE_STATE (fence
), dfa_state_size
);
5283 res
= state_transition (FENCE_STATE (fence
), insn
);
5284 gcc_assert (res
< 0);
5286 if (memcmp (temp_state
, FENCE_STATE (fence
), dfa_state_size
))
5288 FENCE_ISSUED_INSNS (fence
)++;
5290 /* We should never issue more than issue_rate insns. */
5291 if (FENCE_ISSUED_INSNS (fence
) > issue_rate
)
5297 /* This could be an ASM insn which we'd like to schedule
5298 on the next cycle. */
5299 asm_p
= INSN_ASM_P (insn
);
5300 if (!FENCE_STARTS_CYCLE_P (fence
) && asm_p
)
5301 advance_one_cycle (fence
);
5304 if (sched_verbose
>= 2)
5305 debug_state (FENCE_STATE (fence
));
5306 if (!DEBUG_INSN_P (insn
))
5307 FENCE_STARTS_CYCLE_P (fence
) = 0;
5308 FENCE_ISSUE_MORE (fence
) = can_issue_more
;
5312 /* Update FENCE on which INSN was scheduled and this INSN, too. NEED_STALL
5313 is nonzero if we need to stall after issuing INSN. */
5315 update_fence_and_insn (fence_t fence
, insn_t insn
, int need_stall
)
5319 /* First, reflect that something is scheduled on this fence. */
5320 asm_p
= advance_state_on_fence (fence
, insn
);
5321 FENCE_LAST_SCHEDULED_INSN (fence
) = insn
;
5322 VEC_safe_push (rtx
, gc
, FENCE_EXECUTING_INSNS (fence
), insn
);
5323 if (SCHED_GROUP_P (insn
))
5325 FENCE_SCHED_NEXT (fence
) = INSN_SCHED_NEXT (insn
);
5326 SCHED_GROUP_P (insn
) = 0;
5329 FENCE_SCHED_NEXT (fence
) = NULL_RTX
;
5330 if (INSN_UID (insn
) < FENCE_READY_TICKS_SIZE (fence
))
5331 FENCE_READY_TICKS (fence
) [INSN_UID (insn
)] = 0;
5333 /* Set instruction scheduling info. This will be used in bundling,
5334 pipelining, tick computations etc. */
5335 ++INSN_SCHED_TIMES (insn
);
5336 EXPR_TARGET_AVAILABLE (INSN_EXPR (insn
)) = true;
5337 EXPR_ORIG_SCHED_CYCLE (INSN_EXPR (insn
)) = FENCE_CYCLE (fence
);
5338 INSN_AFTER_STALL_P (insn
) = FENCE_AFTER_STALL_P (fence
);
5339 INSN_SCHED_CYCLE (insn
) = FENCE_CYCLE (fence
);
5341 /* This does not account for adjust_cost hooks, just add the biggest
5342 constant the hook may add to the latency. TODO: make this
5343 a target dependent constant. */
5344 INSN_READY_CYCLE (insn
)
5345 = INSN_SCHED_CYCLE (insn
) + (INSN_CODE (insn
) < 0
5347 : maximal_insn_latency (insn
) + 1);
5349 /* Change these fields last, as they're used above. */
5350 FENCE_AFTER_STALL_P (fence
) = 0;
5351 if (asm_p
|| need_stall
)
5352 advance_one_cycle (fence
);
5354 /* Indicate that we've scheduled something on this fence. */
5355 FENCE_SCHEDULED_P (fence
) = true;
5356 scheduled_something_on_previous_fence
= true;
5358 /* Print debug information when insn's fields are updated. */
5359 if (sched_verbose
>= 2)
5361 sel_print ("Scheduling insn: ");
5362 dump_insn_1 (insn
, 1);
5367 /* Update boundary BND (and, if needed, FENCE) with INSN, remove the
5368 old boundary from BNDSP, add new boundaries to BNDS_TAIL_P and
5371 update_boundaries (fence_t fence
, bnd_t bnd
, insn_t insn
, blist_t
*bndsp
,
5372 blist_t
*bnds_tailp
)
5377 advance_deps_context (BND_DC (bnd
), insn
);
5378 FOR_EACH_SUCC_1 (succ
, si
, insn
,
5379 SUCCS_NORMAL
| SUCCS_SKIP_TO_LOOP_EXITS
)
5381 ilist_t ptr
= ilist_copy (BND_PTR (bnd
));
5383 ilist_add (&ptr
, insn
);
5385 if (DEBUG_INSN_P (insn
) && sel_bb_end_p (insn
)
5386 && is_ineligible_successor (succ
, ptr
))
5392 if (FENCE_INSN (fence
) == insn
&& !sel_bb_end_p (insn
))
5394 if (sched_verbose
>= 9)
5395 sel_print ("Updating fence insn from %i to %i\n",
5396 INSN_UID (insn
), INSN_UID (succ
));
5397 FENCE_INSN (fence
) = succ
;
5399 blist_add (bnds_tailp
, succ
, ptr
, BND_DC (bnd
));
5400 bnds_tailp
= &BLIST_NEXT (*bnds_tailp
);
5403 blist_remove (bndsp
);
5407 /* Schedule EXPR_VLIW on BND. Return the insn emitted. */
5409 schedule_expr_on_boundary (bnd_t bnd
, expr_t expr_vliw
, int seqno
)
5412 expr_t c_expr
= XALLOCA (expr_def
);
5413 insn_t place_to_insert
;
5417 expr_seq
= find_sequential_best_exprs (bnd
, expr_vliw
, true);
5419 /* In case of scheduling a jump skipping some other instructions,
5420 prepare CFG. After this, jump is at the boundary and can be
5421 scheduled as usual insn by MOVE_OP. */
5422 if (vinsn_cond_branch_p (EXPR_VINSN (expr_vliw
)))
5424 insn
= EXPR_INSN_RTX (expr_vliw
);
5426 /* Speculative jumps are not handled. */
5427 if (insn
!= BND_TO (bnd
)
5428 && !sel_insn_is_speculation_check (insn
))
5429 move_cond_jump (insn
, bnd
);
5432 /* Find a place for C_EXPR to schedule. */
5433 place_to_insert
= prepare_place_to_insert (bnd
);
5434 should_move
= move_exprs_to_boundary (bnd
, expr_vliw
, expr_seq
, c_expr
);
5435 clear_expr (c_expr
);
5437 /* Add the instruction. The corner case to care about is when
5438 the expr_seq set has more than one expr, and we chose the one that
5439 is not equal to expr_vliw. Then expr_vliw may be insn in stream, and
5440 we can't use it. Generate the new vinsn. */
5441 if (INSN_IN_STREAM_P (EXPR_INSN_RTX (expr_vliw
)))
5445 vinsn_new
= vinsn_copy (EXPR_VINSN (expr_vliw
), false);
5446 change_vinsn_in_expr (expr_vliw
, vinsn_new
);
5447 should_move
= false;
5450 insn
= sel_move_insn (expr_vliw
, seqno
, place_to_insert
);
5452 insn
= emit_insn_from_expr_after (expr_vliw
, NULL
, seqno
,
5455 /* Return the nops generated for preserving of data sets back
5457 if (INSN_NOP_P (place_to_insert
))
5458 return_nop_to_pool (place_to_insert
, !DEBUG_INSN_P (insn
));
5459 remove_temp_moveop_nops (!DEBUG_INSN_P (insn
));
5461 av_set_clear (&expr_seq
);
5463 /* Save the expression scheduled so to reset target availability if we'll
5464 meet it later on the same fence. */
5465 if (EXPR_WAS_RENAMED (expr_vliw
))
5466 vinsn_vec_add (&vec_target_unavailable_vinsns
, INSN_EXPR (insn
));
5468 /* Check that the recent movement didn't destroyed loop
5470 gcc_assert (!pipelining_p
5471 || current_loop_nest
== NULL
5472 || loop_latch_edge (current_loop_nest
));
5476 /* Stall for N cycles on FENCE. */
5478 stall_for_cycles (fence_t fence
, int n
)
5482 could_more
= n
> 1 || FENCE_ISSUED_INSNS (fence
) < issue_rate
;
5484 advance_one_cycle (fence
);
5486 FENCE_AFTER_STALL_P (fence
) = 1;
5489 /* Gather a parallel group of insns at FENCE and assign their seqno
5490 to SEQNO. All scheduled insns are gathered in SCHEDULED_INSNS_TAILPP
5491 list for later recalculation of seqnos. */
5493 fill_insns (fence_t fence
, int seqno
, ilist_t
**scheduled_insns_tailpp
)
5495 blist_t bnds
= NULL
, *bnds_tailp
;
5496 av_set_t av_vliw
= NULL
;
5497 insn_t insn
= FENCE_INSN (fence
);
5499 if (sched_verbose
>= 2)
5500 sel_print ("Starting fill_insns for insn %d, cycle %d\n",
5501 INSN_UID (insn
), FENCE_CYCLE (fence
));
5503 blist_add (&bnds
, insn
, NULL
, FENCE_DC (fence
));
5504 bnds_tailp
= &BLIST_NEXT (bnds
);
5505 set_target_context (FENCE_TC (fence
));
5506 can_issue_more
= FENCE_ISSUE_MORE (fence
);
5507 target_bb
= INSN_BB (insn
);
5509 /* Do while we can add any operation to the current group. */
5512 blist_t
*bnds_tailp1
, *bndsp
;
5515 int was_stall
= 0, scheduled_insns
= 0;
5516 int max_insns
= pipelining_p
? issue_rate
: 2 * issue_rate
;
5517 int max_stall
= pipelining_p
? 1 : 3;
5518 bool last_insn_was_debug
= false;
5519 bool was_debug_bb_end_p
= false;
5521 compute_av_set_on_boundaries (fence
, bnds
, &av_vliw
);
5522 remove_insns_that_need_bookkeeping (fence
, &av_vliw
);
5523 remove_insns_for_debug (bnds
, &av_vliw
);
5525 /* Return early if we have nothing to schedule. */
5526 if (av_vliw
== NULL
)
5529 /* Choose the best expression and, if needed, destination register
5533 expr_vliw
= find_best_expr (&av_vliw
, bnds
, fence
, &need_stall
);
5534 if (! expr_vliw
&& need_stall
)
5536 /* All expressions required a stall. Do not recompute av sets
5537 as we'll get the same answer (modulo the insns between
5538 the fence and its boundary, which will not be available for
5540 If we are going to stall for too long, break to recompute av
5541 sets and bring more insns for pipelining. */
5543 if (need_stall
<= 3)
5544 stall_for_cycles (fence
, need_stall
);
5547 stall_for_cycles (fence
, 1);
5552 while (! expr_vliw
&& need_stall
);
5554 /* Now either we've selected expr_vliw or we have nothing to schedule. */
5557 av_set_clear (&av_vliw
);
5562 bnds_tailp1
= bnds_tailp
;
5565 /* This code will be executed only once until we'd have several
5566 boundaries per fence. */
5568 bnd_t bnd
= BLIST_BND (*bndsp
);
5570 if (!av_set_is_in_p (BND_AV1 (bnd
), EXPR_VINSN (expr_vliw
)))
5572 bndsp
= &BLIST_NEXT (*bndsp
);
5576 insn
= schedule_expr_on_boundary (bnd
, expr_vliw
, seqno
);
5577 last_insn_was_debug
= DEBUG_INSN_P (insn
);
5578 if (last_insn_was_debug
)
5579 was_debug_bb_end_p
= (insn
== BND_TO (bnd
) && sel_bb_end_p (insn
));
5580 update_fence_and_insn (fence
, insn
, need_stall
);
5581 bnds_tailp
= update_boundaries (fence
, bnd
, insn
, bndsp
, bnds_tailp
);
5583 /* Add insn to the list of scheduled on this cycle instructions. */
5584 ilist_add (*scheduled_insns_tailpp
, insn
);
5585 *scheduled_insns_tailpp
= &ILIST_NEXT (**scheduled_insns_tailpp
);
5587 while (*bndsp
!= *bnds_tailp1
);
5589 av_set_clear (&av_vliw
);
5590 if (!last_insn_was_debug
)
5593 /* We currently support information about candidate blocks only for
5594 one 'target_bb' block. Hence we can't schedule after jump insn,
5595 as this will bring two boundaries and, hence, necessity to handle
5596 information for two or more blocks concurrently. */
5597 if ((last_insn_was_debug
? was_debug_bb_end_p
: sel_bb_end_p (insn
))
5599 && (was_stall
>= max_stall
5600 || scheduled_insns
>= max_insns
)))
5605 gcc_assert (!FENCE_BNDS (fence
));
5607 /* Update boundaries of the FENCE. */
5610 ilist_t ptr
= BND_PTR (BLIST_BND (bnds
));
5614 insn
= ILIST_INSN (ptr
);
5616 if (!ilist_is_in_p (FENCE_BNDS (fence
), insn
))
5617 ilist_add (&FENCE_BNDS (fence
), insn
);
5620 blist_remove (&bnds
);
5623 /* Update target context on the fence. */
5624 reset_target_context (FENCE_TC (fence
), false);
5627 /* All exprs in ORIG_OPS must have the same destination register or memory.
5628 Return that destination. */
5630 get_dest_from_orig_ops (av_set_t orig_ops
)
5632 rtx dest
= NULL_RTX
;
5633 av_set_iterator av_it
;
5635 bool first_p
= true;
5637 FOR_EACH_EXPR (expr
, av_it
, orig_ops
)
5639 rtx x
= EXPR_LHS (expr
);
5647 gcc_assert (dest
== x
5648 || (dest
!= NULL_RTX
&& x
!= NULL_RTX
5649 && rtx_equal_p (dest
, x
)));
5655 /* Update data sets for the bookkeeping block and record those expressions
5656 which become no longer available after inserting this bookkeeping. */
5658 update_and_record_unavailable_insns (basic_block book_block
)
5661 av_set_t old_av_set
= NULL
;
5663 rtx bb_end
= sel_bb_end (book_block
);
5665 /* First, get correct liveness in the bookkeeping block. The problem is
5666 the range between the bookeeping insn and the end of block. */
5667 update_liveness_on_insn (bb_end
);
5668 if (control_flow_insn_p (bb_end
))
5669 update_liveness_on_insn (PREV_INSN (bb_end
));
5671 /* If there's valid av_set on BOOK_BLOCK, then there might exist another
5672 fence above, where we may choose to schedule an insn which is
5673 actually blocked from moving up with the bookkeeping we create here. */
5674 if (AV_SET_VALID_P (sel_bb_head (book_block
)))
5676 old_av_set
= av_set_copy (BB_AV_SET (book_block
));
5677 update_data_sets (sel_bb_head (book_block
));
5679 /* Traverse all the expressions in the old av_set and check whether
5680 CUR_EXPR is in new AV_SET. */
5681 FOR_EACH_EXPR (cur_expr
, i
, old_av_set
)
5683 expr_t new_expr
= av_set_lookup (BB_AV_SET (book_block
),
5684 EXPR_VINSN (cur_expr
));
5687 /* In this case, we can just turn off the E_T_A bit, but we can't
5688 represent this information with the current vector. */
5689 || EXPR_TARGET_AVAILABLE (new_expr
)
5690 != EXPR_TARGET_AVAILABLE (cur_expr
))
5691 /* Unfortunately, the below code could be also fired up on
5693 FIXME: add an example of how this could happen. */
5694 vinsn_vec_add (&vec_bookkeeping_blocked_vinsns
, cur_expr
);
5697 av_set_clear (&old_av_set
);
5701 /* The main effect of this function is that sparams->c_expr is merged
5702 with (or copied to) lparams->c_expr_merged. If there's only one successor,
5703 we avoid merging anything by copying sparams->c_expr to lparams->c_expr_merged.
5704 lparams->c_expr_merged is copied back to sparams->c_expr after all
5705 successors has been traversed. lparams->c_expr_local is an expr allocated
5706 on stack in the caller function, and is used if there is more than one
5709 SUCC is one of the SUCCS_NORMAL successors of INSN,
5710 MOVEOP_DRV_CALL_RES is the result of call code_motion_path_driver on succ,
5711 LPARAMS and STATIC_PARAMS contain the parameters described above. */
5713 move_op_merge_succs (insn_t insn ATTRIBUTE_UNUSED
,
5714 insn_t succ ATTRIBUTE_UNUSED
,
5715 int moveop_drv_call_res
,
5716 cmpd_local_params_p lparams
, void *static_params
)
5718 moveop_static_params_p sparams
= (moveop_static_params_p
) static_params
;
5720 /* Nothing to do, if original expr wasn't found below. */
5721 if (moveop_drv_call_res
!= 1)
5724 /* If this is a first successor. */
5725 if (!lparams
->c_expr_merged
)
5727 lparams
->c_expr_merged
= sparams
->c_expr
;
5728 sparams
->c_expr
= lparams
->c_expr_local
;
5732 /* We must merge all found expressions to get reasonable
5733 EXPR_SPEC_DONE_DS for the resulting insn. If we don't
5734 do so then we can first find the expr with epsilon
5735 speculation success probability and only then with the
5736 good probability. As a result the insn will get epsilon
5737 probability and will never be scheduled because of
5738 weakness_cutoff in find_best_expr.
5740 We call merge_expr_data here instead of merge_expr
5741 because due to speculation C_EXPR and X may have the
5742 same insns with different speculation types. And as of
5743 now such insns are considered non-equal.
5745 However, EXPR_SCHED_TIMES is different -- we must get
5746 SCHED_TIMES from a real insn, not a bookkeeping copy.
5747 We force this here. Instead, we may consider merging
5748 SCHED_TIMES to the maximum instead of minimum in the
5750 int old_times
= EXPR_SCHED_TIMES (lparams
->c_expr_merged
);
5752 merge_expr_data (lparams
->c_expr_merged
, sparams
->c_expr
, NULL
);
5753 if (EXPR_SCHED_TIMES (sparams
->c_expr
) == 0)
5754 EXPR_SCHED_TIMES (lparams
->c_expr_merged
) = old_times
;
5756 clear_expr (sparams
->c_expr
);
5760 /* Add used regs for the successor SUCC into SPARAMS->USED_REGS.
5762 SUCC is one of the SUCCS_NORMAL successors of INSN,
5763 MOVEOP_DRV_CALL_RES is the result of call code_motion_path_driver on succ or 0,
5764 if SUCC is one of SUCCS_BACK or SUCCS_OUT.
5765 STATIC_PARAMS contain USED_REGS set. */
5767 fur_merge_succs (insn_t insn ATTRIBUTE_UNUSED
, insn_t succ
,
5768 int moveop_drv_call_res
,
5769 cmpd_local_params_p lparams ATTRIBUTE_UNUSED
,
5770 void *static_params
)
5773 fur_static_params_p sparams
= (fur_static_params_p
) static_params
;
5775 /* Here we compute live regsets only for branches that do not lie
5776 on the code motion paths. These branches correspond to value
5777 MOVEOP_DRV_CALL_RES==0 and include SUCCS_BACK and SUCCS_OUT, though
5778 for such branches code_motion_path_driver is not called. */
5779 if (moveop_drv_call_res
!= 0)
5782 /* Mark all registers that do not meet the following condition:
5783 (3) not live on the other path of any conditional branch
5784 that is passed by the operation, in case original
5785 operations are not present on both paths of the
5786 conditional branch. */
5787 succ_live
= compute_live (succ
);
5788 IOR_REG_SET (sparams
->used_regs
, succ_live
);
5791 /* This function is called after the last successor. Copies LP->C_EXPR_MERGED
5794 move_op_after_merge_succs (cmpd_local_params_p lp
, void *sparams
)
5796 moveop_static_params_p sp
= (moveop_static_params_p
) sparams
;
5798 sp
->c_expr
= lp
->c_expr_merged
;
5801 /* Track bookkeeping copies created, insns scheduled, and blocks for
5802 rescheduling when INSN is found by move_op. */
5804 track_scheduled_insns_and_blocks (rtx insn
)
5806 /* Even if this insn can be a copy that will be removed during current move_op,
5807 we still need to count it as an originator. */
5808 bitmap_set_bit (current_originators
, INSN_UID (insn
));
5810 if (!bitmap_clear_bit (current_copies
, INSN_UID (insn
)))
5812 /* Note that original block needs to be rescheduled, as we pulled an
5813 instruction out of it. */
5814 if (INSN_SCHED_TIMES (insn
) > 0)
5815 bitmap_set_bit (blocks_to_reschedule
, BLOCK_FOR_INSN (insn
)->index
);
5816 else if (INSN_UID (insn
) < first_emitted_uid
&& !DEBUG_INSN_P (insn
))
5817 num_insns_scheduled
++;
5820 /* For instructions we must immediately remove insn from the
5821 stream, so subsequent update_data_sets () won't include this
5823 For expr we must make insn look like "INSN_REG (insn) := c_expr". */
5824 if (INSN_UID (insn
) > max_uid_before_move_op
)
5825 stat_bookkeeping_copies
--;
5828 /* Emit a register-register copy for INSN if needed. Return true if
5829 emitted one. PARAMS is the move_op static parameters. */
5831 maybe_emit_renaming_copy (rtx insn
,
5832 moveop_static_params_p params
)
5834 bool insn_emitted
= false;
5837 /* Bail out early when expression can not be renamed at all. */
5838 if (!EXPR_SEPARABLE_P (params
->c_expr
))
5841 cur_reg
= expr_dest_reg (params
->c_expr
);
5842 gcc_assert (cur_reg
&& params
->dest
&& REG_P (params
->dest
));
5844 /* If original operation has expr and the register chosen for
5845 that expr is not original operation's dest reg, substitute
5846 operation's right hand side with the register chosen. */
5847 if (REGNO (params
->dest
) != REGNO (cur_reg
))
5849 insn_t reg_move_insn
, reg_move_insn_rtx
;
5851 reg_move_insn_rtx
= create_insn_rtx_with_rhs (INSN_VINSN (insn
),
5853 reg_move_insn
= sel_gen_insn_from_rtx_after (reg_move_insn_rtx
,
5857 EXPR_SPEC_DONE_DS (INSN_EXPR (reg_move_insn
)) = 0;
5858 replace_dest_with_reg_in_expr (params
->c_expr
, params
->dest
);
5860 insn_emitted
= true;
5861 params
->was_renamed
= true;
5864 return insn_emitted
;
5867 /* Emit a speculative check for INSN speculated as EXPR if needed.
5868 Return true if we've emitted one. PARAMS is the move_op static
5871 maybe_emit_speculative_check (rtx insn
, expr_t expr
,
5872 moveop_static_params_p params
)
5874 bool insn_emitted
= false;
5878 check_ds
= get_spec_check_type_for_insn (insn
, expr
);
5881 /* A speculation check should be inserted. */
5882 x
= create_speculation_check (params
->c_expr
, check_ds
, insn
);
5883 insn_emitted
= true;
5887 EXPR_SPEC_DONE_DS (INSN_EXPR (insn
)) = 0;
5891 gcc_assert (EXPR_SPEC_DONE_DS (INSN_EXPR (x
)) == 0
5892 && EXPR_SPEC_TO_CHECK_DS (INSN_EXPR (x
)) == 0);
5893 return insn_emitted
;
5896 /* Handle transformations that leave an insn in place of original
5897 insn such as renaming/speculation. Return true if one of such
5898 transformations actually happened, and we have emitted this insn. */
5900 handle_emitting_transformations (rtx insn
, expr_t expr
,
5901 moveop_static_params_p params
)
5903 bool insn_emitted
= false;
5905 insn_emitted
= maybe_emit_renaming_copy (insn
, params
);
5906 insn_emitted
|= maybe_emit_speculative_check (insn
, expr
, params
);
5908 return insn_emitted
;
5911 /* If INSN is the only insn in the basic block (not counting JUMP,
5912 which may be a jump to next insn, and DEBUG_INSNs), we want to
5913 leave a NOP there till the return to fill_insns. */
5916 need_nop_to_preserve_insn_bb (rtx insn
)
5918 insn_t bb_head
, bb_end
, bb_next
, in_next
;
5919 basic_block bb
= BLOCK_FOR_INSN (insn
);
5921 bb_head
= sel_bb_head (bb
);
5922 bb_end
= sel_bb_end (bb
);
5924 if (bb_head
== bb_end
)
5927 while (bb_head
!= bb_end
&& DEBUG_INSN_P (bb_head
))
5928 bb_head
= NEXT_INSN (bb_head
);
5930 if (bb_head
== bb_end
)
5933 while (bb_head
!= bb_end
&& DEBUG_INSN_P (bb_end
))
5934 bb_end
= PREV_INSN (bb_end
);
5936 if (bb_head
== bb_end
)
5939 bb_next
= NEXT_INSN (bb_head
);
5940 while (bb_next
!= bb_end
&& DEBUG_INSN_P (bb_next
))
5941 bb_next
= NEXT_INSN (bb_next
);
5943 if (bb_next
== bb_end
&& JUMP_P (bb_end
))
5946 in_next
= NEXT_INSN (insn
);
5947 while (DEBUG_INSN_P (in_next
))
5948 in_next
= NEXT_INSN (in_next
);
5950 if (IN_CURRENT_FENCE_P (in_next
))
5956 /* Remove INSN from stream. When ONLY_DISCONNECT is true, its data
5957 is not removed but reused when INSN is re-emitted. */
5959 remove_insn_from_stream (rtx insn
, bool only_disconnect
)
5961 /* If there's only one insn in the BB, make sure that a nop is
5962 inserted into it, so the basic block won't disappear when we'll
5963 delete INSN below with sel_remove_insn. It should also survive
5964 till the return to fill_insns. */
5965 if (need_nop_to_preserve_insn_bb (insn
))
5967 insn_t nop
= get_nop_from_pool (insn
);
5968 gcc_assert (INSN_NOP_P (nop
));
5969 VEC_safe_push (insn_t
, heap
, vec_temp_moveop_nops
, nop
);
5972 sel_remove_insn (insn
, only_disconnect
, false);
5975 /* This function is called when original expr is found.
5976 INSN - current insn traversed, EXPR - the corresponding expr found.
5977 LPARAMS is the local parameters of code modion driver, STATIC_PARAMS
5978 is static parameters of move_op. */
5980 move_op_orig_expr_found (insn_t insn
, expr_t expr
,
5981 cmpd_local_params_p lparams ATTRIBUTE_UNUSED
,
5982 void *static_params
)
5984 bool only_disconnect
, insn_emitted
;
5985 moveop_static_params_p params
= (moveop_static_params_p
) static_params
;
5987 copy_expr_onside (params
->c_expr
, INSN_EXPR (insn
));
5988 track_scheduled_insns_and_blocks (insn
);
5989 insn_emitted
= handle_emitting_transformations (insn
, expr
, params
);
5990 only_disconnect
= (params
->uid
== INSN_UID (insn
)
5991 && ! insn_emitted
&& ! EXPR_WAS_CHANGED (expr
));
5993 /* Mark that we've disconnected an insn. */
5994 if (only_disconnect
)
5996 remove_insn_from_stream (insn
, only_disconnect
);
5999 /* The function is called when original expr is found.
6000 INSN - current insn traversed, EXPR - the corresponding expr found,
6001 crosses_call and original_insns in STATIC_PARAMS are updated. */
6003 fur_orig_expr_found (insn_t insn
, expr_t expr ATTRIBUTE_UNUSED
,
6004 cmpd_local_params_p lparams ATTRIBUTE_UNUSED
,
6005 void *static_params
)
6007 fur_static_params_p params
= (fur_static_params_p
) static_params
;
6011 params
->crosses_call
= true;
6013 def_list_add (params
->original_insns
, insn
, params
->crosses_call
);
6015 /* Mark the registers that do not meet the following condition:
6016 (2) not among the live registers of the point
6017 immediately following the first original operation on
6018 a given downward path, except for the original target
6019 register of the operation. */
6020 tmp
= get_clear_regset_from_pool ();
6021 compute_live_below_insn (insn
, tmp
);
6022 AND_COMPL_REG_SET (tmp
, INSN_REG_SETS (insn
));
6023 AND_COMPL_REG_SET (tmp
, INSN_REG_CLOBBERS (insn
));
6024 IOR_REG_SET (params
->used_regs
, tmp
);
6025 return_regset_to_pool (tmp
);
6027 /* (*1) We need to add to USED_REGS registers that are read by
6028 INSN's lhs. This may lead to choosing wrong src register.
6029 E.g. (scheduling const expr enabled):
6031 429: ax=0x0 <- Can't use AX for this expr (0x0)
6038 /* FIXME: see comment above and enable MEM_P
6039 in vinsn_separable_p. */
6040 gcc_assert (!VINSN_SEPARABLE_P (INSN_VINSN (insn
))
6041 || !MEM_P (INSN_LHS (insn
)));
6044 /* This function is called on the ascending pass, before returning from
6045 current basic block. */
6047 move_op_at_first_insn (insn_t insn
, cmpd_local_params_p lparams
,
6048 void *static_params
)
6050 moveop_static_params_p sparams
= (moveop_static_params_p
) static_params
;
6051 basic_block book_block
= NULL
;
6053 /* When we have removed the boundary insn for scheduling, which also
6054 happened to be the end insn in its bb, we don't need to update sets. */
6055 if (!lparams
->removed_last_insn
6057 && sel_bb_head_p (insn
))
6059 /* We should generate bookkeeping code only if we are not at the
6060 top level of the move_op. */
6061 if (sel_num_cfg_preds_gt_1 (insn
))
6062 book_block
= generate_bookkeeping_insn (sparams
->c_expr
,
6063 lparams
->e1
, lparams
->e2
);
6064 /* Update data sets for the current insn. */
6065 update_data_sets (insn
);
6068 /* If bookkeeping code was inserted, we need to update av sets of basic
6069 block that received bookkeeping. After generation of bookkeeping insn,
6070 bookkeeping block does not contain valid av set because we are not following
6071 the original algorithm in every detail with regards to e.g. renaming
6072 simple reg-reg copies. Consider example:
6074 bookkeeping block scheduling fence
6084 We try to schedule insn "r1 := r3" on the current
6085 scheduling fence. Also, note that av set of bookkeeping block
6086 contain both insns "r1 := r2" and "r1 := r3". When the insn has
6087 been scheduled, the CFG is as follows:
6090 bookkeeping block scheduling fence
6100 Here, insn "r1 := r3" was scheduled at the current scheduling point
6101 and bookkeeping code was generated at the bookeeping block. This
6102 way insn "r1 := r2" is no longer available as a whole instruction
6103 (but only as expr) ahead of insn "r1 := r3" in bookkeeping block.
6104 This situation is handled by calling update_data_sets.
6106 Since update_data_sets is called only on the bookkeeping block, and
6107 it also may have predecessors with av_sets, containing instructions that
6108 are no longer available, we save all such expressions that become
6109 unavailable during data sets update on the bookkeeping block in
6110 VEC_BOOKKEEPING_BLOCKED_VINSNS. Later we avoid selecting such
6111 expressions for scheduling. This allows us to avoid recomputation of
6112 av_sets outside the code motion path. */
6115 update_and_record_unavailable_insns (book_block
);
6117 /* If INSN was previously marked for deletion, it's time to do it. */
6118 if (lparams
->removed_last_insn
)
6119 insn
= PREV_INSN (insn
);
6121 /* Do not tidy control flow at the topmost moveop, as we can erroneously
6122 kill a block with a single nop in which the insn should be emitted. */
6124 tidy_control_flow (BLOCK_FOR_INSN (insn
), true);
6127 /* This function is called on the ascending pass, before returning from the
6128 current basic block. */
6130 fur_at_first_insn (insn_t insn
,
6131 cmpd_local_params_p lparams ATTRIBUTE_UNUSED
,
6132 void *static_params ATTRIBUTE_UNUSED
)
6134 gcc_assert (!sel_bb_head_p (insn
) || AV_SET_VALID_P (insn
)
6135 || AV_LEVEL (insn
) == -1);
6138 /* Called on the backward stage of recursion to call moveup_expr for insn
6139 and sparams->c_expr. */
6141 move_op_ascend (insn_t insn
, void *static_params
)
6143 enum MOVEUP_EXPR_CODE res
;
6144 moveop_static_params_p sparams
= (moveop_static_params_p
) static_params
;
6146 if (! INSN_NOP_P (insn
))
6148 res
= moveup_expr_cached (sparams
->c_expr
, insn
, false);
6149 gcc_assert (res
!= MOVEUP_EXPR_NULL
);
6152 /* Update liveness for this insn as it was invalidated. */
6153 update_liveness_on_insn (insn
);
6156 /* This function is called on enter to the basic block.
6157 Returns TRUE if this block already have been visited and
6158 code_motion_path_driver should return 1, FALSE otherwise. */
6160 fur_on_enter (insn_t insn ATTRIBUTE_UNUSED
, cmpd_local_params_p local_params
,
6161 void *static_params
, bool visited_p
)
6163 fur_static_params_p sparams
= (fur_static_params_p
) static_params
;
6167 /* If we have found something below this block, there should be at
6168 least one insn in ORIGINAL_INSNS. */
6169 gcc_assert (*sparams
->original_insns
);
6171 /* Adjust CROSSES_CALL, since we may have come to this block along
6173 DEF_LIST_DEF (*sparams
->original_insns
)->crosses_call
6174 |= sparams
->crosses_call
;
6177 local_params
->old_original_insns
= *sparams
->original_insns
;
6182 /* Same as above but for move_op. */
6184 move_op_on_enter (insn_t insn ATTRIBUTE_UNUSED
,
6185 cmpd_local_params_p local_params ATTRIBUTE_UNUSED
,
6186 void *static_params ATTRIBUTE_UNUSED
, bool visited_p
)
6193 /* This function is called while descending current basic block if current
6194 insn is not the original EXPR we're searching for.
6196 Return value: FALSE, if code_motion_path_driver should perform a local
6197 cleanup and return 0 itself;
6198 TRUE, if code_motion_path_driver should continue. */
6200 move_op_orig_expr_not_found (insn_t insn
, av_set_t orig_ops ATTRIBUTE_UNUSED
,
6201 void *static_params
)
6203 moveop_static_params_p sparams
= (moveop_static_params_p
) static_params
;
6205 #ifdef ENABLE_CHECKING
6206 sparams
->failed_insn
= insn
;
6209 /* If we're scheduling separate expr, in order to generate correct code
6210 we need to stop the search at bookkeeping code generated with the
6211 same destination register or memory. */
6212 if (lhs_of_insn_equals_to_dest_p (insn
, sparams
->dest
))
6217 /* This function is called while descending current basic block if current
6218 insn is not the original EXPR we're searching for.
6220 Return value: TRUE (code_motion_path_driver should continue). */
6222 fur_orig_expr_not_found (insn_t insn
, av_set_t orig_ops
, void *static_params
)
6226 av_set_iterator avi
;
6227 fur_static_params_p sparams
= (fur_static_params_p
) static_params
;
6230 sparams
->crosses_call
= true;
6231 else if (DEBUG_INSN_P (insn
))
6234 /* If current insn we are looking at cannot be executed together
6235 with original insn, then we can skip it safely.
6237 Example: ORIG_OPS = { (p6) r14 = sign_extend (r15); }
6238 INSN = (!p6) r14 = r14 + 1;
6240 Here we can schedule ORIG_OP with lhs = r14, though only
6241 looking at the set of used and set registers of INSN we must
6242 forbid it. So, add set/used in INSN registers to the
6243 untouchable set only if there is an insn in ORIG_OPS that can
6246 FOR_EACH_EXPR (r
, avi
, orig_ops
)
6247 if (!sched_insns_conditions_mutex_p (insn
, EXPR_INSN_RTX (r
)))
6253 /* Mark all registers that do not meet the following condition:
6254 (1) Not set or read on any path from xi to an instance of the
6255 original operation. */
6258 IOR_REG_SET (sparams
->used_regs
, INSN_REG_SETS (insn
));
6259 IOR_REG_SET (sparams
->used_regs
, INSN_REG_USES (insn
));
6260 IOR_REG_SET (sparams
->used_regs
, INSN_REG_CLOBBERS (insn
));
6266 /* Hooks and data to perform move_op operations with code_motion_path_driver. */
6267 struct code_motion_path_driver_info_def move_op_hooks
= {
6269 move_op_orig_expr_found
,
6270 move_op_orig_expr_not_found
,
6271 move_op_merge_succs
,
6272 move_op_after_merge_succs
,
6274 move_op_at_first_insn
,
6279 /* Hooks and data to perform find_used_regs operations
6280 with code_motion_path_driver. */
6281 struct code_motion_path_driver_info_def fur_hooks
= {
6283 fur_orig_expr_found
,
6284 fur_orig_expr_not_found
,
6286 NULL
, /* fur_after_merge_succs */
6287 NULL
, /* fur_ascend */
6293 /* Traverse all successors of INSN. For each successor that is SUCCS_NORMAL
6294 code_motion_path_driver is called recursively. Original operation
6295 was found at least on one path that is starting with one of INSN's
6296 successors (this fact is asserted). ORIG_OPS is expressions we're looking
6297 for, PATH is the path we've traversed, STATIC_PARAMS is the parameters
6298 of either move_op or find_used_regs depending on the caller.
6300 Return 0 if we haven't found expression, 1 if we found it, -1 if we don't
6301 know for sure at this point. */
6303 code_motion_process_successors (insn_t insn
, av_set_t orig_ops
,
6304 ilist_t path
, void *static_params
)
6307 succ_iterator succ_i
;
6313 struct cmpd_local_params lparams
;
6316 lparams
.c_expr_local
= &_x
;
6317 lparams
.c_expr_merged
= NULL
;
6319 /* We need to process only NORMAL succs for move_op, and collect live
6320 registers from ALL branches (including those leading out of the
6321 region) for find_used_regs.
6323 In move_op, there can be a case when insn's bb number has changed
6324 due to created bookkeeping. This happens very rare, as we need to
6325 move expression from the beginning to the end of the same block.
6326 Rescan successors in this case. */
6329 bb
= BLOCK_FOR_INSN (insn
);
6330 old_index
= bb
->index
;
6331 old_succs
= EDGE_COUNT (bb
->succs
);
6333 FOR_EACH_SUCC_1 (succ
, succ_i
, insn
, code_motion_path_driver_info
->succ_flags
)
6337 lparams
.e1
= succ_i
.e1
;
6338 lparams
.e2
= succ_i
.e2
;
6340 /* Go deep into recursion only for NORMAL edges (non-backedges within the
6342 if (succ_i
.current_flags
== SUCCS_NORMAL
)
6343 b
= code_motion_path_driver (succ
, orig_ops
, path
, &lparams
,
6348 /* Merge c_expres found or unify live register sets from different
6350 code_motion_path_driver_info
->merge_succs (insn
, succ
, b
, &lparams
,
6354 else if (b
== -1 && res
!= 1)
6357 /* We have simplified the control flow below this point. In this case,
6358 the iterator becomes invalid. We need to try again. */
6359 if (BLOCK_FOR_INSN (insn
)->index
!= old_index
6360 || EDGE_COUNT (bb
->succs
) != old_succs
)
6364 #ifdef ENABLE_CHECKING
6365 /* Here, RES==1 if original expr was found at least for one of the
6366 successors. After the loop, RES may happen to have zero value
6367 only if at some point the expr searched is present in av_set, but is
6368 not found below. In most cases, this situation is an error.
6369 The exception is when the original operation is blocked by
6370 bookkeeping generated for another fence or for another path in current
6372 gcc_assert (res
== 1
6374 && av_set_could_be_blocked_by_bookkeeping_p (orig_ops
,
6379 /* Merge data, clean up, etc. */
6380 if (res
!= -1 && code_motion_path_driver_info
->after_merge_succs
)
6381 code_motion_path_driver_info
->after_merge_succs (&lparams
, static_params
);
6387 /* Perform a cleanup when the driver is about to terminate. ORIG_OPS_P
6388 is the pointer to the av set with expressions we were looking for,
6389 PATH_P is the pointer to the traversed path. */
6391 code_motion_path_driver_cleanup (av_set_t
*orig_ops_p
, ilist_t
*path_p
)
6393 ilist_remove (path_p
);
6394 av_set_clear (orig_ops_p
);
6397 /* The driver function that implements move_op or find_used_regs
6398 functionality dependent whether code_motion_path_driver_INFO is set to
6399 &MOVE_OP_HOOKS or &FUR_HOOKS. This function implements the common parts
6400 of code (CFG traversal etc) that are shared among both functions. INSN
6401 is the insn we're starting the search from, ORIG_OPS are the expressions
6402 we're searching for, PATH is traversed path, LOCAL_PARAMS_IN are local
6403 parameters of the driver, and STATIC_PARAMS are static parameters of
6406 Returns whether original instructions were found. Note that top-level
6407 code_motion_path_driver always returns true. */
6409 code_motion_path_driver (insn_t insn
, av_set_t orig_ops
, ilist_t path
,
6410 cmpd_local_params_p local_params_in
,
6411 void *static_params
)
6414 basic_block bb
= BLOCK_FOR_INSN (insn
);
6415 insn_t first_insn
, bb_tail
, before_first
;
6416 bool removed_last_insn
= false;
6418 if (sched_verbose
>= 6)
6420 sel_print ("%s (", code_motion_path_driver_info
->routine_name
);
6423 dump_av_set (orig_ops
);
6427 gcc_assert (orig_ops
);
6429 /* If no original operations exist below this insn, return immediately. */
6430 if (is_ineligible_successor (insn
, path
))
6432 if (sched_verbose
>= 6)
6433 sel_print ("Insn %d is ineligible successor\n", INSN_UID (insn
));
6437 /* The block can have invalid av set, in which case it was created earlier
6438 during move_op. Return immediately. */
6439 if (sel_bb_head_p (insn
))
6441 if (! AV_SET_VALID_P (insn
))
6443 if (sched_verbose
>= 6)
6444 sel_print ("Returned from block %d as it had invalid av set\n",
6449 if (bitmap_bit_p (code_motion_visited_blocks
, bb
->index
))
6451 /* We have already found an original operation on this branch, do not
6452 go any further and just return TRUE here. If we don't stop here,
6453 function can have exponential behaviour even on the small code
6454 with many different paths (e.g. with data speculation and
6455 recovery blocks). */
6456 if (sched_verbose
>= 6)
6457 sel_print ("Block %d already visited in this traversal\n", bb
->index
);
6458 if (code_motion_path_driver_info
->on_enter
)
6459 return code_motion_path_driver_info
->on_enter (insn
,
6466 if (code_motion_path_driver_info
->on_enter
)
6467 code_motion_path_driver_info
->on_enter (insn
, local_params_in
,
6468 static_params
, false);
6469 orig_ops
= av_set_copy (orig_ops
);
6471 /* Filter the orig_ops set. */
6472 if (AV_SET_VALID_P (insn
))
6473 av_set_intersect (&orig_ops
, AV_SET (insn
));
6475 /* If no more original ops, return immediately. */
6478 if (sched_verbose
>= 6)
6479 sel_print ("No intersection with av set of block %d\n", bb
->index
);
6483 /* For non-speculative insns we have to leave only one form of the
6484 original operation, because if we don't, we may end up with
6485 different C_EXPRes and, consequently, with bookkeepings for different
6486 expression forms along the same code motion path. That may lead to
6487 generation of incorrect code. So for each code motion we stick to
6488 the single form of the instruction, except for speculative insns
6489 which we need to keep in different forms with all speculation
6491 av_set_leave_one_nonspec (&orig_ops
);
6493 /* It is not possible that all ORIG_OPS are filtered out. */
6494 gcc_assert (orig_ops
);
6496 /* It is enough to place only heads and tails of visited basic blocks into
6498 ilist_add (&path
, insn
);
6500 bb_tail
= sel_bb_end (bb
);
6502 /* Descend the basic block in search of the original expr; this part
6503 corresponds to the part of the original move_op procedure executed
6504 before the recursive call. */
6507 /* Look at the insn and decide if it could be an ancestor of currently
6508 scheduling operation. If it is so, then the insn "dest = op" could
6509 either be replaced with "dest = reg", because REG now holds the result
6510 of OP, or just removed, if we've scheduled the insn as a whole.
6512 If this insn doesn't contain currently scheduling OP, then proceed
6513 with searching and look at its successors. Operations we're searching
6514 for could have changed when moving up through this insn via
6515 substituting. In this case, perform unsubstitution on them first.
6517 When traversing the DAG below this insn is finished, insert
6518 bookkeeping code, if the insn is a joint point, and remove
6521 expr
= av_set_lookup (orig_ops
, INSN_VINSN (insn
));
6524 insn_t last_insn
= PREV_INSN (insn
);
6526 /* We have found the original operation. */
6527 if (sched_verbose
>= 6)
6528 sel_print ("Found original operation at insn %d\n", INSN_UID (insn
));
6530 code_motion_path_driver_info
->orig_expr_found
6531 (insn
, expr
, local_params_in
, static_params
);
6533 /* Step back, so on the way back we'll start traversing from the
6534 previous insn (or we'll see that it's bb_note and skip that
6536 if (insn
== first_insn
)
6538 first_insn
= NEXT_INSN (last_insn
);
6539 removed_last_insn
= sel_bb_end_p (last_insn
);
6546 /* We haven't found the original expr, continue descending the basic
6548 if (code_motion_path_driver_info
->orig_expr_not_found
6549 (insn
, orig_ops
, static_params
))
6551 /* Av set ops could have been changed when moving through this
6552 insn. To find them below it, we have to un-substitute them. */
6553 undo_transformations (&orig_ops
, insn
);
6557 /* Clean up and return, if the hook tells us to do so. It may
6558 happen if we've encountered the previously created
6560 code_motion_path_driver_cleanup (&orig_ops
, &path
);
6564 gcc_assert (orig_ops
);
6567 /* Stop at insn if we got to the end of BB. */
6568 if (insn
== bb_tail
)
6571 insn
= NEXT_INSN (insn
);
6574 /* Here INSN either points to the insn before the original insn (may be
6575 bb_note, if original insn was a bb_head) or to the bb_end. */
6580 gcc_assert (insn
== sel_bb_end (bb
));
6582 /* Add bb tail to PATH (but it doesn't make any sense if it's a bb_head -
6583 it's already in PATH then). */
6584 if (insn
!= first_insn
)
6585 ilist_add (&path
, insn
);
6587 /* Process_successors should be able to find at least one
6588 successor for which code_motion_path_driver returns TRUE. */
6589 res
= code_motion_process_successors (insn
, orig_ops
,
6590 path
, static_params
);
6592 /* Remove bb tail from path. */
6593 if (insn
!= first_insn
)
6594 ilist_remove (&path
);
6598 /* This is the case when one of the original expr is no longer available
6599 due to bookkeeping created on this branch with the same register.
6600 In the original algorithm, which doesn't have update_data_sets call
6601 on a bookkeeping block, it would simply result in returning
6602 FALSE when we've encountered a previously generated bookkeeping
6603 insn in moveop_orig_expr_not_found. */
6604 code_motion_path_driver_cleanup (&orig_ops
, &path
);
6609 /* Don't need it any more. */
6610 av_set_clear (&orig_ops
);
6612 /* Backward pass: now, when we have C_EXPR computed, we'll drag it to
6613 the beginning of the basic block. */
6614 before_first
= PREV_INSN (first_insn
);
6615 while (insn
!= before_first
)
6617 if (code_motion_path_driver_info
->ascend
)
6618 code_motion_path_driver_info
->ascend (insn
, static_params
);
6620 insn
= PREV_INSN (insn
);
6623 /* Now we're at the bb head. */
6625 ilist_remove (&path
);
6626 local_params_in
->removed_last_insn
= removed_last_insn
;
6627 code_motion_path_driver_info
->at_first_insn (insn
, local_params_in
, static_params
);
6629 /* This should be the very last operation as at bb head we could change
6630 the numbering by creating bookkeeping blocks. */
6631 if (removed_last_insn
)
6632 insn
= PREV_INSN (insn
);
6633 bitmap_set_bit (code_motion_visited_blocks
, BLOCK_FOR_INSN (insn
)->index
);
6637 /* Move up the operations from ORIG_OPS set traversing the dag starting
6638 from INSN. PATH represents the edges traversed so far.
6639 DEST is the register chosen for scheduling the current expr. Insert
6640 bookkeeping code in the join points. EXPR_VLIW is the chosen expression,
6641 C_EXPR is how it looks like at the given cfg point.
6642 Set *SHOULD_MOVE to indicate whether we have only disconnected
6643 one of the insns found.
6645 Returns whether original instructions were found, which is asserted
6646 to be true in the caller. */
6648 move_op (insn_t insn
, av_set_t orig_ops
, expr_t expr_vliw
,
6649 rtx dest
, expr_t c_expr
, bool *should_move
)
6651 struct moveop_static_params sparams
;
6652 struct cmpd_local_params lparams
;
6655 /* Init params for code_motion_path_driver. */
6656 sparams
.dest
= dest
;
6657 sparams
.c_expr
= c_expr
;
6658 sparams
.uid
= INSN_UID (EXPR_INSN_RTX (expr_vliw
));
6659 #ifdef ENABLE_CHECKING
6660 sparams
.failed_insn
= NULL
;
6662 sparams
.was_renamed
= false;
6665 /* We haven't visited any blocks yet. */
6666 bitmap_clear (code_motion_visited_blocks
);
6668 /* Set appropriate hooks and data. */
6669 code_motion_path_driver_info
= &move_op_hooks
;
6670 res
= code_motion_path_driver (insn
, orig_ops
, NULL
, &lparams
, &sparams
);
6672 if (sparams
.was_renamed
)
6673 EXPR_WAS_RENAMED (expr_vliw
) = true;
6675 *should_move
= (sparams
.uid
== -1);
6681 /* Functions that work with regions. */
6683 /* Current number of seqno used in init_seqno and init_seqno_1. */
6684 static int cur_seqno
;
6686 /* A helper for init_seqno. Traverse the region starting from BB and
6687 compute seqnos for visited insns, marking visited bbs in VISITED_BBS.
6688 Clear visited blocks from BLOCKS_TO_RESCHEDULE. */
6690 init_seqno_1 (basic_block bb
, sbitmap visited_bbs
, bitmap blocks_to_reschedule
)
6692 int bbi
= BLOCK_TO_BB (bb
->index
);
6693 insn_t insn
, note
= bb_note (bb
);
6697 SET_BIT (visited_bbs
, bbi
);
6698 if (blocks_to_reschedule
)
6699 bitmap_clear_bit (blocks_to_reschedule
, bb
->index
);
6701 FOR_EACH_SUCC_1 (succ_insn
, si
, BB_END (bb
),
6702 SUCCS_NORMAL
| SUCCS_SKIP_TO_LOOP_EXITS
)
6704 basic_block succ
= BLOCK_FOR_INSN (succ_insn
);
6705 int succ_bbi
= BLOCK_TO_BB (succ
->index
);
6707 gcc_assert (in_current_region_p (succ
));
6709 if (!TEST_BIT (visited_bbs
, succ_bbi
))
6711 gcc_assert (succ_bbi
> bbi
);
6713 init_seqno_1 (succ
, visited_bbs
, blocks_to_reschedule
);
6715 else if (blocks_to_reschedule
)
6716 bitmap_set_bit (forced_ebb_heads
, succ
->index
);
6719 for (insn
= BB_END (bb
); insn
!= note
; insn
= PREV_INSN (insn
))
6720 INSN_SEQNO (insn
) = cur_seqno
--;
6723 /* Initialize seqnos for the current region. NUMBER_OF_INSNS is the number
6724 of instructions in the region, BLOCKS_TO_RESCHEDULE contains blocks on
6725 which we're rescheduling when pipelining, FROM is the block where
6726 traversing region begins (it may not be the head of the region when
6727 pipelining, but the head of the loop instead).
6729 Returns the maximal seqno found. */
6731 init_seqno (int number_of_insns
, bitmap blocks_to_reschedule
, basic_block from
)
6733 sbitmap visited_bbs
;
6737 visited_bbs
= sbitmap_alloc (current_nr_blocks
);
6739 if (blocks_to_reschedule
)
6741 sbitmap_ones (visited_bbs
);
6742 EXECUTE_IF_SET_IN_BITMAP (blocks_to_reschedule
, 0, bbi
, bi
)
6744 gcc_assert (BLOCK_TO_BB (bbi
) < current_nr_blocks
);
6745 RESET_BIT (visited_bbs
, BLOCK_TO_BB (bbi
));
6750 sbitmap_zero (visited_bbs
);
6751 from
= EBB_FIRST_BB (0);
6754 cur_seqno
= number_of_insns
> 0 ? number_of_insns
: sched_max_luid
- 1;
6755 init_seqno_1 (from
, visited_bbs
, blocks_to_reschedule
);
6756 gcc_assert (cur_seqno
== 0 || number_of_insns
== 0);
6758 sbitmap_free (visited_bbs
);
6759 return sched_max_luid
- 1;
6762 /* Initialize scheduling parameters for current region. */
6764 sel_setup_region_sched_flags (void)
6766 enable_schedule_as_rhs_p
= 1;
6768 pipelining_p
= (bookkeeping_p
6769 && (flag_sel_sched_pipelining
!= 0)
6770 && current_loop_nest
!= NULL
);
6771 max_insns_to_rename
= PARAM_VALUE (PARAM_SELSCHED_INSNS_TO_RENAME
);
6775 /* Return true if all basic blocks of current region are empty. */
6777 current_region_empty_p (void)
6780 for (i
= 0; i
< current_nr_blocks
; i
++)
6781 if (! sel_bb_empty_p (BASIC_BLOCK (BB_TO_BLOCK (i
))))
6787 /* Prepare and verify loop nest for pipelining. */
6789 setup_current_loop_nest (int rgn
)
6791 current_loop_nest
= get_loop_nest_for_rgn (rgn
);
6793 if (!current_loop_nest
)
6796 /* If this loop has any saved loop preheaders from nested loops,
6797 add these basic blocks to the current region. */
6798 sel_add_loop_preheaders ();
6800 /* Check that we're starting with a valid information. */
6801 gcc_assert (loop_latch_edge (current_loop_nest
));
6802 gcc_assert (LOOP_MARKED_FOR_PIPELINING_P (current_loop_nest
));
6805 /* Compute instruction priorities for current region. */
6807 sel_compute_priorities (int rgn
)
6809 sched_rgn_compute_dependencies (rgn
);
6811 /* Compute insn priorities in haifa style. Then free haifa style
6812 dependencies that we've calculated for this. */
6813 compute_priorities ();
6815 if (sched_verbose
>= 5)
6816 debug_rgn_dependencies (0);
6821 /* Init scheduling data for RGN. Returns true when this region should not
6824 sel_region_init (int rgn
)
6829 rgn_setup_region (rgn
);
6831 /* Even if sched_is_disabled_for_current_region_p() is true, we still
6832 do region initialization here so the region can be bundled correctly,
6833 but we'll skip the scheduling in sel_sched_region (). */
6834 if (current_region_empty_p ())
6837 if (flag_sel_sched_pipelining
)
6838 setup_current_loop_nest (rgn
);
6840 sel_setup_region_sched_flags ();
6842 bbs
= VEC_alloc (basic_block
, heap
, current_nr_blocks
);
6844 for (i
= 0; i
< current_nr_blocks
; i
++)
6845 VEC_quick_push (basic_block
, bbs
, BASIC_BLOCK (BB_TO_BLOCK (i
)));
6847 sel_init_bbs (bbs
, NULL
);
6849 /* Initialize luids and dependence analysis which both sel-sched and haifa
6851 sched_init_luids (bbs
, NULL
, NULL
, NULL
);
6852 sched_deps_init (false);
6854 /* Initialize haifa data. */
6855 rgn_setup_sched_infos ();
6856 sel_set_sched_flags ();
6857 haifa_init_h_i_d (bbs
, NULL
, NULL
, NULL
);
6859 sel_compute_priorities (rgn
);
6860 init_deps_global ();
6862 /* Main initialization. */
6863 sel_setup_sched_infos ();
6864 sel_init_global_and_expr (bbs
);
6866 VEC_free (basic_block
, heap
, bbs
);
6868 blocks_to_reschedule
= BITMAP_ALLOC (NULL
);
6870 /* Init correct liveness sets on each instruction of a single-block loop.
6871 This is the only situation when we can't update liveness when calling
6872 compute_live for the first insn of the loop. */
6873 if (current_loop_nest
)
6875 int header
= (sel_is_loop_preheader_p (BASIC_BLOCK (BB_TO_BLOCK (0)))
6879 if (current_nr_blocks
== header
+ 1)
6880 update_liveness_on_insn
6881 (sel_bb_head (BASIC_BLOCK (BB_TO_BLOCK (header
))));
6884 /* Set hooks so that no newly generated insn will go out unnoticed. */
6885 sel_register_cfg_hooks ();
6887 /* !!! We call target.sched.init () for the whole region, but we invoke
6888 targetm.sched.finish () for every ebb. */
6889 if (targetm
.sched
.init
)
6890 /* None of the arguments are actually used in any target. */
6891 targetm
.sched
.init (sched_dump
, sched_verbose
, -1);
6893 first_emitted_uid
= get_max_uid () + 1;
6894 preheader_removed
= false;
6896 /* Reset register allocation ticks array. */
6897 memset (reg_rename_tick
, 0, sizeof reg_rename_tick
);
6898 reg_rename_this_tick
= 0;
6900 bitmap_initialize (forced_ebb_heads
, 0);
6901 bitmap_clear (forced_ebb_heads
);
6904 current_copies
= BITMAP_ALLOC (NULL
);
6905 current_originators
= BITMAP_ALLOC (NULL
);
6906 code_motion_visited_blocks
= BITMAP_ALLOC (NULL
);
6911 /* Simplify insns after the scheduling. */
6913 simplify_changed_insns (void)
6917 for (i
= 0; i
< current_nr_blocks
; i
++)
6919 basic_block bb
= BASIC_BLOCK (BB_TO_BLOCK (i
));
6922 FOR_BB_INSNS (bb
, insn
)
6925 expr_t expr
= INSN_EXPR (insn
);
6927 if (EXPR_WAS_SUBSTITUTED (expr
))
6928 validate_simplify_insn (insn
);
6933 /* Find boundaries of the EBB starting from basic block BB, marking blocks of
6934 this EBB in SCHEDULED_BLOCKS and appropriately filling in HEAD, TAIL,
6935 PREV_HEAD, and NEXT_TAIL fields of CURRENT_SCHED_INFO structure. */
6937 find_ebb_boundaries (basic_block bb
, bitmap scheduled_blocks
)
6940 basic_block bb1
= bb
;
6941 if (sched_verbose
>= 2)
6942 sel_print ("Finishing schedule in bbs: ");
6946 bitmap_set_bit (scheduled_blocks
, BLOCK_TO_BB (bb1
->index
));
6948 if (sched_verbose
>= 2)
6949 sel_print ("%d; ", bb1
->index
);
6951 while (!bb_ends_ebb_p (bb1
) && (bb1
= bb_next_bb (bb1
)));
6953 if (sched_verbose
>= 2)
6956 get_ebb_head_tail (bb
, bb1
, &head
, &tail
);
6958 current_sched_info
->head
= head
;
6959 current_sched_info
->tail
= tail
;
6960 current_sched_info
->prev_head
= PREV_INSN (head
);
6961 current_sched_info
->next_tail
= NEXT_INSN (tail
);
6964 /* Regenerate INSN_SCHED_CYCLEs for insns of current EBB. */
6966 reset_sched_cycles_in_current_ebb (void)
6969 int haifa_last_clock
= -1;
6970 int haifa_clock
= 0;
6971 int issued_insns
= 0;
6974 if (targetm
.sched
.init
)
6976 /* None of the arguments are actually used in any target.
6977 NB: We should have md_reset () hook for cases like this. */
6978 targetm
.sched
.init (sched_dump
, sched_verbose
, -1);
6981 state_reset (curr_state
);
6982 advance_state (curr_state
);
6984 for (insn
= current_sched_info
->head
;
6985 insn
!= current_sched_info
->next_tail
;
6986 insn
= NEXT_INSN (insn
))
6988 int cost
, haifa_cost
;
6990 bool asm_p
, real_insn
, after_stall
;
6997 real_insn
= recog_memoized (insn
) >= 0;
6998 clock
= INSN_SCHED_CYCLE (insn
);
7000 cost
= clock
- last_clock
;
7002 /* Initialize HAIFA_COST. */
7005 asm_p
= INSN_ASM_P (insn
);
7008 /* This is asm insn which *had* to be scheduled first
7012 /* This is a use/clobber insn. It should not change
7017 haifa_cost
= estimate_insn_cost (insn
, curr_state
);
7019 /* Stall for whatever cycles we've stalled before. */
7021 if (INSN_AFTER_STALL_P (insn
) && cost
> haifa_cost
)
7027 && issued_insns
== issue_rate
)
7033 while (haifa_cost
--)
7035 advance_state (curr_state
);
7039 if (sched_verbose
>= 2)
7041 sel_print ("advance_state (state_transition)\n");
7042 debug_state (curr_state
);
7045 /* The DFA may report that e.g. insn requires 2 cycles to be
7046 issued, but on the next cycle it says that insn is ready
7047 to go. Check this here. */
7051 && estimate_insn_cost (insn
, curr_state
) == 0)
7056 if (sched_verbose
>= 2)
7057 sel_print ("haifa clock: %d\n", haifa_clock
);
7060 gcc_assert (haifa_cost
== 0);
7062 if (sched_verbose
>= 2)
7063 sel_print ("Haifa cost for insn %d: %d\n", INSN_UID (insn
), haifa_cost
);
7065 if (targetm
.sched
.dfa_new_cycle
)
7066 while (targetm
.sched
.dfa_new_cycle (sched_dump
, sched_verbose
, insn
,
7067 haifa_last_clock
, haifa_clock
,
7070 advance_state (curr_state
);
7073 if (sched_verbose
>= 2)
7075 sel_print ("advance_state (dfa_new_cycle)\n");
7076 debug_state (curr_state
);
7077 sel_print ("haifa clock: %d\n", haifa_clock
+ 1);
7083 cost
= state_transition (curr_state
, insn
);
7086 if (sched_verbose
>= 2)
7088 sel_print ("scheduled insn %d, clock %d\n", INSN_UID (insn
),
7090 debug_state (curr_state
);
7092 gcc_assert (cost
< 0);
7095 if (targetm
.sched
.variable_issue
)
7096 targetm
.sched
.variable_issue (sched_dump
, sched_verbose
, insn
, 0);
7098 INSN_SCHED_CYCLE (insn
) = haifa_clock
;
7101 haifa_last_clock
= haifa_clock
;
7105 /* Put TImode markers on insns starting a new issue group. */
7109 int last_clock
= -1;
7112 for (insn
= current_sched_info
->head
; insn
!= current_sched_info
->next_tail
;
7113 insn
= NEXT_INSN (insn
))
7120 clock
= INSN_SCHED_CYCLE (insn
);
7121 cost
= (last_clock
== -1) ? 1 : clock
- last_clock
;
7123 gcc_assert (cost
>= 0);
7126 && GET_CODE (PATTERN (insn
)) != USE
7127 && GET_CODE (PATTERN (insn
)) != CLOBBER
)
7129 if (reload_completed
&& cost
> 0)
7130 PUT_MODE (insn
, TImode
);
7135 if (sched_verbose
>= 2)
7136 sel_print ("Cost for insn %d is %d\n", INSN_UID (insn
), cost
);
7140 /* Perform MD_FINISH on EBBs comprising current region. When
7141 RESET_SCHED_CYCLES_P is true, run a pass emulating the scheduler
7142 to produce correct sched cycles on insns. */
7144 sel_region_target_finish (bool reset_sched_cycles_p
)
7147 bitmap scheduled_blocks
= BITMAP_ALLOC (NULL
);
7149 for (i
= 0; i
< current_nr_blocks
; i
++)
7151 if (bitmap_bit_p (scheduled_blocks
, i
))
7154 /* While pipelining outer loops, skip bundling for loop
7155 preheaders. Those will be rescheduled in the outer loop. */
7156 if (sel_is_loop_preheader_p (EBB_FIRST_BB (i
)))
7159 find_ebb_boundaries (EBB_FIRST_BB (i
), scheduled_blocks
);
7161 if (no_real_insns_p (current_sched_info
->head
, current_sched_info
->tail
))
7164 if (reset_sched_cycles_p
)
7165 reset_sched_cycles_in_current_ebb ();
7167 if (targetm
.sched
.init
)
7168 targetm
.sched
.init (sched_dump
, sched_verbose
, -1);
7172 if (targetm
.sched
.finish
)
7174 targetm
.sched
.finish (sched_dump
, sched_verbose
);
7176 /* Extend luids so that insns generated by the target will
7178 sched_init_luids (NULL
, NULL
, NULL
, NULL
);
7182 BITMAP_FREE (scheduled_blocks
);
7185 /* Free the scheduling data for the current region. When RESET_SCHED_CYCLES_P
7186 is true, make an additional pass emulating scheduler to get correct insn
7187 cycles for md_finish calls. */
7189 sel_region_finish (bool reset_sched_cycles_p
)
7191 simplify_changed_insns ();
7192 sched_finish_ready_list ();
7195 /* Free the vectors. */
7197 VEC_free (expr_t
, heap
, vec_av_set
);
7198 BITMAP_FREE (current_copies
);
7199 BITMAP_FREE (current_originators
);
7200 BITMAP_FREE (code_motion_visited_blocks
);
7201 vinsn_vec_free (&vec_bookkeeping_blocked_vinsns
);
7202 vinsn_vec_free (&vec_target_unavailable_vinsns
);
7204 /* If LV_SET of the region head should be updated, do it now because
7205 there will be no other chance. */
7210 FOR_EACH_SUCC_1 (insn
, si
, bb_note (EBB_FIRST_BB (0)),
7211 SUCCS_NORMAL
| SUCCS_SKIP_TO_LOOP_EXITS
)
7213 basic_block bb
= BLOCK_FOR_INSN (insn
);
7215 if (!BB_LV_SET_VALID_P (bb
))
7216 compute_live (insn
);
7220 /* Emulate the Haifa scheduler for bundling. */
7221 if (reload_completed
)
7222 sel_region_target_finish (reset_sched_cycles_p
);
7224 sel_finish_global_and_expr ();
7226 bitmap_clear (forced_ebb_heads
);
7230 finish_deps_global ();
7231 sched_finish_luids ();
7234 BITMAP_FREE (blocks_to_reschedule
);
7236 sel_unregister_cfg_hooks ();
7242 /* Functions that implement the scheduler driver. */
7244 /* Schedule a parallel instruction group on each of FENCES. MAX_SEQNO
7245 is the current maximum seqno. SCHEDULED_INSNS_TAILPP is the list
7246 of insns scheduled -- these would be postprocessed later. */
7248 schedule_on_fences (flist_t fences
, int max_seqno
,
7249 ilist_t
**scheduled_insns_tailpp
)
7251 flist_t old_fences
= fences
;
7253 if (sched_verbose
>= 1)
7255 sel_print ("\nScheduling on fences: ");
7256 dump_flist (fences
);
7260 scheduled_something_on_previous_fence
= false;
7261 for (; fences
; fences
= FLIST_NEXT (fences
))
7263 fence_t fence
= NULL
;
7266 bool first_p
= true;
7268 /* Choose the next fence group to schedule.
7269 The fact that insn can be scheduled only once
7270 on the cycle is guaranteed by two properties:
7271 1. seqnos of parallel groups decrease with each iteration.
7272 2. If is_ineligible_successor () sees the larger seqno, it
7273 checks if candidate insn is_in_current_fence_p (). */
7274 for (fences2
= old_fences
; fences2
; fences2
= FLIST_NEXT (fences2
))
7276 fence_t f
= FLIST_FENCE (fences2
);
7278 if (!FENCE_PROCESSED_P (f
))
7280 int i
= INSN_SEQNO (FENCE_INSN (f
));
7282 if (first_p
|| i
> seqno
)
7289 /* ??? Seqnos of different groups should be different. */
7290 gcc_assert (1 || i
!= seqno
);
7296 /* As FENCE is nonnull, SEQNO is initialized. */
7297 seqno
-= max_seqno
+ 1;
7298 fill_insns (fence
, seqno
, scheduled_insns_tailpp
);
7299 FENCE_PROCESSED_P (fence
) = true;
7302 /* All av_sets are invalidated by GLOBAL_LEVEL increase, thus we
7303 don't need to keep bookkeeping-invalidated and target-unavailable
7305 vinsn_vec_clear (&vec_bookkeeping_blocked_vinsns
);
7306 vinsn_vec_clear (&vec_target_unavailable_vinsns
);
7309 /* Calculate MIN_SEQNO and MAX_SEQNO. */
7311 find_min_max_seqno (flist_t fences
, int *min_seqno
, int *max_seqno
)
7313 *min_seqno
= *max_seqno
= INSN_SEQNO (FENCE_INSN (FLIST_FENCE (fences
)));
7315 /* The first element is already processed. */
7316 while ((fences
= FLIST_NEXT (fences
)))
7318 int seqno
= INSN_SEQNO (FENCE_INSN (FLIST_FENCE (fences
)));
7320 if (*min_seqno
> seqno
)
7322 else if (*max_seqno
< seqno
)
7327 /* Calculate new fences from FENCES. */
7329 calculate_new_fences (flist_t fences
, int orig_max_seqno
)
7331 flist_t old_fences
= fences
;
7332 struct flist_tail_def _new_fences
, *new_fences
= &_new_fences
;
7334 flist_tail_init (new_fences
);
7335 for (; fences
; fences
= FLIST_NEXT (fences
))
7337 fence_t fence
= FLIST_FENCE (fences
);
7340 if (!FENCE_BNDS (fence
))
7342 /* This fence doesn't have any successors. */
7343 if (!FENCE_SCHEDULED_P (fence
))
7345 /* Nothing was scheduled on this fence. */
7348 insn
= FENCE_INSN (fence
);
7349 seqno
= INSN_SEQNO (insn
);
7350 gcc_assert (seqno
> 0 && seqno
<= orig_max_seqno
);
7352 if (sched_verbose
>= 1)
7353 sel_print ("Fence %d[%d] has not changed\n",
7356 move_fence_to_fences (fences
, new_fences
);
7360 extract_new_fences_from (fences
, new_fences
, orig_max_seqno
);
7363 flist_clear (&old_fences
);
7364 return FLIST_TAIL_HEAD (new_fences
);
7367 /* Update seqnos of insns given by PSCHEDULED_INSNS. MIN_SEQNO and MAX_SEQNO
7368 are the miminum and maximum seqnos of the group, HIGHEST_SEQNO_IN_USE is
7369 the highest seqno used in a region. Return the updated highest seqno. */
7371 update_seqnos_and_stage (int min_seqno
, int max_seqno
,
7372 int highest_seqno_in_use
,
7373 ilist_t
*pscheduled_insns
)
7379 /* Actually, new_hs is the seqno of the instruction, that was
7380 scheduled first (i.e. it is the first one in SCHEDULED_INSNS). */
7381 if (*pscheduled_insns
)
7383 new_hs
= (INSN_SEQNO (ILIST_INSN (*pscheduled_insns
))
7384 + highest_seqno_in_use
+ max_seqno
- min_seqno
+ 2);
7385 gcc_assert (new_hs
> highest_seqno_in_use
);
7388 new_hs
= highest_seqno_in_use
;
7390 FOR_EACH_INSN (insn
, ii
, *pscheduled_insns
)
7392 gcc_assert (INSN_SEQNO (insn
) < 0);
7393 INSN_SEQNO (insn
) += highest_seqno_in_use
+ max_seqno
- min_seqno
+ 2;
7394 gcc_assert (INSN_SEQNO (insn
) <= new_hs
);
7396 /* When not pipelining, purge unneeded insn info on the scheduled insns.
7397 For example, having reg_last array of INSN_DEPS_CONTEXT in memory may
7398 require > 1GB of memory e.g. on limit-fnargs.c. */
7400 free_data_for_scheduled_insn (insn
);
7403 ilist_clear (pscheduled_insns
);
7409 /* The main driver for scheduling a region. This function is responsible
7410 for correct propagation of fences (i.e. scheduling points) and creating
7411 a group of parallel insns at each of them. It also supports
7412 pipelining. ORIG_MAX_SEQNO is the maximal seqno before this pass
7415 sel_sched_region_2 (int orig_max_seqno
)
7417 int highest_seqno_in_use
= orig_max_seqno
;
7419 stat_bookkeeping_copies
= 0;
7420 stat_insns_needed_bookkeeping
= 0;
7421 stat_renamed_scheduled
= 0;
7422 stat_substitutions_total
= 0;
7423 num_insns_scheduled
= 0;
7427 int min_seqno
, max_seqno
;
7428 ilist_t scheduled_insns
= NULL
;
7429 ilist_t
*scheduled_insns_tailp
= &scheduled_insns
;
7431 find_min_max_seqno (fences
, &min_seqno
, &max_seqno
);
7432 schedule_on_fences (fences
, max_seqno
, &scheduled_insns_tailp
);
7433 fences
= calculate_new_fences (fences
, orig_max_seqno
);
7434 highest_seqno_in_use
= update_seqnos_and_stage (min_seqno
, max_seqno
,
7435 highest_seqno_in_use
,
7439 if (sched_verbose
>= 1)
7440 sel_print ("Scheduled %d bookkeeping copies, %d insns needed "
7441 "bookkeeping, %d insns renamed, %d insns substituted\n",
7442 stat_bookkeeping_copies
,
7443 stat_insns_needed_bookkeeping
,
7444 stat_renamed_scheduled
,
7445 stat_substitutions_total
);
7448 /* Schedule a region. When pipelining, search for possibly never scheduled
7449 bookkeeping code and schedule it. Reschedule pipelined code without
7450 pipelining after. */
7452 sel_sched_region_1 (void)
7454 int number_of_insns
;
7457 /* Remove empty blocks that might be in the region from the beginning.
7458 We need to do save sched_max_luid before that, as it actually shows
7459 the number of insns in the region, and purge_empty_blocks can
7461 number_of_insns
= sched_max_luid
- 1;
7462 purge_empty_blocks ();
7464 orig_max_seqno
= init_seqno (number_of_insns
, NULL
, NULL
);
7465 gcc_assert (orig_max_seqno
>= 1);
7467 /* When pipelining outer loops, create fences on the loop header,
7470 if (current_loop_nest
)
7471 init_fences (BB_END (EBB_FIRST_BB (0)));
7473 init_fences (bb_note (EBB_FIRST_BB (0)));
7476 sel_sched_region_2 (orig_max_seqno
);
7478 gcc_assert (fences
== NULL
);
7484 struct flist_tail_def _new_fences
;
7485 flist_tail_t new_fences
= &_new_fences
;
7488 pipelining_p
= false;
7489 max_ws
= MIN (max_ws
, issue_rate
* 3 / 2);
7490 bookkeeping_p
= false;
7491 enable_schedule_as_rhs_p
= false;
7493 /* Schedule newly created code, that has not been scheduled yet. */
7500 for (i
= 0; i
< current_nr_blocks
; i
++)
7502 basic_block bb
= EBB_FIRST_BB (i
);
7504 if (sel_bb_empty_p (bb
))
7506 bitmap_clear_bit (blocks_to_reschedule
, bb
->index
);
7510 if (bitmap_bit_p (blocks_to_reschedule
, bb
->index
))
7512 clear_outdated_rtx_info (bb
);
7513 if (sel_insn_is_speculation_check (BB_END (bb
))
7514 && JUMP_P (BB_END (bb
)))
7515 bitmap_set_bit (blocks_to_reschedule
,
7516 BRANCH_EDGE (bb
)->dest
->index
);
7518 else if (INSN_SCHED_TIMES (sel_bb_head (bb
)) <= 0)
7519 bitmap_set_bit (blocks_to_reschedule
, bb
->index
);
7522 for (i
= 0; i
< current_nr_blocks
; i
++)
7524 bb
= EBB_FIRST_BB (i
);
7526 /* While pipelining outer loops, skip bundling for loop
7527 preheaders. Those will be rescheduled in the outer
7529 if (sel_is_loop_preheader_p (bb
))
7531 clear_outdated_rtx_info (bb
);
7535 if (bitmap_bit_p (blocks_to_reschedule
, bb
->index
))
7537 flist_tail_init (new_fences
);
7539 orig_max_seqno
= init_seqno (0, blocks_to_reschedule
, bb
);
7541 /* Mark BB as head of the new ebb. */
7542 bitmap_set_bit (forced_ebb_heads
, bb
->index
);
7544 gcc_assert (fences
== NULL
);
7546 init_fences (bb_note (bb
));
7548 sel_sched_region_2 (orig_max_seqno
);
7558 /* Schedule the RGN region. */
7560 sel_sched_region (int rgn
)
7563 bool reset_sched_cycles_p
;
7565 if (sel_region_init (rgn
))
7568 if (sched_verbose
>= 1)
7569 sel_print ("Scheduling region %d\n", rgn
);
7571 schedule_p
= (!sched_is_disabled_for_current_region_p ()
7572 && dbg_cnt (sel_sched_region_cnt
));
7573 reset_sched_cycles_p
= pipelining_p
;
7575 sel_sched_region_1 ();
7577 /* Force initialization of INSN_SCHED_CYCLEs for correct bundling. */
7578 reset_sched_cycles_p
= true;
7580 sel_region_finish (reset_sched_cycles_p
);
7583 /* Perform global init for the scheduler. */
7585 sel_global_init (void)
7587 calculate_dominance_info (CDI_DOMINATORS
);
7588 alloc_sched_pools ();
7590 /* Setup the infos for sched_init. */
7591 sel_setup_sched_infos ();
7592 setup_sched_dump ();
7594 sched_rgn_init (false);
7598 /* Reset AFTER_RECOVERY if it has been set by the 1st scheduler pass. */
7600 can_issue_more
= issue_rate
;
7602 sched_extend_target ();
7603 sched_deps_init (true);
7604 setup_nop_and_exit_insns ();
7605 sel_extend_global_bb_info ();
7607 init_hard_regs_data ();
7610 /* Free the global data of the scheduler. */
7612 sel_global_finish (void)
7614 free_bb_note_pool ();
7616 sel_finish_global_bb_info ();
7618 free_regset_pool ();
7619 free_nop_and_exit_insns ();
7621 sched_rgn_finish ();
7622 sched_deps_finish ();
7626 sel_finish_pipelining ();
7628 free_sched_pools ();
7629 free_dominance_info (CDI_DOMINATORS
);
7632 /* Return true when we need to skip selective scheduling. Used for debugging. */
7634 maybe_skip_selective_scheduling (void)
7636 return ! dbg_cnt (sel_sched_cnt
);
7639 /* The entry point. */
7641 run_selective_scheduling (void)
7645 if (n_basic_blocks
== NUM_FIXED_BLOCKS
)
7650 for (rgn
= 0; rgn
< nr_regions
; rgn
++)
7651 sel_sched_region (rgn
);
7653 sel_global_finish ();