[Bug testsuite/36344] New: [4.3/4.4 Regression] gcc.dg/tree-ssa/loadpre8.c XFAILed

[Bug testsuite/36344] New: [4.3/4.4 Regression] gcc.dg/tree-ssa/loadpre8.c XFAILed

[rguenth at gcc dot gnu dot org]

$Summary.  Caused by the fix for PR36339.


-- 
           Summary: [4.3/4.4 Regression] gcc.dg/tree-ssa/loadpre8.c XFAILed
           Product: gcc
           Version: 4.3.1
            Status: UNCONFIRMED
          Keywords: missed-optimization, xfail
          Severity: normal
          Priority: P3
         Component: testsuite
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org
OtherBugsDependingO 36339
             nThis:


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

[Bug testsuite/36344] [4.3/4.4 Regression] gcc.dg/tree-ssa/loadpre8.c XFAILed

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.3.1


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

[Bug testsuite/36344] [4.3/4.4 Regression] gcc.dg/tree-ssa/loadpre8.c XFAILed

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2008-05-28 11:29 -------
The reason that the PRE no longer works is that the edge iterator ei is now
call clobbered.  It escapes to a pure/const function (which wouldn't make it
call clobbered alone) and it has its address taken which is why it is in
the list of addressable vars.  Now through the other calls there escape
pointers
that point to anything, so all addressable vars get clobbered.

A few things would help here:

 - properly track what can point to local variables

 - track addresses that are stored somewhere separately (in this case &ei is
   only passed to a pure/const call)

 - do type-based pruning of the call clobber variables.  This works only
   if an escaped pointer is _always_ dereferenced (thus the dereference
   site post-dominates the entry BB) - in contrast to pruning the points-to
   sets for dereference sites where we can prune in flow-insensitive way.


-- 


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

[Bug testsuite/36344] [4.3/4.4 Regression] gcc.dg/tree-ssa/loadpre8.c XFAILed

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-05-28 22:12:08
               date|                            |


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

[Bug testsuite/36344] [4.3/4.4 Regression] gcc.dg/tree-ssa/loadpre8.c XFAILed

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2008-06-06 14:59 -------
4.3.1 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.1                       |4.3.2


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

[Bug testsuite/36344] [4.3/4.4 Regression] gcc.dg/tree-ssa/loadpre8.c XFAILed

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug testsuite/36344] [4.3/4.4 Regression] gcc.dg/tree-ssa/loadpre8.c XFAILed

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2008-06-27 18:54 -------
Subject: Bug 36344

Author: rguenth
Date: Fri Jun 27 18:53:43 2008
New Revision: 137197

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=137197
Log:
2008-06-27  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/36400
        PR tree-optimization/36373
        PR tree-optimization/36344
        * tree-ssa-structalias.c (var_escaped, escaped_tree, escaped_id,
        var_nonlocal, nonlocal_tree, nonlocal_id): New globals
        (update_alias_info): Remove call clobbering code.
        (make_constraint_to): New helper function.
        (make_escape_constraint): Likewise.
        (handle_rhs_call): Use it on all pointer containing arguments.
        Also mark the static chain escaped.
        (handle_lhs_call): Make constraints from NONLOCAL and ESCAPED
        instead of ANYTHING.
        (make_constraint_from): New helper split out from ...
        (make_constraint_from_anything): ... here.
        (find_func_aliases): Add constraints for escape sites.
        (intra_create_variable_infos): Make constraints from NONLOCAL
        for parameters.
        (find_what_p_points_to): Interpret NONLOCAL and ESCAPED the same
        as ANYTHING.
        (clobber_what_p_points_to): Remove.
        (clobber_what_escaped): New function.
        (init_base_vars): Init NONLOCAL and ESCAPED.
        (do_sd_constraint): Do not propagate the solution from ESCAPED
        but use ESCAPED as a placeholder.
        (solve_graph): Likewise.
        * tree-flow.h (clobber_what_p_points_to): Remove.
        (clobber_what_escaped): Declare.
        * tree-ssa-alias.c (set_initial_properties): Call it.
        Remove code clobbering escaped pointers.

        * gcc.dg/torture/pr36373-1.c: New testcase.
        * gcc.dg/torture/pr36373-2.c: Likewise.
        * gcc.dg/torture/pr36373-3.c: Likewise.
        * gcc.dg/torture/pr36373-4.c: Likewise.
        * gcc.dg/torture/pr36373-5.c: Likewise.
        * gcc.dg/torture/pr36373-6.c: Likewise.
        * gcc.dg/torture/pr36373-7.c: Likewise.
        * gcc.dg/torture/pr36373-8.c: Likewise.
        * gcc.dg/torture/pr36373-9.c: Likewise.
        * gcc.dg/torture/pr36373-10.c: Likewise.
        * gcc.dg/torture/pr36400.c: Likewise.
        * gcc.c-torture/execute/pta-field-1.c: Likewise.
        * gcc.c-torture/execute/pta-field-2.c: Likewise.
        * gcc.dg/tree-ssa/loadpre8.c: Remove XFAIL.
        * gcc.dg/tree-ssa/pr24287.c: XFAIL.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/tree-ssa/loadpre8.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr24287.c
    trunk/gcc/tree-flow.h
    trunk/gcc/tree-ssa-alias.c
    trunk/gcc/tree-ssa-structalias.c


-- 


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

[Bug testsuite/36344] [4.3/4.4 Regression] gcc.dg/tree-ssa/loadpre8.c XFAILed

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2008-06-27 21:55 -------
Subject: Bug 36344

Author: rguenth
Date: Fri Jun 27 21:54:42 2008
New Revision: 137204

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=137204
Log:
2008-06-27  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/36400
        PR tree-optimization/36373
        PR tree-optimization/36344
        * tree-ssa-structalias.c (var_escaped, escaped_tree, escaped_id,
        var_nonlocal, nonlocal_tree, nonlocal_id): New globals
        (update_alias_info): Remove call clobbering code.
        (make_constraint_to): New helper function.
        (make_escape_constraint): Likewise.
        (handle_rhs_call): Use it on all pointer containing arguments.
        Also mark the static chain escaped.
        (handle_lhs_call): Make constraints from NONLOCAL and ESCAPED
        instead of ANYTHING.
        (make_constraint_from): New helper split out from ...
        (make_constraint_from_anything): ... here.
        (find_func_aliases): Add constraints for escape sites.
        (intra_create_variable_infos): Make constraints from NONLOCAL
        for parameters.
        (find_what_p_points_to): Interpret NONLOCAL and ESCAPED the same
        as ANYTHING.
        (clobber_what_p_points_to): Remove.
        (clobber_what_escaped): New function.
        (init_base_vars): Init NONLOCAL and ESCAPED.
        (do_sd_constraint): Do not propagate the solution from ESCAPED
        but use ESCAPED as a placeholder.
        (solve_graph): Likewise.
        * tree-flow.h (clobber_what_p_points_to): Remove.
        (clobber_what_escaped): Declare.
        * tree-ssa-alias.c (set_initial_properties): Call it.
        Remove code clobbering escaped pointers.

        * gcc.dg/torture/pr36373-1.c: New testcase.
        * gcc.dg/torture/pr36373-2.c: Likewise.
        * gcc.dg/torture/pr36373-3.c: Likewise.
        * gcc.dg/torture/pr36373-4.c: Likewise.
        * gcc.dg/torture/pr36373-5.c: Likewise.
        * gcc.dg/torture/pr36373-6.c: Likewise.
        * gcc.dg/torture/pr36373-7.c: Likewise.
        * gcc.dg/torture/pr36373-8.c: Likewise.
        * gcc.dg/torture/pr36373-9.c: Likewise.
        * gcc.dg/torture/pr36373-10.c: Likewise.
        * gcc.dg/torture/pr36400.c: Likewise.
        * gcc.c-torture/execute/pta-field-1.c: Likewise.
        * gcc.c-torture/execute/pta-field-2.c: Likewise.
        * gcc.dg/tree-ssa/loadpre8.c: Remove XFAIL.
        * gcc.dg/tree-ssa/pr24287.c: XFAIL.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pta-field-1.c
    trunk/gcc/testsuite/gcc.c-torture/execute/pta-field-2.c
    trunk/gcc/testsuite/gcc.dg/torture/pr36373-1.c
    trunk/gcc/testsuite/gcc.dg/torture/pr36373-10.c
    trunk/gcc/testsuite/gcc.dg/torture/pr36373-2.c
    trunk/gcc/testsuite/gcc.dg/torture/pr36373-3.c
    trunk/gcc/testsuite/gcc.dg/torture/pr36373-4.c
    trunk/gcc/testsuite/gcc.dg/torture/pr36373-5.c
    trunk/gcc/testsuite/gcc.dg/torture/pr36373-6.c
    trunk/gcc/testsuite/gcc.dg/torture/pr36373-7.c
    trunk/gcc/testsuite/gcc.dg/torture/pr36373-8.c
    trunk/gcc/testsuite/gcc.dg/torture/pr36373-9.c
    trunk/gcc/testsuite/gcc.dg/torture/pr36400.c


-- 


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

[Bug testsuite/36344] [4.3 Regression] gcc.dg/tree-ssa/loadpre8.c XFAILed

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2008-06-28 11:19 -------
Fixed for 4.4.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.3/4.4 Regression]        |[4.3 Regression]
                   |gcc.dg/tree-ssa/loadpre8.c  |gcc.dg/tree-ssa/loadpre8.c
                   |XFAILed                     |XFAILed


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

[Bug testsuite/36344] [4.3 Regression] gcc.dg/tree-ssa/loadpre8.c XFAILed

[jsm28 at gcc dot gnu dot org]

------- Comment #6 from jsm28 at gcc dot gnu dot org  2008-08-27 22:04 -------
4.3.2 is released, changing milestones to 4.3.3.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.2                       |4.3.3


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

[Bug testsuite/36344] [4.3 Regression] gcc.dg/tree-ssa/loadpre8.c XFAILed

[ramana at icerasemi dot com]

------- Comment #7 from ramana at icerasemi dot com  2009-01-15 10:37 -------
Change CC addresses


-- 

ramana at icerasemi dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|ramana at icerasemi dot com |ramana dot r at gmail dot
                   |                            |com


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

[Bug testsuite/36344] [4.3 Regression] gcc.dg/tree-ssa/loadpre8.c XFAILed

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2009-01-24 10:20 -------
GCC 4.3.3 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.3                       |4.3.4


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

[Bug testsuite/36344] [4.3 Regression] gcc.dg/tree-ssa/loadpre8.c XFAILed

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2009-04-22 15:16 -------
WONTFIX on the 4.3 branch.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
      Known to fail|                            |4.3.3
      Known to work|                            |4.4.0
         Resolution|                            |FIXED
   Target Milestone|4.3.4                       |4.4.0


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