https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69282
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-valid-code
Status|UNCONFIRMED |NEW
Last reconfirmed| |2016-01-14
Target Milestone|--- |6.0
Summary|aarch64/armhf ICE on |[6 Regression]
|SPEC2006 464.h264ref at -O3 |aarch64/armhf ICE on
| |SPEC2006 464.h264ref at -O3
Ever confirmed|0 |1
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Here is a better reduced testcase which shows the issue:
int a[32];
int fn1(int d) {
int c = 1;
for (int b = 0; b < 32; b++)
if (a[b])
c = 0;
return c;
}
---- CUT ---
t999.c: In function ‘fn1’:
t999.c:2:5: error: incorrect type of vector CONSTRUCTOR elements
int fn1(int d) {
^~~
{_22, _19, _13, _102}
vect_c_1.7_2 = {_22, _19, _13, _102};
t999.c:2:5: error: type mismatch in conditional expression
int
<unnamed type>
int
_78 = _86 == 0 ? _22 : 0;
t999.c:2:5: error: type mismatch in conditional expression
int
<unnamed type>
int
_76 = _77 == 0 ? _19 : 0;
t999.c:2:5: error: type mismatch in conditional expression
int
<unnamed type>
int
_74 = _75 == 0 ? _13 : 0;
t999.c:2:5: error: type mismatch in conditional expression
int
<unnamed type>
int
_65 = _66 == 0 ? _102 : 0;
t999.c:2:5: internal compiler error: verify_gimple failed
0xb137c3 verify_gimple_in_cfg(function*, bool)
/home/apinski/src/local/gcc/gcc/tree-cfg.c:5120
0xa054f7 execute_function_todo
/home/apinski/src/local/gcc/gcc/passes.c:1958
0xa05f2f execute_todo
/home/apinski/src/local/gcc/gcc/passes.c:2010
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
This was introduced with the whole VEC_COND_EXPR change which was done to
support Intel's AVX2 better.
