From 43427f3c581470449ed62ebaebeabe6a49c94e6f Mon Sep 17 00:00:00 2001
From: Richard Guenther <rguenther@suse.de>
Date: Tue, 2 Nov 2010 15:46:46 +0000
Subject: [PATCH] re PR tree-optimization/46184 (ICE: SIGSEGV in
vectorizable_reduction (tree-vect-loop.c:4067) with -O -ftree-vectorize
-fno-tree-copy-prop -fno-tree-dce)
2010-11-02 Richard Guenther <rguenther@suse.de>
PR tree-optimization/46184
* tree-vect-loop.c (vectorizable_reduction): Try to obtain the
input vector type from the reduction operand as well.
* gcc.dg/pr46184.c: New testcase.
From-SVN: r166194
---
gcc/ChangeLog | 6 ++++++
gcc/testsuite/ChangeLog | 5 +++++
gcc/testsuite/gcc.dg/pr46184.c | 18 ++++++++++++++++++
gcc/tree-vect-loop.c | 10 +++++-----
4 files changed, 34 insertions(+), 5 deletions(-)
create mode 100644 gcc/testsuite/gcc.dg/pr46184.c
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e1a18afbc496..b5d15ce51b62 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2010-11-02 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/46184
+ * tree-vect-loop.c (vectorizable_reduction): Try to obtain the
+ input vector type from the reduction operand as well.
+
2010-11-02 Richard Guenther <rguenther@suse.de>
PR tree-optimization/46177
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4f4e4863a41a..d1af15437c83 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2010-11-02 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/46184
+ * gcc.dg/pr46184.c: New testcase.
+
2010-11-02 Richard Guenther <rguenther@suse.de>
PR tree-optimization/46177
diff --git a/gcc/testsuite/gcc.dg/pr46184.c b/gcc/testsuite/gcc.dg/pr46184.c
new file mode 100644
index 000000000000..fafa7f463d91
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr46184.c
@@ -0,0 +1,18 @@
+/* { dg-do compile } */
+/* { dg-options "-O -ftree-vectorize -fno-tree-copy-prop -fno-tree-dce" } */
+
+extern int A[], B[];
+
+void
+foo (int z)
+{
+ int j, i;
+ for (j = 0; j < 32; j++)
+ {
+ int curr_a = A[0];
+ for (i = 0; i < 16; i++)
+ curr_a = A[i] ? curr_a : z;
+ B[j] = curr_a;
+ }
+}
+
diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c
index c213673e20bf..57ca5a8c4c46 100644
--- a/gcc/tree-vect-loop.c
+++ b/gcc/tree-vect-loop.c
@@ -3908,7 +3908,7 @@ vectorizable_reduction (gimple stmt, gimple_stmt_iterator *gsi,
VEC (tree, heap) *vec_oprnds0 = NULL, *vec_oprnds1 = NULL, *vect_defs = NULL;
VEC (gimple, heap) *phis = NULL;
int vec_num;
- tree def0, def1;
+ tree def0, def1, tem;
if (nested_in_vect_loop_p (loop, stmt))
{
@@ -3999,8 +3999,6 @@ vectorizable_reduction (gimple stmt, gimple_stmt_iterator *gsi,
reduction variable. */
for (i = 0; i < op_type-1; i++)
{
- tree tem;
-
/* The condition of COND_EXPR is checked in vectorizable_condition(). */
if (i == 0 && code == COND_EXPR)
continue;
@@ -4025,8 +4023,10 @@ vectorizable_reduction (gimple stmt, gimple_stmt_iterator *gsi,
}
}
- is_simple_use = vect_is_simple_use (ops[i], loop_vinfo, NULL, &def_stmt,
- &def, &dt);
+ is_simple_use = vect_is_simple_use_1 (ops[i], loop_vinfo, NULL, &def_stmt,
+ &def, &dt, &tem);
+ if (!vectype_in)
+ vectype_in = tem;
gcc_assert (is_simple_use);
gcc_assert (dt == vect_reduction_def
|| dt == vect_nested_cycle
--
GitLab