From 2b32e30a7d4d5b536728bd2594d8b217e1d03efc Mon Sep 17 00:00:00 2001 From: "Samuel A. Falvo II" Date: Fri, 4 Sep 2020 17:23:06 -0700 Subject: [PATCH] Add unit test replicating failing proof case --- src/soc/fu/shift_rot/test/test_pipe_caller.py | 8 ++++++++ 1 file changed, 8 insertions(+) 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"] -- 2.30.2