PR tree-optimization/30975

        * tree-vect-trasnform.c (vect_get_vec_def_for_stmt_copy): Remove
        wrong assert.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@122127 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 38e0204..f0f225c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2007-02-19  Dorit Nuzman  <dorit@il.ibm.com>
+
+       PR tree-optimization/30975
+       * tree-vect-trasnform.c (vect_get_vec_def_for_stmt_copy): Remove
+       wrong assert.
+
 2007-02-18  Eric Christopher  <echristo@gmail.com>
 
        * mips.c (mips_prepare_builtin_arg): Add argnum parameter.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8540aac..3633d7d 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2007-02-18  Dorit Nuzman  <dorit@il.ibm.com>
+
+       PR tree-optimization/30975
+       * gcc.dg/vect/vect-iv-8.c: Fix to include an induction. Xfail.
+       * gcc.dg/vect/vect-iv-8a.c: New (same as above, but signed).
+       * gcc.dg/vect/pr30795.c: New.
+
 2007-02-18  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
 
        PR fortran/30681

diff --git a/gcc/testsuite/gcc.dg/vect/pr30795.c b/gcc/testsuite/gcc.dg/vect/pr30795.c
new file mode 100644 (file)
index 0000000..53dc9fa
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/pr30795.c
@@ -0,0 +1,19 @@
+/* { dg-do compile } */
+/* { dg-require-effective-target vect_int } */
+
+char bigDone[260];
+int runningOrder[260];
+
+int
+main()
+{
+  int i;
+  for (i = 0; i <= 255; i++) {
+      bigDone [i] = ((char)0);
+      runningOrder[i] = i;
+  }
+  return 0;
+}
+
+/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" } } */
+/* { dg-final { cleanup-tree-dump "vect" } } */

diff --git a/gcc/testsuite/gcc.dg/vect/vect-iv-8.c b/gcc/testsuite/gcc.dg/vect/vect-iv-8.c
index a2d4e37..f8626a1 100644 (file)
--- a/gcc/testsuite/gcc.dg/vect/vect-iv-8.c
+++ b/gcc/testsuite/gcc.dg/vect/vect-iv-8.c
@@ -10,6 +10,7 @@ int main1 (short X)
   unsigned char a[N];
   unsigned short b[N];
   unsigned int c[N];
+  short myX = X;
   int i;
 
   /* vectorization of induction with type conversions.  */
@@ -18,12 +19,13 @@ int main1 (short X)
     a[i] = (unsigned char)X;
     b[i] = X;
     c[i] = (unsigned int)X;
+    X++;
   }
 
   /* check results:  */
   for (i = 0; i < N; i++)
     {
-      if (a[i] != (char)X || b[i] != X || c[i] != (int)X)
+      if (a[i] != (unsigned char)myX || b[i] != myX || c[i] != (unsigned int)myX++)
        abort ();
     }
 
@@ -37,5 +39,9 @@ int main (void)
   return main1 (3);
 } 
 
-/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target { vect_pack_mod && vect_unpack } } } } */
+/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { xfail *-*-* } } } */
+/* Fails to get vectorized due to a redundant cast. Once this is fixed, 
+   should be vectorized as follows:
+   dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target { vect_pack_mod && vect_unpack } } } 
+*/
 /* { dg-final { cleanup-tree-dump "vect" } } */

diff --git a/gcc/testsuite/gcc.dg/vect/vect-iv-8a.c b/gcc/testsuite/gcc.dg/vect/vect-iv-8a.c
new file mode 100644 (file)
index 0000000..ac6bde7
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/vect-iv-8a.c
@@ -0,0 +1,43 @@
+/* { dg-require-effective-target vect_int } */
+
+#include <stdarg.h>
+#include "tree-vect.h"
+
+#define N 26
+ 
+int main1 (short X)
+{  
+  signed char a[N];
+  short b[N];
+  int c[N];
+  short myX = X;
+  int i;
+
+  /* vectorization of induction with type conversions.  */
+  for (i = 0; i < N; i++)
+  {
+    a[i] = (signed char)X;
+    b[i] = X;
+    c[i] = (int)X;
+    X++;
+  }
+
+  /* check results:  */
+  for (i = 0; i < N; i++)
+    {
+      if (a[i] != (signed char)myX || b[i] != myX || c[i] != (int)myX++)
+       abort ();
+    }
+
+  return 0;
+}
+
+int main (void)
+{ 
+  check_vect ();
+  
+  return main1 (3);
+} 
+
+/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target { vect_pack_mod && vect_unpack } } } } */
+/* { dg-final { cleanup-tree-dump "vect" } } */

diff --git a/gcc/tree-vect-transform.c b/gcc/tree-vect-transform.c
index 07c0773..109705d 100644 (file)
--- a/gcc/tree-vect-transform.c
+++ b/gcc/tree-vect-transform.c
@@ -897,8 +897,6 @@ vect_get_vec_def_for_stmt_copy (enum vect_def_type dt, tree vec_oprnd)
 
   vec_stmt_for_operand = SSA_NAME_DEF_STMT (vec_oprnd);
   def_stmt_info = vinfo_for_stmt (vec_stmt_for_operand);
-  if (dt == vect_induction_def)
-    gcc_assert (TREE_CODE (vec_stmt_for_operand) == PHI_NODE);  
   gcc_assert (def_stmt_info);
   vec_stmt_for_operand = STMT_VINFO_RELATED_STMT (def_stmt_info);
   gcc_assert (vec_stmt_for_operand);