2005-08-01 Richard Guenther <rguenther@suse.de>

	PR tree-optimization/23133
	* tree-ssa-math-opts.c (execute_cse_reciprocals): Walk
	current functions parameter decls to find defs to cse
	reciprocals of.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@102628 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 07b3141..a4818a4 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,12 @@
 2005-08-01  Richard Guenther  <rguenther@suse.de>
 
+       PR tree-optimization/23133
+       * tree-ssa-math-opts.c (execute_cse_reciprocals): Walk
+       current functions parameter decls to find defs to cse
+       reciprocals of.
+
+2005-08-01  Richard Guenther  <rguenther@suse.de>
+
        PR tree-optimization/23109
        * tree-ssa-math-opts.c (execute_cse_reciprocals_1):
        If trapping math is in effect, use post-dominator information

diff --git a/gcc/tree-ssa-math-opts.c b/gcc/tree-ssa-math-opts.c
index bff3c1d..be2d758 100644 (file)
--- a/gcc/tree-ssa-math-opts.c
+++ b/gcc/tree-ssa-math-opts.c
@@ -122,10 +122,20 @@ static void
 execute_cse_reciprocals (void)
 {
   basic_block bb;
+  tree arg;
 
   if (flag_trapping_math)
     calculate_dominance_info (CDI_POST_DOMINATORS);
 
+  if (single_succ_p (ENTRY_BLOCK_PTR))
+    for (arg = DECL_ARGUMENTS (cfun->decl); arg; arg = TREE_CHAIN (arg))
+      if (default_def (arg))
+       {
+         block_stmt_iterator bsi;
+         bsi = bsi_start (single_succ (ENTRY_BLOCK_PTR));
+          execute_cse_reciprocals_1 (&bsi, default_def (arg), false);
+       }
+
   FOR_EACH_BB (bb)
     {
       block_stmt_iterator bsi;
@@ -149,7 +159,7 @@ execute_cse_reciprocals (void)
          if (TREE_CODE (stmt) == MODIFY_EXPR
              && (def = SINGLE_SSA_TREE_OPERAND (stmt, SSA_OP_DEF)) != NULL
              && FLOAT_TYPE_P (TREE_TYPE (def))
-             && is_gimple_reg (def))
+             && TREE_CODE (def) == SSA_NAME)
            execute_cse_reciprocals_1 (&bsi, def, false);
        }
     }