[Bug tree-optimization/50183] New: ICE in verify_ssa for 416.gamess when optimizing using profile data

[wschmidt at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50183

             Bug #: 50183
           Summary: ICE in verify_ssa for 416.gamess when optimizing using
                    profile data
    Classification: Unclassified
           Product: gcc
           Version: 4.6.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: wschm...@gcc.gnu.org
                CC: berg...@gcc.gnu.org
              Host: powerpc64-linux
            Target: powerpc64-linux
             Build: powerpc64-linux


Created attachment 25095
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25095
Test case

The following occurs on powerpc64-linux in gcc-4_6-branch and
ibm/gcc-4_6-branch, but not on trunk.  The options listed are the minimum
required to exhibit the bug.  The full test case is attached, together with the
profile data.  Because profile data contains location information, reducing the
test case isn't practical.


> /home/wschmidt/gcc/install/gcc-4_6-branch/libexec/gcc/powerpc64-linux/4.6.2/f951
>  -O3 -fprofile-use -ffast-math -floop-interchange grd2c.fppized.f
grd2c.fppized.f:1105.21:

         CALL JKGNMV(GNM,NUMG*NROOTS*3,NMAX,MMAX,                       
                     1
Warning: Type mismatch in argument 'gnm' at (1); passed REAL(8) to REAL(4)
grd2c.fppized.f:1116.21:

         CALL JKXYZV(GIJKL,GIJKL,GNKL,GNKL,GNKL,GNM,GNM,                
                     1
Warning: Type mismatch in argument 'gijkl' at (1); passed REAL(8) to REAL(4)
grd2c.fppized.f:1129.21:

         CALL JDXYZV(GIJKL,GIJKL,GIJKL,GIJKL,GIJKL,GIJKL,GIJKL,GIJKL,   
                     1
Warning: Type mismatch in argument 'gi' at (1); passed REAL(8) to REAL(4)
grd2c.fppized.f:1150.33:

         CALL DSPDFV(NUMG,NROOTS,IJKLG,GINT,FINT,SINT,GIJKL,            
                                 1
Warning: Rank mismatch in argument 'ijklg' at (1) (scalar and rank-2)
 jkdout jkdinv dspdfv dspdfs jkdzer jdxyzv jdxyzs jkxyzv spec_jkxyzs jkgnmv
jkgnms jkbcdf jkwrys jkdspd jkxyzs
Analyzing compilation unit
Performing interprocedural optimizations
 <*free_lang_data> <visibility> <early_local_cleanups> {GC 5613k -> 3437k} {GC
5396k -> 4027k} <tree_profile_ipa> <increase_alignment> <whole-program>
<ipa-profile> <cp> <inline> <pure-const> <static-var>Assembling functions:
 jkdout
grd2c.fppized.f: In function ‘jkdout’:
grd2c.fppized.f:784:0: error: missing definition
for SSA_NAME: err2.395_561 in statement:
err2_lsm.820_574 = PHI <err2.395_561(73)>
PHI argument
err2.395_561
for PHI node
err2_lsm.820_574 = PHI <err2.395_561(73)>
grd2c.fppized.f:784:0: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.