https://github.com/akkartik/mu/blob/master/400.mu
1
2
3
4
5
6 sig run-tests
7
8
9
10
11 sig syscall_exit
12 sig syscall_read
13 sig syscall_write
14 sig syscall_open
15 sig syscall_close
16 sig syscall_creat
17 sig syscall_unlink
18 sig syscall_rename
19 sig syscall_mmap
20 sig syscall_ioctl
21 sig syscall_nanosleep
22 sig syscall_clock_gettime
23
24
25
26
27
28
29 sig check-ints-equal a: int, b: int, msg: (addr array byte)
30 sig kernel-string-equal? s: (addr kernel-string), benchmark: (addr array byte) -> result/eax: boolean
31 sig new-segment len: int, ad: (addr allocation-descriptor)
32 sig string-equal? s: (addr array byte), benchmark: (addr array byte) -> result/eax: boolean
33 sig string-starts-with? s: (addr array byte), benchmark: (addr array byte) -> result/eax: boolean
34 sig check-strings-equal s: (addr array byte), expected: (addr array byte), msg: (addr array byte)
35 sig clear-stream f: (addr stream byte)
36 sig rewind-stream f: (addr stream byte)
37 sig initialize-trace-stream n: int
38 sig trace line: (addr array byte)
39 sig check-trace-contains line: (addr string), msg: (addr string)
40 sig check-trace-scans-to line: (addr string), msg: (addr string)
41 sig trace-scan line: (addr array byte) -> result/eax: boolean
42 sig next-line-matches? t: (addr stream byte), line: (addr array byte) -> result/eax: boolean
43 sig skip-next-line t: (addr stream byte)
44 sig clear-trace-stream
45 sig write f: (addr stream byte), s: (addr array byte)
46 sig stream-data-equal? f: (addr stream byte), s: (addr array byte) -> result/eax: boolean
47 sig check-stream-equal f: (addr stream byte), s: (addr array byte), msg: (addr array byte)
48 sig next-stream-line-equal? f: (addr stream byte), s: (addr array byte) -> result/eax: boolean
49 sig check-next-stream-line-equal
50 sig tailor-exit-descriptor ed: (addr exit-descriptor), nbytes: int
51 sig stop ed: (addr exit-descriptor), value: int
52
53 sig read-byte-buffered f: (addr buffered-file) -> byte-or-Eof/eax: byte
54 sig read-byte s: (addr stream byte) -> result/eax: byte
55
56
57 sig write-byte-buffered f: (addr buffered-file), n: int
58 sig flush f: (addr buffered-file)
59 sig append-byte f: (addr stream byte), n: int
60 sig write-buffered f: (addr buffered-file), msg: (addr array byte)
61
62 sig append-byte-hex f: (addr stream byte), n: int
63 sig write-byte-hex-buffered f: (addr buffered-file), n: int
64 sig write-int32-hex f: (addr stream byte), n: int
65 sig write-int32-hex-buffered f: (addr buffered-file), n: int
66 sig is-hex-int? in: (addr slice) -> result/eax: boolean
67 sig parse-hex-int in: (addr array byte) -> result/eax: int
68 sig parse-hex-int-from-slice in: (addr slice) -> result/eax: int
69
70 sig is-hex-digit? c: byte -> result/eax: boolean
71
72 sig error-byte ed: (addr exit-descriptor), out: (addr buffered-file), msg: (addr array byte), n: byte
73
74
75 sig lookup h: (handle _T) -> result/eax: (addr _T)
76 sig handle-equal? a: (handle _T), b: (handle _T) -> result/eax: boolean
77 sig copy-handle src: (handle _T), dest: (addr handle _T)
78
79
80 sig copy-array ad: (addr allocation-descriptor), src: (addr array _T), out: (addr handle array _T)
81
82
83 sig read-line-buffered f: (addr buffered-file), s: (addr stream byte)
84 sig read-line f: (addr stream byte), s: (addr stream byte)
85 sig slice-empty? s: (addr slice) -> result/eax: boolean
86 sig slice-equal? s: (addr slice), p: (addr array byte) -> result/eax: boolean
87 sig slice-starts-with? s: (addr slice), head: (addr array byte) -> result/eax: boolean
88 sig write-slice out: (addr stream byte), s: (addr slice)
89 sig write-slice-buffered out: (addr buffered-file), s: (addr slice)
90 sig slice-to-string ad: (addr allocation-descriptor), in: (addr slice), out: (addr handle array byte)
91 sig next-token in: (addr stream byte), delimiter: byte, out: (addr slice)
92 sig next-token-from-slice start: (addr byte), end: (addr byte), delimiter: byte, out: (addr slice)
93 sig skip-chars-matching in: (addr stream byte), delimiter: byte
94 sig skip-chars-matching-whitespace in: (addr stream byte)
95 sig skip-chars-not-matching in: (addr stream byte), delimiter: byte
96 sig skip-chars-not-matching-whitespace in: (addr stream byte)
97
98
99
100
101 sig skip-string line: (addr stream byte)
102
103 sig skip-until-close-paren line: (addr stream byte)
104
105 sig write-stream-data f: (addr buffered-file), s: (addr stream byte)
106 sig write-int32-decimal out: (addr stream byte), n: int32
107 sig is-decimal-digit? c: byte -> result/eax: boolean
108 sig to-decimal-digit in: byte -> out/eax: int
109 sig next-word line: (addr stream byte), out: (addr slice)
110 sig has-metadata? word: (addr slice), s: (addr string) -> result/eax: boolean
111 sig is-valid-name? in: (addr slice) -> result/eax: boolean
112 sig is-label? word: (addr slice) -> result/eax: boolean
113 sig emit-hex out: (addr buffered-file), n: int, width: int
114 sig emit out: (addr buffered-file), word: (addr slice), width: int
115
116
117
118
119
120
121
122
123
124 sig slurp f: (addr buffered-file), s: (addr stream byte)
125 sig compute-width word: (addr array byte) -> result/eax: int
126 sig compute-width-of-slice s: (addr slice) -> result/eax: int
127 sig emit-hex-array out: (addr buffered-file), arr: (addr array byte)
128 sig next-word-or-string line: (addr stream byte), out: (addr slice)
129 sig write-int out: (addr stream byte), n: int
130 sig clear-stack s: (addr stack)
131 sig push s: (addr stack), n: int
132 sig pop s: (addr stack) -> n/eax: int
133 sig top s: (addr stack) -> n/eax: int
134 sig array-equal? a: (addr array int), b: (addr array int) -> result/eax: boolean
135 sig parse-array-of-ints ad: (addr allocation-descriptor), s: (addr string), out: (addr handle array int)
136 sig check-array-equal a: (addr array int), expected: (addr string), msg: (addr string)
137
138 sig kernel-string-to-string ad: (addr allocation-descriptor), in: (addr kernel-string), out: (addr handle array byte)
139 sig kernel-string-length in: (addr kernel-string) -> result/eax: int
140 sig enable-screen-grid-mode
141 sig enable-screen-type-mode
142 sig real-screen-size -> nrows/eax: int, ncols/ecx: int
143 sig clear-real-screen
144 sig move-cursor-on-real-screen row: int, column: int
145 sig print-string-to-real-screen s: (addr array byte)
146 sig print-stream-to-real-screen s: (addr stream byte)
147 sig print-grapheme-to-real-screen c: grapheme
148 sig print-int32-hex-to-real-screen n: int
149 sig reset-formatting-on-real-screen
150 sig start-color-on-real-screen fg: int, bg: int
151 sig start-bold-on-real-screen
152 sig start-underline-on-real-screen
153 sig start-reverse-video-on-real-screen
154 sig start-blinking-on-real-screen
155 sig hide-cursor-on-real-screen
156 sig show-cursor-on-real-screen
157 sig enable-keyboard-immediate-mode
158 sig enable-keyboard-type-mode
159 sig read-key -> result/eax: byte
160 sig open filename: (addr array byte), write?: boolean, out: (addr handle buffered-file)
161
162
163 sig stream-empty? s: (addr stream _) -> result/eax: boolean
164 sig stream-full? s: (addr stream _) -> result/eax: boolean
165
166 sig copy-bytes src: (addr byte), dest: (addr byte), n: int