diff options
author | Jan Hubicka <jh@suse.cz> | 2002-02-28 10:11:01 +0000 |
---|---|---|
committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2002-02-28 10:11:01 +0000 |
commit | 38c1593d577d667bd1bcb486c0a6b34c218ebb46 (patch) | |
tree | 8d5067250a1945f16e7442da0ebfa33bcd46322d /gcc/flow.c | |
parent | bde131d34d70387ac376419405e9b5c8a788984c (diff) | |
download | gcc-38c1593d577d667bd1bcb486c0a6b34c218ebb46.zip gcc-38c1593d577d667bd1bcb486c0a6b34c218ebb46.tar.gz gcc-38c1593d577d667bd1bcb486c0a6b34c218ebb46.tar.bz2 |
basic-block.h (BB_REACHABLE): Renumber.
* basic-block.h (BB_REACHABLE): Renumber.
(BB_DIRTY, BB_NEW): New flags.
(clear_bb_flags): Declare.
(update_life_info_in_dirty_blocks): Declare.
* cfg.c (clear_bb_flags): New function.
* cfgrtl.c (create_basic_block_structure): Set flags to BB_NEW.
* emit-rtl.c (add_insn_after, add_insn_before, remove_insn,
reorder_insns, emit_insn_after): Mark block as dirty.
* flow.c (update_life_info): Fix clearing of PROP_LOG_LINKS.
(update_life_info_in_dirty_blocks): New function.
* recog.c (apply_change_group): Dirtify block.
* cse.c (cse_insn): Reorder emitting of jump insn to keep
cfg consistent.
* gcse.c (delete_null_pointer_checks): Likewise.
* toplev.c (dump_file_index): Move cse2 after bp,
add DFI_null
(dump_file_info): Similary.
(rest_of_compilation): Avoid most of CFG rebuilds;
do first if converision after null pointer checks, do cse2
after branch prediction; avoid full liveness rebuild after
initializing subregs.
* invoke.texi (-d options): Document -du, renumber.
* cfgcleanup.c (bb_flags): Remove BB_UPDATE_LIFE.
(notice_new_block): Do not set BB_UPDATE_LIFE.
(try_forward_edges, merge_blocks_move_predecessor_nojumps,
merge_blocks_move_successor_nojumps, merge_blocks,
try_crossjump_to_edge): Likewise.
(try_optimize_cfg): Likewise; use update_life_info_in_dirty_blocks.
* cfgrtl.c (merge_blocks_nomove): Copy b's flags to a.
* ifcvt.c (SET_UPDATE_LIFE, UPDATE_LIFE): Kill.
(merge_of_block): Do not use life_data_ok.
(find_if_case_1): Do not use SET_UPDATE_LIFE.
(if_convert): Use BB_DIRTY mechanizm to update life.
* lcm.c (optimize_mode_switching): Update
update_life_info_in_dirty_blocks
From-SVN: r50127
Diffstat (limited to 'gcc/flow.c')
-rw-r--r-- | gcc/flow.c | 33 |
1 files changed, 29 insertions, 4 deletions
@@ -645,10 +645,6 @@ update_life_info (blocks, extent, prop_flags) && (extent == UPDATE_LIFE_LOCAL || blocks)) abort (); - /* Clear log links in case we are asked to (re)compute them. */ - if (prop_flags & PROP_LOG_LINKS) - clear_log_links (blocks); - /* For a global update, we go through the relaxation process again. */ if (extent != UPDATE_LIFE_LOCAL) { @@ -685,6 +681,10 @@ update_life_info (blocks, extent, prop_flags) count_or_remove_death_notes (blocks, 1); } + /* Clear log links in case we are asked to (re)compute them. */ + if (prop_flags & PROP_LOG_LINKS) + clear_log_links (blocks); + if (blocks) { EXECUTE_IF_SET_IN_SBITMAP (blocks, 0, i, @@ -746,6 +746,31 @@ update_life_info (blocks, extent, prop_flags) ? TV_LIFE_UPDATE : TV_LIFE); } +/* Update life information in all blocks where BB_DIRTY is set. */ + +void +update_life_info_in_dirty_blocks (extent, prop_flags) + enum update_life_extent extent; + int prop_flags; +{ + sbitmap update_life_blocks = sbitmap_alloc (n_basic_blocks); + int block_num; + int n = 0; + + sbitmap_zero (update_life_blocks); + for (block_num = 0; block_num < n_basic_blocks; block_num++) + if (BASIC_BLOCK (block_num)->flags & BB_DIRTY) + { + SET_BIT (update_life_blocks, block_num); + n++; + } + + if (n) + update_life_info (update_life_blocks, extent, prop_flags); + + sbitmap_free (update_life_blocks); +} + /* Free the variables allocated by find_basic_blocks. KEEP_HEAD_END_P is non-zero if basic_block_info is not to be freed. */ |