* doc/rtl.texi (RTX_UNCHANGING_P): Point to true_dependence for

	details of conflict handling.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@65912 138bc75d-0d04-0410-961f-82ee72b054a4

2 files changed, 10 insertions, 5 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 724f04352c8..6dcb245735d 100644
--- 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 79594f0ed86..33057c3b7a8 100644
--- 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}