073next-token.subx « subx - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

blob: 942d98782df16b4ea0b467a26a1674310dcb17ab (plain) (tree)

7c06e10d ^

74a46597 ^

332cbba3 ^

bddd7e3a ^

74a46597 ^

332cbba3 ^

74a46597 ^

332cbba3 ^

74a46597 ^

476049a0 ^

74a46597 ^

bddd7e3a ^

74a46597 ^

476049a0 ^

74a46597 ^

bddd7e3a ^

74a46597 ^

332cbba3 ^

bddd7e3a ^

c65dee2d ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

332cbba3 ^

476049a0 ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

bddd7e3a ^

332cbba3 ^

332cbba3 ^

476049a0 ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

bddd7e3a ^

332cbba3 ^

332cbba3 ^

476049a0 ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

c65dee2d ^

332cbba3 ^

bddd7e3a ^

332cbba3 ^

74a46597 ^

95d81125 ^

74a46597 ^

332cbba3 ^

74a46597 ^

generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-10-07 22:49:54 +0000

>="L180" class="LineNr"> 180 # type: (address type-sexpr) 181 # or a regular statement writing to a single new variable in a register: 182 # name: (address string) 183 # inputs: (address var) 184 # output: var-r 185 # or a block of statements: 186 # statements: (address statement) 187 188 # Kinds of local variable declarations: 189 # var f : (array foo 10) 190 # var f/ecx : int <- copy 0 191 # Variables live in either the stack or a register. 192 # Variables in the stack are auto-initialized. 193 # (This is non-trivial for arrays, and arrays inside structs... We'll see.) 194 # Variables in register need a real instruction. 195 196 # var is a variable declaration. e.g. `foo: (array int 3)` 197 # name: (address string) 198 # type: (address type-sexpr) 199 200 # var-r is a variable declaration in a register. e.g. `foo/eax: (array int 3)` 201 # name: (address string) 202 # type: (address type-sexpr) 203 # reg: int [0..7] 204 205 # type-sexpr is a tree of type identifiers. e.g. (array (address int) 3) 206 # either 207 # id: type-identifier 208 # or 209 # car: (address type-sexpr) 210 # cdr: (address type-sexpr) 211 212 == code 213 214 Entry: 215 # . prologue 216 89/<- %ebp 4/r32/esp 217 (<a href='../053new-segment.subx.html#L41'>new-segment</a> <a href='../069allocate.subx.html#L29'>Heap-size</a> <a href='../069allocate.subx.html#L22'>Heap</a>) 218 # if (argv[1] == "test') run-tests() 219 { 220 # if (argc <= 1) break 221 81 7/subop/compare *ebp 1/imm32 222 7e/jump-if-lesser-or-equal break/disp8 223 # if (argv[1] != "test") break 224 (<a href='../052kernel-string-equal.subx.html#L31'>kernel-string-equal?</a> *(ebp+8) "test") # => eax 225 3d/compare-eax-and 0/imm32 226 74/jump-if-equal break/disp8 227 # 228 (run-tests) 229 # syscall(exit, *Num-test-failures) 230 8b/-> *<a href='../051test.subx.html#L90'>Num-test-failures</a> 3/r32/ebx 231 eb/jump $mu-main:end/disp8 232 } 233 # otherwise convert Stdin 234 (<a href='mu.subx.html#L242'>convert-mu</a> <a href='../061read-byte.subx.html#L14'>Stdin</a> <a href='../064write-byte.subx.html#L10'>Stdout</a>) 235 (<a href='../064write-byte.subx.html#L81'>flush</a> <a href='../064write-byte.subx.html#L10'>Stdout</a>) 236 # syscall(exit, 0) 237 bb/copy-to-ebx 0/imm32 238 $mu-main:end: 239 b8/copy-to-eax 1/imm32/exit 240 cd/syscall 0x80/imm8 241 242 convert-mu: # in : (address buffered-file), out : (address buffered-file) 243 # . prologue 244 55/push-ebp 245 89/<- %ebp 4/r32/esp 246 # 247 (<a href='mu.subx.html#L442'>parse-mu</a> *(ebp+8)) 248 (<a href='mu.subx.html#L743'>check-mu-types</a>) 249 (<a href='mu.subx.html#L754'>emit-subx</a> *(ebp+0xc)) 250 $convert-mu:end: 251 # . epilogue 252 89/<- %esp 5/r32/ebp 253 5d/pop-to-ebp 254 c3/return 255 256 test-convert-empty-input: 257 # empty input => empty output 258 # . prologue 259 55/push-ebp 260 89/<- %ebp 4/r32/esp 261 # setup 262 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../061read-byte.subx.html#L288'>_test-input-stream</a>) 263 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../061read-byte.subx.html#L317'>_test-input-buffered-file->buffer</a>) 264 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a>) 265 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../064write-byte.subx.html#L331'>_test-output-buffered-file->buffer</a>) 266 # 267 (<a href='mu.subx.html#L242'>convert-mu</a> <a href='../061read-byte.subx.html#L314'>_test-input-buffered-file</a> <a href='../064write-byte.subx.html#L328'>_test-output-buffered-file</a>) 268 (<a href='../064write-byte.subx.html#L81'>flush</a> <a href='../064write-byte.subx.html#L328'>_test-output-buffered-file</a>) 269 (<a href='../058stream-equal.subx.html#L193'>check-stream-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "" "F - test-convert-empty-input") 270 # . epilogue 271 89/<- %esp 5/r32/ebp 272 5d/pop-to-ebp 273 c3/return 274 275 test-convert-function-skeleton: 276 # empty function decl => function prologue and epilogue 277 # fn foo { 278 # } 279 # => 280 # foo: 281 # # . prologue 282 # 55/push-ebp 283 # 89/<- %ebp 4/r32/esp 284 # # . epilogue 285 # 89/<- %esp 5/r32/ebp 286 # 5d/pop-to-ebp 287 # c3/return 288 # . prologue 289 55/push-ebp 290 89/<- %ebp 4/r32/esp 291 # setup 292 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../061read-byte.subx.html#L288'>_test-input-stream</a>) 293 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../061read-byte.subx.html#L317'>_test-input-buffered-file->buffer</a>) 294 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a>) 295 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../064write-byte.subx.html#L331'>_test-output-buffered-file->buffer</a>) 296 # 297 (<a href='../057write.subx.html#L24'>write</a> <a href='../061read-byte.subx.html#L288'>_test-input-stream</a> "fn foo {\n") 298 (<a href='../057write.subx.html#L24'>write</a> <a href='../061read-byte.subx.html#L288'>_test-input-stream</a> "}\n") 299 # convert 300 (<a href='mu.subx.html#L242'>convert-mu</a> <a href='../061read-byte.subx.html#L314'>_test-input-buffered-file</a> <a href='../064write-byte.subx.html#L328'>_test-output-buffered-file</a>) 301 (<a href='../064write-byte.subx.html#L81'>flush</a> <a href='../064write-byte.subx.html#L328'>_test-output-buffered-file</a>) 302 +-- 6 lines: #? # dump _test-output-stream -------------------------------------------------------------------------------------------------------------- 308 # check output 309 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "foo:" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/0") 310 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "# . prologue" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/1") 311 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "55/push-ebp" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/2") 312 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "89/<- %ebp 4/r32/esp" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/3") 313 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "# . epilogue" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/4") 314 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "89/<- %esp 5/r32/ebp" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/5") 315 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "5d/pop-to-ebp" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/6") 316 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "c3/return" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/7") 317 # . epilogue 318 89/<- %esp 5/r32/ebp 319 5d/pop-to-ebp 320 c3/return 321 322 test-convert-multiple-function-skeletons: 323 # multiple functions correctly organized into a linked list 324 # fn foo { 325 # } 326 # fn bar { 327 # } 328 # => 329 # foo: 330 # # . prologue 331 # 55/push-ebp 332 # 89/<- %ebp 4/r32/esp 333 # # . epilogue 334 # 89/<- %esp 5/r32/ebp 335 # 5d/pop-to-ebp 336 # c3/return 337 # bar: 338 # # . prologue 339 # 55/push-ebp 340 # 89/<- %ebp 4/r32/esp 341 # # . epilogue 342 # 89/<- %esp 5/r32/ebp 343 # 5d/pop-to-ebp 344 # c3/return 345 # . prologue 346 55/push-ebp 347 89/<- %ebp 4/r32/esp 348 # setup 349 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../061read-byte.subx.html#L288'>_test-input-stream</a>) 350 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../061read-byte.subx.html#L317'>_test-input-buffered-file->buffer</a>) 351 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a>) 352 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../064write-byte.subx.html#L331'>_test-output-buffered-file->buffer</a>) 353 # 354 (<a href='../057write.subx.html#L24'>write</a> <a href='../061read-byte.subx.html#L288'>_test-input-stream</a> "fn foo {\n") 355 (<a href='../057write.subx.html#L24'>write</a> <a href='../061read-byte.subx.html#L288'>_test-input-stream</a> "}\n") 356 (<a href='../057write.subx.html#L24'>write</a> <a href='../061read-byte.subx.html#L288'>_test-input-stream</a> "fn bar {\n") 357 (<a href='../057write.subx.html#L24'>write</a> <a href='../061read-byte.subx.html#L288'>_test-input-stream</a> "}\n") 358 # convert 359 (<a href='mu.subx.html#L242'>convert-mu</a> <a href='../061read-byte.subx.html#L314'>_test-input-buffered-file</a> <a href='../064write-byte.subx.html#L328'>_test-output-buffered-file</a>) 360 (<a href='../064write-byte.subx.html#L81'>flush</a> <a href='../064write-byte.subx.html#L328'>_test-output-buffered-file</a>) 361 +-- 6 lines: #? # dump _test-output-stream -------------------------------------------------------------------------------------------------------------- 367 # check first function 368 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "foo:" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/0") 369 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "# . prologue" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/1") 370 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "55/push-ebp" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/2") 371 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "89/<- %ebp 4/r32/esp" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/3") 372 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "# . epilogue" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/4") 373 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "89/<- %esp 5/r32/ebp" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/5") 374 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "5d/pop-to-ebp" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/6") 375 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "c3/return" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/7") 376 # check second function 377 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "bar:" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/10") 378 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "# . prologue" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/11") 379 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "55/push-ebp" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/12") 380 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "89/<- %ebp 4/r32/esp" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/13") 381 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "# . epilogue" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/14") 382 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "89/<- %esp 5/r32/ebp" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/15") 383 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "5d/pop-to-ebp" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/16") 384 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "c3/return" "F - <a href='mu.subx.html#L322'>test-convert-multiple-function-skeletons</a>/17") 385 # . epilogue 386 89/<- %esp 5/r32/ebp 387 5d/pop-to-ebp 388 c3/return 389 390 test-convert-function-with-arg: 391 # function with one arg and a copy instruction 392 # fn foo n : int -> result/eax : int { 393 # result <- copy n 394 # } 395 # => 396 # foo: 397 # # . prologue 398 # 55/push-ebp 399 # 89/<- %ebp 4/r32/esp 400 # { 401 # # result <- copy n 402 # 8b/-> *(ebp+8) 0/r32/eax 403 # } 404 # # . epilogue 405 # 89/<- %esp 5/r32/ebp 406 # 5d/pop-to-ebp 407 # c3/return 408 # . prologue 409 55/push-ebp 410 89/<- %ebp 4/r32/esp 411 # setup 412 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../061read-byte.subx.html#L288'>_test-input-stream</a>) 413 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../061read-byte.subx.html#L317'>_test-input-buffered-file->buffer</a>) 414 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a>) 415 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../064write-byte.subx.html#L331'>_test-output-buffered-file->buffer</a>) 416 # 417 (<a href='../057write.subx.html#L24'>write</a> <a href='../061read-byte.subx.html#L288'>_test-input-stream</a> "fn foo {\n") 418 (<a href='../057write.subx.html#L24'>write</a> <a href='../061read-byte.subx.html#L288'>_test-input-stream</a> "}\n") 419 # convert 420 (<a href='mu.subx.html#L242'>convert-mu</a> <a href='../061read-byte.subx.html#L314'>_test-input-buffered-file</a> <a href='../064write-byte.subx.html#L328'>_test-output-buffered-file</a>) 421 (<a href='../064write-byte.subx.html#L81'>flush</a> <a href='../064write-byte.subx.html#L328'>_test-output-buffered-file</a>) 422 +-- 6 lines: #? # dump _test-output-stream -------------------------------------------------------------------------------------------------------------- 428 # check output 429 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "foo:" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/0") 430 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "# . prologue" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/1") 431 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "55/push-ebp" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/2") 432 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "89/<- %ebp 4/r32/esp" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/3") 433 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "# . epilogue" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/4") 434 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "89/<- %esp 5/r32/ebp" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/5") 435 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "5d/pop-to-ebp" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/6") 436 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "c3/return" "F - <a href='mu.subx.html#L275'>test-convert-function-skeleton</a>/7") 437 # . epilogue 438 89/<- %esp 5/r32/ebp 439 5d/pop-to-ebp 440 c3/return 441 442 parse-mu: # in : (address buffered-file) 443 # pseudocode 444 # var curr-function = Program 445 # var line : (stream byte 512) 446 # var word-slice : slice 447 # while true # line loop 448 # clear-stream(line) 449 # read-line-buffered(in, line) 450 # if (line->write == 0) break # end of file 451 # while true # word loop 452 # word-slice = next-word-or-string(line) 453 # if slice-empty?(word-slice) # end of line 454 # break 455 # else if slice-starts-with?(word-slice, "#") # comment 456 # break # end of line 457 # else if slice-equal(word-slice, "fn") 458 # var new-function : (address function) = new function 459 # populate-mu-function(in, new-function) 460 # *curr-function = new-function 461 # curr-function = &new-function->next 462 # else 463 # abort() 464 # 465 # . prologue 466 55/push-ebp 467 89/<- %ebp 4/r32/esp 468 # . save registers 469 50/push-eax 470 51/push-ecx 471 52/push-edx 472 57/push-edi 473 # var line/ecx : (stream byte 512) 474 81 5/subop/subtract %esp 0x200/imm32 475 68/push 0x200/imm32/length 476 68/push 0/imm32/read 477 68/push 0/imm32/write 478 89/<- %ecx 4/r32/esp 479 # var word-slice/edx : slice 480 68/push 0/imm32/end 481 68/push 0/imm32/start 482 89/<- %edx 4/r32/esp 483 # var curr-function/edi : (address function) = Program 484 bf/copy-to-edi <a href='mu.subx.html#L157'>Program</a>/imm32 485 { 486 $parse-mu:line-loop: 487 (<a href='../055stream.subx.html#L17'>clear-stream</a> %ecx) 488 (<a href='../071read-line.subx.html#L9'>read-line-buffered</a> *(ebp+8) %ecx) 489 # if (line->write == 0) break 490 81 7/subop/compare *ecx 0/imm32 491 0f 84/jump-if-equal break/disp32 492 +-- 6 lines: #? # dump line --------------------------------------------------------------------------------------------------------------------------- 498 { # word loop 499 $parse-mu:word-loop: 500 (<a href='../094next-word-or-string.subx.html#L8'>next-word-or-string</a> %ecx %edx) 501 # if slice-empty?(word-slice) break 502 (<a href='../072slice.subx.html#L9'>slice-empty?</a> %edx) 503 3d/compare-eax-and 0/imm32 504 0f 85/jump-if-not-equal break/disp32 505 # if (*word-slice->start == "#") break 506 # . eax = *word-slice->start 507 8b/-> *edx 0/r32/eax 508 8a/copy-byte *eax 0/r32/AL 509 81 4/subop/and %eax 0xff/imm32 510 # . if (eax == '#') break 511 3d/compare-eax-and 0x23/imm32/hash 512 0f 84/jump-if-equal break/disp32 513 # if (slice-equal?(word-slice, "fn")) parse a function 514 { 515 (<a href='../072slice.subx.html#L91'>slice-equal?</a> %edx "fn") 516 3d/compare-eax-and 0/imm32 517 0f 84/jump-if-equal break/disp32 518 # var new-function/eax : (address function) = populate-mu-function() 519 (<a href='../069allocate.subx.html#L61'>allocate</a> <a href='../069allocate.subx.html#L22'>Heap</a> *<a href='mu.subx.html#L168'>Function-size</a>) # => eax 520 (<a href='mu.subx.html#L563'>populate-mu-function-header</a> %ecx %eax) 521 (<a href='mu.subx.html#L632'>populate-mu-function-body</a> *(ebp+8) %eax) 522 # *curr-function = new-function 523 89/<- *edi 0/r32/eax 524 # curr-function = &new-function->next 525 8d/address-> *(eax+0x10) 7/r32/edi 526 e9/jump $parse-mu:word-loop/disp32 527 } 528 # otherwise abort 529 e9/jump $parse-mu:abort/disp32 530 } # end word loop 531 e9/jump loop/disp32 532 } # end line loop 533 $parse-mu:end: 534 # . reclaim locals 535 81 0/subop/add %esp 0x214/imm32 536 # . restore registers 537 5f/pop-to-edi 538 5a/pop-to-edx 539 59/pop-to-ecx 540 58/pop-to-eax 541 # . epilogue 542 89/<- %esp 5/r32/ebp 543 5d/pop-to-ebp 544 c3/return 545 546 $parse-mu:abort: 547 # error("unexpected top-level command: " word-slice "\n") 548 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> <a href='../065write-buffered.subx.html#L209'>Stderr</a> "unexpected top-level command: ") 549 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> <a href='../065write-buffered.subx.html#L209'>Stderr</a> %edx) 550 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> <a href='../065write-buffered.subx.html#L209'>Stderr</a> "\n") 551 (<a href='../064write-byte.subx.html#L81'>flush</a> <a href='../065write-buffered.subx.html#L209'>Stderr</a>) 552 # . syscall(exit, 1) 553 bb/copy-to-ebx 1/imm32 554 b8/copy-to-eax 1/imm32/exit 555 cd/syscall 0x80/imm8 556 # never gets here 557 558 # errors considered: 559 # fn foo { { 560 # fn foo { } 561 # fn foo { } { 562 # fn foo # no block 563 populate-mu-function-header: # first-line : (address stream byte), out : (address function) 564 # . prologue 565 55/push-ebp 566 89/<- %ebp 4/r32/esp 567 # . save registers 568 50/push-eax 569 51/push-ecx 570 57/push-edi 571 # edi = out 572 8b/-> *(ebp+0xc) 7/r32/edi 573 # var word-slice/ecx : slice 574 68/push 0/imm32/end 575 68/push 0/imm32/start 576 89/<- %ecx 4/r32/esp 577 # save function name 578 (<a href='../076next-word.subx.html#L10'>next-word</a> *(ebp+8) %ecx) 579 (<a href='../072slice.subx.html#L1013'>slice-to-string</a> <a href='../069allocate.subx.html#L22'>Heap</a> %ecx) # => eax 580 89/<- *edi 0/r32/eax 581 # assert that next token is '{' 582 (<a href='../076next-word.subx.html#L10'>next-word</a> *(ebp+8) %ecx) 583 (<a href='../072slice.subx.html#L91'>slice-equal?</a> %ecx "{") 584 3d/compare-eax-and 0/imm32 585 74/jump-if-equal $populate-mu-function-header:abort/disp8 586 # assert that there's no further token 587 { 588 # word-slice = next-word(line) 589 (<a href='../076next-word.subx.html#L10'>next-word</a> *(ebp+8) %ecx) 590 # if (word-slice == '') break 591 (<a href='../072slice.subx.html#L9'>slice-empty?</a> %ecx) 592 3d/compare-eax-and 0/imm32 593 75/jump-if-not-equal break/disp8 594 # if (slice-starts-with?(word-slice, "#")) break 595 # . eax = *word-slice->start 596 8b/-> *edx 0/r32/eax 597 8a/copy-byte *eax 0/r32/AL 598 81 4/subop/and %eax 0xff/imm32 599 # . if (eax == '#') break 600 3d/compare-eax-and 0x23/imm32/hash 601 74/jump-if-equal break/disp8 602 # otherwise abort 603 eb/jump $populate-mu-function-header:abort/disp8 604 } 605 $populate-mu-function-header:end: 606 # . reclaim locals 607 81 0/subop/add %esp 8/imm32 608 # . restore registers 609 5f/pop-to-edi 610 59/pop-to-ecx 611 58/pop-to-eax 612 # . epilogue 613 89/<- %esp 5/r32/ebp 614 5d/pop-to-ebp 615 c3/return 616 617 $populate-mu-function-header:abort: 618 # error("function header not in form 'fn <name> {'") 619 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> <a href='../065write-buffered.subx.html#L209'>Stderr</a> "function header not in form 'fn <name> {' -- '") 620 (<a href='../055stream.subx.html#L54'>rewind-stream</a> *(ebp+8)) 621 (<a href='../062write-stream.subx.html#L18'>write-stream</a> 2 *(ebp+8)) 622 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> <a href='../065write-buffered.subx.html#L209'>Stderr</a> "'\n") 623 (<a href='../064write-byte.subx.html#L81'>flush</a> <a href='../065write-buffered.subx.html#L209'>Stderr</a>) 624 # . syscall(exit, 1) 625 bb/copy-to-ebx 1/imm32 626 b8/copy-to-eax 1/imm32/exit 627 cd/syscall 0x80/imm8 628 # never gets here 629 630 # errors considered: 631 # { abc 632 populate-mu-function-body: # in : (address buffered-file), out : (address function) 633 # . prologue 634 55/push-ebp 635 89/<- %ebp 4/r32/esp 636 # . save registers 637 50/push-eax 638 51/push-ecx 639 52/push-edx 640 53/push-ebx 641 # var line/ecx : (stream byte 512) 642 81 5/subop/subtract %esp 0x200/imm32 643 68/push 0x200/imm32/length 644 68/push 0/imm32/read 645 68/push 0/imm32/write 646 89/<- %ecx 4/r32/esp 647 # var word-slice/edx : slice 648 68/push 0/imm32/end 649 68/push 0/imm32/start 650 89/<- %edx 4/r32/esp 651 # var open-curly-count/ebx : int = 1 652 bb/copy-to-ebx 1/imm32 653 { # line loop 654 $populate-mu-function-body:line-loop: 655 # if (open-curly-count == 0) break 656 81 7/subop/compare %ebx 0/imm32 657 0f 84/jump-if-equal break/disp32 658 # line = read-line-buffered(in) 659 (<a href='../055stream.subx.html#L17'>clear-stream</a> %ecx) 660 (<a href='../071read-line.subx.html#L9'>read-line-buffered</a> *(ebp+8) %ecx) 661 # if (line->write == 0) break 662 81 7/subop/compare *ecx 0/imm32 663 0f 84/jump-if-equal break/disp32 664 # word-slice = next-word(line) 665 (<a href='../076next-word.subx.html#L10'>next-word</a> %ecx %edx) 666 # if slice-empty?(word-slice) continue 667 (<a href='../072slice.subx.html#L9'>slice-empty?</a> %ecx) 668 3d/compare-eax-and 0/imm32 669 75/jump-if-not-equal loop/disp8 670 # if (slice-starts-with?(word-slice, '#') continue 671 # . eax = *word-slice->start 672 8b/-> *edx 0/r32/eax 673 8a/copy-byte *eax 0/r32/AL 674 81 4/subop/and %eax 0xff/imm32 675 # . if (eax == '#') continue 676 3d/compare-eax-and 0x23/imm32/hash 677 74/jump-if-equal loop/disp8 678 { 679 # if slice-equal?(word-slice, "{") ++open-curly-count 680 { 681 (<a href='../072slice.subx.html#L91'>slice-equal?</a> %ecx "{") 682 3d/compare-eax-and 0/imm32 683 74/jump-if-equal break/disp8 684 43/increment-ebx 685 eb/jump $curly-found:end/disp8 686 } 687 # else if slice-equal?(word-slice, "}") --open-curly-count 688 { 689 (<a href='../072slice.subx.html#L91'>slice-equal?</a> %ecx "}") 690 3d/compare-eax-and 0/imm32 691 74/jump-if-equal break/disp8 692 4b/decrement-ebx 693 eb/jump $curly-found:end/disp8 694 } 695 # else break 696 eb/jump $populate-mu-function-body:end/disp8 697 } 698 # - check for invalid tokens after curly 699 $curly-found:end: 700 # second-word-slice = next-word(line) 701 (<a href='../076next-word.subx.html#L10'>next-word</a> %ecx %edx) 702 # if slice-empty?(second-word-slice) continue 703 (<a href='../072slice.subx.html#L9'>slice-empty?</a> %ecx) 704 3d/compare-eax-and 0/imm32 705 0f 85/jump-if-not-equal loop/disp32 706 # if (slice-starts-with?(second-word-slice, '#') continue 707 # . eax = *second-word-slice->start 708 8b/-> *edx 0/r32/eax 709 8a/copy-byte *eax 0/r32/AL 710 81 4/subop/and %eax 0xff/imm32 711 # . if (eax == '#') continue 712 3d/compare-eax-and 0x23/imm32/hash 713 0f 84/jump-if-equal loop/disp32 714 # abort 715 eb/jump $populate-mu-function-body:abort/disp8 716 } # end line loop 717 $populate-mu-function-body:end: 718 # . reclaim locals 719 81 0/subop/add %esp 0x214/imm32 720 # . restore registers 721 5b/pop-to-ebx 722 5a/pop-to-edx 723 59/pop-to-ecx 724 58/pop-to-eax 725 # . epilogue 726 89/<- %esp 5/r32/ebp 727 5d/pop-to-ebp 728 c3/return 729 730 $populate-mu-function-body:abort: 731 # error("'{' or '}' should be on its own line, but got '") 732 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> <a href='../065write-buffered.subx.html#L209'>Stderr</a> "'{' or '}' should be on its own line, but got '") 733 (<a href='../055stream.subx.html#L54'>rewind-stream</a> %ecx) 734 (<a href='../062write-stream.subx.html#L18'>write-stream</a> 2 %ecx) 735 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> <a href='../065write-buffered.subx.html#L209'>Stderr</a> "'\n") 736 (<a href='../064write-byte.subx.html#L81'>flush</a> <a href='../065write-buffered.subx.html#L209'>Stderr</a>) 737 # . syscall(exit, 1) 738 bb/copy-to-ebx 1/imm32 739 b8/copy-to-eax 1/imm32/exit 740 cd/syscall 0x80/imm8 741 # never gets here 742 743 check-mu-types: 744 # . prologue 745 55/push-ebp 746 89/<- %ebp 4/r32/esp 747 # 748 $check-types:end: 749 # . epilogue 750 89/<- %esp 5/r32/ebp 751 5d/pop-to-ebp 752 c3/return 753 754 emit-subx: # out : (address buffered-file) 755 # . prologue 756 55/push-ebp 757 89/<- %ebp 4/r32/esp 758 # . save registers 759 50/push-eax 760 51/push-ecx 761 57/push-edi 762 # edi = out 763 8b/-> *(ebp+8) 7/r32/edi 764 # var curr/ecx : (address function) = Program 765 8b/-> *<a href='mu.subx.html#L157'>Program</a> 1/r32/ecx 766 { 767 # if (curr == NULL) break 768 81 7/subop/compare %ecx 0/imm32 769 0f 84/jump-if-equal break/disp32 770 (<a href='mu.subx.html#L791'>emit-subx-function</a> %edi %ecx) 771 # curr = curr->next 772 8b/-> *(ecx+0x10) 1/r32/ecx 773 e9/jump loop/disp32 774 } 775 $emit-subx:end: 776 # . restore registers 777 5f/pop-to-edi 778 59/pop-to-ecx 779 58/pop-to-eax 780 # . epilogue 781 89/<- %esp 5/r32/ebp 782 5d/pop-to-ebp 783 c3/return 784 785 # == Emitting a function 786 # Emit function header 787 # Emit function prologue 788 # Translate function body 789 # Emit function epilogue 790 791 emit-subx-function: # out : (address buffered-file), f : (address function) 792 # . prologue 793 55/push-ebp 794 89/<- %ebp 4/r32/esp 795 # . save registers 796 50/push-eax 797 51/push-ecx 798 57/push-edi 799 # edi = out 800 8b/-> *(ebp+8) 7/r32/edi 801 # ecx = f 802 8b/-> *(ebp+0xc) 1/r32/ecx 803 # 804 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> %edi *ecx) 805 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> %edi ":\n") 806 (<a href='mu.subx.html#L1030'>emit-subx-prologue</a> %edi) 807 (<a href='mu.subx.html#L819'>emit-subx-block</a> %edi *(ecx+4)) # TODO: offset 808 (<a href='mu.subx.html#L1044'>emit-subx-epilogue</a> %edi) 809 $emit-subx-function:end: 810 # . restore registers 811 5f/pop-to-edi 812 59/pop-to-ecx 813 58/pop-to-eax 814 # . epilogue 815 89/<- %esp 5/r32/ebp 816 5d/pop-to-ebp 817 c3/return 818 819 emit-subx-block: # out : (address buffered-file), block : (address block) 820 # . prologue 821 55/push-ebp 822 89/<- %ebp 4/r32/esp 823 # 824 $emit-subx-block:end: 825 # . epilogue 826 89/<- %esp 5/r32/ebp 827 5d/pop-to-ebp 828 c3/return 829 830 emit-subx-statement: # out : (address buffered-file), stmt : (address statement), vars : (address variable), regs : (address array (address variable)), primitives : (address opcode-info), functions : (address function) 831 # . prologue 832 55/push-ebp 833 89/<- %ebp 4/r32/esp 834 # . save registers 835 50/push-eax 836 51/push-ecx 837 # var curr/ecx : (address primitive) = primitives 838 8b/-> *(ebp+0x18) 1/r32/ecx 839 { 840 # if (curr != null) abort 841 81 7/subop/compare *(ebp+0xc) 0/imm32 842 0f 84/jump-if-equal $emit-subx-statement:abort/disp32 843 # if (match(curr, stmt)) break 844 (<a href='mu.subx.html#L873'>mu-stmt-matches-primitive?</a> *(ebp+0xc) %ecx) # => eax 845 3d/compare-eax-and 0/imm32 846 75/jump-if-not-equal break/disp8 847 # emit code for stmt according to curr and vars 848 # curr = curr->next 849 8b/-> *(ecx+0x10) 1/r32/ecx 850 e9/jump loop/disp32 851 } 852 $emit-subx-statement:end: 853 # . restore registers 854 59/pop-to-ecx 855 58/pop-to-eax 856 # . epilogue 857 89/<- %esp 5/r32/ebp 858 5d/pop-to-ebp 859 c3/return 860 861 $emit-subx-statement:abort: 862 # error("couldn't translate '" stmt "'\n") 863 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> <a href='../065write-buffered.subx.html#L209'>Stderr</a> "couldn't translate '") 864 #? (emit-string Stderr *(ebp+0xc)) # TODO 865 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> <a href='../065write-buffered.subx.html#L209'>Stderr</a> "'\n") 866 (<a href='../064write-byte.subx.html#L81'>flush</a> <a href='../065write-buffered.subx.html#L209'>Stderr</a>) 867 # . syscall(exit, 1) 868 bb/copy-to-ebx 1/imm32 869 b8/copy-to-eax 1/imm32/exit 870 cd/syscall 0x80/imm8 871 # never gets here 872 873 mu-stmt-matches-primitive?: # stmt : (address statement), primitive : (address opcode-info) => result/eax : boolean 874 # . prologue 875 55/push-ebp 876 89/<- %ebp 4/r32/esp 877 # . save registers 878 51/push-ecx 879 # return primitive->name == stmt->operation 880 8b/-> *(ebp+8) 1/r32/ecx 881 8b/-> *(ebp+0xc) 0/r32/eax 882 (<a href='../054string-equal.subx.html#L16'>string-equal?</a> *ecx *eax) # => eax 883 $mu-stmt-matches-primitive?:end: 884 # . restore registers 885 59/pop-to-ecx 886 # . epilogue 887 89/<- %esp 5/r32/ebp 888 5d/pop-to-ebp 889 c3/return 890 891 test-emit-subx-statement-primitive: 892 # Primitive operation on a variable on the stack. 893 # increment foo 894 # => 895 # ff 0/subop/increment *(ebp-8) 896 # 897 # There's a variable on the var stack as follows: 898 # name: 'foo' 899 # type: int 900 # location: -8 (negative numbers are on the stack; 901 # 0-7 are in registers; 902 # higher positive numbers are invalid) 903 # 904 # There's nothing in registers. 905 # 906 # There's a primitive with this info: 907 # name: 'increment' 908 # inout: int/mem 909 # value: 'ff 0/subop/increment' 910 # 911 # There's nothing in functions. 912 # 913 # . prologue 914 55/push-ebp 915 89/<- %ebp 4/r32/esp 916 # setup 917 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a>) 918 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../064write-byte.subx.html#L331'>_test-output-buffered-file->buffer</a>) 919 # . ecx = vars 920 68/push 0/imm32/next 921 68/push -8/imm32/stack-offset 922 68/push 0/imm32/int # TODO 923 68/push "foo"/imm32 924 89/<- %ecx 4/r32/esp 925 # . edx = operand 926 68/push 0/imm32/next 927 51/push-ecx/var-foo 928 89/<- %edx 4/r32/esp 929 # . edx = stmt 930 68/push 0/imm32/next 931 68/push 0/imm32/outputs 932 52/push-edx/operand 933 68/push "increment"/imm32/operation 934 89/<- %edx 4/r32/esp 935 # . ebx = primitives 936 68/push 0/imm32/next 937 68/push "ff 0/subop/increment"/imm32 938 68/push 0/imm32/type-int 939 68/push 0/imm32/storage-memory 940 68/push "increment"/imm32/name 941 89/<- %ebx 4/r32/esp 942 # convert 943 (<a href='mu.subx.html#L830'>emit-subx-statement</a> <a href='../064write-byte.subx.html#L328'>_test-output-buffered-file</a> %edx %ecx 0 %ebx 0) 944 (<a href='../064write-byte.subx.html#L81'>flush</a> <a href='../064write-byte.subx.html#L328'>_test-output-buffered-file</a>) 945 +-- 6 lines: #? # dump _test-output-stream -------------------------------------------------------------------------------------------------------------- 951 # check output 952 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "ff 0/subop/increment *(ebp-8)" "F - <a href='mu.subx.html#L891'>test-emit-subx-statement-primitive</a>/0") 953 # . reclaim locals 954 81 0/subop/add %esp 0x3c/imm32 955 # . epilogue 956 89/<- %esp 5/r32/ebp 957 5d/pop-to-ebp 958 c3/return 959 960 test-emit-subx-statement-function-call: 961 # Call a function on a variable on the stack. 962 # f var 963 # => 964 # (f2 *(ebp-8)) 965 # (Changing the function name just to help disambiguate things.) 966 # 967 # There's a variable on the var stack as follows: 968 # name: 'var' 969 # type: int 970 # location: -8 (negative numbers are on the stack; 971 # 0-7 are in registers; 972 # higher positive numbers are invalid) 973 # 974 # There's nothing in registers. 975 # 976 # There's nothing in primitives. 977 # 978 # There's a function with this info: 979 # name: 'f' 980 # inout: int/mem 981 # value: 'f2' 982 # 983 # . prologue 984 55/push-ebp 985 89/<- %ebp 4/r32/esp 986 # setup 987 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a>) 988 (<a href='../055stream.subx.html#L17'>clear-stream</a> <a href='../064write-byte.subx.html#L331'>_test-output-buffered-file->buffer</a>) 989 # . ecx = vars 990 68/push 0/imm32/next 991 68/push -8/imm32/stack-offset 992 68/push 0/imm32/int # TODO 993 68/push "var"/imm32 994 89/<- %ecx 4/r32/esp 995 # . edx = operand 996 68/push 0/imm32/next 997 51/push-ecx/var 998 89/<- %edx 4/r32/esp 999 # . edx = stmt 1000 68/push 0/imm32/next 1001 68/push 0/imm32/outputs 1002 52/push-edx/operand 1003 68/push "f"/imm32/operation 1004 89/<- %edx 4/r32/esp 1005 # . ebx = functions 1006 68/push 0/imm32/next 1007 68/push "f2"/imm32 1008 68/push 0/imm32/type-int 1009 68/push 0/imm32/storage-memory 1010 68/push "f"/imm32/name 1011 89/<- %ebx 4/r32/esp 1012 # convert 1013 (<a href='mu.subx.html#L830'>emit-subx-statement</a> <a href='../064write-byte.subx.html#L328'>_test-output-buffered-file</a> %edx %ecx 0 0 %ebx) 1014 (<a href='../064write-byte.subx.html#L81'>flush</a> <a href='../064write-byte.subx.html#L328'>_test-output-buffered-file</a>) 1015 +-- 6 lines: #? # dump _test-output-stream -------------------------------------------------------------------------------------------------------------- 1021 # check output 1022 (<a href='../058stream-equal.subx.html#L563'>check-next-stream-line-equal</a> <a href='../064write-byte.subx.html#L286'>_test-output-stream</a> "f2 *(ebp-8)" "F - <a href='mu.subx.html#L960'>test-emit-subx-statement-function-call</a>/0") 1023 # . reclaim locals 1024 81 0/subop/add %esp 0x3c/imm32 1025 # . epilogue 1026 89/<- %esp 5/r32/ebp 1027 5d/pop-to-ebp 1028 c3/return 1029 1030 emit-subx-prologue: # out : (address buffered-file) 1031 # . prologue 1032 55/push-ebp 1033 89/<- %ebp 4/r32/esp 1034 # 1035 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> *(ebp+8) "# . prologue\n") 1036 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> *(ebp+8) "55/push-ebp\n") 1037 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> *(ebp+8) "89/<- %ebp 4/r32/esp\n") 1038 $emit-subx-prologue:end: 1039 # . epilogue 1040 89/<- %esp 5/r32/ebp 1041 5d/pop-to-ebp 1042 c3/return 1043 1044 emit-subx-epilogue: # out : (address buffered-file) 1045 # . prologue 1046 55/push-ebp 1047 89/<- %ebp 4/r32/esp 1048 # 1049 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> *(ebp+8) "# . epilogue\n") 1050 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> *(ebp+8) "89/<- %esp 5/r32/ebp\n") 1051 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> *(ebp+8) "5d/pop-to-ebp\n") 1052 (<a href='../065write-buffered.subx.html#L8'>write-buffered</a> *(ebp+8) "c3/return\n") 1053 $emit-subx-epilogue:end: 1054 # . epilogue 1055 89/<- %esp 5/r32/ebp 1056 5d/pop-to-ebp 1057 c3/return </pre> </body> </html>