Xqccmp extension: fix IDL code for all pop/push instructions for RV64 and add stack range CSRs

Signed-off-by: Albert Yosher <[email protected]>

Author: ayosher

cfgs/qc_iu/arch_overlay/csr/Xqccmp/qc.mstkbottomaddr.yaml

@@ -0,0 +1,27 @@
+$schema: csr_schema.json#
+kind: csr
+name: qc.mstkbottomaddr
+long_name: Machine Stack Bottom Limit
+address: 0x7c5
+base: 32
+priv_mode: M
+length: MXLEN
+description: |
+  Stack bottom limit register. If the stack pointer (sp == x2) lesser then its value - SpOutOfRange exception occurs
+definedBy:
+  anyOf:
+    - Xqccmp
+    - Xqci
+    - Xqciint
+fields:
+  STKADDR:
+    location: 31-4
+    description: |
+      If the stack pointer (sp == x2) lesser then STKADDR*16 - SpOutOfRange exception occurs
+    type: RW
+    reset_value: 0
+  RESERVED:
+    location: 3-0
+    description: Reserved and must be zero
+    type: RO
+    reset_value: 0

cfgs/qc_iu/arch_overlay/csr/Xqccmp/qc.mstktopaddr.yaml

@@ -0,0 +1,27 @@
+$schema: csr_schema.json#
+kind: csr
+name: qc.mstktopaddr
+long_name: Machine Stack Top Limit
+address: 0x7c4
+base: 32
+priv_mode: M
+length: MXLEN
+description: |
+  Stack top limit register. If the stack pointer (sp == x2) greater then its value - SpOutOfRange exception occurs
+definedBy:
+  anyOf:
+    - Xqccmp
+    - Xqci
+    - Xqciint
+fields:
+  STKADDR:
+    location: 31-4
+    description: |
+      If the stack pointer (sp == x2) greater then STKADDR*16 - SpOutOfRange exception occurs
+    type: RW
+    reset_value: 0
+  RESERVED:
+    location: 3-0
+    description: Reserved and must be zero
+    type: RO
+    reset_value: 0

cfgs/qc_iu/arch_overlay/ext/Xqccmp.yaml

@@ -42,7 +42,9 @@ versions:
     company: Qualcomm Technologies, Inc.
     email: [email protected]
   changes:
+    - Fix all push and pop instructions description for RV64 (IDL code fix)
     - Fix qc.cm.pushfp instruction to avoid rlist == 4, since not saving s0 == fp but updating it, should not occur
+    - Add CSRs qc.mstkbottomaddr and qc.mstktopaddr to support cache range checking
     - Add list of supported custom exceptions - stack alignment check and stack range check
     - Add stack exception checks in all push/pop instructions
   requires:

cfgs/qc_iu/arch_overlay/inst/Xqccmp/qc.cm.pop.yaml

@@ -52,7 +52,7 @@ operation(): |
 
   XReg size = xlen();
   XReg nreg = (rlist == 15) ? 13 : (rlist - 3);
-  XReg stack_aligned_adj = (nreg * 4 + 15) & ~0xF;
+  XReg stack_aligned_adj = (nreg * size + 15) & ~0xF;
   XReg virtual_address_sp = X[2];
   XReg virtual_address_new_sp = virtual_address_sp + stack_aligned_adj + spimm;
   XReg virtual_address_base = virtual_address_new_sp - size;

cfgs/qc_iu/arch_overlay/inst/Xqccmp/qc.cm.popret.yaml

@@ -52,7 +52,7 @@ operation(): |
 
   XReg size = xlen();
   XReg nreg = (rlist == 15) ? 13 : (rlist - 3);
-  XReg stack_aligned_adj = (nreg * 4 + 15) & ~0xF;
+  XReg stack_aligned_adj = (nreg * size + 15) & ~0xF;
   XReg virtual_address_sp = X[2];
   XReg virtual_address_new_sp = virtual_address_sp + stack_aligned_adj + spimm;
   XReg virtual_address_base = virtual_address_new_sp - size;

cfgs/qc_iu/arch_overlay/inst/Xqccmp/qc.cm.popretz.yaml

@@ -52,7 +52,7 @@ operation(): |
 
   XReg size = xlen();
   XReg nreg = (rlist == 15) ? 13 : (rlist - 3);
-  XReg stack_aligned_adj = (nreg * 4 + 15) & ~0xF;
+  XReg stack_aligned_adj = (nreg * size + 15) & ~0xF;
   XReg virtual_address_sp = X[2];
   XReg virtual_address_new_sp = virtual_address_sp + stack_aligned_adj + spimm;
   XReg virtual_address_base = virtual_address_new_sp - size;

cfgs/qc_iu/arch_overlay/inst/Xqccmp/qc.cm.push.yaml

@@ -54,7 +54,7 @@ operation(): |
 
   XReg size = xlen();
   XReg nreg = (rlist == 15) ? 13 : (rlist - 3);
-  XReg stack_aligned_adj = (nreg * 4 + 15) & ~0xF;
+  XReg stack_aligned_adj = (nreg * size + 15) & ~0xF;
   XReg virtual_address_sp = X[2];
   XReg virtual_address_new_sp = virtual_address_sp - stack_aligned_adj - spimm;
   XReg virtual_address_base = virtual_address_sp - size;

cfgs/qc_iu/arch_overlay/inst/Xqccmp/qc.cm.pushfp.yaml

@@ -54,7 +54,7 @@ operation(): |
 
   XReg size = xlen();
   XReg nreg = (rlist == 15) ? 13 : (rlist - 3);
-  XReg stack_aligned_adj = (nreg * 4 + 15) & ~0xF;
+  XReg stack_aligned_adj = (nreg * size + 15) & ~0xF;
   XReg virtual_address_sp = X[2];
   XReg virtual_address_new_sp = virtual_address_sp - stack_aligned_adj - spimm;
   XReg virtual_address_base = virtual_address_sp - size;