[Bug tree-optimization/46036] New: [4.6 Regression] verify_ssa failed: definition in block 3 follows the use

[Bug tree-optimization/46036] New: [4.6 Regression] verify_ssa failed: definition in block 3 follows the use

[rguenth at gcc dot gnu.org]

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

           Summary: [4.6 Regression] verify_ssa failed: definition in
                    block 3 follows the use
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: rguenth@gcc.gnu.org


function no_of_edges(self) result(res)
      integer(kind=kind(1)) :: edge_bit_string
      integer(kind=kind(1)) :: res
      integer(kind=kind(1)) :: e
      do e = 0, 11
        if (.not. btest(edge_bit_string,e)) cycle
        res = res + 1
      end do
   end function

> ./f951 -quiet -O -ftree-vectorize -flto t.f90 
t.f90: In function 'no_of_edges_':
t.f90:1:0: error: definition in block 3 follows the use
for SSA_NAME: D.1536_19 in statement:
res_3 = [cond_expr] D.1536_19 ? res_12 : res_2;
t.f90:1: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.

for some reason needs -flto to trigger.  if-conversion produces:

<bb 3>:
  # e_1 = PHI <0(2), e_14(4)>
  # res_2 = PHI <res_6(D)(2), res_3(4)>
  # ivtmp.2_17 = PHI <12(2), ivtmp.2_18(4)>
  D.1524_8 = edge_bit_string_7(D) >> e_1;
  D.1525_9 = D.1524_8 & 1;
  D.1526_10 = (logical(kind=4)) D.1525_9;
  res_12 = res_2 + 1;
  res_3 = [cond_expr] D.1536_19 ? res_12 : res_2;
  e_14 = e_1 + 1;
  ivtmp.2_18 = ivtmp.2_17 - 1;
  D.1536_19 = (<unnamed type>) D.1526_10;
  D.1537_20 = !D.1536_19;
  D.1538_21 = D.1536_19 || D.1537_20;
  if (ivtmp.2_18 == 0)
    goto <bb 5>;
  else
    goto <bb 4>;

[Bug tree-optimization/46036] [4.6 Regression] verify_ssa failed: definition in block 3 follows the use

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |lto
                 CC|                            |spop at gcc dot gnu.org
   Target Milestone|---                         |4.6.0

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-10-15 14:13:09 UTC ---
This breaks 465.tonto with LTO.

[Bug tree-optimization/46036] [4.6 Regression] verify_ssa failed: definition in block 3 follows the use

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.10.26 01:03:32
                 CC|                            |jakub at gcc dot gnu.org
     Ever Confirmed|0                           |1

[Bug tree-optimization/46036] [4.6 Regression] verify_ssa failed: definition in block 3 follows the use

[spop at gcc dot gnu.org]

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

Sebastian Pop <spop at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

--- Comment #2 from Sebastian Pop <spop at gcc dot gnu.org> 2010-11-03 20:52:18 UTC ---
Mine.

[Bug tree-optimization/46036] [4.6 Regression] verify_ssa failed: definition in block 3 follows the use

[spop at gcc dot gnu.org]

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

--- Comment #3 from Sebastian Pop <spop at gcc dot gnu.org> 2010-11-05 22:01:34 UTC ---
Created attachment 22299
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22299
patch

Here is a patch that solves the problem.
Not tested yet.

[Bug tree-optimization/46036] [4.6 Regression] verify_ssa failed: definition in block 3 follows the use

[spop at gcc dot gnu.org]

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

--- Comment #4 from Sebastian Pop <spop at gcc dot gnu.org> 2010-11-09 19:23:47 UTC ---
Author: spop
Date: Tue Nov  9 19:23:43 2010
New Revision: 166508

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

2010-11-09  Sebastian Pop  <sebastian.pop@amd.com>

    PR tree-optimization/46036
    * tree-if-conv.c (predicate_bbs): Call unshare_expr before
    add_to_dst_predicate_list.

    * gfortran.dg/lto/pr46036_0.f90: New.

Added:
    trunk/gcc/testsuite/gfortran.dg/lto/pr46036_0.f90
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-if-conv.c

[Bug tree-optimization/46036] [4.6 Regression] verify_ssa failed: definition in block 3 follows the use

[spop at gcc dot gnu.org]

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

Sebastian Pop <spop at gcc dot gnu.org> changed:

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

--- Comment #5 from Sebastian Pop <spop at gcc dot gnu.org> 2010-11-09 19:24:31 UTC ---
Fixed.