passes.c (init_optimization_passes): Strip now incorrect comment.

2009-05-11  Richard Guenther  <rguenther@suse.de>

	* passes.c (init_optimization_passes): Strip now incorrect comment.
	(execute_function_todo): Do not set PROP_alias.
	* tree-pass.h (PROP_alias): Remove.
	* tree-ssa-structalias.c (pass_build_alias): Do not provide PROP_alias.
	* tree-if-conv.c (pass_if_conversion): Do not require PROP_alias.
	* tree-nrv.c (pass_return_slot): Likewise.
	* tree-object-size.c (pass_object_sizes): Likewise.
	* tree-ssa-dom.c (pass_dominator): Likewise.
	(pass_phi_only_cprop): Likewise.
	* tree-ssa-dse.c (pass_dse): Likewise.
	* tree-ssa-phiopt.c (pass_phiopt): Likewise.
	(pass_cselim): Likewise.
	* tree-ssa-pre.c (pass_pre): Likewise.
	(pass_fre): Likewise.
	* tree-ssa-reassoc.c (pass_reassoc): Likewise.
	* tree-ssa-sink.c (pass_sink_code): Likewise.
	* tree-stdarg.c (pass_stdarg): Likewise.
	* tree-tailcall.c (pass_tail_calls): Likewise.
	* tree-vrp.c (pass_vrp): Likewise.

From-SVN: r147371

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e1c13f5884bd67cecdbb78c901e85ce8bbfa55f6..71052b18ca94b7b71c6a8cf3371b3a8e0d1295ca 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,25 @@
+2009-05-11  Richard Guenther  <rguenther@suse.de>
+
+       * passes.c (init_optimization_passes): Strip now incorrect comment.
+       (execute_function_todo): Do not set PROP_alias.
+       * tree-pass.h (PROP_alias): Remove.
+       * tree-ssa-structalias.c (pass_build_alias): Do not provide PROP_alias.
+       * tree-if-conv.c (pass_if_conversion): Do not require PROP_alias.
+       * tree-nrv.c (pass_return_slot): Likewise.
+       * tree-object-size.c (pass_object_sizes): Likewise.
+       * tree-ssa-dom.c (pass_dominator): Likewise.
+       (pass_phi_only_cprop): Likewise.
+       * tree-ssa-dse.c (pass_dse): Likewise.
+       * tree-ssa-phiopt.c (pass_phiopt): Likewise.
+       (pass_cselim): Likewise.
+       * tree-ssa-pre.c (pass_pre): Likewise.
+       (pass_fre): Likewise.
+       * tree-ssa-reassoc.c (pass_reassoc): Likewise.
+       * tree-ssa-sink.c (pass_sink_code): Likewise.
+       * tree-stdarg.c (pass_stdarg): Likewise.
+       * tree-tailcall.c (pass_tail_calls): Likewise.
+       * tree-vrp.c (pass_vrp): Likewise.
+
 2009-05-10  Ian Lance Taylor  <iant@google.com>
 
        * basic-block.h (enum profile_status): Break out of struct

diff --git a/gcc/passes.c b/gcc/passes.c
index 7a39ac70bc18417c2c36c488a2fb8fdb8f8cfa8f..b66ed1d340bcf5cc3d76e426c52ef21ab017a7aa 100644 (file)
--- a/gcc/passes.c
+++ b/gcc/passes.c
@@ -595,13 +595,6 @@ init_optimization_passes (void)
       NEXT_PASS (pass_complete_unrolli);
       NEXT_PASS (pass_ccp);
       NEXT_PASS (pass_forwprop);
-      /* Ideally the function call conditional
-        dead code elimination phase can be delayed
-        till later where potentially more opportunities
-        can be found.  Due to lack of good ways to
-        update VDEFs associated with the shrink-wrapped
-        calls, it is better to do the transformation
-        here where memory SSA is not built yet.  */
       NEXT_PASS (pass_call_cdce);
       /* pass_build_alias is a dummy pass that ensures that we
         execute TODO_rebuild_alias at this point.  Re-building
@@ -956,7 +949,6 @@ execute_function_todo (void *data)
       if (!(flags & TODO_update_address_taken))
        execute_update_addresses_taken (true);
       compute_may_aliases ();
-      cfun->curr_properties |= PROP_alias;
     }
   
   if (flags & TODO_remove_unused_locals)

diff --git a/gcc/tree-if-conv.c b/gcc/tree-if-conv.c
index 70c6149a494da143b7fe50c30b3e570a8621dbd5..c1b05328fa61e33840469248a4c99827025a5eec 100644 (file)
--- a/gcc/tree-if-conv.c
+++ b/gcc/tree-if-conv.c
@@ -1163,7 +1163,7 @@ struct gimple_opt_pass pass_if_conversion =
   NULL,                                        /* next */
   0,                                   /* static_pass_number */
   TV_NONE,                             /* tv_id */
-  PROP_cfg | PROP_ssa | PROP_alias,    /* properties_required */
+  PROP_cfg | PROP_ssa,                 /* properties_required */
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */

diff --git a/gcc/tree-nrv.c b/gcc/tree-nrv.c
index 07245cd6d7b71abe2c1e8c7b3f86bdb874fa9ee4..c1e9d605679483cb39397c76a388332f59705eb0 100644 (file)
--- a/gcc/tree-nrv.c
+++ b/gcc/tree-nrv.c
@@ -360,7 +360,7 @@ struct gimple_opt_pass pass_return_slot =
   NULL,                                        /* next */
   0,                                   /* static_pass_number */
   TV_NONE,                             /* tv_id */
-  PROP_ssa | PROP_alias,               /* properties_required */
+  PROP_ssa,                            /* properties_required */
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */

diff --git a/gcc/tree-object-size.c b/gcc/tree-object-size.c
index d99bc23857653428844c3e3cb0b42c0968fb435f..18e62e860fdc164b566ead8d4c91bd103bbce6b2 100644 (file)
--- a/gcc/tree-object-size.c
+++ b/gcc/tree-object-size.c
@@ -1113,7 +1113,7 @@ struct gimple_opt_pass pass_object_sizes =
   NULL,                                        /* next */
   0,                                   /* static_pass_number */
   TV_NONE,                             /* tv_id */
-  PROP_cfg | PROP_ssa | PROP_alias,    /* properties_required */
+  PROP_cfg | PROP_ssa,                 /* properties_required */
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */

diff --git a/gcc/tree-pass.h b/gcc/tree-pass.h
index 464de5e0cdb0cc00012c0f6fc898d2f30b110939..0237bcef188e6d1aa0da561554951e28f3cfb790 100644 (file)
--- a/gcc/tree-pass.h
+++ b/gcc/tree-pass.h
@@ -215,9 +215,8 @@ struct dump_file_info
 #define PROP_ssa               (1 << 5)
 #define PROP_no_crit_edges      (1 << 6)
 #define PROP_rtl               (1 << 7)
-#define PROP_alias             (1 << 8)
-#define PROP_gimple_lomp       (1 << 9)        /* lowered OpenMP directives */
-#define PROP_cfglayout         (1 << 10)       /* cfglayout mode on RTL */
+#define PROP_gimple_lomp       (1 << 8)        /* lowered OpenMP directives */
+#define PROP_cfglayout         (1 << 9)        /* cfglayout mode on RTL */
 
 #define PROP_trees \
   (PROP_gimple_any | PROP_gimple_lcf | PROP_gimple_leh | PROP_gimple_lomp)

diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c
index a134244bd9fa70efce5de144ecc9df5f6d1ee9a7..a041f0e2e27864b5186bf456160c3c8de823a1f2 100644 (file)
--- a/gcc/tree-ssa-dom.c
+++ b/gcc/tree-ssa-dom.c
@@ -768,7 +768,7 @@ struct gimple_opt_pass pass_dominator =
   NULL,                                        /* next */
   0,                                   /* static_pass_number */
   TV_TREE_SSA_DOMINATOR_OPTS,          /* tv_id */
-  PROP_cfg | PROP_ssa | PROP_alias,    /* properties_required */
+  PROP_cfg | PROP_ssa,                 /* properties_required */
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
@@ -2923,7 +2923,7 @@ struct gimple_opt_pass pass_phi_only_cprop =
   NULL,                                 /* next */
   0,                                    /* static_pass_number */
   TV_TREE_PHI_CPROP,                    /* tv_id */
-  PROP_cfg | PROP_ssa | PROP_alias,     /* properties_required */
+  PROP_cfg | PROP_ssa,                 /* properties_required */
   0,                                    /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                    /* todo_flags_start */

diff --git a/gcc/tree-ssa-dse.c b/gcc/tree-ssa-dse.c
index 315b5507b711e9a18e58dd38b7aa23f14bcd9452..5df1aa16841705062d6b6f561af0f54671560bd8 100644 (file)
--- a/gcc/tree-ssa-dse.c
+++ b/gcc/tree-ssa-dse.c
@@ -460,9 +460,7 @@ struct gimple_opt_pass pass_dse =
   NULL,                                /* next */
   0,                           /* static_pass_number */
   TV_TREE_DSE,                 /* tv_id */
-  PROP_cfg
-    | PROP_ssa
-    | PROP_alias,              /* properties_required */
+  PROP_cfg | PROP_ssa,         /* properties_required */
   0,                           /* properties_provided */
   0,                           /* properties_destroyed */
   0,                           /* todo_flags_start */

diff --git a/gcc/tree-ssa-phiopt.c b/gcc/tree-ssa-phiopt.c
index 72ba04a09b87ce7350923fd8f9af3f2c075f6a10..3cdb9b353358ac72f14b9e46d1ca1938e9a7d4de 100644 (file)
--- a/gcc/tree-ssa-phiopt.c
+++ b/gcc/tree-ssa-phiopt.c
@@ -1276,7 +1276,7 @@ struct gimple_opt_pass pass_phiopt =
   NULL,                                        /* next */
   0,                                   /* static_pass_number */
   TV_TREE_PHIOPT,                      /* tv_id */
-  PROP_cfg | PROP_ssa | PROP_alias,    /* properties_required */
+  PROP_cfg | PROP_ssa,                 /* properties_required */
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
@@ -1305,7 +1305,7 @@ struct gimple_opt_pass pass_cselim =
   NULL,                                        /* next */
   0,                                   /* static_pass_number */
   TV_TREE_PHIOPT,                      /* tv_id */
-  PROP_cfg | PROP_ssa | PROP_alias,    /* properties_required */
+  PROP_cfg | PROP_ssa,                 /* properties_required */
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */

diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c
index 3273c194981110023951889426e2c085e478a016..592261420c150a974069a6c108caab6c94ffe0ec 100644 (file)
--- a/gcc/tree-ssa-pre.c
+++ b/gcc/tree-ssa-pre.c
@@ -4558,7 +4558,7 @@ struct gimple_opt_pass pass_pre =
   0,                                   /* static_pass_number */
   TV_TREE_PRE,                         /* tv_id */
   PROP_no_crit_edges | PROP_cfg
-    | PROP_ssa | PROP_alias,           /* properties_required */
+    | PROP_ssa,                                /* properties_required */
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   TODO_rebuild_alias,                  /* todo_flags_start */
@@ -4593,7 +4593,7 @@ struct gimple_opt_pass pass_fre =
   NULL,                                        /* next */
   0,                                   /* static_pass_number */
   TV_TREE_FRE,                         /* tv_id */
-  PROP_cfg | PROP_ssa | PROP_alias,    /* properties_required */
+  PROP_cfg | PROP_ssa,                 /* properties_required */
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */

diff --git a/gcc/tree-ssa-reassoc.c b/gcc/tree-ssa-reassoc.c
index a3e84680972ff26e621cdb4f98314b4cab413afd..416409f130568bc11e126d3436225edf1a494491 100644 (file)
--- a/gcc/tree-ssa-reassoc.c
+++ b/gcc/tree-ssa-reassoc.c
@@ -2070,7 +2070,7 @@ struct gimple_opt_pass pass_reassoc =
   NULL,                                        /* next */
   0,                                   /* static_pass_number */
   TV_TREE_REASSOC,                     /* tv_id */
-  PROP_cfg | PROP_ssa | PROP_alias,    /* properties_required */
+  PROP_cfg | PROP_ssa,                 /* properties_required */
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */

diff --git a/gcc/tree-ssa-sink.c b/gcc/tree-ssa-sink.c
index d0c550d8abb18442e56cdb6dcb11f3b3b166177b..227ad11253cc8fa9a8b179369840e482ce694872 100644 (file)
--- a/gcc/tree-ssa-sink.c
+++ b/gcc/tree-ssa-sink.c
@@ -570,7 +570,7 @@ struct gimple_opt_pass pass_sink_code =
   0,                                   /* static_pass_number */
   TV_TREE_SINK,                                /* tv_id */
   PROP_no_crit_edges | PROP_cfg
-    | PROP_ssa | PROP_alias,           /* properties_required */
+    | PROP_ssa,                                /* properties_required */
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */

diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c
index 3bcaeb1e011f708cf6effd08554faa980cd3270e..eda053f24302a60eaec774d6a421bae53f1aa832 100644 (file)
--- a/gcc/tree-ssa-structalias.c
+++ b/gcc/tree-ssa-structalias.c
@@ -5753,7 +5753,7 @@ struct gimple_opt_pass pass_build_alias =
   0,                        /* static_pass_number */
   TV_NONE,                  /* tv_id */
   PROP_cfg | PROP_ssa,      /* properties_required */
-  PROP_alias,               /* properties_provided */
+  0,                       /* properties_provided */
   0,                        /* properties_destroyed */
   0,                        /* todo_flags_start */
   TODO_rebuild_alias | TODO_dump_func  /* todo_flags_finish */

diff --git a/gcc/tree-stdarg.c b/gcc/tree-stdarg.c
index f9a2110095c84df80b3ab38340cde8c25171b21d..4e030b12fa9ca728c4f52eb0c3fa1d6be50223c1 100644 (file)
--- a/gcc/tree-stdarg.c
+++ b/gcc/tree-stdarg.c
@@ -906,7 +906,7 @@ struct gimple_opt_pass pass_stdarg =
   NULL,                                        /* next */
   0,                                   /* static_pass_number */
   TV_NONE,                             /* tv_id */
-  PROP_cfg | PROP_ssa | PROP_alias,    /* properties_required */
+  PROP_cfg | PROP_ssa,                 /* properties_required */
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */

diff --git a/gcc/tree-tailcall.c b/gcc/tree-tailcall.c
index 6b03eaaac89f2ee03496122c8f9f703b31869936..23d849f268ed1598e921b64850cefe4264744dde 100644 (file)
--- a/gcc/tree-tailcall.c
+++ b/gcc/tree-tailcall.c
@@ -1019,7 +1019,7 @@ struct gimple_opt_pass pass_tail_calls =
   NULL,                                        /* next */
   0,                                   /* static_pass_number */
   TV_NONE,                             /* tv_id */
-  PROP_cfg | PROP_ssa | PROP_alias,    /* properties_required */
+  PROP_cfg | PROP_ssa,                 /* properties_required */
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */

diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 09c634246ecf2c221fea545ef53773d8c8a13777..3a86b826e503b9b01526ff3df62a6680d3e7f919 100644 (file)
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -7347,7 +7347,7 @@ struct gimple_opt_pass pass_vrp =
   NULL,                                        /* next */
   0,                                   /* static_pass_number */
   TV_TREE_VRP,                         /* tv_id */
-  PROP_ssa | PROP_alias,               /* properties_required */
+  PROP_ssa,                            /* properties_required */
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */