rtl.texi (mem): Add documentation for alias-set argument to RTX `mem'.

	* rtl.texi (mem): Add documentation for alias-set argument
	to RTX `mem'.

From-SVN: r30589

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6a72c03..db988a4 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -8,6 +8,11 @@ Fri Nov 19 10:41:15 GMT 1999  Nathan Sidwell  <nathan@acm.org>
        (invalidate_skipped_set): Call it unconditionally.
        (cse_set_around_loop): Likewise.
 
+Thu Nov 18 17:29:34 MST 1999   Diego Novillo <dnovillo@cygnus.com>
+
+       * rtl.texi (mem): Add documentation for alias-set argument 
+       to RTX `mem'.
+
 Fri Nov 18 13:39:22 CET 1999  Jan Hubicka  <hubicka@freesoft.cz>
 
        * i386.h (struct_processor_costs): New fileds int_load, int_store,

diff --git a/gcc/rtl.texi b/gcc/rtl.texi
index 6ad3b8a..0901aa7 100644 (file)
--- a/gcc/rtl.texi
+++ b/gcc/rtl.texi
@@ -1293,10 +1293,12 @@ All instructions that do not jump alter the program counter implicitly
 by incrementing it, but there is no need to mention this in the RTL.
 
 @findex mem
-@item (mem:@var{m} @var{addr})
+@item (mem:@var{m} @var{addr} @var{alias})
 This RTX represents a reference to main memory at an address
 represented by the expression @var{addr}.  @var{m} specifies how large
-a unit of memory is accessed.
+a unit of memory is accessed. @var{alias} specifies an alias set for the
+reference. In general two items are in different alias sets if they cannot
+reference the same memory address.
 
 @findex addressof
 @item (addressof:@var{m} @var{reg})