tests/gdbserver-smoke.py

   1 #!/usr/bin/python
   2
   3 import os
   4 import testlib
   5 import unittest
   6 import tempfile
   7 import time
   8
   9 class DebugTest(unittest.TestCase):
  10     def setUp(self):
  11         self.binary = testlib.compile("debug.c")
  12         self.spike = testlib.spike(self.binary, halted=False)
  13         self.gdb = testlib.Gdb()
  14         self.gdb.command("file %s" % self.binary)
  15         self.gdb.command("target extended-remote localhost:9824")
  16         self.gdb.command("p i=0");
  17
  18     def tearDown(self):
  19         self.spike.kill()
  20         self.spike.wait()
  21
  22     def test_turbostep(self):
  23         """Single step until the program exits. TODO"""
  24         last_pc = None
  25         for _ in range(100):
  26             self.gdb.command("stepi")
  27             pc = self.gdb.command("p $pc")
  28             self.assertNotEqual(last_pc, pc)
  29             last_pc = pc
  30
  31     def test_exit(self):
  32         output = self.gdb.command("c")
  33         self.assertIn("Continuing", output)
  34         self.assertIn("Remote connection closed", output)
  35
  36     def test_breakpoint(self):
  37         self.gdb.command("b print_row")
  38         # The breakpoint should be hit exactly 10 times.
  39         for _ in range(10):
  40             output = self.gdb.command("c")
  41             self.assertIn("Continuing", output)
  42             self.assertIn("Breakpoint 1", output)
  43         output = self.gdb.command("c")
  44         self.assertIn("Continuing", output)
  45         self.assertIn("Remote connection closed", output)
  46
  47     def test_registers(self):
  48         output = self.gdb.command("info all-registers")
  49         self.assertNotIn("Could not", output)
  50         for reg in ('zero', 'ra', 'sp', 'gp', 'tp'):
  51             self.assertIn(reg, output)
  52         # mcpuid is one of the few registers that should have the high bit set
  53         # (for rv64).
  54         self.assertRegexpMatches(output, ".*mcpuid *0x80")
  55
  56         # The time register should always be changing.
  57         last_time = None
  58         for _ in range(5):
  59             time = self.gdb.p("$time")
  60             self.assertNotEqual(time, last_time)
  61             last_time = time
  62             self.gdb.command("stepi")
  63
  64 class RegsTest(unittest.TestCase):
  65     def setUp(self):
  66         self.binary = testlib.compile("regs.s")
  67         self.spike = testlib.spike(self.binary, halted=False)
  68         self.gdb = testlib.Gdb()
  69         self.gdb.command("file %s" % self.binary)
  70         self.gdb.command("target extended-remote localhost:9824")
  71
  72     def tearDown(self):
  73         self.spike.kill()
  74         self.spike.wait()
  75
  76     def test_write_gprs(self):
  77         # Note a0 is missing from this list since it's used to hold the
  78         # address.
  79         regs = ("ra", "sp", "gp", "tp", "t0", "t1", "t2", "fp", "s1",
  80                 "a1", "a2", "a3", "a4", "a5", "a6", "a7", "s2", "s3", "s4",
  81                 "s5", "s6", "s7", "s8", "s9", "s10", "s11", "t3", "t4", "t5",
  82                 "t6")
  83
  84         self.gdb.command("p $pc=write_regs")
  85         for i, r in enumerate(regs):
  86             self.gdb.command("p $%s=%d" % (r, i*0xdeadbeef+17))
  87         self.gdb.command("p $a0=data")
  88         self.gdb.command("b all_done")
  89         output = self.gdb.command("c")
  90         self.assertIn("Breakpoint 1", output)
  91
  92         for n in range(len(regs)):
  93             self.assertEqual(self.gdb.x("data+%d" % (8*n), 'g'),
  94                     n*0xdeadbeef+17)
  95
  96     def test_write_csrs(self):
  97         # As much a test of gdb as of the simulator.
  98         self.gdb.p("$mscratch=0")
  99         self.gdb.stepi()
 100         self.assertEqual(self.gdb.p("$mscratch"), 0)
 101         self.gdb.p("$mscratch=123")
 102         self.gdb.stepi()
 103         self.assertEqual(self.gdb.p("$mscratch"), 123)
 104
 105 if __name__ == '__main__':
 106     unittest.main()