diff options
| author | Richard Biener <rguenther@suse.de> | 2014-05-05 17:40:08 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2014-05-05 17:40:08 +0000 |
| commit | 0db7457704f3c609c2c01c8f0f4ee3fecac29a74 (patch) | |
| tree | f5336b551a8596d716b2c10be41f5d0e19e7940f /gcc | |
| parent | 7d7e4e41740cfc814b87914b6e56c48110539a58 (diff) | |
| download | gcc-0db7457704f3c609c2c01c8f0f4ee3fecac29a74.zip gcc-0db7457704f3c609c2c01c8f0f4ee3fecac29a74.tar.gz gcc-0db7457704f3c609c2c01c8f0f4ee3fecac29a74.tar.bz2 | |
passes.c (execute_function_todo): Don't reset TODO_verify_ssa from last_verified if update_ssa ran.
2014-05-05 Richard Biener <rguenther@suse.de>
* passes.c (execute_function_todo): Don't reset TODO_verify_ssa
from last_verified if update_ssa ran. Move TODO_verify_rtl_sharing
under the TODO_verify_il umbrella.
From-SVN: r210073
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/passes.c | 5 |
2 files changed, 8 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 87d7141..6794c08 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2014-05-05 Richard Biener <rguenther@suse.de> + * passes.c (execute_function_todo): Don't reset TODO_verify_ssa + from last_verified if update_ssa ran. Move TODO_verify_rtl_sharing + under the TODO_verify_il umbrella. + +2014-05-05 Richard Biener <rguenther@suse.de> + * passes.c (execute_function_todo): Move TODO_verify_flow under the TODO_verify_ul umbrella. diff --git a/gcc/passes.c b/gcc/passes.c index 30c849f..2b3a63c 100644 --- a/gcc/passes.c +++ b/gcc/passes.c @@ -1743,7 +1743,6 @@ execute_function_todo (function *fn, void *data) { unsigned update_flags = flags & TODO_update_ssa_any; update_ssa (update_flags); - cfun->last_verified &= ~TODO_verify_ssa; } if (flag_tree_pta && (flags & TODO_rebuild_alias)) @@ -1791,9 +1790,9 @@ execute_function_todo (function *fn, void *data) if (current_loops && loops_state_satisfies_p (LOOP_CLOSED_SSA)) verify_loop_closed_ssa (false); + if (cfun->curr_properties & PROP_rtl) + verify_rtl_sharing (); } - if (flags & TODO_verify_rtl_sharing) - verify_rtl_sharing (); /* Make sure verifiers don't change dominator state. */ gcc_assert (dom_info_state (fn, CDI_DOMINATORS) == pre_verify_state); |