add heading option to GPR dump
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 10 Jan 2024 16:27:35 +0000 (16:27 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 10 Jan 2024 16:27:35 +0000 (16:27 +0000)
src/openpower/decoder/isa/caller.py

index d4be467133f870cc98d8ca8514b4669978a83ba9..57c8fea39fd77d4572fd8a9c1581ee4aa81286f0 100644 (file)
@@ -248,7 +248,7 @@ class GPR(dict):
         log("GPR getitem", attr, rnum)
         return self.regfile[rnum]
 
-    def dump(self, printout=True):
+    def dump(self, printout=True, heading="log"):
         res = []
         for i in range(len(self)):
             res.append(self[i].value)
@@ -258,7 +258,7 @@ class GPR(dict):
                 for j in range(8):
                     s.append("%08x" % res[i+j])
                 s = ' '.join(s)
-                log("reg", "%2d" % i, s, kind=LogType.InstrInOuts)
+                log(heading, "%2d" % i, s, kind=LogType.InstrInOuts)
         return res