# A table is a stream of (key, value) rows.
#
# Each row consists of an 8-byte key -- a (handle array byte) -- and a variable-size value.
#
# Accessing the table performs a linear scan for a key string, and always
# requires passing in the row size.
#
# Table primitives have the form <variant>(stream, <arg>, row-size, ...) -> address/eax
#
# The following table shows available options for <variant>:
# if not found: | arg=string arg=slice
# ------------------------+---------------------------------------------------
# abort | get get-slice
# insert key | get-or-insert get-or-insert-slice
# | get-or-insert-handle
# stop | get-or-stop get-slice-or-stop
# return null | maybe-get maybe-get-slice
# Some variants may take extra args.
== code
# instruction effective address register displacement immediate
# . 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
# if no row is found, abort
get: # table: (addr stream {(handle array byte), T}), key: (addr array byte), row-size: int, abort-message-prefix: (addr array byte) -> result/eax: (addr T)
# pseudocode:
# curr = table->data
# max = &table->data[table->write]
# while curr < max
# var c: (addr array byte) = lookup(*curr)
# if string-equal?(key, c)
# return curr+8
# curr += row-size
# abort
#
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# . save registers
51/push-ecx
52/push-edx
56/push-esi
# esi = table
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 6/r32/esi 8/disp8 . # copy *(ebp+8) to esi
# var curr/ecx: (addr handle array byte) = table->data
8d/copy-address 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 0xc/disp8 . # copy esi+12 to ecx
# var max/edx: (addr byte) = &table->data[table->write]
8b/copy 0/mod/indirect 6/rm32/esi . . . 2/r32/edx . . # copy *esi to edx
8d/copy-address 0/mod/indirect 4/rm32/sib 1/base/ecx 2/index/edx . 2/r32/edx . . # copy ecx+edx to edx
$get:search-loop:
# if (curr >= max) abort
39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
73/jump-if-addr>= $get:abort/disp8
# var c/eax: (addr array byte) = lookup(*curr)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 4/disp8 . # push *(ecx+4)
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# if (string-equal?(key, c)) return curr+8
# . eax = string-equal?(key, c)
# . . push args
50/push-eax
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12)
# . . call
e8/call string-equal?/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . if (eax != false) return eax = curr+8
3d/compare-eax-and 0/imm32/false
74/jump-if-= $get:mismatch/disp8
8d/copy-address 1/mod/*+disp8 1/rm32/ecx . . . 0/r32/eax 8/disp8 . # copy ecx+8 to eax
eb/jump $get:end/disp8
$get:mismatch:
# curr += row-size
03/add 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 0x10/disp8 . # add *(ebp+16) to ecx
# loop
eb/jump $get:search-loop/disp8
$get:end:
# . restore registers
5e/pop-to-esi
5a/pop-to-edx
59/pop-to-ecx
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
$get:abort:
# . _write(2/stderr, abort-message-prefix)
# . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0x14/disp8 . # push *(ebp+20)
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . _write(2/stderr, error)
# . . push args
68/push ": get: key not found: "/imm32
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . _write(2/stderr, key)
# . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12)
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . _write(2/stderr, "\n")
# . . push args
68/push Newline/imm32
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . syscall_exit(1)
bb/copy-to-ebx 1/imm32
e8/call syscall_exit/disp32
# never gets here
test-get:
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# - setup: create a table with a couple of keys
# var table/ecx: (stream {(handle array byte), number} 24) # 2 rows * 12 bytes/row
81 5/subop/subtract 3/mod/direct 4/rm32/esp . . . . . 0x18/imm32 # subtract from esp
68/push 0x18/imm32/size
68/push 0/imm32/read
68/push 0/imm32/write
89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
# insert(table, "code", 12 bytes/row, Heap)
# . . push args
68/push Heap/imm32
68/push 0xc/imm32/row-size
68/push "code"/imm32
51/push-ecx
# . . call
e8/call get-or-insert/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
# insert(table, "data", 12 bytes/row, Heap)
# . . push args
68/push Heap/imm32
68/push 0xc/imm32/row-size
68/push "data"/imm32
51/push-ecx
# . . call
e8/call get-or-insert/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
$test-get:check1:
# eax = get(table, "code", 12 bytes/row)
# . . push args
68/push 0xc/imm32/row-size
68/push "code"/imm32
51/push-ecx
# . . call
e8/call get/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# check-ints-equal(eax - table->data, 8, msg)
# . check-ints-equal(eax - table, 20, msg)
# . . push args
68/push "F - test-get/0"/imm32
68/push 0x14/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get:check2:
# eax = get(table, "data", 12 bytes/row)
# . . push args
68/push 0xc/imm32/row-size
68/push "data"/imm32
51/push-ecx
# . . call
e8/call get/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# check-ints-equal(eax - table->data, 20, msg)
# . check-ints-equal(eax - table, 32, msg)
# . . push args
68/push "F - test-get/1"/imm32
68/push 0x20/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get:end:
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
# if no row is found, abort
get-slice: # table: (addr stream {(handle array byte), T}), key: (addr slice), row-size: int, abort-message-prefix: (addr array byte) -> result/eax: (addr T)
# pseudocode:
# curr = table->data
# max = &table->data[table->write]
# while curr < max
# var c: (addr array byte) = lookup(*curr)
# if slice-equal?(key, c)
# return curr+8
# curr += row-size
# abort
#
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# . save registers
51/push-ecx
52/push-edx
56/push-esi
# esi = table
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 6/r32/esi 8/disp8 . # copy *(ebp+8) to esi
# var curr/ecx: (addr handle array byte) = table->data
8d/copy-address 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 0xc/disp8 . # copy esi+12 to ecx
# var max/edx: (addr byte) = &table->data[table->write]
8b/copy 0/mod/indirect 6/rm32/esi . . . 2/r32/edx . . # copy *esi to edx
8d/copy-address 0/mod/indirect 4/rm32/sib 1/base/ecx 2/index/edx . 2/r32/edx . . # copy ecx+edx to edx
$get-slice:search-loop:
# if (curr >= max) abort
39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
73/jump-if-addr>= $get-slice:abort/disp8
# var c/eax: (addr array byte) = lookup(*curr)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 4/disp8 . # push *(ecx+4)
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# if (slice-equal?(key, c)) return curr+8
# . eax = slice-equal?(key, c)
# . . push args
50/push-eax
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12)
# . . call
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) return eax = curr+8
3d/compare-eax-and 0/imm32/false
74/jump-if-= $get-slice:mismatch/disp8
8d/copy-address 1/mod/*+disp8 1/rm32/ecx . . . 0/r32/eax 8/disp8 . # copy ecx+8 to eax
eb/jump $get-slice:end/disp8
$get-slice:mismatch:
# curr += row-size
03/add 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 0x10/disp8 . # add *(ebp+16) to ecx
# loop
eb/jump $get-slice:search-loop/disp8
$get-slice:end:
# . restore registers
5e/pop-to-esi
5a/pop-to-edx
59/pop-to-ecx
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
$get-slice:abort:
# . _write(2/stderr, abort-message-prefix)
# . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0x14/disp8 . # push *(ebp+20)
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . _write(2/stderr, error)
# . . push args
68/push ": get-slice: key not found: "/imm32
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . write-slice-buffered(Stderr, key)
# . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12)
68/push Stderr/imm32
# . . call
e8/call write-slice-buffered/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . flush(Stderr)
# . . push args
68/push Stderr/imm32
# . . call
e8/call flush/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
# . _write(2/stderr, "\n")
# . . push args
68/push Newline/imm32
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . syscall_exit(1)
bb/copy-to-ebx 1/imm32
e8/call syscall_exit/disp32
# never gets here
test-get-slice:
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# - setup: create a table with a couple of keys
# var table/ecx: (stream {string, number} 24) # 2 rows * 12 bytes/row
81 5/subop/subtract 3/mod/direct 4/rm32/esp . . . . . 0x18/imm32 # subtract from esp
68/push 0x18/imm32/size
68/push 0/imm32/read
68/push 0/imm32/write
89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
# insert(table, "code", 12 bytes/row, Heap)
# . . push args
68/push Heap/imm32
68/push 0xc/imm32/row-size
68/push "code"/imm32
51/push-ecx
# . . call
e8/call get-or-insert/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
# insert(table, "data", 12 bytes/row, Heap)
# . . push args
68/push Heap/imm32
68/push 0xc/imm32/row-size
68/push "data"/imm32
51/push-ecx
# . . call
e8/call get-or-insert/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
$test-get-slice:check1:
# (eax..edx) = "code"
b8/copy-to-eax "code"/imm32
8b/copy 0/mod/indirect 0/rm32/eax . . . 2/r32/edx . . # copy *eax to edx
8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 2/index/edx . 2/r32/edx 4/disp8 . # copy eax+edx+4 to edx
05/add-to-eax 4/imm32
# var slice/edx: slice = {eax, edx}
52/push-edx
50/push-eax
89/copy 3/mod/direct 2/rm32/edx . . . 4/r32/esp . . # copy esp to edx
# eax = get-slice(table, "code", 12 bytes/row)
# . . push args
68/push 0xc/imm32/row-size
52/push-edx
51/push-ecx
# . . call
e8/call get-slice/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# check-ints-equal(eax - table->data, 8, msg) # first row's value slot returned
# . check-ints-equal(eax - table, 20, msg)
# . . push args
68/push "F - test-get-slice/0"/imm32
68/push 0x14/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get-slice:check2:
# (eax..edx) = "data"
b8/copy-to-eax "data"/imm32
8b/copy 0/mod/indirect 0/rm32/eax . . . 2/r32/edx . . # copy *eax to edx
8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 2/index/edx . 2/r32/edx 4/disp8 . # copy eax+edx+4 to edx
05/add-to-eax 4/imm32
# var slice/edx: slice = {eax, edx}
52/push-edx
50/push-eax
89/copy 3/mod/direct 2/rm32/edx . . . 4/r32/esp . . # copy esp to edx
# eax = get-slice(table, "data" slice, 12 bytes/row)
# . . push args
68/push 0xc/imm32/row-size
52/push-edx
51/push-ecx
# . . call
e8/call get-slice/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# check-ints-equal(eax - table->data, 20, msg)
# . check-ints-equal(eax - table, 32, msg)
# . . push args
68/push "F - test-get-slice/1"/imm32
68/push 0x20/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get-slice:end:
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
# if no row is found, save 'key' to the next available row
# if there are no rows free, abort
# return the address of the value
get-or-insert: # table: (addr stream {(handle array byte), T}), key: (addr array byte), row-size: int, ad: (addr allocation-descriptor) -> result/eax: (addr T)
# pseudocode:
# curr = table->data
# max = &table->data[table->write]
# while curr < max
# var c: (addr array byte) = lookup(*curr)
# if string-equal?(key, c)
# return curr+8
# curr += row-size
# if table->write >= table->size
# abort
# zero-out(max, row-size)
# copy-array(ad, key, max)
# table->write += row-size
# return max+8
#
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# . save registers
51/push-ecx
52/push-edx
56/push-esi
# esi = table
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 6/r32/esi 8/disp8 . # copy *(ebp+8) to esi
# var curr/ecx: (addr handle array byte) = table->data
8d/copy-address 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 0xc/disp8 . # copy esi+12 to ecx
# var max/edx: (addr byte) = &table->data[table->write]
8b/copy 0/mod/indirect 6/rm32/esi . . . 2/r32/edx . . # copy *esi to edx
8d/copy-address 0/mod/indirect 4/rm32/sib 1/base/ecx 2/index/edx . 2/r32/edx . . # copy ecx+edx to edx
$get-or-insert:search-loop:
# if (curr >= max) break
39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
73/jump-if-addr>= $get-or-insert:not-found/disp8
# var c/eax: (addr array byte) = lookup(*curr)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 4/disp8 . # push *(ecx+4)
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# if (string-equal?(key, c)) return curr+8
# . eax = string-equal?(key, c)
# . . push args
50/push-eax
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12)
# . . call
e8/call string-equal?/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . if (eax != false) return eax = curr+8
3d/compare-eax-and 0/imm32/false
74/jump-if-= $get-or-insert:mismatch/disp8
8d/copy-address 1/mod/*+disp8 1/rm32/ecx . . . 0/r32/eax 8/disp8 . # copy ecx+8 to eax
eb/jump $get-or-insert:end/disp8
$get-or-insert:mismatch:
# curr += row-size
03/add 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 0x10/disp8 . # add *(ebp+16) to ecx
# loop
eb/jump $get-or-insert:search-loop/disp8
$get-or-insert:not-found:
# if (table->write >= table->size) abort
8b/copy 0/mod/indirect 6/rm32/esi . . . 1/r32/ecx . . # copy *esi to ecx
3b/compare 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 8/disp8 . # compare ecx with *(esi+8)
73/jump-if-addr>= $get-or-insert:abort/disp8
# zero-out(max, row-size)
# . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0x10/disp8 . # push *(ebp+16)
52/push-edx
# . . call
e8/call zero-out/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# copy-array(ad, key, max)
# . . push args
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 . . . . 0x14/disp8 . # push *(ebp+20)
# . . call
e8/call copy-array/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# table->write += row-size
# . eax = row-size
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 0/r32/eax 0x10/disp8 . # copy *(ebp+16) to eax
# . table->write += eax
01/add 0/mod/indirect 6/rm32/esi . . . 0/r32/eax . . # add eax to *esi
# return max+8
# . eax = max
89/copy 3/mod/direct 0/rm32/eax . . . 2/r32/edx . . # copy edx to eax
# . eax += 8
05/add-to-eax 8/imm32
$get-or-insert:end:
# . restore registers
5e/pop-to-esi
5a/pop-to-edx
59/pop-to-ecx
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
$get-or-insert:abort:
# . _write(2/stderr, error)
# . . push args
68/push "get-or-insert: table is full\n"/imm32
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . syscall_exit(1)
bb/copy-to-ebx 1/imm32
e8/call syscall_exit/disp32
# never gets here
test-get-or-insert:
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# var table/ecx: (stream {(handle array byte), number} 24) # 2 rows * 12 bytes/row
81 5/subop/subtract 3/mod/direct 4/rm32/esp . . . . . 0x18/imm32 # subtract from esp
68/push 0x18/imm32/size
68/push 0/imm32/read
68/push 0/imm32/write
89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
$test-get-or-insert:first-call:
# - start with an empty table, insert one key, verify that it was inserted
# eax = get-or-insert(table, "code", 12 bytes/row, Heap)
# . . push args
68/push Heap/imm32
68/push 0xc/imm32/row-size
68/push "code"/imm32
51/push-ecx
# . . call
e8/call get-or-insert/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
# check-ints-equal(eax - table->data, 8, msg) # first row's value slot returned
# . check-ints-equal(eax - table, 20, msg)
# . . push args
68/push "F - test-get-or-insert/0"/imm32
68/push 0x14/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# check-ints-equal(table->write, row-size = 12, msg)
# . . push args
68/push "F - test-get-or-insert/1"/imm32
68/push 0xc/imm32/row-size
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# var curr-addr/eax: (addr array byte) = lookup(table->data)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0x10/disp8 . # push *(ecx+16)
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0xc/disp8 . # push *(ecx+12)
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# check-strings-equal(curr-addr, "code", msg)
# . . push args
68/push "F - test-get-or-insert/2"/imm32
68/push "code"/imm32
50/push-eax
# . . call
e8/call check-strings-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get-or-insert:second-call:
# - insert the same key again, verify that it was reused
# eax = get-or-insert(table, "code", 12 bytes/row, Heap)
# . . push args
68/push Heap/imm32
68/push 0xc/imm32/row-size
68/push "code"/imm32
51/push-ecx
# . . call
e8/call get-or-insert/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
# check-ints-equal(eax - table->data, 8, msg)
# . check-ints-equal(eax - table, 20, msg)
# . . push args
68/push "F - test-get-or-insert/3"/imm32
68/push 0x14/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# no new row inserted
# . check-ints-equal(table->write, row-size = 12, msg)
# . . push args
68/push "F - test-get-or-insert/4"/imm32
68/push 0xc/imm32/row-size
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# curr-addr = lookup(table->data)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0x10/disp8 . # push *(ecx+16)
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0xc/disp8 . # push *(ecx+12)
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# check-strings-equal(curr-addr, "code", msg)
# . . push args
68/push "F - test-get-or-insert/5"/imm32
68/push "code"/imm32
50/push-eax
# . . call
e8/call check-strings-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get-or-insert:third-call:
# - insert a new key, verify that it was inserted
# eax = get-or-insert(table, "data", 12 bytes/row, Heap)
# . . push args
68/push Heap/imm32
68/push 0xc/imm32/row-size
68/push "data"/imm32
51/push-ecx
# . . call
e8/call get-or-insert/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
# table gets a new row
# check-ints-equal(eax - table->data, 20, msg) # second row's value slot returned
# . check-ints-equal(eax - table, 32, msg)
# . . push args
68/push "F - test-get-or-insert/6"/imm32
68/push 0x20/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# check-ints-equal(table->write, 2 rows = 24, msg)
# . . push args
68/push "F - test-get-or-insert/7"/imm32
68/push 0x18/imm32/two-rows
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# curr-addr = lookup(table->data+12)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0x1c/disp8 . # push *(ecx+28)
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0x18/disp8 . # push *(ecx+24)
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# check-strings-equal(curr-addr, "data", msg)
# . . push args
68/push "F - test-get-or-insert/8"/imm32
68/push "data"/imm32
50/push-eax
# . . call
e8/call check-strings-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get-or-insert:end:
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
# save 'key' to the next available row
# if key already exists, abort
# if there are no rows free, abort
# return the address of the value
insert-or-abort: # table: (addr stream {(handle array byte), T}), key: (addr array byte), row-size: int, ad: (addr allocation-descriptor) -> result/eax: (addr T)
# pseudocode:
# curr = table->data
# max = &table->data[table->write]
# while curr < max
# var c: (addr array byte) = lookup(*curr)
# if string-equal?(key, c)
# abort
# curr += row-size
# if table->write >= table->size
# abort
# zero-out(max, row-size)
# copy-array(ad, key, max)
# table->write += row-size
# return max+8
#
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# . save registers
51/push-ecx
52/push-edx
56/push-esi
# esi = table
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 6/r32/esi 8/disp8 . # copy *(ebp+8) to esi
# var curr/ecx: (addr handle array byte) = table->data
8d/copy-address 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 0xc/disp8 . # copy esi+12 to ecx
# var max/edx: (addr byte) = &table->data[table->write]
8b/copy 0/mod/indirect 6/rm32/esi . . . 2/r32/edx . . # copy *esi to edx
8d/copy-address 0/mod/indirect 4/rm32/sib 1/base/ecx 2/index/edx . 2/r32/edx . . # copy ecx+edx to edx
$insert-or-abort:search-loop:
# if (curr >= max) break
39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
73/jump-if-addr>= $insert-or-abort:not-found/disp8
# var c/eax: (addr array byte) = lookup(*curr)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 4/disp8 . # push *(ecx+4)
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# if (string-equal?(key, c)) abort
# . eax = string-equal?(key, c)
# . . push args
50/push-eax
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12)
# . . call
e8/call string-equal?/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . if (eax != false) abort
3d/compare-eax-and 0/imm32/false
0f 85/jump-if-!= $insert-or-abort:error-duplicate/disp32
# curr += row-size
03/add 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 0x10/disp8 . # add *(ebp+16) to ecx
# loop
eb/jump $insert-or-abort:search-loop/disp8
$insert-or-abort:not-found:
# if (table->write >= table->size) abort
8b/copy 0/mod/indirect 6/rm32/esi . . . 1/r32/ecx . . # copy *esi to ecx
3b/compare 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 8/disp8 . # compare ecx with *(esi+8)
0f 83/jump-if-addr>= $insert-or-abort:error-full/disp32
# zero-out(max, row-size)
# . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0x10/disp8 . # push *(ebp+16)
52/push-edx
# . . call
e8/call zero-out/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# copy-array(ad, key, max)
# . . push args
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 . . . . 0x14/disp8 . # push *(ebp+20)
# . . call
e8/call copy-array/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# table->write += row-size
# . eax = row-size
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 0/r32/eax 0x10/disp8 . # copy *(ebp+16) to eax
# . table->write += eax
01/add 0/mod/indirect 6/rm32/esi . . . 0/r32/eax . . # add eax to *esi
# return max+8
# . eax = max
89/copy 3/mod/direct 0/rm32/eax . . . 2/r32/edx . . # copy edx to eax
# . eax += 8
05/add-to-eax 8/imm32
$insert-or-abort:end:
# . restore registers
5e/pop-to-esi
5a/pop-to-edx
59/pop-to-ecx
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
$insert-or-abort:error-duplicate:
# . _write(2/stderr, error)
# . . push args
68/push "insert-or-abort: key already exists: "/imm32
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . _write(2/stderr, key)
# . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12)
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . _write(2/stderr, "\n")
# . . push args
68/push "\n"/imm32
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . syscall_exit(1)
bb/copy-to-ebx 1/imm32
e8/call syscall_exit/disp32
# never gets here
$insert-or-abort:error-full:
# . _write(2/stderr, error)
# . . push args
68/push "insert-or-abort: table is full\n"/imm32
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . syscall_exit(1)
bb/copy-to-ebx 1/imm32
e8/call syscall_exit/disp32
# never gets here
# if no row is found, save 'key' to the next available row
# if there are no rows free, abort
# return the address of the value
get-or-insert-handle: # table: (addr stream {(handle array byte), T}), key: (handle array byte), row-size: int -> result/eax: (addr T)
# pseudocode:
# var curr: (addr handle stream) = table->data
# var max: (addr byte) = &table->data[table->write]
# var k: (addr array byte) = lookup(key)
# while curr < max
# var c: (addr array byte) = lookup(*curr)
# if string-equal?(k, c)
# return curr+8
# curr += row-size
# if table->write >= table->size
# abort
# *max = key
# table->write += row-size
# return max+8
#
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# . save registers
51/push-ecx
52/push-edx
53/push-ebx
56/push-esi
# esi = table
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 6/r32/esi 8/disp8 . # copy *(ebp+8) to esi
# var k/ebx: (addr array byte) = lookup(key)
# . eax = lookup(key)
# . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0x10/disp8 . # push *(ebp+16)
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12)
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . ebx = eax
89/copy 3/mod/direct 3/rm32/ebx . . . 0/r32/eax . . # copy eax to ebx
# var curr/ecx: (addr handle array byte) = table->data
8d/copy-address 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 0xc/disp8 . # copy esi+12 to ecx
# var max/edx: (addr byte) = &table->data[table->write]
8b/copy 0/mod/indirect 6/rm32/esi . . . 2/r32/edx . . # copy *esi to edx
8d/copy-address 0/mod/indirect 4/rm32/sib 1/base/ecx 2/index/edx . 2/r32/edx . . # copy ecx+edx to edx
$get-or-insert-handle:search-loop:
# if (curr >= max) break
39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
73/jump-if-addr>= $get-or-insert-handle:not-found/disp8
# var c/eax: (addr array byte) = lookup(*curr)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 4/disp8 . # push *(ecx+4)
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# if (string-equal?(k, c)) return curr+8
# . eax = string-equal?(k, c)
# . . push args
50/push-eax
53/push-ebx
# . . call
e8/call string-equal?/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . if (eax != false) return eax = curr+8
3d/compare-eax-and 0/imm32/false
74/jump-if-= $get-or-insert-handle:mismatch/disp8
8d/copy-address 1/mod/*+disp8 1/rm32/ecx . . . 0/r32/eax 8/disp8 . # copy ecx+8 to eax
eb/jump $get-or-insert-handle:end/disp8
$get-or-insert-handle:mismatch:
# curr += row-size
03/add 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 0x14/disp8 . # add *(ebp+20) to ecx
# loop
eb/jump $get-or-insert-handle:search-loop/disp8
$get-or-insert-handle:not-found:
# if (table->write >= table->size) abort
8b/copy 0/mod/indirect 6/rm32/esi . . . 1/r32/ecx . . # copy *esi to ecx
3b/compare 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 8/disp8 . # compare ecx with *(esi+8)
73/jump-if-addr>= $get-or-insert-handle:abort/disp8
# table->write += row-size
# . eax = row-size
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 0/r32/eax 0x14/disp8 . # copy *(ebp+20) to eax
# . table->write += eax
01/add 0/mod/indirect 6/rm32/esi . . . 0/r32/eax . . # add eax to *esi
# *max = key
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 0/r32/eax 0xc/disp8 . # copy *(ebp+12) to eax
89/copy 0/mod/indirect 2/rm32/edx . . . 0/r32/eax . . # copy eax to *edx
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 0/r32/eax 0x10/disp8 . # copy *(ebp+16) to eax
89/copy 1/mod/*+disp8 2/rm32/edx . . . 0/r32/eax 4/disp8 . # copy eax to *(edx+4)
# return max+8
# . eax = max
89/copy 3/mod/direct 0/rm32/eax . . . 2/r32/edx . . # copy edx to eax
# . eax += 8
05/add-to-eax 8/imm32
$get-or-insert-handle:end:
# . restore registers
5e/pop-to-esi
5b/pop-to-ebx
5a/pop-to-edx
59/pop-to-ecx
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
$get-or-insert-handle:abort:
# . _write(2/stderr, error)
# . . push args
68/push "get-or-insert-handle: table is full\n"/imm32
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . syscall_exit(1)
bb/copy-to-ebx 1/imm32
e8/call syscall_exit/disp32
# never gets here
test-get-or-insert-handle:
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# var table/ecx: (stream {(handle array byte), number} 24) # 2 rows * 12 bytes/row
81 5/subop/subtract 3/mod/direct 4/rm32/esp . . . . . 0x18/imm32 # subtract from esp
68/push 0x18/imm32/size
68/push 0/imm32/read
68/push 0/imm32/write
89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
# var h/edx: (handle array byte)
68/push 0/imm32
68/push 0/imm32
89/copy 3/mod/direct 2/rm32/edx . . . 4/r32/esp . . # copy esp to edx
$test-get-or-insert-handle:first-call:
# - start with an empty table, insert one key, verify that it was inserted
# copy-array(Heap, "code", h)
# . . push args
52/push-edx
68/push "code"/imm32
68/push Heap/imm32
# . . call
e8/call copy-array/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# eax = get-or-insert-handle(table, h, 12 bytes/row)
# . . push args
68/push 0xc/imm32/row-size
ff 6/subop/push 1/mod/*+disp8 2/rm32/edx . . . . 4/disp8 . # push *(edx+4)
ff 6/subop/push 0/mod/indirect 2/rm32/edx . . . . . . # push *edx
51/push-ecx
# . . call
e8/call get-or-insert-handle/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
# check-ints-equal(eax - table->data, 8, msg) # first row's value slot returned
# . check-ints-equal(eax - table, 20, msg)
# . . push args
68/push "F - test-get-or-insert-handle/0"/imm32
68/push 0x14/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# check-ints-equal(table->write, row-size = 12, msg)
# . . push args
68/push "F - test-get-or-insert-handle/1"/imm32
68/push 0xc/imm32/row-size
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# var curr-addr/eax: (addr array byte) = lookup(table->data)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0x10/disp8 . # push *(ecx+16)
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0xc/disp8 . # push *(ecx+12)
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# check-strings-equal(curr-addr, "code", msg)
# . . push args
68/push "F - test-get-or-insert-handle/2"/imm32
68/push "code"/imm32
50/push-eax
# . . call
e8/call check-strings-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get-or-insert-handle:second-call:
# - insert the same key again, verify that it was reused
# copy-array(Heap, "code", h)
# . . push args
52/push-edx
68/push "code"/imm32
68/push Heap/imm32
# . . call
e8/call copy-array/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# eax = get-or-insert-handle(table, h, 12 bytes/row)
# . . push args
68/push 0xc/imm32/row-size
ff 6/subop/push 1/mod/*+disp8 2/rm32/edx . . . . 4/disp8 . # push *(edx+4)
ff 6/subop/push 0/mod/indirect 2/rm32/edx . . . . . . # push *edx
51/push-ecx
# . . call
e8/call get-or-insert-handle/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
# check-ints-equal(eax - table->data, 8, msg)
# . check-ints-equal(eax - table, 20, msg)
# . . push args
68/push "F - test-get-or-insert-handle/3"/imm32
68/push 0x14/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# no new row inserted
# . check-ints-equal(table->write, row-size = 12, msg)
# . . push args
68/push "F - test-get-or-insert-handle/4"/imm32
68/push 0xc/imm32/row-size
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# curr-addr = lookup(table->data)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0x10/disp8 . # push *(ecx+16)
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0xc/disp8 . # push *(ecx+12)
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# check-strings-equal(curr-addr, "code", msg)
# . . push args
68/push "F - test-get-or-insert-handle/5"/imm32
68/push "code"/imm32
50/push-eax
# . . call
e8/call check-strings-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get-or-insert-handle:third-call:
# - insert a new key, verify that it was inserted
# copy-array(Heap, "data", h)
# . . push args
52/push-edx
68/push "data"/imm32
68/push Heap/imm32
# . . call
e8/call copy-array/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# eax = get-or-insert-handle(table, h, 12 bytes/row)
# . . push args
68/push 0xc/imm32/row-size
ff 6/subop/push 1/mod/*+disp8 2/rm32/edx . . . . 4/disp8 . # push *(edx+4)
ff 6/subop/push 0/mod/indirect 2/rm32/edx . . . . . . # push *edx
51/push-ecx
# . . call
e8/call get-or-insert-handle/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
# table gets a new row
# check-ints-equal(eax - table->data, 20, msg) # second row's value slot returned
# . check-ints-equal(eax - table, 32, msg)
# . . push args
68/push "F - test-get-or-insert-handle/6"/imm32
68/push 0x20/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# check-ints-equal(table->write, 2 rows = 24, msg)
# . . push args
68/push "F - test-get-or-insert-handle/7"/imm32
68/push 0x18/imm32/two-rows
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# curr-addr = lookup(table->data+12)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0x1c/disp8 . # push *(ecx+28)
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0x18/disp8 . # push *(ecx+24)
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# check-strings-equal(curr-addr, "data", msg)
# . . push args
68/push "F - test-get-or-insert-handle/8"/imm32
68/push "data"/imm32
50/push-eax
# . . call
e8/call check-strings-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get-or-insert-handle:end:
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
# if no row is found, save 'key' in the next available row
# if there are no rows free, abort
get-or-insert-slice: # table: (addr stream {(handle array byte), T}), key: (addr slice), row-size: int, ad: (addr allocation-descriptor) -> result/eax: (addr T)
# pseudocode:
# curr = table->data
# max = &table->data[table->write]
# while curr < max
# var c: (addr array byte) = lookup(*curr)
# if slice-equal?(key, *curr)
# return curr+8
# curr += row-size
# if table->write >= table->size
# abort
# zero-out(max, row-size)
# slice-to-string(ad, key, max)
# table->write += row-size
# return max+8
#
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# . save registers
51/push-ecx
52/push-edx
56/push-esi
# esi = table
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 6/r32/esi 8/disp8 . # copy *(ebp+8) to esi
# var curr/ecx: (addr handle array byte) = table->data
8d/copy-address 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 0xc/disp8 . # copy esi+12 to ecx
# var max/edx: (addr byte) = &table->data[table->write]
8b/copy 0/mod/indirect 6/rm32/esi . . . 2/r32/edx . . # copy *esi to edx
8d/copy-address 0/mod/indirect 4/rm32/sib 1/base/ecx 2/index/edx . 2/r32/edx . . # copy ecx+edx to edx
$get-or-insert-slice:search-loop:
# if (curr >= max) break
39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
73/jump-if-addr>= $get-or-insert-slice:not-found/disp8
# var c/eax: (addr array byte) = lookup(*curr)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 4/disp8 . # push *(ecx+4)
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# if (slice-equal?(key, c)) return curr+4
# . eax = slice-equal?(key, c)
# . . push args
50/push-eax
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12)
# . . call
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) return eax = curr+8
3d/compare-eax-and 0/imm32/false
74/jump-if-= $get-or-insert-slice:mismatch/disp8
8d/copy-address 1/mod/*+disp8 1/rm32/ecx . . . 0/r32/eax 8/disp8 . # copy ecx+8 to eax
eb/jump $get-or-insert-slice:end/disp8
$get-or-insert-slice:mismatch:
# curr += row-size
03/add 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 0x10/disp8 . # add *(ebp+16) to ecx
# loop
eb/jump $get-or-insert-slice:search-loop/disp8
$get-or-insert-slice:not-found:
# result/eax = 0
31/xor 3/mod/direct 0/rm32/eax . . . 0/r32/eax . . # clear eax
# if (table->write >= table->size) abort
8b/copy 0/mod/indirect 6/rm32/esi . . . 1/r32/ecx . . # copy *esi to ecx
3b/compare 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 8/disp8 . # compare ecx with *(esi+8)
7d/jump-if->= $get-or-insert-slice:abort/disp8
# zero-out(max, row-size)
# . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0x10/disp8 . # push *(ebp+16)
52/push-edx
# . . call
e8/call zero-out/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# slice-to-string(ad, key, max)
# . . push args
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 . . . . 0x14/disp8 . # push *(ebp+20)
# . . call
e8/call slice-to-string/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# table->write += row-size
# . eax = row-size
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 0/r32/eax 0x10/disp8 . # copy *(ebp+16) to eax
# . table->write += eax
01/add 0/mod/indirect 6/rm32/esi . . . 0/r32/eax . . # add eax to *esi
# return max+8
# . eax = max
89/copy 3/mod/direct 0/rm32/eax . . . 2/r32/edx . . # copy edx to eax
# . eax += 8
05/add-to-eax 8/imm32
$get-or-insert-slice:end:
# . restore registers
5e/pop-to-esi
5a/pop-to-edx
59/pop-to-ecx
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
$get-or-insert-slice:abort:
# . _write(2/stderr, error)
# . . push args
68/push "get-or-insert-slice: table is full\n"/imm32
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . syscall_exit(1)
bb/copy-to-ebx 1/imm32
e8/call syscall_exit/disp32
# never gets here
test-get-or-insert-slice:
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# var table/ecx: (stream {string, number} 24) # 2 rows * 12 bytes/row
81 5/subop/subtract 3/mod/direct 4/rm32/esp . . . . . 0x18/imm32 # subtract from esp
68/push 0x18/imm32/size
68/push 0/imm32/read
68/push 0/imm32/write
89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
# (eax..edx) = "code"
b8/copy-to-eax "code"/imm32
8b/copy 0/mod/indirect 0/rm32/eax . . . 2/r32/edx . . # copy *eax to edx
8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 2/index/edx . 2/r32/edx 4/disp8 . # copy eax+edx+4 to edx
05/add-to-eax 4/imm32
# var slice/edx: slice = {eax, edx}
52/push-edx
50/push-eax
89/copy 3/mod/direct 2/rm32/edx . . . 4/r32/esp . . # copy esp to edx
$test-get-or-insert-slice:first-call:
# - start with an empty table, insert one key, verify that it was inserted
# eax = get-or-insert-slice(table, "code" slice, 12 bytes/row, Heap)
# . . push args
68/push Heap/imm32
68/push 0xc/imm32/row-size
52/push-edx
51/push-ecx
# . . call
e8/call get-or-insert-slice/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
# check-ints-equal(eax - table->data, 8, msg) # first row's value slot returned
# . check-ints-equal(eax - table, 20, msg)
# . . push args
68/push "F - test-get-or-insert-slice/0"/imm32
68/push 0x14/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# check-ints-equal(table->write, row-size = 12, msg)
# . . push args
68/push "F - test-get-or-insert-slice/1"/imm32
68/push 0xc/imm32/row-size
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# var curr-addr/eax: (addr array byte) = lookup(table->data)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0x10/disp8 . # push *(ecx+16)
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0xc/disp8 . # push *(ecx+12)
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# check-strings-equal(curr-addr, "code", msg)
# . . push args
68/push "F - test-get-or-insert-slice/2"/imm32
68/push "code"/imm32
50/push-eax
# . . call
e8/call check-strings-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get-or-insert-slice:second-call:
# - insert the same key again, verify that it was reused
# eax = get-or-insert-slice(table, "code" slice, 12 bytes/row)
# . . push args
68/push Heap/imm32
68/push 0xc/imm32/row-size
52/push-edx
51/push-ecx
# . . call
e8/call get-or-insert-slice/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
# check-ints-equal(eax - table->data, 8, msg)
# . check-ints-equal(eax - table, 20, msg)
# . . push args
68/push "F - test-get-or-insert-slice/3"/imm32
68/push 0x14/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# no new row inserted
# . check-ints-equal(table->write, row-size = 12, msg)
# . . push args
68/push "F - test-get-or-insert-slice/4"/imm32
68/push 0xc/imm32/row-size
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# curr-addr = lookup(table->data)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0x10/disp8 . # push *(ecx+16)
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0xc/disp8 . # push *(ecx+12)
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# check-strings-equal(curr-addr, "code", msg)
# . . push args
68/push "F - test-get-or-insert-slice/5"/imm32
68/push "code"/imm32
50/push-eax
# . . call
e8/call check-strings-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get-or-insert-slice:third-call:
# - insert a new key, verify that it was inserted
# (eax..edx) = "data"
b8/copy-to-eax "data"/imm32
8b/copy 0/mod/indirect 0/rm32/eax . . . 2/r32/edx . . # copy *eax to edx
8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 2/index/edx . 2/r32/edx 4/disp8 . # copy eax+edx+4 to edx
05/add-to-eax 4/imm32
# var slice/edx: slice = {eax, edx}
52/push-edx
50/push-eax
89/copy 3/mod/direct 2/rm32/edx . . . 4/r32/esp . . # copy esp to edx
# eax = get-or-insert-slice(table, "data" slice, 12 bytes/row)
# . . push args
68/push Heap/imm32
68/push 0xc/imm32/row-size
52/push-edx
51/push-ecx
# . . call
e8/call get-or-insert-slice/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
# table gets a new row
# check-ints-equal(eax - table->data, 20, msg) # second row's value slot returned
# . check-ints-equal(eax - table, 32, msg)
# . . push args
68/push "F - test-get-or-insert-slice/6"/imm32
68/push 0x20/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# check-ints-equal(table->write, 2 rows = 24, msg)
# . . push args
68/push "F - test-get-or-insert-slice/7"/imm32
68/push 0x18/imm32/two-rows
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# curr-addr = lookup(table->data+12)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0x1c/disp8 . # push *(ecx+28)
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0x18/disp8 . # push *(ecx+24)
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# check-strings-equal(curr-addr, "data", msg)
# . . push args
68/push "F - test-get-or-insert-slice/8"/imm32
68/push "data"/imm32
50/push-eax
# . . call
e8/call check-strings-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get-or-insert-slice:end:
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
# if no row is found, save 'key' in the next available row
# if there are no rows free, abort
insert-slice-or-abort: # table: (addr stream {(handle array byte), T}), key: (addr slice), row-size: int, ad: (addr allocation-descriptor) -> result/eax: (addr T)
# pseudocode:
# curr = table->data
# max = &table->data[table->write]
# while curr < max
# var c: (addr array byte) = lookup(*curr)
# if slice-equal?(key, *curr)
# return curr+8
# curr += row-size
# if table->write >= table->size
# abort
# zero-out(max, row-size)
# slice-to-string(ad, key, max)
# table->write += row-size
# return max+8
#
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# . save registers
51/push-ecx
52/push-edx
56/push-esi
# esi = table
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 6/r32/esi 8/disp8 . # copy *(ebp+8) to esi
# var curr/ecx: (addr handle array byte) = table->data
8d/copy-address 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 0xc/disp8 . # copy esi+12 to ecx
# var max/edx: (addr byte) = &table->data[table->write]
8b/copy 0/mod/indirect 6/rm32/esi . . . 2/r32/edx . . # copy *esi to edx
8d/copy-address 0/mod/indirect 4/rm32/sib 1/base/ecx 2/index/edx . 2/r32/edx . . # copy ecx+edx to edx
$insert-slice-or-abort:search-loop:
# if (curr >= max) break
39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
73/jump-if-addr>= $insert-slice-or-abort:not-found/disp8
# var c/eax: (addr array byte) = lookup(*curr)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 4/disp8 . # push *(ecx+4)
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# if (slice-equal?(key, c)) abort
# . eax = slice-equal?(key, c)
# . . push args
50/push-eax
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12)
# . . call
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) abort
3d/compare-eax-and 0/imm32/false
0f 85/jump-if-!= $insert-slice-or-abort:error-duplicate/disp32
# curr += row-size
03/add 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 0x10/disp8 . # add *(ebp+16) to ecx
# loop
eb/jump $insert-slice-or-abort:search-loop/disp8
$insert-slice-or-abort:not-found:
# result/eax = 0
31/xor 3/mod/direct 0/rm32/eax . . . 0/r32/eax . . # clear eax
# if (table->write >= table->size) abort
8b/copy 0/mod/indirect 6/rm32/esi . . . 1/r32/ecx . . # copy *esi to ecx
3b/compare 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 8/disp8 . # compare ecx with *(esi+8)
0f 8d/jump-if->= $insert-slice-or-abort:error-full/disp32
# zero-out(max, row-size)
# . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0x10/disp8 . # push *(ebp+16)
52/push-edx
# . . call
e8/call zero-out/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# slice-to-string(ad, key, max)
# . . push args
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 . . . . 0x14/disp8 . # push *(ebp+20)
# . . call
e8/call slice-to-string/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# table->write += row-size
# . eax = row-size
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 0/r32/eax 0x10/disp8 . # copy *(ebp+16) to eax
# . table->write += eax
01/add 0/mod/indirect 6/rm32/esi . . . 0/r32/eax . . # add eax to *esi
# return max+8
# . eax = max
89/copy 3/mod/direct 0/rm32/eax . . . 2/r32/edx . . # copy edx to eax
# . eax += 8
05/add-to-eax 8/imm32
$insert-slice-or-abort:end:
# . restore registers
5e/pop-to-esi
5a/pop-to-edx
59/pop-to-ecx
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
$insert-slice-or-abort:error-duplicate:
# . flush(Stderr)
# . . push args
68/push Stderr/imm32
# . . call
e8/call flush/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
# . _write(2/stderr, error)
# . . push args
68/push "insert-slice-or-abort: key already exists: "/imm32
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . write-slice-buffered(Stderr, key)
# . . push args
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12)
68/push Stderr/imm32
# . . call
e8/call write-slice-buffered/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . flush(Stderr)
# . . push args
68/push Stderr/imm32
# . . call
e8/call flush/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
# . _write(2/stderr, "\n")
# . . push args
68/push "\n"/imm32
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . syscall_exit(1)
bb/copy-to-ebx 1/imm32
e8/call syscall_exit/disp32
# never gets here
$insert-slice-or-abort:error-full:
# . _write(2/stderr, error)
# . . push args
68/push "insert-slice-or-abort: table is full\n"/imm32
68/push 2/imm32/stderr
# . . call
e8/call _write/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . syscall_exit(1)
bb/copy-to-ebx 1/imm32
e8/call syscall_exit/disp32
# never gets here
# if no row is found, stop(ed)
get-or-stop: # table: (addr stream {(handle array byte), T}), key: (addr array byte), row-size: int,
# abort-message-prefix: (addr array byte), err: (addr buffered-file), ed: (addr exit-descriptor)
# -> result/eax: (addr T)
# pseudocode:
# curr = table->data
# max = &table->data[table->write]
# while curr < max
# var c: (addr array byte) = lookup(*curr)
# if string-equal?(key, c)
# return curr+8
# curr += row-size
# write-buffered(err, msg)
# stop(ed)
#
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# . save registers
51/push-ecx
52/push-edx
56/push-esi
# esi = table
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 6/r32/esi 8/disp8 . # copy *(ebp+8) to esi
# var curr/ecx: (addr handle array byte) = table->data
8d/copy-address 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 0xc/disp8 . # copy esi+12 to ecx
# var max/edx: (addr byte) = &table->data[table->write]
8b/copy 0/mod/indirect 6/rm32/esi . . . 2/r32/edx . . # copy *esi to edx
8d/copy-address 0/mod/indirect 4/rm32/sib 1/base/ecx 2/index/edx . 2/r32/edx . . # copy ecx+edx to edx
$get-or-stop:search-loop:
# if (curr >= max) stop(ed)
39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
73/jump-if-addr>= $get-or-stop:stop/disp8
# var c/eax: (addr array byte) = lookup(*curr)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 4/disp8 . # push *(ecx+4)
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# if (string-equal?(key, c)) return curr+8
# . eax = string-equal?(key, c)
# . . push args
50/push-eax
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12)
# . . call
e8/call string-equal?/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . if (eax != false) return eax = curr+8
3d/compare-eax-and 0/imm32/false
74/jump-if-= $get-or-stop:mismatch/disp8
8d/copy-address 1/mod/*+disp8 1/rm32/ecx . . . 0/r32/eax 8/disp8 . # copy ecx+8 to eax
eb/jump $get-or-stop:end/disp8
$get-or-stop:mismatch:
# curr += row-size
03/add 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 0x10/disp8 . # add *(ebp+16) to ecx
# loop
eb/jump $get-or-stop:search-loop/disp8
$get-or-stop:end:
# . restore registers
5e/pop-to-esi
5a/pop-to-edx
59/pop-to-ecx
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
$get-or-stop:stop:
# . write-buffered(err, abort-message-prefix)
# . . 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 . . . . 0x18/disp8 . # push *(ebp+24)
# . . call
e8/call write-buffered/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . write-buffered(err, error)
# . . push args
68/push ": get-or-stop: key not found: "/imm32
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0x18/disp8 . # push *(ebp+24)
# . . call
e8/call write-buffered/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . write-buffered(err, key)
# . . push args
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 . . . . 0x18/disp8 . # push *(ebp+24)
# . . call
e8/call write-buffered/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . write-buffered(err, "\n")
# . . push args
68/push Newline/imm32
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0x18/disp8 . # push *(ebp+24)
# . . call
e8/call write-buffered/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . stop(ed, 1)
# . . push args
68/push 1/imm32
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0x1c/disp8 . # push *(ebp+28)
# . . call
e8/call stop/disp32
# never gets here
$get-or-stop:terminus:
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# syscall_exit(1)
bb/copy-to-ebx 1/imm32
e8/call syscall_exit/disp32
test-get-or-stop:
# This test uses exit-descriptors. Use ebp for setting up local variables.
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# setup
# . clear-stream(_test-error-stream)
# . . push args
68/push _test-error-stream/imm32
# . . call
e8/call clear-stream/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
# . clear-stream($_test-error-buffered-file->buffer)
# . . push args
68/push $_test-error-buffered-file->buffer/imm32
# . . call
e8/call clear-stream/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
# var table/ecx: (stream {string, number} 24) # 2 rows * 12 bytes/row
81 5/subop/subtract 3/mod/direct 4/rm32/esp . . . . . 0x18/imm32 # subtract from esp
68/push 0x18/imm32/size
68/push 0/imm32/read
68/push 0/imm32/write
89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
# var ed/edx: exit-descriptor
68/push 0/imm32
68/push 0/imm32
89/copy 3/mod/direct 2/rm32/edx . . . 4/r32/esp . . # copy esp to edx
# size 'ed' for the calls to 'get-or-stop'
# . tailor-exit-descriptor(ed, 24)
# . . push args
68/push 0x18/imm32/nbytes-of-args-for-get-or-stop
52/push-edx
# . . call
e8/call tailor-exit-descriptor/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# insert(table, "code", 12 bytes/row, Heap)
# . . push args
68/push Heap/imm32
68/push 0xc/imm32/row-size
68/push "code"/imm32
51/push-ecx
# . . call
e8/call get-or-insert/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
$test-get-or-stop:success:
# eax = get-or-stop(table, "code", row-size=12, msg, _test-error-buffered-file, ed)
# . . push args
52/push-edx/ed
68/push _test-error-buffered-file/imm32
68/push "foo"/imm32/abort-prefix
68/push 0xc/imm32/row-size
68/push "code"/imm32
51/push-ecx
# . . call
e8/call get-or-stop/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x18/imm32 # add to esp
$test-get-or-stop:success-assertion:
# check-ints-equal(eax - table->data, 8, msg)
# . check-ints-equal(eax - table, 20, msg)
# . . push args
68/push "F - test-get-or-stop/0"/imm32
68/push 0x14/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get-or-stop:failure:
# eax = get-or-stop(table, "data", row-size=12, msg, _test-error-buffered-file, ed)
# . . push args
52/push-edx/ed
68/push _test-error-buffered-file/imm32
68/push "foo"/imm32/abort-prefix
68/push 0xc/imm32/row-size
68/push "data"/imm32
51/push-ecx
# . . call
e8/call get-or-stop/disp32
# registers except esp may be clobbered at this point
# restore register args, discard others
59/pop-to-ecx
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
5a/pop-to-edx
$test-get-or-stop:failure-assertion:
# check that get-or-stop tried to call stop(1)
# . check-ints-equal(ed->value, 2, msg)
# . . push args
68/push "F - test-get-or-stop/1"/imm32
68/push 2/imm32
# . . push ed->value
ff 6/subop/push 1/mod/*+disp8 2/rm32/edx . . . . 4/disp8 . # push *(edx+4)
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get-or-stop:end:
# . epilogue
# don't restore esp from ebp; manually reclaim locals
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x2c/imm32 # add to esp
5d/pop-to-ebp
c3/return
# if no row is found, stop(ed)
get-slice-or-stop: # table: (addr stream {(handle array byte), _}), key: (addr slice), row-size: int,
# abort-message-prefix: (addr string), err: (addr buffered-file), ed: (addr exit-descriptor)
# -> result/eax: (addr _)
# pseudocode:
# curr = table->data
# max = &table->data[table->write]
# while curr < max
# var c: (addr array byte) = lookup(*curr)
# if slice-equal?(key, c)
# return curr+8
# curr += row-size
# write-buffered(err, msg)
# stop(ed)
#
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# . save registers
51/push-ecx
52/push-edx
56/push-esi
# esi = table
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 6/r32/esi 8/disp8 . # copy *(ebp+8) to esi
# var curr/ecx: (addr handle array byte) = table->data
8d/copy-address 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 0xc/disp8 . # copy esi+12 to ecx
# var max/edx: (addr byte) = &table->data[table->write]
8b/copy 0/mod/indirect 6/rm32/esi . . . 2/r32/edx . . # copy *esi to edx
8d/copy-address 0/mod/indirect 4/rm32/sib 1/base/ecx 2/index/edx . 2/r32/edx . . # copy ecx+edx to edx
$get-slice-or-stop:search-loop:
# if (curr >= max) stop(ed)
39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
73/jump-if-addr>= $get-slice-or-stop:stop/disp8
# var c/eax: (addr array byte) = lookup(*curr)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 4/disp8 . # push *(ecx+4)
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# if (slice-equal?(key, c)) return curr+4
# . eax = slice-equal?(key, c)
# . . push args
50/push-eax
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12)
# . . call
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) return eax = curr+8
3d/compare-eax-and 0/imm32/false
74/jump-if-= $get-slice-or-stop:mismatch/disp8
8d/copy-address 1/mod/*+disp8 1/rm32/ecx . . . 0/r32/eax 8/disp8 . # copy ecx+8 to eax
eb/jump $get-slice-or-stop:end/disp8
$get-slice-or-stop:mismatch:
# curr += row-size
03/add 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 0x10/disp8 . # add *(ebp+16) to ecx
# loop
eb/jump $get-slice-or-stop:search-loop/disp8
$get-slice-or-stop:end:
# . restore registers
5e/pop-to-esi
5a/pop-to-edx
59/pop-to-ecx
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
$get-slice-or-stop:stop:
# . write-buffered(err, abort-message-prefix)
# . . 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 . . . . 0x18/disp8 . # push *(ebp+24)
# . . call
e8/call write-buffered/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . write-buffered(err, error)
# . . push args
68/push ": get-slice-or-stop: key not found: "/imm32
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0x18/disp8 . # push *(ebp+24)
# . . call
e8/call write-buffered/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . write-slice-buffered(err, key)
# . . push args
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 . . . . 0x18/disp8 . # push *(ebp+24)
# . . call
e8/call write-slice-buffered/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . write-buffered(err, "\n")
# . . push args
68/push Newline/imm32
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0x18/disp8 . # push *(ebp+24)
# . . call
e8/call write-buffered/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . stop(ed, 1)
# . . push args
68/push 1/imm32
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0x1c/disp8 . # push *(ebp+28)
# . . call
e8/call stop/disp32
# never gets here
$get-slice-or-stop:terminus:
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# syscall_exit(1)
bb/copy-to-ebx 1/imm32
e8/call syscall_exit/disp32
test-get-slice-or-stop:
# This test uses exit-descriptors. Use ebp for setting up local variables.
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# setup
# . clear-stream(_test-error-stream)
# . . push args
68/push _test-error-stream/imm32
# . . call
e8/call clear-stream/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
# . clear-stream($_test-error-buffered-file->buffer)
# . . push args
68/push $_test-error-buffered-file->buffer/imm32
# . . call
e8/call clear-stream/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
# var table/ecx: (stream {string, number} 24) # 2 rows * 12 bytes/row
81 5/subop/subtract 3/mod/direct 4/rm32/esp . . . . . 0x18/imm32 # subtract from esp
68/push 0x18/imm32/size
68/push 0/imm32/read
68/push 0/imm32/write
89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
# var ed/edx: exit-descriptor
68/push 0/imm32
68/push 0/imm32
89/copy 3/mod/direct 2/rm32/edx . . . 4/r32/esp . . # copy esp to edx
# var slice/ebx: slice = "code"
# . (eax..ebx) = "code"
b8/copy-to-eax "code"/imm32
8b/copy 0/mod/indirect 0/rm32/eax . . . 3/r32/ebx . . # copy *eax to ebx
8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 3/index/ebx . 3/r32/ebx 4/disp8 . # copy eax+ebx+4 to ebx
05/add-to-eax 4/imm32
# . ebx = {eax, ebx}
53/push-ebx
50/push-eax
89/copy 3/mod/direct 3/rm32/ebx . . . 4/r32/esp . . # copy esp to ebx
# size 'ed' for the calls to 'get-or-stop' (define no locals past this point)
# . tailor-exit-descriptor(ed, 24)
# . . push args
68/push 0x18/imm32/nbytes-of-args-for-get-or-stop
52/push-edx
# . . call
e8/call tailor-exit-descriptor/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# insert(table, "code", 12 bytes/row, Heap)
# . . push args
68/push Heap/imm32
68/push 0xc/imm32/row-size
68/push "code"/imm32
51/push-ecx
# . . call
e8/call get-or-insert/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
$test-get-slice-or-stop:success:
# eax = get-slice-or-stop(table, slice, row-size=12, msg, _test-error-buffered-file, ed)
# . . push args
52/push-edx/ed
68/push _test-error-buffered-file/imm32
68/push "foo"/imm32/abort-prefix
68/push 0xc/imm32/row-size
53/push-ebx/slice
51/push-ecx
# . . call
e8/call get-slice-or-stop/disp32
# registers except esp may be clobbered at this point
# restore register args, discard others
59/pop-to-ecx
5b/pop-to-ebx
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
5a/pop-to-edx
$test-get-slice-or-stop:success-assertion:
# check-ints-equal(eax - table->data, 8, msg) # first row's value slot returned
# . check-ints-equal(eax - table, 20, msg)
# . . push args
68/push "F - test-get-slice-or-stop/0"/imm32
68/push 0x14/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get-slice-or-stop:failure:
# slice = "segment2"
# . *ebx = "segment2"->data
b8/copy-to-eax "segment2"/imm32
05/add-to-eax 4/imm32
89/copy 0/mod/indirect 3/rm32/ebx . . . 0/r32/eax . . # copy eax to *ebx
# . *(ebx+4) = "segment2"->data + len("segment2")
05/add-to-eax 8/imm32/strlen
89/copy 1/mod/*+disp8 3/rm32/ebx . . . 0/r32/eax 4/disp8 . # copy eax to *(ebx+4)
# eax = get-slice-or-stop(table, slice, row-size=12, msg, _test-error-buffered-file, ed)
# . . push args
52/push-edx/ed
68/push _test-error-buffered-file/imm32
68/push "foo"/imm32/abort-prefix
68/push 0xc/imm32/row-size
53/push-ebx/slice
51/push-ecx
# . . call
e8/call get-slice-or-stop/disp32
# registers except esp may be clobbered at this point
# restore register args, discard others
59/pop-to-ecx
5b/pop-to-ebx
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
5a/pop-to-edx
$test-get-slice-or-stop:failure-assertion:
# check that get-or-stop tried to call stop(1)
# . check-ints-equal(ed->value, 2, msg)
# . . push args
68/push "F - test-get-or-stop/1"/imm32
68/push 2/imm32
# . . push ed->value
ff 6/subop/push 1/mod/*+disp8 2/rm32/edx . . . . 4/disp8 . # push *(edx+4)
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-get-slice-or-stop:end:
# . epilogue
# don't restore esp from ebp; manually reclaim locals
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x34/imm32 # add to esp
5d/pop-to-ebp
c3/return
# if no row is found, return null (0)
maybe-get: # table: (addr stream {(handle array byte), T}), key: (addr array byte), row-size: int -> result/eax: (addr T)
# pseudocode:
# curr = table->data
# max = &table->data[table->write]
# while curr < max
# var c: (addr array byte) = lookup(*curr)
# if string-equal?(key, c)
# return curr+8
# curr += row-size
# return 0
#
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# . save registers
51/push-ecx
52/push-edx
56/push-esi
# esi = table
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 6/r32/esi 8/disp8 . # copy *(ebp+8) to esi
# var curr/ecx: (addr handle array byte) = table->data
8d/copy-address 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 0xc/disp8 . # copy esi+12 to ecx
# var max/edx: (addr byte) = &table->data[table->write]
8b/copy 0/mod/indirect 6/rm32/esi . . . 2/r32/edx . . # copy *esi to edx
8d/copy-address 0/mod/indirect 4/rm32/sib 1/base/ecx 2/index/edx . 2/r32/edx . . # copy ecx+edx to edx
$maybe-get:search-loop:
# if (curr >= max) return null
39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
73/jump-if-addr>= $maybe-get:null/disp8
# var c/eax: (addr array byte) = lookup(*curr)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 4/disp8 . # push *(ecx+4)
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# if (string-equal?(key, c)) return curr+4
# . eax = string-equal?(key, c)
# . . push args
50/push-eax
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12)
# . . call
e8/call string-equal?/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# . if (eax != false) return eax = curr+8
3d/compare-eax-and 0/imm32/false
74/jump-if-= $maybe-get:mismatch/disp8
8d/copy-address 1/mod/*+disp8 1/rm32/ecx . . . 0/r32/eax 8/disp8 . # copy ecx+8 to eax
eb/jump $maybe-get:end/disp8
$maybe-get:mismatch:
# curr += row-size
03/add 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 0x10/disp8 . # add *(ebp+16) to ecx
# loop
eb/jump $maybe-get:search-loop/disp8
$maybe-get:null:
b8/copy-to-eax 0/imm32
$maybe-get:end:
# . restore registers
5e/pop-to-esi
5a/pop-to-edx
59/pop-to-ecx
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
test-maybe-get:
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# - setup: create a table with one row
# var table/ecx: (stream {string, number} 24) # 2 rows * 12 bytes/row
81 5/subop/subtract 3/mod/direct 4/rm32/esp . . . . . 0x18/imm32 # subtract from esp
68/push 0x18/imm32/size
68/push 0/imm32/read
68/push 0/imm32/write
89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
# eax = get-or-insert(table, "code", 12 bytes/row, Heap)
# . . push args
68/push Heap/imm32
68/push 0xc/imm32/row-size
68/push "code"/imm32
51/push-ecx
# . . call
e8/call get-or-insert/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
$test-maybe-get:success:
# - check for the same key, verify that it was reused
# eax = maybe-get(table, "code", 12 bytes/row)
# . . push args
68/push 0xc/imm32/row-size
68/push "code"/imm32
51/push-ecx
# . . call
e8/call maybe-get/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# check-ints-equal(eax - table->data, 8, msg)
# . check-ints-equal(eax - table, 20, msg)
# . . push args
68/push "F - test-maybe-get/0"/imm32
68/push 0x14/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# no new row inserted
# . check-ints-equal(table->write, row-size = 12, msg)
# . . push args
68/push "F - test-maybe-get/1"/imm32
68/push 0xc/imm32/row-size
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# var curr-addr/eax: (addr array byte) = lookup(table->data)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0x10/disp8 . # push *(ecx+16)
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0xc/disp8 . # push *(ecx+12)
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# check-strings-equal(curr-addr, "code", msg)
# . . push args
68/push "F - test-maybe-get/2"/imm32
68/push "code"/imm32
50/push-eax
# . . call
e8/call check-strings-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-maybe-get:failure:
# - search for a new key
# eax = maybe-get(table, "data", 12 bytes/row)
# . . push args
68/push 0xc/imm32/row-size
68/push "data"/imm32
51/push-ecx
# . . call
e8/call maybe-get/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# check-ints-equal(eax, 0, msg)
# . . push args
68/push "F - test-maybe-get/3"/imm32
68/push 0/imm32
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-maybe-get:end:
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
# if no row is found, return null (0)
maybe-get-slice: # table: (addr stream {(handle array byte), T}), key: (addr slice), row-size: int -> result/eax: (addr T)
# pseudocode:
# curr = table->data
# max = &table->data[table->write]
# while curr < max
# var c: (addr array byte) = lookup(*curr)
# if slice-equal?(key, c)
# return curr+8
# curr += row-size
# return 0
#
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# . save registers
51/push-ecx
52/push-edx
56/push-esi
# esi = table
8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 6/r32/esi 8/disp8 . # copy *(ebp+8) to esi
# var curr/ecx: (addr handle array byte) = table->data
8d/copy-address 1/mod/*+disp8 6/rm32/esi . . . 1/r32/ecx 0xc/disp8 . # copy esi+12 to ecx
# var max/edx: (addr byte) = &table->data[table->write]
8b/copy 0/mod/indirect 6/rm32/esi . . . 2/r32/edx . . # copy *esi to edx
8d/copy-address 0/mod/indirect 4/rm32/sib 1/base/ecx 2/index/edx . 2/r32/edx . . # copy ecx+edx to edx
$maybe-get-slice:search-loop:
# if (curr >= max) return null
39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
73/jump-if-addr>= $maybe-get-slice:null/disp8
# var c/eax: (addr array byte) = lookup(*curr)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 4/disp8 . # push *(ecx+4)
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# if (slice-equal?(key, c)) return curr+4
# . eax = slice-equal?(key, c)
# . . push args
50/push-eax
ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12)
# . . call
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) return eax = curr+8
3d/compare-eax-and 0/imm32/false
74/jump-if-= $maybe-get-slice:mismatch/disp8
8d/copy-address 1/mod/*+disp8 1/rm32/ecx . . . 0/r32/eax 8/disp8 . # copy ecx+8 to eax
eb/jump $maybe-get-slice:end/disp8
$maybe-get-slice:mismatch:
# curr += row-size
03/add 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 0x10/disp8 . # add *(ebp+16) to ecx
# loop
eb/jump $maybe-get-slice:search-loop/disp8
$maybe-get-slice:null:
b8/copy-to-eax 0/imm32
$maybe-get-slice:end:
# . restore registers
5e/pop-to-esi
5a/pop-to-edx
59/pop-to-ecx
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
test-maybe-get-slice:
# . prologue
55/push-ebp
89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
# - setup: create a table with one row
# var table/ecx: (stream {string, number} 24) # 2 rows * 12 bytes/row
81 5/subop/subtract 3/mod/direct 4/rm32/esp . . . . . 0x18/imm32 # subtract from esp
68/push 0x18/imm32/size
68/push 0/imm32/read
68/push 0/imm32/write
89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
# insert(table, "code", 12 bytes/row, Heap)
# . . push args
68/push Heap/imm32
68/push 0xc/imm32/row-size
68/push "code"/imm32
51/push-ecx
# . . call
e8/call get-or-insert/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp
$test-maybe-get-slice:success:
# - check for the same key, verify that it was reused
# (eax..edx) = "code"
b8/copy-to-eax "code"/imm32
8b/copy 0/mod/indirect 0/rm32/eax . . . 2/r32/edx . . # copy *eax to edx
8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 2/index/edx . 2/r32/edx 4/disp8 . # copy eax+edx+4 to edx
05/add-to-eax 4/imm32
# var slice/edx: slice = {eax, edx}
52/push-edx
50/push-eax
89/copy 3/mod/direct 2/rm32/edx . . . 4/r32/esp . . # copy esp to edx
# eax = maybe-get-slice(table, "code" slice, 12 bytes/row)
# . . push args
68/push 0xc/imm32/row-size
52/push-edx
51/push-ecx
# . . call
e8/call maybe-get-slice/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# check-ints-equal(eax - table->data, 8, msg)
# . check-ints-equal(eax - table, 20, msg)
# . . push args
68/push "F - test-maybe-get-slice/0"/imm32
68/push 0x14/imm32
29/subtract 3/mod/direct 0/rm32/eax . . . 1/r32/ecx . . # subtract ecx from eax
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# no new row inserted
# . check-ints-equal(table->write, row-size = 12, msg)
# . . push args
68/push "F - test-maybe-get-slice/1"/imm32
68/push 0xc/imm32/row-size
ff 6/subop/push 0/mod/indirect 1/rm32/ecx . . . . . . # push *ecx
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# var curr-addr/eax: (addr array byte) = lookup(table->data)
# . . push args
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0x10/disp8 . # push *(ecx+16)
ff 6/subop/push 1/mod/*+disp8 1/rm32/ecx . . . . 0xc/disp8 . # push *(ecx+12)
# . . call
e8/call lookup/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
# check-strings-equal(curr-addr, "code", msg)
# . . push args
68/push "F - test-maybe-get-slice/2"/imm32
68/push "code"/imm32
50/push-eax
# . . call
e8/call check-strings-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-maybe-get-slice:failure:
# - search for a new key
# (eax..edx) = "data"
b8/copy-to-eax "data"/imm32
8b/copy 0/mod/indirect 0/rm32/eax . . . 2/r32/edx . . # copy *eax to edx
8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 2/index/edx . 2/r32/edx 4/disp8 . # copy eax+edx+4 to edx
05/add-to-eax 4/imm32
# var slice/edx: slice = {eax, edx}
52/push-edx
50/push-eax
89/copy 3/mod/direct 2/rm32/edx . . . 4/r32/esp . . # copy esp to edx
# eax = maybe-get-slice(table, "data" slice, 12 bytes/row)
# . . push args
68/push 0xc/imm32/row-size
52/push-edx
51/push-ecx
# . . call
e8/call maybe-get-slice/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
# check-ints-equal(eax, 0, msg)
# . . push args
68/push "F - test-maybe-get-slice/3"/imm32
68/push 0/imm32
50/push-eax
# . . call
e8/call check-ints-equal/disp32
# . . discard args
81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
$test-maybe-get-slice:end:
# . epilogue
89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
5d/pop-to-ebp
c3/return
# . . vim:nowrap:textwidth=0