boot.hex « baremetal - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

blob: cae8b4561059897f164a277770fa13dd75db543a (plain) (tree)

cfd914b0 ^

5095021f ^

6f3f8148 ^

cfd914b0 ^

63d55342 ^

cfd914b0 ^

6f3f8148 ^

cfd914b0 ^

5d2f1c57 ^

cfd914b0 ^

5d2f1c57 ^

cfd914b0 ^

5095021f ^

0243ee4e ^

2628a51f ^

cfd914b0 ^

a0aecc82 ^

4ffe861a ^

5d2f1c57 ^

a0aecc82 ^

4ffe861a ^

cfd914b0 ^

5d2f1c57 ^

cfd914b0 ^

5d2f1c57 ^

cfd914b0 ^

4ffe861a ^

a7ae16ed ^

cfd914b0 ^

a7ae16ed ^

cfd914b0 ^

a7ae16ed ^

cfd914b0 ^

generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-20 15:31:17 +0000

n class="p"> 94 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp 95 # s->write += eax 96 01/add 0/mod/indirect 7/rm32/edi . . . 0/r32/eax . . # add eax to *edi 97 # f->read += eax 98 01/add 1/mod/*+disp8 6/rm32/esi . . . 0/r32/eax 4/disp8 . # add eax to *(esi+4) 99 # . restore registers 100 5f/pop-to-edi 101 5e/pop-to-esi 102 $read:end: 103 # . epilogue 104 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp 105 5d/pop-to-ebp 106 c3/return 107 108 # - helpers 109 110 # '_buffer' is like '_append', but silently stops instead of aborting when it runs out of space 111 112 # 3-argument variant of _buffer 113 _buffer-3: # out: address, outend: address, s: (array byte) -> num_bytes_buffered/eax 114 # . prologue 115 55/push-ebp 116 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp 117 # . save registers 118 51/push-ecx 119 # eax = _buffer-4(out, outend, &s->data[0], &s->data[s->size]) 120 # . . push &s->data[s->size] 121 8b/copy 1/mod/*+disp8 5/rm32/ebp . . 0/r32/eax 0x10/disp8 . # copy *(ebp+16) to eax 122 8b/copy 0/mod/indirect 0/rm32/eax . . . 1/r32/ecx . . # copy *eax to ecx 123 8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 1/index/ecx . 1/r32/ecx 4/disp8 . # copy eax+ecx+4 to ecx 124 51/push-ecx 125 # . . push &s->data[0] 126 8d/copy-address 1/mod/*+disp8 0/rm32/eax . . . 1/r32/ecx 4/disp8 . # copy eax+4 to ecx 127 51/push-ecx 128 # . . push outend 129 ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 0xc/disp8 . # push *(ebp+12) 130 # . . push out 131 ff 6/subop/push 1/mod/*+disp8 5/rm32/ebp . . . . 8/disp8 . # push *(ebp+8) 132 # . . call 133 e8/call <a href='111read.subx.html#L145'>_buffer-4</a>/disp32 134 # . . discard args 135 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0x10/imm32 # add to esp 136 $_buffer-3:end: 137 # . restore registers 138 59/pop-to-ecx 139 # . epilogue 140 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp 141 5d/pop-to-ebp 142 c3/return 143 144 # 4-argument variant of _buffer 145 _buffer-4: # out: address, outend: address, in: address, inend: address -> num_bytes_buffered/eax 146 # . prologue 147 55/push-ebp 148 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp 149 # . save registers 150 51/push-ecx 151 52/push-edx 152 53/push-ebx 153 56/push-esi 154 57/push-edi 155 # eax/num_bytes_buffered = 0 156 b8/copy-to-eax 0/imm32 157 # edi = out 158 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 7/r32/edi 8/disp8 . # copy *(ebp+8) to edi 159 # edx = outend 160 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 2/r32/edx 0xc/disp8 . # copy *(ebp+12) to edx 161 # esi = in 162 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 6/r32/esi 0x10/disp8 . # copy *(ebp+16) to esi 163 # ecx = inend 164 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 0x14/disp8 . # copy *(ebp+20) to ecx 165 $_buffer-4:loop: 166 # if (in >= inend) break 167 39/compare 3/mod/direct 6/rm32/esi . . . 1/r32/ecx . . # compare esi with ecx 168 73/jump-if-addr>= $_buffer-4:end/disp8 169 # if (out >= outend) break # for now silently ignore filled up buffer 170 39/compare 3/mod/direct 7/rm32/edi . . . 2/r32/edx . . # compare edi with edx 171 73/jump-if-addr>= $_buffer-4:end/disp8 172 # *out = *in 173 8a/copy-byte 0/mod/indirect 6/rm32/esi . . . 3/r32/BL . . # copy byte at *esi to BL 174 88/copy-byte 0/mod/indirect 7/rm32/edi . . . 3/r32/BL . . # copy byte at BL to *edi 175 # ++num_bytes_buffered 176 40/increment-eax 177 # ++in 178 46/increment-esi 179 # ++out 180 47/increment-edi 181 eb/jump $_buffer-4:loop/disp8 182 $_buffer-4:end: 183 # . restore registers 184 5f/pop-to-edi 185 5e/pop-to-esi 186 5b/pop-to-ebx 187 5a/pop-to-edx 188 59/pop-to-ecx 189 # . epilogue 190 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp 191 5d/pop-to-ebp 192 c3/return 193 194 # idea: a clear-if-empty method on streams that clears only if f->read == f->write 195 # Unclear how I'd use it, though. Callers seem to need the check anyway. 196 # Maybe a better helper would be 'empty-stream?' 197 198 _read: # fd: int, s: (addr stream byte) -> num-bytes-read/eax: int 199 # . prologue 200 55/push-ebp 201 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp 202 # . save registers 203 51/push-ecx 204 52/push-edx 205 53/push-ebx 206 56/push-esi 207 # esi = s 208 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 6/r32/esi 0xc/disp8 . # copy *(ebp+12) to esi 209 # eax = s->write 210 8b/copy 0/mod/indirect 6/rm32/esi . . . 0/r32/eax . . # copy *esi to eax 211 # edx = s->size 212 8b/copy 1/mod/*+disp8 6/rm32/esi . . . 2/r32/edx 8/disp8 . # copy *(esi+8) to edx 213 # syscall(read, fd, &s->data[s->write], s->size - s->write) 214 # . . fd: ebx 215 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 3/r32/ebx 8/disp8 . # copy *(ebp+8) to ebx 216 # . . data: ecx = &s->data[s->write] 217 8d/copy-address 1/mod/*+disp8 4/rm32/sib 6/base/esi 0/index/eax . 1/r32/ecx 0xc/disp8 . # copy esi+eax+12 to ecx 218 # . . size: edx = s->size - s->write 219 29/subtract 3/mod/direct 2/rm32/edx . . . 0/r32/eax . . # subtract eax from edx 220 # . . syscall 221 e8/call syscall_read/disp32 222 # add the result eax to s->write 223 01/add 0/mod/indirect 6/rm32/esi . . . 0/r32/eax . . # add eax to *esi 224 $_read:end: 225 # . restore registers 226 5e/pop-to-esi 227 5b/pop-to-ebx 228 5a/pop-to-edx 229 59/pop-to-ecx 230 # . epilogue 231 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp 232 5d/pop-to-ebp 233 c3/return 234 235 # Two options: 236 # 1 (what we have above): 237 # ecx = s 238 # eax = s->write 239 # edx = s->size 240 # # syscall 241 # ecx = lea ecx+eax+12 242 # edx = sub edx eax 243 # 244 # 2: 245 # ecx = s 246 # edx = s->size 247 # ecx = &s->data 248 # # syscall 249 # ecx = add ecx, s->write 250 # edx = sub edx, s->write 251 # 252 # Not much to choose between the two? Option 2 performs a duplicate load to 253 # use one less register, but doesn't increase the amount of spilling (ecx 254 # and edx must be used, and eax must be clobbered anyway). 255 256 # - tests 257 258 test-read-single: 259 # - write a single character into _test-stream, then read from it 260 # clear-stream(_test-stream) 261 # . . push args 262 68/push <a href='108write.subx.html#L151'>_test-stream</a>/imm32 263 # . . call 264 e8/call <a href='106stream.subx.html#L17'>clear-stream</a>/disp32 265 # . . discard args 266 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp 267 # clear-stream(_test-tmp-stream) 268 # . . push args 269 68/push <a href='111read.subx.html#L428'>_test-tmp-stream</a>/imm32 270 # . . call 271 e8/call <a href='106stream.subx.html#L17'>clear-stream</a>/disp32 272 # . . discard args 273 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp 274 # write(_test-stream, "Ab") 275 # . . push args 276 68/push "Ab"/imm32 277 68/push <a href='108write.subx.html#L151'>_test-stream</a>/imm32 278 # . . call 279 e8/call <a href='108write.subx.html#L24'>write</a>/disp32 280 # . . discard args 281 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp 282 # eax = read(_test-stream, _test-tmp-stream) 283 # . . push args 284 68/push <a href='111read.subx.html#L428'>_test-tmp-stream</a>/imm32 285 68/push <a href='108write.subx.html#L151'>_test-stream</a>/imm32 286 # . . call 287 e8/call <a href='111read.subx.html#L48'>read</a>/disp32 288 # . . discard args 289 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp 290 # check-ints-equal(eax, 2, msg) 291 # . . push args 292 68/push "F - <a href='111read.subx.html#L258'>test-read-single</a>: return value"/imm32 293 68/push 2/imm32 294 50/push-eax 295 # . . call 296 e8/call <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32 297 # . . discard args 298 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp 299 # check-stream-equal(_test-tmp-stream, "Ab", msg) 300 # . . push args 301 68/push "F - test-read-single"/imm32 302 68/push "Ab"/imm32 303 68/push <a href='111read.subx.html#L428'>_test-tmp-stream</a>/imm32 304 # . . call 305 e8/call <a href='109stream-equal.subx.html#L194'>check-stream-equal</a>/disp32 306 # . . discard args 307 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp 308 # end 309 c3/return 310 311 test-read-is-stateful: 312 # - make two consecutive reads, check that their results are appended 313 # clear-stream(_test-stream) 314 # . . push args 315 68/push <a href='108write.subx.html#L151'>_test-stream</a>/imm32 316 # . . call 317 e8/call <a href='106stream.subx.html#L17'>clear-stream</a>/disp32 318 # . . discard args 319 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp 320 # clear-stream(_test-tmp-stream) 321 # . . push args 322 68/push <a href='111read.subx.html#L428'>_test-tmp-stream</a>/imm32 323 # . . call 324 e8/call <a href='106stream.subx.html#L17'>clear-stream</a>/disp32 325 # . . discard args 326 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp 327 # write(_test-stream, "C") 328 # . . push args 329 68/push "C"/imm32 330 68/push <a href='108write.subx.html#L151'>_test-stream</a>/imm32 331 # . . call 332 e8/call <a href='108write.subx.html#L24'>write</a>/disp32 333 # . . discard args 334 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp 335 # read(_test-stream, _test-tmp-stream) 336 # . . push args 337 68/push <a href='111read.subx.html#L428'>_test-tmp-stream</a>/imm32 338 68/push <a href='108write.subx.html#L151'>_test-stream</a>/imm32 339 # . . call 340 e8/call <a href='111read.subx.html#L48'>read</a>/disp32 341 # . . discard args 342 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp 343 # write(_test-stream, "D") 344 # . . push args 345 68/push "D"/imm32 346 68/push <a href='108write.subx.html#L151'>_test-stream</a>/imm32 347 # . . call 348 e8/call <a href='108write.subx.html#L24'>write</a>/disp32 349 # . . discard args 350 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp 351 # read(_test-stream, _test-tmp-stream) 352 # . . push args 353 68/push <a href='111read.subx.html#L428'>_test-tmp-stream</a>/imm32 354 68/push <a href='108write.subx.html#L151'>_test-stream</a>/imm32 355 # . . call 356 e8/call <a href='111read.subx.html#L48'>read</a>/disp32 357 # . . discard args 358 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp 359 # check-stream-equal(_test-tmp-stream, "CD", msg) 360 # . . push args 361 68/push "F - test-read-is-stateful"/imm32 362 68/push "CD"/imm32 363 68/push <a href='111read.subx.html#L428'>_test-tmp-stream</a>/imm32 364 # . . call 365 e8/call <a href='109stream-equal.subx.html#L194'>check-stream-equal</a>/disp32 366 # . . discard args 367 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp 368 # end 369 c3/return 370 371 test-read-returns-0-on-end-of-file: 372 # - read after hitting end-of-file, check that result is 0 373 # setup 374 # . clear-stream(_test-stream) 375 # . . push args 376 68/push <a href='108write.subx.html#L151'>_test-stream</a>/imm32 377 # . . call 378 e8/call <a href='106stream.subx.html#L17'>clear-stream</a>/disp32 379 # . . discard args 380 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp 381 # . clear-stream(_test-tmp-stream) 382 # . . push args 383 68/push <a href='111read.subx.html#L428'>_test-tmp-stream</a>/imm32 384 # . . call 385 e8/call <a href='106stream.subx.html#L17'>clear-stream</a>/disp32 386 # . . discard args 387 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp 388 # . write(_test-stream, "Ab") 389 # . . push args 390 68/push "Ab"/imm32 391 68/push <a href='108write.subx.html#L151'>_test-stream</a>/imm32 392 # . . call 393 e8/call <a href='108write.subx.html#L24'>write</a>/disp32 394 # . . discard args 395 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp 396 # first read gets to end-of-file 397 # . read(_test-stream, _test-tmp-stream) 398 # . . push args 399 68/push <a href='111read.subx.html#L428'>_test-tmp-stream</a>/imm32 400 68/push <a href='108write.subx.html#L151'>_test-stream</a>/imm32 401 # . . call 402 e8/call <a href='111read.subx.html#L48'>read</a>/disp32 403 # . . discard args 404 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp 405 # second read 406 # . read(_test-stream, _test-tmp-stream) 407 # . . push args 408 68/push <a href='111read.subx.html#L428'>_test-tmp-stream</a>/imm32 409 68/push <a href='108write.subx.html#L151'>_test-stream</a>/imm32 410 # . . call 411 e8/call <a href='111read.subx.html#L48'>read</a>/disp32 412 # . . discard args 413 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp 414 # check-ints-equal(eax, 0, msg) 415 # . . push args 416 68/push "F - test-read-returns-0-on-end-of-file"/imm32 417 68/push 0/imm32 418 50/push-eax 419 # . . call 420 e8/call <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32 421 # . . discard args 422 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp 423 # end 424 c3/return 425 426 == data 427 428 _test-tmp-stream: # (stream byte) 429 # current write index 430 0/imm32 431 # current read index 432 0/imm32 433 # size 434 8/imm32 435 # data 436 00 00 00 00 00 00 00 00 # 8 bytes 437 438 # . . vim:nowrap:textwidth=0 </pre> </body> </html>