Re: [PATCH] Remove internal info from fstrict-aliasing docs

[Josh Conner <jconner at apple dot com>]

Diego Novillo wrote:
> Josh Conner wrote on 11/02/06 12:55:
> 
>> -Every language that wishes to perform language-specific alias analysis
>> -should define a function that computes, given an @code{tree}
>> -node, an alias set for the node.  Nodes in different alias sets are not
>> -allowed to alias.  For an example, see the C front-end function
>> -@code{c_get_alias_set}.
>> -
>>  Enabled at levels @option{-O2}, @option{-O3}, @option{-Os}.
>>  
>>  @item -falign-functions
> 
> Rather than removing it, could you move it to tree-ssa.texi?  To the
> section where we talk about may_alias_p.  Weave it to the paragraph that
> describes flow-insensitive aliases (may_alias_p uses alias sets to
> determine type-based conflicts).
> 
> I will be rewording that section soon, but that information will still
> be relevant.

Does this look ok?

- Josh

2006-11-02  Josh Conner  <jconner@apple.com>

	* doc/invoke.texi (fstrict-aliasing): Move implementation
	details...
	* doc/tree-ssa.texi (Alias analysis): ...here.

Index: tree-ssa.texi
===================================================================
--- tree-ssa.texi	(revision 118072)
+++ tree-ssa.texi	(working copy)
@@ -1591,6 +1591,12 @@ every addressable variable found in the 
 memory tag SMT and an addressable variable V@.  If the alias sets
 of SMT and V conflict (as computed by may_alias_p), then V is
 marked as an alias tag and added to the alias set of SMT@.
+
+Every language that wishes to perform language-specific alias analysis
+should define a function that computes, given a @code{tree}
+node, an alias set for the node.  Nodes in different alias sets are not
+allowed to alias.  For an example, see the C front-end function
+@code{c_get_alias_set}.
 @end enumerate
 
 For instance, consider the following function:
Index: invoke.texi
===================================================================
--- invoke.texi	(revision 118072)
+++ invoke.texi	(working copy)
@@ -5354,12 +5354,6 @@ int f() @{
 @}
 @end smallexample
 
-Every language that wishes to perform language-specific alias analysis
-should define a function that computes, given an @code{tree}
-node, an alias set for the node.  Nodes in different alias sets are not
-allowed to alias.  For an example, see the C front-end function
-@code{c_get_alias_set}.
-
 Enabled at levels @option{-O2}, @option{-O3}, @option{-Os}.
 
 @item -falign-functions