From e59458aa0ebeafdfd125c486275a938cf899ff16 Mon Sep 17 00:00:00 2001
From: Eyck-Alexander Jentzsch <alex@minres.com>
Date: Tue, 18 Feb 2025 20:52:26 +0100
Subject: [PATCH] adds the missing vector csrs to the architectural state

---
 gen_input/templates/CORENAME.h.gtl | 11 ++++++++++-
 src/iss/arch/tgc5c.h               |  4 ++++
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/gen_input/templates/CORENAME.h.gtl b/gen_input/templates/CORENAME.h.gtl
index ed3a72f..bc22cbc 100644
--- a/gen_input/templates/CORENAME.h.gtl
+++ b/gen_input/templates/CORENAME.h.gtl
@@ -176,18 +176,27 @@ if(fcsr != null) {%>
 def vstart = registers.find {it.name=='vstart'}
 def vl = registers.find {it.name=='vl'}
 def vtype = registers.find {it.name=='vtype'}
+def vxsat = registers.find {it.name=='vxsat'}
+def vxrm = registers.find {it.name=='vxrm'}
 
 if(vtype != null) {%>
     uint${vstart.size}_t get_vstart(){return reg.vstart;}
     void set_vstart(uint${vstart.size}_t val){reg.vstart = val;}
     uint${vl.size}_t get_vl(){return reg.vl;}
     uint${vtype.size}_t get_vtype(){return reg.vtype;}
-
+    uint${vxsat.size}_t get_vxsat(){return reg.vxsat;}
+    void set_vxsat(uint${vxsat.size}_t val){reg.vxsat = val;}
+    uint${vxrm.size}_t get_vxrm(){return reg.vxrm;}
+    void set_vxrm(uint${vxrm.size}_t val){reg.vxrm = val;}
 <%} else { %>
     uint32_t get_vstart(){return 0;}
     void set_vstart(uint32_t val){}
     uint32_t get_vl(){return 0;}
     uint32_t get_vtype(){return 0;}
+    uint32_t get_vxsat(){return 0;}
+    void set_vxsat(uint32_t val){}
+    uint32_t get_vxrm(){return 0;}
+    void set_vxrm(uint32_t val){}
 <%}%>
 };
 
diff --git a/src/iss/arch/tgc5c.h b/src/iss/arch/tgc5c.h
index 3a484c7..42b8517 100644
--- a/src/iss/arch/tgc5c.h
+++ b/src/iss/arch/tgc5c.h
@@ -256,6 +256,10 @@ struct tgc5c: public arch_if {
     void set_vstart(uint32_t val){}
     uint32_t get_vl(){return 0;}
     uint32_t get_vtype(){return 0;}
+    uint32_t get_vxsat(){return 0;}
+    void set_vxsat(uint32_t val){}
+    uint32_t get_vxrm(){return 0;}
+    void set_vxrm(uint32_t val){}
 
 };