https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69466
Bug ID: 69466
Summary: ICE: Invalid PHI argument after vectorization (on -O2)
Product: gcc
Version: 6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: kyukhin at gcc dot gnu.org
Target Milestone: ---
I've got ICE while compiling attached testcase:
$ ./build-x86_64-linux/gcc/gfortran -B./build-x86_64-linux/gcc -S -O2
-ffast-math -static -save-temps=obj -dp -ftree-\
vectorize -v -march=core-avx2 -m64 -fconvert=big-endian 1.f90
Reading specs from ./build-x86_64-linux/gcc/specs
COLLECT_GCC=./build-x86_64-linux/gcc/gfortran
Target: x86_64-pc-linux-gnu
Configured with: /export/users/kyukhin/gcc/git/gcc2/configure
--enable-languages=c,c++,fortran --disable-bootstrap --\
disable-libsanitizer
--with-as=/gnumnt/msticlxl57_users/kyukhin/binutils/release/bin/as
--with-fpmath=sse
Thread model: posix
gcc version 6.0.0 20160125 (experimental) (GCC)
COLLECT_GCC_OPTIONS='-B' './build-x86_64-linux/gcc' '-S' '-O2' '-ffast-math'
'-static' '-save-temps=obj' '-dp' '-ftre\
e-vectorize' '-v' '-march=core-avx2' '-m64' '-fconvert=big-endian'
./build-x86_64-linux/gcc/f951 1.f90 -quiet -dumpbase 1.f90 -dp
-march=core-avx2 -m64 -auxbase 1 -O2 -version -ffast-\
math -ftree-vectorize -fconvert=big-endian -o 1.s -fintrinsic-modules-path
finclude
GNU Fortran (GCC) version 6.0.0 20160125 (experimental) (x86_64-pc-linux-gnu)
compiled by GNU C version 5.1.1 20150618 (Red Hat 5.1.1-4), GMP version
6.0.0, MPFR version 3.1.2, MPC versio\
n 1.0.2, isl version none
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU Fortran2008 (GCC) version 6.0.0 20160125 (experimental)
(x86_64-pc-linux-gnu)
compiled by GNU C version 5.1.1 20150618 (Red Hat 5.1.1-4), GMP version
6.0.0, MPFR version 3.1.2, MPC versio\
n 1.0.2, isl version none
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
1.f90:2:0:
subroutine foo
Error: invalid PHI argument
e.22_153
1.f90:2:0: Error: incompatible types in PHI argument 0
void
integer(kind=4)
.MEM_176 = PHI <e.22_153(18)>
1.f90:2:0: Error: invalid PHI argument
vect_e.51_208
1.f90:2:0: Error: incompatible types in PHI argument 1
void
integer(kind=4)
.MEM_175 = PHI <.MEM_176(28), vect_e.51_208(20)>
1.f90:2:0: internal compiler error: verify_gimple failed
0xbbd316 verify_gimple_in_cfg(function*, bool)
/export/users/kyukhin/gcc/git/gcc2/gcc/tree-cfg.c:5125
0xab23f7 execute_function_todo
/export/users/kyukhin/gcc/git/gcc2/gcc/passes.c:1958
0xab2cfb execute_todo
/export/users/kyukhin/gcc/git/gcc2/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.
Looks like vectorizer issue. w/o -tree-vectorize it compiles.
