From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 30 Apr 2021 16:59:20 +0000 (+0100)
Subject: add single regression test for bc_ctr in branch cases
X-Git-Tag: 0.0.3~100
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=21ce8b8d71e265a9f476b802873112434e282eba;p=openpower-isa.git

add single regression test for bc_ctr in branch cases
---

diff --git a/src/openpower/test/branch/branch_cases.py b/src/openpower/test/branch/branch_cases.py
index 40a2452a..dac8023e 100644
--- a/src/openpower/test/branch/branch_cases.py
+++ b/src/openpower/test/branch/branch_cases.py
@@ -48,6 +48,18 @@ class BranchTestCase(TestAccumulatorBase):
                           initial_sprs=initial_sprs,
                           initial_cr=cr)
 
+    def case_bc_ctr_regression(self):
+        bc = 13116
+        bo = 8
+        bi = 6
+        cr = 0x100983
+        ctr = 0x420abd56
+        lst = [f"bc {bo}, {bi}, {bc}"]
+        initial_sprs = {9: SelectableInt(ctr, 64)}
+        self.add_case(Program(lst, bigendian),
+                      initial_sprs=initial_sprs,
+                      initial_cr=cr)
+
     def case_bc_reg(self):
         # XXX: bcctr and bcctrl time out (irony: they're counters)
         choices = ["bclr", "bclrl", "bcctr", "bcctrl", "bctar", "bctarl"]