[RFC/PATCH] Improve -fargument-noalias-global information for the tree level

[Andrew Pinski]

This patch improves the information gained by the tree aliasing code for
Fortran by saying that arguments don't point to anything except for a
heap variable.  This improves slightly the code generation for loops and
allows more vectorizations to happen in Fortran code.  Though it does 
not
fully a PR 17064 because of a call clobbering issue which I have not 
looked
into but I suspect it has been fixed on the IAB.  It does fix PR 21470 
and
comment #3 in PR 17064.

OK? Bootstrapped and tested on x86_64-linux-gnu and powerpc-darwin with 
no
regressions.


Thanks,
Andrew Pinski

2006-01-16  Richard Guenther  <rguenther@suse.de>
             Andrew Pinski  <pinskia@physics.uc.edu>

	* tree-ssa-structalias.c (intra_create_variable_infos):
	Create heap variables for incoming parameters if
	flag_argument_noalias > 1.
	(find_what_p_points_to): Look through default defs of
	parameter decls.



-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: fixfortranalias.diff.txt
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20060116/0535a493/attachment.txt>