[Bug tree-optimization/71006] [6/7 Regression] ICE: verify_gimple failed (error: type mismatch in conditional expression) w/ -O1 -ftree-loop-vectorize

2016-05-12 Thread chengniansun at gmail dot com 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71006

--- Comment #6 from Chengnian Sun  ---
(In reply to Ilya Enkovich from comment #4)
> (In reply to Chengnian Sun from comment #3)
> > Hi, 
> > 
> > Can you help check whether the following test case is a duplicate? Thanks. 
> 
> This is definitely a separate issue.

Thank you. It has been reported at
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71079.

[Bug tree-optimization/71006] [6/7 Regression] ICE: verify_gimple failed (error: type mismatch in conditional expression) w/ -O1 -ftree-loop-vectorize

2016-05-12 Thread ienkovich at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71006

--- Comment #5 from Ilya Enkovich  ---
Author: ienkovich
Date: Thu May 12 11:27:49 2016
New Revision: 236171

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

PR tree-optimization/71006
* tree-vect-loop.c (vect_determine_vectorization_factor): Don't
consider COND_EXPR as a mask producer.

gcc/testsuite/

PR tree-optimization/71006
* gcc.dg/pr71006.c: New test.

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

[Bug tree-optimization/71006] [6/7 Regression] ICE: verify_gimple failed (error: type mismatch in conditional expression) w/ -O1 -ftree-loop-vectorize

2016-05-12 Thread ienkovich at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71006

--- Comment #4 from Ilya Enkovich  ---
(In reply to Chengnian Sun from comment #3)
> Hi, 
> 
> Can you help check whether the following test case is a duplicate? Thanks. 

This is definitely a separate issue.

[Bug tree-optimization/71006] [6/7 Regression] ICE: verify_gimple failed (error: type mismatch in conditional expression) w/ -O1 -ftree-loop-vectorize

2016-05-11 Thread chengniansun at gmail dot com 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71006

Chengnian Sun  changed:

   What|Removed |Added

 CC||chengniansun at gmail dot com

--- Comment #3 from Chengnian Sun  ---
Hi, 

Can you help check whether the following test case is a duplicate? Thanks. 



$: gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/usr/local/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/7.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc-source-trunk/configure --enable-languages=c,c++,lto
--prefix=/usr/local/gcc-trunk --disable-bootstrap
Thread model: posix
gcc version 7.0.0 20160511 (experimental) [trunk revision 236116] (GCC)
$:
$: gcc-trunk -O1 small.c
small.c: In function ‘fn1_BOUOUtg_1828_f2’:
small.c:2:6: error: type mismatch in binary expression
 void fn1_BOUOUtg_1828_f2() {
  ^~~
int

int

unsigned int

_4 = a.0_1 ^ b.2_6;
small.c:2:6: internal compiler error: verify_gimple failed
0xbfe24f verify_gimple_in_cfg(function*, bool)
../../gcc-source-trunk/gcc/tree-cfg.c:5166
0xaeca62 execute_function_todo
../../gcc-source-trunk/gcc/passes.c:1964
0xaed45b execute_todo
../../gcc-source-trunk/gcc/passes.c:2016
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.
$:
$: cat small.c
int a, b;
void fn1_BOUOUtg_1828_f2() {
  unsigned c = 8 < 10;
  int d = fn1_BOUOUtg_1828_f2 || 8;
  b = d ^ a ^ c ^ b;
}

int main() { return 0; }
$:

[Bug tree-optimization/71006] [6/7 Regression] ICE: verify_gimple failed (error: type mismatch in conditional expression) w/ -O1 -ftree-loop-vectorize

2016-05-11 Thread ienkovich at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71006

Ilya Enkovich  changed:

   What|Removed |Added

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

--- Comment #2 from Ilya Enkovich  ---
Looking at it

[Bug tree-optimization/71006] [6/7 Regression] ICE: verify_gimple failed (error: type mismatch in conditional expression) w/ -O1 -ftree-loop-vectorize

2016-05-09 Thread rguenth at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71006

Richard Biener  changed:

   What|Removed |Added

   Keywords||ice-checking,
   ||ice-on-valid-code
   Priority|P3  |P2

[Bug tree-optimization/71006] [6/7 Regression] ICE: verify_gimple failed (error: type mismatch in conditional expression) w/ -O1 -ftree-loop-vectorize

2016-05-09 Thread jakub at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71006

Jakub Jelinek  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2016-05-09
 CC||ienkovich at gcc dot gnu.org,
   ||jakub at gcc dot gnu.org
   Target Milestone|--- |6.2
Summary|[7 Regression] ICE: |[6/7 Regression] ICE:
   |verify_gimple failed|verify_gimple failed
   |(error: type mismatch in|(error: type mismatch in
   |conditional expression) w/  |conditional expression) w/
   |-O1 -ftree-loop-vectorize   |-O1 -ftree-loop-vectorize
 Ever confirmed|0   |1

--- Comment #1 from Jakub Jelinek  ---
Started with r230098.