fix hrfid and mtmsrd so that it is identical to microwatt

[soc.git] / src / soc / simple / test / test_runner.py

diff --git a/src/soc/simple/test/test_runner.py b/src/soc/simple/test/test_runner.py
index b4458c0ca561a45ad7bfa38764def4e7febad5e9..5d6e57da2b1e82025a1604b52aa918927dac4d8a 100644 (file)
--- a/src/soc/simple/test/test_runner.py
+++ b/src/soc/simple/test/test_runner.py
@@ -373,6 +373,10 @@ class HDLRunner(StateRunner):
         xer = yield from get_dmi(self.dmi, DBGCore.XER)
         print("after test %s XER value %x" % (self.test.name, xer))
 
+        # get MSR
+        msr = yield from get_dmi(self.dmi, DBGCore.MSR)
+        print("after test %s MSR value %x" % (self.test.name, msr))
+
         # test of dmi reg get
         for int_reg in range(32):
             yield from set_dmi(self.dmi, DBGCore.GSPR_IDX, int_reg)