diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-07-18 19:31:01 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-07-18 19:33:39 -0700 |
| commit | 01b72aa06487b6818bdaae2dc2eb16d0b3b2d7ee (patch) | |
| tree | 031f5a72fe9dfe76fabbc44cb228d7b7a6385589 /120allocate.subx | |
| parent | 02b7f9bd89fcae62c118772b1eb907b6c93055f0 (diff) | |
| download | mu-01b72aa06487b6818bdaae2dc2eb16d0b3b2d7ee.tar.gz | |
6659
Tighten up some function signatures.
Diffstat (limited to '120allocate.subx')
| -rw-r--r-- | 120allocate.subx | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/120allocate.subx b/120allocate.subx index 4bcbe727..20595e64 100644 --- a/120allocate.subx +++ b/120allocate.subx @@ -63,7 +63,7 @@ $array-equal-main:end: # Allocate and clear 'n' bytes of memory from an allocation-descriptor 'ad'. # Abort if there isn't enough memory in 'ad'. -allocate: # ad: (addr allocation-descriptor), n: int, out: (addr handle) +allocate: # ad: (addr allocation-descriptor), n: int, out: (addr handle _) # . prologue 55/push-ebp 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp @@ -100,7 +100,7 @@ $allocate:end: # Claim the next 'n' bytes of memory starting at ad->curr and update ad->curr. # Abort if there isn't enough memory in 'ad'. -allocate-raw: # ad: (addr allocation-descriptor), n: int, out: (addr handle) +allocate-raw: # ad: (addr allocation-descriptor), n: int, out: (addr handle _) # . prologue 55/push-ebp 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp @@ -253,7 +253,7 @@ test-allocate-raw-success: 5d/pop-to-ebp c3/return -lookup: # h: (handle T) -> result/eax: (addr T) +lookup: # h: (handle _T) -> result/eax: (addr _T) # . prologue 55/push-ebp 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp @@ -455,7 +455,7 @@ _pending-test-lookup-failure: c3/return # when comparing handles, just treat them as pure values -handle-equal?: # a: handle, b: handle -> result/eax: boolean +handle-equal?: # a: (handle _T), b: (handle _T) -> result/eax: boolean # . prologue 55/push-ebp 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp @@ -486,7 +486,7 @@ $handle-equal?:end: 5d/pop-to-ebp c3/return -copy-handle: # src: handle, dest: (addr handle) +copy-handle: # src: (handle _T), dest: (addr handle _T) # . prologue 55/push-ebp 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp @@ -573,7 +573,7 @@ $allocate-region:abort: # Claim the next 'n+4' bytes of memory and initialize the first 4 to n. # Abort if there isn't enough memory in 'ad'. -allocate-array: # ad: (addr allocation-descriptor), n: int, out: (addr handle) +allocate-array: # ad: (addr allocation-descriptor), n: int, out: (addr handle _) # . prologue 55/push-ebp 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp @@ -707,7 +707,7 @@ test-allocate-array: 5d/pop-to-ebp c3/return -copy-array: # ad: (addr allocation-descriptor), src: (addr array), out: (addr handle) +copy-array: # ad: (addr allocation-descriptor), src: (addr array _T), out: (addr handle array _T) # . prologue 55/push-ebp 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp |