From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 30 Aug 2021 16:12:58 +0000 (+0100)
Subject: add mulhdu random test
X-Git-Tag: xlen-bcd~79
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ceb0bd7e6c2b32bf29eee680777fc1896d15c362;p=openpower-isa.git

add mulhdu random test
---

diff --git a/src/openpower/test/mul/mul_cases.py b/src/openpower/test/mul/mul_cases.py
index ad28da3d..d1120aaf 100644
--- a/src/openpower/test/mul/mul_cases.py
+++ b/src/openpower/test/mul/mul_cases.py
@@ -101,6 +101,16 @@ class MulTestCases2Arg(TestAccumulatorBase):
             initial_regs[2] = random.randint(0, (1 << 64)-1)
             self.add_case(Program(lst, bigendian), initial_regs)
 
+    def case_rand_mulhdu(self):
+        insns = ["mulhdu", "mulhdu."]
+        for i in range(40):
+            choice = random.choice(insns)
+            lst = [f"{choice} 3, 1, 2"]
+            initial_regs = [0] * 32
+            initial_regs[1] = random.randint(0, (1 << 64)-1)
+            initial_regs[2] = random.randint(0, (1 << 64)-1)
+            self.add_case(Program(lst, bigendian), initial_regs)
+
     def case_0_mullhw_regression(self):
         lst = [f"mulhwu 3, 1, 2"]
         initial_regs = [0] * 32