[Bug tree-optimization/39120] [4.2/4.3/4.4 Regression] Missed escape constraints for call results

2009-03-27 Thread rguenth at gcc dot gnu dot org


--- Comment #7 from rguenth at gcc dot gnu dot org  2009-03-27 22:36 ---
Subject: Bug 39120

Author: rguenth
Date: Fri Mar 27 22:36:33 2009
New Revision: 145137

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=145137
Log:
2009-03-27  Richard Guenther  rguent...@suse.de

PR tree-optimization/39120
* tree-ssa-structalias.c (handle_rhs_call): Fill out return
constraints.
(handle_lhs_call): Process return constraints.  Add escape
constraints if necessary.
(handle_const_call): Fill out return constraints.  Make nested
case more precise.  Avoid consttmp if possible.
(handle_pure_call): Fill out return constraints.  Avoid
callused if possible.
(find_func_aliases): Simplify call handling.

* gcc.c-torture/execute/pr39120.c: New testcase.

2009-03-27  Richard Guenther  rguent...@suse.de

PR tree-optimization/39120
* tree-ssa-structalias.c (do_sd_constraint): Do not use CALLUSED
as a representative.
(solve_graph): Do propagate CALLUSED.
(handle_pure_call): Use a scalar constraint from CALLUSED for
the return value.
(find_what_p_points_to): CALLUSED shall not appear in poins-to
solutions.

* gcc.dg/torture/pta-callused-1.c: New testcase.

Added:
trunk/gcc/testsuite/gcc.c-torture/execute/pr39120.c
trunk/gcc/testsuite/gcc.dg/torture/pta-callused-1.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-structalias.c


-- 


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



[Bug tree-optimization/39120] [4.2/4.3/4.4 Regression] Missed escape constraints for call results

2009-03-27 Thread rguenth at gcc dot gnu dot org


--- Comment #8 from rguenth at gcc dot gnu dot org  2009-03-27 22:41 ---
Fixed for 4.5.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

  Known to work|4.1.2   |4.1.2 4.5.0


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



[Bug tree-optimization/39120] [4.2/4.3/4.4 Regression] Missed escape constraints for call results

2009-03-24 Thread howarth at nitro dot med dot uc dot edu


--- Comment #3 from howarth at nitro dot med dot uc dot edu  2009-03-24 
14:02 ---
Can this be back ported to gcc trunk?


-- 


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



[Bug tree-optimization/39120] [4.2/4.3/4.4 Regression] Missed escape constraints for call results

2009-03-24 Thread rguenther at suse dot de


--- Comment #4 from rguenther at suse dot de  2009-03-24 14:20 ---
Subject: Re:  [4.2/4.3/4.4 Regression] Missed
 escape constraints for call results

On Tue, 24 Mar 2009, howarth at nitro dot med dot uc dot edu wrote:

 --- Comment #3 from howarth at nitro dot med dot uc dot edu  2009-03-24 
 14:02 ---
 Can this be back ported to gcc trunk?

It can, but it would drag in some dependencies, in particular the CALLUSED
handling rewrite and eventually the changes related to handling NONLOCAL
vs. ESCAPED.  I will try to cook up sth but planned to merge these changes
early in stage1 to backport them for 4.4.1 eventually.

Richard.


-- 


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



[Bug tree-optimization/39120] [4.2/4.3/4.4 Regression] Missed escape constraints for call results

2009-03-24 Thread rguenth at gcc dot gnu dot org


--- Comment #6 from rguenth at gcc dot gnu dot org  2009-03-24 14:40 ---
Created an attachment (id=17532)
 -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17532action=view)
part #2

Untested patches for the backport.


-- 


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



[Bug tree-optimization/39120] [4.2/4.3/4.4 Regression] Missed escape constraints for call results

2009-03-24 Thread rguenth at gcc dot gnu dot org


--- Comment #5 from rguenth at gcc dot gnu dot org  2009-03-24 14:39 ---
Created an attachment (id=17531)
 -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17531action=view)
part #1


-- 


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



[Bug tree-optimization/39120] [4.2/4.3/4.4 Regression] Missed escape constraints for call results

2009-02-09 Thread jsm28 at gcc dot gnu dot org


-- 

jsm28 at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P2


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



[Bug tree-optimization/39120] [4.2/4.3/4.4 Regression] Missed escape constraints for call results

2009-02-07 Thread rguenth at gcc dot gnu dot org


--- Comment #2 from rguenth at gcc dot gnu dot org  2009-02-07 12:31 ---
Subject: Bug 39120

Author: rguenth
Date: Sat Feb  7 12:31:34 2009
New Revision: 144003

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=144003
Log:
2009-02-07  Richard Guenther  rguent...@suse.de

PR tree-optimization/39120
* tree-ssa-structalias.c (handle_rhs_call): Fill out return
constraints.
(handle_lhs_call): Process return constraints.  Add escape
constraints if necessary.
(handle_const_call): Fill out return constraints.  Make nested
case more precise.  Avoid consttmp if possible.
(handle_pure_call): Fill out return constraints.  Avoid
callused if possible.
(find_func_aliases): Simplify call handling.  Manually build
nonlocal constraints for asm outputs.
* tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Add
shortcut for const calls.  Properly use is_call_clobbered for
non-const, non-pure calls.

* gcc.c-torture/execute/pr39120.c: New testcase.

Added:
branches/alias-improvements/gcc/testsuite/gcc.c-torture/execute/pr39120.c
Modified:
branches/alias-improvements/gcc/ChangeLog.alias
branches/alias-improvements/gcc/tree-ssa-alias.c
branches/alias-improvements/gcc/tree-ssa-structalias.c


-- 


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



[Bug tree-optimization/39120] [4.2/4.3/4.4 Regression] Missed escape constraints for call results

2009-02-06 Thread rguenth at gcc dot gnu dot org


--- Comment #1 from rguenth at gcc dot gnu dot org  2009-02-06 17:59 ---
I have a patch.


-- 

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
  Known to fail||4.2.4 4.3.3 4.4.0
  Known to work||4.1.2
   Last reconfirmed|-00-00 00:00:00 |2009-02-06 17:59:36
   date||
   Target Milestone|--- |4.2.5


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