about summary refs log blame commit diff stats
path: root/html/subx/055trace.subx.html
blob: 16a7af2f2acf858fea283986edaf4cf9828b17e8 (plain) (tree) 
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-01-22 21:56:31 +0000
d='n257' href='#n257'>257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 




















































































































































































































































































































































































                                                                                                                                                                                                                                                                                                                                                                                                               
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>Mu - subx/055trace.subx</title>
<meta name="Generator" content="Vim/8.0">
<meta name="plugin-version" content="vim7.4_v2">
<meta name="syntax" content="none">
<meta name="settings" content="number_lines,use_css,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
<meta name="colorscheme" content="minimal">
<style type="text/css">
<!--
pre { font-family: monospace; color: #aaaaaa; background-color: #080808; }
body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
a { color:#eeeeee; text-decoration: none; }
a:hover { text-decoration: underline; }
* { font-size: 12pt; font-size: 1em; }
.LineNr { color: #444444; }
.Delimiter { color: #800080; }
.Comment { color: #9090ff; }
.Comment a { color:#0000ee; text-decoration:underline; }
-->
</style>

<script type='text/javascript'>
<!--

/* 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;
  }
  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();'>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr">  1 </span><span class="Comment"># helpers for emitting traces to a trace stream, and for tests to check the trace stream</span>
<span id="L2" class="LineNr">  2 </span><span class="Comment">#</span>
<span id="L3" class="LineNr">  3 </span><span class="Comment"># A trace stream looks like this:</span>
<span id="L4" class="LineNr">  4 </span><span class="Comment">#   read : int  # index that we've read until</span>
<span id="L5" class="LineNr">  5 </span><span class="Comment">#   write : int  # index at which writes go</span>
<span id="L6" class="LineNr">  6 </span><span class="Comment">#   data : (array byte)  # prefixed by length as usual</span>
<span id="L7" class="LineNr">  7 </span><span class="Comment"># In a real trace the data will be in a special segment set aside for the purpose.</span>
<span id="L8" class="LineNr">  8 </span><span class="Comment">#</span>
<span id="L9" class="LineNr">  9 </span><span class="Comment"># primitives for operating on traces:</span>
<span id="L10" class="LineNr"> 10 </span><span class="Comment">#   - initialize-trace-stream (update global variable)</span>
<span id="L11" class="LineNr"> 11 </span><span class="Comment">#   - trace: stream, string</span>
<span id="L12" class="LineNr"> 12 </span><span class="Comment">#   - die: stream (exit(1) if using real trace)</span>
<span id="L13" class="LineNr"> 13 </span><span class="Comment">#   - check-trace-contains: stream, string/line, string/message (scans only from stream's read pointer, prints message to stderr on failure, updates stream's read pointer)</span>
<span id="L14" class="LineNr"> 14 </span><span class="Comment">#   - rewind-reads: stream (resets read pointer)</span>
<span id="L15" class="LineNr"> 15 </span><span class="Comment">#   - scan-to-next-line: stream (advance read pointer past next newline)</span>
<span id="L16" class="LineNr"> 16 </span><span class="Comment">#</span>
<span id="L17" class="LineNr"> 17 </span><span class="Comment"># Traces are very fundamental, so many of the helpers we create here won't be</span>
<span id="L18" class="LineNr"> 18 </span><span class="Comment"># used elsewhere; we'll switch to more bounds-checked variants. But here we get</span>
<span id="L19" class="LineNr"> 19 </span><span class="Comment"># bounds-checking for free; we allocate a completely disjoint segment for trace</span>
<span id="L20" class="LineNr"> 20 </span><span class="Comment"># data, and overflowing it will generate a page fault.</span>
<span id="L21" class="LineNr"> 21 </span>
<span id="L22" class="LineNr"> 22 </span>== data
<span id="L23" class="LineNr"> 23 </span>
<span id="L24" class="LineNr"> 24 </span><span class="Comment"># We'll save the address of the trace segment here.</span>
<span id="L25" class="LineNr"> 25 </span>Trace-stream:
<span id="L26" class="LineNr"> 26 </span>  00 00 00 00
<span id="L27" class="LineNr"> 27 </span>
<span id="L28" class="LineNr"> 28 </span><span class="Comment"># Fake trace-stream for tests.</span>
<span id="L29" class="LineNr"> 29 </span><span class="Comment"># Also illustrates the layout of the real trace-stream (segment).</span>
<span id="L30" class="LineNr"> 30 </span>Test-trace-stream:
<span id="L31" class="LineNr"> 31 </span>  <span class="Comment"># current write index</span>
<span id="L32" class="LineNr"> 32 </span>  00 00 00 00
<span id="L33" class="LineNr"> 33 </span>  <span class="Comment"># current read index</span>
<span id="L34" class="LineNr"> 34 </span>  00 00 00 00
<span id="L35" class="LineNr"> 35 </span>  <span class="Comment"># length (= 8)</span>
<span id="L36" class="LineNr"> 36 </span>  08 00 00 00
<span id="L37" class="LineNr"> 37 </span>  <span class="Comment"># data</span>
<span id="L38" class="LineNr"> 38 </span>  00 00 00 00 00 00 00 00  <span class="Comment"># 8 bytes</span>
<span id="L39" class="LineNr"> 39 </span>
<span id="L40" class="LineNr"> 40 </span>== code
<span id="L41" class="LineNr"> 41 </span>
<span id="L42" class="LineNr"> 42 </span><span class="Comment"># instruction                     effective address                                                   operand     displacement    immediate</span>
<span id="L43" class="LineNr"> 43 </span><span class="Comment"># op          subop               mod             rm32          base        index         scale       r32</span>
<span id="L44" class="LineNr"> 44 </span><span class="Comment"># 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="L45" class="LineNr"> 45 </span>
<span id="L46" class="LineNr"> 46 </span><span class="Comment"># main:  (manual test if this is the last file loaded)</span>
<span id="L47" class="LineNr"> 47 </span>  e8/call  run-tests/disp32  <span class="Comment"># 'run-tests' is a function created automatically by SubX. It calls all functions that start with 'test-'.</span>
<span id="L48" class="LineNr"> 48 </span>  <span class="Comment"># syscall(exit, Num-test-failures)</span>
<span id="L49" class="LineNr"> 49 </span>  8b/copy                         0/mod/indirect  5/rm32/.disp32           <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          1/r32/EBX   Num-test-failures/disp32          <span class="Comment"># copy *Num-test-failures to EBX</span>
<span id="L50" class="LineNr"> 50 </span>  b8/copy-to-EAX  1/imm32
<span id="L51" class="LineNr"> 51 </span>  cd/syscall  0x80/imm8
<span id="L52" class="LineNr"> 52 </span>
<span id="L53" class="LineNr"> 53 </span><span class="Comment"># Allocate a new segment for the trace stream, initialize its length, and save its address to Trace-stream.</span>
<span id="L54" class="LineNr"> 54 </span><span class="Comment"># The Trace-stream segment will consist of variable-length lines separated by newlines (0x0a)</span>
<span id="L55" class="LineNr"> 55 </span>initialize-trace-stream:
<span id="L56" class="LineNr"> 56 </span>  <span class="Comment"># EAX = new-segment(0x1000)</span>
<span id="L57" class="LineNr"> 57 </span>    <span class="Comment"># push arg</span>
<span id="L58" class="LineNr"> 58 </span>  68/push  0x1000/imm32/N
<span id="L59" class="LineNr"> 59 </span>    <span class="Comment"># call</span>
<span id="L60" class="LineNr"> 60 </span>  e8/call  new-segment/disp32
<span id="L61" class="LineNr"> 61 </span>    <span class="Comment"># discard arg</span>
<span id="L62" class="LineNr"> 62 </span>  81          0/subop/add         3/mod/direct    4/rm32/ESP   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              4/imm32           <span class="Comment"># add to ESP</span>
<span id="L63" class="LineNr"> 63 </span>  <span class="Comment"># copy EAX to *Trace-stream</span>
<span id="L64" class="LineNr"> 64 </span>  89/copy                         0/mod/indirect  5/rm32/.disp32           <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          0/r32/EAX   Trace-stream/disp32               <span class="Comment"># copy EAX to *Trace-stream</span>
<span id="L65" class="LineNr"> 65 </span>  <span class="Comment"># Trace-stream.length = 0x1000/N - 12</span>
<span id="L66" class="LineNr"> 66 </span>  c7          0/copy              1/mod/*+disp8   0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>          8/disp8         0xff4/imm32       <span class="Comment"># copy 0xff4 to *(EAX+8)</span>
<span id="L67" class="LineNr"> 67 </span>  c3/return
<span id="L68" class="LineNr"> 68 </span>
<span id="L69" class="LineNr"> 69 </span><span class="Comment"># Append to the given trace stream.</span>
<span id="L70" class="LineNr"> 70 </span>trace:  <span class="Comment"># t : (address trace-stream), line : string</span>
<span id="L71" class="LineNr"> 71 </span>  <span class="Comment"># prolog</span>
<span id="L72" class="LineNr"> 72 </span>  55/push-EBP
<span id="L73" class="LineNr"> 73 </span>  89/copy                         3/mod/direct    5/rm32/EBP   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          4/r32/ESP  <span class="Delimiter"> . </span>             <span class="Delimiter"> . </span>                <span class="Comment"># copy ESP to EBP</span>
<span id="L74" class="LineNr"> 74 </span>  <span class="Comment"># save registers</span>
<span id="L75" class="LineNr"> 75 </span>  50/push-EAX
<span id="L76" class="LineNr"> 76 </span>  51/push-ECX
<span id="L77" class="LineNr"> 77 </span>  52/push-EDX
<span id="L78" class="LineNr"> 78 </span>  53/push-EBX
<span id="L79" class="LineNr"> 79 </span>  56/push-ESI
<span id="L80" class="LineNr"> 80 </span>  <span class="Comment"># EAX = t</span>
<span id="L81" class="LineNr"> 81 </span>  8b/copy                         1/mod/*+disp8   4/rm32/sib    5/base/EBP  4/index/none              0/r32/EAX   8/disp8        <span class="Delimiter"> . </span>                <span class="Comment"># copy *(EBP+8) to EAX</span>
<span id="L82" class="LineNr"> 82 </span>  <span class="Comment"># EBX = line</span>
<span id="L83" class="LineNr"> 83 </span>  8b/copy                         1/mod/*+disp8   4/rm32/sib    5/base/EBP  4/index/none              3/r32/EBX   0xc/disp8      <span class="Delimiter"> . </span>                <span class="Comment"># copy *(EBP+12) to EBX</span>
<span id="L84" class="LineNr"> 84 </span>  <span class="Comment"># append line to t.data from t.write</span>
<span id="L85" class="LineNr"> 85 </span>  <span class="Comment">#</span>
<span id="L86" class="LineNr"> 86 </span>  <span class="Comment"># pseudocode:</span>
<span id="L87" class="LineNr"> 87 </span>  <span class="Comment">#   destend = &amp;t.data[t.length]</span>
<span id="L88" class="LineNr"> 88 </span>  <span class="Comment">#   oldw = t.write</span>
<span id="L89" class="LineNr"> 89 </span>  <span class="Comment">#   if line.length == 0 return</span>
<span id="L90" class="LineNr"> 90 </span>  <span class="Comment">#   t.write += line.length + 1  # for newline</span>
<span id="L91" class="LineNr"> 91 </span>  <span class="Comment">#   dest = &amp;t.data[oldw]</span>
<span id="L92" class="LineNr"> 92 </span>  <span class="Comment">#   srcend = &amp;line.data[line.length]</span>
<span id="L93" class="LineNr"> 93 </span>  <span class="Comment">#   src = &amp;line.data[0]</span>
<span id="L94" class="LineNr"> 94 </span>  <span class="Comment">#   while true:</span>
<span id="L95" class="LineNr"> 95 </span>  <span class="Comment">#     if src &gt;= srcend break</span>
<span id="L96" class="LineNr"> 96 </span>  <span class="Comment">#     if dest &gt;= destend break  # for now silently ignore filled up trace buffer</span>
<span id="L97" class="LineNr"> 97 </span>  <span class="Comment">#     *dest = *src</span>
<span id="L98" class="LineNr"> 98 </span>  <span class="Comment">#     ++src</span>
<span id="L99" class="LineNr"> 99 </span>  <span class="Comment">#     ++dest</span>
<span id="L100" class="LineNr">100 </span>  <span class="Comment">#   if dest &gt;= destend return</span>
<span id="L101" class="LineNr">101 </span>  <span class="Comment">#   *dest = 10/newline</span>
<span id="L102" class="LineNr">102 </span>  <span class="Comment">#</span>
<span id="L103" class="LineNr">103 </span>  <span class="Comment"># key registers to set up for the loop:</span>
<span id="L104" class="LineNr">104 </span>  <span class="Comment">#   EAX/dest, ECX/destend, EBX/src, ESI/srcend</span>
<span id="L105" class="LineNr">105 </span>  <span class="Comment"># we save EDX for byte operations (has to be one of the first 4 registers)</span>
<span id="L106" class="LineNr">106 </span>  <span class="Comment">#</span>
<span id="L107" class="LineNr">107 </span>  <span class="Comment"># register setup before the loop:</span>
<span id="L108" class="LineNr">108 </span>  <span class="Comment">#   EAX = *(EBP+8)    # t</span>
<span id="L109" class="LineNr">109 </span>  <span class="Comment">#   EBX = *(EBP+12)   # line</span>
<span id="L110" class="LineNr">110 </span>  <span class="Comment">#   ECX = *(EAX+8)    # t.length</span>
<span id="L111" class="LineNr">111 </span>  <span class="Comment">#   ECX = EAX+12+ECX  # destend = &amp;t.data[t.length]</span>
<span id="L112" class="LineNr">112 </span>  <span class="Comment">#   ESI = *EAX        # oldw = t.write</span>
<span id="L113" class="LineNr">113 </span>  <span class="Comment">#   EDX = *EBX        # line.length</span>
<span id="L114" class="LineNr">114 </span>  <span class="Comment">#   *EAX = *EAX + EDX # update t.write  (allowed to go past t.length)</span>
<span id="L115" class="LineNr">115 </span>  <span class="Comment">#                     # do this here just because it's convenient</span>
<span id="L116" class="LineNr">116 </span>  <span class="Comment">#   ++ *EAX  # for the newline</span>
<span id="L117" class="LineNr">117 </span>  <span class="Comment">#   EAX = EAX+12+ESI  # dest = &amp;t.data[oldw]</span>
<span id="L118" class="LineNr">118 </span>  <span class="Comment">#   ESI = EBX+4+EDX   # srcend = &amp;line.data[line.length]</span>
<span id="L119" class="LineNr">119 </span>  <span class="Comment">#   EBX = EBX+4       # src = &amp;line.data[0]</span>
<span id="L120" class="LineNr">120 </span>  <span class="Comment">#</span>
<span id="L121" class="LineNr">121 </span>  <span class="Comment"># EAX/t and EBX/line are already initialized</span>
<span id="L122" class="LineNr">122 </span>  <span class="Comment"># ECX = t.length</span>
<span id="L123" class="LineNr">123 </span>  8b/copy                         1/mod/*+disp8   0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          1/r32/ECX   8/disp8        <span class="Delimiter"> . </span>                <span class="Comment"># copy *(EAX+8) to ECX</span>
<span id="L124" class="LineNr">124 </span>  <span class="Comment"># ECX/destend = &amp;t.data[t.length]</span>
<span id="L125" class="LineNr">125 </span>  8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/EAX  1/index/ECX  <span class="Delimiter"> . </span>          1/r32/ECX   0xc/disp8      <span class="Delimiter"> . </span>                <span class="Comment"># copy EAX+ECX+12 to ECX</span>
<span id="L126" class="LineNr">126 </span>  <span class="Comment"># ESI/oldw = t.write</span>
<span id="L127" class="LineNr">127 </span>  8b/copy                         0/mod/indirect  0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          6/r32/ESI  <span class="Delimiter"> . </span>             <span class="Delimiter"> . </span>                <span class="Comment"># copy *EAX to ESI</span>
<span id="L128" class="LineNr">128 </span>  <span class="Comment"># EDX = line.length</span>
<span id="L129" class="LineNr">129 </span>  8b/copy                         0/mod/indirect  3/rm32/EBX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          2/r32/EDX  <span class="Delimiter"> . </span>             <span class="Delimiter"> . </span>                <span class="Comment"># copy *EBX to EDX</span>
<span id="L130" class="LineNr">130 </span>  <span class="Comment"># if EDX == 0 return</span>
<span id="L131" class="LineNr">131 </span>  81          7/subop/compare     3/mod/direct    2/rm32/EDX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              0/imm32           <span class="Comment"># compare EDX</span>
<span id="L132" class="LineNr">132 </span>  74/jump-if-equal  $trace:end/disp8
<span id="L133" class="LineNr">133 </span>  <span class="Comment"># t.write += line.length</span>
<span id="L134" class="LineNr">134 </span>  01/add                          0/mod/indirect  0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          2/r32/EDX  <span class="Delimiter"> . </span>             <span class="Delimiter"> . </span>                <span class="Comment"># add EDX to *EAX</span>
<span id="L135" class="LineNr">135 </span>  <span class="Comment"># t.write++ (for the newline we'll append below)</span>
<span id="L136" class="LineNr">136 </span>  81          0/subop/add         0/mod/indirect  0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              1/imm32           <span class="Comment"># add to *EAX</span>
<span id="L137" class="LineNr">137 </span>  <span class="Comment"># EAX/dest = &amp;t.data[oldw]</span>
<span id="L138" class="LineNr">138 </span>  8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/EAX  6/index/ESI  <span class="Delimiter"> . </span>          0/r32/EAX   0xc/disp8      <span class="Delimiter"> . </span>                <span class="Comment"># copy EAX+ESI+12 to EAX</span>
<span id="L139" class="LineNr">139 </span>  <span class="Comment"># ESI/srcend = &amp;line.data[line.length]</span>
<span id="L140" class="LineNr">140 </span>  8d/copy-address                 1/mod/*+disp8   4/rm32/sib    3/base/EBX  2/index/EDX  <span class="Delimiter"> . </span>          6/r32/ESI   4/disp8        <span class="Delimiter"> . </span>                <span class="Comment"># copy EBX+EDX+4 to ESI</span>
<span id="L141" class="LineNr">141 </span>  <span class="Comment"># EBX/src = &amp;line.data[0]</span>
<span id="L142" class="LineNr">142 </span>  81          0/subop/add         3/mod/direct    3/rm32/EBX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              4/imm32           <span class="Comment"># add to EBX</span>
<span id="L143" class="LineNr">143 </span>  <span class="Comment"># while (true)</span>
<span id="L144" class="LineNr">144 </span>$trace:loop:
<span id="L145" class="LineNr">145 </span>  <span class="Comment"># if EBX/src &gt;= ESI/srcend break</span>
<span id="L146" class="LineNr">146 </span>  39/compare                      3/mod/direct    3/rm32/EBX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          6/r32/ESI  <span class="Delimiter"> . </span>             <span class="Delimiter"> . </span>                <span class="Comment"># compare EBX with ESI</span>
<span id="L147" class="LineNr">147 </span>  7d/jump-if-greater-or-equal  $trace:break/disp8
<span id="L148" class="LineNr">148 </span>  <span class="Comment"># if EAX/dest &gt;= ECX/destend break  (for now silently ignore filled up trace buffer)</span>
<span id="L149" class="LineNr">149 </span>  39/compare                      3/mod/direct    0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          1/r32/ECX  <span class="Delimiter"> . </span>             <span class="Delimiter"> . </span>                <span class="Comment"># compare EAX with ECX</span>
<span id="L150" class="LineNr">150 </span>  7d/jump-if-greater-or-equal  $trace:break/disp8
<span id="L151" class="LineNr">151 </span>  <span class="Comment"># copy one byte</span>
<span id="L152" class="LineNr">152 </span>  8a/copy-byte                    0/mod/indirect  3/rm32/EBX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          2/r32/DL   <span class="Delimiter"> . </span>             <span class="Delimiter"> . </span>                <span class="Comment"># copy byte at *EBX to DL</span>
<span id="L153" class="LineNr">153 </span>  88/copy-byte                    0/mod/indirect  0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          2/r32/DL   <span class="Delimiter"> . </span>             <span class="Delimiter"> . </span>                <span class="Comment"># copy byte at DL to *EAX</span>
<span id="L154" class="LineNr">154 </span>  <span class="Comment"># updates</span>
<span id="L155" class="LineNr">155 </span>  40/increment-EAX
<span id="L156" class="LineNr">156 </span>  43/increment-EBX
<span id="L157" class="LineNr">157 </span>  eb/jump  $trace:loop/disp8
<span id="L158" class="LineNr">158 </span>$trace:break:
<span id="L159" class="LineNr">159 </span>  <span class="Comment"># finally, append a newline</span>
<span id="L160" class="LineNr">160 </span>    <span class="Comment"># if EAX/dest &gt;= ECX/destend return</span>
<span id="L161" class="LineNr">161 </span>  39/compare                      3/mod/direct    0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          1/r32/ECX  <span class="Delimiter"> . </span>             <span class="Delimiter"> . </span>                <span class="Comment"># compare EAX with ECX</span>
<span id="L162" class="LineNr">162 </span>  7d/jump-if-greater-or-equal  $trace:end/disp8
<span id="L163" class="LineNr">163 </span>    <span class="Comment"># append</span>
<span id="L164" class="LineNr">164 </span>  ba/copy-to-EDX  0x0a/imm32
<span id="L165" class="LineNr">165 </span>  88/copy-byte                    0/mod/indirect  0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          2/r32/DL   <span class="Delimiter"> . </span>             <span class="Delimiter"> . </span>                <span class="Comment"># copy byte at DL to *EAX</span>
<span id="L166" class="LineNr">166 </span>$trace:end:
<span id="L167" class="LineNr">167 </span>  <span class="Comment"># restore registers</span>
<span id="L168" class="LineNr">168 </span>  5e/pop-to-ESI
<span id="L169" class="LineNr">169 </span>  5b/pop-to-EBX
<span id="L170" class="LineNr">170 </span>  5a/pop-to-EDX
<span id="L171" class="LineNr">171 </span>  59/pop-to-ECX
<span id="L172" class="LineNr">172 </span>  58/pop-to-EAX
<span id="L173" class="LineNr">173 </span>  <span class="Comment"># epilog</span>
<span id="L174" class="LineNr">174 </span>  89/copy                         3/mod/direct    4/rm32/ESP   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          5/r32/EBP  <span class="Delimiter"> . </span>             <span class="Delimiter"> . </span>                <span class="Comment"># copy EBP to ESP</span>
<span id="L175" class="LineNr">175 </span>  5d/pop-to-EBP
<span id="L176" class="LineNr">176 </span>  c3/return
<span id="L177" class="LineNr">177 </span>
<span id="L178" class="LineNr">178 </span>clear-trace-stream:  <span class="Comment"># t : (address trace-stream)</span>
<span id="L179" class="LineNr">179 </span>  <span class="Comment"># prolog</span>
<span id="L180" class="LineNr">180 </span>  55/push-EBP
<span id="L181" class="LineNr">181 </span>  89/copy                         3/mod/direct    5/rm32/EBP   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          4/r32/ESP  <span class="Delimiter"> . </span>             <span class="Delimiter"> . </span>                <span class="Comment"># copy ESP to EBP</span>
<span id="L182" class="LineNr">182 </span>  <span class="Comment"># save registers</span>
<span id="L183" class="LineNr">183 </span>  50/push-EAX
<span id="L184" class="LineNr">184 </span>  51/push-ECX
<span id="L185" class="LineNr">185 </span>  <span class="Comment"># EAX = t</span>
<span id="L186" class="LineNr">186 </span>  8b/copy                         1/mod/*+disp8   4/rm32/sib    5/base/EBP  4/index/none              0/r32/EAX   8/disp8        <span class="Delimiter"> . </span>                <span class="Comment"># copy *(EBP+8) to EAX</span>
<span id="L187" class="LineNr">187 </span>  <span class="Comment"># ECX = t.length</span>
<span id="L188" class="LineNr">188 </span>  8b/copy                         1/mod/*+disp8   0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          1/r32/ECX   8/disp8        <span class="Delimiter"> . </span>                <span class="Comment"># copy *(EAX+8) to ECX</span>
<span id="L189" class="LineNr">189 </span>  <span class="Comment"># ECX = &amp;t.data[t.length]</span>
<span id="L190" class="LineNr">190 </span>  8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/EAX  1/index/ECX  <span class="Delimiter"> . </span>          1/r32/ECX   0xc/disp8      <span class="Delimiter"> . </span>                <span class="Comment"># copy EAX+ECX+12 to ECX</span>
<span id="L191" class="LineNr">191 </span>  <span class="Comment"># t.write = 0</span>
<span id="L192" class="LineNr">192 </span>  c7/copy                         0/mod/direct    0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              0/imm32           <span class="Comment"># copy to *EAX</span>
<span id="L193" class="LineNr">193 </span>  <span class="Comment"># t.read = 0</span>
<span id="L194" class="LineNr">194 </span>  c7/copy                         1/mod/*+disp8   0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>          4/disp8         0/imm32           <span class="Comment"># copy to *(EAX+4)</span>
<span id="L195" class="LineNr">195 </span>  <span class="Comment"># EAX = t.data</span>
<span id="L196" class="LineNr">196 </span>  81          0/subop/add         3/mod/direct    0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              0xc/imm32         <span class="Comment"># add to EAX</span>
<span id="L197" class="LineNr">197 </span>  <span class="Comment"># while (true)</span>
<span id="L198" class="LineNr">198 </span>$clear-trace-stream:loop:
<span id="L199" class="LineNr">199 </span>  <span class="Comment"># if EAX &gt;= ECX break</span>
<span id="L200" class="LineNr">200 </span>  39/compare                      3/mod/direct    0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          1/r32/ECX  <span class="Delimiter"> . </span>             <span class="Delimiter"> . </span>                <span class="Comment"># compare EAX with ECX</span>
<span id="L201" class="LineNr">201 </span>  7d/jump-if-greater-or-equal  $clear-trace-stream:end/disp8
<span id="L202" class="LineNr">202 </span>  <span class="Comment"># *EAX = 0</span>
<span id="L203" class="LineNr">203 </span>  c7/copy                         0/mod/direct    0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              0/imm32           <span class="Comment"># copy to *EAX</span>
<span id="L204" class="LineNr">204 </span>  <span class="Comment"># EAX += 4</span>
<span id="L205" class="LineNr">205 </span>  81          0/subop/add         3/mod/direct    0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              4/imm32           <span class="Comment"># add to EAX</span>
<span id="L206" class="LineNr">206 </span>  eb/jump  $clear-trace-stream:loop/disp8
<span id="L207" class="LineNr">207 </span>$clear-trace-stream:end:
<span id="L208" class="LineNr">208 </span>  <span class="Comment"># restore registers</span>
<span id="L209" class="LineNr">209 </span>  59/pop-to-ECX
<span id="L210" class="LineNr">210 </span>  58/pop-to-EAX
<span id="L211" class="LineNr">211 </span>  <span class="Comment"># epilog</span>
<span id="L212" class="LineNr">212 </span>  89/copy                         3/mod/direct    4/rm32/ESP   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>          5/r32/EBP  <span class="Delimiter"> . </span>             <span class="Delimiter"> . </span>                <span class="Comment"># copy EBP to ESP</span>
<span id="L213" class="LineNr">213 </span>  5d/pop-to-EBP
<span id="L214" class="LineNr">214 </span>  c3/return
<span id="L215" class="LineNr">215 </span>
<span id="L216" class="LineNr">216 </span>test-trace-single:
<span id="L217" class="LineNr">217 </span>  <span class="Comment"># clear-trace-stream(Test-trace-stream)</span>
<span id="L218" class="LineNr">218 </span>    <span class="Comment"># push args</span>
<span id="L219" class="LineNr">219 </span>  68/push  Test-trace-stream/imm32
<span id="L220" class="LineNr">220 </span>    <span class="Comment"># call</span>
<span id="L221" class="LineNr">221 </span>  e8/call  clear-trace-stream/disp32
<span id="L222" class="LineNr">222 </span>    <span class="Comment"># discard args</span>
<span id="L223" class="LineNr">223 </span>  81          0/subop/add         3/mod/direct    4/rm32/ESP   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              4/imm32           <span class="Comment"># add to ESP</span>
<span id="L224" class="LineNr">224 </span>  <span class="Comment"># trace(Test-trace-stream, &quot;Ab&quot;)</span>
<span id="L225" class="LineNr">225 </span>    <span class="Comment"># push args</span>
<span id="L226" class="LineNr">226 </span>  68/push  &quot;Ab&quot;/imm32
<span id="L227" class="LineNr">227 </span>  68/push  Test-trace-stream/imm32
<span id="L228" class="LineNr">228 </span>    <span class="Comment"># call</span>
<span id="L229" class="LineNr">229 </span>  e8/call  trace/disp32
<span id="L230" class="LineNr">230 </span>    <span class="Comment"># discard args</span>
<span id="L231" class="LineNr">231 </span>  81          0/subop/add         3/mod/direct    4/rm32/ESP   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              8/imm32           <span class="Comment"># add to ESP</span>
<span id="L232" class="LineNr">232 </span>  <span class="Comment"># check-ints-equal(*Test-trace-stream.data, 41/A 62/b 0a/newline 00, msg)</span>
<span id="L233" class="LineNr">233 </span>    <span class="Comment"># push args</span>
<span id="L234" class="LineNr">234 </span>  68/push  &quot;F - test-trace-single&quot;/imm32
<span id="L235" class="LineNr">235 </span>  68/push  0x0a6241/imm32/Ab-newline
<span id="L236" class="LineNr">236 </span>    <span class="Comment"># push *Test-trace-stream.data</span>
<span id="L237" class="LineNr">237 </span>  b8/copy-to-EAX  Test-trace-stream/imm32
<span id="L238" class="LineNr">238 </span>  ff          6/subop/push        1/mod/*+disp8   0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>          0xc/disp8      <span class="Delimiter"> . </span>                <span class="Comment"># push *(EAX+12)</span>
<span id="L239" class="LineNr">239 </span>    <span class="Comment"># call</span>
<span id="L240" class="LineNr">240 </span>  e8/call  check-ints-equal/disp32
<span id="L241" class="LineNr">241 </span>    <span class="Comment"># discard args</span>
<span id="L242" class="LineNr">242 </span>  81          0/subop/add         3/mod/direct    4/rm32/ESP   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              0xc/imm32         <span class="Comment"># add to ESP</span>
<span id="L243" class="LineNr">243 </span>  <span class="Comment"># end</span>
<span id="L244" class="LineNr">244 </span>  c3/return
<span id="L245" class="LineNr">245 </span>
<span id="L246" class="LineNr">246 </span>test-trace-appends:
<span id="L247" class="LineNr">247 </span>  <span class="Comment"># clear-trace-stream(Test-trace-stream)</span>
<span id="L248" class="LineNr">248 </span>    <span class="Comment"># push args</span>
<span id="L249" class="LineNr">249 </span>  68/push  Test-trace-stream/imm32
<span id="L250" class="LineNr">250 </span>    <span class="Comment"># call</span>
<span id="L251" class="LineNr">251 </span>  e8/call  clear-trace-stream/disp32
<span id="L252" class="LineNr">252 </span>    <span class="Comment"># discard args</span>
<span id="L253" class="LineNr">253 </span>  81          0/subop/add         3/mod/direct    4/rm32/ESP   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              4/imm32           <span class="Comment"># add to ESP</span>
<span id="L254" class="LineNr">254 </span>  <span class="Comment"># trace(Test-trace-stream, &quot;C&quot;)</span>
<span id="L255" class="LineNr">255 </span>    <span class="Comment"># push args</span>
<span id="L256" class="LineNr">256 </span>  68/push  &quot;C&quot;/imm32
<span id="L257" class="LineNr">257 </span>  68/push  Test-trace-stream/imm32
<span id="L258" class="LineNr">258 </span>    <span class="Comment"># call</span>
<span id="L259" class="LineNr">259 </span>  e8/call  trace/disp32
<span id="L260" class="LineNr">260 </span>    <span class="Comment"># discard args</span>
<span id="L261" class="LineNr">261 </span>  81          0/subop/add         3/mod/direct    4/rm32/ESP   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              8/imm32           <span class="Comment"># add to ESP</span>
<span id="L262" class="LineNr">262 </span>  <span class="Comment"># trace(Test-trace-stream, &quot;D&quot;)</span>
<span id="L263" class="LineNr">263 </span>    <span class="Comment"># push args</span>
<span id="L264" class="LineNr">264 </span>  68/push  &quot;D&quot;/imm32
<span id="L265" class="LineNr">265 </span>  68/push  Test-trace-stream/imm32
<span id="L266" class="LineNr">266 </span>    <span class="Comment"># call</span>
<span id="L267" class="LineNr">267 </span>  e8/call  trace/disp32
<span id="L268" class="LineNr">268 </span>    <span class="Comment"># discard args</span>
<span id="L269" class="LineNr">269 </span>  81          0/subop/add         3/mod/direct    4/rm32/ESP   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              8/imm32           <span class="Comment"># add to ESP</span>
<span id="L270" class="LineNr">270 </span>  <span class="Comment"># check-ints-equal(*Test-trace-stream.data, 43/C 0a/newline 44/D 0a/newline, msg)</span>
<span id="L271" class="LineNr">271 </span>    <span class="Comment"># push args</span>
<span id="L272" class="LineNr">272 </span>  68/push  &quot;F - test-trace-appends&quot;/imm32
<span id="L273" class="LineNr">273 </span>  68/push  0x0a440a43/imm32/C-newline-D-newline
<span id="L274" class="LineNr">274 </span>    <span class="Comment"># push *Test-trace-stream.data</span>
<span id="L275" class="LineNr">275 </span>  b8/copy-to-EAX  Test-trace-stream/imm32
<span id="L276" class="LineNr">276 </span>  ff          6/subop/push        1/mod/*+disp8   0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>          0xc/disp8      <span class="Delimiter"> . </span>                <span class="Comment"># push *(EAX+12)</span>
<span id="L277" class="LineNr">277 </span>    <span class="Comment"># call</span>
<span id="L278" class="LineNr">278 </span>  e8/call  check-ints-equal/disp32
<span id="L279" class="LineNr">279 </span>    <span class="Comment"># discard args</span>
<span id="L280" class="LineNr">280 </span>  81          0/subop/add         3/mod/direct    4/rm32/ESP   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              0xc/imm32         <span class="Comment"># add to ESP</span>
<span id="L281" class="LineNr">281 </span>  <span class="Comment"># end</span>
<span id="L282" class="LineNr">282 </span>  c3/return
<span id="L283" class="LineNr">283 </span>
<span id="L284" class="LineNr">284 </span>test-trace-empty-line:
<span id="L285" class="LineNr">285 </span>  <span class="Comment"># clear-trace-stream(Test-trace-stream)</span>
<span id="L286" class="LineNr">286 </span>    <span class="Comment"># push args</span>
<span id="L287" class="LineNr">287 </span>  68/push  Test-trace-stream/imm32
<span id="L288" class="LineNr">288 </span>    <span class="Comment"># call</span>
<span id="L289" class="LineNr">289 </span>  e8/call  clear-trace-stream/disp32
<span id="L290" class="LineNr">290 </span>    <span class="Comment"># discard args</span>
<span id="L291" class="LineNr">291 </span>  81          0/subop/add         3/mod/direct    4/rm32/ESP   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              4/imm32           <span class="Comment"># add to ESP</span>
<span id="L292" class="LineNr">292 </span>  <span class="Comment"># trace(Test-trace-stream, &quot;&quot;)</span>
<span id="L293" class="LineNr">293 </span>    <span class="Comment"># push args</span>
<span id="L294" class="LineNr">294 </span>  68/push  &quot;&quot;/imm32
<span id="L295" class="LineNr">295 </span>  68/push  Test-trace-stream/imm32
<span id="L296" class="LineNr">296 </span>    <span class="Comment"># call</span>
<span id="L297" class="LineNr">297 </span>  e8/call  trace/disp32
<span id="L298" class="LineNr">298 </span>    <span class="Comment"># discard args</span>
<span id="L299" class="LineNr">299 </span>  81          0/subop/add         3/mod/direct    4/rm32/ESP   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              8/imm32           <span class="Comment"># add to ESP</span>
<span id="L300" class="LineNr">300 </span>  <span class="Comment"># check-ints-equal(*Test-trace-stream.data, 0, msg)</span>
<span id="L301" class="LineNr">301 </span>    <span class="Comment"># push args</span>
<span id="L302" class="LineNr">302 </span>  68/push  &quot;F - test-trace-empty-line&quot;/imm32
<span id="L303" class="LineNr">303 </span>  68/push  0/imm32
<span id="L304" class="LineNr">304 </span>    <span class="Comment"># push *Test-trace-stream.data</span>
<span id="L305" class="LineNr">305 </span>  b8/copy-to-EAX  Test-trace-stream/imm32
<span id="L306" class="LineNr">306 </span>  ff          6/subop/push        1/mod/*+disp8   0/rm32/EAX   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>          0xc/disp8      <span class="Delimiter"> . </span>                <span class="Comment"># push *(EAX+12)</span>
<span id="L307" class="LineNr">307 </span>    <span class="Comment"># call</span>
<span id="L308" class="LineNr">308 </span>  e8/call  check-ints-equal/disp32
<span id="L309" class="LineNr">309 </span>    <span class="Comment"># discard args</span>
<span id="L310" class="LineNr">310 </span>  81          0/subop/add         3/mod/direct    4/rm32/ESP   <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>           <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>         <span class="Delimiter"> . </span>              0xc/imm32         <span class="Comment"># add to ESP</span>
<span id="L311" class="LineNr">311 </span>  <span class="Comment"># end</span>
<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="Comment"># vim&#0058;nowrap:textwidth=0</span>
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-01-22 21:56:33 +0000