rpn.mu.html « tile « apps « html - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

blob: c67a5d75f2320cdf99c66e5e7477fe747758d1d0 (plain) (generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-12-12 03:22:54 +0000

74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356

361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653

655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <title>Mu - apps/tile/rpn.mu</title> <meta name="Generator" content="Vim/8.1"> <meta name="plugin-version" content="vim8.1_v1"> <meta name="syntax" content="none"> <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy="> <meta name="colorscheme" content="minimal-light"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body onload='JumpToLine();'> <a href='https://github.com/akkartik/mu/blob/master/apps/tile/rpn.mu'>https://github.com/akkartik/mu/blob/master/apps/tile/rpn.mu</a> <pre id='vimCodeElement'> 1 fn <a href='rpn.mu.html#L1'>evaluate</a> functions: (addr handle function), bindings: (addr table), scratch: (addr line), end: (addr word), out: (addr value-stack) { 2 var line/eax: (addr line) <- copy scratch 3 var word-ah/eax: (addr handle word) <- <a href='../../131table.subx.html#L26'>get</a> line, data 4 var curr/eax: (addr word) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *word-ah 5 var curr-stream-storage: (stream byte 0x10) 6 var curr-stream/edi: (addr stream byte) <- address curr-stream-storage 7 clear-value-stack out 8 $evaluate:loop: { 9 # precondition (should never hit) 10 compare curr, 0 11 break-if-= 12 # update curr-stream 13 emit-word curr, curr-stream 14 #? print-string-to-real-screen "eval: " 15 #? print-stream-to-real-screen curr-stream 16 #? print-string-to-real-screen "\n" 17 $evaluate:process-word: { 18 ### if curr-stream is an operator, perform it 19 ## numbers 20 { 21 var is-add?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "+" 22 compare is-add?, 0 23 break-if-= 24 var _b/eax: int <- pop-int-from-value-stack out 25 var b/edx: int <- copy _b 26 var a/eax: int <- pop-int-from-value-stack out 27 a <- add b 28 push-int-to-value-stack out, a 29 break $evaluate:process-word 30 } 31 { 32 var is-sub?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "-" 33 compare is-sub?, 0 34 break-if-= 35 var _b/eax: int <- pop-int-from-value-stack out 36 var b/edx: int <- copy _b 37 var a/eax: int <- pop-int-from-value-stack out 38 a <- subtract b 39 push-int-to-value-stack out, a 40 break $evaluate:process-word 41 } 42 { 43 var is-mul?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "*" 44 compare is-mul?, 0 45 break-if-= 46 var _b/eax: int <- pop-int-from-value-stack out 47 var b/edx: int <- copy _b 48 var a/eax: int <- pop-int-from-value-stack out 49 a <- multiply b 50 push-int-to-value-stack out, a 51 break $evaluate:process-word 52 } 53 ## strings/arrays 54 { 55 var is-len?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "len" 56 compare is-len?, 0 57 break-if-= 58 #? print-string 0, "is len\n" 59 # pop target-val from out 60 var out2/esi: (addr value-stack) <- copy out 61 var top-addr/ecx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 62 compare *top-addr, 0 63 break-if-<= 64 #? print-string 0, "stack has stuff\n" 65 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> out2, data 66 var data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 67 var <a href='../../203stack.subx.html#L338'>top</a>/edx: int <- copy *top-addr 68 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 69 var dest-offset/edx: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 70 var target-val/edx: (addr value) <- index data, dest-offset 71 # check target-val is a string or array 72 var target-type-addr/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 73 compare *target-type-addr, 1 # string 74 { 75 break-if-!= 76 # compute length 77 var src-ah/eax: (addr handle array byte) <- <a href='../../131table.subx.html#L26'>get</a> target-val, text-data 78 var src/eax: (addr array byte) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *src-ah 79 var result/ebx: int <- length src 80 # save result into target-val 81 var type-addr/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 82 copy-to *type-addr, 0 # int 83 var target-string-ah/eax: (addr handle array byte) <- <a href='../../131table.subx.html#L26'>get</a> target-val, text-data 84 var empty: (handle array byte) 85 <a href='../../120allocate.subx.html#L489'>copy-handle</a> empty, target-string-ah 86 var target/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, int-data 87 copy-to *target, result 88 break $evaluate:process-word 89 } 90 compare *target-type-addr, 2 # array of ints 91 { 92 break-if-!= 93 # compute length 94 var src-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> target-val, array-data 95 var src/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *src-ah 96 var result/ebx: int <- length src 97 # save result into target-val 98 var type-addr/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 99 copy-to *type-addr, 0 # int 100 var target-array-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> target-val, array-data 101 var empty: (handle array value) 102 <a href='../../120allocate.subx.html#L489'>copy-handle</a> empty, target-array-ah 103 var target/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, int-data 104 copy-to *target, result 105 break $evaluate:process-word 106 } 107 } 108 ## files 109 { 110 var is-open?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "open" 111 compare is-open?, 0 112 break-if-= 113 # pop target-val from out 114 var out2/esi: (addr value-stack) <- copy out 115 var top-addr/ecx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 116 compare *top-addr, 0 117 break-if-<= 118 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> out2, data 119 var data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 120 var <a href='../../203stack.subx.html#L338'>top</a>/edx: int <- copy *top-addr 121 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 122 var dest-offset/edx: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 123 var target-val/edx: (addr value) <- index data, dest-offset 124 # check target-val is a string 125 var target-type-addr/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 126 compare *target-type-addr, 1 # string 127 break-if-!= 128 # open target-val as a filename and save the handle in target-val 129 var src-ah/eax: (addr handle array byte) <- <a href='../../131table.subx.html#L26'>get</a> target-val, text-data 130 var src/eax: (addr array byte) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *src-ah 131 var result-ah/ecx: (addr handle buffered-file) <- <a href='../../131table.subx.html#L26'>get</a> target-val, file-data 132 <a href='../../306files.subx.html#L12'>open</a> src, 0, result-ah # write? = false 133 # save result into target-val 134 var type-addr/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 135 copy-to *type-addr, 3 # file 136 var target-string-ah/eax: (addr handle array byte) <- <a href='../../131table.subx.html#L26'>get</a> target-val, text-data 137 var filename-ah/ecx: (addr handle array byte) <- <a href='../../131table.subx.html#L26'>get</a> target-val, filename 138 copy-object target-string-ah, filename-ah 139 var empty: (handle array byte) 140 <a href='../../120allocate.subx.html#L489'>copy-handle</a> empty, target-string-ah 141 break $evaluate:process-word 142 } 143 { 144 var is-read?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "read" 145 compare is-read?, 0 146 break-if-= 147 # pop target-val from out 148 var out2/esi: (addr value-stack) <- copy out 149 var top-addr/ecx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 150 compare *top-addr, 0 151 break-if-<= 152 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> out2, data 153 var data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 154 var <a href='../../203stack.subx.html#L338'>top</a>/edx: int <- copy *top-addr 155 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 156 var dest-offset/edx: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 157 var target-val/edx: (addr value) <- index data, dest-offset 158 # check target-val is a file 159 var target-type-addr/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 160 compare *target-type-addr, 3 # file 161 break-if-!= 162 # read a line from the file and save in target-val 163 # read target-val as a filename and save the handle in target-val 164 var file-ah/eax: (addr handle buffered-file) <- <a href='../../131table.subx.html#L26'>get</a> target-val, file-data 165 var file/eax: (addr buffered-file) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *file-ah 166 var s: (stream byte 0x100) 167 var s-addr/ecx: (addr stream byte) <- address s 168 <a href='../../122read-line.subx.html#L9'>read-line-buffered</a> file, s-addr 169 var target/eax: (addr handle array byte) <- <a href='../../131table.subx.html#L26'>get</a> target-val, text-data 170 <a href='../../310copy-bytes.subx.html#L59'>stream-to-array</a> s-addr, target 171 # save result into target-val 172 var type-addr/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 173 copy-to *type-addr, 1 # string 174 var target-file-ah/eax: (addr handle buffered-file) <- <a href='../../131table.subx.html#L26'>get</a> target-val, file-data 175 var empty: (handle buffered-file) 176 <a href='../../120allocate.subx.html#L489'>copy-handle</a> empty, target-file-ah 177 break $evaluate:process-word 178 } 179 { 180 var is-slurp?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "slurp" 181 compare is-slurp?, 0 182 break-if-= 183 # pop target-val from out 184 var out2/esi: (addr value-stack) <- copy out 185 var top-addr/ecx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 186 compare *top-addr, 0 187 break-if-<= 188 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> out2, data 189 var data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 190 var <a href='../../203stack.subx.html#L338'>top</a>/edx: int <- copy *top-addr 191 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 192 var dest-offset/edx: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 193 var target-val/edx: (addr value) <- index data, dest-offset 194 # check target-val is a file 195 var target-type-addr/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 196 compare *target-type-addr, 3 # file 197 break-if-!= 198 # slurp all contents from file and save in target-val 199 # read target-val as a filename and save the handle in target-val 200 var file-ah/eax: (addr handle buffered-file) <- <a href='../../131table.subx.html#L26'>get</a> target-val, file-data 201 var file/eax: (addr buffered-file) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *file-ah 202 var s: (stream byte 0x100) 203 var s-addr/ecx: (addr stream byte) <- address s 204 <a href='../../132slurp.subx.html#L8'>slurp</a> file, s-addr 205 var target/eax: (addr handle array byte) <- <a href='../../131table.subx.html#L26'>get</a> target-val, text-data 206 <a href='../../310copy-bytes.subx.html#L59'>stream-to-array</a> s-addr, target 207 # save result into target-val 208 var type-addr/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 209 copy-to *type-addr, 1 # string 210 var target-file-ah/eax: (addr handle buffered-file) <- <a href='../../131table.subx.html#L26'>get</a> target-val, file-data 211 var empty: (handle buffered-file) 212 <a href='../../120allocate.subx.html#L489'>copy-handle</a> empty, target-file-ah 213 break $evaluate:process-word 214 } 215 { 216 var is-lines?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "lines" 217 compare is-lines?, 0 218 break-if-= 219 # pop target-val from out 220 var out2/esi: (addr value-stack) <- copy out 221 var top-addr/ecx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 222 compare *top-addr, 0 223 break-if-<= 224 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> out2, data 225 var data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 226 var <a href='../../203stack.subx.html#L338'>top</a>/edx: int <- copy *top-addr 227 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 228 var dest-offset/edx: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 229 var target-val/edx: (addr value) <- index data, dest-offset 230 # check target-val is a file 231 var target-type-addr/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 232 compare *target-type-addr, 3 # file 233 break-if-!= 234 # read all lines from file and save as an array of strings in target-val 235 # read target-val as a filename and save the handle in target-val 236 var file-ah/eax: (addr handle buffered-file) <- <a href='../../131table.subx.html#L26'>get</a> target-val, file-data 237 var file/eax: (addr buffered-file) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *file-ah 238 var s: (stream byte 0x100) 239 var s-addr/ecx: (addr stream byte) <- address s 240 <a href='../../132slurp.subx.html#L8'>slurp</a> file, s-addr 241 var tmp-ah/eax: (addr handle array byte) <- <a href='../../131table.subx.html#L26'>get</a> target-val, text-data 242 <a href='../../310copy-bytes.subx.html#L59'>stream-to-array</a> s-addr, tmp-ah 243 var tmp/eax: (addr array byte) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *tmp-ah 244 #? enable-screen-type-mode 245 #? print-string 0, tmp 246 var h: (handle array (handle array byte)) 247 { 248 var ah/edx: (addr handle array (handle array byte)) <- address h 249 <a href='../../411string.mu.html#L88'>split-string</a> tmp, 0xa, ah 250 } 251 var target/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> target-val, array-data 252 save-lines h, target 253 # save result into target-val 254 var type-addr/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 255 copy-to *type-addr, 2 # array 256 var target-file-ah/eax: (addr handle buffered-file) <- <a href='../../131table.subx.html#L26'>get</a> target-val, file-data 257 var empty-file: (handle buffered-file) 258 <a href='../../120allocate.subx.html#L489'>copy-handle</a> empty-file, target-file-ah 259 var target-text-ah/eax: (addr handle array byte) <- <a href='../../131table.subx.html#L26'>get</a> target-val, text-data 260 var empty-text: (handle array byte) 261 <a href='../../120allocate.subx.html#L489'>copy-handle</a> empty-text, target-text-ah 262 break $evaluate:process-word 263 } 264 ## screens 265 { 266 var is-fake-screen?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "fake-screen" 267 compare is-fake-screen?, 0 268 break-if-= 269 var out2/esi: (addr value-stack) <- copy out 270 var top-addr/ecx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 271 compare *top-addr, 0 272 break-if-<= 273 # pop width and height from out 274 var _nrows/eax: int <- pop-int-from-value-stack out2 275 var nrows/edx: int <- copy _nrows 276 var _ncols/eax: int <- pop-int-from-value-stack out2 277 var ncols/ebx: int <- copy _ncols 278 # define a new screen with those dimensions 279 var screen-h: (handle <a href='../../405screen.mu.html#L9'>screen</a>) 280 var screen-ah/eax: (addr handle <a href='../../405screen.mu.html#L9'>screen</a>) <- address screen-h 281 <a href='../../120allocate.subx.html#L66'>allocate</a> screen-ah 282 var <a href='../../405screen.mu.html#L9'>screen</a>/eax: (addr <a href='../../405screen.mu.html#L9'>screen</a>) <- <a href='../../120allocate.subx.html#L256'>lookup</a> screen-h 283 <a href='../../405screen.mu.html#L30'>initialize-screen</a> <a href='../../405screen.mu.html#L9'>screen</a>, nrows, ncols 284 # push screen to stack 285 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> out2, data 286 var data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 287 var <a href='../../203stack.subx.html#L338'>top</a>/edx: int <- copy *top-addr 288 increment *top-addr 289 var dest-offset/edx: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 290 var target-val/edx: (addr value) <- index data, dest-offset 291 var type/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 292 copy-to *type, 4 # screen 293 var dest/eax: (addr handle <a href='../../405screen.mu.html#L9'>screen</a>) <- <a href='../../131table.subx.html#L26'>get</a> target-val, screen-data 294 <a href='../../120allocate.subx.html#L489'>copy-handle</a> screen-h, dest 295 break $evaluate:process-word 296 } 297 { 298 var is-print?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "print" 299 compare is-print?, 0 300 break-if-= 301 var out2/esi: (addr value-stack) <- copy out 302 var top-addr/ecx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 303 compare *top-addr, 0 304 break-if-<= 305 # pop string from out 306 var top-addr/ecx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 307 compare *top-addr, 0 308 break-if-<= 309 decrement *top-addr 310 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> out2, data 311 var _data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 312 var data/edi: (addr array value) <- copy _data 313 var <a href='../../203stack.subx.html#L338'>top</a>/eax: int <- copy *top-addr 314 var dest-offset/edx: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 315 var s/esi: (addr value) <- index data, dest-offset 316 # select target screen from top of out (but don't pop it) 317 compare *top-addr, 0 318 break-if-<= 319 var <a href='../../203stack.subx.html#L338'>top</a>/eax: int <- copy *top-addr 320 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 321 var dest-offset/edx: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 322 var target-val/edx: (addr value) <- index data, dest-offset 323 var type/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 324 compare *type, 4 # screen 325 break-if-!= 326 # print string to target screen 327 var dest-ah/eax: (addr handle <a href='../../405screen.mu.html#L9'>screen</a>) <- <a href='../../131table.subx.html#L26'>get</a> target-val, screen-data 328 var dest/eax: (addr <a href='../../405screen.mu.html#L9'>screen</a>) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *dest-ah 329 var r/ecx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> dest, cursor-row 330 var c/edx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> dest, cursor-col 331 render-value-at dest, *r, *c, s, 0 332 break $evaluate:process-word 333 } 334 { 335 var is-move?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "move" 336 compare is-move?, 0 337 break-if-= 338 var out2/esi: (addr value-stack) <- copy out 339 # pop args 340 var _r/eax: int <- pop-int-from-value-stack out2 341 var r/ecx: int <- copy _r 342 var _c/eax: int <- pop-int-from-value-stack out2 343 var c/edx: int <- copy _c 344 # select screen from top of out (but don't pop it) 345 var top-addr/ebx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 346 compare *top-addr, 0 347 break-if-<= 348 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> out2, data 349 var _data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 350 var data/edi: (addr array value) <- copy _data 351 var <a href='../../203stack.subx.html#L338'>top</a>/eax: int <- copy *top-addr 352 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 353 var target-offset/eax: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 354 var target-val/ebx: (addr value) <- index data, target-offset 355 var type/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 356 compare *type, 4 # screen 357 break-if-!= 358 var target-ah/eax: (addr handle <a href='../../405screen.mu.html#L9'>screen</a>) <- <a href='../../131table.subx.html#L26'>get</a> target-val, screen-data 359 var target/eax: (addr <a href='../../405screen.mu.html#L9'>screen</a>) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *target-ah 360 <a href='../../405screen.mu.html#L109'>move-cursor</a> target, r, c 361 break $evaluate:process-word 362 } 363 { 364 var is-up?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "up" 365 compare is-up?, 0 366 break-if-= 367 var out2/esi: (addr value-stack) <- copy out 368 var top-addr/ebx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 369 compare *top-addr, 0 370 break-if-<= 371 # pop args 372 var _d/eax: int <- pop-int-from-value-stack out2 373 var d/ecx: int <- copy _d 374 # select screen from top of out (but don't pop it) 375 compare *top-addr, 0 376 break-if-<= 377 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> out2, data 378 var _data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 379 var data/edi: (addr array value) <- copy _data 380 var <a href='../../203stack.subx.html#L338'>top</a>/eax: int <- copy *top-addr 381 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 382 var target-offset/eax: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 383 var target-val/ebx: (addr value) <- index data, target-offset 384 var type/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 385 compare *type, 4 # screen 386 break-if-!= 387 var target-ah/eax: (addr handle <a href='../../405screen.mu.html#L9'>screen</a>) <- <a href='../../131table.subx.html#L26'>get</a> target-val, screen-data 388 var _target/eax: (addr <a href='../../405screen.mu.html#L9'>screen</a>) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *target-ah 389 var target/edi: (addr <a href='../../405screen.mu.html#L9'>screen</a>) <- copy _target 390 var r/edx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target, cursor-row 391 var c/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target, cursor-col 392 var col/eax: int <- copy *c 393 { 394 compare d, 0 395 break-if-<= 396 compare *r, 1 397 break-if-<= 398 <a href='../../405screen.mu.html#L169'>print-string</a> target "│" 399 decrement *r 400 <a href='../../405screen.mu.html#L109'>move-cursor</a> target, *r, col 401 d <- decrement 402 loop 403 } 404 break $evaluate:process-word 405 } 406 { 407 var is-down?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "down" 408 compare is-down?, 0 409 break-if-= 410 var out2/esi: (addr value-stack) <- copy out 411 var top-addr/ebx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 412 compare *top-addr, 0 413 break-if-<= 414 # pop args 415 var _d/eax: int <- pop-int-from-value-stack out2 416 var d/ecx: int <- copy _d 417 # select screen from top of out (but don't pop it) 418 compare *top-addr, 0 419 break-if-<= 420 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> out2, data 421 var _data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 422 var data/edi: (addr array value) <- copy _data 423 var <a href='../../203stack.subx.html#L338'>top</a>/eax: int <- copy *top-addr 424 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 425 var target-offset/eax: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 426 var target-val/ebx: (addr value) <- index data, target-offset 427 var type/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 428 compare *type, 4 # screen 429 break-if-!= 430 var target-ah/eax: (addr handle <a href='../../405screen.mu.html#L9'>screen</a>) <- <a href='../../131table.subx.html#L26'>get</a> target-val, screen-data 431 var _target/eax: (addr <a href='../../405screen.mu.html#L9'>screen</a>) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *target-ah 432 var target/edi: (addr <a href='../../405screen.mu.html#L9'>screen</a>) <- copy _target 433 var bound-a/ebx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target, num-rows 434 var bound/ebx: int <- copy *bound-a 435 var r/edx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target, cursor-row 436 var c/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target, cursor-col 437 var col/eax: int <- copy *c 438 { 439 compare d, 0 440 break-if-<= 441 compare *r, bound 442 break-if->= 443 <a href='../../405screen.mu.html#L169'>print-string</a> target "│" 444 increment *r 445 <a href='../../405screen.mu.html#L109'>move-cursor</a> target, *r, col 446 d <- decrement 447 loop 448 } 449 break $evaluate:process-word 450 } 451 { 452 var is-left?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "left" 453 compare is-left?, 0 454 break-if-= 455 var out2/esi: (addr value-stack) <- copy out 456 var top-addr/ebx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 457 compare *top-addr, 0 458 break-if-<= 459 # pop args 460 var _d/eax: int <- pop-int-from-value-stack out2 461 var d/ecx: int <- copy _d 462 # select screen from top of out (but don't pop it) 463 compare *top-addr, 0 464 break-if-<= 465 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> out2, data 466 var _data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 467 var data/edi: (addr array value) <- copy _data 468 var <a href='../../203stack.subx.html#L338'>top</a>/eax: int <- copy *top-addr 469 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 470 var target-offset/eax: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 471 var target-val/ebx: (addr value) <- index data, target-offset 472 var type/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 473 compare *type, 4 # screen 474 break-if-!= 475 var target-ah/eax: (addr handle <a href='../../405screen.mu.html#L9'>screen</a>) <- <a href='../../131table.subx.html#L26'>get</a> target-val, screen-data 476 var _target/eax: (addr <a href='../../405screen.mu.html#L9'>screen</a>) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *target-ah 477 var target/edi: (addr <a href='../../405screen.mu.html#L9'>screen</a>) <- copy _target 478 var c/edx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target, cursor-col 479 var r/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target, cursor-row 480 var row/eax: int <- copy *r 481 { 482 compare d, 0 483 break-if-<= 484 compare *c, 1 485 break-if-<= 486 <a href='../../405screen.mu.html#L169'>print-string</a> target "─" 487 decrement *c 488 decrement *c # second one to undo the print above 489 <a href='../../405screen.mu.html#L109'>move-cursor</a> target, row, *c 490 d <- decrement 491 loop 492 } 493 break $evaluate:process-word 494 } 495 { 496 var is-right?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "right" 497 compare is-right?, 0 498 break-if-= 499 var out2/esi: (addr value-stack) <- copy out 500 var top-addr/ebx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 501 compare *top-addr, 0 502 break-if-<= 503 # pop args 504 var _d/eax: int <- pop-int-from-value-stack out2 505 var d/ecx: int <- copy _d 506 # select screen from top of out (but don't pop it) 507 compare *top-addr, 0 508 break-if-<= 509 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> out2, data 510 var _data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 511 var data/edi: (addr array value) <- copy _data 512 var <a href='../../203stack.subx.html#L338'>top</a>/eax: int <- copy *top-addr 513 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 514 var target-offset/eax: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 515 var target-val/ebx: (addr value) <- index data, target-offset 516 var type/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target-val, type 517 compare *type, 4 # screen 518 break-if-!= 519 var target-ah/eax: (addr handle <a href='../../405screen.mu.html#L9'>screen</a>) <- <a href='../../131table.subx.html#L26'>get</a> target-val, screen-data 520 var _target/eax: (addr <a href='../../405screen.mu.html#L9'>screen</a>) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *target-ah 521 var target/edi: (addr <a href='../../405screen.mu.html#L9'>screen</a>) <- copy _target 522 var bound-a/ebx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target, num-rows 523 var bound/ebx: int <- copy *bound-a 524 var c/edx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target, cursor-col 525 var r/eax: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> target, cursor-row 526 var row/eax: int <- copy *r 527 { 528 compare d, 0 529 break-if-<= 530 compare *c, bound 531 break-if->= 532 <a href='../../405screen.mu.html#L169'>print-string</a> target "─" 533 # no increment; the print took care of it 534 <a href='../../405screen.mu.html#L109'>move-cursor</a> target, row, *c 535 d <- decrement 536 loop 537 } 538 break $evaluate:process-word 539 } 540 ## HACKS: we're trying to avoid turning this into Forth 541 { 542 var is-dup?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "dup" 543 compare is-dup?, 0 544 break-if-= 545 # read src-val from out 546 var out2/esi: (addr value-stack) <- copy out 547 var top-addr/ecx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 548 compare *top-addr, 0 549 break-if-<= 550 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> out2, data 551 var data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 552 var <a href='../../203stack.subx.html#L338'>top</a>/ecx: int <- copy *top-addr 553 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 554 var offset/edx: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 555 var src-val/edx: (addr value) <- index data, offset 556 # push a copy of it 557 <a href='../../203stack.subx.html#L338'>top</a> <- increment 558 var offset/ebx: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 559 var target-val/ebx: (addr value) <- index data, offset 560 copy-object src-val, target-val 561 # commit 562 var top-addr/ecx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 563 increment *top-addr 564 break $evaluate:process-word 565 } 566 { 567 var is-swap?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, "swap" 568 compare is-swap?, 0 569 break-if-= 570 # read top-val from out 571 var out2/esi: (addr value-stack) <- copy out 572 var top-addr/ecx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 573 compare *top-addr, 0 574 break-if-<= 575 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> out2, data 576 var data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 577 var <a href='../../203stack.subx.html#L338'>top</a>/ecx: int <- copy *top-addr 578 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 579 var offset/edx: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 580 var top-val/edx: (addr value) <- index data, offset 581 # read next val from out 582 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 583 var offset/ebx: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 584 var pen-top-val/ebx: (addr value) <- index data, offset 585 # swap 586 var tmp: value 587 var tmp-a/eax: (addr value) <- address tmp 588 copy-object top-val, tmp-a 589 copy-object pen-top-val, top-val 590 copy-object tmp-a, pen-top-val 591 break $evaluate:process-word 592 } 593 ### if curr-stream defines a binding, save top of stack to bindings 594 { 595 var done?/eax: boolean <- <a href='../../309stream.subx.html#L6'>stream-empty?</a> curr-stream 596 compare done?, 0 # false 597 break-if-!= 598 var new-byte/eax: byte <- <a href='../../112read-byte.subx.html#L273'>read-byte</a> curr-stream 599 compare new-byte, 0x3d # '=' 600 break-if-!= 601 # pop target-val from out 602 var out2/esi: (addr value-stack) <- copy out 603 var top-addr/ecx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> out2, <a href='../../203stack.subx.html#L338'>top</a> 604 compare *top-addr, 0 605 break-if-<= 606 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> out2, data 607 var data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 608 var <a href='../../203stack.subx.html#L338'>top</a>/edx: int <- copy *top-addr 609 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 610 var dest-offset/edx: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 611 var target-val/edx: (addr value) <- index data, dest-offset 612 # create binding from curr-stream to target-val 613 var key-h: (handle array byte) 614 var key/ecx: (addr handle array byte) <- address key-h 615 <a href='../../310copy-bytes.subx.html#L59'>stream-to-array</a> curr-stream, key 616 bind-in-table bindings, key, target-val 617 break $evaluate:process-word 618 } 619 <a href='../../106stream.subx.html#L56'>rewind-stream</a> curr-stream 620 ### if curr-stream is a known function name, call it appropriately 621 { 622 var callee-h: (handle function) 623 var callee-ah/eax: (addr handle function) <- address callee-h 624 <a href='rpn.mu.html#L754'>find-function</a> functions, curr-stream, callee-ah 625 var callee/eax: (addr function) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *callee-ah 626 compare callee, 0 627 break-if-= 628 <a href='rpn.mu.html#L775'>perform-call</a> callee, out, functions 629 break $evaluate:process-word 630 } 631 ### if it's a name, push its value 632 { 633 compare bindings, 0 634 break-if-= 635 var tmp: (handle array byte) 636 var curr-string-ah/edx: (addr handle array byte) <- address tmp 637 <a href='../../310copy-bytes.subx.html#L59'>stream-to-array</a> curr-stream, curr-string-ah # unfortunate leak 638 var curr-string/eax: (addr array byte) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *curr-string-ah 639 var val-storage: (handle value) 640 var val-ah/edi: (addr handle value) <- address val-storage 641 lookup-binding bindings, curr-string, val-ah 642 var val/eax: (addr value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *val-ah 643 compare val, 0 644 break-if-= 645 push-value-stack out, val 646 break $evaluate:process-word 647 } 648 ### if the word starts with a quote and ends with a quote, turn it into a string 649 { 650 var start/eax: byte <- <a href='../../309stream.subx.html#L160'>stream-first</a> curr-stream 651 compare start, 0x22 # double-quote 652 break-if-!= 653 var end/eax: byte <- <a href='../../309stream.subx.html#L187'>stream-final</a> curr-stream 654 compare end, 0x22 # double-quote 655 break-if-!= 656 var h: (handle array byte) 657 var s/eax: (addr handle array byte) <- address h 658 <a href='../../310copy-bytes.subx.html#L119'>unquote-stream-to-array</a> curr-stream, s # leak 659 push-string-to-value-stack out, *s 660 break $evaluate:process-word 661 } 662 ### if the word starts with a '[' and ends with a ']', turn it into an array 663 { 664 var start/eax: byte <- <a href='../../309stream.subx.html#L160'>stream-first</a> curr-stream 665 compare start, 0x5b # '[' 666 break-if-!= 667 var end/eax: byte <- <a href='../../309stream.subx.html#L187'>stream-final</a> curr-stream 668 compare end, 0x5d # ']' 669 break-if-!= 670 # wastefully create a new input string to strip quotes 671 var h: (handle array value) 672 var input-ah/eax: (addr handle array byte) <- address h 673 <a href='../../310copy-bytes.subx.html#L119'>unquote-stream-to-array</a> curr-stream, input-ah # leak 674 # wastefully parse input into int-array 675 # TODO: support parsing arrays of other types 676 var input/eax: (addr array byte) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *input-ah 677 var h2: (handle array int) 678 var int-array-ah/esi: (addr handle array int) <- address h2 679 <a href='../../311decimal-int.subx.html#L611'>parse-array-of-decimal-ints</a> input, int-array-ah # leak 680 var _int-array/eax: (addr array int) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *int-array-ah 681 var int-array/esi: (addr array int) <- copy _int-array 682 var len/ebx: int <- length int-array 683 # push value-array of same size as int-array 684 var h3: (handle array value) 685 var value-array-ah/eax: (addr handle array value) <- address h3 686 populate value-array-ah, len 687 push-array-to-value-stack out, *value-array-ah 688 # copy int-array into value-array 689 var _value-array/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *value-array-ah 690 var value-array/edi: (addr array value) <- copy _value-array 691 var i/eax: int <- copy 0 692 { 693 compare i, len 694 break-if->= 695 var src-addr/ecx: (addr int) <- index int-array, i 696 var src/ecx: int <- copy *src-addr 697 var dest-offset/edx: (offset value) <- compute-offset value-array, i 698 var dest-val/edx: (addr value) <- index value-array, dest-offset 699 var dest/edx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> dest-val, int-data 700 copy-to *dest, src 701 i <- increment 702 loop 703 } 704 break $evaluate:process-word 705 } 706 ### otherwise assume it's a literal number and push it 707 { 708 var n/eax: int <- <a href='../../311decimal-int.subx.html#L48'>parse-decimal-int-from-stream</a> curr-stream 709 push-int-to-value-stack out, n 710 } 711 } 712 # termination check 713 compare curr, end 714 break-if-= 715 # update 716 var next-word-ah/edx: (addr handle word) <- <a href='../../131table.subx.html#L26'>get</a> curr, next 717 curr <- <a href='../../120allocate.subx.html#L256'>lookup</a> *next-word-ah 718 # 719 loop 720 } 721 # process next line if necessary 722 var line/eax: (addr line) <- copy scratch 723 var next-line-ah/eax: (addr handle line) <- <a href='../../131table.subx.html#L26'>get</a> line, next 724 var next-line/eax: (addr line) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *next-line-ah 725 compare next-line, 0 726 break-if-= 727 <a href='rpn.mu.html#L1'>evaluate</a> functions, bindings, next-line, end, out 728 } 729 730 fn <a href='rpn.mu.html#L730'>test-evaluate</a> { 731 var line-storage: line 732 var line/esi: (addr line) <- address line-storage 733 var first-word-ah/eax: (addr handle word) <- <a href='../../131table.subx.html#L26'>get</a> line-storage, data 734 allocate-word-with first-word-ah, "3" 735 append-word-with *first-word-ah, "=a" 736 var next-line-ah/eax: (addr handle line) <- <a href='../../131table.subx.html#L26'>get</a> line-storage, next 737 <a href='../../120allocate.subx.html#L66'>allocate</a> next-line-ah 738 var next-line/eax: (addr line) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *next-line-ah 739 var first-word-ah/eax: (addr handle word) <- <a href='../../131table.subx.html#L26'>get</a> next-line, data 740 allocate-word-with first-word-ah, "a" 741 var functions-storage: (handle function) 742 var functions/ecx: (addr handle function) <- address functions-storage 743 var table-storage: table 744 var table/ebx: (addr table) <- address table-storage 745 initialize-table table, 0x10 746 var stack-storage: value-stack 747 var stack/edi: (addr value-stack) <- address stack-storage 748 initialize-value-stack stack, 0x10 749 <a href='rpn.mu.html#L1'>evaluate</a> functions, table, line, 0, stack 750 var x/eax: int <- pop-int-from-value-stack stack 751 <a href='../../102test.subx.html#L23'>check-ints-equal</a> x, 3, "F - test-evaluate" 752 } 753 754 fn <a href='rpn.mu.html#L754'>find-function</a> first: (addr handle function), name: (addr stream byte), out: (addr handle function) { 755 var curr/esi: (addr handle function) <- copy first 756 $find-function:loop: { 757 var _f/eax: (addr function) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *curr 758 var f/ecx: (addr function) <- copy _f 759 compare f, 0 760 break-if-= 761 var curr-name-ah/eax: (addr handle array byte) <- <a href='../../131table.subx.html#L26'>get</a> f, name 762 var curr-name/eax: (addr array byte) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *curr-name-ah 763 var done?/eax: boolean <- <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> name, curr-name 764 compare done?, 0 # false 765 { 766 break-if-= 767 <a href='../../120allocate.subx.html#L489'>copy-handle</a> *curr, out 768 break $find-function:loop 769 } 770 curr <- <a href='../../131table.subx.html#L26'>get</a> f, next 771 loop 772 } 773 } 774 775 fn <a href='rpn.mu.html#L775'>perform-call</a> _callee: (addr function), caller-stack: (addr value-stack), functions: (addr handle function) { 776 var callee/ecx: (addr function) <- copy _callee 777 # create bindings for args 778 var table-storage: table 779 var table/esi: (addr table) <- address table-storage 780 initialize-table table, 0x10 781 <a href='rpn.mu.html#L808'>bind-args</a> callee, caller-stack, table 782 # obtain body 783 var body-ah/eax: (addr handle line) <- <a href='../../131table.subx.html#L26'>get</a> callee, body 784 var body/eax: (addr line) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *body-ah 785 # perform call 786 var stack-storage: value-stack 787 var stack/edi: (addr value-stack) <- address stack-storage 788 initialize-value-stack stack, 0x10 789 #? print-string-to-real-screen "about to enter recursive eval\n" 790 <a href='rpn.mu.html#L1'>evaluate</a> functions, table, body, 0, stack 791 #? print-string-to-real-screen "exited recursive eval\n" 792 # pop target-val from out 793 var top-addr/ecx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> stack, <a href='../../203stack.subx.html#L338'>top</a> 794 compare *top-addr, 0 795 break-if-<= 796 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> stack, data 797 var data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 798 var <a href='../../203stack.subx.html#L338'>top</a>/edx: int <- copy *top-addr 799 <a href='../../203stack.subx.html#L338'>top</a> <- decrement 800 var dest-offset/edx: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 801 var target-val/edx: (addr value) <- index data, dest-offset 802 # stitch target-val into caller-stack 803 push-value-stack caller-stack, target-val 804 } 805 806 # pop args from the caller-stack and bind them to successive args 807 # implies: function args are stored in reverse order 808 fn <a href='rpn.mu.html#L808'>bind-args</a> _callee: (addr function), _caller-stack: (addr value-stack), table: (addr table) { 809 var callee/ecx: (addr function) <- copy _callee 810 var curr-arg-ah/eax: (addr handle word) <- <a href='../../131table.subx.html#L26'>get</a> callee, args 811 var curr-arg/eax: (addr word) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *curr-arg-ah 812 # 813 var curr-key-storage: (handle array byte) 814 var curr-key/edx: (addr handle array byte) <- address curr-key-storage 815 { 816 compare curr-arg, 0 817 break-if-= 818 # create binding 819 word-to-string curr-arg, curr-key 820 { 821 # pop target-val from caller-stack 822 var caller-stack/esi: (addr value-stack) <- copy _caller-stack 823 var top-addr/ecx: (addr int) <- <a href='../../131table.subx.html#L26'>get</a> caller-stack, <a href='../../203stack.subx.html#L338'>top</a> 824 compare *top-addr, 0 825 break-if-<= 826 decrement *top-addr 827 var data-ah/eax: (addr handle array value) <- <a href='../../131table.subx.html#L26'>get</a> caller-stack, data 828 var data/eax: (addr array value) <- <a href='../../120allocate.subx.html#L256'>lookup</a> *data-ah 829 var <a href='../../203stack.subx.html#L338'>top</a>/ebx: int <- copy *top-addr 830 var dest-offset/ebx: (offset value) <- compute-offset data, <a href='../../203stack.subx.html#L338'>top</a> 831 var target-val/ebx: (addr value) <- index data, dest-offset 832 # create binding from curr-key to target-val 833 bind-in-table table, curr-key, target-val 834 } 835 # 836 var next-arg-ah/edx: (addr handle word) <- <a href='../../131table.subx.html#L26'>get</a> curr-arg, next 837 curr-arg <- <a href='../../120allocate.subx.html#L256'>lookup</a> *next-arg-ah 838 loop 839 } 840 } 841 842 # Copy of 'simplify' that just tracks the maximum stack depth needed 843 # Doesn't actually need to simulate the stack, since every word has a predictable effect. 844 fn <a href='rpn.mu.html#L844'>max-stack-depth</a> first-word: (addr word), final-word: (addr word) -> _/edi: int { 845 var curr-word/eax: (addr word) <- copy first-word 846 var curr-depth/ecx: int <- copy 0 847 var result/edi: int <- copy 0 848 $max-stack-depth:loop: { 849 $max-stack-depth:process-word: { 850 # handle operators 851 { 852 var is-add?/eax: boolean <- word-equal? curr-word, "+" 853 compare is-add?, 0 854 break-if-= 855 curr-depth <- decrement 856 break $max-stack-depth:process-word 857 } 858 { 859 var is-sub?/eax: boolean <- word-equal? curr-word, "-" 860 compare is-sub?, 0 861 break-if-= 862 curr-depth <- decrement 863 break $max-stack-depth:process-word 864 } 865 { 866 var is-mul?/eax: boolean <- word-equal? curr-word, "*" 867 compare is-mul?, 0 868 break-if-= 869 curr-depth <- decrement 870 break $max-stack-depth:process-word 871 } 872 # otherwise it's an int (do we need error-checking?) 873 curr-depth <- increment 874 # update max depth if necessary 875 { 876 compare curr-depth, result 877 break-if-<= 878 result <- copy curr-depth 879 } 880 } 881 # if curr-word == final-word break 882 compare curr-word, final-word 883 break-if-= 884 # curr-word = curr-word->next 885 var next-word-ah/edx: (addr handle word) <- <a href='../../131table.subx.html#L26'>get</a> curr-word, next 886 curr-word <- <a href='../../120allocate.subx.html#L256'>lookup</a> *next-word-ah 887 # 888 loop 889 } 890 return result 891 } </pre> </body> </html>