From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 22 Jun 2022 14:45:46 +0000 (+0100)
Subject: add another cprop test, experimenting
X-Git-Tag: sv_maxu_works-initial~363
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d6790ba8783b04a7710ff8cef3edadb6112ad538;p=openpower-isa.git

add another cprop test, experimenting
---

diff --git a/src/openpower/test/bitmanip/av_cases.py b/src/openpower/test/bitmanip/av_cases.py
index c1f8a3f5..2509613c 100644
--- a/src/openpower/test/bitmanip/av_cases.py
+++ b/src/openpower/test/bitmanip/av_cases.py
@@ -430,3 +430,19 @@ class AVTestCase(TestAccumulatorBase):
         e.intregs[3] = reg_t
         self.add_case(Program(lst, bigendian), initial_regs, expected=e)
 
+    def case_2_cprop(self):
+        lst = ["cprop 3, 1, 2" ]
+        lst = list(SVP64Asm(lst, bigendian))
+        reg_a = 0b000010
+        reg_b = 0b001110
+        reg_t = 0b011110
+
+        initial_regs = [0] * 32
+        initial_regs[1] = reg_a
+        initial_regs[2] = reg_b
+        e = ExpectedState(pc=4)
+        e.intregs[1] = reg_a
+        e.intregs[2] = reg_b
+        e.intregs[3] = reg_t
+        self.add_case(Program(lst, bigendian), initial_regs, expected=e)
+