[Bug tree-optimization/81418] [8 Regression] ICE in vect_get_vec_def_for_stmt_copy

[rguenth at gcc dot gnu.org]

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

--- Comment #5 from Richard Biener  ---
Author: rguenth
Date: Tue Jul 18 07:26:04 2017
New Revision: 250296

URL: https://gcc.gnu.org/viewcvs?rev=250296=gcc=rev
Log:
2017-06-18  Richard Biener  

PR tree-optimization/81418
* tree-vect-loop.c (vectorizable_reduction): Properly compute
vectype_in.  Verify that with lane-reducing reduction operations
we have a single def-use cycle.

* gcc.dg/torture/pr81418.c: New testcase.

Added:
trunk/gcc/testsuite/gcc.dg/torture/pr81418.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-vect-loop.c

[Bug tree-optimization/81418] [8 Regression] ICE in vect_get_vec_def_for_stmt_copy

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

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

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

[Bug tree-optimization/81418] [8 Regression] ICE in vect_get_vec_def_for_stmt_copy

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener  ---
Hrm.  So whenever a reducing pattern is exercised in the reduction "chain" we
cannot handle regular uses of the PHI as we basically have to force a
single_defuse_cycle.

So we can't vectorize this case but we fail to reject it.

[Bug tree-optimization/81418] [8 Regression] ICE in vect_get_vec_def_for_stmt_copy

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P1
 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |rguenth at gcc dot 
gnu.org
   Target Milestone|--- |8.0

--- Comment #2 from Richard Biener  ---
Mine.

[Bug tree-optimization/81418] [8 Regression] ICE in vect_get_vec_def_for_stmt_copy

[marxin at gcc dot gnu.org]

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

Martin Liška  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2017-07-13
 CC||marxin at gcc dot gnu.org,
   ||rguenth at gcc dot gnu.org
 Ever confirmed|0   |1

--- Comment #1 from Martin Liška  ---
Confirmed, started with r249919.