[Bug tree-optimization/42337] New: GCC ICE in compute_antic, at tree-ssa-pre.c:2534

[Bug tree-optimization/42337] New: GCC ICE in compute_antic, at tree-ssa-pre.c:2534

[xinliangli at gmail dot com]

Compiling the attached test case, trunk gcc ICEs (or run out of memory without
the checking). The symptom is similar to the one before PR/41101

The root cause of the problem is the result of an expr's phi_translate depends
on the context it is done -- it may return NULL if it is translated as a
sub-expression due to a bug in the cycle detection.  In this case, after
inlining, there is a loop with swapping code. In computing the ANTIC_IN for the
latch block, the resulting set is ping-ponging -- with two expressions
translated to each other back and forth. The reason that only one of the
expression is in the initial set is due to the translation bug mentioned above.


David


-- 
           Summary: GCC ICE  in compute_antic, at tree-ssa-pre.c:2534
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: xinliangli at gmail dot com


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

[Bug tree-optimization/42337] GCC ICE in compute_antic, at tree-ssa-pre.c:2534

[xinliangli at gmail dot com]

------- Comment #1 from xinliangli at gmail dot com  2009-12-08 23:10 -------
Created an attachment (id=19263)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19263&action=view)
bug test case


-- 


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

[Bug tree-optimization/42337] GCC ICE in compute_antic, at tree-ssa-pre.c:2534

[davidxl at gcc dot gnu dot org]

------- Comment #2 from davidxl at gcc dot gnu dot org  2009-12-09 18:07 -------
Fixed in r155111.


-- 

davidxl at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/42337] GCC ICE in compute_antic, at tree-ssa-pre.c:2534

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|major                       |normal
           Keywords|                            |ice-on-valid-code
   Target Milestone|---                         |4.5.0


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

[Bug tree-optimization/42337] GCC ICE in compute_antic, at tree-ssa-pre.c:2534

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2009-12-10 16:01 -------
Subject: Bug 42337

Author: rguenth
Date: Thu Dec 10 16:00:57 2009
New Revision: 155131

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=155131
Log:
2009-12-10  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/42337
        * tree-ssa-pre.c (seen_during_translate): Remove.
        (phi_translate_1): Collapse into ...
        (phi_translate): ... this.  Remove seen parameter and
        adjust recursive calls.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-ssa-pre.c


-- 


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

[Bug tree-optimization/42337] GCC ICE in compute_antic, at tree-ssa-pre.c:2534

[mikpe at it dot uu dot se]

------- Comment #4 from mikpe at it dot uu dot se  2009-12-14 12:57 -------
This bug is also present in gcc-4.4-20091208 but not in gcc-4.3-20091206. The
two fixes listed here apply Ok to 4.4 and solve the problem there w/o
regressions (tested on i686, powerpc64, and arm).


-- 

mikpe at it dot uu dot se changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mikpe at it dot uu dot se


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

[Bug tree-optimization/42337] [4.4 Regression] GCC ICE in compute_antic, at tree-ssa-pre.c:2534

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2009-12-14 12:59 -------
Re-open to mark as regression for 4.4.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
      Known to fail|                            |4.4.3
      Known to work|                            |4.3.4 4.5.0
         Resolution|FIXED                       |
            Summary|GCC ICE  in compute_antic,  |[4.4 Regression] GCC ICE  in
                   |at tree-ssa-pre.c:2534      |compute_antic, at tree-ssa-
                   |                            |pre.c:2534
   Target Milestone|4.5.0                       |4.4.3


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

[Bug tree-optimization/42337] [4.4 Regression] GCC ICE in compute_antic, at tree-ssa-pre.c:2534

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2009-12-14 12:59 -------
I'll take care of a backport after some more testing on the trunk.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-12-14 12:59:30
               date|                            |


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

[Bug tree-optimization/42337] [4.4 Regression] GCC ICE in compute_antic, at tree-ssa-pre.c:2534

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2010-01-02 17:12 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
      Known to fail|4.4.3                       |4.4.2
      Known to work|4.3.4 4.5.0                 |4.3.4 4.4.3 4.5.0
         Resolution|                            |FIXED


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

[Bug tree-optimization/42337] [4.4 Regression] GCC ICE in compute_antic, at tree-ssa-pre.c:2534

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2010-01-02 17:12 -------
Subject: Bug 42337

Author: rguenth
Date: Sat Jan  2 17:12:15 2010
New Revision: 155573

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=155573
Log:
2010-01-02  Richard Guenther  <rguenther@suse.de>

        Backport from mainline
        2009-12-10  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/42337
        * tree-ssa-pre.c (seen_during_translate): Remove.
        (phi_translate_1): Collapse into ...
        (phi_translate): ... this.  Remove seen parameter and
        adjust recursive calls.

        Backport from mainline
        2009-12-09  Xinliang David Li  <davidxl@google.com>

        PR tree-optimization/42337
        * g++.dg/tree-ssa/pr42337.C: New test.

Added:
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/tree-ssa/pr42337.C
Modified:
    branches/gcc-4_4-branch/gcc/ChangeLog
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_4-branch/gcc/tree-ssa-pre.c


-- 


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