projects / openpower-isa.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: bf97f04)
fill in manually verified expected state for TrapTestCase.case_2_kaivb_test
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 20 Oct 2023 00:49:04 +0000 (17:49 -0700)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 22 Dec 2023 19:26:21 +0000 (19:26 +0000)
based on the Programming Note on left side of PowerISA v3.1B page 1289 (1315)

src/openpower/test/trap/trap_cases.py patch | blob | history

diff --git a/src/openpower/test/trap/trap_cases.py b/src/openpower/test/trap/trap_cases.py
index dcab94f98725078781e923a3d2b8517d092fe68c..b90bf6939fff94c027f99cc219517d89eec4748a 100644 (file)
--- 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,