rtl.texi (RTX_UNCHANGING_P): Point to true_dependence for details of conflict handling.

	* doc/rtl.texi (RTX_UNCHANGING_P): Point to true_dependence for
	details of conflict handling.

From-SVN: r65912

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 724f04352c88f6dc347c54075d0ecb2974cb4888..6dcb245735d1cb60a19ccbba39be1941f7f0f8a2 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -69,7 +69,10 @@
        * cpplib.h (struct cpp_callbacks): Change prototype of include.
 
 2003-04-21  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
-
+       
+       * doc/rtl.texi (RTX_UNCHANGING_P): Point to true_dependence for
+       details of conflict handling.
+       
        * fold-const.c (extract_muldiv, case CONVERT_EXPR): Detect case
        when conversion overflows.
 

diff --git a/gcc/doc/rtl.texi b/gcc/doc/rtl.texi
index 79594f0ed86090548651ae8a08381ca0e711e249..33057c3b7a84d0c105c6a5b3f5f093387d2cbf09 100644 (file)
--- a/gcc/doc/rtl.texi
+++ b/gcc/doc/rtl.texi
@@ -723,10 +723,12 @@ Stored in the @code{integrated} field and printed as @samp{/i}.
 @cindex @code{concat} and @samp{/u}
 @cindex @code{unchanging}, in @code{reg} and @code{mem}
 @item RTX_UNCHANGING_P (@var{x})
-Nonzero in a @code{reg}, @code{mem}, or @code{concat} if the memory
-is set at most once,
-anywhere.  This does not mean that it is function invariant.
-Stored in the @code{unchanging} field and printed as @samp{/u}.
+Nonzero in a @code{reg}, @code{mem}, or @code{concat} if the register or
+memory is set at most once, anywhere.  This does not mean that it is
+function invariant.  This flag is used to determine whether two
+references conflict.  See @code{tree_dependence} in @file{alias.c} for
+more details.  Stored in the @code{unchanging} field and printed as
+@samp{/u}.
 
 @findex SCHED_GROUP_P
 @cindex @code{insn} and @samp{/s}