[Bug tree-optimization/68145] [6 Regression] ICE: in vectorizable_store, at tree-vect-stmts.c:5684

[jtaylor.debian at googlemail dot com]

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

--- Comment #5 from Julian Taylor  ---
thanks, the full application now compiles successfully

[Bug tree-optimization/68145] [6 Regression] ICE: in vectorizable_store, at tree-vect-stmts.c:5684

[ienkovich at gcc dot gnu.org]

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

Ilya Enkovich  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--- Comment #4 from Ilya Enkovich  ---
Fixed

[Bug tree-optimization/68145] [6 Regression] ICE: in vectorizable_store, at tree-vect-stmts.c:5684

[ienkovich at gcc dot gnu.org]

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

--- Comment #3 from Ilya Enkovich  ---
Author: ienkovich
Date: Fri Nov  6 13:31:51 2015
New Revision: 229848

URL: https://gcc.gnu.org/viewcvs?rev=229848=gcc=rev
Log:
gcc/

PR tree-optimization/68145
* tree-vect-stmts.c (vectorizable_operation): Fix
determination for booleans.

gcc/testsuite/

PR tree-optimization/68145
* g++.dg/vect/pr68145.cc: New test.

Added:
trunk/gcc/testsuite/g++.dg/vect/pr68145.cc
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-vect-stmts.c

[Bug tree-optimization/68145] [6 Regression] ICE: in vectorizable_store, at tree-vect-stmts.c:5684

[ienkovich at gcc dot gnu.org]

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

Ilya Enkovich  changed:

   What|Removed |Added

   Assignee|unassigned at gcc dot gnu.org  |ienkovich at gcc dot 
gnu.org

--- Comment #2 from Ilya Enkovich  ---
Problem is in vectorizable_operation which tries to determine a vectype using a
scalar type of a boolean constant.  Output vectype may used instead for boolean
values.  I'll try it.

[Bug tree-optimization/68145] [6 Regression] ICE: in vectorizable_store, at tree-vect-stmts.c:5684

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-10-29
 CC||ienkovich at gcc dot gnu.org
   Target Milestone|--- |6.0
 Ever confirmed|0   |1

--- Comment #1 from Richard Biener  ---
Confirmed.

5743  /* We should have catched mismatched types earlier.  */
5744  gcc_assert (useless_type_conversion_p (vectype,
5745 TREE_TYPE
(vec_oprnd)));
(gdb) p debug_generic_expr (vectype)
vector(16) unsigned char
(gdb) p debug_generic_expr (vec_oprnd->typed.type)
vector(16) 

(vector bool)