[Bug tree-optimization/68379] [6 Regression] BB vectorization: definition in block 13 follows the use for SSA_NAME

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68379

--- Comment #10 from Richard Biener  ---
Author: rguenth
Date: Tue Dec  1 14:24:54 2015
New Revision: 23

URL: https://gcc.gnu.org/viewcvs?rev=23=gcc=rev
Log:
2015-12-01  Richard Biener  

PR tree-optimization/68379
* tree-vect-stmts.c (vectorizable_load): For BB vectorization
always base loads on the first used DR of a group.
* tree-vect-data-refs.c (vect_slp_analyze_and_verify_node_alignment):
Compute alignment of the first scalar element unconditionally.

* gcc.dg/torture/pr68379.c: New testcase.
* gfortran.dg/pr68379-1.f90: Likewise.
* gfortran.dg/pr68379-2.f: Likewise.

Added:
trunk/gcc/testsuite/gcc.dg/torture/pr68379.c
trunk/gcc/testsuite/gfortran.dg/pr68379-1.f90
trunk/gcc/testsuite/gfortran.dg/pr68379-2.f
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-vect-data-refs.c
trunk/gcc/tree-vect-stmts.c

[Bug tree-optimization/68379] [6 Regression] BB vectorization: definition in block 13 follows the use for SSA_NAME

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68379

Richard Biener  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #11 from Richard Biener  ---
Fixed.

[Bug tree-optimization/68379] [6 Regression] BB vectorization: definition in block 13 follows the use for SSA_NAME

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68379

Jakub Jelinek  changed:

   What|Removed |Added

 CC||jakub at gcc dot gnu.org

--- Comment #7 from Jakub Jelinek  ---
At least the PR68614 testcase started to ICE with r230020.

[Bug tree-optimization/68379] [6 Regression] BB vectorization: definition in block 13 follows the use for SSA_NAME

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68379

Richard Biener  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |rguenth at gcc dot 
gnu.org

--- Comment #8 from Richard Biener  ---
Mine anyway.

[Bug tree-optimization/68379] [6 Regression] BB vectorization: definition in block 13 follows the use for SSA_NAME

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68379

--- Comment #9 from Richard Biener  ---
The PR68614 testcase

int a, b[3], c[3][5];

void
fn1 ()
{
  int e;
  for (a = 2; a >= 0; a--)
for (e = 0; e < 4; e++)
  c[a][e] = b[a];
}

exposes the same issue in basic-block vectorization.  We fully unroll the
nest leaving a SLP group of size 3 for the b loads where each individual
load is used in a different SLP target (so the load isn't really grouped
which shows an opportunity for a cheap fix improving code-gen as well).

[Bug tree-optimization/68379] [6 Regression] BB vectorization: definition in block 13 follows the use for SSA_NAME

[su at cs dot ucdavis.edu]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68379

--- Comment #5 from Zhendong Su  ---
(In reply to Markus Trippelsdorf from comment #4)
> *** Bug 68614 has been marked as a duplicate of this bug. ***

Sorry for the duplicate report, but hope the new C test case will be of use
nonetheless.

[Bug tree-optimization/68379] [6 Regression] BB vectorization: definition in block 13 follows the use for SSA_NAME

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68379

Markus Trippelsdorf  changed:

   What|Removed |Added

 CC||trippels at gcc dot gnu.org

--- Comment #6 from Markus Trippelsdorf  ---
(In reply to Zhendong Su from comment #5)
> (In reply to Markus Trippelsdorf from comment #4)
> > *** Bug 68614 has been marked as a duplicate of this bug. ***
> 
> Sorry for the duplicate report, but hope the new C test case will be of use
> nonetheless.

No need to apologize. Your testcase is most welcome.

[Bug tree-optimization/68379] [6 Regression] BB vectorization: definition in block 13 follows the use for SSA_NAME

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68379

Markus Trippelsdorf  changed:

   What|Removed |Added

 CC||su at cs dot ucdavis.edu

--- Comment #4 from Markus Trippelsdorf  ---
*** Bug 68614 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/68379] [6 Regression] BB vectorization: definition in block 13 follows the use for SSA_NAME

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68379

Markus Trippelsdorf  changed:

   What|Removed |Added

 CC||Joost.VandeVondele at mat dot 
ethz
   ||.ch

--- Comment #1 from Markus Trippelsdorf  ---
*** Bug 68575 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/68379] [6 Regression] BB vectorization: definition in block 13 follows the use for SSA_NAME

[Joost.VandeVondele at mat dot ethz.ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68379

--- Comment #2 from Joost VandeVondele  
---
(In reply to Markus Trippelsdorf from comment #1)
> *** Bug 68575 has been marked as a duplicate of this bug. ***

The testcase in PR68575 doesn't require avx, so might be useful for the
testsuite.

[Bug tree-optimization/68379] [6 Regression] BB vectorization: definition in block 13 follows the use for SSA_NAME

[Joost.VandeVondele at mat dot ethz.ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68379

Joost VandeVondele  changed:

   What|Removed |Added

 Target|aarch64 |aarch64,
   ||x86_64-pc-linux-gnu
 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-11-27
 Ever confirmed|0   |1

--- Comment #3 from Joost VandeVondele  
---
additionally, the target is x86_64-pc-linux-gnu

[Bug tree-optimization/68379] [6 Regression] BB vectorization: definition in block 13 follows the use for SSA_NAME

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68379

Richard Biener  changed:

   What|Removed |Added

   Target Milestone|--- |6.0