From: Richard Henderson Date: Fri, 20 Jul 2001 22:23:25 +0000 (-0700) Subject: * doc/rtl.texi (REG_DEAD): Update for current semantics. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=50b996bfb88f3492796f26aad1a67901095ce4ed;p=gcc.git * doc/rtl.texi (REG_DEAD): Update for current semantics. From-SVN: r44214 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 67572ed084f..e23305a8194 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2001-07-20 Richard Henderson + + * doc/rtl.texi (REG_DEAD): Update for current semantics. + Fri Jul 20 22:14:49 CEST 2001 Roman Zippel Jan Hubicka diff --git a/gcc/doc/rtl.texi b/gcc/doc/rtl.texi index 922828f8f78..36269a5eaa8 100644 --- a/gcc/doc/rtl.texi +++ b/gcc/doc/rtl.texi @@ -2798,11 +2798,17 @@ The value in @var{op} dies in this insn; that is to say, altering the value immediately after this insn would not affect the future behavior of the program. -This does not necessarily mean that the register @var{op} has no useful -value after this insn since it may also be an output of the insn. In -such a case, however, a @code{REG_DEAD} note would be redundant and is -usually not present until after the reload pass, but no code relies on -this fact. +It does not follow that the register @var{op} has no useful value after +this insn since @var{op} is not necessarily modified by this insn. +Rather, no subsequent instruction uses the contents of @var{op}. + +@findex REG_UNUSED +@item REG_UNUSED +The register @var{op} being set by this insn will not be used in a +subsequent insn. This differs from a @code{REG_DEAD} note, which +indicates that the value in an input will not be used subsequently. +These two notes are independent; both may be present for the same +register. @findex REG_INC @item REG_INC @@ -2917,14 +2923,6 @@ Thus, compiler passes prior to register allocation need only check for @code{REG_EQUAL} notes and passes subsequent to register allocation need only check for @code{REG_EQUIV} notes. -@findex REG_UNUSED -@item REG_UNUSED -The register @var{op} being set by this insn will not be used in a -subsequent insn. This differs from a @code{REG_DEAD} note, which -indicates that the value in an input will not be used subsequently. -These two notes are independent; both may be present for the same -register. - @findex REG_WAS_0 @item REG_WAS_0 The single output of this insn contained zero before this insn.