From 161b7d67b3339890f72590f6c52583798e18dc4b Mon Sep 17 00:00:00 2001
From: Cesar Strauss <cestrauss@gmail.com>
Date: Fri, 26 Feb 2021 18:45:18 -0300
Subject: [PATCH] Add a vector case with VL == 0

This will be useful for testing the fetch <-> issue loop.
---
 src/soc/fu/alu/test/svp64_cases.py | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/src/soc/fu/alu/test/svp64_cases.py b/src/soc/fu/alu/test/svp64_cases.py
index 73e8955f..59b39db4 100644
--- a/src/soc/fu/alu/test/svp64_cases.py
+++ b/src/soc/fu/alu/test/svp64_cases.py
@@ -75,3 +75,29 @@ class SVP64ALUTestCase(TestAccumulatorBase):
 
         self.add_case(Program(lst, bigendian), initial_regs,
                       initial_svstate=svstate)
+
+    @skip_case("VL hardware loop is not yet implemented")
+    def case_4_sv_check_vl_0(self):
+        # adds:
+        #       1 = 5 + 9   => 0x5555 = 0x4321 + 0x1234
+        isa = SVP64Asm([
+            'sv.add 13.v, 10.v, 7.v',  # skipped, because VL == 0
+            'add 1, 5, 9'
+        ])
+        lst = list(isa)
+        print("listing", lst)
+
+        # initial values in GPR regfile
+        initial_regs = [0] * 32
+        initial_regs[9] = 0x1234
+        initial_regs[5] = 0x4321
+        initial_regs[7] = 0x3012
+        initial_regs[10] = 0x1230
+        svstate = SVP64State()
+        # SVSTATE (in this case, VL=0, so vector instructions are skipped)
+        svstate.vl[0:7] = 0  # VL
+        svstate.maxvl[0:7] = 0  # MAXVL
+        print("SVSTATE", bin(svstate.spr.asint()))
+
+        self.add_case(Program(lst, bigendian), initial_regs,
+                      initial_svstate=svstate)
-- 
2.30.2