[Bug tree-optimization/34140] New: [4.3 Regression] ICE in is_hidden_global_store, at tree-ssa-sink.c:207

[Bug tree-optimization/34140] New: [4.3 Regression] ICE in is_hidden_global_store, at tree-ssa-sink.c:207

[tbm at cyrius dot com]

With current trunk.  This was introduced between 20070916 and 20071020.

(sid)1687:tbm@em64t: ~] /usr/lib/gcc-snapshot/bin/gcc -c -O3 -Wall
gnubg-rollout.c
gnubg-rollout.c: In function 'RolloutGeneral':
gnubg-rollout.c:15: internal compiler error: in is_hidden_global_store, at
tree-ssa-sink.c:207
Please submit a full bug report,
with preprocessed source if appropriate.


-- 
           Summary: [4.3 Regression] ICE in is_hidden_global_store, at tree-
                    ssa-sink.c:207
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com


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

[Bug tree-optimization/34140] [4.3 Regression] ICE in is_hidden_global_store, at tree-ssa-sink.c:207

[tbm at cyrius dot com]

------- Comment #2 from tbm at cyrius dot com  2007-11-18 11:20 -------
/* Testcase by Martin Michlmayr <tbm@cyrius.com> */

typedef struct
{
  unsigned int fCubeful;
}
evalcontext;
typedef struct
{
  evalcontext aec[2];
  unsigned int fCubeful:1;
}
rolloutcontext;
void RolloutGeneral (int alternatives, int fCubeRollout, int et)
{
  int i;
  rolloutcontext rc;

  rc.fCubeful = rc.fCubeful;
  for (i = 0; i < alternatives; i++)
    if (et != 1)
      rc.aec[i].fCubeful = fCubeRollout || rc.fCubeful;
}


-- 


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

[Bug tree-optimization/34140] [4.3 Regression] ICE in is_hidden_global_store, at tree-ssa-sink.c:207

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2007-11-18 11:20 -------
Created an attachment (id=14575)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14575&action=view)
preprocessed source


-- 


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

[Bug tree-optimization/34140] [4.3 Regression] ICE in is_hidden_global_store, at tree-ssa-sink.c:207

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2007-11-18 14:44 -------
Confirmed.  Called from tree_ssa_dce_loop ().

# VUSE <rc_47, rc_47> { rc }
# rc_45 = VDEF <rc_45> { rc }
rc_45 = D.1197_49 != 0 ? rc_47 : rc_47

WTF?  tree if-conversion generates this crap.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-11-18 14:44:14
               date|                            |
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/34140] [4.3 Regression] ICE in is_hidden_global_store, at tree-ssa-sink.c:207

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2007-11-20 09:08 -------
(In reply to comment #3)
> WTF?  tree if-conversion generates this crap.

It split up the store to rc.aec[i].fCubeful .


-- 


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

[Bug tree-optimization/34140] [4.3 Regression] ICE in is_hidden_global_store, at tree-ssa-sink.c:207

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2007-11-20 09:13 -------
Well I don't think ifcvt is fully to be blamed here:

  if (D.1542_49 != 0)
    goto <bb 13>;
  else
    goto <bb 12>;

<bb 12>:
  # prephitmp.14_44 = PHI <1(13), 0(11)>
  # rc_45 = PHI <rc_47(13), rc_47(11)>

Why do we have that last PHI anyways?  Unswitch creates it.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rakdver at gcc dot gnu dot
                   |                            |org


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

[Bug tree-optimization/34140] [4.3 Regression] ICE in is_hidden_global_store, at tree-ssa-sink.c:207

[rakdver at kam dot mff dot cuni dot cz]

------- Comment #6 from rakdver at kam dot mff dot cuni dot cz  2007-11-20 13:56 -------
Subject: Re:  [4.3 Regression] ICE in is_hidden_global_store, at
tree-ssa-sink.c:207

> 
> 
> ------- Comment #5 from pinskia at gcc dot gnu dot org  2007-11-20 09:13 -------
> Well I don't think ifcvt is fully to be blamed here:
> 
>   if (D.1542_49 != 0)
>     goto <bb 13>;
>   else
>     goto <bb 12>;
> 
> <bb 12>:
>   # prephitmp.14_44 = PHI <1(13), 0(11)>
>   # rc_45 = PHI <rc_47(13), rc_47(11)>
> 
> Why do we have that last PHI anyways?  Unswitch creates it.

I think more important question is why we do not optimize it out (many
other optimizations, e.g. copy propagation, may create such phi nodes).


-- 


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

[Bug tree-optimization/34140] [4.3 Regression] ICE in is_hidden_global_store, at tree-ssa-sink.c:207

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug tree-optimization/34140] [4.3 Regression] ICE in is_hidden_global_store, at tree-ssa-sink.c:207

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2007-
                   |                            |11/msg01548.html
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-11-18 14:44:14         |2007-11-28 13:06:05
               date|                            |


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

[Bug tree-optimization/34140] [4.3 Regression] ICE in is_hidden_global_store, at tree-ssa-sink.c:207

[jakub at gcc dot gnu dot org]

------- Comment #7 from jakub at gcc dot gnu dot org  2007-11-28 19:48 -------
Subject: Bug 34140

Author: jakub
Date: Wed Nov 28 19:48:19 2007
New Revision: 130494

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130494
Log:
        PR tree-optimization/34140
        * tree-if-conv.c (if_convertible_phi_p): Fail if BB other than
        loop->header has virtual phi nodes.

        * gcc.c-torture/compile/20071128-1.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/20071128-1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-if-conv.c


-- 


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

[Bug tree-optimization/34140] [4.3 Regression] ICE in is_hidden_global_store, at tree-ssa-sink.c:207

[jakub at gcc dot gnu dot org]

------- Comment #8 from jakub at gcc dot gnu dot org  2007-11-28 19:49 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

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


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