From aa8cf3324208b14fae41a45f48058358dc5a20be Mon Sep 17 00:00:00 2001 From: Koichi Nakamura Date: Fri, 1 Jan 2021 20:01:29 +0900 Subject: [PATCH] Wrote integer arithmetic, conditional branch, loop --- core.fs | 122 +++++++++++++++++++++++++++++++++++++++++++++++++++++--- 1 file changed, 117 insertions(+), 5 deletions(-) diff --git a/core.fs b/core.fs index 0c0ab81..d11f238 100644 --- a/core.fs +++ b/core.fs @@ -560,18 +560,130 @@ alias-builtin xor ^ : sp0 [ sp@ ] literal ; : rp0 [ rp@ ] literal ; -bye - \ === Integer Arithmetic === : 1+ 1 + ; : 1- 1 - ; -\ ( a b -- (a mod b) (a / b) -: /mod o o / { mod } ; +\ ( a b -- (a mod b) (a / b) ) +: /mod 2dup mod -rot / ; \ ( n -- -n ) -: negate 0 ~ - ; +: negate 0 swap - ; + +\ ( n1 -- n2 ) +: not false = ; + +: > swap < ; +: <= > not ; +: >= < not ; +: <> = not ; + +: 0= 0 = ; +: 0<> 0 <> ; +: 0< 0 < ; +: 0> 0 > ; +: 0<= 0 <= ; +: 0>= 0 >= ; + +\ ( a b c -- (a<=c & c -rot <= and ; + +\ === Conditional Branch === +\ if then +\ if else then +\ unless then +\ unless else then + +\ compile: ( -- orig ) +\ runtime: ( n -- ) +: if + compile 0branch + here @ 0 , \ save location of offset, fill dummy +; immediate + +\ compile: ( orig -- ) +\ runtime: ( -- ) +: then + here @ \ ( orig dest ) + over - \ ( orig offset ) + swap ! \ fill offset to orig +; immediate + +\ compile: ( orig1 -- orig2 ) +\ runtime: ( -- ) +: else + compile branch + here @ 0 , \ save location of offset, fill dummy + swap + \ fill offset, here-orig1, to orig1 + here @ + over - + swap ! +; immediate + +\ compile: ( -- orig ) +\ runtime: ( n -- ) +: unless + compile not + [compile] if +; immediate + +\ === Loops === +\ begin until +\ begin again +\ begin while repeat + +\ compile: ( -- dest ) +\ runtime: ( -- ) +: begin + here @ \ save location +; immediate + +\ compile: ( dest -- ) +\ runtime: ( n -- ) +: until + compile 0branch + here @ - , \ fill offset +; immediate + +\ compile: ( dest -- ) +\ runtime: ( -- ) +: again + compile branch + here @ - , \ fill offset +; immediate + +\ compile: ( dest -- dest orig ) +\ runtime: ( n -- ) +\ dest=location of begin +\ orig=location of while +: while + compile 0branch + here @ 0 , \ save location, fill dummy +; immediate + +\ compile: ( dest orig -- ) +\ runtime: ( -- ) +\ dest=location of begin +\ orig=location of while +: repeat + swap + compile branch + here @ - , \ fill offset from here to begin + here @ over - swap ! \ backfill offset from while to here +; immediate + +:noname + begin + 1 + while + [ key A ] literal emit + repeat +; execute + + +bye \ === Integer Comparison ===