diff options
Diffstat (limited to 'html/linux/survey_baremetal.subx.html')
| -rw-r--r-- | html/linux/survey_baremetal.subx.html | 860 |
1 files changed, 430 insertions, 430 deletions
diff --git a/html/linux/survey_baremetal.subx.html b/html/linux/survey_baremetal.subx.html index 8837d5ee..e1dad125 100644 --- a/html/linux/survey_baremetal.subx.html +++ b/html/linux/survey_baremetal.subx.html @@ -14,18 +14,18 @@ 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; } +.subxH1Comment { color: #005faf; text-decoration: underline; } .subxComment { color: #005faf; } +.subxS1Comment { color: #0000af; } .subxS2Comment { color: #8a8a8a; } .LineNr { } -.subxFunction { color: #af5f00; text-decoration: underline; } -.subxS1Comment { color: #0000af; } .Constant { color: #008787; } -.CommentedCode { color: #8a8a8a; } +.subxTest { color: #5f8700; } .SpecialChar { color: #d70000; } .Normal { color: #000000; background-color: #ffffd7; padding-bottom: 1px; } +.CommentedCode { color: #8a8a8a; } +.subxFunction { color: #af5f00; text-decoration: underline; } .Folded { color: #080808; background-color: #949494; } -.subxTest { color: #5f8700; } -.subxH1Comment { color: #005faf; text-decoration: underline; } --> </style> @@ -61,428 +61,428 @@ if ('onhashchange' in window) { <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="L1" class="LineNr"> 1 </span><span class="subxComment"># Assign addresses (co-ordinates) to labels (landmarks) in a program</span> +<span id="L2" class="LineNr"> 2 </span><span class="subxComment"># (landscape) on stdin.</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="L8" class="LineNr"> 8 </span><span class="subxComment"># Comments and '==' segment headers are allowed, but segment names are ignored.</span> +<span id="L9" class="LineNr"> 9 </span><span class="subxComment"># Mappings between labels and addresses are emitted to stdout, assuming the</span> +<span id="L10" class="LineNr"> 10 </span><span class="subxComment"># program starts at address 0x7c00. Addresses in segment headers are optional.</span> +<span id="L11" class="LineNr"> 11 </span><span class="subxComment">#</span> +<span id="L12" class="LineNr"> 12 </span><span class="subxComment"># $ cat x</span> +<span id="L13" class="LineNr"> 13 </span><span class="subxComment"># == code</span> +<span id="L14" class="LineNr"> 14 </span><span class="subxComment"># l1:</span> +<span id="L15" class="LineNr"> 15 </span><span class="subxComment"># aa bb l1/imm8</span> +<span id="L16" class="LineNr"> 16 </span><span class="subxComment"># cc dd l2/disp32</span> +<span id="L17" class="LineNr"> 17 </span><span class="subxComment"># l2:</span> +<span id="L18" class="LineNr"> 18 </span><span class="subxComment"># ee foo/imm32</span> +<span id="L19" class="LineNr"> 19 </span><span class="subxComment"># == data 0x7c10</span> +<span id="L20" class="LineNr"> 20 </span><span class="subxComment"># foo:</span> +<span id="L21" class="LineNr"> 21 </span><span class="subxComment"># 34</span> +<span id="L22" class="LineNr"> 22 </span><span class="subxComment">#</span> +<span id="L23" class="LineNr"> 23 </span><span class="subxComment"># The output is a list of labels and their computed addresses.</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 > 1 and argv[1] == "test", then return run_tests()</span> -<span id="L58" class="LineNr"> 58 </span> <span class="subxComment"># if (argc <= 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-<= $subx-survey-main:interactive/disp8 -<span id="L61" class="LineNr"> 61 </span> <span class="subxComment"># if (!kernel-string-equal?(argv[1], "test")) goto interactive</span> -<span id="L62" class="LineNr"> 62 </span> <span class="subxS1Comment"># . eax = kernel-string-equal?(argv[1], "test")</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">"test"</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->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->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->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->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, "== code\n")</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">"== code\n"</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, "ab x/imm32\n")</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">"ab x/imm32\n"</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, "== data\n")</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">"== data\n"</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, "x:\n")</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">"x:\n"</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, "01\n")</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">"01\n"</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("label 'x' is at address 0x00007c05.", 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">"F - <a href='survey_baremetal.subx.html#L182'>test-subx-survey-computes-addresses</a>/0"</span>/imm32 -<span id="L304" class="LineNr"> 304 </span> 68/push <span class="Constant">"label 'x' is at address 0x00007c05."</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->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->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->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->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, "== code\n")</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">"== code\n"</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, "ab x/imm32\n")</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">"ab x/imm32\n"</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, "== data\n")</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">"== data 0x7c10\n"</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, "x:\n")</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">"x:\n"</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, "01\n")</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">"01\n"</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("label 'x' is at address 0x00007c10.", 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">"F - <a href='survey_baremetal.subx.html#L314'>test-subx-survey-computes-addresses-with-padding</a>/0"</span>/imm32 -<span id="L436" class="LineNr"> 436 </span> 68/push <span class="Constant">"label 'x' is at address 0x00007c10."</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->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, "#") # 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, "==") # 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 < 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="L25" class="LineNr"> 25 </span><span class="subxComment"># $ cat x |bootstrap/bootstrap run survey_baremetal</span> +<span id="L26" class="LineNr"> 26 </span><span class="subxComment"># 0x7c00 l1</span> +<span id="L27" class="LineNr"> 27 </span><span class="subxComment"># 0x7c09 l2</span> +<span id="L28" class="LineNr"> 28 </span><span class="subxComment"># 0x7c10 foo</span> +<span id="L29" class="LineNr"> 29 </span> +<span id="L30" class="LineNr"> 30 </span>== code +<span id="L31" class="LineNr"> 31 </span><span class="subxComment"># instruction effective address register displacement immediate</span> +<span id="L32" class="LineNr"> 32 </span><span class="subxS1Comment"># . op subop mod rm32 base index scale r32</span> +<span id="L33" class="LineNr"> 33 </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="L34" class="LineNr"> 34 </span> +<span id="L35" class="LineNr"> 35 </span><span class="SpecialChar">Entry</span>: <span class="subxComment"># run tests if necessary, convert stdin if not</span> +<span id="L36" class="LineNr"> 36 </span> <span class="subxS1Comment"># . prologue</span> +<span id="L37" class="LineNr"> 37 </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="L38" class="LineNr"> 38 </span> +<span id="L39" class="LineNr"> 39 </span> <span class="subxComment"># Heap = new-segment(Heap-size)</span> +<span id="L40" class="LineNr"> 40 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L41" class="LineNr"> 41 </span> 68/push <span class="SpecialChar"><a href='120allocate.subx.html#L27'>Heap</a></span>/imm32 +<span id="L42" class="LineNr"> 42 </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="L43" class="LineNr"> 43 </span> <span class="subxS2Comment"># . . call</span> +<span id="L44" class="LineNr"> 44 </span> e8/call <a href='104new-segment.subx.html#L40'>new-segment</a>/disp32 +<span id="L45" class="LineNr"> 45 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L46" class="LineNr"> 46 </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="L47" class="LineNr"> 47 </span> <span class="subxComment"># initialize-trace-stream(Trace-size)</span> +<span id="L48" class="LineNr"> 48 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L49" class="LineNr"> 49 </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="L50" class="LineNr"> 50 </span> <span class="subxS2Comment"># . . call</span> +<span id="L51" class="LineNr"> 51 </span> e8/call <a href='107trace.subx.html#L43'>initialize-trace-stream</a>/disp32 +<span id="L52" class="LineNr"> 52 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L53" class="LineNr"> 53 </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="L54" class="LineNr"> 54 </span> +<span id="L55" class="LineNr"> 55 </span> <span class="subxH1Comment"># - if argc > 1 and argv[1] == "test", then return run_tests()</span> +<span id="L56" class="LineNr"> 56 </span> <span class="subxComment"># if (argc <= 1) goto interactive</span> +<span id="L57" class="LineNr"> 57 </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="L58" class="LineNr"> 58 </span> 7e/jump-if-<= $subx-survey-main:interactive/disp8 +<span id="L59" class="LineNr"> 59 </span> <span class="subxComment"># if (!kernel-string-equal?(argv[1], "test")) goto interactive</span> +<span id="L60" class="LineNr"> 60 </span> <span class="subxS1Comment"># . eax = kernel-string-equal?(argv[1], "test")</span> +<span id="L61" class="LineNr"> 61 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L62" class="LineNr"> 62 </span> 68/push <span class="Constant">"test"</span>/imm32 +<span id="L63" class="LineNr"> 63 </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="L64" class="LineNr"> 64 </span> <span class="subxS2Comment"># . . call</span> +<span id="L65" class="LineNr"> 65 </span> e8/call <a href='103kernel-string-equal.subx.html#L31'>kernel-string-equal?</a>/disp32 +<span id="L66" class="LineNr"> 66 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L67" class="LineNr"> 67 </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="L68" class="LineNr"> 68 </span> <span class="subxS1Comment"># . if (eax == false) goto interactive</span> +<span id="L69" class="LineNr"> 69 </span> 3d/compare-eax-and 0/imm32/false +<span id="L70" class="LineNr"> 70 </span> 74/jump-if-= $subx-survey-main:interactive/disp8 +<span id="L71" class="LineNr"> 71 </span> <span class="subxComment"># run-tests()</span> +<span id="L72" class="LineNr"> 72 </span> e8/call run-tests/disp32 +<span id="L73" class="LineNr"> 73 </span> <span class="subxComment"># syscall_exit(*Num-test-failures)</span> +<span id="L74" class="LineNr"> 74 </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="L75" class="LineNr"> 75 </span> eb/jump $subx-survey-main:end/disp8 +<span id="L76" class="LineNr"> 76 </span><span class="Constant">$subx-survey-main:interactive</span>: +<span id="L77" class="LineNr"> 77 </span> <span class="subxH1Comment"># - otherwise convert stdin</span> +<span id="L78" class="LineNr"> 78 </span> <span class="subxComment"># subx-survey(Stdin, Stdout)</span> +<span id="L79" class="LineNr"> 79 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L80" class="LineNr"> 80 </span> 68/push <span class="SpecialChar"><a href='115write-byte.subx.html#L10'>Stdout</a></span>/imm32 +<span id="L81" class="LineNr"> 81 </span> 68/push <span class="SpecialChar"><a href='112read-byte.subx.html#L14'>Stdin</a></span>/imm32 +<span id="L82" class="LineNr"> 82 </span> <span class="subxS2Comment"># . . call</span> +<span id="L83" class="LineNr"> 83 </span> e8/call <a href='survey_baremetal.subx.html#L99'>subx-survey</a>/disp32 +<span id="L84" class="LineNr"> 84 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L85" class="LineNr"> 85 </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="L86" class="LineNr"> 86 </span><span class="CommentedCode">#? # . write-stream(2/stderr, Trace-stream)</span> +<span id="L87" class="LineNr"> 87 </span><span class="CommentedCode">#? # . . push args</span> +<span id="L88" class="LineNr"> 88 </span><span class="CommentedCode">#? ff 6/subop/push 0/mod/indirect 5/rm32/.disp32 . . . Trace-stream/disp32 # push *Trace-stream</span> +<span id="L89" class="LineNr"> 89 </span><span class="CommentedCode">#? 68/push 2/imm32/stderr</span> +<span id="L90" class="LineNr"> 90 </span><span class="CommentedCode">#? # . . call</span> +<span id="L91" class="LineNr"> 91 </span><span class="CommentedCode">#? e8/call write-stream/disp32</span> +<span id="L92" class="LineNr"> 92 </span><span class="CommentedCode">#? # . . discard args</span> +<span id="L93" class="LineNr"> 93 </span><span class="CommentedCode">#? 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp</span> +<span id="L94" class="LineNr"> 94 </span> <span class="subxComment"># syscall_exit(0)</span> +<span id="L95" class="LineNr"> 95 </span> bb/copy-to-ebx 0/imm32 +<span id="L96" class="LineNr"> 96 </span><span class="Constant">$subx-survey-main:end</span>: +<span id="L97" class="LineNr"> 97 </span> e8/call <a href='000init.subx.html#L18'>syscall_exit</a>/disp32 +<span id="L98" class="LineNr"> 98 </span> +<span id="L99" class="LineNr"> 99 </span><span class="subxFunction">subx-survey</span>: <span class="subxComment"># infile: (addr buffered-file), out: (addr buffered-file)</span> +<span id="L100" class="LineNr"> 100 </span> <span class="subxComment"># pseudocode</span> +<span id="L101" class="LineNr"> 101 </span> <span class="subxComment"># var in: (stream byte Input-size)</span> +<span id="L102" class="LineNr"> 102 </span> <span class="subxComment"># slurp(infile, in)</span> +<span id="L103" class="LineNr"> 103 </span> <span class="subxComment"># var labels: (stream {label-name, address} Max-labels)</span> +<span id="L104" class="LineNr"> 104 </span> <span class="subxComment"># compute-addresses(in, labels)</span> +<span id="L105" class="LineNr"> 105 </span> <span class="subxComment"># emit-labels(out, labels)</span> +<span id="L106" class="LineNr"> 106 </span> <span class="subxComment">#</span> +<span id="L107" class="LineNr"> 107 </span> <span class="subxS1Comment"># . prologue</span> +<span id="L108" class="LineNr"> 108 </span> 55/push-ebp +<span id="L109" class="LineNr"> 109 </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="L110" class="LineNr"> 110 </span> <span class="subxS1Comment"># . save registers</span> +<span id="L111" class="LineNr"> 111 </span> 51/push-ecx +<span id="L112" class="LineNr"> 112 </span> 52/push-edx +<span id="L113" class="LineNr"> 113 </span> 56/push-esi +<span id="L114" class="LineNr"> 114 </span> <span class="subxComment"># var labels/edx: (stream {label-name, address} Max-labels)</span> +<span id="L115" class="LineNr"> 115 </span> <span class="subxComment"># (we get more rows than Max-labels advertises because row size is smaller than in survey_elf)</span> +<span id="L116" class="LineNr"> 116 </span> <span class="subxS1Comment"># . data</span> +<span id="L117" class="LineNr"> 117 </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="L118" class="LineNr"> 118 </span> <span class="subxS1Comment"># . size</span> +<span id="L119" class="LineNr"> 119 </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="L120" class="LineNr"> 120 </span> <span class="subxS1Comment"># . read</span> +<span id="L121" class="LineNr"> 121 </span> 68/push 0/imm32/read +<span id="L122" class="LineNr"> 122 </span> <span class="subxS1Comment"># . write</span> +<span id="L123" class="LineNr"> 123 </span> 68/push 0/imm32/write +<span id="L124" class="LineNr"> 124 </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="L125" class="LineNr"> 125 </span> <span class="subxComment"># var in/esi: (stream byte Input-size)</span> +<span id="L126" class="LineNr"> 126 </span> <span class="subxS1Comment"># . data</span> +<span id="L127" class="LineNr"> 127 </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="L128" class="LineNr"> 128 </span> <span class="subxS1Comment"># . size</span> +<span id="L129" class="LineNr"> 129 </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="L130" class="LineNr"> 130 </span> <span class="subxS1Comment"># . read</span> +<span id="L131" class="LineNr"> 131 </span> 68/push 0/imm32/read +<span id="L132" class="LineNr"> 132 </span> <span class="subxS1Comment"># . write</span> +<span id="L133" class="LineNr"> 133 </span> 68/push 0/imm32/write +<span id="L134" class="LineNr"> 134 </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="L135" class="LineNr"> 135 </span> <span class="subxComment"># slurp(infile, in)</span> +<span id="L136" class="LineNr"> 136 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L137" class="LineNr"> 137 </span> 56/push-esi +<span id="L138" class="LineNr"> 138 </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="L139" class="LineNr"> 139 </span> <span class="subxS2Comment"># . . call</span> +<span id="L140" class="LineNr"> 140 </span> e8/call <a href='132slurp.subx.html#L8'>slurp</a>/disp32 +<span id="L141" class="LineNr"> 141 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L142" class="LineNr"> 142 </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="L143" class="LineNr"> 143 </span> <span class="subxComment"># compute-addresses(in, labels)</span> +<span id="L144" class="LineNr"> 144 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L145" class="LineNr"> 145 </span> 52/push-edx +<span id="L146" class="LineNr"> 146 </span> 56/push-esi +<span id="L147" class="LineNr"> 147 </span> <span class="subxS2Comment"># . . call</span> +<span id="L148" class="LineNr"> 148 </span> e8/call <a href='survey_baremetal.subx.html#L444'>compute-addresses</a>/disp32 +<span id="L149" class="LineNr"> 149 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L150" class="LineNr"> 150 </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="L151" class="LineNr"> 151 </span> <span class="subxComment"># emit-labels(out, labels)</span> +<span id="L152" class="LineNr"> 152 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L153" class="LineNr"> 153 </span> 52/push-edx +<span id="L154" class="LineNr"> 154 </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="L155" class="LineNr"> 155 </span> <span class="subxS2Comment"># . . call</span> +<span id="L156" class="LineNr"> 156 </span> e8/call <a href='survey_baremetal.subx.html#L922'>emit-labels</a>/disp32 +<span id="L157" class="LineNr"> 157 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L158" class="LineNr"> 158 </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="L159" class="LineNr"> 159 </span> <span class="subxComment"># flush(out)</span> +<span id="L160" class="LineNr"> 160 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L161" class="LineNr"> 161 </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="L162" class="LineNr"> 162 </span> <span class="subxS2Comment"># . . call</span> +<span id="L163" class="LineNr"> 163 </span> e8/call <a href='115write-byte.subx.html#L81'>flush</a>/disp32 +<span id="L164" class="LineNr"> 164 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L165" class="LineNr"> 165 </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="L166" class="LineNr"> 166 </span><span class="Constant">$subx-survey:end</span>: +<span id="L167" class="LineNr"> 167 </span> <span class="subxS1Comment"># . reclaim locals</span> +<span id="L168" class="LineNr"> 168 </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="L169" class="LineNr"> 169 </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="L170" class="LineNr"> 170 </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="L171" class="LineNr"> 171 </span> <span class="subxS1Comment"># . restore registers</span> +<span id="L172" class="LineNr"> 172 </span> 5e/pop-to-esi +<span id="L173" class="LineNr"> 173 </span> 5a/pop-to-edx +<span id="L174" class="LineNr"> 174 </span> 59/pop-to-ecx +<span id="L175" class="LineNr"> 175 </span> <span class="subxS1Comment"># . epilogue</span> +<span id="L176" class="LineNr"> 176 </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="L177" class="LineNr"> 177 </span> 5d/pop-to-ebp +<span id="L178" class="LineNr"> 178 </span> c3/return +<span id="L179" class="LineNr"> 179 </span> +<span id="L180" class="LineNr"> 180 </span><span class="subxTest">test-subx-survey-computes-addresses</span>: +<span id="L181" class="LineNr"> 181 </span> <span class="subxComment"># input:</span> +<span id="L182" class="LineNr"> 182 </span> <span class="subxComment"># == code</span> +<span id="L183" class="LineNr"> 183 </span> <span class="subxComment"># ab x/imm32</span> +<span id="L184" class="LineNr"> 184 </span> <span class="subxComment"># == data</span> +<span id="L185" class="LineNr"> 185 </span> <span class="subxComment"># x:</span> +<span id="L186" class="LineNr"> 186 </span> <span class="subxComment"># 01</span> +<span id="L187" class="LineNr"> 187 </span> <span class="subxComment">#</span> +<span id="L188" class="LineNr"> 188 </span> <span class="subxComment"># trace contains (in any order):</span> +<span id="L189" class="LineNr"> 189 </span> <span class="subxComment"># label x is at address 0x7c05</span> +<span id="L190" class="LineNr"> 190 </span> <span class="subxComment">#</span> +<span id="L191" class="LineNr"> 191 </span> <span class="subxS1Comment"># . prologue</span> +<span id="L192" class="LineNr"> 192 </span> 55/push-ebp +<span id="L193" class="LineNr"> 193 </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="L194" class="LineNr"> 194 </span> <span class="subxComment"># setup</span> +<span id="L195" class="LineNr"> 195 </span> <span class="subxS1Comment"># . clear-stream(_test-input-stream)</span> +<span id="L196" class="LineNr"> 196 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L197" class="LineNr"> 197 </span> 68/push <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32 +<span id="L198" class="LineNr"> 198 </span> <span class="subxS2Comment"># . . call</span> +<span id="L199" class="LineNr"> 199 </span> e8/call <a href='106stream.subx.html#L17'>clear-stream</a>/disp32 +<span id="L200" class="LineNr"> 200 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L201" class="LineNr"> 201 </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="L202" class="LineNr"> 202 </span> <span class="subxS1Comment"># . clear-stream($_test-input-buffered-file->buffer)</span> +<span id="L203" class="LineNr"> 203 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L204" class="LineNr"> 204 </span> 68/push $_test-input-buffered-file->buffer/imm32 +<span id="L205" class="LineNr"> 205 </span> <span class="subxS2Comment"># . . call</span> +<span id="L206" class="LineNr"> 206 </span> e8/call <a href='106stream.subx.html#L17'>clear-stream</a>/disp32 +<span id="L207" class="LineNr"> 207 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L208" class="LineNr"> 208 </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="L209" class="LineNr"> 209 </span> <span class="subxS1Comment"># . clear-stream(_test-output-stream)</span> +<span id="L210" class="LineNr"> 210 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L211" class="LineNr"> 211 </span> 68/push <a href='115write-byte.subx.html#L287'>_test-output-stream</a>/imm32 +<span id="L212" class="LineNr"> 212 </span> <span class="subxS2Comment"># . . call</span> +<span id="L213" class="LineNr"> 213 </span> e8/call <a href='106stream.subx.html#L17'>clear-stream</a>/disp32 +<span id="L214" class="LineNr"> 214 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L215" class="LineNr"> 215 </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="L216" class="LineNr"> 216 </span> <span class="subxS1Comment"># . clear-stream($_test-output-buffered-file->buffer)</span> +<span id="L217" class="LineNr"> 217 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L218" class="LineNr"> 218 </span> 68/push $_test-output-buffered-file->buffer/imm32 +<span id="L219" class="LineNr"> 219 </span> <span class="subxS2Comment"># . . call</span> +<span id="L220" class="LineNr"> 220 </span> e8/call <a href='106stream.subx.html#L17'>clear-stream</a>/disp32 +<span id="L221" class="LineNr"> 221 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L222" class="LineNr"> 222 </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="L223" class="LineNr"> 223 </span> <span class="subxComment"># initialize input</span> +<span id="L224" class="LineNr"> 224 </span> <span class="subxS1Comment"># . write(_test-input-stream, "== code\n")</span> +<span id="L225" class="LineNr"> 225 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L226" class="LineNr"> 226 </span> 68/push <span class="Constant">"== code\n"</span>/imm32 +<span id="L227" class="LineNr"> 227 </span> 68/push <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32 +<span id="L228" class="LineNr"> 228 </span> <span class="subxS2Comment"># . . call</span> +<span id="L229" class="LineNr"> 229 </span> e8/call <a href='108write.subx.html#L24'>write</a>/disp32 +<span id="L230" class="LineNr"> 230 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L231" class="LineNr"> 231 </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="L232" class="LineNr"> 232 </span> <span class="subxS1Comment"># . write(_test-input-stream, "ab x/imm32\n")</span> +<span id="L233" class="LineNr"> 233 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L234" class="LineNr"> 234 </span> 68/push <span class="Constant">"ab x/imm32\n"</span>/imm32 +<span id="L235" class="LineNr"> 235 </span> 68/push <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32 +<span id="L236" class="LineNr"> 236 </span> <span class="subxS2Comment"># . . call</span> +<span id="L237" class="LineNr"> 237 </span> e8/call <a href='108write.subx.html#L24'>write</a>/disp32 +<span id="L238" class="LineNr"> 238 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L239" class="LineNr"> 239 </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="L240" class="LineNr"> 240 </span> <span class="subxS1Comment"># . write(_test-input-stream, "== data\n")</span> +<span id="L241" class="LineNr"> 241 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L242" class="LineNr"> 242 </span> 68/push <span class="Constant">"== data\n"</span>/imm32 +<span id="L243" class="LineNr"> 243 </span> 68/push <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32 +<span id="L244" class="LineNr"> 244 </span> <span class="subxS2Comment"># . . call</span> +<span id="L245" class="LineNr"> 245 </span> e8/call <a href='108write.subx.html#L24'>write</a>/disp32 +<span id="L246" class="LineNr"> 246 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L247" class="LineNr"> 247 </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="L248" class="LineNr"> 248 </span> <span class="subxS1Comment"># . write(_test-input-stream, "x:\n")</span> +<span id="L249" class="LineNr"> 249 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L250" class="LineNr"> 250 </span> 68/push <span class="Constant">"x:\n"</span>/imm32 +<span id="L251" class="LineNr"> 251 </span> 68/push <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32 +<span id="L252" class="LineNr"> 252 </span> <span class="subxS2Comment"># . . call</span> +<span id="L253" class="LineNr"> 253 </span> e8/call <a href='108write.subx.html#L24'>write</a>/disp32 +<span id="L254" class="LineNr"> 254 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L255" class="LineNr"> 255 </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="L256" class="LineNr"> 256 </span> <span class="subxS1Comment"># . write(_test-input-stream, "01\n")</span> +<span id="L257" class="LineNr"> 257 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L258" class="LineNr"> 258 </span> 68/push <span class="Constant">"01\n"</span>/imm32 +<span id="L259" class="LineNr"> 259 </span> 68/push <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32 +<span id="L260" class="LineNr"> 260 </span> <span class="subxS2Comment"># . . call</span> +<span id="L261" class="LineNr"> 261 </span> e8/call <a href='108write.subx.html#L24'>write</a>/disp32 +<span id="L262" class="LineNr"> 262 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L263" class="LineNr"> 263 </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="L264" class="LineNr"> 264 </span> <span class="subxComment"># subx-survey(_test-input-buffered-file, _test-output-buffered-file)</span> +<span id="L265" class="LineNr"> 265 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L266" class="LineNr"> 266 </span> 68/push <a href='115write-byte.subx.html#L425'>_test-output-buffered-file</a>/imm32 +<span id="L267" class="LineNr"> 267 </span> 68/push <a href='112read-byte.subx.html#L405'>_test-input-buffered-file</a>/imm32 +<span id="L268" class="LineNr"> 268 </span> <span class="subxS2Comment"># . . call</span> +<span id="L269" class="LineNr"> 269 </span> e8/call <a href='survey_baremetal.subx.html#L99'>subx-survey</a>/disp32 +<span id="L270" class="LineNr"> 270 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L271" class="LineNr"> 271 </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="L272" class="LineNr"> 272 </span> <span class="subxComment"># check trace</span> +<span id="L273" class="Folded"> 273 </span><span class="Folded">+-- 26 lines: #? # dump *Trace-stream -----------------------------------------------------------------------------------------------------------------------------------------------</span> +<span id="L299" class="LineNr"> 299 </span> <span class="subxS1Comment"># . check-trace-contains("label 'x' is at address 0x00007c05.", msg)</span> +<span id="L300" class="LineNr"> 300 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L301" class="LineNr"> 301 </span> 68/push <span class="Constant">"F - <a href='survey_baremetal.subx.html#L180'>test-subx-survey-computes-addresses</a>/0"</span>/imm32 +<span id="L302" class="LineNr"> 302 </span> 68/push <span class="Constant">"label 'x' is at address 0x00007c05."</span>/imm32 +<span id="L303" class="LineNr"> 303 </span> <span class="subxS2Comment"># . . call</span> +<span id="L304" class="LineNr"> 304 </span> e8/call <a href='107trace.subx.html#L248'>check-trace-contains</a>/disp32 +<span id="L305" class="LineNr"> 305 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L306" class="LineNr"> 306 </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="L307" class="LineNr"> 307 </span> <span class="subxS1Comment"># . epilogue</span> +<span id="L308" class="LineNr"> 308 </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="L309" class="LineNr"> 309 </span> 5d/pop-to-ebp +<span id="L310" class="LineNr"> 310 </span> c3/return +<span id="L311" class="LineNr"> 311 </span> +<span id="L312" class="LineNr"> 312 </span><span class="subxTest">test-subx-survey-computes-addresses-with-padding</span>: +<span id="L313" class="LineNr"> 313 </span> <span class="subxComment"># input:</span> +<span id="L314" class="LineNr"> 314 </span> <span class="subxComment"># == code</span> +<span id="L315" class="LineNr"> 315 </span> <span class="subxComment"># ab x/imm32</span> +<span id="L316" class="LineNr"> 316 </span> <span class="subxComment"># == data 0x7c10</span> +<span id="L317" class="LineNr"> 317 </span> <span class="subxComment"># x:</span> +<span id="L318" class="LineNr"> 318 </span> <span class="subxComment"># 01</span> +<span id="L319" class="LineNr"> 319 </span> <span class="subxComment">#</span> +<span id="L320" class="LineNr"> 320 </span> <span class="subxComment"># trace contains (in any order):</span> +<span id="L321" class="LineNr"> 321 </span> <span class="subxComment"># label x is at address 0x7c10</span> +<span id="L322" class="LineNr"> 322 </span> <span class="subxComment">#</span> +<span id="L323" class="LineNr"> 323 </span> <span class="subxS1Comment"># . prologue</span> +<span id="L324" class="LineNr"> 324 </span> 55/push-ebp +<span id="L325" class="LineNr"> 325 </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="L326" class="LineNr"> 326 </span> <span class="subxComment"># setup</span> +<span id="L327" class="LineNr"> 327 </span> <span class="subxS1Comment"># . clear-stream(_test-input-stream)</span> +<span id="L328" class="LineNr"> 328 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L329" class="LineNr"> 329 </span> 68/push <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32 +<span id="L330" class="LineNr"> 330 </span> <span class="subxS2Comment"># . . call</span> +<span id="L331" class="LineNr"> 331 </span> e8/call <a href='106stream.subx.html#L17'>clear-stream</a>/disp32 +<span id="L332" class="LineNr"> 332 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L333" class="LineNr"> 333 </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="L334" class="LineNr"> 334 </span> <span class="subxS1Comment"># . clear-stream($_test-input-buffered-file->buffer)</span> +<span id="L335" class="LineNr"> 335 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L336" class="LineNr"> 336 </span> 68/push $_test-input-buffered-file->buffer/imm32 +<span id="L337" class="LineNr"> 337 </span> <span class="subxS2Comment"># . . call</span> +<span id="L338" class="LineNr"> 338 </span> e8/call <a href='106stream.subx.html#L17'>clear-stream</a>/disp32 +<span id="L339" class="LineNr"> 339 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L340" class="LineNr"> 340 </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="L341" class="LineNr"> 341 </span> <span class="subxS1Comment"># . clear-stream(_test-output-stream)</span> +<span id="L342" class="LineNr"> 342 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L343" class="LineNr"> 343 </span> 68/push <a href='115write-byte.subx.html#L287'>_test-output-stream</a>/imm32 +<span id="L344" class="LineNr"> 344 </span> <span class="subxS2Comment"># . . call</span> +<span id="L345" class="LineNr"> 345 </span> e8/call <a href='106stream.subx.html#L17'>clear-stream</a>/disp32 +<span id="L346" class="LineNr"> 346 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L347" class="LineNr"> 347 </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="L348" class="LineNr"> 348 </span> <span class="subxS1Comment"># . clear-stream($_test-output-buffered-file->buffer)</span> +<span id="L349" class="LineNr"> 349 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L350" class="LineNr"> 350 </span> 68/push $_test-output-buffered-file->buffer/imm32 +<span id="L351" class="LineNr"> 351 </span> <span class="subxS2Comment"># . . call</span> +<span id="L352" class="LineNr"> 352 </span> e8/call <a href='106stream.subx.html#L17'>clear-stream</a>/disp32 +<span id="L353" class="LineNr"> 353 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L354" class="LineNr"> 354 </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="L355" class="LineNr"> 355 </span> <span class="subxComment"># initialize input</span> +<span id="L356" class="LineNr"> 356 </span> <span class="subxS1Comment"># . write(_test-input-stream, "== code\n")</span> +<span id="L357" class="LineNr"> 357 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L358" class="LineNr"> 358 </span> 68/push <span class="Constant">"== code\n"</span>/imm32 +<span id="L359" class="LineNr"> 359 </span> 68/push <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32 +<span id="L360" class="LineNr"> 360 </span> <span class="subxS2Comment"># . . call</span> +<span id="L361" class="LineNr"> 361 </span> e8/call <a href='108write.subx.html#L24'>write</a>/disp32 +<span id="L362" class="LineNr"> 362 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L363" class="LineNr"> 363 </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="L364" class="LineNr"> 364 </span> <span class="subxS1Comment"># . write(_test-input-stream, "ab x/imm32\n")</span> +<span id="L365" class="LineNr"> 365 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L366" class="LineNr"> 366 </span> 68/push <span class="Constant">"ab x/imm32\n"</span>/imm32 +<span id="L367" class="LineNr"> 367 </span> 68/push <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32 +<span id="L368" class="LineNr"> 368 </span> <span class="subxS2Comment"># . . call</span> +<span id="L369" class="LineNr"> 369 </span> e8/call <a href='108write.subx.html#L24'>write</a>/disp32 +<span id="L370" class="LineNr"> 370 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L371" class="LineNr"> 371 </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="L372" class="LineNr"> 372 </span> <span class="subxS1Comment"># . write(_test-input-stream, "== data\n")</span> +<span id="L373" class="LineNr"> 373 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L374" class="LineNr"> 374 </span> 68/push <span class="Constant">"== data 0x7c10\n"</span>/imm32 +<span id="L375" class="LineNr"> 375 </span> 68/push <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32 +<span id="L376" class="LineNr"> 376 </span> <span class="subxS2Comment"># . . call</span> +<span id="L377" class="LineNr"> 377 </span> e8/call <a href='108write.subx.html#L24'>write</a>/disp32 +<span id="L378" class="LineNr"> 378 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L379" class="LineNr"> 379 </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="L380" class="LineNr"> 380 </span> <span class="subxS1Comment"># . write(_test-input-stream, "x:\n")</span> +<span id="L381" class="LineNr"> 381 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L382" class="LineNr"> 382 </span> 68/push <span class="Constant">"x:\n"</span>/imm32 +<span id="L383" class="LineNr"> 383 </span> 68/push <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32 +<span id="L384" class="LineNr"> 384 </span> <span class="subxS2Comment"># . . call</span> +<span id="L385" class="LineNr"> 385 </span> e8/call <a href='108write.subx.html#L24'>write</a>/disp32 +<span id="L386" class="LineNr"> 386 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L387" class="LineNr"> 387 </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="L388" class="LineNr"> 388 </span> <span class="subxS1Comment"># . write(_test-input-stream, "01\n")</span> +<span id="L389" class="LineNr"> 389 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L390" class="LineNr"> 390 </span> 68/push <span class="Constant">"01\n"</span>/imm32 +<span id="L391" class="LineNr"> 391 </span> 68/push <a href='112read-byte.subx.html#L331'>_test-input-stream</a>/imm32 +<span id="L392" class="LineNr"> 392 </span> <span class="subxS2Comment"># . . call</span> +<span id="L393" class="LineNr"> 393 </span> e8/call <a href='108write.subx.html#L24'>write</a>/disp32 +<span id="L394" class="LineNr"> 394 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L395" class="LineNr"> 395 </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="L396" class="LineNr"> 396 </span> <span class="subxComment"># subx-survey(_test-input-buffered-file, _test-output-buffered-file)</span> +<span id="L397" class="LineNr"> 397 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L398" class="LineNr"> 398 </span> 68/push <a href='115write-byte.subx.html#L425'>_test-output-buffered-file</a>/imm32 +<span id="L399" class="LineNr"> 399 </span> 68/push <a href='112read-byte.subx.html#L405'>_test-input-buffered-file</a>/imm32 +<span id="L400" class="LineNr"> 400 </span> <span class="subxS2Comment"># . . call</span> +<span id="L401" class="LineNr"> 401 </span> e8/call <a href='survey_baremetal.subx.html#L99'>subx-survey</a>/disp32 +<span id="L402" class="LineNr"> 402 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L403" class="LineNr"> 403 </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="L404" class="LineNr"> 404 </span> <span class="subxComment"># check trace</span> +<span id="L405" class="Folded"> 405 </span><span class="Folded">+-- 26 lines: #? # dump *Trace-stream -----------------------------------------------------------------------------------------------------------------------------------------------</span> +<span id="L431" class="LineNr"> 431 </span> <span class="subxS1Comment"># . check-trace-contains("label 'x' is at address 0x00007c10.", msg)</span> +<span id="L432" class="LineNr"> 432 </span> <span class="subxS2Comment"># . . push args</span> +<span id="L433" class="LineNr"> 433 </span> 68/push <span class="Constant">"F - <a href='survey_baremetal.subx.html#L312'>test-subx-survey-computes-addresses-with-padding</a>/0"</span>/imm32 +<span id="L434" class="LineNr"> 434 </span> 68/push <span class="Constant">"label 'x' is at address 0x00007c10."</span>/imm32 +<span id="L435" class="LineNr"> 435 </span> <span class="subxS2Comment"># . . call</span> +<span id="L436" class="LineNr"> 436 </span> e8/call <a href='107trace.subx.html#L248'>check-trace-contains</a>/disp32 +<span id="L437" class="LineNr"> 437 </span> <span class="subxS2Comment"># . . discard args</span> +<span id="L438" class="LineNr"> 438 </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="L439" class="LineNr"> 439 </span> <span class="subxS1Comment"># . epilogue</span> +<span id="L440" class="LineNr"> 440 </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="L441" class="LineNr"> 441 </span> 5d/pop-to-ebp +<span id="L442" class="LineNr"> 442 </span> c3/return +<span id="L443" class="LineNr"> 443 </span> +<span id="L444" class="LineNr"> 444 </span><span class="subxFunction">compute-addresses</span>: <span class="subxComment"># in: (addr stream byte), labels: (addr stream {(handle array byte), address})</span> +<span id="L445" class="LineNr"> 445 </span> <span class="subxComment"># pseudocode:</span> +<span id="L446" class="LineNr"> 446 </span> <span class="subxComment"># var current-address = 0x7c00</span> +<span id="L447" class="LineNr"> 447 </span> <span class="subxComment"># var line: (stream byte 512)</span> +<span id="L448" class="LineNr"> 448 </span> <span class="subxComment"># while true # line loop</span> +<span id="L449" class="LineNr"> 449 </span> <span class="subxComment"># clear-stream(line)</span> +<span id="L450" class="LineNr"> 450 </span> <span class="subxComment"># read-line(in, line)</span> +<span id="L451" class="LineNr"> 451 </span> <span class="subxComment"># if (line->write == 0) break # end of file</span> +<span id="L452" class="LineNr"> 452 </span> <span class="subxComment"># while true # word loop</span> +<span id="L453" class="LineNr"> 453 </span> <span class="subxComment"># word-slice = next-word(line)</span> +<span id="L454" class="LineNr"> 454 </span> <span class="subxComment"># if slice-empty?(word-slice) # end of line</span> +<span id="L455" class="LineNr"> 455 </span> <span class="subxComment"># break</span> +<span id="L456" class="LineNr"> 456 </span> <span class="subxComment"># else if slice-starts-with?(word-slice, "#") # comment</span> +<span id="L457" class="LineNr"> 457 </span> <span class="subxComment"># break # end of line</span> +<span id="L458" class="LineNr"> 458 </span> <span class="subxComment"># else if slice-equal?(word-slice, "==") # segment header</span> +<span id="L459" class="LineNr"> 459 </span> <span class="subxComment"># word-slice = next-word(line)</span> +<span id="L460" class="LineNr"> 460 </span> <span class="subxComment"># if slice-empty?(word-slice)</span> +<span id="L461" class="LineNr"> 461 </span> <span class="subxComment"># abort</span> +<span id="L462" class="LineNr"> 462 </span> <span class="subxComment"># word-slice = next-word(line) # segment address</span> +<span id="L463" class="LineNr"> 463 </span> <span class="subxComment"># if slice-empty?(word-slice)</span> +<span id="L464" class="LineNr"> 464 </span> <span class="subxComment"># goto line-loop # segment address is optional</span> +<span id="L465" class="LineNr"> 465 </span> <span class="subxComment"># new-address = parse-hex-int-from-slice(word-slice)</span> +<span id="L466" class="LineNr"> 466 </span> <span class="subxComment"># if new-address < current-address</span> +<span id="L467" class="LineNr"> 467 </span> <span class="subxComment"># abort</span> +<span id="L468" class="LineNr"> 468 </span> <span class="subxComment"># current-address = new-address</span> +<span id="L469" class="LineNr"> 469 </span> <span class="subxComment"># else if label?(word-slice)</span> +<span id="L470" class="LineNr"> 470 </span> <span class="subxComment"># strip trailing ':' from word-slice</span> +<span id="L471" class="LineNr"> 471 </span> <span class="subxComment"># var tmp/eax: (addr int) = insert-slice-or-abort(labels, word-slice)</span> +<span id="L472" class="LineNr"> 472 </span> <span class="subxComment"># *tmp = current-address</span> <span id="L473" class="LineNr"> 473 </span> <span class="subxComment"># trace("label '" word-slice "' is at address " current-address ".")</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> @@ -531,7 +531,7 @@ if ('onhashchange' in window) { <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="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> @@ -644,14 +644,14 @@ if ('onhashchange' in window) { <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="L666" class="LineNr"> 666 </span> <span class="subxComment"># var tmp/eax: (addr int) = insert-slice-or-abort(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="L673" class="LineNr"> 673 </span> e8/call <a href='131table.subx.html#L1474'>insert-slice-or-abort</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> @@ -679,7 +679,7 @@ if ('onhashchange' in window) { <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="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> @@ -705,7 +705,7 @@ if ('onhashchange' in window) { <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="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> @@ -719,7 +719,7 @@ if ('onhashchange' in window) { <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="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> @@ -807,10 +807,10 @@ if ('onhashchange' in window) { <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="L869" class="LineNr"> 869 </span> e8/call <a href='survey_baremetal.subx.html#L444'>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="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("label 'x' is at address 0x00007c06.", 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">"F - test-compute-addresses"</span>/imm32 @@ -1018,7 +1018,7 @@ if ('onhashchange' in window) { <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="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("Abc 0x00000003 e")</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">"F - test-trace-slsls"</span>/imm32 |