When the Polyhedron 2005 benchmark induct.f90 is compiled with...
gfortran -O3 -fgraphite-identity -floop-interchange induct.f90 -o induct
...the compiler ICEs with errors of the form...
induct.f90: In function ‘mutual_ind_quad_cir_coil’:
induct.f90:1441:0: error: virtual SSA name for non-VOP decl
while verifying SSA_NAME var.1895_512 in statement
# .MEM_407 = VDEF <.MEM_408>
var.1895_512 = __builtin_cexpi (var.1894_513);
induct.f90:1441:0: error: virtual SSA name for non-VOP decl
while verifying SSA_NAME var.1893_518 in statement
# .MEM_408 = VDEF <.MEM_409>
var.1893_518 = __builtin_cexpi (var.1892_1429);
induct.f90:1441:0: error: virtual SSA name for non-VOP decl
while verifying SSA_NAME var.1890_579 in statement
# .MEM_409 = VDEF <.MEM_410>
var.1890_579 = __builtin_cexpi (var.1889_580);
induct.f90:1441:0: error: virtual SSA name for non-VOP decl
while verifying SSA_NAME var.1888_597 in statement
....
while verifying SSA_NAME var.2069_3678 in statement
# .MEM_3715 = VDEF <.MEM_3714>
var.2069_3678 = __builtin_cexpi (var.2068_3677);
induct.f90:1441:0: error: virtual SSA name for non-VOP decl
while verifying SSA_NAME var.2071_3685 in statement
# .MEM_3716 = VDEF <.MEM_3715>
var.2071_3685 = __builtin_cexpi (var.2070_3684);
induct.f90:1441:0: internal compiler error: in is_hidden_global_store, at
tree-ssa-sink.c:196
The ICE doesn't occur with -O2 -fgraphite-identity -floop-interchange.
Using built-in specs.
Target: x86_64-apple-darwin10
Configured with: ../gcc-4.5-20090805/configure --prefix=/sw
--prefix=/sw/lib/gcc4.5 --mandir=/sw/share/man --infodir=/sw/share/info
--enable-languages=c,c++,fortran,objc,java --with-gmp=/sw
--with-libiconv-prefix=/sw --with-ppl=/sw --with-cloog=/sw --with-system-zlib
--x-includes=/usr/X11R6/include --x-libraries=/usr/X11R6/lib
--disable-libjava-multilib --build=x86_64-apple-darwin10
--host=x86_64-apple-darwin10 --target=x86_64-apple-darwin10
Thread model: posix
gcc version 4.5.0 20090805 (experimental) (GCC)
with http://gcc.gnu.org/ml/gcc-patches/2009-08/msg00220.html and
http://gcc.gnu.org/ml/gcc-patches/2009-08/msg00294.html applied to r150500.
--
Summary: induct.f90 ICEs compiler using -O3 -fgraphite-identity -
floop-interchange
Product: gcc
Version: 4.5.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: howarth at nitro dot med dot uc dot edu
GCC build triplet: x86_64-apple-darwin10
GCC host triplet: x86_64-apple-darwin10
GCC target triplet: x86_64-apple-darwin10
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40982
