From: Samuel A. Falvo II <kc5tja@arrl.net>
Date: Sat, 5 Sep 2020 00:23:06 +0000 (-0700)
Subject: Add unit test replicating failing proof case
X-Git-Tag: semi_working_ecp5~197
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2b32e30a7d4d5b536728bd2594d8b217e1d03efc;p=soc.git

Add unit test replicating failing proof case
---

diff --git a/src/soc/fu/shift_rot/test/test_pipe_caller.py b/src/soc/fu/shift_rot/test/test_pipe_caller.py
index 1fc4ca1a..d1760bcd 100644
--- a/src/soc/fu/shift_rot/test/test_pipe_caller.py
+++ b/src/soc/fu/shift_rot/test/test_pipe_caller.py
@@ -133,6 +133,14 @@ class ShiftRotTestCase(TestAccumulatorBase):
         initial_regs[4] = 64 # too big, output should be zero
         self.add_case(Program(lst, bigendian), initial_regs)
 
+    def case_sld_rb_is_zero(self):
+        lst = ["sld 3, 1, 4",
+               ]
+        initial_regs = [0] * 32
+        initial_regs[1] = 0x8000000000000000
+        initial_regs[4] = 0 # no shift; output should equal input
+        self.add_case(Program(lst, bigendian), initial_regs)
+
     def case_shift_once(self):
         lst = ["slw 3, 1, 4",
                "slw 3, 1, 2"]