From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 2 Jun 2021 12:33:31 +0000 (+0100)
Subject: add commented-out debug prints
X-Git-Tag: xlen-bcd~489
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e41415aa6e06b25c37a0cfb68fb335e69aa53f91;p=openpower-isa.git

add commented-out debug prints
---

diff --git a/src/openpower/decoder/isa/pypowersim.py b/src/openpower/decoder/isa/pypowersim.py
index 4c3242bf..424fa0e2 100644
--- a/src/openpower/decoder/isa/pypowersim.py
+++ b/src/openpower/decoder/isa/pypowersim.py
@@ -149,6 +149,12 @@ def run_tst(args, generator, qemu,
                 initial_regs=initial_regs, initial_fprs=initial_fprs)
         for reg, val in qemu._get_registers().items():
             log ("qemu reg", reg, hex(val))
+        if True:
+            offs, length = 0x200000, 0x200
+            qmem = qemu.get_mem(offs, length)
+            log("qemu mem pre-dump", hex(offs), length)
+            for i, data in enumerate(qmem):
+                log(hex(offs+i*8), hex(data))
 
     m = Module()
     comb = m.d.comb
@@ -242,6 +248,7 @@ def run_tst(args, generator, qemu,
                 msg = "ld"
             if check_addr is not None:
                 sim_check_data(simulator, qemu, check_addr, msg)
+            sim_check_data(simulator, qemu, 0x600800, "dbgld")
             if _pc is None:
                 break