re PR middle-end/56443 (internal compiler error: verify_gimple failed at -O[1-2]...

	PR tree-optimization/56443
	* tree-vect-stmts.c (get_vectype_for_scalar_type_and_size): For
	overaligned types, pass TYPE_UNSIGNED (scalar_type) as second argument
	to type_for_mode langhook.

	* gcc.dg/torture/pr56443.c: New test.

From-SVN: r196277

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 69112ed41bb5b2bc8523a3ec70dac0474c080062..0fc1478c3deaeaadfcf05f79b57614aed0774dfe 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2013-02-26  Jakub Jelinek  <jakub@redhat.com>
+
+       PR tree-optimization/56443
+       * tree-vect-stmts.c (get_vectype_for_scalar_type_and_size): For
+       overaligned types, pass TYPE_UNSIGNED (scalar_type) as second argument
+       to type_for_mode langhook.
+
 2013-02-25  Matt Turner  <mattst88@gmail.com>
 
        * doc/invoke.texi: Document r4700.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index bd2b6d6a63dc4f5b6665449baf9b1a75efa2ac49..8356fa46502afab210fb25ef7e1a9266d6cb7d80 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-02-26  Jakub Jelinek  <jakub@redhat.com>
+
+       PR tree-optimization/56443
+       * gcc.dg/torture/pr56443.c: New test.
+
 2013-02-25  Richard Biener  <rguenther@suse.de>
 
        PR tree-optimization/56175

diff --git a/gcc/testsuite/gcc.dg/torture/pr56443.c b/gcc/testsuite/gcc.dg/torture/pr56443.c
new file mode 100644 (file)
index 0000000..ed60e05
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr56443.c
@@ -0,0 +1,29 @@
+/* PR tree-optimization/56443 */
+/* { dg-do run } */
+/* { dg-options "-ftree-vectorize" } */
+
+extern void abort (void);
+typedef int myint __attribute__ ((__aligned__ (16)));
+
+int a1[1024] __attribute__ ((__aligned__ (16)));
+int a2[1024] __attribute__ ((__aligned__ (16)));
+
+__attribute__((noinline, noclone)) void
+test (int n, myint * __restrict__ p1, myint * __restrict__ p2)
+{
+  while (n--)
+    *p1++ = *p2++ + 1;
+}
+
+int
+main ()
+{
+  int n;
+  for (n = 0; n < 1024; n++)
+    a2[n] = n;
+  test (1024, a1, a2);
+  for (n = 0; n < 1024; n++)
+    if (a1[n] != a2[n] + 1)
+      abort ();
+  return 0;
+}

diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c
index 1712d950e609b1356b4b2db0653d668be7de1801..37f24234a9cc8618dc6f1656cd068158a3808452 100644 (file)
--- a/gcc/tree-vect-stmts.c
+++ b/gcc/tree-vect-stmts.c
@@ -6071,7 +6071,8 @@ get_vectype_for_scalar_type_and_size (tree scalar_type, unsigned size)
   /* We can't build a vector type of elements with alignment bigger than
      their size.  */
   else if (nbytes < TYPE_ALIGN_UNIT (scalar_type))
-    scalar_type = lang_hooks.types.type_for_mode (inner_mode, 1);
+    scalar_type = lang_hooks.types.type_for_mode (inner_mode, 
+                                                 TYPE_UNSIGNED (scalar_type));
 
   /* If we felt back to using the mode fail if there was
      no scalar type for it.  */