diff options
| author | Richard Guenther <rguenther@suse.de> | 2012-02-24 11:38:39 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2012-02-24 11:38:39 +0000 |
| commit | 6ae4eccdca78d0a584dcabbd84f6876c8b871e37 (patch) | |
| tree | a43602944daa36b090466acb8069831474b9ee29 /gcc | |
| parent | bf948210a7cc658d936ecc4e9e9a5c206336217c (diff) | |
| download | gcc-6ae4eccdca78d0a584dcabbd84f6876c8b871e37.zip gcc-6ae4eccdca78d0a584dcabbd84f6876c8b871e37.tar.gz gcc-6ae4eccdca78d0a584dcabbd84f6876c8b871e37.tar.bz2 | |
re PR tree-optimization/52361 (gcc.dg/pr48141.c times out with checking enabled)
2012-02-24 Richard Guenther <rguenther@suse.de>
PR middle-end/52361
* passes.c (execute_function_todo): When verifying SSA form
verify gimple form first.
* tree-ssa.c (verify_ssa): Do not verify gimple form here.
From-SVN: r184549
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/passes.c | 9 | ||||
| -rw-r--r-- | gcc/tree-ssa.c | 2 |
3 files changed, 13 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 06139ae..eadd6d4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,12 @@ 2012-02-24 Richard Guenther <rguenther@suse.de> + PR middle-end/52361 + * passes.c (execute_function_todo): When verifying SSA form + verify gimple form first. + * tree-ssa.c (verify_ssa): Do not verify gimple form here. + +2012-02-24 Richard Guenther <rguenther@suse.de> + PR middle-end/52355 * fold-const.c (fold_addr_of_array_ref_difference): New function. (fold_binary_loc): Use it to extend the existing &a[i] - &a[j] diff --git a/gcc/passes.c b/gcc/passes.c index bd10cbc..6e58d8b 100644 --- a/gcc/passes.c +++ b/gcc/passes.c @@ -1724,11 +1724,14 @@ execute_function_todo (void *data) #if defined ENABLE_CHECKING if (flags & TODO_verify_ssa || (current_loops && loops_state_satisfies_p (LOOP_CLOSED_SSA))) - verify_ssa (true); + { + verify_gimple_in_cfg (cfun); + verify_ssa (true); + } + else if (flags & TODO_verify_stmts) + verify_gimple_in_cfg (cfun); if (flags & TODO_verify_flow) verify_flow_info (); - if (flags & TODO_verify_stmts) - verify_gimple_in_cfg (cfun); if (current_loops && loops_state_satisfies_p (LOOP_CLOSED_SSA)) verify_loop_closed_ssa (false); if (flags & TODO_verify_rtl_sharing) diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index fb2c005..08f908f 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -925,8 +925,6 @@ verify_ssa (bool check_modified_stmt) gcc_assert (!need_ssa_update_p (cfun)); - verify_gimple_in_cfg (cfun); - timevar_push (TV_TREE_SSA_VERIFY); /* Keep track of SSA names present in the IL. */ |