OSDN Git Service

* lto.c (materialize_cgraph): Revert my previous patch.
[pf3gnuchains/gcc-fork.git] / gcc / tree-ssa-loop.c
index 51fc07c..d1b1e8e 100644 (file)
@@ -1,18 +1,18 @@
 /* Loop optimizations over tree-ssa.
-   Copyright (C) 2003, 2005, 2006, 2007 Free Software Foundation, Inc.
-   
+   Copyright (C) 2003, 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
+
 This file is part of GCC.
-   
+
 GCC is free software; you can redistribute it and/or modify it
 under the terms of the GNU General Public License as published by the
 Free Software Foundation; either version 3, or (at your option) any
 later version.
-   
+
 GCC is distributed in the hope that it will be useful, but WITHOUT
 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 for more details.
-   
+
 You should have received a copy of the GNU General Public License
 along with GCC; see the file COPYING3.  If not see
 <http://www.gnu.org/licenses/>.  */
@@ -36,6 +36,8 @@ along with GCC; see the file COPYING3.  If not see
 #include "flags.h"
 #include "tree-inline.h"
 #include "tree-scalar-evolution.h"
+#include "toplev.h"
+#include "tree-vectorizer.h"
 
 /* The loop superpass.  */
 
@@ -45,7 +47,7 @@ gate_tree_loop (void)
   return flag_tree_loop_optimize != 0;
 }
 
-struct gimple_opt_pass pass_tree_loop = 
+struct gimple_opt_pass pass_tree_loop =
 {
  {
   GIMPLE_PASS,
@@ -79,8 +81,8 @@ tree_ssa_loop_init (void)
   scev_initialize ();
   return 0;
 }
-  
-struct gimple_opt_pass pass_tree_loop_init = 
+
+struct gimple_opt_pass pass_tree_loop_init =
 {
  {
   GIMPLE_PASS,
@@ -95,7 +97,7 @@ struct gimple_opt_pass pass_tree_loop_init =
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops   /* todo_flags_finish */
+  TODO_dump_func                       /* todo_flags_finish */
  }
 };
 
@@ -107,8 +109,7 @@ tree_ssa_loop_im (void)
   if (number_of_loops () <= 1)
     return 0;
 
-  tree_ssa_lim ();
-  return 0;
+  return tree_ssa_lim ();
 }
 
 static bool
@@ -117,7 +118,7 @@ gate_tree_ssa_loop_im (void)
   return flag_tree_loop_im != 0;
 }
 
-struct gimple_opt_pass pass_lim = 
+struct gimple_opt_pass pass_lim =
 {
  {
   GIMPLE_PASS,
@@ -132,7 +133,7 @@ struct gimple_opt_pass pass_lim =
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops   /* todo_flags_finish */
+  TODO_dump_func                       /* todo_flags_finish */
  }
 };
 
@@ -153,7 +154,7 @@ gate_tree_ssa_loop_unswitch (void)
   return flag_unswitch_loops != 0;
 }
 
-struct gimple_opt_pass pass_tree_unswitch = 
+struct gimple_opt_pass pass_tree_unswitch =
 {
  {
   GIMPLE_PASS,
@@ -168,8 +169,7 @@ struct gimple_opt_pass pass_tree_unswitch =
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
-  TODO_ggc_collect | TODO_dump_func
-    | TODO_verify_loops                        /* todo_flags_finish */
+  TODO_ggc_collect | TODO_dump_func    /* todo_flags_finish */
  }
 };
 
@@ -191,7 +191,7 @@ gate_tree_predictive_commoning (void)
   return flag_predictive_commoning != 0;
 }
 
-struct gimple_opt_pass pass_predcom = 
+struct gimple_opt_pass pass_predcom =
 {
  {
   GIMPLE_PASS,
@@ -206,7 +206,7 @@ struct gimple_opt_pass pass_predcom =
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops
+  TODO_dump_func
     | TODO_update_ssa_only_virtuals    /* todo_flags_finish */
  }
 };
@@ -242,7 +242,7 @@ struct gimple_opt_pass pass_vectorize =
   PROP_cfg | PROP_ssa,                  /* properties_required */
   0,                                    /* properties_provided */
   0,                                    /* properties_destroyed */
-  TODO_verify_loops,                   /* todo_flags_start */
+  0,                                   /* todo_flags_start */
   TODO_dump_func | TODO_update_ssa
     | TODO_ggc_collect                 /* todo_flags_finish */
  }
@@ -281,7 +281,7 @@ struct gimple_opt_pass pass_linear_transform =
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops
+  TODO_dump_func
     | TODO_update_ssa_only_virtuals
     | TODO_ggc_collect                 /* todo_flags_finish */
  }
@@ -303,9 +303,10 @@ graphite_transforms (void)
 static bool
 gate_graphite_transforms (void)
 {
-  /* Enable -fgraphite pass if any one of the graphite optimization flags 
+  /* Enable -fgraphite pass if any one of the graphite optimization flags
      is turned on.  */
-  if (flag_loop_block || flag_loop_interchange || flag_loop_strip_mine)
+  if (flag_loop_block || flag_loop_interchange || flag_loop_strip_mine
+      || flag_graphite_identity || flag_loop_parallelize_all)
     flag_graphite = 1;
 
   return flag_graphite != 0;
@@ -326,7 +327,7 @@ struct gimple_opt_pass pass_graphite_transforms =
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
-  TODO_verify_loops                    /* todo_flags_finish */
+  0                                    /* todo_flags_finish */
  }
 };
 
@@ -399,7 +400,7 @@ struct gimple_opt_pass pass_iv_canon =
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops   /* todo_flags_finish */
+  TODO_dump_func                       /* todo_flags_finish */
  }
 };
 
@@ -432,37 +433,6 @@ struct gimple_opt_pass pass_scev_cprop =
  }
 };
 
-/* Remove empty loops.  */
-
-static unsigned int
-tree_ssa_empty_loop (void)
-{
-  if (number_of_loops () <= 1)
-    return 0;
-
-  return remove_empty_loops ();
-}
-
-struct gimple_opt_pass pass_empty_loop =
-{
- {
-  GIMPLE_PASS,
-  "empty",                             /* name */
-  NULL,                                        /* gate */
-  tree_ssa_empty_loop,                 /* execute */
-  NULL,                                        /* sub */
-  NULL,                                        /* next */
-  0,                                   /* static_pass_number */
-  TV_COMPLETE_UNROLL,                  /* tv_id */
-  PROP_cfg | PROP_ssa,                 /* properties_required */
-  0,                                   /* properties_provided */
-  0,                                   /* properties_destroyed */
-  0,                                   /* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops 
-    | TODO_ggc_collect                 /* todo_flags_finish */
- }
-};
-
 /* Record bounds on numbers of iterations of loops.  */
 
 static unsigned int
@@ -480,7 +450,7 @@ struct gimple_opt_pass pass_record_bounds =
 {
  {
   GIMPLE_PASS,
-  NULL,                                        /* name */
+  "*record_bounds",                    /* name */
   NULL,                                        /* gate */
   tree_ssa_loop_bounds,                        /* execute */
   NULL,                                        /* sub */
@@ -529,7 +499,7 @@ struct gimple_opt_pass pass_complete_unroll =
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops
+  TODO_dump_func
     | TODO_ggc_collect                 /* todo_flags_finish */
  }
 };
@@ -576,7 +546,7 @@ struct gimple_opt_pass pass_complete_unrolli =
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops
+  TODO_dump_func
     | TODO_ggc_collect                         /* todo_flags_finish */
  }
 };
@@ -615,7 +585,7 @@ struct gimple_opt_pass pass_parallelize_loops =
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops   /* todo_flags_finish */
+  TODO_dump_func                       /* todo_flags_finish */
  }
 };
 
@@ -651,7 +621,7 @@ struct gimple_opt_pass pass_loop_prefetch =
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops   /* todo_flags_finish */
+  TODO_dump_func                       /* todo_flags_finish */
  }
 };
 
@@ -688,8 +658,7 @@ struct gimple_opt_pass pass_iv_optimize =
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops
-  | TODO_update_ssa | TODO_ggc_collect /* todo_flags_finish */
+  TODO_dump_func | TODO_update_ssa | TODO_ggc_collect  /* todo_flags_finish */
  }
 };
 
@@ -703,8 +672,8 @@ tree_ssa_loop_done (void)
   loop_optimizer_finalize ();
   return 0;
 }
-  
-struct gimple_opt_pass pass_tree_loop_done = 
+
+struct gimple_opt_pass pass_tree_loop_done =
 {
  {
   GIMPLE_PASS,