[Bug lto/44152] New: ICE on compiling xshow.f of xplor-nih with -O3 -ffast-math -fwhopr

[Bug lto/44152] New: ICE on compiling xshow.f of xplor-nih with -O3 -ffast-math -fwhopr

[howarth at nitro dot med dot uc dot edu]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 5641 bytes --]

The compilation of xshow.f of the xplor-nih package causes a compiler ICE
for...

gfortran -c xshow.f -O3 -ffast-math -fwhopr -fdefault-integer-8
-ffixed-line-length-120 -fno-second-underscore
xshow.f:295.7:

     & HEAP(VSTACK),HEAP(LSTACK),                                              
       1
Warning: Type mismatch in argument 'vstack' at (1); passed INTEGER(8) to
COMPLEX(8)
xshow.f:367.7:

     & HEAP(VSTACK),HEAP(LSTACK),HEAP(INDEX),HEAP(HPH),                        
       1
Warning: Type mismatch in argument 'vstack' at (1); passed INTEGER(8) to
COMPLEX(8)
xshow.f: In function ‘xshow_’:
xshow.f:2:0: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

This doesn't occur with "-O2 -ffast-math -fwhopr" and also is triggered by the
minimal subset of compiler options "-O2 -fipa-cp-clone -ftree-vectorize
-fno-signed-zeros -fno-trapping-math -fassociative-math -fwhopr". The
segmentation fault backtraces in gdb as...

(gdb) r xshow.f -ffixed-form -fPIC -quiet -dumpbase xshow.f
-mmacosx-version-min=10.6.3 -mtune=generic -auxbase xshow -O2 -version
-fipa-cp-clone -ftree-vectorize -fno-signed-zeros -fno-trapping-math
-fassociative-math -fwhopr -fdefault-integer-8 -ffixed-line-length-120
-fno-second-underscore -fintrinsic-modules-path
/sw/lib/gcc4.6/lib/gcc/x86_64-apple-darwin10.3.0/4.6.0/finclude -o
/var/folders/1C/1CdoNxmNFHyOIjNBLNuJh++++TM/-Tmp-//ccdh1126.s
Starting program:
/sw/lib/gcc4.6/libexec/gcc/x86_64-apple-darwin10.3.0/4.6.0/f951 xshow.f
-ffixed-form -fPIC -quiet -dumpbase xshow.f -mmacosx-version-min=10.6.3
-mtune=generic -auxbase xshow -O2 -version -fipa-cp-clone -ftree-vectorize
-fno-signed-zeros -fno-trapping-math -fassociative-math -fwhopr
-fdefault-integer-8 -ffixed-line-length-120 -fno-second-underscore
-fintrinsic-modules-path
/sw/lib/gcc4.6/lib/gcc/x86_64-apple-darwin10.3.0/4.6.0/finclude -o
/var/folders/1C/1CdoNxmNFHyOIjNBLNuJh++++TM/-Tmp-//ccdh1126.s
Reading symbols for shared libraries .++++++++++++..... done
GNU Fortran (GCC) version 4.6.0 20100515 (experimental) [trunk revision 159301]
(x86_64-apple-darwin10.3.0)
        compiled by GNU C version 4.6.0 20100515 (experimental) [trunk revision
159301], GMP version 4.3.2, MPFR version 2.4.2-p3, MPC version 0.8.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
GNU Fortran (GCC) version 4.6.0 20100515 (experimental) [trunk revision 159301]
(x86_64-apple-darwin10.3.0)
        compiled by GNU C version 4.6.0 20100515 (experimental) [trunk revision
159301], GMP version 4.3.2, MPFR version 2.4.2-p3, MPC version 0.8.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
xshow.f:295.7:

     & HEAP(VSTACK),HEAP(LSTACK),                                              
       1
Warning: Type mismatch in argument 'vstack' at (1); passed INTEGER(8) to
COMPLEX(8)
xshow.f:367.7:

     & HEAP(VSTACK),HEAP(LSTACK),HEAP(INDEX),HEAP(HPH),                        
       1
Warning: Type mismatch in argument 'vstack' at (1); passed INTEGER(8) to
COMPLEX(8)

Program received signal EXC_BAD_ACCESS, Could not access memory.
Reason: KERN_INVALID_ADDRESS at address: 0x0000000000000004
vect_mark_slp_stmts (node=<value temporarily unavailable, due to
optimizations>, mark=pure_slp, j=-1) at
../../gcc-4.6-20100515/gcc/tree-vect-slp.c:2391
2391    }
(gdb) bt
#0  vect_mark_slp_stmts (node=<value temporarily unavailable, due to
optimizations>, mark=pure_slp, j=-1) at
../../gcc-4.6-20100515/gcc/tree-vect-slp.c:2391
#1  0x000000010072e754 in vect_make_slp_decision (loop_vinfo=0x1425dd990) at
../../gcc-4.6-20100515/gcc/tree-vect-slp.c:1261
#2  0x0000000100725a5b in vect_analyze_loop (loop=<value temporarily
unavailable, due to optimizations>) at
../../gcc-4.6-20100515/gcc/tree-vect-loop.c:1495
#3  0x000000010073144a in vectorize_loops () at
../../gcc-4.6-20100515/gcc/tree-vectorizer.c:219
#4  0x000000010056185a in execute_one_pass (pass=0x100aeefc0) at
../../gcc-4.6-20100515/gcc/passes.c:1591
#5  0x0000000100561afd in execute_pass_list (pass=0x100aeefc0) at
../../gcc-4.6-20100515/gcc/passes.c:1646
#6  0x0000000100561b0f in execute_pass_list (pass=0x100aef1a0) at
../../gcc-4.6-20100515/gcc/passes.c:1647
#7  0x0000000100561b0f in execute_pass_list (pass=0x100aee3c0) at
../../gcc-4.6-20100515/gcc/passes.c:1647
#8  0x0000000100659ba5 in tree_rest_of_compilation (fndecl=0x142643f00) at
../../gcc-4.6-20100515/gcc/tree-optimize.c:413
#9  0x00000001007b6950 in cgraph_expand_function (node=0x14240aa80) at
../../gcc-4.6-20100515/gcc/cgraphunit.c:1622
#10 0x00000001007b8cc9 in cgraph_optimize () at
../../gcc-4.6-20100515/gcc/cgraphunit.c:1701
#11 0x00000001007b91ea in cgraph_finalize_compilation_unit () at
../../gcc-4.6-20100515/gcc/cgraphunit.c:1161
#12 0x0000000100501b36 in write_global_declarations () at
../../gcc-4.6-20100515/gcc/langhooks.c:309
#13 0x0000000100613620 in toplev_main (argc=26, argv=0x7fff5fbfed68) at
../../gcc-4.6-20100515/gcc/toplev.c:1061
#14 0x0000000100001094 in start ()


-- 
           Summary: ICE on compiling xshow.f of xplor-nih with -O3 -ffast-
                    math -fwhopr
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: lto
        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=44152

[Bug lto/44152] ICE on compiling xshow.f of xplor-nih with -O3 -ffast-math -fwhopr

[howarth at nitro dot med dot uc dot edu]

------- Comment #1 from howarth at nitro dot med dot uc dot edu  2010-05-15 15:21 -------
Created an attachment (id=20669)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20669&action=view)
testcase for xshow.f  -O2 -fipa-cp-clone -ftree-vectorize -fno-signed-zeros
-fno-trapping-math -fassociative-math -fwhopr ICE


-- 


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

[Bug lto/44152] ICE on compiling xshow.f of xplor-nih with -O3 -ffast-math -fwhopr

[dominiq at lps dot ens dot fr]

------- Comment #2 from dominiq at lps dot ens dot fr  2010-05-15 16:08 -------
AFAICT -fwhole-file is enough to get the ICE: '-O2 -fipa-cp-clone
-ftree-vectorize -fno-signed-zeros -fno-trapping-math -fassociative-math
-fwhole-file'.


-- 


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

[Bug lto/44152] ICE on compiling xshow.f of xplor-nih with -O3 -ffast-math -fwhopr

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2010-07-22 14:47 -------
Confirmed.  We ICE in the vectorizer SLPing.

Somewhat reduced testcase:

      SUBROUTINE XSHOW(MAASY,MBASY,MCASY,NAASY,NBASY,NCASY,
     &      XRMREF,XRNSYM2,XRSYMM2,XRITSY2,MBINS)
      INTEGER HEAPDM
      PARAMETER (HEAPDM=2)
      INTEGER HEAP(HEAPDM)
      INTEGER HPMXUS
      INTEGER HPCURR
      COMMON // HEAP, HPMXUS, HPCURR
      CHARACTER*2 TYPE, TYPE2, DOMAIN, DOMAIN2
      CHARACTER*4 SHOW
      DOUBLE COMPLEX SHOW1,SHOW2
      INTEGER VLEVEL, DEPTH
      DO WHILE (START.LE.STOP)
      CALL XMDOMAK(A,B,C,HEAP(INDEXA),HEAP(INDEXB),HEAP(INDEXC),
     & HEAP(INDEXA),HEAP(INDEXB),HEAP(INDEXC),XRNSYM)
      CALL XMDOSHO(SHOW,SHOW1,SHOW2,NSHOW,TYPE,VLEVEL,DEPTH,NSELE,
     & HEAP(VSTACK),HEAP(LSTACK),
     & MAASY,MBASY,MCASY,NAASY,NBASY,NCASY,
     & HEAP(HPRHOMA))
      END DO
      END
      SUBROUTINE XMDOSHO(SHOW,SHOW1,SHOW2,NSHOW,TYPE,
     &                   VLEVEL,VMAX,N,VSTACK,LSTACK,
     &                   MAASY,MBASY,MCASY,NAASY,NBASY,NCASY,RHOMASK)
      CHARACTER*(*) SHOW
      DOUBLE COMPLEX SHOW1, SHOW2
      CHARACTER*(*) TYPE
      INTEGER VLEVEL, VMAX, N
      DOUBLE COMPLEX VSTACK(N,VMAX)
      DOUBLE COMPLEX LSHOW1
      DO I=1,N
      LSHOW1=LSHOW1+VSTACK(I,VLEVEL)
      END DO
      SHOW1=LSHOW1
      END


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |irar at gcc dot gnu dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-07-22 14:47:20
               date|                            |


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

[Bug lto/44152] ICE on compiling xshow.f of xplor-nih with -O3 -ffast-math -fwhopr

[irar at il dot ibm dot com]

------- Comment #4 from irar at il dot ibm dot com  2010-07-27 09:25 -------
I am testing a patch.


-- 

irar at il dot ibm dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |irar at il dot ibm dot com
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2010-07-22 14:47:20         |2010-07-27 09:25:25
               date|                            |


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

[Bug tree-optimization/44152] ICE on compiling xshow.f of xplor-nih with -O3 -ffast-math -fwhopr

[irar at gcc dot gnu dot org]

------- Comment #5 from irar at gcc dot gnu dot org  2010-07-27 12:26 -------
Subject: Bug 44152

Author: irar
Date: Tue Jul 27 12:26:31 2010
New Revision: 162564

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=162564
Log:

        PR tree-optimization/44152
        * tree-vect-slp.c (vect_build_slp_tree): Collect nodes with
        complex numbers for further check.
        (vect_supported_load_permutation_p): Check nodes with 
        complex numbers.


Added:
    trunk/gcc/testsuite/gcc.dg/vect/fast-math-pr44152.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vect-slp.c


-- 


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

[Bug tree-optimization/44152] ICE on compiling xshow.f of xplor-nih with -O3 -ffast-math -fwhopr

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2010-07-27 13:03 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.6.0


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