diff options
| author | Richard Guenther <rguenther@suse.de> | 2011-09-09 12:35:11 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2011-09-09 12:35:11 +0000 |
| commit | 107defbe861ec18bab3d43855fc88b3047a140ba (patch) | |
| tree | e0c869fb93a64a081263a0851d8b67d7b081ac41 /gcc/tree-vect-loop.c | |
| parent | 0aa1658649796e0ba3e097d0db7013b027b8d41c (diff) | |
| download | gcc-107defbe861ec18bab3d43855fc88b3047a140ba.tar.gz | |
re PR tree-optimization/50328 (reduction with constant or invariant not vectorized)
2011-09-09 Richard Guenther <rguenther@suse.de>
PR tree-optimization/50328
* tree-vect-loop.c (vect_is_simple_reduction_1): Allow one
constant or default-def operand.
* gcc.dg/vect/fast-math-vect-outer-7.c: New testcase.
From-SVN: r178728
Diffstat (limited to 'gcc/tree-vect-loop.c')
| -rw-r--r-- | gcc/tree-vect-loop.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c index 5c0b0a1c753..ba8878a8663 100644 --- a/gcc/tree-vect-loop.c +++ b/gcc/tree-vect-loop.c @@ -2149,7 +2149,7 @@ vect_is_simple_reduction_1 (loop_vec_info loop_info, gimple phi, op1 = gimple_assign_rhs1 (def_stmt); op2 = gimple_assign_rhs2 (def_stmt); - if (TREE_CODE (op1) != SSA_NAME || TREE_CODE (op2) != SSA_NAME) + if (TREE_CODE (op1) != SSA_NAME && TREE_CODE (op2) != SSA_NAME) { if (vect_print_dump_info (REPORT_DETAILS)) report_vect_op (def_stmt, "reduction: uses not ssa_names: "); @@ -2255,7 +2255,7 @@ vect_is_simple_reduction_1 (loop_vec_info loop_info, gimple phi, def2 = SSA_NAME_DEF_STMT (op2); if (code != COND_EXPR - && (!def1 || !def2 || gimple_nop_p (def1) || gimple_nop_p (def2))) + && ((!def1 || gimple_nop_p (def1)) && (!def2 || gimple_nop_p (def2)))) { if (vect_print_dump_info (REPORT_DETAILS)) report_vect_op (def_stmt, "reduction: no defs for operands: "); @@ -2268,6 +2268,7 @@ vect_is_simple_reduction_1 (loop_vec_info loop_info, gimple phi, if (def2 && def2 == phi && (code == COND_EXPR + || !def1 || gimple_nop_p (def1) || (def1 && flow_bb_inside_loop_p (loop, gimple_bb (def1)) && (is_gimple_assign (def1) || is_gimple_call (def1) @@ -2285,6 +2286,7 @@ vect_is_simple_reduction_1 (loop_vec_info loop_info, gimple phi, if (def1 && def1 == phi && (code == COND_EXPR + || !def2 || gimple_nop_p (def2) || (def2 && flow_bb_inside_loop_p (loop, gimple_bb (def2)) && (is_gimple_assign (def2) || is_gimple_call (def2) |