https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88934
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2019-01-21
CC| |marxin at gcc dot gnu.org,
| |rguenth at gcc dot gnu.org
Component|middle-end |tree-optimization
Ever confirmed|0 |1
--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Confirmed, there's a minimal test-case:
$ cat matmul.f90
integer, parameter :: a=3
integer , dimension(a,a) :: b
logical, dimension(a,a) :: c
do i=0,1
b = ltoi(c)
do j=0,if
if (anymatmul(b) /= 0) then
end if
end do
end do
contains
elemental function ltoi(d)
logical, intent(in) :: d
if (d) then
ltoi = 1
else
ltoi = 0
end if
end
end
$ ./xgcc -B. -c -mvsx -O1 -ftree-vectorize matmul.f90
matmul.f90:5:0:
5 | do i=0,1
|
Error: mismatching comparison operand types
vector(4) unsigned int
vector(4) <unnamed type>
vect_patt_43.17_16 = VEC_COND_EXPR <vect__60.15_91 != vect_cst__9,
vect_cst__17, vect_cst__12>;
matmul.f90:5:0: Error: mismatching comparison operand types
vector(4) unsigned int
vector(4) <unnamed type>
vect_patt_43.17_34 = VEC_COND_EXPR <vect__60.16_97 != vect_cst__46,
vect_cst__10, vect_cst__6>;
during GIMPLE pass: slp
matmul.f90:5:0: internal compiler error: verify_gimple failed
0xd73ba7 verify_gimple_in_cfg(function*, bool)
../../gcc/tree-cfg.c:5422
0xc5b6df execute_function_todo
../../gcc/passes.c:1977
0xc5c60e execute_todo
../../gcc/passes.c:2031
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
$ ./xgcc -v
Using built-in specs.
COLLECT_GCC=./xgcc
Target: powerpc-linux-gnu
Configured with: ../configure --enable-languages=c,c++,fortran
--disable-multilib --prefix=/home/marxin/bin/gcc2 --disable-bootstrap
--disable-libsanitizer --target=powerpc-linux-gnu
--with-as=/usr/bin/powerpc-suse-linux-as
Thread model: posix
gcc version 9.0.0 20190121 (experimental) (GCC)
Richi can you please take a look?
