[v2] RISC-V: support for vector register accesses via ptrace() in RISC-V Linux native

Message ID 20230808225033.1097070-1-greg.savin@sifive.com
State New
Headers
Series [v2] RISC-V: support for vector register accesses via ptrace() in RISC-V Linux native |

Checks

Context Check Description
linaro-tcwg-bot/tcwg_gdb_build--master-aarch64 success Testing passed
linaro-tcwg-bot/tcwg_gdb_build--master-arm success Testing passed
linaro-tcwg-bot/tcwg_gdb_check--master-aarch64 success Testing passed
linaro-tcwg-bot/tcwg_gdb_check--master-arm success Testing passed

Commit Message

Greg Savin Aug. 8, 2023, 10:50 p.m. UTC
  A v2 re-spin of the original patch.

Now using regcache_map_entry to encode the vector register buffer format.

Regarding moving NT_RISCV_VECTOR to binutils common.h, I'll be submitting that in
a separate patch.  Evidently the Linux kernel headers are using 0x900 to
refer to NT_RISCV_VECTOR, but in binutils/common.h, 0x900 is being used
to refer to NT_RISCV_CSR.  I'll submit a patch that proposes re-numbering
NT_RISCV_CSR to 0x901, and that declares NT_RISCV_VECTOR with value 0x900,
to match the Linux kernel headers.

Regarding representing VXRM and VXSAT as pseudo-registers, I see the rationale
for that in the native debug via ptrace() case, because VXRM and VXSAT are not
included as part of the vector register transfer payload in ptrace().  However,
in the architecture of RISCV vector extension, VXRM and VXSAT do in fact exist
as CSRs in their own right, and for non-native debug (e.g. JTAG-based bare metal
via OpenOCD's gdbstub) those registers may well be accessed directly rather than
via VCSR.  Because VXRM and VXSAT are architecturally spec'ed as CSRs in their
own right, I'm wary of modeling them as pseudo-registers because I'd be concerned
about unintended consequences for non-native RISC-V debug configurations.


---
 gdb/arch/riscv.c             | 191 ++++++++++++++++++++++++++++++++++-
 gdb/nat/riscv-linux-tdesc.c  |  68 +++++++++++++
 gdb/nat/riscv-linux-tdesc.h  |  27 +++++
 gdb/riscv-linux-nat.c        | 162 +++++++++++++++++++++++++++++
 gdb/riscv-linux-tdep.c       | 132 ++++++++++++++++++++++++
 gdb/riscv-tdep.c             |  49 ++++++++-
 gdb/riscv-tdep.h             |   5 +
 gdbserver/linux-riscv-low.cc | 110 ++++++++++++++++++++
 8 files changed, 737 insertions(+), 7 deletions(-)
  

Comments

Andrew Burgess Aug. 11, 2023, 2:27 p.m. UTC | #1
Thanks for working on this.

Based on some of the other emails, I guess kernel support for some of
this is still WIP, so I guess there's not "easy" way to test this?  Does
QEMU have vector support yet?

Given the other emails in this chain, I guess there's a V3 for this
series coming soon.  But I still have some thoughts, see inline below.

Greg Savin via Gdb-patches <gdb-patches@sourceware.org> writes:

> A v2 re-spin of the original patch.
>
> Now using regcache_map_entry to encode the vector register buffer format.
>
> Regarding moving NT_RISCV_VECTOR to binutils common.h, I'll be submitting that in
> a separate patch.  Evidently the Linux kernel headers are using 0x900 to
> refer to NT_RISCV_VECTOR, but in binutils/common.h, 0x900 is being used
> to refer to NT_RISCV_CSR.  I'll submit a patch that proposes re-numbering
> NT_RISCV_CSR to 0x901, and that declares NT_RISCV_VECTOR with value 0x900,
> to match the Linux kernel headers.
>
> Regarding representing VXRM and VXSAT as pseudo-registers, I see the rationale
> for that in the native debug via ptrace() case, because VXRM and VXSAT are not
> included as part of the vector register transfer payload in ptrace().  However,
> in the architecture of RISCV vector extension, VXRM and VXSAT do in fact exist
> as CSRs in their own right, and for non-native debug (e.g. JTAG-based bare metal
> via OpenOCD's gdbstub) those registers may well be accessed directly rather than
> via VCSR.  Because VXRM and VXSAT are architecturally spec'ed as CSRs in their
> own right, I'm wary of modeling them as pseudo-registers because I'd be concerned
> about unintended consequences for non-native RISC-V debug
> configurations.
>
>
> ---
>  gdb/arch/riscv.c             | 191 ++++++++++++++++++++++++++++++++++-
>  gdb/nat/riscv-linux-tdesc.c  |  68 +++++++++++++
>  gdb/nat/riscv-linux-tdesc.h  |  27 +++++
>  gdb/riscv-linux-nat.c        | 162 +++++++++++++++++++++++++++++
>  gdb/riscv-linux-tdep.c       | 132 ++++++++++++++++++++++++
>  gdb/riscv-tdep.c             |  49 ++++++++-
>  gdb/riscv-tdep.h             |   5 +
>  gdbserver/linux-riscv-low.cc | 110 ++++++++++++++++++++
>  8 files changed, 737 insertions(+), 7 deletions(-)
>
> diff --git a/gdb/arch/riscv.c b/gdb/arch/riscv.c
> index 6f6fcb081e8..e8dd5994bb0 100644
> --- a/gdb/arch/riscv.c
> +++ b/gdb/arch/riscv.c
> @@ -26,12 +26,30 @@
>  #include "../features/riscv/64bit-fpu.c"
>  #include "../features/riscv/rv32e-xregs.c"
>  
> +#include "opcode/riscv-opc.h"
> +
>  #ifndef GDBSERVER
>  #define STATIC_IN_GDB static
>  #else
>  #define STATIC_IN_GDB
>  #endif
>  
> +#ifdef GDBSERVER
> +/* Work around issue where trying to include riscv-tdep.h (to get access to canonical RISCV_V0_REGNUM declaration
> +   from that header) is problamtic for gdbserver build */

Throughout this patch comments don't end in a '.'.  And there should be
two spaces at the end, with the trailing '*/' on the same line as the
last line of the comment:

  /* Comments should look like this.  */

I'll not point out every places that needs fixing, but there's a few.

> +#define RISCV_V0_REGNUM 4162   
> +#else
> +#include "defs.h"
> +#include "riscv-tdep.h"
> +#endif

I think John's suggestion for moving the register number enum is the
right way to go here.

> +
> +static int
> +create_feature_riscv_vector_from_features (struct target_desc *result,
> +					   long regnum,
> +					   const struct riscv_gdbarch_features
> +					   features);
> +
> +
>  /* See arch/riscv.h.  */
>  
>  STATIC_IN_GDB target_desc_up
> @@ -84,15 +102,180 @@ riscv_create_target_description (const struct riscv_gdbarch_features features)
>    else if (features.flen == 8)
>      regnum = create_feature_riscv_64bit_fpu (tdesc.get (), regnum);
>  
> -  /* Currently GDB only supports vector features coming from remote
> -     targets.  We don't support creating vector features on native targets
> -     (yet).  */
>    if (features.vlen != 0)
> -    error (_("unable to create vector feature"));
> +    regnum =
> +      create_feature_riscv_vector_from_features (tdesc.get (),
> +						 RISCV_V0_REGNUM, features);
>  
>    return tdesc;
>  }
>  
> +
> +
> +/* Usually, these target_desc instances are static for an architecture, and expressable
> +   in XML format, but this is a special case where length of a RISC-V vector register
> +   is not architecturally fixed to a constant (the maximuim width is a defined constant,
> +   but it's nice to tailor a target description the actual VLENB) */
> +static int
> +create_feature_riscv_vector_from_features (struct target_desc *result,
> +					   long regnum,
> +					   const struct riscv_gdbarch_features
> +					   features)
> +{
> +  struct tdesc_feature *feature;
> +  unsigned long bitsize;
> +
> +  feature = tdesc_create_feature (result, "org.gnu.gdb.riscv.vector");
> +  tdesc_type *element_type;
> +
> +  /* if VLENB is present (which we know it is present if execution reaches this function),
> +     then we know by definition that it is at least 4 bytes wide */
> +  
> +  element_type = tdesc_named_type (feature, "uint8");
> +  tdesc_create_vector (feature, "bytes", element_type, features.vlen);
> +
> +  element_type = tdesc_named_type (feature, "uint16");
> +  tdesc_create_vector (feature, "shorts", element_type, features.vlen / 2);
> +
> +  element_type = tdesc_named_type (feature, "uint32");
> +  tdesc_create_vector (feature, "words", element_type, features.vlen / 4);
> +
> +  /* Need VLENB value checks for element chunks larger than 4 bytes */
> +  
> +  if (features.vlen >= 8)
> +    {
> +      element_type = tdesc_named_type (feature, "uint64");
> +      tdesc_create_vector (feature, "longs", element_type, features.vlen / 8);
> +    }
> +
> +  /* QEMU and OpenOCD include the quads width in their target descriptions, so we're
> +     following that precedent, even if it's not particularly useful in practice, yet */
> +  
> +  if (features.vlen >= 16)
> +    {
> +      element_type = tdesc_named_type (feature, "uint128");
> +      tdesc_create_vector (feature, "quads", element_type,
> +			   features.vlen / 16);
> +    }
> +
> +  tdesc_type_with_fields *type_with_fields;
> +  type_with_fields = tdesc_create_union (feature, "riscv_vector");
> +  tdesc_type *field_type;
> +
> +  if (features.vlen >= 16)
> +    {
> +      field_type = tdesc_named_type (feature, "quads");
> +      tdesc_add_field (type_with_fields, "q", field_type);
> +    }
> +  if (features.vlen >= 8)
> +    {
> +      field_type = tdesc_named_type (feature, "longs");
> +      tdesc_add_field (type_with_fields, "l", field_type);
> +    }
> +
> +  /* Again, we know vlenb is >= 4, so no if guards needed for words/shorts/bytes */
> +  
> +  field_type = tdesc_named_type (feature, "words");
> +  tdesc_add_field (type_with_fields, "w", field_type);
> +  
> +  field_type = tdesc_named_type (feature, "shorts");
> +  tdesc_add_field (type_with_fields, "s", field_type);
> +  
> +  field_type = tdesc_named_type (feature, "bytes");
> +  tdesc_add_field (type_with_fields, "b", field_type);
> +
> +  /* Using magic numbers for regnum parameter of these CSRs.  Magic numbers aren't ever ideal,
> +     but didn't find a clear alternative that compiles successfully in both the gdb and gdbserver
> +     build steps.

If you move the register number enum, then couldn't you replace these
magic numbers with the enum names?

Also the lines throughout this comment are far too long.  Keep lines
under 80 characters where possible please.  There are other places where
your comments are too wide.

>                      A mitigating factor is that these numbers
> +     should be stable because they are based on constituent values that should also be stable:
> +     RISCV_FIRST_CSR_REGNUM (a fixed constant) added to the respective CSR numbers from RISC-V     
> +     specifications.  Also there is some precedent for magic numbers; the *.xml files in features/riscv/
> +     use magic numbers to refer to floating point CSRs.

There's a comment at the head of those XML files that explains the
reasoning for the hard-coded numbers: backward compatibility.
Specifically, older QEMU releases didn't send an XML description for
RISC-V, and instead had an assumed register numbering.

If we were brave we could possibly drop that fixed numbering now, as
QEMU has used XML for some years.  The risk would be there might be
others out there who still use the fixed numbering, so until there's a
compelling reason, I don't see a need to drop the existing hard-coded
numbering, but I'd rather not add any more.

> +
> +     Also, the init_target_desc function in gdbserver expects all these registers to be ordered
> +     in increasing order of "GDB internals" register number, with CSRs before vN registers and in relative numeric order
> +     ascending.

I'd like to understand more about this.  gdbserver does expect
ascending register numbering, but in what way is it tied to GDB's
internal numbering?  The x-reg/f-reg register read/write code seems to
be agnostic to the exact register numbering.

>                   DWARF register numbers don't seem to follow that pattern, and it seems to be necessary to use the GDB
> +     regnums in order for things to work on both native gdb and gdbserver.

I'd really like to understand more about this failure as "seems to be
necessary" just feels like "we don't 100% understand what's going on
here".

> +   */

> +  tdesc_create_reg (feature, "vstart", 73, 1, NULL, features.xlen * 8, "int");
> +  tdesc_create_reg (feature, "vxsat", 74, 1, NULL, features.xlen * 8, "int");
> +  tdesc_create_reg (feature, "vxrm", 75, 1, NULL, features.xlen * 8, "int");  
> +  tdesc_create_reg (feature, "vcsr", 80, 1, NULL, features.xlen * 8, "int");
> +  tdesc_create_reg (feature, "vl", 3169, 1, NULL, features.xlen * 8, "int");
> +  tdesc_create_reg (feature, "vtype", 3170, 1, NULL, features.xlen * 8, "int");
> +  tdesc_create_reg (feature, "vlenb", 3171, 1, NULL, features.xlen * 8, "int");
> +
> +  bitsize = features.vlen * 8;
> +  tdesc_create_reg (feature, "v0", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v1", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v2", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v3", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v4", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v5", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v6", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v7", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v8", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v9", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v10", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v11", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v12", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v13", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v14", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v15", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v16", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v17", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v18", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v19", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v20", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v21", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v22", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v23", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v24", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v25", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v26", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v27", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v28", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v29", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v30", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +  tdesc_create_reg (feature, "v31", regnum++, 1, NULL, bitsize,
> +		    "riscv_vector");
> +
> +
> +  return regnum;
> +}
> +
> +
>  #ifndef GDBSERVER
>  
>  /* Wrapper used by std::unordered_map to generate hash for feature set.  */
> diff --git a/gdb/nat/riscv-linux-tdesc.c b/gdb/nat/riscv-linux-tdesc.c
> index d676233cc31..51d89108575 100644
> --- a/gdb/nat/riscv-linux-tdesc.c
> +++ b/gdb/nat/riscv-linux-tdesc.c
> @@ -23,14 +23,18 @@
>  #include "elf/common.h"
>  #include "nat/gdb_ptrace.h"
>  #include "nat/riscv-linux-tdesc.h"
> +#include "gdbsupport/gdb_setjmp.h"
>  
>  #include <sys/uio.h>
> +#include <signal.h>
>  
>  /* Work around glibc header breakage causing ELF_NFPREG not to be usable.  */
>  #ifndef NFPREG
>  # define NFPREG 33
>  #endif
>  
> +static unsigned long safe_read_vlenb ();

This function should have a comment.

> +
>  /* See nat/riscv-linux-tdesc.h.  */
>  
>  struct riscv_gdbarch_features
> @@ -79,5 +83,69 @@ riscv_linux_read_features (int tid)
>        break;
>      }
>  
> +  features.vlen = safe_read_vlenb ();
> +
>    return features;
>  }
> +
> +static SIGJMP_BUF sigill_guard_jmp_buf;
> +
> +static void
> +sigill_guard (int sig)
> +{
> +  /* this will gets us back to caller deeper in the call stack, with an indication that
> +     an illegal instruction condition was encountered */
> +  SIGLONGJMP (sigill_guard_jmp_buf, -1);
> +
> +  /* control won't get here */
> +}

I think based on the other thread of this email chain, the plan is to
extend the ptrace API so this sigill stuff will not be needed -- I'll
not bother looking at any of this then.

> +
> +
> +
> +static unsigned long
> +safe_read_vlenb ()
> +{
> +  /* Surrounding the attempt here to read VLENB CSR to have a signal handler set up
> +     to trap illegal instruction condition (SIGILL), and if a trap happens during this call,
> +     get control back within this function and return 0 in that case.
> +   */
> +  unsigned long vlenb = 0;
> +  struct sigaction our_action = { 0 };
> +  struct sigaction original_action;
> +  int sysresult;
> +
> +
> +  our_action.sa_handler = sigill_guard;
> +
> +  sysresult = sigaction (SIGILL, &our_action, &original_action);
> +  if (sysresult != 0)
> +    {
> +      perror
> +	("Error installing temporary SIGILL handler in safe_read_vlenb()");
> +    }
> +
> +  if (SIGSETJMP (sigill_guard_jmp_buf, 1) == 0)
> +    {
> +    asm ("csrr %0, vlenb":"=r" (vlenb));
> +    }
> +  else
> +    {
> +      /* Must've generated an illegal instruction condition; we'll figure this means
> +         no vector unit is present */
> +      vlenb = 0;
> +    }
> +
> +
> +  if (sysresult == 0)
> +    {
> +      /* re-install former handler */
> +      sysresult = sigaction (SIGILL, &original_action, NULL);
> +      if (sysresult != 0)
> +	{
> +	  perror
> +	    ("Error re-installing original SIGILL handler in safe_read_vlenb()");
> +	}
> +
> +    }
> +  return vlenb;
> +}
> diff --git a/gdb/nat/riscv-linux-tdesc.h b/gdb/nat/riscv-linux-tdesc.h
> index 8e8da410265..4da9af7844c 100644
> --- a/gdb/nat/riscv-linux-tdesc.h
> +++ b/gdb/nat/riscv-linux-tdesc.h
> @@ -20,9 +20,36 @@
>  #define NAT_RISCV_LINUX_TDESC_H
>  
>  #include "arch/riscv.h"
> +#include "asm/ptrace.h"
>  
>  /* Determine XLEN and FLEN for the LWP identified by TID, and return a
>     corresponding features object.  */
>  struct riscv_gdbarch_features riscv_linux_read_features (int tid);
>  
> +#ifndef NT_RISCV_VECTOR
> +#define RISCV_MAX_VLENB (8192)
> +#define NT_RISCV_VECTOR	0x900	/* RISC-V vector registers */

Isn't this defined in an include file somewhere?  Or maybe that was a
separate patch?  Anyway, I think this shouldn't be here.

> +#endif
> +
> +/* Some branches and/or commits of linux kernel named this "struct __riscv_v_state",
> +   and later it was changed to "struct __riscv_v_ext_state",
> +   so using a macro to stand-in for that struct type to make it easier to modify
> +   in a single place, if compiling against one of those older Linux kernel commits */
> +#ifndef RISCV_VECTOR_STATE_T
> +#define RISCV_VECTOR_STATE_T struct __riscv_v_ext_state
> +#endif
> +
> +/* Struct for use in ptrace() calls for vector CSRs/registers */
> +struct __riscv_vregs
> +{
> +  RISCV_VECTOR_STATE_T vstate;
> +  gdb_byte data[RISCV_MAX_VLENB * 32];	/* data will arrive packed, VLENB bytes per element, not necessarily RISCV_MAX_VLENB bytes per element */
> +};
> +
> +#define VCSR_MASK_VXSAT 0x1
> +#define VCSR_POS_VXSAT 0
> +#define VCSR_MASK_VXRM 0x3
> +#define VCSR_POS_VXRM 1
> +
> +
>  #endif /* NAT_RISCV_LINUX_TDESC_H */
> diff --git a/gdb/riscv-linux-nat.c b/gdb/riscv-linux-nat.c
> index 8be4a5ac3e5..38fdd0ac5e0 100644
> --- a/gdb/riscv-linux-nat.c
> +++ b/gdb/riscv-linux-nat.c
> @@ -22,6 +22,7 @@
>  #include "linux-nat.h"
>  #include "riscv-tdep.h"
>  #include "inferior.h"
> +#include "regset.h"
>  
>  #include "elf/common.h"
>  
> @@ -125,6 +126,113 @@ supply_fpregset_regnum (struct regcache *regcache, const prfpregset_t *fpregs,
>      }
>  }
>  
> +#define MEMBER_SIZE(type, member) sizeof(((type *)0)->member)

The spacing for the macro expansion should be:

  sizeof (((type *) 0)->member)

> +
> +static const regcache_map_entry riscv_linux_vregmap[] =
> +{
> +  { 1, RISCV_CSR_VSTART_REGNUM, MEMBER_SIZE(struct __riscv_vregs, vstate.vstart) },
> +  { 1, RISCV_CSR_VL_REGNUM, MEMBER_SIZE(struct __riscv_vregs, vstate.vl) },
> +  { 1, RISCV_CSR_VTYPE_REGNUM, MEMBER_SIZE(struct __riscv_vregs, vstate.vtype) },
> +  { 1, RISCV_CSR_VCSR_REGNUM, MEMBER_SIZE(struct __riscv_vregs, vstate.vcsr) },
> +  /* struct __riscv_vregs member "datap" is a pointer that doesn't correspond
> +     to a register value.  In the context of ptrace(), member is always zero,
> +     with V0..V31 values inline after that.  So, skipping datap */
> +  { 1, REGCACHE_MAP_SKIP, MEMBER_SIZE(struct __riscv_vregs, vstate.datap) },
> +  /* Here's V0..V31.  Specifying 0 as size leads to a call to register_size()
> +     for size determination */
> +  { 32, RISCV_V0_REGNUM, 0 },
> +  { 0 },  /* count==0 represents termination of entries */
> +};
> +
> +/* Define the vector register regset.  */
> +
> +static const struct regset riscv_linux_vregset =
> +{
> +  riscv_linux_vregmap,
> +  regcache_supply_regset /* Other RISC-V regsets use riscv_supply_regset here; not sure that'd be correct for this case */,
> +  regcache_collect_regset
> +};
> +
> +
> +static void
> +supply_vregset_regnum (struct regcache *regcache,
> +		       const struct __riscv_vregs *vregs, int regnum)

Every function should have a header comment before it.

> +{
> +  const gdb_byte *buf;
> +  int vlenb = register_size (regcache->arch (), RISCV_V0_REGNUM);
> +
> +  regcache_supply_regset (&riscv_linux_vregset, regcache, regnum, vregs, sizeof(*vregs));  
> +
> +  if (regnum == -1 || regnum == RISCV_CSR_VLENB_REGNUM)
> +    {
> +      /* we already have a local copy above, use that (widened for XLEN padding) */
> +      uint64_t xlen_safe_vlenb = vlenb;
> +      buf = (gdb_byte *) & xlen_safe_vlenb;
> +      regcache->raw_supply (RISCV_CSR_VLENB_REGNUM, buf);
> +    }
> +
> +  if (regnum == -1 || regnum == RISCV_CSR_VXSAT_REGNUM)
> +    {
> +      /*  this CSR is not part of vregs->vstate literally, but we can infer a value from vcsr */
> +      uint64_t vxsat = ((vregs->vstate.vcsr >> VCSR_POS_VXSAT) & VCSR_MASK_VXSAT);
> +      buf = (gdb_byte *) & vxsat;
> +      regcache->raw_supply (RISCV_CSR_VXSAT_REGNUM, buf);
> +    }
> +
> +  if (regnum == -1 || regnum == RISCV_CSR_VXRM_REGNUM)
> +    {
> +      /*  this CSR is not part of vregs->vstate literally, but we can infer a value from vcsr */
> +      uint64_t vxrm = ((vregs->vstate.vcsr >> VCSR_POS_VXRM) & VCSR_MASK_VXRM);
> +      buf = (gdb_byte *) & vxrm;
> +      regcache->raw_supply (RISCV_CSR_VXRM_REGNUM, buf);
> +    }
> +}
> +
> +static void
> +fill_vregset (const struct regcache *regcache, struct __riscv_vregs *vregs,
> +	      int regnum)
> +{
> +  gdb_byte *buf;
> +
> +  regcache_collect_regset (&riscv_linux_vregset, regcache, regnum, vregs, sizeof(*vregs));    
> +
> +  if (regnum == -1 || regnum == RISCV_CSR_VCSR_REGNUM || regnum == RISCV_CSR_VXSAT_REGNUM
> +      || regnum == RISCV_CSR_VXRM_REGNUM)
> +    {
> +      uint64_t vxsat_from_regcache;
> +      uint64_t vxrm_from_regcache;      
> +
> +      if ( ! (regnum == -1 || regnum == RISCV_CSR_VCSR_REGNUM) )
> +	{
> +	  // we don't already have the VCSR value, from the earlier regcache_collect_regset call, so let's get it now

GDB doesn't use // for comments.

> +	  regcache_collect_regset (&riscv_linux_vregset, regcache, RISCV_CSR_VCSR_REGNUM, vregs, sizeof(*vregs));    	  
> +	}
> +
> +      if (regnum == RISCV_CSR_VXSAT_REGNUM)
> +	{
> +	  /* Overwrite VCSR with the VXSAT bit here */
> +	  buf = (gdb_byte*)&vxsat_from_regcache;

As BUF isn't going to outlive this scope, better to write:

  gdb_byte *buf = (gdb_byte *) &vxsat_from_regcache;

Notice two extra spaces I've added to comply with GDB style.

> +	  regcache->raw_collect (RISCV_CSR_VXSAT_REGNUM, buf);
> +	  vregs->vstate.vcsr &= ~((uint64_t)VCSR_MASK_VXSAT << VCSR_POS_VXSAT);
> +	  vregs->vstate.vcsr |= ((vxsat_from_regcache & VCSR_MASK_VXSAT) << VCSR_POS_VXSAT);
> +	}
> +
> +      if (regnum == RISCV_CSR_VXRM_REGNUM)
> +	{
> +	  /* Overwrite VCSR with the VXRM bit here */
> +	  buf = (gdb_byte*)&vxrm_from_regcache;
> +	  regcache->raw_collect (RISCV_CSR_VXRM_REGNUM, buf);
> +	  vregs->vstate.vcsr &= ~((uint64_t)VCSR_MASK_VXRM << VCSR_POS_VXRM);	  

Space after '(uint64_t) '.

> +	  vregs->vstate.vcsr |= ((vxrm_from_regcache & VCSR_MASK_VXRM) << VCSR_POS_VXRM);
> +	}
> +      
> +    }
> +
> +  /* VLENB register is not writable, so that's why nothing is collected here for that register */
> +
> +}
> +
> +
>  /* Copy all floating point registers from regset FPREGS into REGCACHE.  */
>  
>  void
> @@ -252,6 +360,31 @@ riscv_linux_nat_target::fetch_registers (struct regcache *regcache, int regnum)
>  	supply_fpregset_regnum (regcache, &regs, regnum);
>      }
>  
> +  /* if Linux kernel was not configured to support RISC-V vectors, then
> +     the ptrace call will return -1, and we just won't get vector registers,
> +     but in that case it wouldn't be an error that needs user attention.
> +   */
> +  if ((regnum >= RISCV_V0_REGNUM && regnum <= RISCV_V31_REGNUM)
> +      || (regnum == RISCV_CSR_VSTART_REGNUM)
> +      || (regnum == RISCV_CSR_VL_REGNUM)
> +      || (regnum == RISCV_CSR_VTYPE_REGNUM)
> +      || (regnum == RISCV_CSR_VCSR_REGNUM)
> +      || (regnum == RISCV_CSR_VLENB_REGNUM)
> +      || (regnum == RISCV_CSR_VXSAT_REGNUM)
> +      || (regnum == RISCV_CSR_VXRM_REGNUM)
> +      || (regnum == -1))
> +    {
> +      struct iovec iov;
> +      struct __riscv_vregs vregs;
> +
> +      iov.iov_base = &vregs;
> +      iov.iov_len = sizeof (vregs);
> +
> +      if (ptrace (PTRACE_GETREGSET, tid, NT_RISCV_VECTOR,
> +		  (PTRACE_TYPE_ARG3) & iov) == 0)
> +	supply_vregset_regnum (regcache, &vregs, regnum);
> +    }
> +
>    if ((regnum == RISCV_CSR_MISA_REGNUM)
>        || (regnum == -1))
>      {
> @@ -321,6 +454,35 @@ riscv_linux_nat_target::store_registers (struct regcache *regcache, int regnum)
>  	}
>      }
>  
> +  /* VLENB isn't writable, so we'll skip considering that one, if it's being
> +     specified alone */
> +  if ((regnum >= RISCV_V0_REGNUM && regnum <= RISCV_V31_REGNUM)
> +      || (regnum == RISCV_CSR_VSTART_REGNUM)
> +      || (regnum == RISCV_CSR_VL_REGNUM)
> +      || (regnum == RISCV_CSR_VTYPE_REGNUM)
> +      || (regnum == RISCV_CSR_VCSR_REGNUM)
> +      || (regnum == RISCV_CSR_VXSAT_REGNUM)
> +      || (regnum == RISCV_CSR_VXRM_REGNUM)
> +      || (regnum == -1))
> +    {
> +      struct iovec iov;
> +      struct __riscv_vregs vregs;
> +
> +      iov.iov_base = &vregs;
> +      iov.iov_len = sizeof (vregs);
> +
> +      if (ptrace (PTRACE_GETREGSET, tid, NT_RISCV_VECTOR,
> +		  (PTRACE_TYPE_ARG3) & iov) == 0)
> +	{
> +	  fill_vregset (regcache, &vregs, regnum);
> +
> +	  if (ptrace (PTRACE_SETREGSET, tid, NT_RISCV_VECTOR,
> +		      (PTRACE_TYPE_ARG3) & iov) == -1)
> +	    perror_with_name (_("Couldn't set vector registers"));
> +	}
> +    }
> +
> +
>    /* Access to CSRs has potential security issues, don't support them for
>       now.  */
>  }
> diff --git a/gdb/riscv-linux-tdep.c b/gdb/riscv-linux-tdep.c
> index 292d7a4ef7c..e2b5e5cf4b4 100644
> --- a/gdb/riscv-linux-tdep.c
> +++ b/gdb/riscv-linux-tdep.c
> @@ -32,6 +32,10 @@
>  
>  #define RISCV_NR_rt_sigreturn 139
>  
> +/* Magic number written to the head.magic field of struct __sc_riscv_v_state that kernel
> +   places in the reserved area of struct sigcontext.  Comes from <asm/sigcontext.h> */
> +#define RVV_MAGIC 0x53465457
> +
>  /* Define the general register mapping.  The kernel puts the PC at offset 0,
>     gdb puts it at offset 32.  Register x0 is always 0 and can be ignored.
>     Registers x1 to x31 are in the same place.  */
> @@ -120,8 +124,122 @@ static const struct tramp_frame riscv_linux_sigframe = {
>       mcontext_t uc_mcontext;
>     }; */
>  
> +
> +
> +/* riscv_linux_vector_sigframe_header_check() returns an answer to the question
> +   "is there a RISC-V Vector header at this memory location"? */
> +

These comments can be assumed to apply to the immediately following
function, and should reference the arguments, so something like:

  /* Read .... from address REGS_BASE and return true if ...., otherwise
     return false.  THIS_FRAME is used for the architecture and
     byte-order when reading memory.  VLEN and XLEN are the v-register
     and x-register sizes in bytes(?) and are used for validation.  */

> +static bool
> +riscv_linux_vector_sigframe_header_check (frame_info_ptr this_frame,
> +					  int vlen, int xlen,
> +					  CORE_ADDR regs_base)
> +{
> +  uint32_t rvv_magic;
> +  uint32_t rvv_size;
> +  bool info_good = false;
> +
> +  /* If vector information is available, then we should see this structure at this address:
> +     struct __riscv_ctx_hdr {
> +     __u32 magic;  (RVV_MAGIC).
> +     __u32 size;   (size of struct __sc_riscv_v_state + vector register data size (32*VLENB))
> +     } head;
> +   */
> +
> +  rvv_magic =
> +    get_frame_memory_unsigned (this_frame, regs_base, sizeof (rvv_magic));
> +  regs_base += sizeof (rvv_magic);
> +  rvv_size =
> +    get_frame_memory_unsigned (this_frame, regs_base, sizeof (rvv_magic));
> +  regs_base += sizeof (rvv_size);
> +
> +
> +  info_good = (rvv_magic == RVV_MAGIC);
> +  if (!info_good)
> +    {
> +      /* Not an error, because kernels can be configured without CONFIG_VECTOR, but worth noting if frame debug
> +         setting is turned on */
> +      if (frame_debug)
> +	frame_debug_printf
> +	  ("Did not find RISC-V vector information in ucontext (kernel not built with CONFIG_VECTOR?)");

You don't need the 'if (frame_debug)' here, frame_debug_printf has that
built-in.

> +
> +      return false;
> +    }
> +
> +  if (frame_debug)
> +    {
> +      uint32_t expected_rvv_size;
> +
> +      frame_debug_printf
> +	("Located RISC-V vector information in signal frame ucontext (info size %u)",
> +	 rvv_size);
> +
> +      /* sanity check the reported size; should be sizeof(uint32_t) + sizeof(uint32_t) + 5 * XLENB + 32 * vlen */
> +      expected_rvv_size = sizeof (uint32_t) /* magic */  +
> +	sizeof (uint32_t) /* size */  +
> +	5 * xlen /* vstart, vl, vtype, vcsr, and datap */  +
> +	32 * vlen;		/* v0..v31 values */
> +
> +      if (rvv_size != expected_rvv_size)
> +	{
> +	  /* It doesn't seem like this should be a hard error, but it'd be good to make it visible if frame debug
> +	     setting is turned on */
> +	  frame_debug_printf
> +	    ("Size in RISC-V vector information header in ucontext differs from the expected %u",
> +	     expected_rvv_size);
> +	}

If this shouldn't be a hard error then maybe it should still be a
warning?  Most users aren't going to turn on debug output, but it feels
like, if they got this warning, and then something didn't work as
expected, the user is more likely to start asking the right questions.

> +    }
> +
> +  return info_good;
> +}
> +
> +static CORE_ADDR
> +riscv_linux_sigframe_vector_init (frame_info_ptr this_frame,
> +				  struct trad_frame_cache *this_cache,
> +				  CORE_ADDR regs_base, int xlen, int vlen)
> +{
> +  int vfieldidx;		/* index of "unsigned long" members in __riscv_v_ext_state */
> +  CORE_ADDR p_datap;
> +  CORE_ADDR datap;		/* dereferenced value of void *datap that points to v0..v31 */

GDB doesn't place variable declarations at the top of the scope like
this any more.  Where possible variables should be declared at the point
they are first used.

Comments are better placed on a line before the declaration or first use
as, like here, trying to place them inline just results in long lines.

> +
> +  /* vstart, vl, vtype, vcsr, and datap are XLEN sized fields (unsigned long) from this point */
> +  vfieldidx = 0;
> +  trad_frame_set_reg_addr (this_cache, RISCV_CSR_VSTART_REGNUM,
> +			   regs_base + (vfieldidx * xlen));
> +  vfieldidx++;
> +  trad_frame_set_reg_addr (this_cache, RISCV_CSR_VL_REGNUM,
> +			   regs_base + (vfieldidx * xlen));
> +
> +  vfieldidx++;
> +  trad_frame_set_reg_addr (this_cache, RISCV_CSR_VTYPE_REGNUM,
> +			   regs_base + (vfieldidx * xlen));
> +
> +  vfieldidx++;
> +  trad_frame_set_reg_addr (this_cache, RISCV_CSR_VCSR_REGNUM,
> +			   regs_base + (vfieldidx * xlen));
> +
> +  /* for the datap member, there is one level of memory indirection to get the address of
> +     the block of values for v0..v31 */
> +  vfieldidx++;
> +  p_datap = regs_base + (vfieldidx * xlen);
> +  datap = get_frame_memory_unsigned (this_frame, p_datap, xlen);
> +  regs_base = datap;
> +  for (int i = 0; i < 32; i++)
> +    {
> +      trad_frame_set_reg_addr (this_cache, RISCV_V0_REGNUM + i,
> +			       regs_base + (i * vlen));
> +    }
> +  regs_base += 32 * vlen;
> +
> +  return regs_base;
> +}
> +
> +
>  #define SIGFRAME_SIGINFO_SIZE		128
>  #define UCONTEXT_MCONTEXT_OFFSET	176
> +#define MCONTEXT_VECTOR_OFFSET		784	/* offset of struct mcontext's __reserved field,
> +						   which is where the struct __sc_riscv_v_state is overlaid */
> +#define RISCV_CONTEXT_HEADER_SIZE	8	/* size of struct __riscv_ctx_hdr {__u32 magic;  __u32 size; } */
> +
>  
>  static void
>  riscv_linux_sigframe_init (const struct tramp_frame *self,
> @@ -132,6 +250,7 @@ riscv_linux_sigframe_init (const struct tramp_frame *self,
>    struct gdbarch *gdbarch = get_frame_arch (this_frame);
>    int xlen = riscv_isa_xlen (gdbarch);
>    int flen = riscv_isa_flen (gdbarch);
> +  int vlen = riscv_isa_vlen (gdbarch);
>    CORE_ADDR frame_sp = get_frame_sp (this_frame);
>    CORE_ADDR mcontext_base;
>    CORE_ADDR regs_base;
> @@ -155,6 +274,19 @@ riscv_linux_sigframe_init (const struct tramp_frame *self,
>    regs_base += 32 * flen;
>    trad_frame_set_reg_addr (this_cache, RISCV_CSR_FCSR_REGNUM, regs_base);
>  
> +  /* Handle the vector registers, if present. */
> +  if (vlen > 0)
> +    {
> +      regs_base = mcontext_base + MCONTEXT_VECTOR_OFFSET;
> +      if (riscv_linux_vector_sigframe_header_check
> +	  (this_frame, vlen, xlen, regs_base))
> +	{
> +	  regs_base += RISCV_CONTEXT_HEADER_SIZE;	/* advance past the header */
> +	  riscv_linux_sigframe_vector_init (this_frame, this_cache, regs_base,
> +					    xlen, vlen);
> +	}
> +    }
> +
>    /* Choice of the bottom of the sigframe is somewhat arbitrary.  */
>    trad_frame_set_id (this_cache, frame_id_build (frame_sp, func));
>  }
> diff --git a/gdb/riscv-tdep.c b/gdb/riscv-tdep.c
> index ae18eb64452..8714b750017 100644
> --- a/gdb/riscv-tdep.c
> +++ b/gdb/riscv-tdep.c
> @@ -47,6 +47,7 @@
>  #include "remote.h"
>  #include "target-descriptions.h"
>  #include "dwarf2/frame.h"
> +#include "dwarf2/expr.h"
>  #include "user-regs.h"
>  #include "valprint.h"
>  #include "gdbsupport/common-defs.h"
> @@ -650,6 +651,14 @@ struct riscv_vector_feature : public riscv_register_feature
>        { RISCV_V0_REGNUM + 29, { "v29" } },
>        { RISCV_V0_REGNUM + 30, { "v30" } },
>        { RISCV_V0_REGNUM + 31, { "v31" } },
> +      /* vector CSRs */
> +      { RISCV_CSR_VSTART_REGNUM, { "vstart" } },
> +      { RISCV_CSR_VXSAT_REGNUM, { "vxsat" } },
> +      { RISCV_CSR_VXRM_REGNUM, { "vxrm" } },
> +      { RISCV_CSR_VL_REGNUM, { "vl" } },
> +      { RISCV_CSR_VTYPE_REGNUM, { "vtype" } },
> +      { RISCV_CSR_VCSR_REGNUM, { "vcsr" } },
> +      { RISCV_CSR_VLENB_REGNUM, { "vlenb" } },

I think we should be careful adding these here.  Yes, the fpu feature
does allow for some CSRs, but with hindsight I don't think I would have
done it that way, instead I would just require targets to supply the csr
feature.

As a result of having this potential dual location for the FP CSRs I've
seen targets that supply the CSRs in both locations (which is wrong, but
GDB seems to manage with), and GDB has to have some special handling for
those CSRs because we can't know where to expect them.

Anyway, all the tdesc features are documented in the manual, so,
whatever we decide, I think this patch needs a docs update that
mentions these CSRs.  I would suggest:

  The @samp{org.gnu.gdb.riscv.vector} feature is optional.  If present,
  it should contain registers @samp{v0} through @samp{v31}, all of which
  must be the same size.  All vector related CSRs should be placed into
  the @samp{org.gnu.gdb.riscv.csr} feature.

But if you have a compelling argument for why the CSRs should live in
the vector feature, you'll need to update the docs accordingly.  You
should also review the docs for the csr feature -- depending on what
changes you make, you might also need to update that text too.

>      };
>    }
>  
> @@ -681,10 +690,16 @@ struct riscv_vector_feature : public riscv_register_feature
>  	return true;
>        }
>  
> -    /* Check all of the vector registers are present.  */
> +    /* Check all of the vector registers are present.  We also
> +       check that the vector CSRs are present too, though if these
> +       are missing this is not fatal.  */
>      for (const auto &reg : m_registers)
>        {
> -	if (!reg.check (tdesc_data, feature_vector, true, aliases))
> +	bool found = reg.check (tdesc_data, feature_vector, true, aliases);
> +	
> +	bool is_ctrl_reg_p = !(reg.regnum >= RISCV_V0_REGNUM && reg.regnum <= RISCV_V31_REGNUM);
> +
> +	if (!found && !is_ctrl_reg_p)
>  	  return false;
>        }
>  
> @@ -694,6 +709,12 @@ struct riscv_vector_feature : public riscv_register_feature
>      int vector_bitsize = -1;
>      for (const auto &reg : m_registers)
>        {
> +
> +	bool is_ctrl_reg_p = !(reg.regnum >= RISCV_V0_REGNUM && reg.regnum <= RISCV_V31_REGNUM);	
> +
> +	if (is_ctrl_reg_p)
> +	  continue;
> +
>  	int reg_bitsize = -1;
>  	for (const char *name : reg.names)
>  	  {
> @@ -804,6 +825,16 @@ riscv_abi_embedded (struct gdbarch *gdbarch)
>    return tdep->abi_features.embedded;
>  }
>  
> +/* See riscv-tdep.h.  */
> +
> +int
> +riscv_isa_vlen (struct gdbarch *gdbarch)
> +{
> +  riscv_gdbarch_tdep *tdep = gdbarch_tdep<riscv_gdbarch_tdep> (gdbarch);
> +  return tdep->isa_features.vlen;
> +}
> +
> +
>  /* Return true if the target for GDBARCH has floating point hardware.  */
>  
>  static bool
> @@ -1454,7 +1485,19 @@ riscv_register_reggroup_p (struct gdbarch  *gdbarch, int regnum,
>        return 0;
>      }
>    else if (reggroup == vector_reggroup)
> -    return (regnum >= RISCV_V0_REGNUM && regnum <= RISCV_V31_REGNUM);
> +    {
> +      if (regnum >= RISCV_V0_REGNUM && regnum <= RISCV_V31_REGNUM)
> +	return 1;
> +      if (regnum == RISCV_CSR_VSTART_REGNUM
> +	  || regnum == RISCV_CSR_VXSAT_REGNUM
> +	  || regnum == RISCV_CSR_VXRM_REGNUM
> +	  || regnum == RISCV_CSR_VL_REGNUM
> +	  || regnum == RISCV_CSR_VTYPE_REGNUM
> +	  || regnum == RISCV_CSR_VCSR_REGNUM
> +	  || regnum == RISCV_CSR_VLENB_REGNUM)
> +	return 1;
> +      return 0;
> +    }
>    else
>      return 0;
>  }
> diff --git a/gdb/riscv-tdep.h b/gdb/riscv-tdep.h
> index 4c3afb08e07..b183c58c7da 100644
> --- a/gdb/riscv-tdep.h
> +++ b/gdb/riscv-tdep.h
> @@ -150,6 +150,11 @@ extern int riscv_abi_flen (struct gdbarch *gdbarch);
>     argument registers.  */
>  extern bool riscv_abi_embedded (struct gdbarch *gdbarch);
>  
> +/* Return the width in bytes of the hardware vector registers for
> +   GDBARCH.  If this architecture has no vector registers, then
> +   return 0.  */
> +extern int riscv_isa_vlen (struct gdbarch *gdbarch);
> +
>  /* Single step based on where the current instruction will take us.  */
>  extern std::vector<CORE_ADDR> riscv_software_single_step
>    (struct regcache *regcache);
> diff --git a/gdbserver/linux-riscv-low.cc b/gdbserver/linux-riscv-low.cc
> index 129bc3b138b..169fa988c06 100644
> --- a/gdbserver/linux-riscv-low.cc
> +++ b/gdbserver/linux-riscv-low.cc
> @@ -158,6 +158,113 @@ riscv_store_fpregset (struct regcache *regcache, const void *buf)
>    supply_register_by_name (regcache, "fcsr", regbuf);
>  }
>  
> +/* Collect vector registers from REGCACHE into BUF.  */
> +
> +static void
> +riscv_fill_vregset (struct regcache *regcache, void *buf)
> +{
> +  const struct target_desc *tdesc = regcache->tdesc;
> +  int regno = find_regno (tdesc, "v0");
> +  int vlenb = register_size (regcache->tdesc, regno);
> +  uint64_t u64_vlenb = vlenb;	/* pad to max XLEN for buffer conversion */
> +  uint64_t u64_vxsat = 0;
> +  uint64_t u64_vxrm = 0;
> +  uint64_t u64_vcsr = 0;
> +  gdb_byte *regbuf;
> +  int i;

At least some of these should be moved inline below.

> +
> +  /* Since vxsat and equivalent bits in vcsr are aliases (and same for vxrm), we have a dilemma.
> +     For this gdb -> gdbserver topology, if the aliased pairs have values that disagree, then
> +     which value should take precedence?  We don't know which alias was most
> +     recently assigned.  We're just getting a block of register values including vxsat, vxrm,
> +     and vcsr.  We have to impose some kind of rule for predictable resolution to resolve any inconsistency.
> +     For now, let's say that vxsat and vxrm take precedence, and those values will be applied to the
> +     corresponding fields in vcsr.  Reconcile these 3 interdependent registers now:
> +  */
> +  regbuf = (gdb_byte *) & u64_vcsr;
> +  collect_register_by_name (regcache, "vcsr", regbuf);
> +  regbuf = (gdb_byte *) & u64_vxsat;
> +  collect_register_by_name (regcache, "vxsat", regbuf);
> +  regbuf = (gdb_byte *) & u64_vxrm;
> +  collect_register_by_name (regcache, "vxrm", regbuf);
> +  
> +  u64_vcsr &= ~((uint64_t)VCSR_MASK_VXSAT << VCSR_POS_VXSAT);
> +  u64_vcsr |= ((u64_vxsat & VCSR_MASK_VXSAT) << VCSR_POS_VXSAT);
> +  u64_vcsr &= ~((uint64_t)VCSR_MASK_VXRM << VCSR_POS_VXRM);	  
> +  u64_vcsr |= ((u64_vxrm & VCSR_MASK_VXRM) << VCSR_POS_VXRM);

Space after the type in a cast.

> +
> +  /* Replace the original vcsr value with the "cooked" value */
> +  regbuf = (gdb_byte *) & u64_vcsr;  
> +  supply_register_by_name (regcache, "vcsr", regbuf);
> +
> +  /* Now stage the ptrace buffer (it'll receive the cooked vcsr value) */
> +
> +  regbuf = (gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vstart);
> +  collect_register_by_name (regcache, "vstart", regbuf);
> +  regbuf = (gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vl);
> +  collect_register_by_name (regcache, "vl", regbuf);
> +  regbuf = (gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vtype);
> +  collect_register_by_name (regcache, "vtype", regbuf);
> +  regbuf = (gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vcsr);
> +  collect_register_by_name (regcache, "vcsr", regbuf);
> +  regbuf = (gdb_byte *) & u64_vlenb;
> +  collect_register_by_name (regcache, "vlenb", regbuf);
> +
> +
> +  regbuf = (gdb_byte *) buf + offsetof (struct __riscv_vregs, data);
> +  for (i = 0; i < 32; i++, regbuf += vlenb)
> +    collect_register (regcache, regno + i, regbuf);
> +}
> +
> +/* Supply vector registers from BUF into REGCACHE.  */
> +
> +static void
> +riscv_store_vregset (struct regcache *regcache, const void *buf)
> +{
> +  const struct target_desc *tdesc = regcache->tdesc;
> +  int regno = find_regno (tdesc, "v0");
> +  int vlenb = register_size (regcache->tdesc, regno);
> +  uint64_t u64_vlenb = vlenb;	/* pad to max XLEN for buffer conversion */
> +  uint64_t vcsr;
> +  uint64_t vxsat;
> +  uint64_t vxrm;  
> +  const gdb_byte *regbuf;
> +  int i;
> +
> +  regbuf =
> +    (const gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vstart);
> +  supply_register_by_name (regcache, "vstart", regbuf);
> +  regbuf =
> +    (const gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vl);
> +  supply_register_by_name (regcache, "vl", regbuf);
> +  regbuf =
> +    (const gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vtype);
> +  supply_register_by_name (regcache, "vtype", regbuf);
> +  regbuf =
> +    (const gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vcsr);
> +  supply_register_by_name (regcache, "vcsr", regbuf);
> +  /* also store off a non-byte-wise copy of vcsr, to derive values for vxsat and vxrm */
> +  vcsr = *(uint64_t*)regbuf;
> +  /* vlenb isn't part of vstate, but we have already inferred its value by running code on this
> +     hart, and we're assuming homogeneous VLENB if it's an SMP system */
> +  regbuf = (gdb_byte *) & u64_vlenb;
> +  supply_register_by_name (regcache, "vlenb", regbuf);
> +
> +  /* vxsat and vxrm, are not part of vstate, so we have to extract from VCSR
> +     value */
> +  vxsat = ((vcsr >> VCSR_POS_VXSAT) & VCSR_MASK_VXSAT);  
> +  regbuf = (gdb_byte *) &vxsat;
> +  supply_register_by_name (regcache, "vxsat", regbuf);
> +  vxrm = ((vcsr >> VCSR_POS_VXRM) & VCSR_MASK_VXRM);  
> +  regbuf = (gdb_byte *) &vxrm;
> +  supply_register_by_name (regcache, "vxrm", regbuf);
> +
> +  /* v0..v31 */
> +  regbuf = (const gdb_byte *) buf + offsetof (struct __riscv_vregs, data);
> +  for (i = 0; i < 32; i++, regbuf += vlenb)
> +    supply_register (regcache, regno + i, regbuf);
> +}
> +
>  /* RISC-V/Linux regsets.  FPRs are optional and come in different sizes,
>     so define multiple regsets for them marking them all as OPTIONAL_REGS
>     rather than FP_REGS, so that "regsets_fetch_inferior_registers" picks
> @@ -175,6 +282,9 @@ static struct regset_info riscv_regsets[] = {
>    { PTRACE_GETREGSET, PTRACE_SETREGSET, NT_FPREGSET,
>      sizeof (struct __riscv_mc_f_ext_state), OPTIONAL_REGS,
>      riscv_fill_fpregset, riscv_store_fpregset },
> +  { PTRACE_GETREGSET, PTRACE_SETREGSET, NT_RISCV_VECTOR,
> +    sizeof (struct __riscv_vregs), OPTIONAL_REGS,
> +    riscv_fill_vregset, riscv_store_vregset },
>    NULL_REGSET
>  };
>  
> -- 
> 2.25.1

Thanks,
Andrew
  
Greg Savin Aug. 11, 2023, 4:41 p.m. UTC | #2
> Based on some of the other emails, I guess kernel support for some of
> this is still WIP, so I guess there's not "easy" way to test this?  Does
> QEMU have vector support yet?
>
> I've used a QEMU build that models RISC-V vectors, and tried out this GDB
patch interactively (mostly via "info reg vector" but also accesses through
dollar sign syntax with specific register values, reading and writing).
Though the QEMU I use for that is from a non-upstream fork, and I'm not
sure if upstream QEMU has all the capabilities for running RISCV-V vector
configurations yet.  I'll ask the people who provided the QEMU build I've
been using.

Thanks Andrew, I'll take a closer look at your other review comments on
this.

--Greg
  

Patch

diff --git a/gdb/arch/riscv.c b/gdb/arch/riscv.c
index 6f6fcb081e8..e8dd5994bb0 100644
--- a/gdb/arch/riscv.c
+++ b/gdb/arch/riscv.c
@@ -26,12 +26,30 @@ 
 #include "../features/riscv/64bit-fpu.c"
 #include "../features/riscv/rv32e-xregs.c"
 
+#include "opcode/riscv-opc.h"
+
 #ifndef GDBSERVER
 #define STATIC_IN_GDB static
 #else
 #define STATIC_IN_GDB
 #endif
 
+#ifdef GDBSERVER
+/* Work around issue where trying to include riscv-tdep.h (to get access to canonical RISCV_V0_REGNUM declaration
+   from that header) is problamtic for gdbserver build */
+#define RISCV_V0_REGNUM 4162   
+#else
+#include "defs.h"
+#include "riscv-tdep.h"
+#endif
+
+static int
+create_feature_riscv_vector_from_features (struct target_desc *result,
+					   long regnum,
+					   const struct riscv_gdbarch_features
+					   features);
+
+
 /* See arch/riscv.h.  */
 
 STATIC_IN_GDB target_desc_up
@@ -84,15 +102,180 @@  riscv_create_target_description (const struct riscv_gdbarch_features features)
   else if (features.flen == 8)
     regnum = create_feature_riscv_64bit_fpu (tdesc.get (), regnum);
 
-  /* Currently GDB only supports vector features coming from remote
-     targets.  We don't support creating vector features on native targets
-     (yet).  */
   if (features.vlen != 0)
-    error (_("unable to create vector feature"));
+    regnum =
+      create_feature_riscv_vector_from_features (tdesc.get (),
+						 RISCV_V0_REGNUM, features);
 
   return tdesc;
 }
 
+
+
+/* Usually, these target_desc instances are static for an architecture, and expressable
+   in XML format, but this is a special case where length of a RISC-V vector register
+   is not architecturally fixed to a constant (the maximuim width is a defined constant,
+   but it's nice to tailor a target description the actual VLENB) */
+static int
+create_feature_riscv_vector_from_features (struct target_desc *result,
+					   long regnum,
+					   const struct riscv_gdbarch_features
+					   features)
+{
+  struct tdesc_feature *feature;
+  unsigned long bitsize;
+
+  feature = tdesc_create_feature (result, "org.gnu.gdb.riscv.vector");
+  tdesc_type *element_type;
+
+  /* if VLENB is present (which we know it is present if execution reaches this function),
+     then we know by definition that it is at least 4 bytes wide */
+  
+  element_type = tdesc_named_type (feature, "uint8");
+  tdesc_create_vector (feature, "bytes", element_type, features.vlen);
+
+  element_type = tdesc_named_type (feature, "uint16");
+  tdesc_create_vector (feature, "shorts", element_type, features.vlen / 2);
+
+  element_type = tdesc_named_type (feature, "uint32");
+  tdesc_create_vector (feature, "words", element_type, features.vlen / 4);
+
+  /* Need VLENB value checks for element chunks larger than 4 bytes */
+  
+  if (features.vlen >= 8)
+    {
+      element_type = tdesc_named_type (feature, "uint64");
+      tdesc_create_vector (feature, "longs", element_type, features.vlen / 8);
+    }
+
+  /* QEMU and OpenOCD include the quads width in their target descriptions, so we're
+     following that precedent, even if it's not particularly useful in practice, yet */
+  
+  if (features.vlen >= 16)
+    {
+      element_type = tdesc_named_type (feature, "uint128");
+      tdesc_create_vector (feature, "quads", element_type,
+			   features.vlen / 16);
+    }
+
+  tdesc_type_with_fields *type_with_fields;
+  type_with_fields = tdesc_create_union (feature, "riscv_vector");
+  tdesc_type *field_type;
+
+  if (features.vlen >= 16)
+    {
+      field_type = tdesc_named_type (feature, "quads");
+      tdesc_add_field (type_with_fields, "q", field_type);
+    }
+  if (features.vlen >= 8)
+    {
+      field_type = tdesc_named_type (feature, "longs");
+      tdesc_add_field (type_with_fields, "l", field_type);
+    }
+
+  /* Again, we know vlenb is >= 4, so no if guards needed for words/shorts/bytes */
+  
+  field_type = tdesc_named_type (feature, "words");
+  tdesc_add_field (type_with_fields, "w", field_type);
+  
+  field_type = tdesc_named_type (feature, "shorts");
+  tdesc_add_field (type_with_fields, "s", field_type);
+  
+  field_type = tdesc_named_type (feature, "bytes");
+  tdesc_add_field (type_with_fields, "b", field_type);
+
+  /* Using magic numbers for regnum parameter of these CSRs.  Magic numbers aren't ever ideal,
+     but didn't find a clear alternative that compiles successfully in both the gdb and gdbserver
+     build steps.  A mitigating factor is that these numbers
+     should be stable because they are based on constituent values that should also be stable:
+     RISCV_FIRST_CSR_REGNUM (a fixed constant) added to the respective CSR numbers from RISC-V     
+     specifications.  Also there is some precedent for magic numbers; the *.xml files in features/riscv/
+     use magic numbers to refer to floating point CSRs.
+
+     Also, the init_target_desc function in gdbserver expects all these registers to be ordered
+     in increasing order of "GDB internals" register number, with CSRs before vN registers and in relative numeric order
+     ascending.  DWARF register numbers don't seem to follow that pattern, and it seems to be necessary to use the GDB
+     regnums in order for things to work on both native gdb and gdbserver.
+   */
+  tdesc_create_reg (feature, "vstart", 73, 1, NULL, features.xlen * 8, "int");
+  tdesc_create_reg (feature, "vxsat", 74, 1, NULL, features.xlen * 8, "int");
+  tdesc_create_reg (feature, "vxrm", 75, 1, NULL, features.xlen * 8, "int");  
+  tdesc_create_reg (feature, "vcsr", 80, 1, NULL, features.xlen * 8, "int");
+  tdesc_create_reg (feature, "vl", 3169, 1, NULL, features.xlen * 8, "int");
+  tdesc_create_reg (feature, "vtype", 3170, 1, NULL, features.xlen * 8, "int");
+  tdesc_create_reg (feature, "vlenb", 3171, 1, NULL, features.xlen * 8, "int");
+
+  bitsize = features.vlen * 8;
+  tdesc_create_reg (feature, "v0", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v1", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v2", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v3", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v4", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v5", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v6", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v7", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v8", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v9", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v10", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v11", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v12", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v13", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v14", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v15", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v16", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v17", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v18", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v19", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v20", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v21", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v22", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v23", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v24", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v25", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v26", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v27", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v28", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v29", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v30", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+  tdesc_create_reg (feature, "v31", regnum++, 1, NULL, bitsize,
+		    "riscv_vector");
+
+
+  return regnum;
+}
+
+
 #ifndef GDBSERVER
 
 /* Wrapper used by std::unordered_map to generate hash for feature set.  */
diff --git a/gdb/nat/riscv-linux-tdesc.c b/gdb/nat/riscv-linux-tdesc.c
index d676233cc31..51d89108575 100644
--- a/gdb/nat/riscv-linux-tdesc.c
+++ b/gdb/nat/riscv-linux-tdesc.c
@@ -23,14 +23,18 @@ 
 #include "elf/common.h"
 #include "nat/gdb_ptrace.h"
 #include "nat/riscv-linux-tdesc.h"
+#include "gdbsupport/gdb_setjmp.h"
 
 #include <sys/uio.h>
+#include <signal.h>
 
 /* Work around glibc header breakage causing ELF_NFPREG not to be usable.  */
 #ifndef NFPREG
 # define NFPREG 33
 #endif
 
+static unsigned long safe_read_vlenb ();
+
 /* See nat/riscv-linux-tdesc.h.  */
 
 struct riscv_gdbarch_features
@@ -79,5 +83,69 @@  riscv_linux_read_features (int tid)
       break;
     }
 
+  features.vlen = safe_read_vlenb ();
+
   return features;
 }
+
+static SIGJMP_BUF sigill_guard_jmp_buf;
+
+static void
+sigill_guard (int sig)
+{
+  /* this will gets us back to caller deeper in the call stack, with an indication that
+     an illegal instruction condition was encountered */
+  SIGLONGJMP (sigill_guard_jmp_buf, -1);
+
+  /* control won't get here */
+}
+
+
+
+static unsigned long
+safe_read_vlenb ()
+{
+  /* Surrounding the attempt here to read VLENB CSR to have a signal handler set up
+     to trap illegal instruction condition (SIGILL), and if a trap happens during this call,
+     get control back within this function and return 0 in that case.
+   */
+  unsigned long vlenb = 0;
+  struct sigaction our_action = { 0 };
+  struct sigaction original_action;
+  int sysresult;
+
+
+  our_action.sa_handler = sigill_guard;
+
+  sysresult = sigaction (SIGILL, &our_action, &original_action);
+  if (sysresult != 0)
+    {
+      perror
+	("Error installing temporary SIGILL handler in safe_read_vlenb()");
+    }
+
+  if (SIGSETJMP (sigill_guard_jmp_buf, 1) == 0)
+    {
+    asm ("csrr %0, vlenb":"=r" (vlenb));
+    }
+  else
+    {
+      /* Must've generated an illegal instruction condition; we'll figure this means
+         no vector unit is present */
+      vlenb = 0;
+    }
+
+
+  if (sysresult == 0)
+    {
+      /* re-install former handler */
+      sysresult = sigaction (SIGILL, &original_action, NULL);
+      if (sysresult != 0)
+	{
+	  perror
+	    ("Error re-installing original SIGILL handler in safe_read_vlenb()");
+	}
+
+    }
+  return vlenb;
+}
diff --git a/gdb/nat/riscv-linux-tdesc.h b/gdb/nat/riscv-linux-tdesc.h
index 8e8da410265..4da9af7844c 100644
--- a/gdb/nat/riscv-linux-tdesc.h
+++ b/gdb/nat/riscv-linux-tdesc.h
@@ -20,9 +20,36 @@ 
 #define NAT_RISCV_LINUX_TDESC_H
 
 #include "arch/riscv.h"
+#include "asm/ptrace.h"
 
 /* Determine XLEN and FLEN for the LWP identified by TID, and return a
    corresponding features object.  */
 struct riscv_gdbarch_features riscv_linux_read_features (int tid);
 
+#ifndef NT_RISCV_VECTOR
+#define RISCV_MAX_VLENB (8192)
+#define NT_RISCV_VECTOR	0x900	/* RISC-V vector registers */
+#endif
+
+/* Some branches and/or commits of linux kernel named this "struct __riscv_v_state",
+   and later it was changed to "struct __riscv_v_ext_state",
+   so using a macro to stand-in for that struct type to make it easier to modify
+   in a single place, if compiling against one of those older Linux kernel commits */
+#ifndef RISCV_VECTOR_STATE_T
+#define RISCV_VECTOR_STATE_T struct __riscv_v_ext_state
+#endif
+
+/* Struct for use in ptrace() calls for vector CSRs/registers */
+struct __riscv_vregs
+{
+  RISCV_VECTOR_STATE_T vstate;
+  gdb_byte data[RISCV_MAX_VLENB * 32];	/* data will arrive packed, VLENB bytes per element, not necessarily RISCV_MAX_VLENB bytes per element */
+};
+
+#define VCSR_MASK_VXSAT 0x1
+#define VCSR_POS_VXSAT 0
+#define VCSR_MASK_VXRM 0x3
+#define VCSR_POS_VXRM 1
+
+
 #endif /* NAT_RISCV_LINUX_TDESC_H */
diff --git a/gdb/riscv-linux-nat.c b/gdb/riscv-linux-nat.c
index 8be4a5ac3e5..38fdd0ac5e0 100644
--- a/gdb/riscv-linux-nat.c
+++ b/gdb/riscv-linux-nat.c
@@ -22,6 +22,7 @@ 
 #include "linux-nat.h"
 #include "riscv-tdep.h"
 #include "inferior.h"
+#include "regset.h"
 
 #include "elf/common.h"
 
@@ -125,6 +126,113 @@  supply_fpregset_regnum (struct regcache *regcache, const prfpregset_t *fpregs,
     }
 }
 
+#define MEMBER_SIZE(type, member) sizeof(((type *)0)->member)
+
+static const regcache_map_entry riscv_linux_vregmap[] =
+{
+  { 1, RISCV_CSR_VSTART_REGNUM, MEMBER_SIZE(struct __riscv_vregs, vstate.vstart) },
+  { 1, RISCV_CSR_VL_REGNUM, MEMBER_SIZE(struct __riscv_vregs, vstate.vl) },
+  { 1, RISCV_CSR_VTYPE_REGNUM, MEMBER_SIZE(struct __riscv_vregs, vstate.vtype) },
+  { 1, RISCV_CSR_VCSR_REGNUM, MEMBER_SIZE(struct __riscv_vregs, vstate.vcsr) },
+  /* struct __riscv_vregs member "datap" is a pointer that doesn't correspond
+     to a register value.  In the context of ptrace(), member is always zero,
+     with V0..V31 values inline after that.  So, skipping datap */
+  { 1, REGCACHE_MAP_SKIP, MEMBER_SIZE(struct __riscv_vregs, vstate.datap) },
+  /* Here's V0..V31.  Specifying 0 as size leads to a call to register_size()
+     for size determination */
+  { 32, RISCV_V0_REGNUM, 0 },
+  { 0 },  /* count==0 represents termination of entries */
+};
+
+/* Define the vector register regset.  */
+
+static const struct regset riscv_linux_vregset =
+{
+  riscv_linux_vregmap,
+  regcache_supply_regset /* Other RISC-V regsets use riscv_supply_regset here; not sure that'd be correct for this case */,
+  regcache_collect_regset
+};
+
+
+static void
+supply_vregset_regnum (struct regcache *regcache,
+		       const struct __riscv_vregs *vregs, int regnum)
+{
+  const gdb_byte *buf;
+  int vlenb = register_size (regcache->arch (), RISCV_V0_REGNUM);
+
+  regcache_supply_regset (&riscv_linux_vregset, regcache, regnum, vregs, sizeof(*vregs));  
+
+  if (regnum == -1 || regnum == RISCV_CSR_VLENB_REGNUM)
+    {
+      /* we already have a local copy above, use that (widened for XLEN padding) */
+      uint64_t xlen_safe_vlenb = vlenb;
+      buf = (gdb_byte *) & xlen_safe_vlenb;
+      regcache->raw_supply (RISCV_CSR_VLENB_REGNUM, buf);
+    }
+
+  if (regnum == -1 || regnum == RISCV_CSR_VXSAT_REGNUM)
+    {
+      /*  this CSR is not part of vregs->vstate literally, but we can infer a value from vcsr */
+      uint64_t vxsat = ((vregs->vstate.vcsr >> VCSR_POS_VXSAT) & VCSR_MASK_VXSAT);
+      buf = (gdb_byte *) & vxsat;
+      regcache->raw_supply (RISCV_CSR_VXSAT_REGNUM, buf);
+    }
+
+  if (regnum == -1 || regnum == RISCV_CSR_VXRM_REGNUM)
+    {
+      /*  this CSR is not part of vregs->vstate literally, but we can infer a value from vcsr */
+      uint64_t vxrm = ((vregs->vstate.vcsr >> VCSR_POS_VXRM) & VCSR_MASK_VXRM);
+      buf = (gdb_byte *) & vxrm;
+      regcache->raw_supply (RISCV_CSR_VXRM_REGNUM, buf);
+    }
+}
+
+static void
+fill_vregset (const struct regcache *regcache, struct __riscv_vregs *vregs,
+	      int regnum)
+{
+  gdb_byte *buf;
+
+  regcache_collect_regset (&riscv_linux_vregset, regcache, regnum, vregs, sizeof(*vregs));    
+
+  if (regnum == -1 || regnum == RISCV_CSR_VCSR_REGNUM || regnum == RISCV_CSR_VXSAT_REGNUM
+      || regnum == RISCV_CSR_VXRM_REGNUM)
+    {
+      uint64_t vxsat_from_regcache;
+      uint64_t vxrm_from_regcache;      
+
+      if ( ! (regnum == -1 || regnum == RISCV_CSR_VCSR_REGNUM) )
+	{
+	  // we don't already have the VCSR value, from the earlier regcache_collect_regset call, so let's get it now
+	  regcache_collect_regset (&riscv_linux_vregset, regcache, RISCV_CSR_VCSR_REGNUM, vregs, sizeof(*vregs));    	  
+	}
+
+      if (regnum == RISCV_CSR_VXSAT_REGNUM)
+	{
+	  /* Overwrite VCSR with the VXSAT bit here */
+	  buf = (gdb_byte*)&vxsat_from_regcache;
+	  regcache->raw_collect (RISCV_CSR_VXSAT_REGNUM, buf);
+	  vregs->vstate.vcsr &= ~((uint64_t)VCSR_MASK_VXSAT << VCSR_POS_VXSAT);
+	  vregs->vstate.vcsr |= ((vxsat_from_regcache & VCSR_MASK_VXSAT) << VCSR_POS_VXSAT);
+	}
+
+      if (regnum == RISCV_CSR_VXRM_REGNUM)
+	{
+	  /* Overwrite VCSR with the VXRM bit here */
+	  buf = (gdb_byte*)&vxrm_from_regcache;
+	  regcache->raw_collect (RISCV_CSR_VXRM_REGNUM, buf);
+	  vregs->vstate.vcsr &= ~((uint64_t)VCSR_MASK_VXRM << VCSR_POS_VXRM);	  
+	  vregs->vstate.vcsr |= ((vxrm_from_regcache & VCSR_MASK_VXRM) << VCSR_POS_VXRM);
+	}
+      
+    }
+
+  /* VLENB register is not writable, so that's why nothing is collected here for that register */
+
+}
+
+
 /* Copy all floating point registers from regset FPREGS into REGCACHE.  */
 
 void
@@ -252,6 +360,31 @@  riscv_linux_nat_target::fetch_registers (struct regcache *regcache, int regnum)
 	supply_fpregset_regnum (regcache, &regs, regnum);
     }
 
+  /* if Linux kernel was not configured to support RISC-V vectors, then
+     the ptrace call will return -1, and we just won't get vector registers,
+     but in that case it wouldn't be an error that needs user attention.
+   */
+  if ((regnum >= RISCV_V0_REGNUM && regnum <= RISCV_V31_REGNUM)
+      || (regnum == RISCV_CSR_VSTART_REGNUM)
+      || (regnum == RISCV_CSR_VL_REGNUM)
+      || (regnum == RISCV_CSR_VTYPE_REGNUM)
+      || (regnum == RISCV_CSR_VCSR_REGNUM)
+      || (regnum == RISCV_CSR_VLENB_REGNUM)
+      || (regnum == RISCV_CSR_VXSAT_REGNUM)
+      || (regnum == RISCV_CSR_VXRM_REGNUM)
+      || (regnum == -1))
+    {
+      struct iovec iov;
+      struct __riscv_vregs vregs;
+
+      iov.iov_base = &vregs;
+      iov.iov_len = sizeof (vregs);
+
+      if (ptrace (PTRACE_GETREGSET, tid, NT_RISCV_VECTOR,
+		  (PTRACE_TYPE_ARG3) & iov) == 0)
+	supply_vregset_regnum (regcache, &vregs, regnum);
+    }
+
   if ((regnum == RISCV_CSR_MISA_REGNUM)
       || (regnum == -1))
     {
@@ -321,6 +454,35 @@  riscv_linux_nat_target::store_registers (struct regcache *regcache, int regnum)
 	}
     }
 
+  /* VLENB isn't writable, so we'll skip considering that one, if it's being
+     specified alone */
+  if ((regnum >= RISCV_V0_REGNUM && regnum <= RISCV_V31_REGNUM)
+      || (regnum == RISCV_CSR_VSTART_REGNUM)
+      || (regnum == RISCV_CSR_VL_REGNUM)
+      || (regnum == RISCV_CSR_VTYPE_REGNUM)
+      || (regnum == RISCV_CSR_VCSR_REGNUM)
+      || (regnum == RISCV_CSR_VXSAT_REGNUM)
+      || (regnum == RISCV_CSR_VXRM_REGNUM)
+      || (regnum == -1))
+    {
+      struct iovec iov;
+      struct __riscv_vregs vregs;
+
+      iov.iov_base = &vregs;
+      iov.iov_len = sizeof (vregs);
+
+      if (ptrace (PTRACE_GETREGSET, tid, NT_RISCV_VECTOR,
+		  (PTRACE_TYPE_ARG3) & iov) == 0)
+	{
+	  fill_vregset (regcache, &vregs, regnum);
+
+	  if (ptrace (PTRACE_SETREGSET, tid, NT_RISCV_VECTOR,
+		      (PTRACE_TYPE_ARG3) & iov) == -1)
+	    perror_with_name (_("Couldn't set vector registers"));
+	}
+    }
+
+
   /* Access to CSRs has potential security issues, don't support them for
      now.  */
 }
diff --git a/gdb/riscv-linux-tdep.c b/gdb/riscv-linux-tdep.c
index 292d7a4ef7c..e2b5e5cf4b4 100644
--- a/gdb/riscv-linux-tdep.c
+++ b/gdb/riscv-linux-tdep.c
@@ -32,6 +32,10 @@ 
 
 #define RISCV_NR_rt_sigreturn 139
 
+/* Magic number written to the head.magic field of struct __sc_riscv_v_state that kernel
+   places in the reserved area of struct sigcontext.  Comes from <asm/sigcontext.h> */
+#define RVV_MAGIC 0x53465457
+
 /* Define the general register mapping.  The kernel puts the PC at offset 0,
    gdb puts it at offset 32.  Register x0 is always 0 and can be ignored.
    Registers x1 to x31 are in the same place.  */
@@ -120,8 +124,122 @@  static const struct tramp_frame riscv_linux_sigframe = {
      mcontext_t uc_mcontext;
    }; */
 
+
+
+/* riscv_linux_vector_sigframe_header_check() returns an answer to the question
+   "is there a RISC-V Vector header at this memory location"? */
+
+static bool
+riscv_linux_vector_sigframe_header_check (frame_info_ptr this_frame,
+					  int vlen, int xlen,
+					  CORE_ADDR regs_base)
+{
+  uint32_t rvv_magic;
+  uint32_t rvv_size;
+  bool info_good = false;
+
+  /* If vector information is available, then we should see this structure at this address:
+     struct __riscv_ctx_hdr {
+     __u32 magic;  (RVV_MAGIC).
+     __u32 size;   (size of struct __sc_riscv_v_state + vector register data size (32*VLENB))
+     } head;
+   */
+
+  rvv_magic =
+    get_frame_memory_unsigned (this_frame, regs_base, sizeof (rvv_magic));
+  regs_base += sizeof (rvv_magic);
+  rvv_size =
+    get_frame_memory_unsigned (this_frame, regs_base, sizeof (rvv_magic));
+  regs_base += sizeof (rvv_size);
+
+
+  info_good = (rvv_magic == RVV_MAGIC);
+  if (!info_good)
+    {
+      /* Not an error, because kernels can be configured without CONFIG_VECTOR, but worth noting if frame debug
+         setting is turned on */
+      if (frame_debug)
+	frame_debug_printf
+	  ("Did not find RISC-V vector information in ucontext (kernel not built with CONFIG_VECTOR?)");
+
+      return false;
+    }
+
+  if (frame_debug)
+    {
+      uint32_t expected_rvv_size;
+
+      frame_debug_printf
+	("Located RISC-V vector information in signal frame ucontext (info size %u)",
+	 rvv_size);
+
+      /* sanity check the reported size; should be sizeof(uint32_t) + sizeof(uint32_t) + 5 * XLENB + 32 * vlen */
+      expected_rvv_size = sizeof (uint32_t) /* magic */  +
+	sizeof (uint32_t) /* size */  +
+	5 * xlen /* vstart, vl, vtype, vcsr, and datap */  +
+	32 * vlen;		/* v0..v31 values */
+
+      if (rvv_size != expected_rvv_size)
+	{
+	  /* It doesn't seem like this should be a hard error, but it'd be good to make it visible if frame debug
+	     setting is turned on */
+	  frame_debug_printf
+	    ("Size in RISC-V vector information header in ucontext differs from the expected %u",
+	     expected_rvv_size);
+	}
+    }
+
+  return info_good;
+}
+
+static CORE_ADDR
+riscv_linux_sigframe_vector_init (frame_info_ptr this_frame,
+				  struct trad_frame_cache *this_cache,
+				  CORE_ADDR regs_base, int xlen, int vlen)
+{
+  int vfieldidx;		/* index of "unsigned long" members in __riscv_v_ext_state */
+  CORE_ADDR p_datap;
+  CORE_ADDR datap;		/* dereferenced value of void *datap that points to v0..v31 */
+
+  /* vstart, vl, vtype, vcsr, and datap are XLEN sized fields (unsigned long) from this point */
+  vfieldidx = 0;
+  trad_frame_set_reg_addr (this_cache, RISCV_CSR_VSTART_REGNUM,
+			   regs_base + (vfieldidx * xlen));
+  vfieldidx++;
+  trad_frame_set_reg_addr (this_cache, RISCV_CSR_VL_REGNUM,
+			   regs_base + (vfieldidx * xlen));
+
+  vfieldidx++;
+  trad_frame_set_reg_addr (this_cache, RISCV_CSR_VTYPE_REGNUM,
+			   regs_base + (vfieldidx * xlen));
+
+  vfieldidx++;
+  trad_frame_set_reg_addr (this_cache, RISCV_CSR_VCSR_REGNUM,
+			   regs_base + (vfieldidx * xlen));
+
+  /* for the datap member, there is one level of memory indirection to get the address of
+     the block of values for v0..v31 */
+  vfieldidx++;
+  p_datap = regs_base + (vfieldidx * xlen);
+  datap = get_frame_memory_unsigned (this_frame, p_datap, xlen);
+  regs_base = datap;
+  for (int i = 0; i < 32; i++)
+    {
+      trad_frame_set_reg_addr (this_cache, RISCV_V0_REGNUM + i,
+			       regs_base + (i * vlen));
+    }
+  regs_base += 32 * vlen;
+
+  return regs_base;
+}
+
+
 #define SIGFRAME_SIGINFO_SIZE		128
 #define UCONTEXT_MCONTEXT_OFFSET	176
+#define MCONTEXT_VECTOR_OFFSET		784	/* offset of struct mcontext's __reserved field,
+						   which is where the struct __sc_riscv_v_state is overlaid */
+#define RISCV_CONTEXT_HEADER_SIZE	8	/* size of struct __riscv_ctx_hdr {__u32 magic;  __u32 size; } */
+
 
 static void
 riscv_linux_sigframe_init (const struct tramp_frame *self,
@@ -132,6 +250,7 @@  riscv_linux_sigframe_init (const struct tramp_frame *self,
   struct gdbarch *gdbarch = get_frame_arch (this_frame);
   int xlen = riscv_isa_xlen (gdbarch);
   int flen = riscv_isa_flen (gdbarch);
+  int vlen = riscv_isa_vlen (gdbarch);
   CORE_ADDR frame_sp = get_frame_sp (this_frame);
   CORE_ADDR mcontext_base;
   CORE_ADDR regs_base;
@@ -155,6 +274,19 @@  riscv_linux_sigframe_init (const struct tramp_frame *self,
   regs_base += 32 * flen;
   trad_frame_set_reg_addr (this_cache, RISCV_CSR_FCSR_REGNUM, regs_base);
 
+  /* Handle the vector registers, if present. */
+  if (vlen > 0)
+    {
+      regs_base = mcontext_base + MCONTEXT_VECTOR_OFFSET;
+      if (riscv_linux_vector_sigframe_header_check
+	  (this_frame, vlen, xlen, regs_base))
+	{
+	  regs_base += RISCV_CONTEXT_HEADER_SIZE;	/* advance past the header */
+	  riscv_linux_sigframe_vector_init (this_frame, this_cache, regs_base,
+					    xlen, vlen);
+	}
+    }
+
   /* Choice of the bottom of the sigframe is somewhat arbitrary.  */
   trad_frame_set_id (this_cache, frame_id_build (frame_sp, func));
 }
diff --git a/gdb/riscv-tdep.c b/gdb/riscv-tdep.c
index ae18eb64452..8714b750017 100644
--- a/gdb/riscv-tdep.c
+++ b/gdb/riscv-tdep.c
@@ -47,6 +47,7 @@ 
 #include "remote.h"
 #include "target-descriptions.h"
 #include "dwarf2/frame.h"
+#include "dwarf2/expr.h"
 #include "user-regs.h"
 #include "valprint.h"
 #include "gdbsupport/common-defs.h"
@@ -650,6 +651,14 @@  struct riscv_vector_feature : public riscv_register_feature
       { RISCV_V0_REGNUM + 29, { "v29" } },
       { RISCV_V0_REGNUM + 30, { "v30" } },
       { RISCV_V0_REGNUM + 31, { "v31" } },
+      /* vector CSRs */
+      { RISCV_CSR_VSTART_REGNUM, { "vstart" } },
+      { RISCV_CSR_VXSAT_REGNUM, { "vxsat" } },
+      { RISCV_CSR_VXRM_REGNUM, { "vxrm" } },
+      { RISCV_CSR_VL_REGNUM, { "vl" } },
+      { RISCV_CSR_VTYPE_REGNUM, { "vtype" } },
+      { RISCV_CSR_VCSR_REGNUM, { "vcsr" } },
+      { RISCV_CSR_VLENB_REGNUM, { "vlenb" } },
     };
   }
 
@@ -681,10 +690,16 @@  struct riscv_vector_feature : public riscv_register_feature
 	return true;
       }
 
-    /* Check all of the vector registers are present.  */
+    /* Check all of the vector registers are present.  We also
+       check that the vector CSRs are present too, though if these
+       are missing this is not fatal.  */
     for (const auto &reg : m_registers)
       {
-	if (!reg.check (tdesc_data, feature_vector, true, aliases))
+	bool found = reg.check (tdesc_data, feature_vector, true, aliases);
+	
+	bool is_ctrl_reg_p = !(reg.regnum >= RISCV_V0_REGNUM && reg.regnum <= RISCV_V31_REGNUM);
+
+	if (!found && !is_ctrl_reg_p)
 	  return false;
       }
 
@@ -694,6 +709,12 @@  struct riscv_vector_feature : public riscv_register_feature
     int vector_bitsize = -1;
     for (const auto &reg : m_registers)
       {
+
+	bool is_ctrl_reg_p = !(reg.regnum >= RISCV_V0_REGNUM && reg.regnum <= RISCV_V31_REGNUM);	
+
+	if (is_ctrl_reg_p)
+	  continue;
+
 	int reg_bitsize = -1;
 	for (const char *name : reg.names)
 	  {
@@ -804,6 +825,16 @@  riscv_abi_embedded (struct gdbarch *gdbarch)
   return tdep->abi_features.embedded;
 }
 
+/* See riscv-tdep.h.  */
+
+int
+riscv_isa_vlen (struct gdbarch *gdbarch)
+{
+  riscv_gdbarch_tdep *tdep = gdbarch_tdep<riscv_gdbarch_tdep> (gdbarch);
+  return tdep->isa_features.vlen;
+}
+
+
 /* Return true if the target for GDBARCH has floating point hardware.  */
 
 static bool
@@ -1454,7 +1485,19 @@  riscv_register_reggroup_p (struct gdbarch  *gdbarch, int regnum,
       return 0;
     }
   else if (reggroup == vector_reggroup)
-    return (regnum >= RISCV_V0_REGNUM && regnum <= RISCV_V31_REGNUM);
+    {
+      if (regnum >= RISCV_V0_REGNUM && regnum <= RISCV_V31_REGNUM)
+	return 1;
+      if (regnum == RISCV_CSR_VSTART_REGNUM
+	  || regnum == RISCV_CSR_VXSAT_REGNUM
+	  || regnum == RISCV_CSR_VXRM_REGNUM
+	  || regnum == RISCV_CSR_VL_REGNUM
+	  || regnum == RISCV_CSR_VTYPE_REGNUM
+	  || regnum == RISCV_CSR_VCSR_REGNUM
+	  || regnum == RISCV_CSR_VLENB_REGNUM)
+	return 1;
+      return 0;
+    }
   else
     return 0;
 }
diff --git a/gdb/riscv-tdep.h b/gdb/riscv-tdep.h
index 4c3afb08e07..b183c58c7da 100644
--- a/gdb/riscv-tdep.h
+++ b/gdb/riscv-tdep.h
@@ -150,6 +150,11 @@  extern int riscv_abi_flen (struct gdbarch *gdbarch);
    argument registers.  */
 extern bool riscv_abi_embedded (struct gdbarch *gdbarch);
 
+/* Return the width in bytes of the hardware vector registers for
+   GDBARCH.  If this architecture has no vector registers, then
+   return 0.  */
+extern int riscv_isa_vlen (struct gdbarch *gdbarch);
+
 /* Single step based on where the current instruction will take us.  */
 extern std::vector<CORE_ADDR> riscv_software_single_step
   (struct regcache *regcache);
diff --git a/gdbserver/linux-riscv-low.cc b/gdbserver/linux-riscv-low.cc
index 129bc3b138b..169fa988c06 100644
--- a/gdbserver/linux-riscv-low.cc
+++ b/gdbserver/linux-riscv-low.cc
@@ -158,6 +158,113 @@  riscv_store_fpregset (struct regcache *regcache, const void *buf)
   supply_register_by_name (regcache, "fcsr", regbuf);
 }
 
+/* Collect vector registers from REGCACHE into BUF.  */
+
+static void
+riscv_fill_vregset (struct regcache *regcache, void *buf)
+{
+  const struct target_desc *tdesc = regcache->tdesc;
+  int regno = find_regno (tdesc, "v0");
+  int vlenb = register_size (regcache->tdesc, regno);
+  uint64_t u64_vlenb = vlenb;	/* pad to max XLEN for buffer conversion */
+  uint64_t u64_vxsat = 0;
+  uint64_t u64_vxrm = 0;
+  uint64_t u64_vcsr = 0;
+  gdb_byte *regbuf;
+  int i;
+
+  /* Since vxsat and equivalent bits in vcsr are aliases (and same for vxrm), we have a dilemma.
+     For this gdb -> gdbserver topology, if the aliased pairs have values that disagree, then
+     which value should take precedence?  We don't know which alias was most
+     recently assigned.  We're just getting a block of register values including vxsat, vxrm,
+     and vcsr.  We have to impose some kind of rule for predictable resolution to resolve any inconsistency.
+     For now, let's say that vxsat and vxrm take precedence, and those values will be applied to the
+     corresponding fields in vcsr.  Reconcile these 3 interdependent registers now:
+  */
+  regbuf = (gdb_byte *) & u64_vcsr;
+  collect_register_by_name (regcache, "vcsr", regbuf);
+  regbuf = (gdb_byte *) & u64_vxsat;
+  collect_register_by_name (regcache, "vxsat", regbuf);
+  regbuf = (gdb_byte *) & u64_vxrm;
+  collect_register_by_name (regcache, "vxrm", regbuf);
+  
+  u64_vcsr &= ~((uint64_t)VCSR_MASK_VXSAT << VCSR_POS_VXSAT);
+  u64_vcsr |= ((u64_vxsat & VCSR_MASK_VXSAT) << VCSR_POS_VXSAT);
+  u64_vcsr &= ~((uint64_t)VCSR_MASK_VXRM << VCSR_POS_VXRM);	  
+  u64_vcsr |= ((u64_vxrm & VCSR_MASK_VXRM) << VCSR_POS_VXRM);
+
+  /* Replace the original vcsr value with the "cooked" value */
+  regbuf = (gdb_byte *) & u64_vcsr;  
+  supply_register_by_name (regcache, "vcsr", regbuf);
+
+  /* Now stage the ptrace buffer (it'll receive the cooked vcsr value) */
+
+  regbuf = (gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vstart);
+  collect_register_by_name (regcache, "vstart", regbuf);
+  regbuf = (gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vl);
+  collect_register_by_name (regcache, "vl", regbuf);
+  regbuf = (gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vtype);
+  collect_register_by_name (regcache, "vtype", regbuf);
+  regbuf = (gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vcsr);
+  collect_register_by_name (regcache, "vcsr", regbuf);
+  regbuf = (gdb_byte *) & u64_vlenb;
+  collect_register_by_name (regcache, "vlenb", regbuf);
+
+
+  regbuf = (gdb_byte *) buf + offsetof (struct __riscv_vregs, data);
+  for (i = 0; i < 32; i++, regbuf += vlenb)
+    collect_register (regcache, regno + i, regbuf);
+}
+
+/* Supply vector registers from BUF into REGCACHE.  */
+
+static void
+riscv_store_vregset (struct regcache *regcache, const void *buf)
+{
+  const struct target_desc *tdesc = regcache->tdesc;
+  int regno = find_regno (tdesc, "v0");
+  int vlenb = register_size (regcache->tdesc, regno);
+  uint64_t u64_vlenb = vlenb;	/* pad to max XLEN for buffer conversion */
+  uint64_t vcsr;
+  uint64_t vxsat;
+  uint64_t vxrm;  
+  const gdb_byte *regbuf;
+  int i;
+
+  regbuf =
+    (const gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vstart);
+  supply_register_by_name (regcache, "vstart", regbuf);
+  regbuf =
+    (const gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vl);
+  supply_register_by_name (regcache, "vl", regbuf);
+  regbuf =
+    (const gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vtype);
+  supply_register_by_name (regcache, "vtype", regbuf);
+  regbuf =
+    (const gdb_byte *) buf + offsetof (struct __riscv_vregs, vstate.vcsr);
+  supply_register_by_name (regcache, "vcsr", regbuf);
+  /* also store off a non-byte-wise copy of vcsr, to derive values for vxsat and vxrm */
+  vcsr = *(uint64_t*)regbuf;
+  /* vlenb isn't part of vstate, but we have already inferred its value by running code on this
+     hart, and we're assuming homogeneous VLENB if it's an SMP system */
+  regbuf = (gdb_byte *) & u64_vlenb;
+  supply_register_by_name (regcache, "vlenb", regbuf);
+
+  /* vxsat and vxrm, are not part of vstate, so we have to extract from VCSR
+     value */
+  vxsat = ((vcsr >> VCSR_POS_VXSAT) & VCSR_MASK_VXSAT);  
+  regbuf = (gdb_byte *) &vxsat;
+  supply_register_by_name (regcache, "vxsat", regbuf);
+  vxrm = ((vcsr >> VCSR_POS_VXRM) & VCSR_MASK_VXRM);  
+  regbuf = (gdb_byte *) &vxrm;
+  supply_register_by_name (regcache, "vxrm", regbuf);
+
+  /* v0..v31 */
+  regbuf = (const gdb_byte *) buf + offsetof (struct __riscv_vregs, data);
+  for (i = 0; i < 32; i++, regbuf += vlenb)
+    supply_register (regcache, regno + i, regbuf);
+}
+
 /* RISC-V/Linux regsets.  FPRs are optional and come in different sizes,
    so define multiple regsets for them marking them all as OPTIONAL_REGS
    rather than FP_REGS, so that "regsets_fetch_inferior_registers" picks
@@ -175,6 +282,9 @@  static struct regset_info riscv_regsets[] = {
   { PTRACE_GETREGSET, PTRACE_SETREGSET, NT_FPREGSET,
     sizeof (struct __riscv_mc_f_ext_state), OPTIONAL_REGS,
     riscv_fill_fpregset, riscv_store_fpregset },
+  { PTRACE_GETREGSET, PTRACE_SETREGSET, NT_RISCV_VECTOR,
+    sizeof (struct __riscv_vregs), OPTIONAL_REGS,
+    riscv_fill_vregset, riscv_store_vregset },
   NULL_REGSET
 };