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 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,