The modifier `N`, to print the raw encoding of a register. This is used
when using `.insn <length>, <encoding>`, where the user wants to pass
a value to the instruction in a known register, but where the
instruction doesn't follow the existing instruction formats, so the
assembly parser is not expecting a register name, just a raw integer.

gcc/ChangeLog:

        * config/riscv/riscv.cc (riscv_print_operand): Add N.
        * doc/extend.texi: Document for N,

gcc/testsuite/ChangeLog:

        * gcc.target/riscv/modifier-N-fpr.c: New.
        * gcc.target/riscv/modifier-N-vr.c: New.
        * gcc.target/riscv/modifier-N.c: New.
---
 gcc/config/riscv/riscv.cc                     | 23 +++++++++++++++++++
 gcc/doc/extend.texi                           |  1 +
 .../gcc.target/riscv/modifier-N-fpr.c         | 16 +++++++++++++
 .../gcc.target/riscv/modifier-N-vr.c          | 18 +++++++++++++++
 gcc/testsuite/gcc.target/riscv/modifier-N.c   | 16 +++++++++++++
 5 files changed, 74 insertions(+)
 create mode 100644 gcc/testsuite/gcc.target/riscv/modifier-N-fpr.c
 create mode 100644 gcc/testsuite/gcc.target/riscv/modifier-N-vr.c
 create mode 100644 gcc/testsuite/gcc.target/riscv/modifier-N.c

diff --git a/gcc/config/riscv/riscv.cc b/gcc/config/riscv/riscv.cc
index 66caba29564..c7f1a59c5a8 100644
--- a/gcc/config/riscv/riscv.cc
+++ b/gcc/config/riscv/riscv.cc
@@ -6833,6 +6833,7 @@ riscv_asm_output_opcode (FILE *asm_out_file, const char 
*p)
    'S' Print shift-index of single-bit mask OP.
    'T' Print shift-index of inverted single-bit mask OP.
    '~' Print w if TARGET_64BIT is true; otherwise not print anything.
+   'N'  Print register encoding as integer (0-31).
 
    Note please keep this list and the list in riscv.md in sync.  */
 
@@ -7079,6 +7080,28 @@ riscv_print_operand (FILE *file, rtx op, int letter)
        output_addr_const (file, newop);
        break;
       }
+    case 'N':
+      {
+       if (!REG_P(op))
+         {
+           output_operand_lossage ("modifier 'N' require register operand");
+           break;
+         }
+
+       unsigned regno = REGNO (op);
+       unsigned offset = 0;
+       if (IN_RANGE (regno, GP_REG_FIRST, GP_REG_LAST))
+         offset = GP_REG_FIRST;
+       else if (IN_RANGE (regno, FP_REG_FIRST, FP_REG_LAST))
+         offset = FP_REG_FIRST;
+       else if (IN_RANGE (regno, V_REG_FIRST, V_REG_LAST))
+         offset = V_REG_FIRST;
+       else
+         output_operand_lossage ("invalid register number for 'N' modifie");
+
+       asm_fprintf (file, "%u", (regno - offset));
+       break;
+      }
     default:
       switch (code)
        {
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index 336361e0cfd..c9dea0fe6eb 100644
--- a/gcc/doc/extend.texi
+++ b/gcc/doc/extend.texi
@@ -12586,6 +12586,7 @@ The list below describes the supported modifiers and 
their effects for RISC-V.
 @headitem Modifier @tab Description
 @item @code{z} @tab Print ''@code{zero}'' instead of 0 if the operand is an 
immediate with a value of zero.
 @item @code{i} @tab Print the character ''@code{i}'' if the operand is an 
immediate.
+@item @code{N} @tab Print the register encoding as integer (0 - 31).
 @end multitable
 
 @anchor{shOperandmodifiers}
diff --git a/gcc/testsuite/gcc.target/riscv/modifier-N-fpr.c 
b/gcc/testsuite/gcc.target/riscv/modifier-N-fpr.c
new file mode 100644
index 00000000000..42590e00c0d
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/modifier-N-fpr.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv64if -mabi=lp64" } */
+/* { dg-skip-if "" { *-*-* } { "-flto" } { "" } } */
+/* { dg-final { check-function-bodies "**" "" } } */
+
+void foo() {
+/*
+** foo:
+**   ...
+**   fadd.s\s*ft0,\s*8,\s*9
+**   ...
+*/
+  register float fs0 __asm__ ("fs0");
+  register float fs1 __asm__ ("fs1");
+  __asm__ volatile("fadd.s ft0, %N0, %N1" : : "f" (fs0), "f" (fs1) : "memory");
+}
diff --git a/gcc/testsuite/gcc.target/riscv/modifier-N-vr.c 
b/gcc/testsuite/gcc.target/riscv/modifier-N-vr.c
new file mode 100644
index 00000000000..ea591b02138
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/modifier-N-vr.c
@@ -0,0 +1,18 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv64gv -mabi=lp64" } */
+/* { dg-skip-if "" { *-*-* } { "-flto" } { "" } } */
+/* { dg-final { check-function-bodies "**" "" } } */
+
+#pragma riscv intrinsic "vector"
+
+void foo() {
+/*
+** foo:
+**   ...
+**   vadd.vv\s*v0,\s*1,\s*2
+**   ...
+*/
+  register vint32m1_t v1 __asm__ ("v1");
+  register vint32m1_t v2 __asm__ ("v2");
+  __asm__ volatile("vadd.vv v0, %N0, %N1" : : "vr" (v1), "vr" (v2) : "memory");
+}
diff --git a/gcc/testsuite/gcc.target/riscv/modifier-N.c 
b/gcc/testsuite/gcc.target/riscv/modifier-N.c
new file mode 100644
index 00000000000..fef281611ef
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/modifier-N.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-skip-if "" { *-*-* } { "-flto" } { "" } } */
+/* { dg-final { check-function-bodies "**" "" } } */
+
+
+void foo() {
+/*
+** foo:
+**   ...
+**   addi\s*t0,\s*9,\s*4
+**   ...
+*/
+  register int s1 __asm__ ("s1");
+  register int tp __asm__ ("tp");
+  __asm__ volatile("addi t0, %N0, %N1" : : "r" (s1), "r" (tp) : "memory");
+}
-- 
2.34.1

Reply via email to