survey: document starting address of each segment

1 files changed, 80 insertions, 15 deletions

diff --git a/linux/survey_baremetal.subx b/linux/survey_baremetal.subx
index 6e1bd029..5dd502f0 100644
--- a/linux/survey_baremetal.subx
+++ b/linux/survey_baremetal.subx
@@ -23,11 +23,12 @@
 # and with label references replaced with numeric values/displacements.
 #
 #   $ cat x  |bootstrap/bootstrap run survey_baremetal
+#   # 0x9400
 #   aa bb nn  # some computed address
 #   cc dd nn nn nn nn  # some computed displacement
 #   ee nn nn nn nn  # address right after this instruction
-#   # data segment interleaved with code
-#   00
+#   # 0x940e
+#   00  # data segment interleaved with code
 
 == code
 #   instruction                     effective address                                                   register    displacement    immediate
@@ -736,6 +737,7 @@ emit-output:  # in: (addr stream byte), out: (addr buffered-file), labels: (addr
     #       if label?(word-slice)                # no need for label declarations anymore
     #         goto line-loop                        # don't insert empty lines
     #       if slice-equal?(word-slice, "==")       # no need for segment header lines
+    #         write-buffered(out, "# " address-of-next-instruction "\n")
     #         goto line-loop                        # don't insert empty lines
     #       if length(word-slice) == 2
     #         write-slice-buffered(out, word-slice)
@@ -944,7 +946,7 @@ $emit-output:check-for-label:
     3d/compare-eax-and  0/imm32/false
     0f 85/jump-if-!=  $emit-output:line-loop/disp32
 $emit-output:check-for-segment-header:
-    # if (slice-equal?(word-slice, "==")) break
+    # if !slice-equal?(word-slice, "==") goto next check
     # . eax = slice-equal?(word-slice, "==")
     # . . push args
     68/push  "=="/imm32
@@ -953,9 +955,36 @@ $emit-output:check-for-segment-header:
     e8/call  slice-equal?/disp32
     # . . discard args
     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
-    # . if (eax != false) break
+    # . if (eax == false) goto next check
     3d/compare-eax-and  0/imm32/false
-    0f 85/jump-if-!=  $emit-output:line-loop/disp32
+    0f 84/jump-if-=  $emit-output:2-character/disp32
+    # write-buffered(out, "# " address-of-next-instruction "\n")
+    # . write-buffered(out, "# ")
+    # . . push args
+    68/push  "# "/imm32
+    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+    # . . call
+    e8/call  write-buffered/disp32
+    # . . discard args
+    81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+    # . write-int32-hex-buffered(out, address-of-next-instruction)
+    # . . push args
+    53/push-ebx
+    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+    # . . call
+    e8/call  write-int32-hex-buffered/disp32
+    # . . discard args
+    81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+    # . write-buffered(out, "\n")
+    # . . push args
+    68/push  Newline/imm32
+    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+    # . . call
+    e8/call  write-buffered/disp32
+    # . . discard args
+    81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+    #
+    e9/jump  $emit-output:line-loop/disp32
 $emit-output:2-character:
     # if (size(word-slice) != 2) goto next check
     # . eax = size(word-slice)
@@ -1425,9 +1454,18 @@ test-emit-output-non-far-control-flow:
 #?     # . . discard args
 #?     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
 #?     # }}}
-    # . check-next-stream-line-equal(_test-output-stream, "ab cd ef gh ", msg)
+    # . check-next-stream-line-equal(_test-output-stream, "# 0x00009400", msg)
     # . . push args
     68/push  "F - test-emit-output-non-far-control-flow/0"/imm32
+    68/push  "# 0x00009400"/imm32
+    68/push  _test-output-stream/imm32
+    # . . call
+    e8/call  check-next-stream-line-equal/disp32
+    # . . discard args
+    81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+    # . check-next-stream-line-equal(_test-output-stream, "ab cd ef gh ", msg)
+    # . . push args
+    68/push  "F - test-emit-output-non-far-control-flow/1"/imm32
     68/push  "ab cd ef gh "/imm32
     68/push  _test-output-stream/imm32
     # . . call
@@ -1436,16 +1474,25 @@ test-emit-output-non-far-control-flow:
     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
     # . check-next-stream-line-equal(_test-output-stream, "ij 44 33 22 11 ", msg)
     # . . push args
-    68/push  "F - test-emit-output-non-far-control-flow/1"/imm32
+    68/push  "F - test-emit-output-non-far-control-flow/2"/imm32
     68/push  "ij 44 33 22 11 "/imm32
     68/push  _test-output-stream/imm32
     # . . call
     e8/call  check-next-stream-line-equal/disp32
     # . . discard args
     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+    # . check-next-stream-line-equal(_test-output-stream, "# 0x00009409", msg)
+    # . . push args
+    68/push  "F - test-emit-output-non-far-control-flow/3"/imm32
+    68/push  "# 0x00009409"/imm32
+    68/push  _test-output-stream/imm32
+    # . . call
+    e8/call  check-next-stream-line-equal/disp32
+    # . . discard args
+    81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
     # . check-next-stream-line-equal(_test-output-stream, "00 ", msg)
     # . . push args
-    68/push  "F - test-emit-output-non-far-control-flow/2"/imm32
+    68/push  "F - test-emit-output-non-far-control-flow/3"/imm32
     68/push  "00 "/imm32
     68/push  _test-output-stream/imm32
     # . . call
@@ -1454,7 +1501,7 @@ test-emit-output-non-far-control-flow:
     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
     # . check-next-stream-line-equal(_test-output-stream, "34 ", msg)
     # . . push args
-    68/push  "F - test-emit-output-non-far-control-flow/3"/imm32
+    68/push  "F - test-emit-output-non-far-control-flow/4"/imm32
     68/push  "34 "/imm32
     68/push  _test-output-stream/imm32
     # . . call
@@ -1618,9 +1665,18 @@ test-emit-output-code-label:
 #?     # . . discard args
 #?     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
 #?     # }}}
-    # . check-next-stream-line-equal(_test-output-stream, "ab cd ", msg)
+    # . check-next-stream-line-equal(_test-output-stream, "# 0x00009400", msg)
     # . . push args
     68/push  "F - test-emit-output-code-label/0"/imm32
+    68/push  "# 0x00009400"/imm32
+    68/push  _test-output-stream/imm32
+    # . . call
+    e8/call  check-next-stream-line-equal/disp32
+    # . . discard args
+    81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+    # . check-next-stream-line-equal(_test-output-stream, "ab cd ", msg)
+    # . . push args
+    68/push  "F - test-emit-output-code-label/1"/imm32
     68/push  "ab cd "/imm32
     68/push  _test-output-stream/imm32
     # . . call
@@ -1629,7 +1685,7 @@ test-emit-output-code-label:
     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
     # . check-next-stream-line-equal(_test-output-stream, "ef gh ", msg)
     # . . push args
-    68/push  "F - test-emit-output-code-label/1"/imm32
+    68/push  "F - test-emit-output-code-label/2"/imm32
     68/push  "ef gh "/imm32
     68/push  _test-output-stream/imm32
     # . . call
@@ -1638,7 +1694,7 @@ test-emit-output-code-label:
     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
     # . check-next-stream-line-equal(_test-output-stream, "e8 07 00 00 00 ", msg)
     # . . push args
-    68/push  "F - test-emit-output-code-label/2"/imm32
+    68/push  "F - test-emit-output-code-label/3"/imm32
     68/push  "e8 07 00 00 00 "/imm32
     68/push  _test-output-stream/imm32
     # . . call
@@ -1802,9 +1858,18 @@ test-emit-output-code-label-absolute:
 #?     # . . discard args
 #?     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
 #?     # }}}
-    # . check-next-stream-line-equal(_test-output-stream, "ab cd ", msg)
+    # . check-next-stream-line-equal(_test-output-stream, "# 0x00009400", msg)
     # . . push args
     68/push  "F - test-emit-output-code-label-absolute/0"/imm32
+    68/push  "# 0x00009400"/imm32
+    68/push  _test-output-stream/imm32
+    # . . call
+    e8/call  check-next-stream-line-equal/disp32
+    # . . discard args
+    81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+    # . check-next-stream-line-equal(_test-output-stream, "ab cd ", msg)
+    # . . push args
+    68/push  "F - test-emit-output-code-label-absolute/1"/imm32
     68/push  "ab cd "/imm32
     68/push  _test-output-stream/imm32
     # . . call
@@ -1813,7 +1878,7 @@ test-emit-output-code-label-absolute:
     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
     # . check-next-stream-line-equal(_test-output-stream, "ef gh ", msg)
     # . . push args
-    68/push  "F - test-emit-output-code-label-absolute/1"/imm32
+    68/push  "F - test-emit-output-code-label-absolute/2"/imm32
     68/push  "ef gh "/imm32
     68/push  _test-output-stream/imm32
     # . . call
@@ -1822,7 +1887,7 @@ test-emit-output-code-label-absolute:
     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
     # . check-next-stream-line-equal(_test-output-stream, "ij f9 ff ff ff ", msg)
     # . . push args
-    68/push  "F - test-emit-output-code-label-absolute/2"/imm32
+    68/push  "F - test-emit-output-code-label-absolute/3"/imm32
     68/push  "ij 56 10 00 00 "/imm32
     68/push  _test-output-stream/imm32
     # . . call