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 | |
| parent | 0aa1658649796e0ba3e097d0db7013b027b8d41c (diff) | |
| download | gcc-107defbe861ec18bab3d43855fc88b3047a140ba.zip gcc-107defbe861ec18bab3d43855fc88b3047a140ba.tar.gz gcc-107defbe861ec18bab3d43855fc88b3047a140ba.tar.bz2 | |
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')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/vect/fast-math-vect-outer-7.c | 23 | ||||
| -rw-r--r-- | gcc/tree-vect-loop.c | 6 |
4 files changed, 38 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 02b99c7..87a114a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 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. + +2011-09-09 Richard Guenther <rguenther@suse.de> + * tree-ssa-pre.c (create_expression_by_pieces): Fold the last statement. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f0a5383..2ffd4f3 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2011-09-09 Richard Guenther <rguenther@suse.de> + PR tree-optimization/50328 + * gcc.dg/vect/fast-math-vect-outer-7.c: New testcase. + +2011-09-09 Richard Guenther <rguenther@suse.de> + PR middle-end/50333 * gcc.dg/torture/pr50333.c: New testcase. diff --git a/gcc/testsuite/gcc.dg/vect/fast-math-vect-outer-7.c b/gcc/testsuite/gcc.dg/vect/fast-math-vect-outer-7.c new file mode 100644 index 0000000..4dafa34 --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/fast-math-vect-outer-7.c @@ -0,0 +1,23 @@ +/* { dg-do compile } */ +/* { dg-require-effective-target vect_float } */ + +float dvec[256]; + +void test1 (float x) +{ + long i, j; + for (i = 0; i < 256; ++i) + for (j = 0; j < 131072; ++j) + dvec[i] *= x; +} + +void test2 (float x) +{ + long i, j; + for (i = 0; i < 256; ++i) + for (j = 0; j < 131072; ++j) + dvec[i] *= 1.001f; +} + +/* { dg-final { scan-tree-dump-times "OUTER LOOP VECTORIZED" 2 "vect" } } */ +/* { dg-final { cleanup-tree-dump "vect" } } */ diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c index 5c0b0a1..ba8878a 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) |