Add support for VLEN configuration in Makefile

Modify Makefile to support `VLEN` configuration, via `make ENABLE_EXT_V=1
VLEN=<value>`. The default value for `VLEN` is set to 128. The current
implementation only support `VLEN=128`

Author: vestata

Makefile

@@ -130,6 +130,10 @@ $(call set-feature, EXT_C)
 # Vector extension instructions
 ENABLE_EXT_V ?= 1
 $(call set-feature, EXT_V)
+VLEN ?= 128 # Default VLEN is 128
+ifeq ($(call has, EXT_V), 1)
+CFLAGS += -DVLEN=$(VLEN)
+endif
 
 # Control and Status Register (CSR)
 ENABLE_Zicsr ?= 1

src/riscv.h

@@ -290,8 +290,10 @@ typedef uint32_t riscv_exception_t;
 typedef softfloat_float32_t riscv_float_t;
 #endif
 #if RV32_HAS(EXT_V)
-/* Fixme:Temporary set vl as 128 */
-typedef uint32_t vlen128[4];
+#ifndef VLEN
+#define VLEN 128
+#endif
+typedef uint32_t vreg_t[VLEN / 32];
 #endif
 
 /* memory read handlers */

src/riscv_private.h

@@ -219,7 +219,7 @@ struct riscv_internal {
 #endif
 
 #if RV32_HAS(EXT_V)
-    vlen128 V[N_RV_REGS];
+    vreg_t V[N_RV_REGS];
 
     uint32_t csr_vstart; /* +Vector start position */
     uint32_t csr_vxsat;  /* +Fixed-Point Saturate Flag */