diff options
author | Kartik Agaram <vc@akkartik.com> | 2020-11-15 15:56:02 -0800 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2020-11-15 16:06:00 -0800 |
commit | 91dc5814dfeac0ad072c840ac52b1e68321fd39f (patch) | |
tree | 69e14b8bae919bf7d5f138885203d481e5a4da74 /400.mu | |
parent | 0e0a60013d392b5b3920781ec04c3b6a1a061bbb (diff) | |
download | mu-91dc5814dfeac0ad072c840ac52b1e68321fd39f.tar.gz |
7239
Diffstat (limited to '400.mu')
-rw-r--r-- | 400.mu | 112 |
1 files changed, 56 insertions, 56 deletions
diff --git a/400.mu b/400.mu index d3442cdf..4f95c226 100644 --- a/400.mu +++ b/400.mu @@ -27,10 +27,10 @@ sig syscall_clock_gettime # clock/ebx: int, out/ecx: (addr timespec) # Many functions here may not be usable yet because of missing features # (global variable support, etc.) sig check-ints-equal a: int, b: int, msg: (addr array byte) -sig kernel-string-equal? s: (addr kernel-string), benchmark: (addr array byte) -> result/eax: boolean +sig kernel-string-equal? s: (addr kernel-string), benchmark: (addr array byte) -> _/eax: boolean sig new-segment len: int, ad: (addr allocation-descriptor) -sig string-equal? s: (addr array byte), benchmark: (addr array byte) -> result/eax: boolean -sig string-starts-with? s: (addr array byte), benchmark: (addr array byte) -> result/eax: boolean +sig string-equal? s: (addr array byte), benchmark: (addr array byte) -> _/eax: boolean +sig string-starts-with? s: (addr array byte), benchmark: (addr array byte) -> _/eax: boolean sig check-strings-equal s: (addr array byte), expected: (addr array byte), msg: (addr array byte) sig clear-stream f: (addr stream _) sig rewind-stream f: (addr stream _) @@ -38,20 +38,20 @@ sig initialize-trace-stream n: int sig trace line: (addr array byte) sig check-trace-contains line: (addr string), msg: (addr string) sig check-trace-scans-to line: (addr string), msg: (addr string) -sig trace-scan line: (addr array byte) -> result/eax: boolean -sig next-line-matches? t: (addr stream byte), line: (addr array byte) -> result/eax: boolean +sig trace-scan line: (addr array byte) -> _/eax: boolean +sig next-line-matches? t: (addr stream byte), line: (addr array byte) -> _/eax: boolean sig skip-next-line t: (addr stream byte) sig clear-trace-stream sig write f: (addr stream byte), s: (addr array byte) # writing to file descriptor not supported; use buffered-file -sig stream-data-equal? f: (addr stream byte), s: (addr array byte) -> result/eax: boolean +sig stream-data-equal? f: (addr stream byte), s: (addr array byte) -> _/eax: boolean sig check-stream-equal f: (addr stream byte), s: (addr array byte), msg: (addr array byte) -sig next-stream-line-equal? f: (addr stream byte), s: (addr array byte) -> result/eax: boolean +sig next-stream-line-equal? f: (addr stream byte), s: (addr array byte) -> _/eax: boolean sig check-next-stream-line-equal f: (addr stream byte), s: (addr array byte), msg: (addr array byte) sig tailor-exit-descriptor ed: (addr exit-descriptor), nbytes: int sig stop ed: (addr exit-descriptor), value: int -#sig read f: fd or (addr stream byte), s: (addr stream byte) -> num-bytes-read/eax: int -sig read-byte-buffered f: (addr buffered-file) -> byte-or-Eof/eax: byte -sig read-byte s: (addr stream byte) -> result/eax: byte +#sig read f: fd or (addr stream byte), s: (addr stream byte) -> _/eax: int +sig read-byte-buffered f: (addr buffered-file) -> _/eax: byte +sig read-byte s: (addr stream byte) -> _/eax: byte #sig write-stream f: fd or (addr stream byte), s: (addr stream byte) #sig error ed: (addr exit-descriptor), out: fd or (addr stream byte), msg: (addr array byte) sig write-byte-buffered f: (addr buffered-file), n: int @@ -65,22 +65,22 @@ sig write-int32-hex f: (addr stream byte), n: int sig write-int32-hex-bits f: (addr stream byte), n: int, bits: int sig write-int32-hex-buffered f: (addr buffered-file), n: int sig write-int32-hex-bits-buffered f: (addr buffered-file), n: int, bits: int -sig is-hex-int? in: (addr slice) -> result/eax: boolean -sig parse-hex-int in: (addr array byte) -> result/eax: int -sig parse-hex-int-from-slice in: (addr slice) -> result/eax: int -#sig parse-hex-int-helper start: (addr byte), end: (addr byte) -> result/eax: int -sig is-hex-digit? c: byte -> result/eax: boolean +sig is-hex-int? in: (addr slice) -> _/eax: boolean +sig parse-hex-int in: (addr array byte) -> _/eax: int +sig parse-hex-int-from-slice in: (addr slice) -> _/eax: int +#sig parse-hex-int-helper start: (addr byte), end: (addr byte) -> _/eax: int +sig is-hex-digit? c: byte -> _/eax: boolean #sig from-hex-char in/eax: byte -> out/eax: nibble -sig parse-decimal-int in: (addr array byte) -> result/eax: int -sig parse-decimal-int-from-slice in: (addr slice) -> result/eax: int -sig parse-decimal-int-from-stream in: (addr stream byte) -> result/eax: int -#sig parse-decimal-int-helper start: (addr byte), end: (addr byte) -> result/eax: int -sig decimal-size n: int -> result/eax: int +sig parse-decimal-int in: (addr array byte) -> _/eax: int +sig parse-decimal-int-from-slice in: (addr slice) -> _/eax: int +sig parse-decimal-int-from-stream in: (addr stream byte) -> _/eax: int +#sig parse-decimal-int-helper start: (addr byte), end: (addr byte) -> _/eax: int +sig decimal-size n: int -> _/eax: int sig error-byte ed: (addr exit-descriptor), out: (addr buffered-file), msg: (addr array byte), n: byte #sig allocate ad: (addr allocation-descriptor), n: int, out: (addr handle _) #sig allocate-raw ad: (addr allocation-descriptor), n: int, out: (addr handle _) -sig lookup h: (handle _T) -> result/eax: (addr _T) -sig handle-equal? a: (handle _T), b: (handle _T) -> result/eax: boolean +sig lookup h: (handle _T) -> _/eax: (addr _T) +sig handle-equal? a: (handle _T), b: (handle _T) -> _/eax: boolean sig copy-handle src: (handle _T), dest: (addr handle _T) #sig allocate-region ad: (addr allocation-descriptor), n: int, out: (addr handle allocation-descriptor) #sig allocate-array ad: (addr allocation-descriptor), n: int, out: (addr handle _) @@ -89,9 +89,9 @@ sig copy-array ad: (addr allocation-descriptor), src: (addr array _T), out: (add #sig new-stream ad: (addr allocation-descriptor), length: int, elemsize: int, out: (addr handle stream _) sig read-line-buffered f: (addr buffered-file), s: (addr stream byte) sig read-line f: (addr stream byte), s: (addr stream byte) -sig slice-empty? s: (addr slice) -> result/eax: boolean -sig slice-equal? s: (addr slice), p: (addr array byte) -> result/eax: boolean -sig slice-starts-with? s: (addr slice), head: (addr array byte) -> result/eax: boolean +sig slice-empty? s: (addr slice) -> _/eax: boolean +sig slice-equal? s: (addr slice), p: (addr array byte) -> _/eax: boolean +sig slice-starts-with? s: (addr slice), head: (addr array byte) -> _/eax: boolean sig write-slice out: (addr stream byte), s: (addr slice) sig write-slice-buffered out: (addr buffered-file), s: (addr slice) sig slice-to-string ad: (addr allocation-descriptor), in: (addr slice), out: (addr handle array byte) @@ -101,53 +101,53 @@ sig skip-chars-matching in: (addr stream byte), delimiter: byte sig skip-chars-matching-whitespace in: (addr stream byte) sig skip-chars-not-matching in: (addr stream byte), delimiter: byte sig skip-chars-not-matching-whitespace in: (addr stream byte) -#sig skip-chars-matching-in-slice curr: (addr byte), end: (addr byte), delimiter: byte -> curr/eax: (addr byte) -#sig skip-chars-matching-whitespace-in-slice curr: (addr byte), end: (addr byte) -> curr/eax: (addr byte) -#sig skip-chars-not-matching-in-slice curr: (addr byte), end: (addr byte), delimiter: byte -> curr/eax: (addr byte) -#sig skip-chars-not-matching-whitespace-in-slice curr: (addr byte), end: (addr byte) -> curr/eax: (addr byte) +#sig skip-chars-matching-in-slice curr: (addr byte), end: (addr byte), delimiter: byte -> _/eax: (addr byte) +#sig skip-chars-matching-whitespace-in-slice curr: (addr byte), end: (addr byte) -> _/eax: (addr byte) +#sig skip-chars-not-matching-in-slice curr: (addr byte), end: (addr byte), delimiter: byte -> _/eax: (addr byte) +#sig skip-chars-not-matching-whitespace-in-slice curr: (addr byte), end: (addr byte) -> _/eax: (addr byte) sig skip-string line: (addr stream byte) -#sig skip-string-in-slice curr: (addr byte), end: (addr byte) -> curr/eax: (addr byte) +#sig skip-string-in-slice curr: (addr byte), end: (addr byte) -> _/eax: (addr byte) sig skip-until-close-paren line: (addr stream byte) -#sig skip-until-close-paren-in-slice curr: (addr byte), end: (addr byte) -> curr/eax: (addr byte) +#sig skip-until-close-paren-in-slice curr: (addr byte), end: (addr byte) -> _/eax: (addr byte) sig write-stream-data f: (addr buffered-file), s: (addr stream byte) sig write-int32-decimal out: (addr stream byte), n: int -sig is-decimal-digit? c: grapheme -> result/eax: boolean -sig to-decimal-digit in: grapheme -> out/eax: int +sig is-decimal-digit? c: grapheme -> _/eax: boolean +sig to-decimal-digit in: grapheme -> _/eax: int sig next-word line: (addr stream byte), out: (addr slice) -sig has-metadata? word: (addr slice), s: (addr string) -> result/eax: boolean -sig is-valid-name? in: (addr slice) -> result/eax: boolean -sig is-label? word: (addr slice) -> result/eax: boolean +sig has-metadata? word: (addr slice), s: (addr string) -> _/eax: boolean +sig is-valid-name? in: (addr slice) -> _/eax: boolean +sig is-label? word: (addr slice) -> _/eax: boolean sig emit-hex out: (addr buffered-file), n: int, width: int sig emit out: (addr buffered-file), word: (addr slice), width: int -#sig 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) -#sig 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) -#sig 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) -#sig get-or-insert-handle table: (addr stream {(handle array byte), T}), key: (handle array byte), row-size: int -> result/eax: (addr T) -#sig 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) +#sig get table: (addr stream {(handle array byte), T}), key: (addr array byte), row-size: int, abort-message-prefix: (addr array byte) -> _/eax: (addr T) +#sig get-slice table: (addr stream {(handle array byte), T}), key: (addr slice), row-size: int, abort-message-prefix: (addr array byte) -> _/eax: (addr T) +#sig get-or-insert table: (addr stream {(handle array byte), T}), key: (addr array byte), row-size: int, ad: (addr allocation-descriptor) -> _/eax: (addr T) +#sig get-or-insert-handle table: (addr stream {(handle array byte), T}), key: (handle array byte), row-size: int -> _/eax: (addr T) +#sig get-or-insert-slice table: (addr stream {(handle array byte), T}), key: (addr slice), row-size: int, ad: (addr allocation-descriptor) -> _/eax: (addr T) #sig get-or-stop table: (addr stream {(handle array byte), T}), key: (addr array byte), row-size: int #sig get-slice-or-stop table: (addr stream {(handle array byte), _}), key: (addr slice), row-size: int -#sig maybe-get table: (addr stream {(handle array byte), T}), key: (addr array byte), row-size: int -> result/eax: (addr T) -#sig maybe-get-slice table: (addr stream {(handle array byte), T}), key: (addr slice), row-size: int -> result/eax: (addr T) +#sig maybe-get table: (addr stream {(handle array byte), T}), key: (addr array byte), row-size: int -> _/eax: (addr T) +#sig maybe-get-slice table: (addr stream {(handle array byte), T}), key: (addr slice), row-size: int -> _/eax: (addr T) sig slurp f: (addr buffered-file), s: (addr stream byte) -sig compute-width word: (addr array byte) -> result/eax: int -sig compute-width-of-slice s: (addr slice) -> result/eax: int +sig compute-width word: (addr array byte) -> _/eax: int +sig compute-width-of-slice s: (addr slice) -> _/eax: int sig emit-hex-array out: (addr buffered-file), arr: (addr array byte) sig next-word-or-string line: (addr stream byte), out: (addr slice) sig write-int out: (addr stream byte), n: int #sig clear-stack s: (addr stack) #sig push s: (addr stack), n: int -#sig pop s: (addr stack) -> n/eax: int -#sig top s: (addr stack) -> n/eax: int -sig array-equal? a: (addr array int), b: (addr array int) -> result/eax: boolean +#sig pop s: (addr stack) -> _/eax: int +#sig top s: (addr stack) -> _/eax: int +sig array-equal? a: (addr array int), b: (addr array int) -> _/eax: boolean sig parse-array-of-ints s: (addr array byte), out: (addr handle array int) sig parse-array-of-decimal-ints s: (addr array byte), out: (addr handle array int) sig check-array-equal a: (addr array int), expected: (addr string), msg: (addr string) #sig push-n-zero-bytes n: int sig kernel-string-to-string ad: (addr allocation-descriptor), in: (addr kernel-string), out: (addr handle array byte) -sig kernel-string-length in: (addr kernel-string) -> result/eax: int +sig kernel-string-length in: (addr kernel-string) -> _/eax: int sig enable-screen-grid-mode sig enable-screen-type-mode -sig real-screen-size -> nrows/eax: int, ncols/ecx: int +sig real-screen-size -> _/eax: int, _/ecx: int sig clear-real-screen sig move-cursor-on-real-screen row: int, column: int sig print-string-to-real-screen s: (addr array byte) @@ -168,19 +168,19 @@ sig hide-cursor-on-real-screen sig show-cursor-on-real-screen sig enable-keyboard-immediate-mode sig enable-keyboard-type-mode -sig read-key-from-real-keyboard -> result/eax: grapheme +sig read-key-from-real-keyboard -> _/eax: grapheme sig read-line-from-real-keyboard out: (addr stream byte) sig open filename: (addr array byte), write?: boolean, out: (addr handle buffered-file) sig populate-buffered-file-containing contents: (addr array byte), out: (addr handle buffered-file) sig new-buffered-file out: (addr handle buffered-file) -#sig size in: (addr array _) -> result/eax: int +#sig size in: (addr array _) -> _/eax: int -sig stream-empty? s: (addr stream _) -> result/eax: boolean -sig stream-full? s: (addr stream _) -> result/eax: boolean +sig stream-empty? s: (addr stream _) -> _/eax: boolean +sig stream-full? s: (addr stream _) -> _/eax: boolean sig stream-to-array in: (addr stream _), out: (addr handle array _) sig unquote-stream-to-array in: (addr stream _), out: (addr handle array _) -sig stream-first s: (addr stream byte) -> result/eax: byte -sig stream-final s: (addr stream byte) -> result/eax: byte +sig stream-first s: (addr stream byte) -> _/eax: byte +sig stream-final s: (addr stream byte) -> _/eax: byte #sig copy-bytes src: (addr byte), dest: (addr byte), n: int sig copy-array-object src: (addr array _), dest-ah: (addr handle array _) |