Re:[pushed] [PATCH v2] LoongArch: Add asm modifiers to the LSX and LASX directives in the doc.

[chenglulu]

Pushed to r14-6800.

在 2023/12/5 下午2:44, chenxiaolong 写道:

gcc/ChangeLog:

        * doc/extend.texi:Add modifiers to the vector of asm in the doc.
        * doc/md.texi:Refine the description of the modifier 'f' in the doc.
---
  gcc/doc/extend.texi | 47 +++++++++++++++++++++++++++++++++++++++++++++
  gcc/doc/md.texi     |  2 +-
  2 files changed, 48 insertions(+), 1 deletion(-)

diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index 32ae15e1d5b..d87a079704c 100644
--- a/gcc/doc/extend.texi
+++ b/gcc/doc/extend.texi
@@ -11820,10 +11820,57 @@ The list below describes the supported modifiers and 
their effects for LoongArch
  @item @code{d} @tab Same as @code{c}.
  @item @code{i} @tab Print the character ''@code{i}'' if the operand is not a 
register.
  @item @code{m} @tab Same as @code{c}, but the printed value is @code{operand 
- 1}.
+@item @code{u} @tab Print a LASX register.
+@item @code{w} @tab Print a LSX register.
  @item @code{X} @tab Print a constant integer operand in hexadecimal.
  @item @code{z} @tab Print the operand in its unmodified form, followed by a 
comma.
  @end multitable

+References to input and output operands in the assembler template of extended

+asm statements can use modifiers to affect the way the operands are formatted
+in the code output to the assembler.  For example, the following code uses the
+'w' modifier for LoongArch:
+
+@example
+test-asm.c:
+
+#include <lsxintrin.h>
+
+__m128i foo (void)
+@{
+__m128i  a,b,c;
+__asm__ ("vadd.d %w0,%w1,%w2\n\t"
+   :"=f" (c)
+   :"f" (a),"f" (b));
+
+return c;
+@}
+
+@end example
+
+@noindent
+The compile command for the test case is as follows:
+
+@example
+gcc test-asm.c -mlsx -S -o test-asm.s
+@end example
+
+@noindent
+The assembly statement produces the following assembly code:
+
+@example
+vadd.d $vr0,$vr0,$vr1
+@end example
+
+This is a 128-bit vector addition instruction, @code{c} (referred to in the
+template string as %0) is the output, and @code{a} (%1) and @code{b} (%2) are
+the inputs.  @code{__m128i} is a vector data type defined in the  file
+@code{lsxintrin.h} (@xref{LoongArch SX Vector Intrinsics}).  The symbol '=f'
+represents a constraint using a floating-point register as an output type, and
+the 'f' in the input operand represents a constraint using a floating-point
+register operand, which can refer to the definition of a constraint
+(@xref{Constraints}) in gcc.
+
  @anchor{riscvOperandmodifiers}
  @subsubsection RISC-V Operand Modifiers

diff --git a/gcc/doc/md.texi b/gcc/doc/md.texi

index 536ce997f01..2274da5ff69 100644
--- a/gcc/doc/md.texi
+++ b/gcc/doc/md.texi
@@ -2881,7 +2881,7 @@ $r1h
  @item LoongArch---@file{config/loongarch/constraints.md}
  @table @code
  @item f
-A floating-point register (if available).
+A floating-point or vector register (if available).
  @item k
  A memory operand whose address is formed by a base register and
  (optionally scaled) index register.