[Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented

2010-01-30 Thread steven at gcc dot gnu dot org 


--- Comment #20 from steven at gcc dot gnu dot org  2010-01-30 22:29 ---
Richi, is restrict working now, even with -fno-strict aliasing?


-- 


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

[Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented

2010-01-30 Thread rguenth at gcc dot gnu dot org 


--- Comment #21 from rguenth at gcc dot gnu dot org  2010-01-30 22:46 
---
(In reply to comment #20)
 Richi, is restrict working now, even with -fno-strict aliasing?

Yes, it is.  See PR42617 for patches still required on the RTL side, it's
a bit late to apply them for 4.5 now.


-- 


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

[Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented

2010-01-12 Thread rguenther at suse dot de 


--- Comment #19 from rguenther at suse dot de  2010-01-12 09:54 ---
Subject: Re:  [tree-ssa] C restricted pointers are not
 properly implemented

On Mon, 11 Jan 2010, manu at gcc dot gnu dot org wrote:

 --- Comment #18 from manu at gcc dot gnu dot org  2010-01-11 19:23 ---
 (In reply to comment #17)
  Fixed.
  
 
 Richard, since this is a new feature of GCC 4.5, shouldn't we mention it in 
 the
 GCC 4.5 changes.html?
 
 Even something short would be welcome by users, such as:
 
 Better optimizations when using the a
 href=http://gcc.gnu.org/onlinedocs/gcc/Restricted-Pointers.html;restrict
 keyword/a.

It's not universally better tho due to limitations on the RTL export
side.  I'll think of sth.

Richard.


-- 


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

[Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented

2010-01-11 Thread manu at gcc dot gnu dot org 


--- Comment #18 from manu at gcc dot gnu dot org  2010-01-11 19:23 ---
(In reply to comment #17)
 Fixed.
 

Richard, since this is a new feature of GCC 4.5, shouldn't we mention it in the
GCC 4.5 changes.html?

Even something short would be welcome by users, such as:

Better optimizations when using the a
href=http://gcc.gnu.org/onlinedocs/gcc/Restricted-Pointers.html;restrict
keyword/a.


-- 

manu at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||manu at gcc dot gnu dot org


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

[Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented

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


--- Comment #16 from rguenth at gcc dot gnu dot org  2009-06-29 12:23 
---
Subject: Bug 14187

Author: rguenth
Date: Mon Jun 29 12:23:21 2009
New Revision: 149048

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=149048
Log:
2009-06-29  Richard Guenther  rguent...@suse.de

PR middle-end/14187
* tree-ssa-alias.h (struct pt_solution): Add vars_contains_restrict
flag.
(pt_solutions_same_restrict_base): Declare.
* tree-ssa-structalias.c (struct variable_info): Add is_restrict_var
flag.
(new_var_info): Initialize is_global_var properly for SSA_NAMEs.
(make_constraint_from, make_copy_constraint): Move earlier.
(make_constraint_from_heapvar): New function.
(make_constraint_from_restrict): Likewise.
(handle_lhs_call): Use it.
(find_func_aliases): Use it to track conversions to restrict
qualified pointers.
(struct fieldoff): Add only_restrict_pointers flag.
(push_fields_onto_fieldstack): Initialize it.
(create_variable_info_for): Track global restrict qualified pointers.
(intra_create_variable_infos): Use make_constraint_from_heapvar.
Track restrict qualified pointer arguments.
(set_uids_in_ptset): Use varinfo is_global_var flag.
(find_what_var_points_to): Set the vars_contains_restrict flag.
Always create the points-to solution for sets including restrict tags.
(pt_solutions_same_restrict_base): New function.
* tree-ssa-alias.c (ptr_derefs_may_alias_p): For two restrict
qualified pointers use pt_solutions_same_restrict_base as
additional source for disambiguation.

* gcc.dg/tree-ssa/restrict-1.c: New testcase.
* gcc.dg/tree-ssa/restrict-2.c: Likewise.
* gcc.dg/tree-ssa/restrict-3.c: Likewise.
* gcc.c-torture/execute/20090623-1.c: Likewise.
* gcc.dg/tree-ssa/ldist-13.c: Likewise.
* gcc.dg/tree-ssa/ldist-14.c: Likewise.

Added:
trunk/gcc/testsuite/gcc.c-torture/execute/20090623-1.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/ldist-13.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/ldist-14.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/restrict-1.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/restrict-2.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/restrict-3.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-alias.c
trunk/gcc/tree-ssa-alias.h
trunk/gcc/tree-ssa-structalias.c


-- 


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

[Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented

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


--- Comment #17 from rguenth at gcc dot gnu dot org  2009-06-29 12:24 
---
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||FIXED
   Target Milestone|--- |4.5.0


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

[Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented

2008-10-01 Thread rguenth at gcc dot gnu dot org 


--- Comment #15 from rguenth at gcc dot gnu dot org  2008-10-01 15:01 
---
This is not solely a tree issue.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

  Component|tree-optimization   |middle-end
   Keywords|TREE|
Summary|[tree-ssa] restricted   |[tree-ssa] C restricted
   |pointers should not alias on|pointers are not properly
   |the tree level  |implemented


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