standardize function names

Operations on buffered-file now always include the word 'buffered'. More
verbose, but hopefully this highlights holes in the library.
This commit is contained in:
Kartik Agaram 2019-05-02 23:32:51 -07:00
parent 6e131cefe2
commit f2cd405d04
22 changed files with 164 additions and 161 deletions

View File

@ -1,4 +1,4 @@
# read-byte: one higher-level abstraction atop 'read'. # read-byte-buffered: one higher-level abstraction atop 'read'.
# #
# There are many situations where 'read' is a lot to manage, and we need # There are many situations where 'read' is a lot to manage, and we need
# to abstract some details away. One of them is when we want to read a file # to abstract some details away. One of them is when we want to read a file
@ -32,8 +32,8 @@ Stdin:
# . 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 # . 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
#? Entry: # run a single test, while debugging #? Entry: # run a single test, while debugging
#? e8/call test-read-byte-multiple/disp32 #? e8/call test-read-byte-buffered-multiple/disp32
#? e8/call test-read-byte-refills-buffer/disp32 #? e8/call test-read-byte-buffered-refills-buffer/disp32
#? # syscall(exit, Num-test-failures) #? # syscall(exit, Num-test-failures)
#? 8b/copy 0/mod/indirect 5/rm32/.disp32 . . 3/r32/EBX Num-test-failures/disp32 # copy *Num-test-failures to EBX #? 8b/copy 0/mod/indirect 5/rm32/.disp32 . . 3/r32/EBX Num-test-failures/disp32 # copy *Num-test-failures to EBX
#? b8/copy-to-EAX 1/imm32/exit #? b8/copy-to-EAX 1/imm32/exit
@ -41,7 +41,7 @@ Stdin:
# return next byte value in EAX, with top 3 bytes cleared. # return next byte value in EAX, with top 3 bytes cleared.
# On reaching end of file, return 0xffffffff (Eof). # On reaching end of file, return 0xffffffff (Eof).
read-byte: # f : (address buffered-file) -> byte-or-Eof/EAX read-byte-buffered: # f : (address buffered-file) -> byte-or-Eof/EAX
# . prolog # . prolog
55/push-EBP 55/push-EBP
89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP 89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP
@ -54,7 +54,7 @@ read-byte: # f : (address buffered-file) -> byte-or-Eof/EAX
8b/copy 1/mod/*+disp8 6/rm32/ESI . . . 1/r32/ECX 8/disp8 . # copy *(ESI+8) to ECX 8b/copy 1/mod/*+disp8 6/rm32/ESI . . . 1/r32/ECX 8/disp8 . # copy *(ESI+8) to ECX
# if (f->read >= f->write) populate stream from file # if (f->read >= f->write) populate stream from file
3b/compare 1/mod/*+disp8 6/rm32/ESI . . . 1/r32/ECX 4/disp8 . # compare ECX with *(ESI+4) 3b/compare 1/mod/*+disp8 6/rm32/ESI . . . 1/r32/ECX 4/disp8 . # compare ECX with *(ESI+4)
7c/jump-if-lesser $read-byte:from-stream/disp8 7c/jump-if-lesser $read-byte-buffered:from-stream/disp8
# . clear-stream(stream = f+4) # . clear-stream(stream = f+4)
# . . push args # . . push args
8d/copy-address 1/mod/*+disp8 6/rm32/ESI . . . 0/r32/EAX 4/disp8 . # copy ESI+4 to EAX 8d/copy-address 1/mod/*+disp8 6/rm32/ESI . . . 0/r32/EAX 4/disp8 . # copy ESI+4 to EAX
@ -75,17 +75,17 @@ read-byte: # f : (address buffered-file) -> byte-or-Eof/EAX
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# if (EAX == 0) return 0xffffffff # if (EAX == 0) return 0xffffffff
3d/compare-EAX-and 0/imm32 3d/compare-EAX-and 0/imm32
75/jump-if-not-equal $read-byte:from-stream/disp8 75/jump-if-not-equal $read-byte-buffered:from-stream/disp8
b8/copy-to-EAX 0xffffffff/imm32/Eof b8/copy-to-EAX 0xffffffff/imm32/Eof
eb/jump $read-byte:end/disp8 eb/jump $read-byte-buffered:end/disp8
$read-byte:from-stream: $read-byte-buffered:from-stream:
# read byte from stream # read byte from stream
# AL = f->data[f->read] # AL = f->data[f->read]
31/xor 3/mod/direct 0/rm32/EAX . . . 0/r32/EAX . . # clear EAX 31/xor 3/mod/direct 0/rm32/EAX . . . 0/r32/EAX . . # clear EAX
8a/copy-byte 1/mod/*+disp8 4/rm32/sib 6/base/ESI 1/index/ECX . 0/r32/AL 0x10/disp8 . # copy byte at *(ESI+ECX+16) to AL 8a/copy-byte 1/mod/*+disp8 4/rm32/sib 6/base/ESI 1/index/ECX . 0/r32/AL 0x10/disp8 . # copy byte at *(ESI+ECX+16) to AL
# ++f->read # ++f->read
ff 0/subop/increment 1/mod/*+disp8 6/rm32/ESI . . . . 8/disp8 . # increment *(ESI+8) ff 0/subop/increment 1/mod/*+disp8 6/rm32/ESI . . . . 8/disp8 . # increment *(ESI+8)
$read-byte:end: $read-byte-buffered:end:
# . restore registers # . restore registers
5e/pop-to-ESI 5e/pop-to-ESI
59/pop-to-ECX 59/pop-to-ECX
@ -96,8 +96,8 @@ $read-byte:end:
# - tests # - tests
test-read-byte-single: test-read-byte-buffered-single:
# - check that read-byte returns first byte of 'file' # - check that read-byte-buffered returns first byte of 'file'
# setup # setup
# . clear-stream(_test-stream) # . clear-stream(_test-stream)
# . . push args # . . push args
@ -123,16 +123,16 @@ test-read-byte-single:
e8/call write/disp32 e8/call write/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# read-byte(_test-buffered-file) # read-byte-buffered(_test-buffered-file)
# . . push args # . . push args
68/push _test-buffered-file/imm32 68/push _test-buffered-file/imm32
# . . call # . . call
e8/call read-byte/disp32 e8/call read-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# check-ints-equal(EAX, 'A', msg) # check-ints-equal(EAX, 'A', msg)
# . . push args # . . push args
68/push "F - test-read-byte-single"/imm32 68/push "F - test-read-byte-buffered-single"/imm32
68/push 0x41/imm32 68/push 0x41/imm32
50/push-EAX 50/push-EAX
# . . call # . . call
@ -142,8 +142,8 @@ test-read-byte-single:
# . end # . end
c3/return c3/return
test-read-byte-multiple: test-read-byte-buffered-multiple:
# - call read-byte twice, check that second call returns second byte # - call read-byte-buffered twice, check that second call returns second byte
# setup # setup
# . clear-stream(_test-stream) # . clear-stream(_test-stream)
# . . push args # . . push args
@ -169,23 +169,23 @@ test-read-byte-multiple:
e8/call write/disp32 e8/call write/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# read-byte(_test-buffered-file) # read-byte-buffered(_test-buffered-file)
# . . push args # . . push args
68/push _test-buffered-file/imm32 68/push _test-buffered-file/imm32
# . . call # . . call
e8/call read-byte/disp32 e8/call read-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# read-byte(_test-buffered-file) # read-byte-buffered(_test-buffered-file)
# . . push args # . . push args
68/push _test-buffered-file/imm32 68/push _test-buffered-file/imm32
# . . call # . . call
e8/call read-byte/disp32 e8/call read-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# check-ints-equal(EAX, 'b', msg) # check-ints-equal(EAX, 'b', msg)
# . . push args # . . push args
68/push "F - test-read-byte-multiple"/imm32 68/push "F - test-read-byte-buffered-multiple"/imm32
68/push 0x62/imm32 68/push 0x62/imm32
50/push-EAX 50/push-EAX
# . . call # . . call
@ -195,8 +195,8 @@ test-read-byte-multiple:
# . end # . end
c3/return c3/return
test-read-byte-end-of-file: test-read-byte-buffered-end-of-file:
# - call read-byte on an empty 'file', check that it returns Eof # - call read-byte-buffered on an empty 'file', check that it returns Eof
# setup # setup
# . clear-stream(_test-stream) # . clear-stream(_test-stream)
# . . push args # . . push args
@ -214,16 +214,16 @@ test-read-byte-end-of-file:
e8/call clear-stream/disp32 e8/call clear-stream/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# read-byte(_test-buffered-file) # read-byte-buffered(_test-buffered-file)
# . . push args # . . push args
68/push _test-buffered-file/imm32 68/push _test-buffered-file/imm32
# . . call # . . call
e8/call read-byte/disp32 e8/call read-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# check-ints-equal(EAX, 0xffffffff, msg) # check-ints-equal(EAX, 0xffffffff, msg)
# . . push args # . . push args
68/push "F - test-read-byte-end-of-file"/imm32 68/push "F - test-read-byte-buffered-end-of-file"/imm32
68/push 0xffffffff/imm32/Eof 68/push 0xffffffff/imm32/Eof
50/push-EAX 50/push-EAX
# . . call # . . call
@ -233,8 +233,8 @@ test-read-byte-end-of-file:
# . end # . end
c3/return c3/return
test-read-byte-refills-buffer: test-read-byte-buffered-refills-buffer:
# - consume buffered-file's buffer, check that next read-byte still works # - consume buffered-file's buffer, check that next read-byte-buffered still works
# setup # setup
# . clear-stream(_test-stream) # . clear-stream(_test-stream)
# . . push args # . . push args
@ -264,16 +264,16 @@ test-read-byte-refills-buffer:
# . _test-buffered-file->read = 6 # >= _test-buffered-file->length # . _test-buffered-file->read = 6 # >= _test-buffered-file->length
b8/copy-to-EAX _test-buffered-file/imm32 b8/copy-to-EAX _test-buffered-file/imm32
c7 0/subop/copy 1/mod/*+disp8 0/rm32/EAX . . . . 8/disp8 6/imm32 # copy to *(EAX+8) c7 0/subop/copy 1/mod/*+disp8 0/rm32/EAX . . . . 8/disp8 6/imm32 # copy to *(EAX+8)
# read-byte(_test-buffered-file) # read-byte-buffered(_test-buffered-file)
# . . push args # . . push args
68/push _test-buffered-file/imm32 68/push _test-buffered-file/imm32
# . . call # . . call
e8/call read-byte/disp32 e8/call read-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# check-ints-equal(EAX, 'A', msg) # check-ints-equal(EAX, 'A', msg)
# . . push args # . . push args
68/push "F - test-read-byte-refills-buffer"/imm32 68/push "F - test-read-byte-buffered-refills-buffer"/imm32
68/push 0x41/imm32 68/push 0x41/imm32
50/push-EAX 50/push-EAX
# . . call # . . call

View File

@ -1,4 +1,4 @@
# write-byte: write a single byte to a buffered-file. The write may be buffered. # write-byte-buffered: add a single byte to a buffered-file.
# flush: write out any buffered writes to disk. # flush: write out any buffered writes to disk.
# #
# TODO: Come up with a way to signal failure to write to disk. This is hard # TODO: Come up with a way to signal failure to write to disk. This is hard
@ -28,7 +28,7 @@ Stdout:
# . 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 # . 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
# Write lower byte of 'n' to 'f'. # Write lower byte of 'n' to 'f'.
write-byte: # f : (address buffered-file), n : int -> <void> write-byte-buffered: # f : (address buffered-file), n : int -> <void>
# . prolog # . prolog
55/push-EBP 55/push-EBP
89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP 89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP
@ -41,7 +41,7 @@ write-byte: # f : (address buffered-file), n : int -> <void>
8b/copy 1/mod/*+disp8 7/rm32/EDI . . . 1/r32/ECX 4/disp8 . # copy *(EDI+4) to ECX 8b/copy 1/mod/*+disp8 7/rm32/EDI . . . 1/r32/ECX 4/disp8 . # copy *(EDI+4) to ECX
# if (f->write >= f->length) flush and clear f's stream # if (f->write >= f->length) flush and clear f's stream
3b/compare 1/mod/*+disp8 7/rm32/EDI . . . 1/r32/ECX 0xc/disp8 . # compare ECX with *(EDI+12) 3b/compare 1/mod/*+disp8 7/rm32/EDI . . . 1/r32/ECX 0xc/disp8 . # compare ECX with *(EDI+12)
7c/jump-if-lesser $write-byte:to-stream/disp8 7c/jump-if-lesser $write-byte-buffered:to-stream/disp8
# . flush(f) # . flush(f)
# . . push args # . . push args
57/push-EDI 57/push-EDI
@ -59,7 +59,7 @@ write-byte: # f : (address buffered-file), n : int -> <void>
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# . f->write must now be 0; update its cache at ECX # . f->write must now be 0; update its cache at ECX
31/xor 3/mod/direct 1/rm32/ECX . . . 1/r32/ECX . . # clear ECX 31/xor 3/mod/direct 1/rm32/ECX . . . 1/r32/ECX . . # clear ECX
$write-byte:to-stream: $write-byte-buffered:to-stream:
# write to stream # write to stream
# f->data[f->write] = LSB(n) # f->data[f->write] = LSB(n)
31/xor 3/mod/direct 0/rm32/EAX . . . 0/r32/EAX . . # clear EAX 31/xor 3/mod/direct 0/rm32/EAX . . . 0/r32/EAX . . # clear EAX
@ -67,7 +67,7 @@ $write-byte:to-stream:
88/copy-byte 1/mod/*+disp8 4/rm32/sib 7/base/EDI 1/index/ECX . 0/r32/AL 0x10/disp8 . # copy AL to *(EDI+ECX+16) 88/copy-byte 1/mod/*+disp8 4/rm32/sib 7/base/EDI 1/index/ECX . 0/r32/AL 0x10/disp8 . # copy AL to *(EDI+ECX+16)
# ++f->write # ++f->write
ff 0/subop/increment 1/mod/*+disp8 7/rm32/EDI . . . . 4/disp8 . # increment *(EDI+4) ff 0/subop/increment 1/mod/*+disp8 7/rm32/EDI . . . . 4/disp8 . # increment *(EDI+4)
$write-byte:end: $write-byte-buffered:end:
# . restore registers # . restore registers
5f/pop-to-EDI 5f/pop-to-EDI
59/pop-to-ECX 59/pop-to-ECX
@ -105,8 +105,8 @@ $flush:end:
# - tests # - tests
test-write-byte-single: test-write-byte-buffered-single:
# - check that write-byte writes to first byte of 'file' # - check that write-byte-buffered writes to first byte of 'file'
# setup # setup
# . clear-stream(_test-stream) # . clear-stream(_test-stream)
# . . push args # . . push args
@ -124,12 +124,12 @@ test-write-byte-single:
e8/call clear-stream/disp32 e8/call clear-stream/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# write-byte(_test-buffered-file, 'A') # write-byte-buffered(_test-buffered-file, 'A')
# . . push args # . . push args
68/push 0x41/imm32 68/push 0x41/imm32
68/push _test-buffered-file/imm32 68/push _test-buffered-file/imm32
# . . call # . . call
e8/call write-byte/disp32 e8/call write-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# flush(_test-buffered-file) # flush(_test-buffered-file)
@ -141,7 +141,7 @@ test-write-byte-single:
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# check-stream-equal(_test-stream, "A", msg) # check-stream-equal(_test-stream, "A", msg)
# . . push args # . . push args
68/push "F - test-write-byte-single"/imm32 68/push "F - test-write-byte-buffered-single"/imm32
68/push "A"/imm32 68/push "A"/imm32
68/push _test-stream/imm32 68/push _test-stream/imm32
# . . call # . . call
@ -151,8 +151,8 @@ test-write-byte-single:
# . end # . end
c3/return c3/return
test-write-byte-multiple-flushes: test-write-byte-buffered-multiple-flushes:
# - check that write-byte correctly flushes buffered data # - check that write-byte-buffered correctly flushes buffered data
# setup # setup
# . clear-stream(_test-stream) # . clear-stream(_test-stream)
# . . push args # . . push args
@ -181,12 +181,12 @@ test-write-byte-multiple-flushes:
e8/call write/disp32 e8/call write/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# write-byte(_test-buffered-file, 'g') # write-byte-buffered(_test-buffered-file, 'g')
# . . push args # . . push args
68/push 0x67/imm32 68/push 0x67/imm32
68/push _test-buffered-file/imm32 68/push _test-buffered-file/imm32
# . . call # . . call
e8/call write-byte/disp32 e8/call write-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# flush(_test-buffered-file) # flush(_test-buffered-file)
@ -198,7 +198,7 @@ test-write-byte-multiple-flushes:
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# check-stream-equal(_test-stream, "abcdef", msg) # check-stream-equal(_test-stream, "abcdef", msg)
# . . push args # . . push args
68/push "F - test-write-byte-multiple-flushes: 1"/imm32 68/push "F - test-write-byte-buffered-multiple-flushes: 1"/imm32
68/push "abcdefg"/imm32 68/push "abcdefg"/imm32
68/push _test-stream/imm32 68/push _test-stream/imm32
# . . call # . . call

View File

@ -5,7 +5,7 @@
# . op subop mod rm32 base index scale r32 # . op subop mod rm32 base index scale r32
# . 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 # . 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
print-byte: # f : (address buffered-file), n : int -> <void> print-byte-buffered: # f : (address buffered-file), n : int -> <void>
# . prolog # . prolog
55/push-EBP 55/push-EBP
89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP 89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP
@ -17,12 +17,12 @@ print-byte: # f : (address buffered-file), n : int -> <void>
25/and-EAX 0xf/imm32 25/and-EAX 0xf/imm32
# . AL = to-hex-char(AL) # . AL = to-hex-char(AL)
e8/call to-hex-char/disp32 e8/call to-hex-char/disp32
# write-byte(f, AL) # write-byte-buffered(f, AL)
# . . push args # . . push args
50/push-EAX 50/push-EAX
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8)
# . . call # . . call
e8/call write-byte/disp32 e8/call write-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# AL = convert lower nibble to hex # AL = convert lower nibble to hex
@ -30,15 +30,15 @@ print-byte: # f : (address buffered-file), n : int -> <void>
25/and-EAX 0xf/imm32 25/and-EAX 0xf/imm32
# . AL = to-hex-char(AL) # . AL = to-hex-char(AL)
e8/call to-hex-char/disp32 e8/call to-hex-char/disp32
# write-byte(f, AL) # write-byte-buffered(f, AL)
# . . push args # . . push args
50/push-EAX 50/push-EAX
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8)
# . . call # . . call
e8/call write-byte/disp32 e8/call write-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
$print-byte:end: $print-byte-buffered:end:
# . restore registers # . restore registers
58/pop-to-EAX 58/pop-to-EAX
# . epilog # . epilog
@ -46,8 +46,8 @@ $print-byte:end:
5d/pop-to-EBP 5d/pop-to-EBP
c3/return c3/return
test-print-byte: test-print-byte-buffered:
# - check that print-byte prints the hex textual representation # - check that print-byte-buffered prints the hex textual representation
# setup # setup
# . clear-stream(_test-stream) # . clear-stream(_test-stream)
# . . push args # . . push args
@ -65,12 +65,12 @@ test-print-byte:
e8/call clear-stream/disp32 e8/call clear-stream/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# print-byte(_test-buffered-file, 0xa) # exercises digit, non-digit as well as leading zero # print-byte-buffered(_test-buffered-file, 0xa) # exercises digit, non-digit as well as leading zero
# . . push args # . . push args
68/push 0xa/imm32 68/push 0xa/imm32
68/push _test-buffered-file/imm32 68/push _test-buffered-file/imm32
# . . call # . . call
e8/call print-byte/disp32 e8/call print-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# flush(_test-buffered-file) # flush(_test-buffered-file)
@ -82,7 +82,7 @@ test-print-byte:
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# check-stream-equal(_test-stream, "0a", msg) # check-stream-equal(_test-stream, "0a", msg)
# . . push args # . . push args
68/push "F - test-print-byte"/imm32 68/push "F - test-print-byte-buffered"/imm32
68/push "0a"/imm32 68/push "0a"/imm32
68/push _test-stream/imm32 68/push _test-stream/imm32
# . . call # . . call

View File

@ -52,12 +52,12 @@ error-byte: # ed : (address exit-descriptor), out : (address buffered-file), ms
e8/call write-buffered/disp32 e8/call write-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# print-byte(out, byte) # print-byte-buffered(out, byte)
# . . push args # . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0x14/disp8 . # push *(EBP+20) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0x14/disp8 . # push *(EBP+20)
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0xc/disp8 . # push *(EBP+12) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0xc/disp8 . # push *(EBP+12)
# . . call # . . call
e8/call print-byte/disp32 e8/call print-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# write-buffered(out, Newline) # write-buffered(out, Newline)

View File

@ -4,7 +4,7 @@
# . 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 # . 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
#? Entry: # run a single test, while debugging #? Entry: # run a single test, while debugging
#? e8/call test-read-line/disp32 #? e8/call test-read-line-buffered/disp32
#? # syscall(exit, Num-test-failures) #? # syscall(exit, Num-test-failures)
#? 8b/copy 0/mod/indirect 5/rm32/.disp32 . . 3/r32/EBX Num-test-failures/disp32 # copy *Num-test-failures to EBX #? 8b/copy 0/mod/indirect 5/rm32/.disp32 . . 3/r32/EBX Num-test-failures/disp32 # copy *Num-test-failures to EBX
#? b8/copy-to-EAX 1/imm32/exit #? b8/copy-to-EAX 1/imm32/exit
@ -13,7 +13,7 @@
# read bytes from 'f' until (and including) a newline and store them into 's' # read bytes from 'f' until (and including) a newline and store them into 's'
# 's' fails to grow if and only if no data found # 's' fails to grow if and only if no data found
# just abort if 's' is too small # just abort if 's' is too small
read-line: # f : (address buffered-file), s : (address stream byte) -> <void> read-line-buffered: # f : (address buffered-file), s : (address stream byte) -> <void>
# pseudocode: # pseudocode:
# while true # while true
# if (s->write >= s->length) abort # if (s->write >= s->length) abort
@ -41,13 +41,13 @@ read-line: # f : (address buffered-file), s : (address stream byte) -> <void>
8b/copy 1/mod/*+disp8 5/rm32/EBP . . . 7/r32/EDI 0xc/disp8 . # copy *(EBP+12) to EDI 8b/copy 1/mod/*+disp8 5/rm32/EBP . . . 7/r32/EDI 0xc/disp8 . # copy *(EBP+12) to EDI
# EDX = s->write # EDX = s->write
8b/copy 0/mod/indirect 7/rm32/EDI . . . 2/r32/EDX . . # copy *EDI to EDX 8b/copy 0/mod/indirect 7/rm32/EDI . . . 2/r32/EDX . . # copy *EDI to EDX
$read-line:loop: $read-line-buffered:loop:
# if (s->write >= s->length) abort # if (s->write >= s->length) abort
3b/compare 1/mod/*+disp8 7/rm32/EDI . . . 2/r32/EDX 8/disp8 . # compare EDX with *(EDI+8) 3b/compare 1/mod/*+disp8 7/rm32/EDI . . . 2/r32/EDX 8/disp8 . # compare EDX with *(EDI+8)
7d/jump-if-greater-or-equal $read-line:abort/disp8 7d/jump-if-greater-or-equal $read-line-buffered:abort/disp8
# if (f->read >= f->write) populate stream from file # if (f->read >= f->write) populate stream from file
3b/compare 1/mod/*+disp8 6/rm32/ESI . . . 1/r32/ECX 4/disp8 . # compare ECX with *(ESI+4) 3b/compare 1/mod/*+disp8 6/rm32/ESI . . . 1/r32/ECX 4/disp8 . # compare ECX with *(ESI+4)
7c/jump-if-lesser $read-line:from-stream/disp8 7c/jump-if-lesser $read-line-buffered:from-stream/disp8
# . clear-stream(stream = f+4) # . clear-stream(stream = f+4)
# . . push args # . . push args
8d/copy-address 1/mod/*+disp8 6/rm32/ESI . . . 0/r32/EAX 4/disp8 . # copy ESI+4 to EAX 8d/copy-address 1/mod/*+disp8 6/rm32/ESI . . . 0/r32/EAX 4/disp8 . # copy ESI+4 to EAX
@ -70,8 +70,8 @@ $read-line:loop:
# since f->read was initially 0, EAX is the same as f->write # since f->read was initially 0, EAX is the same as f->write
# . if (EAX == 0) return true # . if (EAX == 0) return true
3d/compare-EAX-and 0/imm32 3d/compare-EAX-and 0/imm32
74/jump-if-equal $read-line:end/disp8 74/jump-if-equal $read-line-buffered:end/disp8
$read-line:from-stream: $read-line-buffered:from-stream:
# AL = f->data[f->read] # AL = f->data[f->read]
31/xor 3/mod/direct 0/rm32/EAX . . . 0/r32/EAX . . # clear EAX 31/xor 3/mod/direct 0/rm32/EAX . . . 0/r32/EAX . . # clear EAX
8a/copy-byte 1/mod/*+disp8 4/rm32/sib 6/base/ESI 1/index/ECX . 0/r32/AL 0x10/disp8 . # copy byte at *(ESI+ECX+16) to AL 8a/copy-byte 1/mod/*+disp8 4/rm32/sib 6/base/ESI 1/index/ECX . 0/r32/AL 0x10/disp8 . # copy byte at *(ESI+ECX+16) to AL
@ -83,8 +83,8 @@ $read-line:from-stream:
42/increment-EDX 42/increment-EDX
# if (AL == '\n') return # if (AL == '\n') return
3d/compare-EAX-and 0xa/imm32 3d/compare-EAX-and 0xa/imm32
75/jump-if-not-equal $read-line:loop/disp8 75/jump-if-not-equal $read-line-buffered:loop/disp8
$read-line:end: $read-line-buffered:end:
# save f->read # save f->read
89/copy 1/mod/*+disp8 6/rm32/ESI . . . 1/r32/ECX 8/disp8 . # copy ECX to *(ESI+8) 89/copy 1/mod/*+disp8 6/rm32/ESI . . . 1/r32/ECX 8/disp8 . # copy ECX to *(ESI+8)
# save s->write # save s->write
@ -100,10 +100,10 @@ $read-line:end:
5d/pop-to-EBP 5d/pop-to-EBP
c3/return c3/return
$read-line:abort: $read-line-buffered:abort:
# . _write(2/stderr, error) # . _write(2/stderr, error)
# . . push args # . . push args
68/push "read-line: line too long\n"/imm32 68/push "read-line-buffered: line too long\n"/imm32
68/push 2/imm32/stderr 68/push 2/imm32/stderr
# . . call # . . call
e8/call _write/disp32 e8/call _write/disp32
@ -115,8 +115,8 @@ $read-line:abort:
cd/syscall 0x80/imm8 cd/syscall 0x80/imm8
# never gets here # never gets here
test-read-line: test-read-line-buffered:
# - check that read-line stops at a newline # - check that read-line-buffered stops at a newline
# setup # setup
# . clear-stream(_test-stream) # . clear-stream(_test-stream)
# . . push args # . . push args
@ -150,17 +150,17 @@ test-read-line:
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# read a line from _test-stream (buffered by _test-buffered-file) into _test-tmp-stream # read a line from _test-stream (buffered by _test-buffered-file) into _test-tmp-stream
# . EAX = read-line(_test-buffered-file, _test-tmp-stream) # . EAX = read-line-buffered(_test-buffered-file, _test-tmp-stream)
# . . push args # . . push args
68/push _test-tmp-stream/imm32 68/push _test-tmp-stream/imm32
68/push _test-buffered-file/imm32 68/push _test-buffered-file/imm32
# . . call # . . call
e8/call read-line/disp32 e8/call read-line-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# check-next-stream-line-equal(_test-tmp-stream, "ab", msg) # check-next-stream-line-equal(_test-tmp-stream, "ab", msg)
# . . push args # . . push args
68/push "F - test-read-line"/imm32 68/push "F - test-read-line-buffered"/imm32
68/push "ab"/imm32 68/push "ab"/imm32
68/push _test-tmp-stream/imm32 68/push _test-tmp-stream/imm32
# . . call # . . call
@ -170,7 +170,7 @@ test-read-line:
# end # end
c3/return c3/return
test-read-line-reads-final-line-until-Eof: test-read-line-buffered-reads-final-line-until-Eof:
# setup # setup
# . clear-stream(_test-stream) # . clear-stream(_test-stream)
# . . push args # . . push args
@ -204,17 +204,17 @@ test-read-line-reads-final-line-until-Eof:
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# read a line from _test-stream (buffered by _test-buffered-file) into _test-tmp-stream # read a line from _test-stream (buffered by _test-buffered-file) into _test-tmp-stream
# . EAX = read-line(_test-buffered-file, _test-tmp-stream) # . EAX = read-line-buffered(_test-buffered-file, _test-tmp-stream)
# . . push args # . . push args
68/push _test-tmp-stream/imm32 68/push _test-tmp-stream/imm32
68/push _test-buffered-file/imm32 68/push _test-buffered-file/imm32
# . . call # . . call
e8/call read-line/disp32 e8/call read-line-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# check-stream-equal(_test-tmp-stream, "cd", msg) # check-stream-equal(_test-tmp-stream, "cd", msg)
# . . push args # . . push args
68/push "F - test-read-line-reads-final-line-until-Eof"/imm32 68/push "F - test-read-line-buffered-reads-final-line-until-Eof"/imm32
68/push "cd"/imm32 68/push "cd"/imm32
68/push _test-tmp-stream/imm32 68/push _test-tmp-stream/imm32
# . . call # . . call

View File

@ -704,7 +704,7 @@ test-slice-starts-with-fails-2:
5d/pop-to-EBP 5d/pop-to-EBP
c3/return c3/return
write-slice: # out : (address buffered-file), s : (address slice) write-slice-buffered: # out : (address buffered-file), s : (address slice)
# . prolog # . prolog
55/push-EBP 55/push-EBP
89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP 89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP
@ -727,13 +727,13 @@ write-slice: # out : (address buffered-file), s : (address slice)
8b/copy 1/mod/*+disp8 7/rm32/EDI . . . 2/r32/EDX 0xc/disp8 . # copy *(EDI+12) to EDX 8b/copy 1/mod/*+disp8 7/rm32/EDI . . . 2/r32/EDX 0xc/disp8 . # copy *(EDI+12) to EDX
# EBX = out->write # EBX = out->write
8b/copy 1/mod/*+disp8 7/rm32/EDI . . . 3/r32/EBX 4/disp8 . # copy *(EDI+4) to EBX 8b/copy 1/mod/*+disp8 7/rm32/EDI . . . 3/r32/EBX 4/disp8 . # copy *(EDI+4) to EBX
$write-slice:loop: $write-slice-buffered:loop:
# if (curr >= max) break # if (curr >= max) break
39/compare 3/mod/direct 1/rm32/ECX . . . 6/r32/ESI . . # compare ECX with ESI 39/compare 3/mod/direct 1/rm32/ECX . . . 6/r32/ESI . . # compare ECX with ESI
7d/jump-if-greater-or-equal $write-slice:loop-end/disp8 7d/jump-if-greater-or-equal $write-slice-buffered:loop-end/disp8
# if (out->write >= out->length) flush and clear out's stream # if (out->write >= out->length) flush and clear out's stream
39/compare 3/mod/direct 3/rm32/EBX . . . 2/r32/EDX . . # compare EBX with EDX 39/compare 3/mod/direct 3/rm32/EBX . . . 2/r32/EDX . . # compare EBX with EDX
7c/jump-if-lesser $write-slice:to-stream/disp8 7c/jump-if-lesser $write-slice-buffered:to-stream/disp8
# . persist out->write # . persist out->write
89/copy 1/mod/*+disp8 7/rm32/EDI . . . 3/r32/EBX 4/disp8 . # copy EBX to *(EDI+4) 89/copy 1/mod/*+disp8 7/rm32/EDI . . . 3/r32/EBX 4/disp8 . # copy EBX to *(EDI+4)
# . flush(out) # . flush(out)
@ -753,7 +753,7 @@ $write-slice:loop:
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# . out->write must now be 0; update its cache at EBX # . out->write must now be 0; update its cache at EBX
31/xor 3/mod/direct 3/rm32/EBX . . . 3/r32/EBX . . # clear EBX 31/xor 3/mod/direct 3/rm32/EBX . . . 3/r32/EBX . . # clear EBX
$write-slice:to-stream: $write-slice-buffered:to-stream:
# out->data[out->write] = *in # out->data[out->write] = *in
# . AL = *in # . AL = *in
31/xor 3/mod/direct 0/rm32/EAX . . . 0/r32/EAX . . # clear EAX 31/xor 3/mod/direct 0/rm32/EAX . . . 0/r32/EAX . . # clear EAX
@ -764,11 +764,11 @@ $write-slice:to-stream:
43/increment-EBX 43/increment-EBX
# ++in # ++in
41/increment-ECX 41/increment-ECX
eb/jump $write-slice:loop/disp8 eb/jump $write-slice-buffered:loop/disp8
$write-slice:loop-end: $write-slice-buffered:loop-end:
# persist necessary variables from registers # persist necessary variables from registers
89/copy 1/mod/*+disp8 7/rm32/EDI . . . 3/r32/EBX 4/disp8 . # copy EBX to *(EDI+4) 89/copy 1/mod/*+disp8 7/rm32/EDI . . . 3/r32/EBX 4/disp8 . # copy EBX to *(EDI+4)
$write-slice:end: $write-slice-buffered:end:
# . restore registers # . restore registers
5f/pop-to-EDI 5f/pop-to-EDI
5e/pop-to-ESI 5e/pop-to-ESI
@ -781,7 +781,7 @@ $write-slice:end:
5d/pop-to-EBP 5d/pop-to-EBP
c3/return c3/return
test-write-slice: test-write-slice-buffered:
# . prolog # . prolog
55/push-EBP 55/push-EBP
89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP 89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP
@ -806,12 +806,12 @@ test-write-slice:
68/push _test-slice-data-3/imm32/end 68/push _test-slice-data-3/imm32/end
68/push _test-slice-data-0/imm32/start 68/push _test-slice-data-0/imm32/start
89/copy 3/mod/direct 1/rm32/ECX . . . 4/r32/ESP . . # copy ESP to ECX 89/copy 3/mod/direct 1/rm32/ECX . . . 4/r32/ESP . . # copy ESP to ECX
# write-slice(_test-buffered-file, slice) # write-slice-buffered(_test-buffered-file, slice)
# . . push args # . . push args
51/push-ECX 51/push-ECX
68/push _test-buffered-file/imm32 68/push _test-buffered-file/imm32
# . . call # . . call
e8/call write-slice/disp32 e8/call write-slice-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# flush(_test-buffered-file) # flush(_test-buffered-file)
@ -823,7 +823,7 @@ test-write-slice:
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# check-stream-equal(_test-stream, "Abc", msg) # check-stream-equal(_test-stream, "Abc", msg)
# . . push args # . . push args
68/push "F - test-write-slice"/imm32 68/push "F - test-write-slice-buffered"/imm32
68/push "Abc"/imm32 68/push "Abc"/imm32
68/push _test-stream/imm32 68/push _test-stream/imm32
# . . call # . . call

View File

@ -627,16 +627,18 @@ allocated memory for it.)_
- Can also be used to cat one stream into another. - Can also be used to cat one stream into another.
- Will abort the entire program if there isn't enough room. - Will abort the entire program if there isn't enough room.
* `write-buffered`: string -> buffered-file * `write-buffered`: string -> buffered-file
* `write-slice`: slice -> buffered-file * `write-slice-buffered`: slice -> buffered-file
* `flush`: buffered-file * `flush`: buffered-file
* `print-byte`: buffered-file, int * `write-byte-buffered`: int -> buffered-file
* `print-byte-buffered`: int -> buffered-file
- textual representation in hex
#### reading from disk #### reading from disk
* `read`: file -> stream * `read`: file -> stream
- Can also be used to cat one stream into another. - Can also be used to cat one stream into another.
- Will silently stop reading when destination runs out of space. - Will silently stop reading when destination runs out of space.
* `read-byte`: buffered-file -> byte * `read-byte-buffered`: buffered-file -> byte
* `read-line`: buffered-file -> stream * `read-line-buffered`: buffered-file -> stream
- Will abort the entire program if there isn't enough room. - Will abort the entire program if there isn't enough room.
#### non-IO operations on streams #### non-IO operations on streams

Binary file not shown.

View File

@ -428,7 +428,7 @@ read-segments: # in : (address buffered-file), table : (address stream row)
# var line = new-stream(512, 1) # var line = new-stream(512, 1)
# while true # while true
# clear-stream(line) # clear-stream(line)
# read-line(in, line) # read-line-buffered(in, line)
# if (line->write == 0) break # end of file # if (line->write == 0) break # end of file
# var word-slice = next-word(line) # var word-slice = next-word(line)
# if slice-empty?(word-slice) # whitespace # if slice-empty?(word-slice) # whitespace
@ -479,12 +479,12 @@ $read-segments:loop:
e8/call clear-stream/disp32 e8/call clear-stream/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# read-line(in, line) # read-line-buffered(in, line)
# . . push args # . . push args
51/push-ECX 51/push-ECX
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8)
# . . call # . . call
e8/call read-line/disp32 e8/call read-line-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
$read-segments:check0: $read-segments:check0:
@ -566,12 +566,12 @@ $read-segments:check-for-segment-header:
#? e8/call clear-stream/disp32 #? e8/call clear-stream/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
#? # . write-slice(Stderr, word-slice) #? # . write-slice-buffered(Stderr, word-slice)
#? # . . push args #? # . . push args
#? 52/push-EDX #? 52/push-EDX
#? 68/push Stderr/imm32 #? 68/push Stderr/imm32
#? # . . call #? # . . call
#? e8/call write-slice/disp32 #? e8/call write-slice-buffered/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
#? # . flush(Stderr) #? # . flush(Stderr)
@ -630,12 +630,12 @@ $read-segments:check-for-segment-header:
#? e8/call clear-stream/disp32 #? e8/call clear-stream/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
#? # . write-slice(Stderr, word-slice) #? # . write-slice-buffered(Stderr, word-slice)
#? # . . push args #? # . . push args
#? 52/push-EDX #? 52/push-EDX
#? 68/push Stderr/imm32 #? 68/push Stderr/imm32
#? # . . call #? # . . call
#? e8/call write-slice/disp32 #? e8/call write-slice-buffered/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
#? # . flush(Stderr) #? # . flush(Stderr)

Binary file not shown.

View File

@ -512,11 +512,11 @@ get-char: # f : (address buffered-file) -> <void>
89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP 89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP
# . save registers # . save registers
50/push-EAX 50/push-EAX
# read-byte(f) # EAX = read-byte-buffered(f)
# . . push args # . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8)
# . . call # . . call
e8/call read-byte/disp32 e8/call read-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# save EAX to Look # save EAX to Look

Binary file not shown.

View File

@ -195,7 +195,8 @@ get-num: # in : (address buffered-file), out : (address stream), err : fd or (a
# Look = get-char(in) # Look = get-char(in)
# while is-digit?(Look) # while is-digit?(Look)
# This is complicated because I don't want to hard-code the error strategy in # This is complicated because I don't want to hard-code the error strategy in
# a general helper like write-byte. Maybe I should just create a local helper. # a general helper like write-byte-buffered. Maybe I should just create a
# local helper.
# #
# within the loop we'll try to keep things in registers: # within the loop we'll try to keep things in registers:
# in: ESI # in: ESI
@ -711,11 +712,11 @@ get-char: # f : (address buffered-file) -> <void>
89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP 89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP
# . save registers # . save registers
50/push-EAX 50/push-EAX
# read-byte(f) # EAX = read-byte-buffered(f)
# . . push args # . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8)
# . . call # . . call
e8/call read-byte/disp32 e8/call read-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# save EAX to Look # save EAX to Look

Binary file not shown.

View File

@ -82,7 +82,7 @@ convert: # in : (address buffered-file), out : (address buffered-file) -> <void
# write-stream(new-data-segment, "== data\n") # write-stream(new-data-segment, "== data\n")
# while true # while true
# clear-stream(line) # clear-stream(line)
# read-line(in, line) # read-line-buffered(in, line)
# if (line->write == 0) break # end of file # if (line->write == 0) break # end of file
# while true # while true
# var word-slice = next-word(line) # var word-slice = next-word(line)
@ -93,7 +93,7 @@ convert: # in : (address buffered-file), out : (address buffered-file) -> <void
# if slice-starts-with?(word-slice, '"') # string literal <== what we're here for # if slice-starts-with?(word-slice, '"') # string literal <== what we're here for
# process-string-literal(word-slice, out, new-data-segment) # process-string-literal(word-slice, out, new-data-segment)
# else # else
# write-slice(out, word-slice) # write-slice-buffered(out, word-slice)
# write-stream-data(out, new-data-segment) # write-stream-data(out, new-data-segment)
# flush(out) # flush(out)
# #
@ -145,12 +145,12 @@ $convert:line-loop:
e8/call clear-stream/disp32 e8/call clear-stream/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# read-line(in, line) # read-line-buffered(in, line)
# . . push args # . . push args
51/push-ECX 51/push-ECX
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8)
# . . call # . . call
e8/call read-line/disp32 e8/call read-line-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
$convert:check0: $convert:check0:
@ -204,12 +204,12 @@ $convert:string-literal:
# continue # continue
eb/jump $convert:next-word/disp8 eb/jump $convert:next-word/disp8
$convert:regular-word: $convert:regular-word:
# write-slice(out, word-slice) # write-slice-buffered(out, word-slice)
# . . push args # . . push args
52/push-EDX 52/push-EDX
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0xc/disp8 . # push *(EBP+12) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0xc/disp8 . # push *(EBP+12)
# . . call # . . call
e8/call write-slice/disp32 e8/call write-slice-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# fall through # fall through

Binary file not shown.

Binary file not shown.

Binary file not shown.

View File

@ -75,7 +75,7 @@ convert: # in : (address buffered-file), out : (address buffered-file), err : (
# while true # while true
# EAX = convert-next-octet(in, err, ed) # EAX = convert-next-octet(in, err, ed)
# if (EAX == Eof) break # if (EAX == Eof) break
# write-byte(out, AL) # write-byte-buffered(out, AL)
# flush(out) # flush(out)
# #
# . prolog # . prolog
@ -96,12 +96,12 @@ $convert:loop:
# if (EAX == Eof) break # if (EAX == Eof) break
3d/compare-EAX-and 0xffffffff/imm32/Eof 3d/compare-EAX-and 0xffffffff/imm32/Eof
74/jump-if-equal $convert:loop-end/disp8 74/jump-if-equal $convert:loop-end/disp8
# write-byte(out, AL) # write-byte-buffered(out, AL)
# . . push args # . . push args
50/push-EAX 50/push-EAX
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0xc/disp8 . # push *(EBP+12) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0xc/disp8 . # push *(EBP+12)
# . . call # . . call
e8/call write-byte/disp32 e8/call write-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# loop # loop
@ -489,7 +489,7 @@ $test-convert-next-octet-aborts-on-single-hex-byte:end:
scan-next-byte: # in : (address buffered-file), err : (address buffered-file), ed : (address exit-descriptor) -> byte-or-Eof/EAX scan-next-byte: # in : (address buffered-file), err : (address buffered-file), ed : (address exit-descriptor) -> byte-or-Eof/EAX
# pseudocode: # pseudocode:
# while true # while true
# EAX = read-byte(in) # EAX = read-byte-buffered(in)
# if (EAX == Eof) return EAX # if (EAX == Eof) return EAX
# if (is-hex-digit?(EAX)) return EAX # if (is-hex-digit?(EAX)) return EAX
# if (EAX == ' ' or '\t' or '\n') continue # if (EAX == ' ' or '\t' or '\n') continue
@ -501,11 +501,11 @@ scan-next-byte: # in : (address buffered-file), err : (address buffered-file),
89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP 89/copy 3/mod/direct 5/rm32/EBP . . . 4/r32/ESP . . # copy ESP to EBP
# . save registers # . save registers
$scan-next-byte:loop: $scan-next-byte:loop:
# EAX = read-byte(in) # EAX = read-byte-buffered(in)
# . . push args # . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8)
# . . call # . . call
e8/call read-byte/disp32 e8/call read-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# if (EAX == Eof) return EAX # if (EAX == Eof) return EAX
@ -1389,7 +1389,7 @@ skip-until-newline: # in : (address buffered-file) -> <void>
# pseudocode: # pseudocode:
# push EAX # push EAX
# while true # while true
# EAX = read-byte(in) # EAX = read-byte-buffered(in)
# if (EAX == Eof) break # if (EAX == Eof) break
# if (EAX == 0x0a) break # if (EAX == 0x0a) break
# pop EAX # pop EAX
@ -1399,11 +1399,11 @@ skip-until-newline: # in : (address buffered-file) -> <void>
# . save registers # . save registers
50/push-EAX 50/push-EAX
$skip-until-newline:loop: $skip-until-newline:loop:
# . EAX = read-byte(in) # . EAX = read-byte-buffered(in)
# . . push args # . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8)
# . . call # . . call
e8/call read-byte/disp32 e8/call read-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# . if (EAX == Eof) break # . if (EAX == Eof) break

Binary file not shown.

View File

@ -96,7 +96,7 @@ convert: # in : (address buffered-file), out : (address buffered-file) -> <void
# var in-code? = false # var in-code? = false
# while true # while true
# clear-stream(line) # clear-stream(line)
# read-line(in, line) # read-line-buffered(in, line)
# if (line->write == 0) break # end of file # if (line->write == 0) break # end of file
# var word-slice = next-word(line) # var word-slice = next-word(line)
# if slice-empty?(word-slice) # whitespace # if slice-empty?(word-slice) # whitespace
@ -141,12 +141,12 @@ $convert:loop:
e8/call clear-stream/disp32 e8/call clear-stream/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
# read-line(in, line) # read-line-buffered(in, line)
# . . push args # . . push args
51/push-ECX 51/push-ECX
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8)
# . . call # . . call
e8/call read-line/disp32 e8/call read-line-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
$convert:check0: $convert:check0:
@ -218,12 +218,12 @@ $convert:check2:
#? e8/call clear-stream/disp32 #? e8/call clear-stream/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
#? # . write-slice(Stderr, word-slice) #? # . write-slice-buffered(Stderr, word-slice)
#? # . . push args #? # . . push args
#? 52/push-EDX #? 52/push-EDX
#? 68/push Stderr/imm32 #? 68/push Stderr/imm32
#? # . . call #? # . . call
#? e8/call write-slice/disp32 #? e8/call write-slice-buffered/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
#? # . flush(Stderr) #? # . flush(Stderr)
@ -283,12 +283,12 @@ $convert:check2:
#? e8/call clear-stream/disp32 #? e8/call clear-stream/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
#? # . write-slice(Stderr, word-slice) #? # . write-slice-buffered(Stderr, word-slice)
#? # . . push args #? # . . push args
#? 52/push-EDX #? 52/push-EDX
#? 68/push Stderr/imm32 #? 68/push Stderr/imm32
#? # . . call #? # . . call
#? e8/call write-slice/disp32 #? e8/call write-slice-buffered/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
#? # . flush(Stderr) #? # . flush(Stderr)
@ -937,7 +937,7 @@ convert-data: # line : (address stream byte), out : (address buffered-file) ->
# if slice-empty?(word-slice) # end of file (maybe including trailing whitespace) # if slice-empty?(word-slice) # end of file (maybe including trailing whitespace)
# break # skip emitting some whitespace # break # skip emitting some whitespace
# if slice-starts-with?(word-slice, "#") # comment # if slice-starts-with?(word-slice, "#") # comment
# write-slice(out, word-slice) # write-slice-buffered(out, word-slice)
# break # break
# if slice-ends-with?(word-slice, ":") # label # if slice-ends-with?(word-slice, ":") # label
# write-stream-data(out, line) # write-stream-data(out, line)
@ -1012,12 +1012,12 @@ $convert-data:loop:
#? e8/call clear-stream/disp32 #? e8/call clear-stream/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
#? # . write-slice(Stderr, word-slice) #? # . write-slice-buffered(Stderr, word-slice)
#? # . . push args #? # . . push args
#? 51/push-ECX #? 51/push-ECX
#? 68/push Stderr/imm32 #? 68/push Stderr/imm32
#? # . . call #? # . . call
#? e8/call write-slice/disp32 #? e8/call write-slice-buffered/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
#? # . flush(Stderr) #? # . flush(Stderr)
@ -1059,12 +1059,12 @@ $convert-data:check-for-comment:
3d/compare-EAX-and 0x23/imm32/hash 3d/compare-EAX-and 0x23/imm32/hash
75/jump-if-not-equal $convert-data:check-for-label/disp8 75/jump-if-not-equal $convert-data:check-for-label/disp8
$convert-data:comment: $convert-data:comment:
# write-slice(out, word-slice) # write-slice-buffered(out, word-slice)
# . . push args # . . push args
51/push-ECX 51/push-ECX
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0xc/disp8 . # push *(EBP+12) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0xc/disp8 . # push *(EBP+12)
# . . call # . . call
e8/call write-slice/disp32 e8/call write-slice-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# break # break
@ -1999,14 +1999,14 @@ emit-opcodes: # line : (address stream byte), out : (address buffered-file) ->
# var op1 = next-word(line) # var op1 = next-word(line)
# if (slice-empty?(op1) || slice-starts-with?(op1, "#")) return # if (slice-empty?(op1) || slice-starts-with?(op1, "#")) return
# op1 = next-token-from-slice(op1->start, op1->end, "/") # op1 = next-token-from-slice(op1->start, op1->end, "/")
# write-slice(out, op1) # write-slice-buffered(out, op1)
# if !slice-equal?(op1, "0f") && !slice-equal?(op1, "f2") && !slice-equal?(op1, "f3") # if !slice-equal?(op1, "0f") && !slice-equal?(op1, "f2") && !slice-equal?(op1, "f3")
# return # return
# #
# var op2 = next-word(line) # var op2 = next-word(line)
# if (slice-empty?(op2) || slice-starts-with?(op2, "#")) return # if (slice-empty?(op2) || slice-starts-with?(op2, "#")) return
# op2 = next-token-from-slice(op2->start, op2->end, "/") # op2 = next-token-from-slice(op2->start, op2->end, "/")
# write-slice(out, op2) # write-slice-buffered(out, op2)
# if slice-equal?(op1, "0f") # if slice-equal?(op1, "0f")
# return # return
# if !slice-equal?(op2, "0f") # if !slice-equal?(op2, "0f")
@ -2015,7 +2015,7 @@ emit-opcodes: # line : (address stream byte), out : (address buffered-file) ->
# var op3 = next-word(line) # var op3 = next-word(line)
# if (slice-empty?(op3) || slice-starts-with?(op3, "#")) return # if (slice-empty?(op3) || slice-starts-with?(op3, "#")) return
# op3 = next-token-from-slice(op3->start, op3->end, "/") # op3 = next-token-from-slice(op3->start, op3->end, "/")
# write-slice(out, op3) # write-slice-buffered(out, op3)
# #
# . prolog # . prolog
55/push-EBP 55/push-EBP
@ -2079,12 +2079,12 @@ $emit-opcodes:op1:
e8/call next-token-from-slice/disp32 e8/call next-token-from-slice/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 0x10/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 0x10/imm32 # add to ESP
# write-slice(out, op1) # write-slice-buffered(out, op1)
# . . push args # . . push args
51/push-ECX 51/push-ECX
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0xc/disp8 . # push *(EBP+12) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0xc/disp8 . # push *(EBP+12)
# . . call # . . call
e8/call write-slice/disp32 e8/call write-slice-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# write-buffered(out, " ") # write-buffered(out, " ")
@ -2172,12 +2172,12 @@ $emit-opcodes:op2:
e8/call next-token-from-slice/disp32 e8/call next-token-from-slice/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 0x10/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 0x10/imm32 # add to ESP
# write-slice(out, op2) # write-slice-buffered(out, op2)
# . . push args # . . push args
52/push-EDX 52/push-EDX
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0xc/disp8 . # push *(EBP+12) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0xc/disp8 . # push *(EBP+12)
# . . call # . . call
e8/call write-slice/disp32 e8/call write-slice-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# write-buffered(out, " ") # write-buffered(out, " ")
@ -2251,12 +2251,12 @@ $emit-opcodes:op3:
e8/call next-token-from-slice/disp32 e8/call next-token-from-slice/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 0x10/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 0x10/imm32 # add to ESP
# write-slice(out, op3) # write-slice-buffered(out, op3)
# . . push args # . . push args
52/push-EDX 52/push-EDX
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0xc/disp8 . # push *(EBP+12) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 0xc/disp8 . # push *(EBP+12)
# . . call # . . call
e8/call write-slice/disp32 e8/call write-slice-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# write-buffered(out, " ") # write-buffered(out, " ")
@ -2388,12 +2388,12 @@ $emit-modrm:loop:
#? e8/call clear-stream/disp32 #? e8/call clear-stream/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
#? # . write-slice(Stderr, word-slice) #? # . write-slice-buffered(Stderr, word-slice)
#? # . . push args #? # . . push args
#? 51/push-ECX #? 51/push-ECX
#? 68/push Stderr/imm32 #? 68/push Stderr/imm32
#? # . . call #? # . . call
#? e8/call write-slice/disp32 #? e8/call write-slice-buffered/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
#? # . flush(Stderr) #? # . flush(Stderr)
@ -2699,12 +2699,12 @@ $emit-sib:loop:
#? e8/call clear-stream/disp32 #? e8/call clear-stream/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
#? # . write-slice(Stderr, word-slice) #? # . write-slice-buffered(Stderr, word-slice)
#? # . . push args #? # . . push args
#? 51/push-ECX #? 51/push-ECX
#? 68/push Stderr/imm32 #? 68/push Stderr/imm32
#? # . . call #? # . . call
#? e8/call write-slice/disp32 #? e8/call write-slice-buffered/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
#? # . flush(Stderr) #? # . flush(Stderr)
@ -2964,12 +2964,12 @@ $emit-disp:loop:
#? e8/call clear-stream/disp32 #? e8/call clear-stream/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
#? # . write-slice(Stderr, word-slice) #? # . write-slice-buffered(Stderr, word-slice)
#? # . . push args #? # . . push args
#? 51/push-ECX #? 51/push-ECX
#? 68/push Stderr/imm32 #? 68/push Stderr/imm32
#? # . . call #? # . . call
#? e8/call write-slice/disp32 #? e8/call write-slice-buffered/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
#? # . flush(Stderr) #? # . flush(Stderr)
@ -3185,12 +3185,12 @@ $emit-imm:loop:
#? e8/call clear-stream/disp32 #? e8/call clear-stream/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 4/imm32 # add to ESP
#? # . write-slice(Stderr, word-slice) #? # . write-slice-buffered(Stderr, word-slice)
#? # . . push args #? # . . push args
#? 51/push-ECX #? 51/push-ECX
#? 68/push Stderr/imm32 #? 68/push Stderr/imm32
#? # . . call #? # . . call
#? e8/call write-slice/disp32 #? e8/call write-slice-buffered/disp32
#? # . . discard args #? # . . discard args
#? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP #? 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
#? # . flush(Stderr) #? # . flush(Stderr)
@ -6373,7 +6373,7 @@ emit: # out : (address buffered-file), word : (address slice), width : int -> <
e8/call next-token-from-slice/disp32 e8/call next-token-from-slice/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 0x10/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 0x10/imm32 # add to ESP
# if (is-valid-name?(datum)) write-slice(out, word) and return # if (is-valid-name?(datum)) write-slice-buffered(out, word) and return
# . EAX = is-valid-name?(name) # . EAX = is-valid-name?(name)
# . . push args # . . push args
57/push-EDI 57/push-EDI
@ -6385,12 +6385,12 @@ emit: # out : (address buffered-file), word : (address slice), width : int -> <
3d/compare-EAX-and 0/imm32 3d/compare-EAX-and 0/imm32
74/jump-if-equal $emit:hex-int/disp8 74/jump-if-equal $emit:hex-int/disp8
$emit:name: $emit:name:
# . write-slice(out, word) # . write-slice-buffered(out, word)
# . . push args # . . push args
56/push-ESI 56/push-ESI
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8)
# . . call # . . call
e8/call write-slice/disp32 e8/call write-slice-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# . write-buffered(out, " ") # . write-buffered(out, " ")
@ -7054,20 +7054,20 @@ $emit-hex:loop:
# if (curr >= width) break # if (curr >= width) break
39/compare 3/mod/direct 1/rm32/ECX . . . 2/r32/EDX . . # compare ECX with EDX 39/compare 3/mod/direct 1/rm32/ECX . . . 2/r32/EDX . . # compare ECX with EDX
7d/jump-if-greater-or-equal $emit-hex:end/disp8 7d/jump-if-greater-or-equal $emit-hex:end/disp8
# print-byte(out, EBX) # print-byte-buffered(out, EBX)
# . . push args # . . push args
53/push-EBX 53/push-EBX
57/push-EDI 57/push-EDI
# . . call # . . call
e8/call print-byte/disp32 e8/call print-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# write-byte(out, ' ') # write-byte-buffered(out, ' ')
# . . push args # . . push args
68/push 0x20/imm32/space 68/push 0x20/imm32/space
57/push-EDI 57/push-EDI
# . . call # . . call
e8/call write-byte/disp32 e8/call write-byte-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
# EBX = EBX >> 8 # EBX = EBX >> 8

View File

@ -7,7 +7,7 @@
# write an entire stream's contents to a buffered-file # write an entire stream's contents to a buffered-file
# ways to do this: # ways to do this:
# - construct a 'maximal slice' and pass it to write-slice # - construct a 'maximal slice' and pass it to write-slice-buffered
# - flush the buffered-file and pass the stream directly to its fd (disabling buffering) # - flush the buffered-file and pass the stream directly to its fd (disabling buffering)
# we'll go with the first way for now # we'll go with the first way for now
write-stream-data: # f : (address buffered-file), s : (address stream) -> <void> write-stream-data: # f : (address buffered-file), s : (address stream) -> <void>
@ -30,12 +30,12 @@ write-stream-data: # f : (address buffered-file), s : (address stream) -> <void
50/push-EAX 50/push-EAX
# . ECX = ESP # . ECX = ESP
89/copy 3/mod/direct 1/rm32/ECX . . . 4/r32/ESP . . # copy ESP to ECX 89/copy 3/mod/direct 1/rm32/ECX . . . 4/r32/ESP . . # copy ESP to ECX
# write-slice(f, slice) # write-slice-buffered(f, slice)
# . . push args # . . push args
51/push-ECX 51/push-ECX
ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8) ff 6/subop/push 1/mod/*+disp8 5/rm32/EBP . . . . 8/disp8 . # push *(EBP+8)
# . . call # . . call
e8/call write-slice/disp32 e8/call write-slice-buffered/disp32
# . . discard args # . . discard args
81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP 81 0/subop/add 3/mod/direct 4/rm32/ESP . . . . . 8/imm32 # add to ESP
$write-stream-data:end: $write-stream-data:end: