[Bug tree-optimization/85863] New: [9 Regression] ICE in compiling spec2006 fortran test case solib.fppized.f starting with r260283

[seurer at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85863

            Bug ID: 85863
           Summary: [9 Regression] ICE in compiling spec2006 fortran test
                    case solib.fppized.f starting with r260283
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
  Target Milestone: ---

I think the test case (part of 416.gamess) is generated by the spec2006 test
run as it appears in the build directory.  Unfortunately it is a large test
case and I don't know fortran well enough to extract a smaller example of
failing code.

I see this with both powerpc64 BE and LE.

seurer@genoa:~/gcc/cpu2006$ /home/seurer/gcc/install/gcc-test2/bin/gfortran -c
-o solib.fppized.o -m64 -O3 -mcpu=power8 -ffast-math -funroll-loops
-fpeel-loops -fvect-cost-model -mpopcntd -mrecip=rsqrt -funconstrained-commons
-std=legacy
./benchspec/CPU2006/416.gamess/build/build_base_ppc64.0000/solib.fppized.f
./benchspec/CPU2006/416.gamess/build/build_base_ppc64.0000/solib.fppized.f:1300:72:

       CALL GETSTSYM(X(LSTSYM),X(JSODA),IROOTS)
                                                                        1
Warning: Type mismatch in argument 'istsym' at (1); passed REAL(8) to
INTEGER(4) [-Wargument-mismatch]
./benchspec/CPU2006/416.gamess/build/build_base_ppc64.0000/solib.fppized.f:1301:72:

       CALL ASSORCI(X(LSTSYM),X(LNCIOR),X(LIRCIOR),IROOTS)
                                                                        1
Warning: Type mismatch in argument 'istsym' at (1); passed REAL(8) to
INTEGER(4) [-Wargument-mismatch]
./benchspec/CPU2006/416.gamess/build/build_base_ppc64.0000/solib.fppized.f:1303:72:

       CALL INTSYM(MULST,IROOTS,X(LSTSYM),IRRL,GSYLYES)
                                                                        1
Warning: Type mismatch in argument 'istsym' at (1); passed REAL(8) to
INTEGER(4) [-Wargument-mismatch]
./benchspec/CPU2006/416.gamess/build/build_base_ppc64.0000/solib.fppized.f:1488:0:

       SUBROUTINE SOBOOK(IW,ICI1,ICI2,IROOTS,SOL1MUL,SOL2MUL,STMMUL,

Error: invalid vector comparison resulting type
vector(2) <unnamed type>
vect__ifc__995.2248_892 = VEC_COND_EXPR <vect_cst__896 == vect_cst__895,
vect_cst__893, vect__ifc__1001.2247_929>;
during GIMPLE pass: vect
./benchspec/CPU2006/416.gamess/build/build_base_ppc64.0000/solib.fppized.f:1488:0:
internal compiler error: verify_gimple failed
0x10ae2d37 verify_gimple_in_cfg(function*, bool)
        /home/seurer/gcc/gcc-test2/gcc/tree-cfg.c:5361
0x1094d5c3 execute_function_todo
        /home/seurer/gcc/gcc-test2/gcc/passes.c:1994
0x1094edab do_per_function
        /home/seurer/gcc/gcc-test2/gcc/passes.c:1659
0x1094efbb execute_todo
        /home/seurer/gcc/gcc-test2/gcc/passes.c:2048