self.gdb = testlib.Gdb()
self.gdb.command("target extended-remote localhost:%d" % self.server.port)
+ def access_test(self, size, data_type):
+ a = 0x86753095555aaaa & ((1<<(size*8))-1)
+ b = 0xdeadbeef12345678 & ((1<<(size*8))-1)
+ self.gdb.p("*((%s*)0x%x) = 0x%x" % (data_type, target.ram, a))
+ self.gdb.p("*((%s*)0x%x) = 0x%x" % (data_type, target.ram + size, b))
+ self.assertEqual(self.gdb.p("*((%s*)0x%x)" % (data_type, target.ram)), a)
+ self.assertEqual(self.gdb.p("*((%s*)0x%x)" % (data_type, target.ram + size)), b)
+
+ def test_8(self):
+ self.access_test(1, 'char')
+
+ def test_16(self):
+ self.access_test(2, 'short')
+
def test_32(self):
- self.gdb.p("*((int*)0x%x) = 0x8675309" % target.ram)
- self.gdb.p("*((int*)0x%x) = 0xdeadbeef" % (target.ram + 4))
- self.assertEqual(self.gdb.p("*((int*)0x%x)" % target.ram), 0x8675309)
- self.assertEqual(self.gdb.p("*((int*)0x%x)" % (target.ram + 4)), 0xdeadbeef)
+ self.access_test(4, 'long')
+
+ def test_64(self):
+ self.access_test(8, 'long long')
class InstantHaltTest(DeleteServer):
def setUp(self):
- self.binary = target.compile("programs/debug.c")
- self.server = target.server(self.binary, halted=True)
+ self.server = target.server()
self.gdb = testlib.Gdb()
- self.gdb.command("file %s" % self.binary)
self.gdb.command("target extended-remote localhost:%d" % self.server.port)
def test_instant_halt(self):
def test_change_pc(self):
"""Change the PC right as we come out of reset."""
# 0x13 is nop
- self.gdb.command("p *((int*) 0x80000000)=0x13")
- self.gdb.command("p *((int*) 0x80000004)=0x13")
- self.gdb.command("p *((int*) 0x80000008)=0x13")
- self.gdb.command("p $pc=0x80000000")
+ self.gdb.command("p *((int*) 0x%x)=0x13" % target.ram)
+ self.gdb.command("p *((int*) 0x%x)=0x13" % (target.ram + 4))
+ self.gdb.command("p *((int*) 0x%x)=0x13" % (target.ram + 8))
+ self.gdb.p("$pc=0x%x" % target.ram)
self.gdb.command("stepi")
- self.assertEqual(0x80000004, self.gdb.p("$pc"))
+ self.assertEqual((target.ram + 4), self.gdb.p("$pc"))
self.gdb.command("stepi")
- self.assertEqual(0x80000008, self.gdb.p("$pc"))
+ self.assertEqual((target.ram + 4), self.gdb.p("$pc"))
class DebugTest(DeleteServer):
def setUp(self):
self.gdb = testlib.Gdb()
self.gdb.command("file %s" % self.binary)
self.gdb.command("target extended-remote localhost:%d" % self.server.port)
- self.gdb.load(self.binary)
+ self.gdb.load()
self.gdb.b("_exit")
def exit(self):
self.exit()
def test_registers(self):
+ # Get to a point in the code where some registers have actually been
+ # used.
self.gdb.b("rot13")
self.gdb.c()
+ self.gdb.c()
# Try both forms to test gdb.
for cmd in ("info all-registers", "info registers all"):
output = self.gdb.command(cmd)
self.assertNotIn("Could not", output)
for reg in ('zero', 'ra', 'sp', 'gp', 'tp'):
self.assertIn(reg, output)
+
+ #TODO
# mcpuid is one of the few registers that should have the high bit set
# (for rv64).
# Leave this commented out until gdb and spike agree on the encoding of
# mcpuid (which is going to be renamed to misa in any case).
#self.assertRegexpMatches(output, ".*mcpuid *0x80")
+ #TODO:
# The instret register should always be changing.
- last_instret = None
- for _ in range(5):
- instret = self.gdb.p("$instret")
- self.assertNotEqual(instret, last_instret)
- last_instret = instret
- self.gdb.command("stepi")
+ #last_instret = None
+ #for _ in range(5):
+ # instret = self.gdb.p("$instret")
+ # self.assertNotEqual(instret, last_instret)
+ # last_instret = instret
+ # self.gdb.command("stepi")
self.exit()
self.gdb.command("file %s" % self.binary)
self.gdb.command("target extended-remote localhost:%d" % self.server.port)
self.gdb.command("load")
+ self.gdb.b("main")
+ self.gdb.b("handle_trap")
+ self.gdb.c()
def test_write_gprs(self):
# Note a0 is missing from this list since it's used to hold the
"s5", "s6", "s7", "s8", "s9", "s10", "s11", "t3", "t4", "t5",
"t6")
- self.gdb.command("p $pc=write_regs")
+ self.gdb.p("$pc=write_regs")
for i, r in enumerate(regs):
self.gdb.command("p $%s=%d" % (r, (0xdeadbeef<<i)+17))
self.gdb.command("p $a0=data")
self.gdb.command("b all_done")
- output = self.gdb.command("c")
- self.assertIn("Breakpoint 1", output)
+ output = self.gdb.c()
+ self.assertIn("Breakpoint ", output)
# Just to get this data in the log.
self.gdb.command("x/30gx data")
self.gdb.stepi()
self.assertEqual(self.gdb.p("$mscratch"), 123)
- self.gdb.command("p $fflags=9")
self.gdb.command("p $pc=write_regs")
self.gdb.command("p $a0=data")
self.gdb.command("b all_done")
self.gdb.command("c")
- self.assertEqual(9, self.gdb.p("$fflags"))
- self.assertEqual(9, self.gdb.p("$x1"))
- self.assertEqual(9, self.gdb.p("$csr1"))
+ self.assertEqual(123, self.gdb.p("$mscratch"))
+ self.assertEqual(123, self.gdb.p("$x1"))
+ self.assertEqual(123, self.gdb.p("$csr832"))
class DownloadTest(DeleteServer):
def setUp(self):
length = 2**20
- fd = file("data.c", "w")
-# extern uint8_t *data;
-# extern uint32_t length;
-#
-# uint32_t main()
-#{
-# /* Compute a simple checksum. */
-# return crc32a(data, length);
-#}
+ fd = file("download.c", "w")
fd.write("#include <stdint.h>\n")
+ fd.write("unsigned int crc32a(uint8_t *message, unsigned int size);\n")
fd.write("uint32_t length = %d;\n" % length)
fd.write("uint8_t d[%d] = {\n" % length)
self.crc = 0
fd.write("\n");
fd.write("};\n");
fd.write("uint8_t *data = &d[0];\n");
+ fd.write("uint32_t main() { return crc32a(data, length); }\n")
fd.close()
- self.binary = target.compile("checksum.c", "data.c", "start.S",
- "-mcmodel=medany",
- "-T", "standalone.lds",
- "-nostartfiles"
- )
- self.server = target.server(None, halted=True)
+ if self.crc < 0:
+ self.crc += 2**32
+
+ self.binary = target.compile("download.c", "programs/checksum.c")
+ self.server = target.server()
self.gdb = testlib.Gdb()
self.gdb.command("file %s" % self.binary)
self.gdb.command("target extended-remote localhost:%d" % self.server.port)
def test_download(self):
- output = self.gdb.command("load")
- self.assertNotIn("failed", output)
- self.assertIn("Transfer rate", output)
- self.gdb.command("b done")
+ output = self.gdb.load()
+ self.gdb.command("b _exit")
self.gdb.c()
- result = self.gdb.p("$a0")
- self.assertEqual(self.crc, result)
+ self.assertEqual(self.gdb.p("status"), self.crc)
class MprvTest(DeleteServer):
def setUp(self):
- self.binary = target.compile("mprv.S", "-T", "standalone.lds",
- "-nostartfiles")
- self.server = target.server(None, halted=True)
+ self.binary = target.compile("programs/mprv.S")
+ self.server = target.server()
self.gdb = testlib.Gdb()
self.gdb.command("file %s" % self.binary)
self.gdb.command("target extended-remote localhost:%d" % self.server.port)
- self.gdb.command("load")
+ self.gdb.load()
def test_mprv(self):
"""Test that the debugger can access memory when MPRV is set."""
def compile(self, *sources):
return testlib.compile(sources +
- ("targets/%s/entry.S" % self.name, "programs/init.c",
+ ("programs/entry.S", "programs/init.c",
"-I", "../env",
"-T", "targets/%s/link.lds" % self.name,
"-nostartfiles",