diff options
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/doc/rtl.texi | 10 |
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} |