about summary refs log tree commit diff stats
path: root/039debug.cc
blob: 9f2dd4bd4d06ce1d54e0d58718dca5e52dbe20ef (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
//:: Some helpers for debugging.

//: Load the 'map' file generated during 'bootstrap --debug translate' when running
//: 'bootstrap --trace run'.
//: (It'll only affect the trace.)

:(before "End Globals")
map</*address*/uint32_t, string> Symbol_name;  // used only by 'bootstrap run'
map</*address*/uint32_t, string> Source_line;  // used only by 'bootstrap run'
:(before "End --trace Settings")
load_labels();
load_source_lines();
:(code)
void load_labels() {
  ifstream fin("labels");
  if (fin.fail()) return;
  fin >> std::hex;
  while (has_data(fin)) {
    uint32_t addr = 0;
    fin >> addr;
    string name;
    fin >> name;
    put(Symbol_name, addr, name);
  }
}

void load_source_lines() {
  ifstream fin("source_lines");
  if (fin.fail()) return;
  fin >> std::hex;
  while (has_data(fin)) {
    uint32_t addr = 0;
    fin >> addr;
    string line;
    getline(fin, line);
    put(Source_line, addr, hacky_squeeze_out_whitespace(line));
  }
}

:(after "Run One Instruction")
if (contains_key(Symbol_name, EIP))
  trace(Callstack_depth, "run") << "== label " << get(Symbol_name, EIP) << end();
if (contains_key(Source_line, EIP))
  trace(Callstack_depth, "run") << "inst: " << get(Source_line, EIP) << end();
else
  // no source line info; do what you can
  trace(Callstack_depth, "run") << "inst: " << debug_info(EIP) << end();

:(code)
string debug_info(uint32_t inst_address) {
  uint8_t op = read_mem_u8(inst_address);
  if (op != 0xe8) {
    ostringstream out;
    out << HEXBYTE << NUM(op);
    return out.str();
  }
  int32_t offset = read_mem_i32(inst_address+/*skip op*/1);
  uint32_t next_eip = inst_address+/*inst length*/5+offset;
  if (contains_key(Symbol_name, next_eip))
    return "e8/call "+get(Symbol_name, next_eip);
  ostringstream out;
  out << "e8/call 0x" << HEXWORD << next_eip;
  return out.str();
}

//: If a label starts with '$watch-', make a note of the effective address
//: computed by the next instruction. Start dumping out its contents to the
//: trace after every subsequent instruction.

:(after "Run One Instruction")
dump_watch_points();
:(before "End Globals")
map<string, uint32_t> Watch_points;
:(before "End Reset")
Watch_points.clear();
:(code)
void dump_watch_points() {
  if (Watch_points.empty()) return;
  trace(Callstack_depth, "dbg") << "watch points:" << end();
  for (map<string, uint32_t>::iterator p = Watch_points.begin();  p != Watch_points.end();  ++p)
    trace(Callstack_depth, "dbg") << "  " << p->first << ": " << HEXWORD << p->second << " -> " << HEXWORD << read_mem_u32(p->second) << end();
}

:(before "End Globals")
string Watch_this_effective_address;
:(after "Run One Instruction")
Watch_this_effective_address = "";
if (contains_key(Symbol_name, EIP) && starts_with(get(Symbol_name, EIP), "$watch-"))
  Watch_this_effective_address = get(Symbol_name, EIP);
:(after "Found effective_address(addr)")
if (!Watch_this_effective_address.empty()) {
  dbg << "now watching " << HEXWORD << addr << " for " << Watch_this_effective_address << end();
  put(Watch_points, Watch_this_effective_address, addr);
}

//: Special label that dumps regions of memory.
//: Not a general mechanism; by the time you get here you're willing to hack
//: on the emulator.
:(after "Run One Instruction")
if (contains_key(Symbol_name, EIP) && get(Symbol_name, EIP) == "$dump-stream-at-EAX")
  dump_stream_at(Reg[EAX].u);
:(code)
void dump_stream_at(uint32_t stream_start) {
  int32_t stream_length = read_mem_i32(stream_start + 8);
  dbg << "stream length: " << std::dec << stream_length << end();
  for (int i = 0;  i < stream_length + 12;  ++i)
    dbg << "0x" << HEXWORD << (stream_start+i) << ": " << HEXBYTE << NUM(read_mem_u8(stream_start+i)) << end();
}

//: helpers

:(code)
string hacky_squeeze_out_whitespace(const string& s) {
  // strip whitespace at start
  string::const_iterator first = s.begin();
  while (first != s.end() && isspace(*first))
    ++first;
  if (first == s.end()) return "";

  // strip whitespace at end
  string::const_iterator last = --s.end();
  while (last != s.begin() && isspace(*last))
    --last;
  ++last;

  // replace runs of spaces/dots with single space until comment or string
  // TODO:
  //   leave alone dots not surrounded by whitespace
  //   leave alone '#' within word
  //   leave alone '"' within word
  //   squeeze spaces after end of string
  ostringstream out;
  bool previous_was_space = false;
  bool in_comment_or_string = false;
  for (string::const_iterator curr = first;  curr != last;  ++curr) {
    if (in_comment_or_string)
      out << *curr;
    else if (isspace(*curr) || *curr == '.')
      previous_was_space = true;
    else {
      if (previous_was_space)
        out << ' ';
      out << *curr;
      previous_was_space = false;
      if (*curr == '#' || *curr == '"') in_comment_or_string = true;
    }
  }
  return out.str();
}
class="p">('onhashchange' in window) { window.onhashchange = JumpToLine; } --> </script> </head> <body onload='JumpToLine();'> <pre id='vimCodeElement'> <span id="L1" class="LineNr"> 1 </span><span class="Comment"># Example program showing that a 'paused' continuation can be 'resumed' with</span> <span id="L2" class="LineNr"> 2 </span><span class="Comment"># inputs.</span> <span id="L3" class="LineNr"> 3 </span><span class="Comment">#</span> <span id="L4" class="LineNr"> 4 </span><span class="Comment"># Print out a list of numbers, first adding 0 to the first, 1 to the second, 2</span> <span id="L5" class="LineNr"> 5 </span><span class="Comment"># to the third, and so on.</span> <span id="L6" class="LineNr"> 6 </span><span class="Comment">#</span> <span id="L7" class="LineNr"> 7 </span><span class="Comment"># To run:</span> <span id="L8" class="LineNr"> 8 </span><span class="Comment"># $ git clone <a href="https://github.com/akkartik/mu">https://github.com/akkartik/mu</a></span> <span id="L9" class="LineNr"> 9 </span><span class="Comment"># $ cd mu</span> <span id="L10" class="LineNr">10 </span><span class="Comment"># $ ./mu continuation5.mu</span> <span id="L11" class="LineNr">11 </span><span class="Comment">#</span> <span id="L12" class="LineNr">12 </span><span class="Comment"># Expected output:</span> <span id="L13" class="LineNr">13 </span><span class="Comment"># 1</span> <span id="L14" class="LineNr">14 </span><span class="Comment"># 3</span> <span id="L15" class="LineNr">15 </span><span class="Comment"># 5</span> <span id="L16" class="LineNr">16 </span> <span id="L17" class="LineNr">17 </span><span class="muRecipe">def</span> <a href='continuation5.mu.html#L17'>main</a> [ <span id="L18" class="LineNr">18 </span> <span class="Constant">local-scope</span> <span id="L19" class="LineNr">19 </span> l:&amp;:<a href='064list.mu.html#L6'>list</a>:num <span class="Special">&lt;-</span> copy<span class="Constant"> null</span> <span id="L20" class="LineNr">20 </span> l <span class="Special">&lt;-</span> push<span class="Constant"> 3</span>, l <span id="L21" class="LineNr">21 </span> l <span class="Special">&lt;-</span> push<span class="Constant"> 2</span>, l <span id="L22" class="LineNr">22 </span> l <span class="Special">&lt;-</span> push<span class="Constant"> 1</span>, l <span id="L23" class="LineNr">23 </span> k:continuation, x:num, done?:bool <span class="Special">&lt;-</span> <span class="muControl">call-with-continuation-mark</span> <span class="Constant">100/mark</span>, <a href='continuation5.mu.html#L34'>create-yielder</a>, l <span id="L24" class="LineNr">24 </span> a:num <span class="Special">&lt;-</span> copy<span class="Constant"> 1</span> <span id="L25" class="LineNr">25 </span> <span class="Delimiter">{</span> <span id="L26" class="LineNr">26 </span> <span class="muControl">break-if</span> done? <span id="L27" class="LineNr">27 </span> $print x <span class="Constant">10/newline</span> <span id="L28" class="LineNr">28 </span> k, x:num, done?:bool <span class="Special">&lt;-</span> call k, a <span class="Comment"># resume; x = a + next l value</span> <span id="L29" class="LineNr">29 </span> a <span class="Special">&lt;-</span> add a,<span class="Constant"> 1</span> <span id="L30" class="LineNr">30 </span> <span class="muControl"> loop</span> <span id="L31" class="LineNr">31 </span> <span class="Delimiter">}</span> <span id="L32" class="LineNr">32 </span>] <span id="L33" class="LineNr">33 </span> <span id="L34" class="LineNr">34 </span><span class="muRecipe">def</span> <a href='continuation5.mu.html#L34'>create-yielder</a> l:&amp;:<a href='064list.mu.html#L6'>list</a>:num<span class="muRecipe"> -&gt; </span>n:num, done?:bool [ <span id="L35" class="LineNr">35 </span> <span class="Constant">local-scope</span> <span id="L36" class="LineNr">36 </span> <span class="Constant">load-inputs</span> <span id="L37" class="LineNr">37 </span> a:num <span class="Special">&lt;-</span> copy<span class="Constant"> 0</span> <span id="L38" class="LineNr">38 </span> <span class="Delimiter">{</span> <span id="L39" class="LineNr">39 </span> done? <span class="Special">&lt;-</span> equal l,<span class="Constant"> null</span> <span id="L40" class="LineNr">40 </span> <span class="muControl">break-if</span> done? <span id="L41" class="LineNr">41 </span> n <span class="Special">&lt;-</span> first l <span id="L42" class="LineNr">42 </span> l <span class="Special">&lt;-</span> <a href='064list.mu.html#L24'>rest</a> l <span id="L43" class="LineNr">43 </span> n <span class="Special">&lt;-</span> add n, a <span id="L44" class="LineNr">44 </span> a <span class="Special">&lt;-</span> <span class="muControl">return-continuation-until-mark</span> <span class="Constant">100/mark</span>, n, done? <span class="Comment"># pause/resume</span> <span id="L45" class="LineNr">45 </span> <span class="muControl"> loop</span> <span id="L46" class="LineNr">46 </span> <span class="Delimiter">}</span> <span id="L47" class="LineNr">47 </span> <span class="muControl">return-continuation-until-mark</span> <span class="Constant">100/mark</span>,<span class="Constant"> -1</span>, done? <span id="L48" class="LineNr">48 </span> assert<span class="Constant"> false</span>, <span class="Constant">[called too many times, ran out of continuations to return]</span> <span id="L49" class="LineNr">49 </span>] </pre> </body> </html> <!-- vim: set foldmethod=manual : -->