[Bug middle-end/53217] [4.8 Regression] internal compiler error: verify_ssa failed

[Bug middle-end/53217] [4.8 Regression] internal compiler error: verify_ssa failed

[Joost.VandeVondele at mat dot ethz.ch]

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

--- Comment #1 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> 2012-05-03 18:38:27 UTC ---
The following testcase causes an ICE with current trunk (4.8)

MODULE xc_cs1
  INTEGER, PARAMETER :: dp=KIND(0.0D0)
  REAL(KIND=dp), PARAMETER :: a = 0.04918_dp, &
                              c = 0.2533_dp, &
                              d = 0.349_dp
CONTAINS
  SUBROUTINE cs1_u_2 ( rho, grho, r13, e_rho_rho, e_rho_ndrho, e_ndrho_ndrho,&
       npoints, error)
    REAL(KIND=dp), DIMENSION(*), &
      INTENT(INOUT)                          :: e_rho_rho, e_rho_ndrho, &
                                                e_ndrho_ndrho
    DO ip = 1, npoints
      IF ( rho(ip) > eps_rho ) THEN
         oc = 1.0_dp/(r*r*r3*r3 + c*g*g)
         d2rF4 = c4p*f13*f23*g**4*r3/r * (193*d*r**5*r3*r3+90*d*d*r**5*r3 &
                 -88*g*g*c*r**3*r3-100*d*d*c*g*g*r*r*r3*r3 &
                 +104*r**6)*od**3*oc**4
         e_rho_rho(ip) = e_rho_rho(ip) + d2F1 + d2rF2 + d2F3 + d2rF4
      END IF
    END DO
  END SUBROUTINE cs1_u_2
END MODULE xc_cs1


gfortran -O1  -ffast-math  bug.f90 
bug.f90: In function ‘cs1_u_2’:
bug.f90:7:0: error: definition in block 4 follows the use
   SUBROUTINE cs1_u_2 ( rho, grho, r13, e_rho_rho, e_rho_ndrho, e_ndrho_ndrho,&
 ^
for SSA_NAME: reassocpow.5_24 in statement:
reassocpow.5_99 = __builtin_powi (reassocpow.5_24, 2);
bug.f90:7:0: internal compiler error: verify_ssa failed
   SUBROUTINE cs1_u_2 ( rho, grho, r13, e_rho_rho, e_rho_ndrho, e_ndrho_ndrho,&

[Bug middle-end/53217] New: [4.8 Regression] internal compiler error: verify_ssa failed

[Joost.VandeVondele at mat dot ethz.ch]

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

             Bug #: 53217
           Summary: [4.8 Regression] internal compiler error: verify_ssa
                    failed
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: Joost.VandeVondele@mat.ethz.ch

[Bug middle-end/53217] [4.8 Regression] internal compiler error: verify_ssa failed

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-05-03
                 CC|                            |wschmidt at linux dot
                   |                            |vnet.ibm.com
   Target Milestone|---                         |4.8.0
     Ever Confirmed|0                           |1

[Bug middle-end/53217] [4.8 Regression] internal compiler error: verify_ssa failed

[hjl.tools at gmail dot com]

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

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> 2012-05-03 22:53:39 UTC ---
It is caused by revision 186568:

http://gcc.gnu.org/ml/gcc-cvs/2012-04/msg00519.html

[Bug middle-end/53217] [4.8 Regression] internal compiler error: verify_ssa failed

[wschmidt at gcc dot gnu.org]

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

William J. Schmidt <wschmidt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |wschmidt at gcc dot gnu.org
         AssignedTo|unassigned at gcc dot       |wschmidt at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #3 from William J. Schmidt <wschmidt at gcc dot gnu.org> 2012-05-04 13:35:32 UTC ---
Investigating.

[Bug tree-optimization/53217] [4.8 Regression] internal compiler error: verify_ssa failed

[wschmidt at gcc dot gnu.org]

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

William J. Schmidt <wschmidt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |bergner at gcc dot gnu.org
          Component|middle-end                  |tree-optimization

[Bug tree-optimization/53217] [4.8 Regression] internal compiler error: verify_ssa failed

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |venkataramanan.kumar at amd
                   |                            |dot com

--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-09 09:15:22 UTC ---
*** Bug 53290 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/53217] [4.8 Regression] internal compiler error: verify_ssa failed

[wschmidt at gcc dot gnu.org]

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

--- Comment #5 from William J. Schmidt <wschmidt at gcc dot gnu.org> 2012-05-16 14:39:40 UTC ---
Author: wschmidt
Date: Wed May 16 14:39:32 2012
New Revision: 187595

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

2012-05-16  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

    PR tree-optimization/53217
    * tree-ssa-reassoc.c (bip_map): New static variable.
    (possibly_move_powi): Move feeding multiplies with __builtin_powi call.
    (attempt_builtin_powi): Save feeding multiplies on a stack.
    (reassociate_bb): Create and destroy bip_map.

gcc/testsuite:

2012-05-16  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

    PR tree-optimization/53217
    * gfortran.dg/pr53217.f90: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/pr53217.f90
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-reassoc.c

[Bug tree-optimization/53217] [4.8 Regression] internal compiler error: verify_ssa failed

[wschmidt at gcc dot gnu.org]

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

William J. Schmidt <wschmidt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #6 from William J. Schmidt <wschmidt at gcc dot gnu.org> 2012-05-16 14:40:37 UTC ---
Fixed.