add test case for divweu regression

diff --git a/src/soc/fu/div/test/test_pipe_caller.py b/src/soc/fu/div/test/test_pipe_caller.py
index 188196e7e8f8a7613db1825de036990011b60442..bd22c81de38d03ba88e85daed504bc608188d5c0 100644 (file)
--- a/src/soc/fu/div/test/test_pipe_caller.py
+++ b/src/soc/fu/div/test/test_pipe_caller.py
@@ -11,6 +11,15 @@ from soc.fu.div.test.helper import (log_rand, get_cu_inputs,
 
 
 class DivTestCases(TestAccumulatorBase):
+    def case_divweu_regression(self):
+        # simulator is wrong, FSM and power-instruction-analyzer both correct
+        lst = ["divweu 3, 1, 2"]
+        initial_regs = [0] * 32
+        initial_regs[1] = 0x1
+        initial_regs[2] = 0xffffffffffffffff
+        with Program(lst, bigendian) as prog:
+            self.add_case(prog, initial_regs)
+
     def case_divwe_regression(self):
         # div FU and power-instruction-analyzer both correctly return 0
         # hitting behavior undefined by Power v3.1 spec, need to adjust