re PR tree-optimization/46183 (ICE: in calc_dfs_tree, at dominance.c:396 with -O -fno-dse -fgcse -ftree-pre)

2010-11-04  Richard Guenther  <rguenther@suse.de>

	PR rtl-optimization/46183
	* gcse.c (execute_rtl_cprop): Cleanup the CFG if something changed.
	(execute_rtl_pre): Likewise.
	(execute_rtl_hoist): Likewise.

	* gcc.dg/torture/pr46183.c: New testcase.

From-SVN: r166316
This commit is contained in:
Richard Guenther 2010-11-04 15:19:19 +00:00 committed by Richard Biener
parent 9f2fbc9944
commit f2b01cfb6d
4 changed files with 47 additions and 3 deletions

View File

@ -1,3 +1,10 @@
2010-11-04 Richard Guenther <rguenther@suse.de>
PR rtl-optimization/46183
* gcse.c (execute_rtl_cprop): Cleanup the CFG if something changed.
(execute_rtl_pre): Likewise.
(execute_rtl_hoist): Likewise.
2010-11-04 Richard Guenther <rguenther@suse.de>
PR tree-optimization/46068

View File

@ -5246,10 +5246,14 @@ gate_rtl_cprop (void)
static unsigned int
execute_rtl_cprop (void)
{
int changed;
delete_unreachable_blocks ();
df_set_flags (DF_LR_RUN_DCE);
df_analyze ();
flag_rerun_cse_after_global_opts |= one_cprop_pass ();
changed = one_cprop_pass ();
flag_rerun_cse_after_global_opts |= changed;
if (changed)
cleanup_cfg (0);
return 0;
}
@ -5265,9 +5269,13 @@ gate_rtl_pre (void)
static unsigned int
execute_rtl_pre (void)
{
int changed;
delete_unreachable_blocks ();
df_analyze ();
flag_rerun_cse_after_global_opts |= one_pre_gcse_pass ();
changed = one_pre_gcse_pass ();
flag_rerun_cse_after_global_opts |= changed;
if (changed)
cleanup_cfg (0);
return 0;
}
@ -5286,9 +5294,13 @@ gate_rtl_hoist (void)
static unsigned int
execute_rtl_hoist (void)
{
int changed;
delete_unreachable_blocks ();
df_analyze ();
flag_rerun_cse_after_global_opts |= one_code_hoisting_pass ();
changed = one_code_hoisting_pass ();
flag_rerun_cse_after_global_opts |= changed;
if (changed)
cleanup_cfg (0);
return 0;
}

View File

@ -1,3 +1,8 @@
2010-11-04 Richard Guenther <rguenther@suse.de>
PR rtl-optimization/46183
* gcc.dg/torture/pr46183.c: New testcase.
2010-11-04 Richard Guenther <rguenther@suse.de>
PR tree-optimization/46068

View File

@ -0,0 +1,20 @@
/* { dg-do compile } */
/* { dg-options "-fno-dse" } */
void bar(void);
void foo (int i, ...)
{
__builtin_va_list ap;
__builtin_va_start (ap, i);
__builtin_va_arg (ap, int);
while (i) i++;
__builtin_va_arg (ap, int);
while (i) i++;
__builtin_va_arg (ap, int);
while (i) i++;
__builtin_va_arg (ap, int);
if (i)
bar ();
}