summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvries <vries@138bc75d-0d04-0410-961f-82ee72b054a4>2014-01-10 10:37:22 +0000
committervries <vries@138bc75d-0d04-0410-961f-82ee72b054a4>2014-01-10 10:37:22 +0000
commitc8942648fc621a55d57b3baf8dfcbbfaecb2368e (patch)
treee0ef8155a40104f43aa600a1a5f37be4ff9f2b1e
parent10a8f02fba207588fe837d5ead071c8e62049a73 (diff)
downloadgcc-c8942648fc621a55d57b3baf8dfcbbfaecb2368e.tar.gz
Note that pass_pre destroys PROP_no_crit_edges
2014-01-09 Tom de Vries <tom@codesourcery.com> * tree-ssa-pre.c (pass_data_pre): Add comment about PROP_no_crit_edges in properties_required. Add PROP_no_crit_edges to properties_destroyed. * tree-ssa-sink.c (pass_data_sink_code): Remove PROP_no_crit_edges from properties_required. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206517 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r--gcc/tree-ssa-pre.c4
-rw-r--r--gcc/tree-ssa-sink.c4
2 files changed, 6 insertions, 2 deletions
diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c
index 2de5db56839..1e55356556f 100644
--- a/gcc/tree-ssa-pre.c
+++ b/gcc/tree-ssa-pre.c
@@ -4798,9 +4798,11 @@ const pass_data pass_data_pre =
true, /* has_gate */
true, /* has_execute */
TV_TREE_PRE, /* tv_id */
+ /* PROP_no_crit_edges is ensured by placing pass_split_crit_edges before
+ pass_pre. */
( PROP_no_crit_edges | PROP_cfg | PROP_ssa ), /* properties_required */
0, /* properties_provided */
- 0, /* properties_destroyed */
+ PROP_no_crit_edges, /* properties_destroyed */
TODO_rebuild_alias, /* todo_flags_start */
TODO_verify_ssa, /* todo_flags_finish */
};
diff --git a/gcc/tree-ssa-sink.c b/gcc/tree-ssa-sink.c
index a72a9e8c8f3..6d02975c4dd 100644
--- a/gcc/tree-ssa-sink.c
+++ b/gcc/tree-ssa-sink.c
@@ -604,7 +604,9 @@ const pass_data pass_data_sink_code =
true, /* has_gate */
true, /* has_execute */
TV_TREE_SINK, /* tv_id */
- ( PROP_no_crit_edges | PROP_cfg | PROP_ssa ), /* properties_required */
+ /* PROP_no_crit_edges is ensured by running split_critical_edges in
+ execute_sink_code. */
+ ( PROP_cfg | PROP_ssa ), /* properties_required */
0, /* properties_provided */
0, /* properties_destroyed */
0, /* todo_flags_start */