Return pc register when requesting registers

Author: MaartenS11

src/main/java/be/ugent/topl/mio/GdbStub.java

@@ -2,7 +2,6 @@
 
 import be.ugent.topl.mio.debugger.Debugger;
 import be.ugent.topl.mio.sourcemap.SourceMap;
-import be.ugent.topl.mio.woodstate.Checkpoint;
 import be.ugent.topl.mio.woodstate.Frame;
 import be.ugent.topl.mio.woodstate.WOODDumpResponse;
 
@@ -35,9 +34,6 @@ public GdbStub(Debugger debugger, String binaryLocation) {
         });
     }
 
-    // Dummy register file (16 x 32-bit)
-    static int[] regs = new int[16];
-
     private static final char[] HEX = "0123456789abcdef".toCharArray();
     private String toHex(byte[] data, int offset, int length) {
         StringBuilder sb = new StringBuilder(length * 2);
@@ -98,10 +94,6 @@ public void start() throws IOException {
 
         byte[] wasmData = Files.readAllBytes(Path.of(binaryLocation));
 
-        for (int i = 0; i < regs.length; i++) {
-            regs[i] = 0x11111111 * (i + 1);
-        }
-
         ServerSocket server = new ServerSocket(1234);
         System.out.println("Waiting for GDB on port 1234...");
         Socket sock = server.accept();
@@ -395,9 +387,7 @@ private int checksum(byte[] data) {
 
     private String encodeRegs() {
         StringBuilder sb = new StringBuilder();
-        for (int r : regs) {
-            sb.append(String.format("%08x", r));
-        }
+        sb.append(String.format("%08x", getCurrentState().getPc()));
         return sb.toString();
     }
 }