From a8f82ec4377e4a314ec3d602f8f1f603bd76b749 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Mon, 1 Aug 2005 08:58:25 +0000 Subject: [PATCH] re PR tree-optimization/23133 (recip does not factor division by function parameter) 2005-08-01 Richard Guenther PR tree-optimization/23133 * tree-ssa-math-opts.c (execute_cse_reciprocals): Walk current functions parameter decls to find defs to cse reciprocals of. From-SVN: r102628 --- gcc/ChangeLog | 7 +++++++ gcc/tree-ssa-math-opts.c | 12 +++++++++++- 2 files changed, 18 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 07b3141f71e..a4818a44f70 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2005-08-01 Richard Guenther + + 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 PR tree-optimization/23109 diff --git a/gcc/tree-ssa-math-opts.c b/gcc/tree-ssa-math-opts.c index bff3c1db21a..be2d75840fd 100644 --- 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); } } -- 2.30.2