mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-21 15:40:55 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR tree-optimization/26209 (Specific code causes g++ 4.1.0 dominance ICE when compiled with -O3)

Browse Source 
PR tree-optimization/26209
	* tree-ssa-loop.c (pass_scev_cprop): Add TODO_cleanup_cfg.
	* tree-cfgcleanup.c (cleanup_control_flow): Remove dead
	eh edges.
	* tree-cfg.c (replace_uses_by): Do not alter cfg.

From-SVN: r110999
This commit is contained in:
Zdenek Dvorak 2006-02-14 23:55:22 +00:00
parent 0499513f3b
commit 43ec2467a8
4 changed files with 22 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
gcc/ChangeLog
View File

@ -1,3 +1,11 @@
2006-02-14 Zdenek Dvorak <dvorakz@suse.cz>
PR tree-optimization/26209
* tree-ssa-loop.c (pass_scev_cprop): Add TODO_cleanup_cfg.
* tree-cfgcleanup.c (cleanup_control_flow): Remove dead
eh edges.
* tree-cfg.c (replace_uses_by): Do not alter cfg.
2006-02-14 Roger Sayle <roger@eyesopen.com>
PR middle-end/23670
@ -8,7 +16,7 @@
2006-02-14 Roger Sayle <roger@eyesopen.com>
* dojump.c (do_compare_rtx_and_jump): Also handle multi-word GTU
* dojump.c (do_compare_rtx_and_jump): Also handle multi-word GTU
and GEU.
2006-02-14 Adam Nemet <anemet@caviumnetworks.com>

5
gcc/tree-cfg.c
View File

@ -1347,10 +1347,7 @@ replace_uses_by (tree name, tree val)
if (TREE_CODE (rhs) == ADDR_EXPR)
recompute_tree_invariant_for_addr_expr (rhs);
/* If the statement could throw and now cannot, we need to prune cfg. */
if (maybe_clean_or_replace_eh_stmt (stmt, stmt))
tree_purge_dead_eh_edges (bb_for_stmt (stmt));
maybe_clean_or_replace_eh_stmt (stmt, stmt);
mark_new_vars_to_rename (stmt);
}

15
gcc/tree-cfgcleanup.c
View File

@ -158,19 +158,24 @@ cleanup_control_flow (void)
{
bsi = bsi_last (bb);
/* If the last statement of the block could throw and now cannot,
we need to prune cfg. */
tree_purge_dead_eh_edges (bb);
if (bsi_end_p (bsi))
continue;
stmt = bsi_stmt (bsi);
if (TREE_CODE (stmt) == COND_EXPR
|| TREE_CODE (stmt) == SWITCH_EXPR)
retval |= cleanup_control_expr_graph (bb, bsi);
/* If we had a computed goto which has a compile-time determinable
destination, then we can eliminate the goto. */
if (TREE_CODE (stmt) == GOTO_EXPR
&& TREE_CODE (GOTO_DESTINATION (stmt)) == ADDR_EXPR
&& TREE_CODE (TREE_OPERAND (GOTO_DESTINATION (stmt), 0)) == LABEL_DECL)
else if (TREE_CODE (stmt) == GOTO_EXPR
&& TREE_CODE (GOTO_DESTINATION (stmt)) == ADDR_EXPR
&& (TREE_CODE (TREE_OPERAND (GOTO_DESTINATION (stmt), 0))
== LABEL_DECL))
{
edge e;
tree label;
@ -214,7 +219,7 @@ cleanup_control_flow (void)
/* Check for indirect calls that have been turned into
noreturn calls. */
if (noreturn_call_p (stmt) && remove_fallthru_edge (bb->succs))
else if (noreturn_call_p (stmt) && remove_fallthru_edge (bb->succs))
{
free_dominance_info (CDI_DOMINATORS);
retval = true;

3
gcc/tree-ssa-loop.c
View File

@ -302,7 +302,8 @@ struct tree_opt_pass pass_scev_cprop =
0, /* properties_provided */
0, /* properties_destroyed */
0, /* todo_flags_start */
TODO_dump_func | TODO_update_ssa_only_virtuals,
TODO_dump_func | TODO_cleanup_cfg
| TODO_update_ssa_only_virtuals,
/* todo_flags_finish */
0 /* letter */
};