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

	Commit message (Collapse)	Author	Age	Files	Lines
*	5941	Kartik Agaram	2020-01-27	1	-5176/+5289
\|
*	5937	Kartik Agaram	2020-01-27	1	-3230/+3270
\|
*	5931	Kartik Agaram	2020-01-27	1	-1/+1
\|
*	5930	Kartik Agaram	2020-01-27	1	-5132/+5290
\|
*	5925	Kartik Agaram	2020-01-27	1	-2425/+2467
\|
*	5922	Kartik Agaram	2020-01-26	1	-5556/+5674
\|
*	5917	Kartik Agaram	2020-01-22	1	-4299/+4293
\|
*	5912	Kartik Agaram	2020-01-20	1	-4115/+4450
\|
*	5904	Kartik Agaram	2020-01-19	1	-9/+9
\|
*	5901	Kartik Agaram	2020-01-19	1	-36/+36
\|
*	5897 - rename comparison instructions	Kartik Agaram	2020-01-16	1	-110/+110
\| \| \| \| \| \| \|	Signed and unsigned don't quite capture the essence of what the different combinations of x86 flags are doing for SubX. The crucial distinction is that one set of comparison operators is for integers and the second is for addresses.
*	5894	Kartik Agaram	2020-01-16	1	-5/+5
\|
*	5889	Kartik Agaram	2020-01-14	1	-4117/+4286
\|
*	5884	Kartik Agaram	2020-01-12	1	-5032/+5030
\|
*	5881	Kartik Agaram	2020-01-10	1	-4887/+4976
\|
*	5877	Kartik Agaram	2020-01-03	1	-2/+2
\|
*	5876 - address -> addr	Kartik Agaram	2020-01-03	1	-59/+59
\|
*	5855	Kartik Agaram	2020-01-01	1	-4274/+4559
\|
*	5835	Kartik Agaram	2019-12-28	1	-3696/+4764
\|
*	5806	Kartik Agaram	2019-12-09	1	-3902/+3913
\|
*	5786	Kartik Agaram	2019-11-30	1	-2320/+2356
\|
*	5783	Kartik Agaram	2019-11-30	1	-2546/+3584
\|
*	5771	Kartik Agaram	2019-11-28	1	-2159/+2556
\|
*	5766	Kartik Agaram	2019-11-26	1	-197/+299
\|
*	5763	Kartik Agaram	2019-11-26	1	-844/+886
\|
*	5761	Kartik Agaram	2019-11-26	1	-2099/+2229
\|
*	5756	Kartik Agaram	2019-11-18	1	-982/+1000
\|
*	5755	Kartik Agaram	2019-11-18	1	-897/+958
\| \| \| \|	Support function calls with literal arguments.
*	5754	Kartik Agaram	2019-11-18	1	-1095/+1168
\| \| \| \|	Support binary instructions with an immediate operand.
*	5752	Kartik Agaram	2019-11-18	1	-1094/+1109
\| \| \| \| \| \| \|	Support binary operations with reg/mem and reg operands. Everything is passing. However, the self-hosting translator now generates some discrepancies compared to the C++ translator :(
*	5751 - start of table of Mu primitives	Kartik Agaram	2019-11-18	1	-940/+1099
\| \| \| \| \|	So far this is just the same as our most recent tests. But now we have a 'DSL' for adding more primitives.
*	5750	Kartik Agaram	2019-11-17	1	-440/+816
\| \| \| \| \|	We can now compile primitive statements while selecting the right template to code-gen each one from. Even when multiple templates have the same name.
*	5747	Kartik Agaram	2019-11-15	1	-1023/+1317
\|
*	5745	Kartik Agaram	2019-11-14	1	-1038/+1068
\| \| \| \| \| \|	I've been under-estimating the complexity of translating primitive statements. We need to separately track information for each primitive about operands for both the source and emitted SubX notation.
*	5741	Kartik Agaram	2019-11-14	1	-1014/+1020
\| \| \| \| \|	Support variables at positive stack offsets (formal parameters for functions), and also an indicator for 'any register' for primitive operations.
*	5738	Kartik Agaram	2019-11-10	1	-898/+1081
\|
*	5732	Kartik Agaram	2019-11-09	1	-1000/+973
\|
*	5731	Kartik Agaram	2019-11-09	1	-910/+899
\|
*	5730	Kartik Agaram	2019-11-09	1	-606/+1028
\|
*	5726	Kartik Agaram	2019-11-03	1	-6/+6
\|
*	5725	Kartik Agaram	2019-10-30	1	-368/+371
\|
*	5724	Kartik Agaram	2019-10-29	1	-536/+537
\|
*	5723	Kartik Agaram	2019-10-29	1	-0/+666

(selective-load "mu.arc" section-level) (reset) (new-trace "read-move-legal") (add-code:readfile "chessboard.mu") (add-code '((function! main [ (default-space:space-address <- new space:literal 30:literal/capacity) (stdin:channel-address <- init-channel 1:literal) (r:integer/routine <- fork read-move:fn nil:literal/globals 2000:literal/limit stdin:channel-address) (c:character <- copy ((#\a literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (c:character <- copy ((#\2 literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (c:character <- copy ((#\- literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (c:character <- copy ((#\a literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (c:character <- copy ((#\4 literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (c:character <- copy ((#\newline literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (sleep until-routine-done:literal r:integer/routine) ]))) ;? (set dump-trace*) ;? (= dump-trace* (obj whitelist '("schedule"))) ;? (= dump-trace* (obj whitelist '("schedule" "run"))) (run 'main) (each routine completed-routines* ;? (prn " " routine) (awhen rep.routine!error (prn "error - " it))) (when (~ran-to-completion 'read-move) (prn "F - chessboard accepts legal moves (<rank><file>-<rank><file>)")) ; todo: we can't test that keys pressed are printed to screen ; but that's at a lower level ;? (quit) (reset) (new-trace "read-move-incomplete") (add-code:readfile "chessboard.mu") ; initialize some variables at specific raw locations ;? (prn "== init") (run-code test-init (1:channel-address/raw <- init-channel 1:literal) (2:terminal-address/raw <- init-fake-terminal 20:literal 10:literal) (3:string-address/raw <- get 2:terminal-address/raw/deref data:offset)) (wipe completed-routines*) ; the component under test; we'll be running this repeatedly (let read-move-routine (make-routine 'read-move memory*.1 memory*.2) ;? (prn "== first key") (run-code send-first-key (default-space:space-address <- new space:literal 30:literal/capacity) (c:character <- copy ((#\a literal))) (x:tagged-value <- save-type c:character) (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value)) (wipe completed-routines*) ; check that read-move consumes it and then goes to sleep (enq read-move-routine running-routines*) (run) (when (ran-to-completion 'read-move) (prn "F - chessboard waits after first letter of move")) (wipe completed-routines*) ; send in a few more letters ;? (prn "== more keys") (restart read-move-routine) (run-code send-more-keys (default-space:space-address <- new space:literal 30:literal/capacity) (c:character <- copy ((#\2 literal))) (x:tagged-value <- save-type c:character) (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value) (c:character <- copy ((#\- literal))) (x:tagged-value <- save-type c:character) (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value) (c:character <- copy ((#\a literal))) (x:tagged-value <- save-type c:character) (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value) (c:character <- copy ((#\4 literal))) (x:tagged-value <- save-type c:character) (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value)) ; check that read-move consumes them and then goes to sleep (when (ran-to-completion 'read-move) (prn "F - chessboard waits after each subsequent letter of move until the last")) (wipe completed-routines*) ; send final key ;? (prn "== final key") (restart read-move-routine) ;? (set dump-trace*) (run-code send-final-key (default-space:space-address <- new space:literal 30:literal/capacity) (c:character <- copy ((#\newline literal))) (x:tagged-value <- save-type c:character) (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value)) ; check that read-move consumes it and -- this time -- returns (when (~ran-to-completion 'read-move) (prn "F - 'read-move' completes after final letter of move")) ) (reset) (new-trace "read-move-quit") (add-code:readfile "chessboard.mu") (add-code '((function! main [ (default-space:space-address <- new space:literal 30:literal/capacity) (stdin:channel-address <- init-channel 1:literal) (dummy:terminal-address <- init-fake-terminal 20:literal 10:literal) (r:integer/routine <- fork-helper read-move:fn nil:literal/globals 2000:literal/limit stdin:channel-address dummy:terminal-address) (c:character <- copy ((#\q literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (sleep until-routine-done:literal r:integer/routine) ]))) (run 'main) (when (~ran-to-completion 'read-move) (prn "F - chessboard quits on move starting with 'q'")) (reset) (new-trace "read-illegal-file") (add-code:readfile "chessboard.mu") (add-code '((function! main [ (default-space:space-address <- new space:literal 30:literal/capacity) (stdin:channel-address <- init-channel 1:literal) (dummy:terminal-address <- init-fake-terminal 20:literal 10:literal) (r:integer/routine <- fork-helper read-file:fn nil:literal/globals 2000:literal/limit stdin:channel-address dummy:terminal-address) (c:character <- copy ((#\i literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (sleep until-routine-done:literal r:integer/routine) ]))) ;? (= dump-trace* (obj whitelist '("schedule"))) (run 'main) ;? (each routine completed-routines* ;? (prn " " routine)) (when (or (ran-to-completion 'read-file) (let routine routine-running!read-file (~posmatch "file too high" rep.routine!error))) (prn "F - 'read-file' checks that file lies between 'a' and 'h'")) (reset) (new-trace "read-illegal-rank") (add-code:readfile "chessboard.mu") (add-code '((function! main [ (default-space:space-address <- new space:literal 30:literal/capacity) (stdin:channel-address <- init-channel 1:literal) (dummy:terminal-address <- init-fake-terminal 20:literal 10:literal) (r:integer/routine <- fork-helper read-rank:fn nil:literal/globals 2000:literal/limit stdin:channel-address dummy:terminal-address) (c:character <- copy ((#\9 literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (sleep until-routine-done:literal r:integer/routine) ]))) (run 'main) (when (or (ran-to-completion 'read-rank) (let routine routine-running!read-rank (~posmatch "rank too high" rep.routine!error))) (prn "F - 'read-rank' checks that rank lies between '1' and '8'")) (reset) (new-trace "print-board") (add-code:readfile "chessboard.mu") (add-code '((function! main [ (default-space:space-address <- new space:literal 30:literal/capacity) (initial-position:list-address <- init-list ((#\R literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\r literal)) ((#\N literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\n literal)) ((#\B literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\b literal)) ((#\Q literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\q literal)) ((#\K literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\k literal)) ((#\B literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\b literal)) ((#\N literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\n literal)) ((#\R literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\r literal))) (b:board-address <- init-board initial-position:list-address) (screen:terminal-address <- init-fake-terminal 20:literal 10:literal) (print-board screen:terminal-address b:board-address) (5:string-address/raw <- get screen:terminal-address/deref data:offset) ]))) ;? (set dump-trace*) ;? (= dump-trace* (obj whitelist '("run"))) (run 'main) (each routine completed-routines* (awhen rep.routine!error (prn "error - " it))) ;? (prn memory*.5) (when (~memory-contains-array memory*.5 (+ "8 | r n b q k b n r " "7 | p p p p p p p p " "6 | _ _ _ _ _ _ _ _ " "5 | _ _ _ _ _ _ _ _ " "4 | _ _ _ _ _ _ _ _ " "3 | _ _ _ _ _ _ _ _ " "2 | P P P P P P P P " "1 | R N B Q K B N R " " +---------------- " " a b c d e f g h ")) (prn "F - print-board works; chessboard begins at @memory*.5")) ; todo: how to fold this more elegantly with the previous test? (reset) (new-trace "make-move") (add-code:readfile "chessboard.mu") (add-code '((function! main [ (default-space:space-address <- new space:literal 30:literal/capacity) ; hook up stdin (stdin:channel-address <- init-channel 1:literal) ; fake screen (screen:terminal-address <- init-fake-terminal 20:literal 10:literal) ; initial position (initial-position:list-address <- init-list ((#\R literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\r literal)) ((#\N literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\n literal)) ((#\B literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\b literal)) ((#\Q literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\q literal)) ((#\K literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\k literal)) ((#\B literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\b literal)) ((#\N literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\n literal)) ((#\R literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\r literal))) (b:board-address <- init-board initial-position:list-address) ; move: a2-a4 (m:move-address <- new move:literal) (f:integer-integer-pair-address <- get-address m:move-address/deref from:offset) (dest:integer-address <- get-address f:integer-integer-pair-address/deref 0:offset) (dest:integer-address/deref <- copy 0:literal) ; from-file: a (dest:integer-address <- get-address f:integer-integer-pair-address/deref 1:offset) (dest:integer-address/deref <- copy 1:literal) ; from-rank: 2 (t0:integer-integer-pair-address <- get-address m:move-address/deref to:offset) (dest:integer-address <- get-address t0:integer-integer-pair-address/deref 0:offset) (dest:integer-address/deref <- copy 0:literal) ; to-file: a (dest:integer-address <- get-address t0:integer-integer-pair-address/deref 1:offset) (dest:integer-address/deref <- copy 3:literal) ; to-rank: 4 (b:board-address <- make-move b:board-address m:move-address) (print-board screen:terminal-address b:board-address) (5:string-address/raw <- get screen:terminal-address/deref data:offset) ]))) ;? (set dump-trace*) ;? (= dump-trace* (obj whitelist '("run"))) (run 'main) (each routine completed-routines* (awhen rep.routine!error (prn "error - " it))) ;? (prn memory*.5) (when (~memory-contains-array memory*.5 (+ "8 | r n b q k b n r " "7 | p p p p p p p p " "6 | _ _ _ _ _ _ _ _ " "5 | _ _ _ _ _ _ _ _ " "4 | P _ _ _ _ _ _ _ " "3 | _ _ _ _ _ _ _ _ " "2 | _ P P P P P P P " "1 | R N B Q K B N R " " +---------------- " " a b c d e f g h ")) (prn "F - make-move works; chessboard begins at @memory*.5")) (reset)