html/linux/survey_baremetal.subx.html


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
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #888888 } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #008800; font-weight: bold } /* Keyword */
.highlight .ch { color: #888888 } /* Comment.Hashbang */
.highlight .cm { color: #888888 } /* Comment.Multiline */
.highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */
.highlight .cpf { color: #888888 } /* Comment.PreprocFile */
.highlight .c1 { color: #888888 } /* Comment.Single */
.highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #333333 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #666666 } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008800 } /* Keyword.Pseudo */
.highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */
.highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */
.highlight .na { color: #336699 } /* Name.Attribute */
.highlight .nb { color: #003388 } /* Name.Builtin */
.highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */
.highlight .no { color: #003366; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #555555 } /* Name.Decorator */
.highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */
.highlight .nl { color: #336699; font-style: italic } /* Name.Label */
.highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */
.highlight .py { color: #336699; font-weight: bold } /* Name.Property */
.highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #336699 } /* Name.Variable */
.highlight .ow { color: #008800 } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */
.highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */
.highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */
.highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */
.highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */
.highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */
.highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */
.highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */
.highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */
.highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */
.highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */
.highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */
.highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */
.highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */
.highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */
.highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */
.highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */
.highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */
.highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */
.highlight .vc { color: #336699 } /* Name.Variable.Class */
.highlight .vg { color: #dd7700 } /* Name.Variable.Global */
.highlight .vi { color: #3333bb } /* Name.Variable.Instance */
.highlight .vm { color: #336699 } /* Name.Variable.Magic */
.highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8">
<title>Mu - linux/132slurp.subx</title>
<meta name="Generator" content="Vim/8.2">
<meta name="plugin-version" content="vim8.1_v2">
<meta name="syntax" content="none">
<meta name="settings" content="number_lines,use_css,no_foldcolumn,expand_tabs,line_ids,prevent_copy=,use_input_for_pc=fallback">
<meta name="colorscheme" content="minimal-light">
<style>
<!--
pre { font-family: monospace; color: #000000; background-color: #ffffd7; }
body { font-size:12pt; font-family: monospace; color: #000000; background-color: #ffffd7; }
a { color:inherit; }
* { font-size:12pt; font-size: 1em; }
.subxComment { color: #005faf; }
.subxS2Comment { color: #8a8a8a; }
.LineNr { }
.subxFunction { color: #af5f00; text-decoration: underline; }
.subxS1Comment { color: #0000af; }
.Constant { color: #008787; }
.Normal { color: #000000; background-color: #ffffd7; padding-bottom: 1px; }
.subxTest { color: #5f8700; }
-->
</style>

<script>
<!--

/* function to open any folds containing a jumped-to line before jumping to it */
function JumpToLine()
{
  var lineNum;
  lineNum = window.location.hash;
  lineNum = lineNum.substr(1); /* strip off '#' */

  if (lineNum.indexOf('L') == -1) {
    lineNum = 'L'+lineNum;
  }
  var lineElem = document.getElementById(lineNum);
  /* Always jump to new location even if the line was hidden inside a fold, or
   * we corrected the raw number to a line ID.
   */
  if (lineElem) {
    lineElem.scrollIntoView(true);
  }
  return true;
}
if ('onhashchange' in window) {
  window.onhashchange = JumpToLine;
}

-->
</script>
</head>
<body onload='JumpToLine();'>
<a href='https://github.com/akkartik/mu/blob/main/linux/132slurp.subx'>https://github.com/akkartik/mu/blob/main/linux/132slurp.subx</a>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr">  1 </span>== code
<span id="L2" class="LineNr">  2 </span><span class="subxComment">#   instruction                     effective address                                                   register    displacement    immediate</span>
<span id="L3" class="LineNr">  3 </span><span class="subxS1Comment"># . op          subop               mod             rm32          base        index         scale       r32</span>
<span id="L4" class="LineNr">  4 </span><span class="subxS1Comment"># . 1-3 bytes   3 bits              2 bits          3 bits        3 bits      3 bits        2 bits      2 bits      0/1/2/4 bytes   0/1/2/4 bytes</span>
<span id="L5" class="LineNr">  5 </span>
<span id="L6" class="LineNr">  6 </span><span class="subxComment"># read all bytes from 'f' and store them into 's'</span>
<span id="L7" class="LineNr">  7 </span><span class="subxComment"># abort if 's' is too small</span>
<span id="L8" class="LineNr">  8 </span><span class="subxFunction">slurp</span>:  <span class="subxComment"># f: (addr buffered-file), s: (addr stream byte)</span>
<span id="L9" class="LineNr">  9 </span>    <span class="subxComment"># pseudocode:</span>
<span id="L10" class="LineNr"> 10 </span>    <span class="subxComment">#   while true</span>
<span id="L11" class="LineNr"> 11 </span>    <span class="subxComment">#     if (s-&gt;write &gt;= s-&gt;size) abort</span>
<span id="L12" class="LineNr"> 12 </span>    <span class="subxComment">#     if (f-&gt;read &gt;= f-&gt;write) populate stream from file</span>
<span id="L13" class="LineNr"> 13 </span>    <span class="subxComment">#     if (f-&gt;write == 0) break</span>
<span id="L14" class="LineNr"> 14 </span>    <span class="subxComment">#     AL = f-&gt;data[f-&gt;read]</span>
<span id="L15" class="LineNr"> 15 </span>    <span class="subxComment">#     s-&gt;data[s-&gt;write] = AL</span>
<span id="L16" class="LineNr"> 16 </span>    <span class="subxComment">#     ++f-&gt;read</span>
<span id="L17<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8">
<title>Mu - linux/survey_baremetal.subx</title>
<meta name="Generator" content="Vim/8.2">
<meta name="plugin-version" content="vim8.1_v2">
<meta name="syntax" content="none">
<meta name="settings" content="number_lines,use_css,no_foldcolumn,expand_tabs,line_ids,prevent_copy=,use_input_for_pc=fallback">
<meta name="colorscheme" content="minimal-light">
<style>
<!--
pre { font-family: monospace; color: #000000; background-color: #ffffd7; }
body { font-size:12pt; font-family: monospace; color: #000000; background-color: #ffffd7; }
a { color:inherit; }
* { font-size:12pt; font-size: 1em; }
.subxComment { color: #005faf; }
.subxS2Comment { color: #8a8a8a; }
.LineNr { }
.subxFunction { color: #af5f00; text-decoration: underline; }
.subxS1Comment { color: #0000af; }
.Constant { color: #008787; }
.CommentedCode { color: #8a8a8a; }
.SpecialChar { color: #d70000; }
.Normal { color: #000000; background-color: #ffffd7; padding-bottom: 1px; }
.Folded { color: #080808; background-color: #949494; }
.subxTest { color: #5f8700; }
.subxH1Comment { color: #005faf; text-decoration: underline; }
-->
</style>

<script>
<!--

/* function to open any folds containing a jumped-to line before jumping to it */
function JumpToLine()
{
  var lineNum;
  lineNum = window.location.hash;
  lineNum = lineNum.substr(1); /* strip off '#' */

  if (lineNum.indexOf('L') == -1) {
    lineNum = 'L'+lineNum;
  }
  var lineElem = document.getElementById(lineNum);
  /* Always jump to new location even if the line was hidden inside a fold, or
   * we corrected the raw number to a line ID.
   */
  if (lineElem) {
    lineElem.scrollIntoView(true);
  }
  return true;
}
if ('onhashchange' in window) {
  window.onhashchange = JumpToLine;
}

-->
</script>
</head>
<body onload='JumpToLine();'>
<a href='https://github.com/akkartik/mu/blob/main/linux/survey_baremetal.subx'>https://github.com/akkartik/mu/blob/main/linux/survey_baremetal.subx</a>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr">   1 </span><span class="subxComment"># Assign addresses (co-ordinates) to instructions (landmarks) in a program</span>
<span id="L2" class="LineNr">   2 </span><span class="subxComment"># (landscape).</span>
<span id="L3" class="LineNr">   3 </span><span class="subxComment">#</span>
<span id="L4" class="LineNr">   4 </span><span class="subxComment"># To build:</span>
<span id="L5" class="LineNr">   5 </span><span class="subxComment">#   $ bootstrap/bootstrap translate [01]*.subx subx-params.subx survey_baremetal.subx  -o survey_baremetal</span>
<span id="L6" class="LineNr">   6 </span><span class="subxComment">#</span>
<span id="L7" class="LineNr">   7 </span><span class="subxComment"># The expected input is a stream of bytes and some interspersed labels.</span>
<span id="L8" class="LineNr">   8 </span><span class="subxComment"># Comments and '==' segment headers are allowed, but names are ignored. The</span>
<span id="L9" class="LineNr">   9 </span><span class="subxComment"># emitted code will all lie in a single contiguous address range starting at</span>
<span id="L10" class="LineNr">  10 </span><span class="subxComment"># address 0x7c00. Addresses in segment headers are optional. If provided, this</span>
<span id="L11" class="LineNr">  11 </span><span class="subxComment"># program will insert padding in the output until the desired address is</span>
<span id="L12" class="LineNr">  12 </span><span class="subxComment"># reached.</span>
<span id="L13" class="LineNr">  13 </span><span class="subxComment">#</span>
<span id="L14" class="LineNr">  14 </span><span class="subxComment">#   $ cat x</span>
<span id="L15" class="LineNr">  15 </span><span class="subxComment">#   == code</span>
<span id="L16" class="LineNr">  16 </span><span class="subxComment">#   l1:</span>
<span id="L17" class="LineNr">  17 </span><span class="subxComment">#   aa bb l1/imm8</span>
<span id="L18" class="LineNr">  18 </span><span class="subxComment">#   cc dd l2/disp32</span>
<span id="L19" class="LineNr">  19 </span><span class="subxComment">#   l2:</span>
<span id="L20" class="LineNr">  20 </span><span class="subxComment">#   ee foo/imm32</span>
<span id="L21" class="LineNr">  21 </span><span class="subxComment">#   == data 0x7c10</span>
<span id="L22" class="LineNr">  22 </span><span class="subxComment">#   foo:</span>
<span id="L23" class="LineNr">  23 </span><span class="subxComment">#     34</span>
<span id="L24" class="LineNr">  24 </span><span class="subxComment">#</span>
<span id="L25" class="LineNr">  25 </span><span class="subxComment"># The output is a list of labels and their computed addresses.</span>
<span id="L26" class="LineNr">  26 </span><span class="subxComment">#</span>
<span id="L27" class="LineNr">  27 </span><span class="subxComment">#   $ cat x  |bootstrap/bootstrap run survey_baremetal</span>
<span id="L28" class="LineNr">  28 </span><span class="subxComment">#   0x7c00 l1</span>
<span id="L29" class="LineNr">  29 </span><span class="subxComment">#   0x7c09 l2</span>
<span id="L30" class="LineNr">  30 </span><span class="subxComment">#   0x7c10 foo</span>
<span id="L31" class="LineNr">  31 </span>
<span id="L32" class="LineNr">  32 </span>== code
<span id="L33" class="LineNr">  33 </span><span class="subxComment">#   instruction                     effective address                                                   register    displacement    immediate</span>
<span id="L34" class="LineNr">  34 </span><span class="subxS1Comment"># . op          subop               mod             rm32          base        index         scale       r32</span>
<span id="L35" class="LineNr">  35 </span><span class="subxS1Comment"># . 1-3 bytes   3 bits              2 bits          3 bits        3 bits      3 bits        2 bits      2 bits      0/1/2/4 bytes   0/1/2/4 bytes</span>
<span id="L36" class="LineNr">  36 </span>
<span id="L37" class="LineNr">  37 </span><span class="SpecialChar">Entry</span>:  <span class="subxComment"># run tests if necessary, convert stdin if not</span>
<span id="L38" class="LineNr">  38 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L39" class="LineNr">  39 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L40" class="LineNr">  40 </span>
<span id="L41" class="LineNr">  41 </span>    <span class="subxComment"># Heap = new-segment(Heap-size)</span>
<span id="L42" class="LineNr">  42 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L43" class="LineNr">  43 </span>    68/push  <span class="SpecialChar"><a href='120allocate.subx.html#L27'>Heap</a></span>/imm32
<span id="L44" class="LineNr">  44 </span>    ff          6/subop/push        0/mod/indirect  5/rm32/.disp32           <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          <span class="SpecialChar"><a href='120allocate.subx.html#L34'>Heap-size</a></span>/disp32                  <span class="subxComment"># push *Heap-size</span>
<span id="L45" class="LineNr">  45 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L46" class="LineNr">  46 </span>    e8/call  <a href='104new-segment.subx.html#L40'>new-segment</a>/disp32
<span id="L47" class="LineNr">  47 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L48" class="LineNr">  48 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L49" class="LineNr">  49 </span>    <span class="subxComment"># initialize-trace-stream(Trace-size)</span>
<span id="L50" class="LineNr">  50 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L51" class="LineNr">  51 </span>    ff          6/subop/push        0/mod/indirect  5/rm32/.disp32           <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          <span class="SpecialChar">Trace-size</span>/disp32                 <span class="subxComment"># push *Heap-size</span>
<span id="L52" class="LineNr">  52 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L53" class="LineNr">  53 </span>    e8/call  <a href='107trace.subx.html#L43'>initialize-trace-stream</a>/disp32
<span id="L54" class="LineNr">  54 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L55" class="LineNr">  55 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L56" class="LineNr">  56 </span>
<span id="L57" class="LineNr">  57 </span>    <span class="subxH1Comment"># - if argc &gt; 1 and argv[1] == &quot;test&quot;, then return run_tests()</span>
<span id="L58" class="LineNr">  58 </span>    <span class="subxComment"># if (argc &lt;= 1) goto interactive</span>
<span id="L59" class="LineNr">  59 </span>    81          7/subop/compare     1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          0/disp8         1/imm32           <span class="subxComment"># compare *ebp</span>
<span id="L60" class="LineNr">  60 </span>    7e/jump-if-&lt;=  $subx-survey-main:interactive/disp8
<span id="L61" class="LineNr">  61 </span>    <span class="subxComment"># if (!kernel-string-equal?(argv[1], &quot;test&quot;)) goto interactive</span>
<span id="L62" class="LineNr">  62 </span>    <span class="subxS1Comment"># . eax = kernel-string-equal?(argv[1], &quot;test&quot;)</span>
<span id="L63" class="LineNr">  63 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L64" class="LineNr">  64 </span>    68/push  <span class="Constant">&quot;test&quot;</span>/imm32
<span id="L65" class="LineNr">  65 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          8/disp8        <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+8)</span>
<span id="L66" class="LineNr">  66 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L67" class="LineNr">  67 </span>    e8/call  <a href='103kernel-string-equal.subx.html#L31'>kernel-string-equal?</a>/disp32
<span id="L68" class="LineNr">  68 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L69" class="LineNr">  69 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L70" class="LineNr">  70 </span>    <span class="subxS1Comment"># . if (eax == false) goto interactive</span>
<span id="L71" class="LineNr">  71 </span>    3d/compare-eax-and  0/imm32/false
<span id="L72" class="LineNr">  72 </span>    74/jump-if-=  $subx-survey-main:interactive/disp8
<span id="L73" class="LineNr">  73 </span>    <span class="subxComment"># run-tests()</span>
<span id="L74" class="LineNr">  74 </span>    e8/call  run-tests/disp32
<span id="L75" class="LineNr">  75 </span>    <span class="subxComment"># syscall(exit, *Num-test-failures)</span>
<span id="L76" class="LineNr">  76 </span>    8b/copy                         0/mod/indirect  5/rm32/.disp32           <span class="Normal"> . </span>           <span class="Normal"> . </span>          3/r32/ebx   <span class="SpecialChar"><a href='102test.subx.html#L89'>Num-test-failures</a></span>/disp32          <span class="subxComment"># copy *Num-test-failures to ebx</span>
<span id="L77" class="LineNr">  77 </span>    eb/jump  $subx-survey-main:end/disp8
<span id="L78" class="LineNr">  78 </span><span class="Constant">$subx-survey-main:interactive</span>:
<span id="L79" class="LineNr">  79 </span>    <span class="subxH1Comment"># - otherwise convert stdin</span>
<span id="L80" class="LineNr">  80 </span>    <span class="subxComment"># subx-survey(Stdin, Stdout)</span>
<span id="L81" class="LineNr">  81 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L82" class="LineNr">  82 </span>    68/push  <span class="SpecialChar"><a href='115write-byte.subx.html#L10'>Stdout</a></span>/imm32
<span id="L83" class="LineNr">  83 </span>    68/push  <span class="SpecialChar"><a href='112read-byte.subx.html#L14'>Stdin</a></span>/imm32
<span id="L84" class="LineNr">  84 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L85" class="LineNr">  85 </span>    e8/call  <a href='survey_baremetal.subx.html#L101'>subx-survey</a>/disp32
<span id="L86" class="LineNr">  86 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L87" class="LineNr">  87 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L88" class="LineNr">  88 </span><span class="CommentedCode">#?     # . write-stream(2/stderr, Trace-stream)</span>
<span id="L89" class="LineNr">  89 </span><span class="CommentedCode">#?     # . . push args</span>
<span id="L90" class="LineNr">  90 </span><span class="CommentedCode">#?     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream</span>
<span id="L91" class="LineNr">  91 </span><span class="CommentedCode">#?     68/push  2/imm32/stderr</span>
<span id="L92" class="LineNr">  92 </span><span class="CommentedCode">#?     # . . call</span>
<span id="L93" class="LineNr">  93 </span><span class="CommentedCode">#?     e8/call  write-stream/disp32</span>
<span id="L94" class="LineNr">  94 </span><span class="CommentedCode">#?     # . . discard args</span>
<span id="L95" class="LineNr">  95 </span><span class="CommentedCode">#?     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp</span>
<span id="L96" class="LineNr">  96 </span>    <span class="subxComment"># syscall(exit, 0)</span>
<span id="L97" class="LineNr">  97 </span>    bb/copy-to-ebx  0/imm32
<span id="L98" class="LineNr">  98 </span><span class="Constant">$subx-survey-main:end</span>:
<span id="L99" class="LineNr">  99 </span>    e8/call  <a href='000init.subx.html#L18'>syscall_exit</a>/disp32
<span id="L100" class="LineNr"> 100 </span>
<span id="L101" class="LineNr"> 101 </span><span class="subxFunction">subx-survey</span>:  <span class="subxComment"># infile: (addr buffered-file), out: (addr buffered-file)</span>
<span id="L102" class="LineNr"> 102 </span>    <span class="subxComment"># pseudocode</span>
<span id="L103" class="LineNr"> 103 </span>    <span class="subxComment">#   var in: (stream byte Input-size)</span>
<span id="L104" class="LineNr"> 104 </span>    <span class="subxComment">#   slurp(infile, in)</span>
<span id="L105" class="LineNr"> 105 </span>    <span class="subxComment">#   var labels: (stream {label-name, address} Max-labels)</span>
<span id="L106" class="LineNr"> 106 </span>    <span class="subxComment">#   compute-addresses(in, labels)</span>
<span id="L107" class="LineNr"> 107 </span>    <span class="subxComment">#   emit-labels(out, labels)</span>
<span id="L108" class="LineNr"> 108 </span>    <span class="subxComment">#</span>
<span id="L109" class="LineNr"> 109 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L110" class="LineNr"> 110 </span>    55/push-ebp
<span id="L111" class="LineNr"> 111 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L112" class="LineNr"> 112 </span>    <span class="subxS1Comment"># . save registers</span>
<span id="L113" class="LineNr"> 113 </span>    51/push-ecx
<span id="L114" class="LineNr"> 114 </span>    52/push-edx
<span id="L115" class="LineNr"> 115 </span>    56/push-esi
<span id="L116" class="LineNr"> 116 </span>    <span class="subxComment"># var labels/edx: (stream {label-name, address} Max-labels)</span>
<span id="L117" class="LineNr"> 117 </span>    <span class="subxComment"># (we get more rows than Max-labels advertises because row size is smaller than in survey_elf)</span>
<span id="L118" class="LineNr"> 118 </span>    <span class="subxS1Comment"># . data</span>
<span id="L119" class="LineNr"> 119 </span>    2b/subtract                     0/mod/indirect  5/rm32/.disp32           <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp   <span class="SpecialChar">Max-labels</span>/disp32                 <span class="subxComment"># subtract *Max-labels from esp</span>
<span id="L120" class="LineNr"> 120 </span>    <span class="subxS1Comment"># . size</span>
<span id="L121" class="LineNr"> 121 </span>    ff          6/subop/push        0/mod/indirect  5/rm32/.disp32           <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          <span class="SpecialChar">Max-labels</span>/disp32                 <span class="subxComment"># push *Max-labels</span>
<span id="L122" class="LineNr"> 122 </span>    <span class="subxS1Comment"># . read</span>
<span id="L123" class="LineNr"> 123 </span>    68/push  0/imm32/read
<span id="L124" class="LineNr"> 124 </span>    <span class="subxS1Comment"># . write</span>
<span id="L125" class="LineNr"> 125 </span>    68/push  0/imm32/write
<span id="L126" class="LineNr"> 126 </span>    89/copy                         3/mod/direct    2/rm32/edx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to edx</span>
<span id="L127" class="LineNr"> 127 </span>    <span class="subxComment"># var in/esi: (stream byte Input-size)</span>
<span id="L128" class="LineNr"> 128 </span>    <span class="subxS1Comment"># . data</span>
<span id="L129" class="LineNr"> 129 </span>    2b/subtract                     0/mod/indirect  5/rm32/.disp32           <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp   <span class="SpecialChar">Input-size</span>/disp32                 <span class="subxComment"># subtract *Input-size from esp</span>
<span id="L130" class="LineNr"> 130 </span>    <span class="subxS1Comment"># . size</span>
<span id="L131" class="LineNr"> 131 </span>    ff          6/subop/push        0/mod/indirect  5/rm32/.disp32           <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          <span class="SpecialChar">Input-size</span>/disp32                 <span class="subxComment"># push *Input-size</span>
<span id="L132" class="LineNr"> 132 </span>    <span class="subxS1Comment"># . read</span>
<span id="L133" class="LineNr"> 133 </span>    68/push  0/imm32/read
<span id="L134" class="LineNr"> 134 </span>    <span class="subxS1Comment"># . write</span>
<span id="L135" class="LineNr"> 135 </span>    68/push  0/imm32/write
<span id="L136" class="LineNr"> 136 </span>    89/copy                         3/mod/direct    6/rm32/esi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to esi</span>
<span id="L137" class="LineNr"> 137 </span>    <span class="subxComment"># slurp(infile, in)</span>
<span id="L138" class="LineNr"> 138 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L139" class="LineNr"> 139 </span>    56/push-esi
<span id="L140" class="LineNr"> 140 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          8/disp8        <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+8)</span>
<span id="L141" class="LineNr"> 141 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L142" class="LineNr"> 142 </span>    e8/call  <a href='132slurp.subx.html#L8'>slurp</a>/disp32
<span id="L143" class="LineNr"> 143 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L144" class="LineNr"> 144 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L145" class="LineNr"> 145 </span>    <span class="subxComment"># compute-addresses(in, labels)</span>
<span id="L146" class="LineNr"> 146 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L147" class="LineNr"> 147 </span>    52/push-edx
<span id="L148" class="LineNr"> 148 </span>    56/push-esi
<span id="L149" class="LineNr"> 149 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L150" class="LineNr"> 150 </span>    e8/call  <a href='survey_baremetal.subx.html#L446'>compute-addresses</a>/disp32
<span id="L151" class="LineNr"> 151 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L152" class="LineNr"> 152 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L153" class="LineNr"> 153 </span>    <span class="subxComment"># emit-labels(out, labels)</span>
<span id="L154" class="LineNr"> 154 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L155" class="LineNr"> 155 </span>    52/push-edx
<span id="L156" class="LineNr"> 156 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          0xc/disp8      <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+12)</span>
<span id="L157" class="LineNr"> 157 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L158" class="LineNr"> 158 </span>    e8/call  <a href='survey_baremetal.subx.html#L922'>emit-labels</a>/disp32
<span id="L159" class="LineNr"> 159 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L160" class="LineNr"> 160 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L161" class="LineNr"> 161 </span>    <span class="subxComment"># flush(out)</span>
<span id="L162" class="LineNr"> 162 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L163" class="LineNr"> 163 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          0xc/disp8      <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+12)</span>
<span id="L164" class="LineNr"> 164 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L165" class="LineNr"> 165 </span>    e8/call  <a href='115write-byte.subx.html#L81'>flush</a>/disp32
<span id="L166" class="LineNr"> 166 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L167" class="LineNr"> 167 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L168" class="LineNr"> 168 </span><span class="Constant">$subx-survey:end</span>:
<span id="L169" class="LineNr"> 169 </span>    <span class="subxS1Comment"># . reclaim locals</span>
<span id="L170" class="LineNr"> 170 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0x18/imm32        <span class="subxComment"># add to esp</span>
<span id="L171" class="LineNr"> 171 </span>    03/add                          0/mod/indirect  5/rm32/.disp32           <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp   <span class="SpecialChar">Max-labels</span>/disp32                 <span class="subxComment"># add *Max-labels to esp</span>
<span id="L172" class="LineNr"> 172 </span>    03/add                          0/mod/indirect  5/rm32/.disp32           <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp   <span class="SpecialChar">Input-size</span>/disp32                 <span class="subxComment"># add *Input-size to esp</span>
<span id="L173" class="LineNr"> 173 </span>    <span class="subxS1Comment"># . restore registers</span>
<span id="L174" class="LineNr"> 174 </span>    5e/pop-to-esi
<span id="L175" class="LineNr"> 175 </span>    5a/pop-to-edx
<span id="L176" class="LineNr"> 176 </span>    59/pop-to-ecx
<span id="L177" class="LineNr"> 177 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L178" class="LineNr"> 178 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L179" class="LineNr"> 179 </span>    5d/pop-to-ebp
<span id="L180" class="LineNr"> 180 </span>    c3/return
<span id="L181" class="LineNr"> 181 </span>
<span id="L182" class="LineNr"> 182 </span><span class="subxTest">test-subx-survey-computes-addresses</span>:
<span id="L183" class="LineNr"> 183 </span>    <span class="subxComment"># input:</span>
<span id="L184" class="LineNr"> 184 </span>    <span class="subxComment">#   == code</span>
<span id="L185" class="LineNr"> 185 </span>    <span class="subxComment">#   ab x/imm32</span>
<span id="L186" class="LineNr"> 186 </span>    <span class="subxComment">#   == data</span>
<span id="L187" class="LineNr"> 187 </span>    <span class="subxComment">#   x:</span>
<span id="L188" class="LineNr"> 188 </span>    <span class="subxComment">#     01</span>
<span id="L189" class="LineNr"> 189 </span>    <span class="subxComment">#</span>
<span id="L190" class="LineNr"> 190 </span>    <span class="subxComment"># trace contains (in any order):</span>
<span id="L191" class="LineNr"> 191 </span>    <span class="subxComment">#   label x is at address 0x7c05</span>
<span id="L192" class="LineNr"> 192 </span>    <span class="subxComment">#</span>
<span id="L193" class="LineNr"> 193 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L194" class="LineNr"> 194 </span>    55/push-ebp
<span id="L195" class="LineNr"> 195 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L196" class="LineNr"> 196 </span>    <span class="subxComment"># setup</span>
<span id="L197" class="LineNr"> 197 </span>    <span class="subxS1Comment"># . clear-stream(_test-input-stream)</span>
<span id="L198" class="LineNr"> 198 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L199" class="LineNr"> 199 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L200" class="LineNr"> 200 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L201" class="LineNr"> 201 </span>    e8/call  <a href='106stream.subx.html#L17'>clear-stream</a>/disp32
<span id="L202" class="LineNr"> 202 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L203" class="LineNr"> 203 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L204" class="LineNr"> 204 </span>    <span class="subxS1Comment"># . clear-stream($_test-input-buffered-file-&gt;buffer)</span>
<span id="L205" class="LineNr"> 205 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L206" class="LineNr"> 206 </span>    68/push  $_test-input-buffered-file-&gt;buffer/imm32
<span id="L207" class="LineNr"> 207 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L208" class="LineNr"> 208 </span>    e8/call  <a href='106stream.subx.html#L17'>clear-stream</a>/disp32
<span id="L209" class="LineNr"> 209 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L210" class="LineNr"> 210 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L211" class="LineNr"> 211 </span>    <span class="subxS1Comment"># . clear-stream(_test-output-stream)</span>
<span id="L212" class="LineNr"> 212 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L213" class="LineNr"> 213 </span>    68/push  <a href='115write-byte.subx.html#L287'>_test-output-stream</a>/imm32
<span id="L214" class="LineNr"> 214 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L215" class="LineNr"> 215 </span>    e8/call  <a href='106stream.subx.html#L17'>clear-stream</a>/disp32
<span id="L216" class="LineNr"> 216 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L217" class="LineNr"> 217 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L218" class="LineNr"> 218 </span>    <span class="subxS1Comment"># . clear-stream($_test-output-buffered-file-&gt;buffer)</span>
<span id="L219" class="LineNr"> 219 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L220" class="LineNr"> 220 </span>    68/push  $_test-output-buffered-file-&gt;buffer/imm32
<span id="L221" class="LineNr"> 221 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L222" class="LineNr"> 222 </span>    e8/call  <a href='106stream.subx.html#L17'>clear-stream</a>/disp32
<span id="L223" class="LineNr"> 223 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L224" class="LineNr"> 224 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L225" class="LineNr"> 225 </span>    <span class="subxComment"># initialize input</span>
<span id="L226" class="LineNr"> 226 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;== code\n&quot;)</span>
<span id="L227" class="LineNr"> 227 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L228" class="LineNr"> 228 </span>    68/push  <span class="Constant">&quot;== code\n&quot;</span>/imm32
<span id="L229" class="LineNr"> 229 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L230" class="LineNr"> 230 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L231" class="LineNr"> 231 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L232" class="LineNr"> 232 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L233" class="LineNr"> 233 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L234" class="LineNr"> 234 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;ab x/imm32\n&quot;)</span>
<span id="L235" class="LineNr"> 235 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L236" class="LineNr"> 236 </span>    68/push  <span class="Constant">&quot;ab x/imm32\n&quot;</span>/imm32
<span id="L237" class="LineNr"> 237 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L238" class="LineNr"> 238 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L239" class="LineNr"> 239 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L240" class="LineNr"> 240 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L241" class="LineNr"> 241 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L242" class="LineNr"> 242 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;== data\n&quot;)</span>
<span id="L243" class="LineNr"> 243 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L244" class="LineNr"> 244 </span>    68/push  <span class="Constant">&quot;== data\n&quot;</span>/imm32
<span id="L245" class="LineNr"> 245 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L246" class="LineNr"> 246 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L247" class="LineNr"> 247 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L248" class="LineNr"> 248 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L249" class="LineNr"> 249 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L250" class="LineNr"> 250 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;x:\n&quot;)</span>
<span id="L251" class="LineNr"> 251 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L252" class="LineNr"> 252 </span>    68/push  <span class="Constant">&quot;x:\n&quot;</span>/imm32
<span id="L253" class="LineNr"> 253 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L254" class="LineNr"> 254 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L255" class="LineNr"> 255 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L256" class="LineNr"> 256 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L257" class="LineNr"> 257 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L258" class="LineNr"> 258 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;01\n&quot;)</span>
<span id="L259" class="LineNr"> 259 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L260" class="LineNr"> 260 </span>    68/push  <span class="Constant">&quot;01\n&quot;</span>/imm32
<span id="L261" class="LineNr"> 261 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L262" class="LineNr"> 262 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L263" class="LineNr"> 263 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L264" class="LineNr"> 264 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L265" class="LineNr"> 265 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L266" class="LineNr"> 266 </span>    <span class="subxComment"># subx-survey(_test-input-buffered-file, _test-output-buffered-file)</span>
<span id="L267" class="LineNr"> 267 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L268" class="LineNr"> 268 </span>    68/push  <a href='115write-byte.subx.html#L425'>_test-output-buffered-file</a>/imm32
<span id="L269" class="LineNr"> 269 </span>    68/push  <a href='112read-byte.subx.html#L405'>_test-input-buffered-file</a>/imm32
<span id="L270" class="LineNr"> 270 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L271" class="LineNr"> 271 </span>    e8/call  <a href='survey_baremetal.subx.html#L101'>subx-survey</a>/disp32
<span id="L272" class="LineNr"> 272 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L273" class="LineNr"> 273 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L274" class="LineNr"> 274 </span>    <span class="subxComment"># check trace</span>
<span id="L275" class="Folded"> 275 </span><span class="Folded">+-- 26 lines: #?     # dump *Trace-stream ----------------------------------------------------------------------------------------------------------------------------------</span>
<span id="L301" class="LineNr"> 301 </span>    <span class="subxS1Comment"># . check-trace-contains(&quot;label 'x' is at address 0x00007c05.&quot;, msg)</span>
<span id="L302" class="LineNr"> 302 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L303" class="LineNr"> 303 </span>    68/push  <span class="Constant">&quot;F - <a href='survey_baremetal.subx.html#L182'>test-subx-survey-computes-addresses</a>/0&quot;</span>/imm32
<span id="L304" class="LineNr"> 304 </span>    68/push  <span class="Constant">&quot;label 'x' is at address 0x00007c05.&quot;</span>/imm32
<span id="L305" class="LineNr"> 305 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L306" class="LineNr"> 306 </span>    e8/call  <a href='107trace.subx.html#L248'>check-trace-contains</a>/disp32
<span id="L307" class="LineNr"> 307 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L308" class="LineNr"> 308 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L309" class="LineNr"> 309 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L310" class="LineNr"> 310 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L311" class="LineNr"> 311 </span>    5d/pop-to-ebp
<span id="L312" class="LineNr"> 312 </span>    c3/return
<span id="L313" class="LineNr"> 313 </span>
<span id="L314" class="LineNr"> 314 </span><span class="subxTest">test-subx-survey-computes-addresses-with-padding</span>:
<span id="L315" class="LineNr"> 315 </span>    <span class="subxComment"># input:</span>
<span id="L316" class="LineNr"> 316 </span>    <span class="subxComment">#   == code</span>
<span id="L317" class="LineNr"> 317 </span>    <span class="subxComment">#   ab x/imm32</span>
<span id="L318" class="LineNr"> 318 </span>    <span class="subxComment">#   == data 0x7c10</span>
<span id="L319" class="LineNr"> 319 </span>    <span class="subxComment">#   x:</span>
<span id="L320" class="LineNr"> 320 </span>    <span class="subxComment">#     01</span>
<span id="L321" class="LineNr"> 321 </span>    <span class="subxComment">#</span>
<span id="L322" class="LineNr"> 322 </span>    <span class="subxComment"># trace contains (in any order):</span>
<span id="L323" class="LineNr"> 323 </span>    <span class="subxComment">#   label x is at address 0x7c10</span>
<span id="L324" class="LineNr"> 324 </span>    <span class="subxComment">#</span>
<span id="L325" class="LineNr"> 325 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L326" class="LineNr"> 326 </span>    55/push-ebp
<span id="L327" class="LineNr"> 327 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L328" class="LineNr"> 328 </span>    <span class="subxComment"># setup</span>
<span id="L329" class="LineNr"> 329 </span>    <span class="subxS1Comment"># . clear-stream(_test-input-stream)</span>
<span id="L330" class="LineNr"> 330 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L331" class="LineNr"> 331 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L332" class="LineNr"> 332 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L333" class="LineNr"> 333 </span>    e8/call  <a href='106stream.subx.html#L17'>clear-stream</a>/disp32
<span id="L334" class="LineNr"> 334 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L335" class="LineNr"> 335 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L336" class="LineNr"> 336 </span>    <span class="subxS1Comment"># . clear-stream($_test-input-buffered-file-&gt;buffer)</span>
<span id="L337" class="LineNr"> 337 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L338" class="LineNr"> 338 </span>    68/push  $_test-input-buffered-file-&gt;buffer/imm32
<span id="L339" class="LineNr"> 339 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L340" class="LineNr"> 340 </span>    e8/call  <a href='106stream.subx.html#L17'>clear-stream</a>/disp32
<span id="L341" class="LineNr"> 341 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L342" class="LineNr"> 342 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L343" class="LineNr"> 343 </span>    <span class="subxS1Comment"># . clear-stream(_test-output-stream)</span>
<span id="L344" class="LineNr"> 344 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L345" class="LineNr"> 345 </span>    68/push  <a href='115write-byte.subx.html#L287'>_test-output-stream</a>/imm32
<span id="L346" class="LineNr"> 346 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L347" class="LineNr"> 347 </span>    e8/call  <a href='106stream.subx.html#L17'>clear-stream</a>/disp32
<span id="L348" class="LineNr"> 348 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L349" class="LineNr"> 349 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L350" class="LineNr"> 350 </span>    <span class="subxS1Comment"># . clear-stream($_test-output-buffered-file-&gt;buffer)</span>
<span id="L351" class="LineNr"> 351 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L352" class="LineNr"> 352 </span>    68/push  $_test-output-buffered-file-&gt;buffer/imm32
<span id="L353" class="LineNr"> 353 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L354" class="LineNr"> 354 </span>    e8/call  <a href='106stream.subx.html#L17'>clear-stream</a>/disp32
<span id="L355" class="LineNr"> 355 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L356" class="LineNr"> 356 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L357" class="LineNr"> 357 </span>    <span class="subxComment"># initialize input</span>
<span id="L358" class="LineNr"> 358 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;== code\n&quot;)</span>
<span id="L359" class="LineNr"> 359 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L360" class="LineNr"> 360 </span>    68/push  <span class="Constant">&quot;== code\n&quot;</span>/imm32
<span id="L361" class="LineNr"> 361 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L362" class="LineNr"> 362 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L363" class="LineNr"> 363 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L364" class="LineNr"> 364 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L365" class="LineNr"> 365 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L366" class="LineNr"> 366 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;ab x/imm32\n&quot;)</span>
<span id="L367" class="LineNr"> 367 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L368" class="LineNr"> 368 </span>    68/push  <span class="Constant">&quot;ab x/imm32\n&quot;</span>/imm32
<span id="L369" class="LineNr"> 369 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L370" class="LineNr"> 370 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L371" class="LineNr"> 371 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L372" class="LineNr"> 372 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L373" class="LineNr"> 373 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L374" class="LineNr"> 374 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;== data\n&quot;)</span>
<span id="L375" class="LineNr"> 375 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L376" class="LineNr"> 376 </span>    68/push  <span class="Constant">&quot;== data 0x7c10\n&quot;</span>/imm32
<span id="L377" class="LineNr"> 377 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L378" class="LineNr"> 378 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L379" class="LineNr"> 379 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L380" class="LineNr"> 380 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L381" class="LineNr"> 381 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L382" class="LineNr"> 382 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;x:\n&quot;)</span>
<span id="L383" class="LineNr"> 383 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L384" class="LineNr"> 384 </span>    68/push  <span class="Constant">&quot;x:\n&quot;</span>/imm32
<span id="L385" class="LineNr"> 385 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L386" class="LineNr"> 386 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L387" class="LineNr"> 387 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L388" class="LineNr"> 388 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L389" class="LineNr"> 389 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L390" class="LineNr"> 390 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;01\n&quot;)</span>
<span id="L391" class="LineNr"> 391 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L392" class="LineNr"> 392 </span>    68/push  <span class="Constant">&quot;01\n&quot;</span>/imm32
<span id="L393" class="LineNr"> 393 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L394" class="LineNr"> 394 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L395" class="LineNr"> 395 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L396" class="LineNr"> 396 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L397" class="LineNr"> 397 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L398" class="LineNr"> 398 </span>    <span class="subxComment"># subx-survey(_test-input-buffered-file, _test-output-buffered-file)</span>
<span id="L399" class="LineNr"> 399 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L400" class="LineNr"> 400 </span>    68/push  <a href='115write-byte.subx.html#L425'>_test-output-buffered-file</a>/imm32
<span id="L401" class="LineNr"> 401 </span>    68/push  <a href='112read-byte.subx.html#L405'>_test-input-buffered-file</a>/imm32
<span id="L402" class="LineNr"> 402 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L403" class="LineNr"> 403 </span>    e8/call  <a href='survey_baremetal.subx.html#L101'>subx-survey</a>/disp32
<span id="L404" class="LineNr"> 404 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L405" class="LineNr"> 405 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L406" class="LineNr"> 406 </span>    <span class="subxComment"># check trace</span>
<span id="L407" class="Folded"> 407 </span><span class="Folded">+-- 26 lines: #?     # dump *Trace-stream ----------------------------------------------------------------------------------------------------------------------------------</span>
<span id="L433" class="LineNr"> 433 </span>    <span class="subxS1Comment"># . check-trace-contains(&quot;label 'x' is at address 0x00007c10.&quot;, msg)</span>
<span id="L434" class="LineNr"> 434 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L435" class="LineNr"> 435 </span>    68/push  <span class="Constant">&quot;F - <a href='survey_baremetal.subx.html#L314'>test-subx-survey-computes-addresses-with-padding</a>/0&quot;</span>/imm32
<span id="L436" class="LineNr"> 436 </span>    68/push  <span class="Constant">&quot;label 'x' is at address 0x00007c10.&quot;</span>/imm32
<span id="L437" class="LineNr"> 437 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L438" class="LineNr"> 438 </span>    e8/call  <a href='107trace.subx.html#L248'>check-trace-contains</a>/disp32
<span id="L439" class="LineNr"> 439 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L440" class="LineNr"> 440 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L441" class="LineNr"> 441 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L442" class="LineNr"> 442 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L443" class="LineNr"> 443 </span>    5d/pop-to-ebp
<span id="L444" class="LineNr"> 444 </span>    c3/return
<span id="L445" class="LineNr"> 445 </span>
<span id="L446" class="LineNr"> 446 </span><span class="subxFunction">compute-addresses</span>:  <span class="subxComment"># in: (addr stream byte), labels: (addr stream {(handle array byte), address})</span>
<span id="L447" class="LineNr"> 447 </span>    <span class="subxComment"># pseudocode:</span>
<span id="L448" class="LineNr"> 448 </span>    <span class="subxComment">#   var current-address = 0x7c00</span>
<span id="L449" class="LineNr"> 449 </span>    <span class="subxComment">#   var line: (stream byte 512)</span>
<span id="L450" class="LineNr"> 450 </span>    <span class="subxComment">#   while true                                  # line loop</span>
<span id="L451" class="LineNr"> 451 </span>    <span class="subxComment">#     clear-stream(line)</span>
<span id="L452" class="LineNr"> 452 </span>    <span class="subxComment">#     read-line(in, line)</span>
<span id="L453" class="LineNr"> 453 </span>    <span class="subxComment">#     if (line-&gt;write == 0) break               # end of file</span>
<span id="L454" class="LineNr"> 454 </span>    <span class="subxComment">#     while true                                # word loop</span>
<span id="L455" class="LineNr"> 455 </span>    <span class="subxComment">#       word-slice = next-word(line)</span>
<span id="L456" class="LineNr"> 456 </span>    <span class="subxComment">#       if slice-empty?(word-slice)             # end of line</span>
<span id="L457" class="LineNr"> 457 </span>    <span class="subxComment">#         break</span>
<span id="L458" class="LineNr"> 458 </span>    <span class="subxComment">#       else if slice-starts-with?(word-slice, &quot;#&quot;)  # comment</span>
<span id="L459" class="LineNr"> 459 </span>    <span class="subxComment">#         break                                 # end of line</span>
<span id="L460" class="LineNr"> 460 </span>    <span class="subxComment">#       else if slice-equal?(word-slice, &quot;==&quot;)  # segment header</span>
<span id="L461" class="LineNr"> 461 </span>    <span class="subxComment">#         word-slice = next-word(line)</span>
<span id="L462" class="LineNr"> 462 </span>    <span class="subxComment">#         if slice-empty?(word-slice)</span>
<span id="L463" class="LineNr"> 463 </span>    <span class="subxComment">#           abort</span>
<span id="L464" class="LineNr"> 464 </span>    <span class="subxComment">#         word-slice = next-word(line)  # segment address</span>
<span id="L465" class="LineNr"> 465 </span>    <span class="subxComment">#         if slice-empty?(word-slice)</span>
<span id="L466" class="LineNr"> 466 </span>    <span class="subxComment">#           goto line-loop              # segment address is optional</span>
<span id="L467" class="LineNr"> 467 </span>    <span class="subxComment">#         new-address = parse-hex-int-from-slice(word-slice)</span>
<span id="L468" class="LineNr"> 468 </span>    <span class="subxComment">#         if new-address &lt; current-address</span>
<span id="L469" class="LineNr"> 469 </span>    <span class="subxComment">#           abort</span>
<span id="L470" class="LineNr"> 470 </span>    <span class="subxComment">#         current-address = new-address</span>
<span id="L471" class="LineNr"> 471 </span>    <span class="subxComment">#       else if label?(word-slice)</span>
<span id="L472" class="LineNr"> 472 </span>    <span class="subxComment">#         strip trailing ':' from word-slice</span>
<span id="L473" class="LineNr"> 473 </span>    <span class="subxComment">#         trace(&quot;label '&quot; word-slice &quot;' is at address &quot; current-address &quot;.&quot;)</span>
<span id="L474" class="LineNr"> 474 </span>    <span class="subxComment">#         # labels occupy no space, so no need to increment offsets</span>
<span id="L475" class="LineNr"> 475 </span>    <span class="subxComment">#       else</span>
<span id="L476" class="LineNr"> 476 </span>    <span class="subxComment">#         width = compute-width-of-slice(word-slice)</span>
<span id="L477" class="LineNr"> 477 </span>    <span class="subxComment">#         current-address += width</span>
<span id="L478" class="LineNr"> 478 </span>    <span class="subxComment">#</span>
<span id="L479" class="LineNr"> 479 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L480" class="LineNr"> 480 </span>    55/push-ebp
<span id="L481" class="LineNr"> 481 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L482" class="LineNr"> 482 </span>    <span class="subxS1Comment"># . save registers</span>
<span id="L483" class="LineNr"> 483 </span>    50/push-eax
<span id="L484" class="LineNr"> 484 </span>    51/push-ecx
<span id="L485" class="LineNr"> 485 </span>    52/push-edx
<span id="L486" class="LineNr"> 486 </span>    53/push-ebx
<span id="L487" class="LineNr"> 487 </span>    56/push-esi
<span id="L488" class="LineNr"> 488 </span>    57/push-edi
<span id="L489" class="LineNr"> 489 </span>    <span class="subxComment"># var current-address/esi: int = 0x7c00</span>
<span id="L490" class="LineNr"> 490 </span>    be/copy-to-esi  0x7c00/imm32
<span id="L491" class="LineNr"> 491 </span>    <span class="subxComment"># var line/ecx: (stream byte 512)</span>
<span id="L492" class="LineNr"> 492 </span>    81          5/subop/subtract    3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0x200/imm32       <span class="subxComment"># subtract from esp</span>
<span id="L493" class="LineNr"> 493 </span>    68/push  0x200/imm32/size
<span id="L494" class="LineNr"> 494 </span>    68/push  0/imm32/read
<span id="L495" class="LineNr"> 495 </span>    68/push  0/imm32/write
<span id="L496" class="LineNr"> 496 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
<span id="L497" class="LineNr"> 497 </span>    <span class="subxComment"># var word-slice/edx: (addr slice)</span>
<span id="L498" class="LineNr"> 498 </span>    68/push  0/imm32
<span id="L499" class="LineNr"> 499 </span>    68/push  0/imm32
<span id="L500" class="LineNr"> 500 </span>    89/copy                         3/mod/direct    2/rm32/edx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to edx</span>
<span id="L501" class="LineNr"> 501 </span><span class="Constant">$compute-addresses:line-loop</span>:
<span id="L502" class="LineNr"> 502 </span>    <span class="subxComment"># clear-stream(line)</span>
<span id="L503" class="LineNr"> 503 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L504" class="LineNr"> 504 </span>    51/push-ecx
<span id="L505" class="LineNr"> 505 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L506" class="LineNr"> 506 </span>    e8/call  <a href='106stream.subx.html#L17'>clear-stream</a>/disp32
<span id="L507" class="LineNr"> 507 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L508" class="LineNr"> 508 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L509" class="LineNr"> 509 </span>    <span class="subxComment"># read-line(in, line)</span>
<span id="L510" class="LineNr"> 510 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L511" class="LineNr"> 511 </span>    51/push-ecx
<span id="L512" class="LineNr"> 512 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          8/disp8        <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+8)</span>
<span id="L513" class="LineNr"> 513 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L514" class="LineNr"> 514 </span>    e8/call  <a href='122read-line.subx.html#L218'>read-line</a>/disp32
<span id="L515" class="LineNr"> 515 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L516" class="LineNr"> 516 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L517" class="LineNr"> 517 </span>    <span class="subxComment"># if (line-&gt;write == 0) break</span>
<span id="L518" class="LineNr"> 518 </span>    8b/copy                         0/mod/indirect  1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          0/r32/eax  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *ecx to eax</span>
<span id="L519" class="LineNr"> 519 </span>    3d/compare-eax-and  0/imm32
<span id="L520" class="LineNr"> 520 </span>    0f 84/jump-if-=  $compute-addresses:end/disp32
<span id="L521" class="Folded"> 521 </span><span class="Folded">+-- 33 lines: #?     # dump line -------------------------------------------------------------------------------------------------------------------------------------------</span>
<span id="L554" class="LineNr"> 554 </span><span class="Constant">$compute-addresses:word-loop</span>:
<span id="L555" class="LineNr"> 555 </span>    <span class="subxComment"># next-word(line, word-slice)</span>
<span id="L556" class="LineNr"> 556 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L557" class="LineNr"> 557 </span>    52/push-edx
<span id="L558" class="LineNr"> 558 </span>    51/push-ecx
<span id="L559" class="LineNr"> 559 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L560" class="LineNr"> 560 </span>    e8/call  <a href='127next-word.subx.html#L11'>next-word</a>/disp32
<span id="L561" class="LineNr"> 561 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L562" class="LineNr"> 562 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L563" class="LineNr"> 563 </span><span class="Constant">$compute-addresses:case-empty</span>:
<span id="L564" class="LineNr"> 564 </span>    <span class="subxComment"># if slice-empty?(word-slice) break</span>
<span id="L565" class="LineNr"> 565 </span>    <span class="subxS1Comment"># . eax = slice-empty?(word-slice)</span>
<span id="L566" class="LineNr"> 566 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L567" class="LineNr"> 567 </span>    52/push-edx
<span id="L568" class="LineNr"> 568 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L569" class="LineNr"> 569 </span>    e8/call  <a href='123slice.subx.html#L9'>slice-empty?</a>/disp32
<span id="L570" class="LineNr"> 570 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L571" class="LineNr"> 571 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L572" class="LineNr"> 572 </span>    <span class="subxS1Comment"># . if (eax != false) break</span>
<span id="L573" class="LineNr"> 573 </span>    3d/compare-eax-and  0/imm32/false
<span id="L574" class="LineNr"> 574 </span>    0f 85/jump-if-!=  $compute-addresses:line-loop/disp32
<span id="L575" class="LineNr"> 575 </span><span class="Constant">$compute-addresses:case-comment</span>:
<span id="L576" class="LineNr"> 576 </span>    <span class="subxComment"># if slice-starts-with?(word-slice, &quot;#&quot;) break</span>
<span id="L577" class="LineNr"> 577 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L578" class="LineNr"> 578 </span>    68/push  <span class="Constant">&quot;#&quot;</span>/imm32
<span id="L579" class="LineNr"> 579 </span>    52/push-edx
<span id="L580" class="LineNr"> 580 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L581" class="LineNr"> 581 </span>    e8/call  <a href='123slice.subx.html#L487'>slice-starts-with?</a>/disp32
<span id="L582" class="LineNr"> 582 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L583" class="LineNr"> 583 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L584" class="LineNr"> 584 </span>    <span class="subxS1Comment"># . if (eax != false) break</span>
<span id="L585" class="LineNr"> 585 </span>    3d/compare-eax-and  0/imm32/false
<span id="L586" class="LineNr"> 586 </span>    0f 85/jump-if-!=  $compute-addresses:line-loop/disp32
<span id="L587" class="LineNr"> 587 </span><span class="Constant">$compute-addresses:case-segment-header</span>:
<span id="L588" class="LineNr"> 588 </span>    <span class="subxComment"># if !slice-equal?(word-slice, &quot;==&quot;) goto next case</span>
<span id="L589" class="LineNr"> 589 </span>    <span class="subxS1Comment"># . eax = slice-equal?(word-slice, &quot;==&quot;)</span>
<span id="L590" class="LineNr"> 590 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L591" class="LineNr"> 591 </span>    68/push  <span class="Constant">&quot;==&quot;</span>/imm32
<span id="L592" class="LineNr"> 592 </span>    52/push-edx
<span id="L593" class="LineNr"> 593 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L594" class="LineNr"> 594 </span>    e8/call  <a href='123slice.subx.html#L120'>slice-equal?</a>/disp32
<span id="L595" class="LineNr"> 595 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L596" class="LineNr"> 596 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L597" class="LineNr"> 597 </span>    <span class="subxS1Comment"># . if (eax != false) break</span>
<span id="L598" class="LineNr"> 598 </span>    3d/compare-eax-and  0/imm32/false
<span id="L599" class="LineNr"> 599 </span>    0f 84/jump-if-=  $compute-addresses:case-label/disp32
<span id="L600" class="LineNr"> 600 </span>    <span class="subxComment"># next-word(line, word-slice)</span>
<span id="L601" class="LineNr"> 601 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L602" class="LineNr"> 602 </span>    52/push-edx
<span id="L603" class="LineNr"> 603 </span>    51/push-ecx
<span id="L604" class="LineNr"> 604 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L605" class="LineNr"> 605 </span>    e8/call  <a href='127next-word.subx.html#L11'>next-word</a>/disp32
<span id="L606" class="LineNr"> 606 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L607" class="LineNr"> 607 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L608" class="LineNr"> 608 </span>    <span class="subxComment"># if slice-empty?(word-slice) abort</span>
<span id="L609" class="LineNr"> 609 </span>    <span class="subxS1Comment"># . eax = slice-empty?(word-slice)</span>
<span id="L610" class="LineNr"> 610 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L611" class="LineNr"> 611 </span>    52/push-edx
<span id="L612" class="LineNr"> 612 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L613" class="LineNr"> 613 </span>    e8/call  <a href='123slice.subx.html#L9'>slice-empty?</a>/disp32
<span id="L614" class="LineNr"> 614 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L615" class="LineNr"> 615 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L616" class="LineNr"> 616 </span>    <span class="subxS1Comment"># . if (eax != false) abort</span>
<span id="L617" class="LineNr"> 617 </span>    3d/compare-eax-and  0/imm32/false
<span id="L618" class="LineNr"> 618 </span>    0f 85/jump-if-!=  $compute-addresses:abort/disp32
<span id="L619" class="LineNr"> 619 </span>    <span class="subxComment"># next-word(line, word-slice)</span>
<span id="L620" class="LineNr"> 620 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L621" class="LineNr"> 621 </span>    52/push-edx
<span id="L622" class="LineNr"> 622 </span>    51/push-ecx
<span id="L623" class="LineNr"> 623 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L624" class="LineNr"> 624 </span>    e8/call  <a href='127next-word.subx.html#L11'>next-word</a>/disp32
<span id="L625" class="LineNr"> 625 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L626" class="LineNr"> 626 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L627" class="LineNr"> 627 </span>    <span class="subxComment"># if slice-empty?(word-slice) break</span>
<span id="L628" class="LineNr"> 628 </span>    <span class="subxS1Comment"># . eax = slice-empty?(word-slice)</span>
<span id="L629" class="LineNr"> 629 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L630" class="LineNr"> 630 </span>    52/push-edx
<span id="L631" class="LineNr"> 631 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L632" class="LineNr"> 632 </span>    e8/call  <a href='123slice.subx.html#L9'>slice-empty?</a>/disp32
<span id="L633" class="LineNr"> 633 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L634" class="LineNr"> 634 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L635" class="LineNr"> 635 </span>    <span class="subxS1Comment"># . if (eax != false) break</span>
<span id="L636" class="LineNr"> 636 </span>    3d/compare-eax-and  0/imm32/false
<span id="L637" class="LineNr"> 637 </span>    0f 85/jump-if-!=  $compute-addresses:line-loop/disp32
<span id="L638" class="LineNr"> 638 </span>    <span class="subxComment"># var new-address/eax: int = parse-hex-int-from-slice(word-slice)</span>
<span id="L639" class="LineNr"> 639 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L640" class="LineNr"> 640 </span>    52/push-edx
<span id="L641" class="LineNr"> 641 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L642" class="LineNr"> 642 </span>    e8/call  <a href='118parse-hex-int.subx.html#L387'>parse-hex-int-from-slice</a>/disp32
<span id="L643" class="LineNr"> 643 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L644" class="LineNr"> 644 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L645" class="LineNr"> 645 </span>    <span class="subxComment"># if (new-address &lt; current-address) abort</span>
<span id="L646" class="LineNr"> 646 </span>    39/compare                      3/mod/direct    0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          6/r32/esi  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># compare eax with esi</span>
<span id="L647" class="LineNr"> 647 </span>    0f 82/jump-if-addr&lt;  $compute-addresses:error-bad-segment-address/disp32
<span id="L648" class="LineNr"> 648 </span>    <span class="subxComment"># current-address = new-address</span>
<span id="L649" class="LineNr"> 649 </span>    89/copy                         3/mod/direct    6/rm32/esi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          0/r32/eax  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy eax to esi</span>
<span id="L650" class="LineNr"> 650 </span>    <span class="subxComment"># break</span>
<span id="L651" class="LineNr"> 651 </span>    e9/jump  $compute-addresses:line-loop/disp32
<span id="L652" class="LineNr"> 652 </span><span class="Constant">$compute-addresses:case-label</span>:
<span id="L653" class="LineNr"> 653 </span>    <span class="subxComment"># if (!label?(word-slice)) goto next case</span>
<span id="L654" class="LineNr"> 654 </span>    <span class="subxS1Comment"># . eax = label?(word-slice)</span>
<span id="L655" class="LineNr"> 655 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L656" class="LineNr"> 656 </span>    52/push-edx
<span id="L657" class="LineNr"> 657 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L658" class="LineNr"> 658 </span>    e8/call  <a href='128subx-words.subx.html#L535'>label?</a>/disp32
<span id="L659" class="LineNr"> 659 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L660" class="LineNr"> 660 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L661" class="LineNr"> 661 </span>    <span class="subxS1Comment"># . if (eax == false) goto next case</span>
<span id="L662" class="LineNr"> 662 </span>    3d/compare-eax-and  0/imm32/false
<span id="L663" class="LineNr"> 663 </span>    0f 84/jump-if-=  $compute-addresses:case-default/disp32
<span id="L664" class="LineNr"> 664 </span>    <span class="subxComment"># strip trailing ':' from word-slice</span>
<span id="L665" class="LineNr"> 665 </span>    ff          1/subop/decrement   1/mod/*+disp8   2/rm32/edx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># decrement *(edx+4)</span>
<span id="L666" class="LineNr"> 666 </span>    <span class="subxComment"># var tmp/eax: (addr int) = get-or-insert-slice(labels, word-slice, row-size=12)</span>
<span id="L667" class="LineNr"> 667 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L668" class="LineNr"> 668 </span>    68/push  <span class="SpecialChar"><a href='120allocate.subx.html#L27'>Heap</a></span>/imm32
<span id="L669" class="LineNr"> 669 </span>    68/push  0xc/imm32/row-size
<span id="L670" class="LineNr"> 670 </span>    52/push-edx
<span id="L671" class="LineNr"> 671 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          0xc/disp8      <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+12)</span>
<span id="L672" class="LineNr"> 672 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L673" class="LineNr"> 673 </span>    e8/call  <a href='131table.subx.html#L1022'>get-or-insert-slice</a>/disp32
<span id="L674" class="LineNr"> 674 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L675" class="LineNr"> 675 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0x10/imm32        <span class="subxComment"># add to esp</span>
<span id="L676" class="LineNr"> 676 </span>    <span class="subxComment"># *tmp = current-address</span>
<span id="L677" class="LineNr"> 677 </span>    89/copy                         0/mod/indirect  0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          6/r32/esi  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esi to *eax</span>
<span id="L678" class="LineNr"> 678 </span>    <span class="subxComment"># trace-slsns(&quot;label '&quot; word-slice &quot;' is at address &quot; current-address &quot;.&quot;)</span>
<span id="L679" class="LineNr"> 679 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L680" class="LineNr"> 680 </span>    68/push  <span class="Constant">&quot;.&quot;</span>/imm32
<span id="L681" class="LineNr"> 681 </span>    56/push-esi
<span id="L682" class="LineNr"> 682 </span>    68/push  <span class="Constant">&quot;' is at address &quot;</span>/imm32
<span id="L683" class="LineNr"> 683 </span>    52/push-edx
<span id="L684" class="LineNr"> 684 </span>    68/push  <span class="Constant">&quot;label '&quot;</span>/imm32
<span id="L685" class="LineNr"> 685 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L686" class="LineNr"> 686 </span>    e8/call  <a href='survey_baremetal.subx.html#L1028'>trace-slsns</a>/disp32
<span id="L687" class="LineNr"> 687 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L688" class="LineNr"> 688 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0x14/imm32        <span class="subxComment"># add to esp</span>
<span id="L689" class="LineNr"> 689 </span>    <span class="subxComment"># continue</span>
<span id="L690" class="LineNr"> 690 </span>    e9/jump  $compute-addresses:word-loop/disp32
<span id="L691" class="LineNr"> 691 </span><span class="Constant">$compute-addresses:case-default</span>:
<span id="L692" class="LineNr"> 692 </span>    <span class="subxComment"># width/eax = compute-width-of-slice(word-slice)</span>
<span id="L693" class="LineNr"> 693 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L694" class="LineNr"> 694 </span>    52/push-edx
<span id="L695" class="LineNr"> 695 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L696" class="LineNr"> 696 </span>    e8/call <a href='133subx-widths.subx.html#L45'>compute-width-of-slice</a>/disp32
<span id="L697" class="LineNr"> 697 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L698" class="LineNr"> 698 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L699" class="LineNr"> 699 </span>    <span class="subxComment"># current-address += width</span>
<span id="L700" class="LineNr"> 700 </span>    01/add                          3/mod/direct    6/rm32/esi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          0/r32/eax  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># add eax to *esi</span>
<span id="L701" class="Folded"> 701 </span><span class="Folded">+-- 41 lines: #?     # dump segment-offset ---------------------------------------------------------------------------------------------------------------------------------</span>
<span id="L742" class="LineNr"> 742 </span>    e9/jump $compute-addresses:word-loop/disp32
<span id="L743" class="LineNr"> 743 </span><span class="Constant">$compute-addresses:end</span>:
<span id="L744" class="LineNr"> 744 </span>    <span class="subxS1Comment"># . reclaim locals</span>
<span id="L745" class="LineNr"> 745 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0x214/imm32       <span class="subxComment"># add to esp</span>
<span id="L746" class="LineNr"> 746 </span>    <span class="subxS1Comment"># . restore registers</span>
<span id="L747" class="LineNr"> 747 </span>    5f/pop-to-edi
<span id="L748" class="LineNr"> 748 </span>    5e/pop-to-esi
<span id="L749" class="LineNr"> 749 </span>    5b/pop-to-ebx
<span id="L750" class="LineNr"> 750 </span>    5a/pop-to-edx
<span id="L751" class="LineNr"> 751 </span>    59/pop-to-ecx
<span id="L752" class="LineNr"> 752 </span>    58/pop-to-eax
<span id="L753" class="LineNr"> 753 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L754" class="LineNr"> 754 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L755" class="LineNr"> 755 </span>    5d/pop-to-ebp
<span id="L756" class="LineNr"> 756 </span>    c3/return
<span id="L757" class="LineNr"> 757 </span>
<span id="L758" class="LineNr"> 758 </span><span class="Constant">$compute-addresses:abort</span>:
<span id="L759" class="LineNr"> 759 </span>    <span class="subxS1Comment"># . _write(2/stderr, error)</span>
<span id="L760" class="LineNr"> 760 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L761" class="LineNr"> 761 </span>    68/push  <span class="Constant">&quot;'==' must be followed by segment name and optionally an address\n&quot;</span>/imm32
<span id="L762" class="LineNr"> 762 </span>    68/push  2/imm32/stderr
<span id="L763" class="LineNr"> 763 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L764" class="LineNr"> 764 </span>    e8/call  <a href='101_write.subx.html#L12'>_write</a>/disp32
<span id="L765" class="LineNr"> 765 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L766" class="LineNr"> 766 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L767" class="LineNr"> 767 </span>    <span class="subxS1Comment"># . syscall(exit, 1)</span>
<span id="L768" class="LineNr"> 768 </span>    bb/copy-to-ebx  1/imm32
<span id="L769" class="LineNr"> 769 </span>    e8/call  <a href='000init.subx.html#L18'>syscall_exit</a>/disp32
<span id="L770" class="LineNr"> 770 </span>    <span class="subxComment"># never gets here</span>
<span id="L771" class="LineNr"> 771 </span>
<span id="L772" class="LineNr"> 772 </span><span class="Constant">$compute-addresses:error-bad-segment-address</span>:
<span id="L773" class="LineNr"> 773 </span>    <span class="subxS1Comment"># . _write(2/stderr, error)</span>
<span id="L774" class="LineNr"> 774 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L775" class="LineNr"> 775 </span>    68/push  <span class="Constant">&quot;'==' specifies an address that implies negative padding\n&quot;</span>/imm32
<span id="L776" class="LineNr"> 776 </span>    68/push  2/imm32/stderr
<span id="L777" class="LineNr"> 777 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L778" class="LineNr"> 778 </span>    e8/call  <a href='101_write.subx.html#L12'>_write</a>/disp32
<span id="L779" class="LineNr"> 779 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L780" class="LineNr"> 780 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L781" class="LineNr"> 781 </span>    <span class="subxS1Comment"># . syscall(exit, 1)</span>
<span id="L782" class="LineNr"> 782 </span>    bb/copy-to-ebx  1/imm32
<span id="L783" class="LineNr"> 783 </span>    e8/call  <a href='000init.subx.html#L18'>syscall_exit</a>/disp32
<span id="L784" class="LineNr"> 784 </span>    <span class="subxComment"># never gets here</span>
<span id="L785" class="LineNr"> 785 </span>
<span id="L786" class="LineNr"> 786 </span><span class="subxTest">test-compute-addresses</span>:
<span id="L787" class="LineNr"> 787 </span>    <span class="subxComment"># input:</span>
<span id="L788" class="LineNr"> 788 </span>    <span class="subxComment">#   == code</span>
<span id="L789" class="LineNr"> 789 </span>    <span class="subxComment">#   ab x/imm32  # skip comment</span>
<span id="L790" class="LineNr"> 790 </span>    <span class="subxComment">#   == data</span>
<span id="L791" class="LineNr"> 791 </span>    <span class="subxComment">#   00</span>
<span id="L792" class="LineNr"> 792 </span>    <span class="subxComment">#   x:</span>
<span id="L793" class="LineNr"> 793 </span>    <span class="subxComment">#     34</span>
<span id="L794" class="LineNr"> 794 </span>    <span class="subxComment">#</span>
<span id="L795" class="LineNr"> 795 </span>    <span class="subxComment"># trace contains (in any order):</span>
<span id="L796" class="LineNr"> 796 </span>    <span class="subxComment">#   label 'x' is at address 0x7c06.</span>
<span id="L797" class="LineNr"> 797 </span>    <span class="subxComment">#</span>
<span id="L798" class="LineNr"> 798 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L799" class="LineNr"> 799 </span>    55/push-ebp
<span id="L800" class="LineNr"> 800 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L801" class="LineNr"> 801 </span>    <span class="subxComment"># setup</span>
<span id="L802" class="LineNr"> 802 </span>    <span class="subxS1Comment"># . clear-stream(_test-input-stream)</span>
<span id="L803" class="LineNr"> 803 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L804" class="LineNr"> 804 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L805" class="LineNr"> 805 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L806" class="LineNr"> 806 </span>    e8/call  <a href='106stream.subx.html#L17'>clear-stream</a>/disp32
<span id="L807" class="LineNr"> 807 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L808" class="LineNr"> 808 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L809" class="LineNr"> 809 </span>    <span class="subxComment"># var labels/edx: (stream byte 2*12)</span>
<span id="L810" class="LineNr"> 810 </span>    81          5/subop/subtract    3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0x18/imm32        <span class="subxComment"># subtract from esp</span>
<span id="L811" class="LineNr"> 811 </span>    68/push  0x18/imm32/size
<span id="L812" class="LineNr"> 812 </span>    68/push  0/imm32/read
<span id="L813" class="LineNr"> 813 </span>    68/push  0/imm32/write
<span id="L814" class="LineNr"> 814 </span>    89/copy                         3/mod/direct    2/rm32/edx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to edx</span>
<span id="L815" class="LineNr"> 815 </span>    <span class="subxComment"># initialize input</span>
<span id="L816" class="LineNr"> 816 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;== code\n&quot;)</span>
<span id="L817" class="LineNr"> 817 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L818" class="LineNr"> 818 </span>    68/push  <span class="Constant">&quot;== code\n&quot;</span>/imm32
<span id="L819" class="LineNr"> 819 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L820" class="LineNr"> 820 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L821" class="LineNr"> 821 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L822" class="LineNr"> 822 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L823" class="LineNr"> 823 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L824" class="LineNr"> 824 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;ab x/imm32  # skip comment\n&quot;)</span>
<span id="L825" class="LineNr"> 825 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L826" class="LineNr"> 826 </span>    68/push  <span class="Constant">&quot;ab x/imm32  # skip comment\n&quot;</span>/imm32
<span id="L827" class="LineNr"> 827 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L828" class="LineNr"> 828 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L829" class="LineNr"> 829 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L830" class="LineNr"> 830 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L831" class="LineNr"> 831 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L832" class="LineNr"> 832 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;== data\n&quot;)</span>
<span id="L833" class="LineNr"> 833 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L834" class="LineNr"> 834 </span>    68/push  <span class="Constant">&quot;== data\n&quot;</span>/imm32
<span id="L835" class="LineNr"> 835 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L836" class="LineNr"> 836 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L837" class="LineNr"> 837 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L838" class="LineNr"> 838 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L839" class="LineNr"> 839 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L840" class="LineNr"> 840 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;00\n&quot;)</span>
<span id="L841" class="LineNr"> 841 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L842" class="LineNr"> 842 </span>    68/push  <span class="Constant">&quot;00\n&quot;</span>/imm32
<span id="L843" class="LineNr"> 843 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L844" class="LineNr"> 844 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L845" class="LineNr"> 845 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L846" class="LineNr"> 846 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L847" class="LineNr"> 847 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L848" class="LineNr"> 848 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;x:\n&quot;)</span>
<span id="L849" class="LineNr"> 849 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L850" class="LineNr"> 850 </span>    68/push  <span class="Constant">&quot;x:\n&quot;</span>/imm32
<span id="L851" class="LineNr"> 851 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L852" class="LineNr"> 852 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L853" class="LineNr"> 853 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L854" class="LineNr"> 854 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L855" class="LineNr"> 855 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L856" class="LineNr"> 856 </span>    <span class="subxS1Comment"># . write(_test-input-stream, &quot;34\n&quot;)</span>
<span id="L857" class="LineNr"> 857 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L858" class="LineNr"> 858 </span>    68/push  <span class="Constant">&quot;34\n&quot;</span>/imm32
<span id="L859" class="LineNr"> 859 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L860" class="LineNr"> 860 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L861" class="LineNr"> 861 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L862" class="LineNr"> 862 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L863" class="LineNr"> 863 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L864" class="LineNr"> 864 </span>    <span class="subxComment"># compute-addresses(_test-input-stream, labels)</span>
<span id="L865" class="LineNr"> 865 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L866" class="LineNr"> 866 </span>    52/push-edx
<span id="L867" class="LineNr"> 867 </span>    68/push  <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32
<span id="L868" class="LineNr"> 868 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L869" class="LineNr"> 869 </span>    e8/call  <a href='survey_baremetal.subx.html#L446'>compute-addresses</a>/disp32
<span id="L870" class="LineNr"> 870 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L871" class="LineNr"> 871 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32          <span class="subxComment"># add to esp</span>
<span id="L872" class="Folded"> 872 </span><span class="Folded">+-- 26 lines: #?     # dump *Trace-stream ----------------------------------------------------------------------------------------------------------------------------------</span>
<span id="L898" class="LineNr"> 898 </span>    <span class="subxS1Comment"># . check-trace-contains(&quot;label 'x' is at address 0x00007c06.&quot;, msg)</span>
<span id="L899" class="LineNr"> 899 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L900" class="LineNr"> 900 </span>    68/push  <span class="Constant">&quot;F - test-compute-addresses&quot;</span>/imm32
<span id="L901" class="LineNr"> 901 </span>    68/push  <span class="Constant">&quot;label 'x' is at address 0x00007c06.&quot;</span>/imm32
<span id="L902" class="LineNr"> 902 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L903" class="LineNr"> 903 </span>    e8/call  <a href='107trace.subx.html#L248'>check-trace-contains</a>/disp32
<span id="L904" class="LineNr"> 904 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L905" class="LineNr"> 905 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L906" class="LineNr"> 906 </span>    <span class="subxS1Comment"># . check-ints-equal(labels-&gt;write, 0xc, msg)</span>
<span id="L907" class="LineNr"> 907 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L908" class="LineNr"> 908 </span>    68/push  <span class="Constant">&quot;F - test-compute-addresses-maintains-labels-write-index&quot;</span>/imm32
<span id="L909" class="LineNr"> 909 </span>    68/push  0xc/imm32/1-entry
<span id="L910" class="LineNr"> 910 </span>    ff          6/subop/push        0/mod/indirect  2/rm32/edx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># push *edx</span>
<span id="L911" class="LineNr"> 911 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L912" class="LineNr"> 912 </span>    e8/call  <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32
<span id="L913" class="LineNr"> 913 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L914" class="LineNr"> 914 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L915" class="LineNr"> 915 </span>    <span class="subxS1Comment"># . reclaim locals</span>
<span id="L916" class="LineNr"> 916 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0x24/imm32        <span class="subxComment"># add to esp</span>
<span id="L917" class="LineNr"> 917 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L918" class="LineNr"> 918 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L919" class="LineNr"> 919 </span>    5d/pop-to-ebp
<span id="L920" class="LineNr"> 920 </span>    c3/return
<span id="L921" class="LineNr"> 921 </span>
<span id="L922" class="LineNr"> 922 </span><span class="subxFunction">emit-labels</span>:  <span class="subxComment"># out: (addr buffered-file), labels: (addr stream {(handle array byte), address})</span>
<span id="L923" class="LineNr"> 923 </span>    <span class="subxComment"># pseudocode:</span>
<span id="L924" class="LineNr"> 924 </span>    <span class="subxComment">#   curr = table-&gt;data</span>
<span id="L925" class="LineNr"> 925 </span>    <span class="subxComment">#   max = &amp;table-&gt;data[table-&gt;write]</span>
<span id="L926" class="LineNr"> 926 </span>    <span class="subxComment">#   while curr &lt; max</span>
<span id="L927" class="LineNr"> 927 </span>    <span class="subxComment">#     var label: (addr array byte) = lookup(*curr)</span>
<span id="L928" class="LineNr"> 928 </span>    <span class="subxComment">#     curr += 8</span>
<span id="L929" class="LineNr"> 929 </span>    <span class="subxComment">#     write-buffered(out, label)</span>
<span id="L930" class="LineNr"> 930 </span>    <span class="subxComment">#     write-buffered(out, ' ')</span>
<span id="L931" class="LineNr"> 931 </span>    <span class="subxComment">#     write-buffered(out, *curr)</span>
<span id="L932" class="LineNr"> 932 </span>    <span class="subxComment">#     curr += 4</span>
<span id="L933" class="LineNr"> 933 </span>    <span class="subxComment">#     write(out, '\n')</span>
<span id="L934" class="LineNr"> 934 </span>    <span class="subxComment">#   return 0</span>
<span id="L935" class="LineNr"> 935 </span>    <span class="subxComment">#</span>
<span id="L936" class="LineNr"> 936 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L937" class="LineNr"> 937 </span>    55/push-ebp
<span id="L938" class="LineNr"> 938 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L939" class="LineNr"> 939 </span>    <span class="subxS1Comment"># . save registers</span>
<span id="L940" class="LineNr"> 940 </span>    50/push-eax
<span id="L941" class="LineNr"> 941 </span>    51/push-ecx
<span id="L942" class="LineNr"> 942 </span>    52/push-edx
<span id="L943" class="LineNr"> 943 </span>    56/push-esi
<span id="L944" class="LineNr"> 944 </span>    <span class="subxComment"># esi = table</span>
<span id="L945" class="LineNr"> 945 </span>    8b/copy                         1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          6/r32/esi   0xc/disp8      <span class="Normal"> . </span>                <span class="subxComment"># copy *(ebp+12) to esi</span>
<span id="L946" class="LineNr"> 946 </span>    <span class="subxComment"># var curr/ecx: (addr handle array byte) = table-&gt;data</span>
<span id="L947" class="LineNr"> 947 </span>    8d/copy-address                 1/mod/*+disp8   6/rm32/esi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx   0xc/disp8      <span class="Normal"> . </span>                <span class="subxComment"># copy esi+12 to ecx</span>
<span id="L948" class="LineNr"> 948 </span>    <span class="subxComment"># var max/edx: (addr byte) = &amp;table-&gt;data[table-&gt;write]</span>
<span id="L949" class="LineNr"> 949 </span>    8b/copy                         0/mod/indirect  6/rm32/esi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          2/r32/edx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *esi to edx</span>
<span id="L950" class="LineNr"> 950 </span>    8d/copy-address                 0/mod/indirect  4/rm32/sib    1/base/ecx  2/index/edx  <span class="Normal"> . </span>          2/r32/edx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ecx+edx to edx</span>
<span id="L951" class="LineNr"> 951 </span><span class="Constant">$emit-labels:loop</span>:
<span id="L952" class="LineNr"> 952 </span>    <span class="subxComment"># if (curr &gt;= max) return null</span>
<span id="L953" class="LineNr"> 953 </span>    39/compare                      3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          2/r32/edx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># compare ecx with edx</span>
<span id="L954" class="LineNr"> 954 </span>    0f 83/jump-if-addr&gt;=  $emit-labels:end/disp32
<span id="L955" class="LineNr"> 955 </span>    <span class="subxComment"># var label/eax: (addr array byte) = lookup(*curr)</span>
<span id="L956" class="LineNr"> 956 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L957" class="LineNr"> 957 </span>    ff          6/subop/push        1/mod/*+disp8   1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># push *(ecx+4)</span>
<span id="L958" class="LineNr"> 958 </span>    ff          6/subop/push        0/mod/indirect  1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># push *ecx</span>
<span id="L959" class="LineNr"> 959 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L960" class="LineNr"> 960 </span>    e8/call  <a href='120allocate.subx.html#L258'>lookup</a>/disp32
<span id="L961" class="LineNr"> 961 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L962" class="LineNr"> 962 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L963" class="LineNr"> 963 </span>    <span class="subxComment"># curr += 8</span>
<span id="L964" class="LineNr"> 964 </span>    81          0/subop/add         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to ecx</span>
<span id="L965" class="LineNr"> 965 </span>    <span class="subxComment"># write-buffered(out, label)</span>
<span id="L966" class="LineNr"> 966 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L967" class="LineNr"> 967 </span>    50/push-eax
<span id="L968" class="LineNr"> 968 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          8/disp8        <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+8)</span>
<span id="L969" class="LineNr"> 969 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L970" class="LineNr"> 970 </span>    e8/call  <a href='116write-buffered.subx.html#L8'>write-buffered</a>/disp32
<span id="L971" class="LineNr"> 971 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L972" class="LineNr"> 972 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L973" class="LineNr"> 973 </span>    <span class="subxComment"># write-buffered(out, ' ')</span>
<span id="L974" class="LineNr"> 974 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L975" class="LineNr"> 975 </span>    68/push  <span class="SpecialChar"><a href='102test.subx.html#L93'>Space</a></span>/imm32
<span id="L976" class="LineNr"> 976 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          8/disp8        <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+8)</span>
<span id="L977" class="LineNr"> 977 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L978" class="LineNr"> 978 </span>    e8/call  <a href='116write-buffered.subx.html#L8'>write-buffered</a>/disp32
<span id="L979" class="LineNr"> 979 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L980" class="LineNr"> 980 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L981" class="LineNr"> 981 </span>    <span class="subxS1Comment"># . flush(Stderr)</span>
<span id="L982" class="LineNr"> 982 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L983" class="LineNr"> 983 </span>    68/push  <span class="SpecialChar"><a href='116write-buffered.subx.html#L209'>Stderr</a></span>/imm32
<span id="L984" class="LineNr"> 984 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L985" class="LineNr"> 985 </span>    e8/call  <a href='115write-byte.subx.html#L81'>flush</a>/disp32
<span id="L986" class="LineNr"> 986 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L987" class="LineNr"> 987 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L988" class="LineNr"> 988 </span>    <span class="subxComment"># write-int32-hex-buffered(out, *curr)</span>
<span id="L989" class="LineNr"> 989 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L990" class="LineNr"> 990 </span>    ff          6/subop/push        0/mod/indirect  1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># push *ecx</span>
<span id="L991" class="LineNr"> 991 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          8/disp8        <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+8)</span>
<span id="L992" class="LineNr"> 992 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L993" class="LineNr"> 993 </span>    e8/call  <a href='117write-int-hex.subx.html#L288'>write-int32-hex-buffered</a>/disp32
<span id="L994" class="LineNr"> 994 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L995" class="LineNr"> 995 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L996" class="LineNr"> 996 </span>    <span class="subxComment"># curr += 4</span>
<span id="L997" class="LineNr"> 997 </span>    81          0/subop/add         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to ecx</span>
<span id="L998" class="LineNr"> 998 </span>    <span class="subxComment"># write-buffered(out, '\n')</span>
<span id="L999" class="LineNr"> 999 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L1000" class="LineNr">1000 </span>    68/push  <span class="SpecialChar"><a href='102test.subx.html#L82'>Newline</a></span>/imm32
<span id="L1001" class="LineNr">1001 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          8/disp8        <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+8)</span>
<span id="L1002" class="LineNr">1002 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L1003" class="LineNr">1003 </span>    e8/call  <a href='116write-buffered.subx.html#L8'>write-buffered</a>/disp32
<span id="L1004" class="LineNr">1004 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L1005" class="LineNr">1005 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L1006" class="LineNr">1006 </span>    <span class="subxComment"># loop</span>
<span id="L1007" class="LineNr">1007 </span>    e9/jump  $emit-labels:<span class="Constant">loop</span>/disp32
<span id="L1008" class="LineNr">1008 </span><span class="Constant">$emit-labels:end</span>:
<span id="L1009" class="LineNr">1009 </span>    <span class="subxS1Comment"># . restore registers</span>
<span id="L1010" class="LineNr">1010 </span>    5e/pop-to-esi
<span id="L1011" class="LineNr">1011 </span>    5a/pop-to-edx
<span id="L1012" class="LineNr">1012 </span>    59/pop-to-ecx
<span id="L1013" class="LineNr">1013 </span>    58/pop-to-eax
<span id="L1014" class="LineNr">1014 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L1015" class="LineNr">1015 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L1016" class="LineNr">1016 </span>    5d/pop-to-ebp
<span id="L1017" class="LineNr">1017 </span>    c3/return
<span id="L1018" class="LineNr">1018 </span>
<span id="L1019" class="LineNr">1019 </span><span class="subxH1Comment"># - some helpers for tests</span>
<span id="L1020" class="LineNr">1020 </span>
<span id="L1021" class="LineNr">1021 </span><span class="subxComment"># some variants of 'trace' that take multiple arguments in different combinations of types:</span>
<span id="L1022" class="LineNr">1022 </span><span class="subxComment">#   n: int</span>
<span id="L1023" class="LineNr">1023 </span><span class="subxComment">#   c: character [4-bytes, will eventually be UTF-8]</span>
<span id="L1024" class="LineNr">1024 </span><span class="subxComment">#   s: (addr array byte)</span>
<span id="L1025" class="LineNr">1025 </span><span class="subxComment">#   l: (addr slice)</span>
<span id="L1026" class="LineNr">1026 </span><span class="subxComment"># one gotcha: 's5' must not be empty</span>
<span id="L1027" class="LineNr">1027 </span>
<span id="L1028" class="LineNr">1028 </span><span class="subxFunction">trace-slsns</span>:  <span class="subxComment"># s1: (addr array byte), l2: (addr slice), s3: (addr array byte), n4: int, s5: (addr array byte)</span>
<span id="L1029" class="LineNr">1029 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L1030" class="LineNr">1030 </span>    55/push-ebp
<span id="L1031" class="LineNr">1031 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L1032" class="LineNr">1032 </span>    <span class="subxComment"># write(*Trace-stream, s1)</span>
<span id="L1033" class="LineNr">1033 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L1034" class="LineNr">1034 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          8/disp8        <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+8)</span>
<span id="L1035" class="LineNr">1035 </span>    ff          6/subop/push        0/mod/indirect  5/rm32/.disp32           <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          <span class="SpecialChar"><a href='107trace.subx.html#L17'>Trace-stream</a></span>/disp32               <span class="subxComment"># push *Trace-stream</span>
<span id="L1036" class="LineNr">1036 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L1037" class="LineNr">1037 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L1038" class="LineNr">1038 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L1039" class="LineNr">1039 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L1040" class="LineNr">1040 </span>    <span class="subxComment"># write-slice(*Trace-stream, l2)</span>
<span id="L1041" class="LineNr">1041 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L1042" class="LineNr">1042 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          0xc/disp8      <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+12)</span>
<span id="L1043" class="LineNr">1043 </span>    ff          6/subop/push        0/mod/indirect  5/rm32/.disp32           <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          <span class="SpecialChar"><a href='107trace.subx.html#L17'>Trace-stream</a></span>/disp32               <span class="subxComment"># push *Trace-stream</span>
<span id="L1044" class="LineNr">1044 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L1045" class="LineNr">1045 </span>    e8/call  <a href='123slice.subx.html#L793'>write-slice</a>/disp32
<span id="L1046" class="LineNr">1046 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L1047" class="LineNr">1047 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L1048" class="LineNr">1048 </span>    <span class="subxComment"># write(*Trace-stream, s3)</span>
<span id="L1049" class="LineNr">1049 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L1050" class="LineNr">1050 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          0x10/disp8     <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+16)</span>
<span id="L1051" class="LineNr">1051 </span>    ff          6/subop/push        0/mod/indirect  5/rm32/.disp32           <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          <span class="SpecialChar"><a href='107trace.subx.html#L17'>Trace-stream</a></span>/disp32               <span class="subxComment"># push *Trace-stream</span>
<span id="L1052" class="LineNr">1052 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L1053" class="LineNr">1053 </span>    e8/call  <a href='108write.subx.html#L24'>write</a>/disp32
<span id="L1054" class="LineNr">1054 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L1055" class="LineNr">1055 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L1056" class="LineNr">1056 </span>    <span class="subxComment"># write-int32-hex(*Trace-stream, n4)</span>
<span id="L1057" class="LineNr">1057 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L1058" class="LineNr">1058 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          0x14/disp8     <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+20)</span>
<span id="L1059" class="LineNr">1059 </span>    ff          6/subop/push        0/mod/indirect  5/rm32/.disp32           <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          <span class="SpecialChar"><a href='107trace.subx.html#L17'>Trace-stream</a></span>/disp32               <span class="subxComment"># push *Trace-stream</span>
<span id="L1060" class="LineNr">1060 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L1061" class="LineNr">1061 </span>    e8/call  <a href='117write-int-hex.subx.html#L178'>write-int32-hex</a>/disp32
<span id="L1062" class="LineNr">1062 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L1063" class="LineNr">1063 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L1064" class="LineNr">1064 </span>    <span class="subxComment"># trace(s5)  # implicitly adds a newline and finalizes the trace line</span>
<span id="L1065" class="LineNr">1065 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L1066" class="LineNr">1066 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          0x18/disp8     <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+24)</span>
<span id="L1067" class="LineNr">1067 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L1068" class="LineNr">1068 </span>    e8/call  <a href='107trace.subx.html#L81'>trace</a>/disp32
<span id="L1069" class="LineNr">1069 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L1070" class="LineNr">1070 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L1071" class="LineNr">1071 </span><span class="Constant">$trace-slsns:end</span>:
<span id="L1072" class="LineNr">1072 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L1073" class="LineNr">1073 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L1074" class="LineNr">1074 </span>    5d/pop-to-ebp
<span id="L1075" class="LineNr">1075 </span>    c3/return
<span id="L1076" class="LineNr">1076 </span>
<span id="L1077" class="LineNr">1077 </span><span class="subxTest">test-trace-slsns</span>:
<span id="L1078" class="LineNr">1078 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L1079" class="LineNr">1079 </span>    55/push-ebp
<span id="L1080" class="LineNr">1080 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L1081" class="LineNr">1081 </span>    <span class="subxComment"># setup</span>
<span id="L1082" class="LineNr">1082 </span>    <span class="subxS1Comment"># . *Trace-stream-&gt;write = 0</span>
<span id="L1083" class="LineNr">1083 </span>    8b/copy                         0/mod/indirect  5/rm32/.disp32           <span class="Normal"> . </span>           <span class="Normal"> . </span>          0/r32/eax   <span class="SpecialChar"><a href='107trace.subx.html#L17'>Trace-stream</a></span>/disp32               <span class="subxComment"># copy *Trace-stream to eax</span>
<span id="L1084" class="LineNr">1084 </span>    c7          0/subop/copy        0/mod/direct    0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0/imm32           <span class="subxComment"># clear *eax</span>
<span id="L1085" class="LineNr">1085 </span>    <span class="subxComment"># (eax..ecx) = &quot;b&quot;</span>
<span id="L1086" class="LineNr">1086 </span>    b8/copy-to-eax  <span class="Constant">&quot;b&quot;</span>/imm32
<span id="L1087" class="LineNr">1087 </span>    8b/copy                         0/mod/indirect  0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *eax to ecx</span>
<span id="L1088" class="LineNr">1088 </span>    8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx  <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy eax+ecx+4 to ecx</span>
<span id="L1089" class="LineNr">1089 </span>    05/add-to-eax  4/imm32
<span id="L1090" class="LineNr">1090 </span>    <span class="subxComment"># var b/ebx: slice = {eax, ecx}</span>
<span id="L1091" class="LineNr">1091 </span>    51/push-ecx
<span id="L1092" class="LineNr">1092 </span>    50/push-eax
<span id="L1093" class="LineNr">1093 </span>    89/copy                         3/mod/direct    3/rm32/ebx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebx</span>
<span id="L1094" class="LineNr">1094 </span>    <span class="subxComment"># trace-slsls(&quot;A&quot; b &quot;c &quot; 3 &quot; e&quot;)</span>
<span id="L1095" class="LineNr">1095 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L1096" class="LineNr">1096 </span>    68/push  <span class="Constant">&quot; e&quot;</span>/imm32
<span id="L1097" class="LineNr">1097 </span>    68/push  3/imm32
<span id="L1098" class="LineNr">1098 </span>    68/push  <span class="Constant">&quot;c &quot;</span>/imm32
<span id="L1099" class="LineNr">1099 </span>    53/push-ebx
<span id="L1100" class="LineNr">1100 </span>    68/push  <span class="Constant">&quot;A&quot;</span>/imm32
<span id="L1101" class="LineNr">1101 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L1102" class="LineNr">1102 </span>    e8/call  <a href='survey_baremetal.subx.html#L1028'>trace-slsns</a>/disp32
<span id="L1103" class="LineNr">1103 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L1104" class="LineNr">1104 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0x14/imm32        <span class="subxComment"># add to esp</span>
<span id="L1105" class="Folded">1105 </span><span class="Folded">+-- 26 lines: #?     # dump *Trace-stream ----------------------------------------------------------------------------------------------------------------------------------</span>
<span id="L1131" class="LineNr">1131 </span>    <span class="subxComment"># check-trace-contains(&quot;Abc 0x00000003 e&quot;)</span>
<span id="L1132" class="LineNr">1132 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L1133" class="LineNr">1133 </span>    68/push  <span class="Constant">&quot;F - test-trace-slsls&quot;</span>/imm32
<span id="L1134" class="LineNr">1134 </span>    68/push  <span class="Constant">&quot;Abc 0x00000003 e&quot;</span>/imm32
<span id="L1135" class="LineNr">1135 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L1136" class="LineNr">1136 </span>    e8/call  <a href='107trace.subx.html#L248'>check-trace-contains</a>/disp32
<span id="L1137" class="LineNr">1137 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L1138" class="LineNr">1138 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L1139" class="LineNr">1139 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L1140" class="LineNr">1140 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L1141" class="LineNr">1141 </span>    5d/pop-to-ebp
<span id="L1142" class="LineNr">1142 </span>    c3/return
<span id="L1143" class="LineNr">1143 </span>
<span id="L1144" class="LineNr">1144 </span><span class="subxS2Comment"># . . vim&#0058;nowrap:textwidth=0</span>
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->