From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 20 Oct 2023 00:49:04 +0000 (-0700)
Subject: fill in manually verified expected state for TrapTestCase.case_2_kaivb_test
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5bd2d42ff69d976f3405f3f74aaac855617d85fd;p=openpower-isa.git

fill in manually verified expected state for TrapTestCase.case_2_kaivb_test

based on the Programming Note on left side of PowerISA v3.1B page 1289 (1315)
---

diff --git a/src/openpower/test/trap/trap_cases.py b/src/openpower/test/trap/trap_cases.py
index dcab94f9..b90bf693 100644
--- a/src/openpower/test/trap/trap_cases.py
+++ b/src/openpower/test/trap/trap_cases.py
@@ -36,7 +36,10 @@ class TrapTestCase(TestAccumulatorBase):
         msr = 0xa000000000000003
         e = ExpectedState(pc=0x2700)
         e.intregs[1] = 1 << 13
-        e.msr = 0xa000000000000003  # TODO, not actually checked
+        e.sprs['SRR0'] = 0x4
+        e.sprs['SRR1'] = 0xa000000000080003
+        e.sprs['KAIVB'] = 0x2000
+        e.msr = 0xa000000000000001
         self.add_case(Program(lst, bigendian),
                       initial_regs, initial_sprs,
                       initial_msr=msr,