57512f5363
2008-10-11 Kenneth Zadeck <zadeck@naturalbridge.com> PR rtl-optimization/37448 * df.h: (df_ref_class): New enum. (DF_REF_TYPE_NAMES, df_ref_extract): Removed. (struct df_ref): Replaced with union df_ref_d. (df_base_ref, df_artificial_ref, df_regular_ref, df_extract_ref): New members of df_ref_d union. (DF_REF_REAL_REG, DF_REF_REGNO, DF_REF_REAL_LOC, DF_REF_REG, DF_REF_LOC, DF_REF_BB, DF_REF_INSN_INFO, DF_REF_INSN, DF_REF_CLASS, DF_REF_TYPE, DF_REF_CHAIN, DF_REF_ID, DF_REF_FLAGS, DF_REF_ORDER, DF_REF_IS_ARTIFICIAL, DF_REF_NEXT_REG, DF_REF_PREV_REG, DF_REF_EXTRACT_WIDTH, DF_REF_EXTRACT_OFFSET, DF_REF_EXTRACT_MODE): Replaced definition to access union df_ref_d. (DF_MWS_REG_DEF_P, DF_MWS_REG_USE_P, DF_MWS_TYPE): New macros. (df_scan_bb_info, df_bb_regno_first_def_find, df_bb_regno_last_def_find, df_find_def, df_find_use, df_refs_chain_dump, df_regs_chain_dump, df_ref_debug, debug_df_ref, df_chain_create, df_chain_unlink, df_chain_copy, df_ref_create, df_ref_remove, df_compute_accessed_bytes, df_get_artificial_defs, df_get_artificial_uses, union_defs) Replaced struct df_ref * with df_ref. * df-scan.c (df_collection_rec, df_null_ref_rec, df_ref_chain_delete_du_chain, df_ref_chain_delete, df_install_ref, df_grow_ref_info, df_ref_create, df_reg_chain_unlink, df_ref_compress_rec, df_ref_remove, df_ref_chain_delete_du_chain, df_ref_chain_delete, df_free_collection_rec, df_insn_rescan, df_reorganize_refs_by_reg_by_reg, df_reorganize_refs_by_reg_by_insn, df_reorganize_refs_by_reg, df_ref_change_reg_with_loc_1, df_notes_rescan, df_swap_refs, df_sort_and_compress_refs, df_install_ref, df_install_refs, df_ref_record, df_get_conditional_uses, df_get_call_refs, df_bb_refs_record, df_exit_block_uses_collect, df_record_exit_block_uses, df_reg_chain_mark, df_reg_chain_verify_unmarked, df_refs_verify): Replaced struct df_ref * with df_ref. (df_ref_record, df_uses_record, df_ref_create_structure): Added df_ref_class parameter. (df_scan_problem_data): Added new pools for different types of refs. (df_scan_free_internal, df_scan_alloc, df_free_ref, df_ref_create_structure): Processed new ref pools. (df_scan_start_dump): Added counts of refs and insns. (df_ref_create, df_notes_rescan, df_def_record_1, df_uses_record, df_get_call_refs, df_insn_refs_collect, df_bb_refs_collect, df_entry_block_defs_collect, df_exit_block_uses_collect): Added code to pass df_ref_class down to ref creation functions. (df_reg_chain_unlink, df_ref_remove, df_ref_change_reg_with_loc_1, df_reg_chain_mark): Use macros to hide references to df_refs. (df_ref_chain_change_bb): Removed. (df_insn_change_bb): Remove calls to df_ref_insn_change_bb. (df_ref_equal_p, df_ref_compare, df_ref_create_structure): Enhanced to understand df_ref union structure. * fwprop.c (local_ref_killed_between_p, use_killed_between, all_uses_available_at, update_df, try_fwprop_subst, forward_propagate_subreg, forward_propagate_and_simplify, forward_propagate_into, fwprop, fwprop_addr): Replaced struct df_ref * with df_ref. (use_killed_between, all_uses_available_at): Use macros to hide references to df_refs. * regstat.c (regstat_bb_compute_ri, regstat_bb_compute_calls_crossed): Replaced struct df_ref * with df_ref. * see.c (see_handle_relevant_defs, see_handle_relevant_uses, see_handle_relevant_refs, see_analyze_one_def, see_update_relevancy, see_propagate_extensions_to_uses): Replaced struct df_ref * with df_ref. * ra-conflict.c (record_one_conflict, clear_reg_in_live, global_conflicts): Replaced struct df_ref * with df_ref. * ddg.c (create_ddg_dep_from_intra_loop_link, add_cross_iteration_register_deps, build_inter_loop_deps): Replaced struct df_ref * with df_ref. (create_ddg_dep_from_intra_loop_link, add_cross_iteration_register_deps): Use macros to hide references to df_refs. * auto-inc-dec.c (find_inc, merge_in_block): Replaced struct df_ref * with df_ref. * df-core.c (df_bb_regno_first_def_find, df_bb_regno_last_def_find, df_find_def, df_find_use, df_refs_chain_dump, df_regs_chain_dump, df_ref_debug, debug_df_ref): Replaced struct df_ref * with df_ref. (df_mws_dump, df_ref_debug): Use macros to hide references to df_refs. * cse.c (cse_extended_basic_block): Replaced struct df_ref * with df_ref. * web.c (union_defs, entry_register, replace_ref, web_main): Replaced struct df_ref * with df_ref. (union_defs, replace_ref): Use macros to hide references to df_refs. * global.c (compute_regs_asm_clobbered, build_insn_chain): Replaced struct df_ref * with df_ref. * ifcvt.c (dead_or_predicable): Replaced struct df_ref * with df_ref. * sel-sched-ir.c (maybe_downgrade_id_to_use, setup_id_reg_sets, ): Replaced struct df_ref * with df_ref. * ira-lives.c (mark_ref_live, def_conflicts_with_inputs_p, mark_ref_dead, process_bb_node_lives): Replaced struct df_ref * with df_ref. * local-alloc.c (block_alloc): Replaced struct df_ref * with df_ref. * df-byte-scan.c (df_compute_accessed_bytes_extract, df_compute_accessed_bytes_strict_low_part, df_compute_accessed_bytes_subreg, df_compute_accessed_bytes): Replaced struct df_ref * with df_ref. (df_compute_accessed_bytes): Use macros to hide references to df_refs. * init-regs.c (initialize_uninitialized_regs): Replaced struct df_ref * with df_ref. * loop-invariant.c (invariant_for_use, hash_invariant_expr_1, check_dependency, check_dependencies, record_uses): Replaced struct df_ref * with df_ref. (invariant_for_use, check_dependency): Use macros to hide references to df_refs. * loop-iv.c (iv_analysis_loop_init, iv_get_reaching_def, get_biv_step_1, get_biv_step, record_iv, iv_analyze_def, iv_analyze, biv_p): Replaced struct df_ref * with df_ref. (iv_analysis_loop_init, iv_get_reaching_def): Use macros to hide references to df_refs. * ira.c (compute_regs_asm_clobbered): Replaced struct df_ref * with df_ref. * combine.c (create_log_links): Replaced struct df_ref * with df_ref. * df-problems.c (df_rd_bb_local_compute_process_def, df_lr_bb_local_compute, df_live_bb_local_compute, df_chain_create, df_chain_unlink_1, df_chain_unlink, df_chain_copy, df_chain_remove_problem, df_chain_create_bb_process_use, df_chain_create_bb, df_chain_top_dump, df_chain_bottom_dump, df_byte_lr_check_regs, df_byte_lr_bb_local_compute, df_byte_lr_simulate_defs, df_byte_lr_simulate_uses, df_byte_lr_simulate_artificial_refs_at_top, df_byte_lr_simulate_artificial_refs_at_end, df_create_unused_note, df_note_bb_compute, df_note_add_problem, df_simulate_defs, df_simulate_uses, df_simulate_artificial_refs_at_end, df_simulate_artificial_refs_at_top): Replaced struct df_ref * with df_ref. (df_chain_dump): Use macros to hide references to df_refs. * config/mips/mips.c (r10k_simplify_address): Replaced struct df_ref * with df_ref. * dce.c (mark_nonreg_stores, delete_corresponding_reg_eq_notes, mark_artificial_uses, mark_reg_dependencies, byte_dce_process_block): Replaced struct df_ref * with df_ref. From-SVN: r141067
514 lines
14 KiB
C
514 lines
14 KiB
C
/* Scanning of rtl for dataflow analysis.
|
|
Copyright (C) 2007
|
|
Free Software Foundation, Inc.
|
|
Contributed by Kenneth Zadeck (zadeck@naturalbridge.com).
|
|
|
|
This file is part of GCC.
|
|
|
|
GCC is free software; you can redistribute it and/or modify it under
|
|
the terms of the GNU General Public License as published by the Free
|
|
Software Foundation; either version 3, or (at your option) any later
|
|
version.
|
|
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with GCC; see the file COPYING3. If not see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
|
|
#include "config.h"
|
|
#include "system.h"
|
|
#include "coretypes.h"
|
|
#include "tm.h"
|
|
#include "rtl.h"
|
|
#include "tm_p.h"
|
|
#include "flags.h"
|
|
#include "regs.h"
|
|
#include "output.h"
|
|
#include "except.h"
|
|
#include "hard-reg-set.h"
|
|
#include "basic-block.h"
|
|
#include "timevar.h"
|
|
#include "df.h"
|
|
|
|
|
|
struct regstat_n_sets_and_refs_t *regstat_n_sets_and_refs;
|
|
struct regstat_n_sets_and_refs_t *regstat_n_sets_and_refs;
|
|
|
|
/*----------------------------------------------------------------------------
|
|
REG_N_SETS and REG_N_REFS.
|
|
----------------------------------------------------------------------------*/
|
|
|
|
/* If a pass need to change these values in some magical way or or the
|
|
pass needs to have accurate values for these and is not using
|
|
incremental df scanning, then it should use REG_N_SETS and
|
|
REG_N_USES. If the pass is doing incremental scanning then it
|
|
should be getting the info from DF_REG_DEF_COUNT and
|
|
DF_REG_USE_COUNT. */
|
|
|
|
void
|
|
regstat_init_n_sets_and_refs (void)
|
|
{
|
|
unsigned int i;
|
|
unsigned int max_regno = max_reg_num ();
|
|
|
|
timevar_push (TV_REG_STATS);
|
|
df_grow_reg_info ();
|
|
gcc_assert (!regstat_n_sets_and_refs);
|
|
|
|
regstat_n_sets_and_refs = XNEWVEC (struct regstat_n_sets_and_refs_t, max_regno);
|
|
|
|
for (i = 0; i < max_regno; i++)
|
|
{
|
|
SET_REG_N_SETS (i, DF_REG_DEF_COUNT (i));
|
|
SET_REG_N_REFS (i, DF_REG_USE_COUNT (i) + REG_N_SETS (i));
|
|
}
|
|
timevar_pop (TV_REG_STATS);
|
|
|
|
}
|
|
|
|
|
|
/* Free the array that holds the REG_N_SETS and REG_N_REFS. */
|
|
|
|
void
|
|
regstat_free_n_sets_and_refs (void)
|
|
{
|
|
gcc_assert (regstat_n_sets_and_refs);
|
|
free (regstat_n_sets_and_refs);
|
|
regstat_n_sets_and_refs = NULL;
|
|
}
|
|
|
|
|
|
/*----------------------------------------------------------------------------
|
|
REGISTER INFORMATION
|
|
|
|
Process REG_N_DEATHS, REG_LIVE_LENGTH, REG_N_CALLS_CROSSED,
|
|
REG_N_THROWING_CALLS_CROSSED and REG_BASIC_BLOCK.
|
|
|
|
----------------------------------------------------------------------------*/
|
|
|
|
static bitmap setjmp_crosses;
|
|
struct reg_info_t *reg_info_p;
|
|
|
|
/* The number allocated elements of reg_info_p. */
|
|
size_t reg_info_p_size;
|
|
|
|
/* Compute register info: lifetime, bb, and number of defs and uses
|
|
for basic block BB. The three bitvectors are scratch regs used
|
|
here. */
|
|
|
|
static void
|
|
regstat_bb_compute_ri (unsigned int bb_index,
|
|
bitmap live, bitmap do_not_gen, bitmap artificial_uses,
|
|
bitmap local_live, bitmap local_processed)
|
|
{
|
|
basic_block bb = BASIC_BLOCK (bb_index);
|
|
rtx insn;
|
|
df_ref *def_rec;
|
|
df_ref *use_rec;
|
|
int luid = 0;
|
|
bitmap_iterator bi;
|
|
unsigned int regno;
|
|
|
|
bitmap_copy (live, df_get_live_out (bb));
|
|
bitmap_clear (artificial_uses);
|
|
|
|
/* Process the regs live at the end of the block. Mark them as
|
|
not local to any one basic block. */
|
|
EXECUTE_IF_SET_IN_BITMAP (live, 0, regno, bi)
|
|
REG_BASIC_BLOCK (regno) = REG_BLOCK_GLOBAL;
|
|
|
|
/* Process the artificial defs and uses at the bottom of the block
|
|
to begin processing. */
|
|
for (def_rec = df_get_artificial_defs (bb_index); *def_rec; def_rec++)
|
|
{
|
|
df_ref def = *def_rec;
|
|
if ((DF_REF_FLAGS (def) & DF_REF_AT_TOP) == 0)
|
|
bitmap_clear_bit (live, DF_REF_REGNO (def));
|
|
}
|
|
|
|
for (use_rec = df_get_artificial_uses (bb_index); *use_rec; use_rec++)
|
|
{
|
|
df_ref use = *use_rec;
|
|
if ((DF_REF_FLAGS (use) & DF_REF_AT_TOP) == 0)
|
|
{
|
|
regno = DF_REF_REGNO (use);
|
|
bitmap_set_bit (live, regno);
|
|
bitmap_set_bit (artificial_uses, regno);
|
|
}
|
|
}
|
|
|
|
FOR_BB_INSNS_REVERSE (bb, insn)
|
|
{
|
|
unsigned int uid = INSN_UID (insn);
|
|
unsigned int regno;
|
|
bitmap_iterator bi;
|
|
struct df_mw_hardreg **mws_rec;
|
|
rtx link;
|
|
|
|
if (!INSN_P (insn))
|
|
continue;
|
|
|
|
/* Increment the live_length for all of the registers that
|
|
are are referenced in this block and live at this
|
|
particular point. */
|
|
EXECUTE_IF_SET_IN_BITMAP (local_live, 0, regno, bi)
|
|
{
|
|
REG_LIVE_LENGTH (regno)++;
|
|
}
|
|
luid++;
|
|
|
|
bitmap_clear (do_not_gen);
|
|
|
|
link = REG_NOTES (insn);
|
|
while (link)
|
|
{
|
|
if (REG_NOTE_KIND (link) == REG_DEAD)
|
|
REG_N_DEATHS(REGNO (XEXP (link, 0)))++;
|
|
link = XEXP (link, 1);
|
|
}
|
|
|
|
/* Process the defs. */
|
|
if (CALL_P (insn))
|
|
{
|
|
bool can_throw = can_throw_internal (insn);
|
|
bool set_jump = (find_reg_note (insn, REG_SETJMP, NULL) != NULL);
|
|
EXECUTE_IF_SET_IN_BITMAP (live, 0, regno, bi)
|
|
{
|
|
REG_N_CALLS_CROSSED (regno)++;
|
|
REG_FREQ_CALLS_CROSSED (regno) += REG_FREQ_FROM_BB (bb);
|
|
if (can_throw)
|
|
REG_N_THROWING_CALLS_CROSSED (regno)++;
|
|
|
|
/* We have a problem with any pseudoreg that lives
|
|
across the setjmp. ANSI says that if a user variable
|
|
does not change in value between the setjmp and the
|
|
longjmp, then the longjmp preserves it. This
|
|
includes longjmp from a place where the pseudo
|
|
appears dead. (In principle, the value still exists
|
|
if it is in scope.) If the pseudo goes in a hard
|
|
reg, some other value may occupy that hard reg where
|
|
this pseudo is dead, thus clobbering the pseudo.
|
|
Conclusion: such a pseudo must not go in a hard
|
|
reg. */
|
|
if (set_jump)
|
|
bitmap_set_bit (setjmp_crosses, regno);
|
|
}
|
|
}
|
|
|
|
/* We only care about real sets for calls. Clobbers only
|
|
may clobbers cannot be depended on. */
|
|
for (mws_rec = DF_INSN_UID_MWS (uid); *mws_rec; mws_rec++)
|
|
{
|
|
struct df_mw_hardreg *mws = *mws_rec;
|
|
if (DF_MWS_REG_DEF_P (mws))
|
|
{
|
|
bool all_dead = true;
|
|
unsigned int r;
|
|
|
|
for (r=mws->start_regno; r <= mws->end_regno; r++)
|
|
if ((bitmap_bit_p (live, r))
|
|
|| bitmap_bit_p (artificial_uses, r))
|
|
{
|
|
all_dead = false;
|
|
break;
|
|
}
|
|
|
|
if (all_dead)
|
|
{
|
|
unsigned int regno = mws->start_regno;
|
|
bitmap_set_bit (do_not_gen, regno);
|
|
/* Only do this if the value is totally dead. */
|
|
REG_LIVE_LENGTH (regno)++;
|
|
}
|
|
}
|
|
}
|
|
|
|
/* All of the defs except the return value are some sort of
|
|
clobber. This code is for the return. */
|
|
for (def_rec = DF_INSN_UID_DEFS (uid); *def_rec; def_rec++)
|
|
{
|
|
df_ref def = *def_rec;
|
|
if ((!CALL_P (insn))
|
|
|| (!(DF_REF_FLAGS (def) & (DF_REF_MUST_CLOBBER | DF_REF_MAY_CLOBBER))))
|
|
{
|
|
unsigned int dregno = DF_REF_REGNO (def);
|
|
|
|
if (bitmap_bit_p (live, dregno))
|
|
{
|
|
/* If we have seen this regno, then it has already been
|
|
processed correctly with the per insn increment. If we
|
|
have not seen it we need to add the length from here to
|
|
the end of the block to the live length. */
|
|
if (bitmap_bit_p (local_processed, dregno))
|
|
{
|
|
if (!(DF_REF_FLAGS (def) & (DF_REF_PARTIAL | DF_REF_CONDITIONAL)))
|
|
bitmap_clear_bit (local_live, dregno);
|
|
}
|
|
else
|
|
{
|
|
bitmap_set_bit (local_processed, dregno);
|
|
REG_LIVE_LENGTH (dregno) += luid;
|
|
}
|
|
}
|
|
else if ((!(DF_REF_FLAGS (def) & DF_REF_MW_HARDREG))
|
|
&& (!bitmap_bit_p (artificial_uses, dregno)))
|
|
{
|
|
REG_LIVE_LENGTH (dregno)++;
|
|
}
|
|
|
|
if (dregno >= FIRST_PSEUDO_REGISTER)
|
|
{
|
|
REG_FREQ (dregno) += REG_FREQ_FROM_BB (bb);
|
|
if (REG_BASIC_BLOCK (dregno) == REG_BLOCK_UNKNOWN)
|
|
REG_BASIC_BLOCK (dregno) = bb->index;
|
|
else if (REG_BASIC_BLOCK (dregno) != bb->index)
|
|
REG_BASIC_BLOCK (dregno) = REG_BLOCK_GLOBAL;
|
|
}
|
|
|
|
if (!(DF_REF_FLAGS (def) & (DF_REF_MUST_CLOBBER + DF_REF_MAY_CLOBBER)))
|
|
bitmap_set_bit (do_not_gen, dregno);
|
|
|
|
/* Kill this register if it is not a subreg store or conditional store. */
|
|
if (!(DF_REF_FLAGS (def) & (DF_REF_PARTIAL | DF_REF_CONDITIONAL)))
|
|
bitmap_clear_bit (live, dregno);
|
|
}
|
|
}
|
|
|
|
for (use_rec = DF_INSN_UID_USES (uid); *use_rec; use_rec++)
|
|
{
|
|
df_ref use = *use_rec;
|
|
unsigned int uregno = DF_REF_REGNO (use);
|
|
|
|
if (uregno >= FIRST_PSEUDO_REGISTER)
|
|
{
|
|
REG_FREQ (uregno) += REG_FREQ_FROM_BB (bb);
|
|
if (REG_BASIC_BLOCK (uregno) == REG_BLOCK_UNKNOWN)
|
|
REG_BASIC_BLOCK (uregno) = bb->index;
|
|
else if (REG_BASIC_BLOCK (uregno) != bb->index)
|
|
REG_BASIC_BLOCK (uregno) = REG_BLOCK_GLOBAL;
|
|
}
|
|
|
|
if (!bitmap_bit_p (live, uregno))
|
|
{
|
|
/* This register is now live. */
|
|
bitmap_set_bit (live, uregno);
|
|
|
|
/* If we have seen this regno, then it has already been
|
|
processed correctly with the per insn increment. If
|
|
we have not seen it we set the bit so that begins to
|
|
get processed locally. Note that we don't even get
|
|
here if the variable was live at the end of the block
|
|
since just a ref inside the block does not effect the
|
|
calculations. */
|
|
REG_LIVE_LENGTH (uregno) ++;
|
|
bitmap_set_bit (local_live, uregno);
|
|
bitmap_set_bit (local_processed, uregno);
|
|
}
|
|
}
|
|
}
|
|
|
|
/* Add the length of the block to all of the registers that were not
|
|
referenced, but still live in this block. */
|
|
bitmap_and_compl_into (live, local_processed);
|
|
EXECUTE_IF_SET_IN_BITMAP (live, 0, regno, bi)
|
|
REG_LIVE_LENGTH (regno) += luid;
|
|
|
|
bitmap_clear (local_processed);
|
|
bitmap_clear (local_live);
|
|
}
|
|
|
|
|
|
/* Compute register info: lifetime, bb, and number of defs and uses. */
|
|
void
|
|
regstat_compute_ri (void)
|
|
{
|
|
basic_block bb;
|
|
bitmap live = BITMAP_ALLOC (&df_bitmap_obstack);
|
|
bitmap do_not_gen = BITMAP_ALLOC (&df_bitmap_obstack);
|
|
bitmap artificial_uses = BITMAP_ALLOC (&df_bitmap_obstack);
|
|
bitmap local_live = BITMAP_ALLOC (&df_bitmap_obstack);
|
|
bitmap local_processed = BITMAP_ALLOC (&df_bitmap_obstack);
|
|
unsigned int regno;
|
|
bitmap_iterator bi;
|
|
|
|
/* Initialize everything. */
|
|
|
|
gcc_assert (!reg_info_p);
|
|
|
|
timevar_push (TV_REG_STATS);
|
|
setjmp_crosses = BITMAP_ALLOC (&df_bitmap_obstack);
|
|
max_regno = max_reg_num ();
|
|
reg_info_p_size = max_regno;
|
|
reg_info_p = XCNEWVEC (struct reg_info_t, max_regno);
|
|
|
|
FOR_EACH_BB (bb)
|
|
{
|
|
regstat_bb_compute_ri (bb->index, live, do_not_gen, artificial_uses,
|
|
local_live, local_processed);
|
|
}
|
|
|
|
BITMAP_FREE (live);
|
|
BITMAP_FREE (do_not_gen);
|
|
BITMAP_FREE (artificial_uses);
|
|
|
|
/* See the setjmp comment in regstat_ri_bb_compute. */
|
|
EXECUTE_IF_SET_IN_BITMAP (setjmp_crosses, FIRST_PSEUDO_REGISTER, regno, bi)
|
|
{
|
|
REG_BASIC_BLOCK (regno) = REG_BLOCK_UNKNOWN;
|
|
REG_LIVE_LENGTH (regno) = -1;
|
|
}
|
|
|
|
BITMAP_FREE (local_live);
|
|
BITMAP_FREE (local_processed);
|
|
timevar_pop (TV_REG_STATS);
|
|
}
|
|
|
|
|
|
/* Free all storage associated with the problem. */
|
|
|
|
void
|
|
regstat_free_ri (void)
|
|
{
|
|
gcc_assert (reg_info_p);
|
|
reg_info_p_size = 0;
|
|
free (reg_info_p);
|
|
reg_info_p = NULL;
|
|
|
|
BITMAP_FREE (setjmp_crosses);
|
|
}
|
|
|
|
|
|
/* Return a bitmap containing the set of registers that cross a setjmp.
|
|
The client should not change or delete this bitmap. */
|
|
|
|
bitmap
|
|
regstat_get_setjmp_crosses (void)
|
|
{
|
|
return setjmp_crosses;
|
|
}
|
|
|
|
/*----------------------------------------------------------------------------
|
|
Process REG_N_CALLS_CROSSED.
|
|
|
|
This is used by sched_deps. A good implementation of sched-deps
|
|
would really process the blocks directly rather than going through
|
|
lists of insns. If it did this, it could use the exact regs that
|
|
cross an individual call rather than using this info that merges
|
|
the info for all calls.
|
|
|
|
----------------------------------------------------------------------------*/
|
|
|
|
|
|
|
|
/* Compute calls crossed for BB. Live is a scratch bitvector. */
|
|
|
|
static void
|
|
regstat_bb_compute_calls_crossed (unsigned int bb_index, bitmap live)
|
|
{
|
|
basic_block bb = BASIC_BLOCK (bb_index);
|
|
rtx insn;
|
|
df_ref *def_rec;
|
|
df_ref *use_rec;
|
|
|
|
bitmap_copy (live, df_get_live_out (bb));
|
|
|
|
/* Process the artificial defs and uses at the bottom of the block
|
|
to begin processing. */
|
|
for (def_rec = df_get_artificial_defs (bb_index); *def_rec; def_rec++)
|
|
{
|
|
df_ref def = *def_rec;
|
|
if ((DF_REF_FLAGS (def) & DF_REF_AT_TOP) == 0)
|
|
bitmap_clear_bit (live, DF_REF_REGNO (def));
|
|
}
|
|
|
|
for (use_rec = df_get_artificial_uses (bb_index); *use_rec; use_rec++)
|
|
{
|
|
df_ref use = *use_rec;
|
|
if ((DF_REF_FLAGS (use) & DF_REF_AT_TOP) == 0)
|
|
bitmap_set_bit (live, DF_REF_REGNO (use));
|
|
}
|
|
|
|
FOR_BB_INSNS_REVERSE (bb, insn)
|
|
{
|
|
unsigned int uid = INSN_UID (insn);
|
|
unsigned int regno;
|
|
|
|
if (!INSN_P (insn))
|
|
continue;
|
|
|
|
/* Process the defs. */
|
|
if (CALL_P (insn))
|
|
{
|
|
bitmap_iterator bi;
|
|
EXECUTE_IF_SET_IN_BITMAP (live, 0, regno, bi)
|
|
{
|
|
REG_N_CALLS_CROSSED (regno)++;
|
|
REG_FREQ_CALLS_CROSSED (regno) += REG_FREQ_FROM_BB (bb);
|
|
}
|
|
}
|
|
|
|
/* All of the defs except the return value are some sort of
|
|
clobber. This code is for the return. */
|
|
for (def_rec = DF_INSN_UID_DEFS (uid); *def_rec; def_rec++)
|
|
{
|
|
df_ref def = *def_rec;
|
|
if ((!CALL_P (insn))
|
|
|| (!(DF_REF_FLAGS (def) & (DF_REF_MUST_CLOBBER | DF_REF_MAY_CLOBBER))))
|
|
{
|
|
/* Kill this register if it is not a subreg store or conditional store. */
|
|
if (!(DF_REF_FLAGS (def) & (DF_REF_PARTIAL | DF_REF_CONDITIONAL)))
|
|
bitmap_clear_bit (live, DF_REF_REGNO (def));
|
|
}
|
|
}
|
|
|
|
for (use_rec = DF_INSN_UID_USES (uid); *use_rec; use_rec++)
|
|
{
|
|
df_ref use = *use_rec;
|
|
bitmap_set_bit (live, DF_REF_REGNO (use));
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
/* Compute register info: lifetime, bb, and number of defs and uses. */
|
|
void
|
|
regstat_compute_calls_crossed (void)
|
|
{
|
|
basic_block bb;
|
|
bitmap live = BITMAP_ALLOC (&df_bitmap_obstack);
|
|
|
|
/* Initialize everything. */
|
|
gcc_assert (!reg_info_p);
|
|
|
|
timevar_push (TV_REG_STATS);
|
|
max_regno = max_reg_num ();
|
|
reg_info_p_size = max_regno;
|
|
reg_info_p = XCNEWVEC (struct reg_info_t, max_regno);
|
|
|
|
FOR_EACH_BB (bb)
|
|
{
|
|
regstat_bb_compute_calls_crossed (bb->index, live);
|
|
}
|
|
|
|
BITMAP_FREE (live);
|
|
timevar_pop (TV_REG_STATS);
|
|
}
|
|
|
|
|
|
/* Free all storage associated with the problem. */
|
|
|
|
void
|
|
regstat_free_calls_crossed (void)
|
|
{
|
|
gcc_assert (reg_info_p);
|
|
reg_info_p_size = 0;
|
|
free (reg_info_p);
|
|
reg_info_p = NULL;
|
|
}
|
|
|