[gcc r14-4783] Document {L,R}ROTATE_EXPR

[gcc r14-4783] Document {L,R}ROTATE_EXPR

[Richard Biener]

https://gcc.gnu.org/g:d6add7aa903726a9dcca1242cf16a94dcccb53d9

commit r14-4783-gd6add7aa903726a9dcca1242cf16a94dcccb53d9
Author: Richard Biener <rguenther@suse.de>
Date:   Fri Oct 20 12:00:33 2023 +0200

    Document {L,R}ROTATE_EXPR
    
    The following amends the {L,R}SHIFT_EXPR documentation with
    documentation about the {L,R}ROTATE_EXPR case.
    
            * doc/generic.texi ({L,R}ROTATE_EXPR): Document.

Diff:
---
 gcc/doc/generic.texi | 18 +++++++++++-------
 1 file changed, 11 insertions(+), 7 deletions(-)

diff --git a/gcc/doc/generic.texi b/gcc/doc/generic.texi
index 6534c354b7ad..3f4ba36a8ac1 100644
--- a/gcc/doc/generic.texi
+++ b/gcc/doc/generic.texi
@@ -1314,6 +1314,8 @@ The type of the node specifies the alignment of the access.
 @tindex THROW_EXPR
 @tindex LSHIFT_EXPR
 @tindex RSHIFT_EXPR
+@tindex LROTATE_EXPR
+@tindex RROTATE_EXPR
 @tindex BIT_IOR_EXPR
 @tindex BIT_XOR_EXPR
 @tindex BIT_AND_EXPR
@@ -1480,17 +1482,19 @@ a fixed-point value to a floating-point value.
 
 @item LSHIFT_EXPR
 @itemx RSHIFT_EXPR
-These nodes represent left and right shifts, respectively.  The first
-operand is the value to shift; it will always be of integral type.  The
-second operand is an expression for the number of bits by which to
-shift.  Right shift should be treated as arithmetic, i.e., the
-high-order bits should be zero-filled when the expression has unsigned
-type and filled with the sign bit when the expression has signed type.
+@itemx LROTATE_EXPR
+@itemx RROTATE_EXPR
+These nodes represent left and right shifts and rotates, respectively.
+The first operand is the value to shift or rotate; it will always be of
+integral type.  The second operand is an expression for the number of bits
+by which to shift or rotate.  Right shift should be treated as arithmetic,
+i.e., the high-order bits should be zero-filled when the expression has
+unsigned type and filled with the sign bit when the expression has signed type.
+All other operations are logical, operating on the bit representation.
 Note that the result is undefined if the second operand is larger
 than or equal to the first operand's type size. Unlike most nodes, these
 can have a vector as first operand and a scalar as second operand.
 
-
 @item BIT_IOR_EXPR
 @itemx BIT_XOR_EXPR
 @itemx BIT_AND_EXPR