From 70498da39730338bda786e105ecf980194b9f955 Mon Sep 17 00:00:00 2001
From: Roger Sayle <roger@eyesopen.com>
Date: Mon, 12 May 2003 13:26:02 +0000
Subject: [PATCH] rtl.texi: Document zero_extract as a valid destination of a
 set insn.

	* doc/rtl.texi: Document zero_extract as a valid destination
	of a set insn.

From-SVN: r66716
---
 gcc/ChangeLog    |  5 +++++
 gcc/doc/rtl.texi | 14 +++++++-------
 2 files changed, 12 insertions(+), 7 deletions(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 4eacd0320f6..55480b4f995 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2003-05-12  Roger Sayle  <roger@eyesopen.com>
+
+	* doc/rtl.texi: Document zero_extract as a valid destination
+	of a set insn.
+
 2003-05-12  Richard Earnshaw  <rearnsha@arm.com>
 
 	* arm/lib1funcs.asm (LSYM): Define -- on ELF prefix a local symbol with
diff --git a/gcc/doc/rtl.texi b/gcc/doc/rtl.texi
index e906ccf8358..58d181fa569 100644
--- a/gcc/doc/rtl.texi
+++ b/gcc/doc/rtl.texi
@@ -2368,9 +2368,9 @@ the operands of these.
 @item (set @var{lval} @var{x})
 Represents the action of storing the value of @var{x} into the place
 represented by @var{lval}.  @var{lval} must be an expression
-representing a place that can be stored in: @code{reg} (or @code{subreg}
-or @code{strict_low_part}), @code{mem}, @code{pc}, @code{parallel}, or
-@code{cc0}.
+representing a place that can be stored in: @code{reg} (or @code{subreg},
+@code{strict_low_part} or @code{zero_extract}), @code{mem}, @code{pc},
+@code{parallel}, or @code{cc0}.
 
 If @var{lval} is a @code{reg}, @code{subreg} or @code{mem}, it has a
 machine mode; then @var{x} must be valid for that mode.
@@ -2383,10 +2383,10 @@ rest of the register receives an undefined value.  Likewise, if
 the mode of the register, the rest of the register can be changed in
 an undefined way.
 
-If @var{lval} is a @code{strict_low_part} of a @code{subreg}, then the
-part of the register specified by the machine mode of the
-@code{subreg} is given the value @var{x} and the rest of the register
-is not changed.
+If @var{lval} is a @code{strict_low_part} or @code{zero_extract} 
+of a @code{subreg}, then the part of the register specified by the
+machine mode of the @code{subreg} is given the value @var{x} and
+the rest of the register is not changed.
 
 If @var{lval} is @code{(cc0)}, it has no machine mode, and @var{x} may
 be either a @code{compare} expression or a value that may have any mode.