diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-02-24 11:38:39 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-02-24 11:38:39 +0000 |
| commit | e9d79eef3ca6f45d535cff1b6579e4d33182eb56 (patch) | |
| tree | a43602944daa36b090466acb8069831474b9ee29 | |
| parent | 7dd5914023b6a64362a22c9a9b47e05ff71e26f0 (diff) | |
| download | gcc-e9d79eef3ca6f45d535cff1b6579e4d33182eb56.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@184549 138bc75d-0d04-0410-961f-82ee72b054a4
| -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 06139aea18b..eadd6d4844e 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 bd10cbc0d86..6e58d8bbd51 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 fb2c005e8b7..08f908f6a6c 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. */ |