aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIra Rosen <irar@il.ibm.com>2008-09-11 12:08:01 +0000
committerIra Rosen <irar@gcc.gnu.org>2008-09-11 12:08:01 +0000
commit3c9dbe18eece0ad55ed8d8177d8061d445cf6fbc (patch)
treeb61462bda6308d203543c0392808393e902bf515
parent5e9bd142df172725ffd1a368329106f16bd6581a (diff)
downloadgcc-3c9dbe18eece0ad55ed8d8177d8061d445cf6fbc.zip
gcc-3c9dbe18eece0ad55ed8d8177d8061d445cf6fbc.tar.gz
gcc-3c9dbe18eece0ad55ed8d8177d8061d445cf6fbc.tar.bz2
re PR tree-optimization/37474 (vect_supported_slp_permutation_p memory corruption)
PR tree-optimization/37474 * tree-vect-analyze.c (vect_supported_load_permutation_p): Check the length of load permutation. From-SVN: r140276
-rw-r--r--gcc/ChangeLog6
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gcc.dg/vect/pr37474.c38
-rw-r--r--gcc/tree-vect-analyze.c4
4 files changed, 53 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ce9936f..113943c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2008-09-11 Ira Rosen <irar@il.ibm.com>
+
+ PR tree-optimization/37474
+ * tree-vect-analyze.c (vect_supported_load_permutation_p): Check the
+ length of load permutation.
+
2008-09-11 Andreas Schwab <schwab@suse.de>
* config/m68k/m68k.h (IRA_COVER_CLASSES): Define.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 50f7b15..85bb2a5 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2008-09-11 Ira Rosen <irar@il.ibm.com>
+
+ PR tree-optimization/37474
+ * gcc.dg/vect/pr37474.c: New test.
+
2008-09-11 Andreas Schwab <schwab@suse.de>
* gcc.target/m68k/xgot-1.c: Add -mcpu=5206 to select a ColdFire
diff --git a/gcc/testsuite/gcc.dg/vect/pr37474.c b/gcc/testsuite/gcc.dg/vect/pr37474.c
new file mode 100644
index 0000000..b6d01c2
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/pr37474.c
@@ -0,0 +1,38 @@
+/* { dg-do compile } */
+/* { dg-require-effective-target vect_int } */
+
+#include <stdarg.h>
+
+#define M00 100
+#define M10 216
+#define M01 1322
+#define M11 13
+#define M02 74
+#define M12 191
+
+#define N 16
+
+void foo (unsigned int *__restrict__ pInput, unsigned int *__restrict__ pOutput)
+{
+ unsigned int i, a, b, c, d, e, f;
+
+ for (i = 0; i < N / 3; i++)
+ {
+ a = *pInput++;
+ b = *pInput++;
+ c = *pInput++;
+ d = *pInput++;
+ e = *pInput++;
+ f = *pInput++;
+
+ a = a + d;
+ b = b + e;
+ c = c + f;
+
+ *pOutput++ = M00 * a + M01 * b + M02 * c;
+ *pOutput++ = M10 * a + M11 * b + M12 * c;
+ }
+}
+
+/* { dg-final { cleanup-tree-dump "vect" } } */
+
diff --git a/gcc/tree-vect-analyze.c b/gcc/tree-vect-analyze.c
index 06e004c..405ac35 100644
--- a/gcc/tree-vect-analyze.c
+++ b/gcc/tree-vect-analyze.c
@@ -3200,6 +3200,10 @@ vect_supported_load_permutation_p (slp_instance slp_instn, int group_size,
/* FORNOW: the only supported permutation is 0..01..1.. of length equal to
GROUP_SIZE and where each sequence of same drs is of GROUP_SIZE length as
well. */
+ if (VEC_length (int, load_permutation)
+ != (unsigned int) (group_size * group_size))
+ return false;
+
supported = true;
for (j = 0; j < group_size; j++)
{