From: Richard Biener <rguenther@suse.de>
Date: Mon, 29 Feb 2016 13:24:24 +0000 (+0000)
Subject: re PR tree-optimization/69980 (Supposedly wrong SLP code emitted)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cbd400b43e4068a886b7297e4da8599732ef6813;p=gcc.git

re PR tree-optimization/69980 (Supposedly wrong SLP code emitted)

2016-02-19  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/69980
	* tree-vect-slp.c (vect_attempt_slp_rearrange_stmts): Update
	permutation of those we need to keep.

	* gfortran.dg/vect/pr69980.f90: New testcase.

From-SVN: r233809
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3edc42e47ff..b9bde65b6a2 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-02-19  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/69980
+	* tree-vect-slp.c (vect_attempt_slp_rearrange_stmts): Update
+	permutation of those we need to keep.
+
 2016-02-29  Eric Botcazou  <ebotcazou@adacore.com>
 
 	PR target/69706
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e5ec39c67f7..654ba38c714 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-02-19  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/69980
+	* gfortran.dg/vect/pr69980.f90: New testcase.
+
 2016-02-29  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gcc.target/sparc/20160229-1.c: New test.
diff --git a/gcc/testsuite/gfortran.dg/vect/pr69980.f90 b/gcc/testsuite/gfortran.dg/vect/pr69980.f90
new file mode 100644
index 00000000000..8a20b983f1b
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/vect/pr69980.f90
@@ -0,0 +1,40 @@
+! { dg-do run }
+! { dg-additional-options "-Ofast -fno-inline" }
+
+subroutine check (a, b)
+   real *8, intent(in) :: a(4), b(4)
+
+   IF (abs(a(1)-b(1)) > 1) THEN
+      CALL ABORT
+   END IF
+end subroutine check
+
+program main
+  real *8 :: mu(4,26), mumax(4), mumax2(4)
+
+  integer :: i, k
+
+  do k=1,26
+     do i=1,4
+        mu(i, k) = 4*(i-1) + k
+     end do
+  end do
+
+  mumax = 0; 
+  do k=1,26
+     do i=1,3
+        mumax(i) = max(mumax(i), mu(i,k)+mu(i,k))
+     end do
+  end do
+
+  mumax2 = 0;
+  do i=1,3
+     do k=1,26
+        mumax2(i) = max(mumax2(i), mu(i,k)+mu(i,k))
+     end do
+  end do
+
+  CALL check (mumax, mumax2)
+
+  return
+end program
diff --git a/gcc/tree-vect-slp.c b/gcc/tree-vect-slp.c
index 988ec10e1da..d71384881b7 100644
--- a/gcc/tree-vect-slp.c
+++ b/gcc/tree-vect-slp.c
@@ -1343,6 +1343,9 @@ vect_attempt_slp_rearrange_stmts (slp_instance slp_instn)
 	  || (group_size == GROUP_SIZE (vinfo_for_stmt (first_stmt))
 	      && GROUP_GAP (vinfo_for_stmt (first_stmt)) == 0))
 	SLP_TREE_LOAD_PERMUTATION (node).release ();
+      else
+	for (j = 0; j < SLP_TREE_LOAD_PERMUTATION (node).length (); ++j)
+	  SLP_TREE_LOAD_PERMUTATION (node)[j] = j;
     }
 
   return true;