REM EVAL_AST(A%, E%) -> R%
EVAL_AST:
+ LV%=LV%+1
+
ZL%=ZL%+2: ZZ%(ZL%-1)=E%: ZZ%(ZL%)=A%
IF ER%=1 THEN GOTO EVAL_AST_RETURN
REM AZ%=A%: GOSUB PR_STR
- REM PRINT "EVAL_AST: " + R$ + "(" + STR$(R%) + ")"
+ REM PRINT "EVAL_AST: " + R$ + "(" + STR$(A%) + ")"
+ REM PRINT "EVAL_AST level: " + STR$(LV%)
+
+ GOSUB DEREF_A
- T%=Z%(A%,0)
+ T%=Z%(A%,0)AND15
IF T%=5 THEN EVAL_AST_SYMBOL
IF T%=6 THEN EVAL_AST_SEQ
IF T%=7 THEN EVAL_AST_SEQ
IF T%=8 THEN EVAL_AST_SEQ
- R%=A%
+
+ REM scalar: deref to actual value and inc ref cnt
+ R%=A%: GOSUB DEREF_R
+ Z%(R%,0)=Z%(R%,0)+16
GOTO EVAL_AST_RETURN
EVAL_AST_SYMBOL:
HM%=E%: K%=A%: GOSUB HASHMAP_GET
- IF T3%=0 THEN ER%=1: ER$="'" + ZS$(Z%(A%,1)) + "' not found"
+ GOSUB DEREF_R
+ IF T3%=0 THEN ER%=1: ER$="'"+ZS$(Z%(A%,1))+"' not found": GOTO EVAL_AST_RETURN
+ Z%(R%,0)=Z%(R%,0)+16
GOTO EVAL_AST_RETURN
EVAL_AST_SEQ:
+ REM allocate the first entry
+ SZ%=2: GOSUB ALLOC
+
+ REM make space on the stack
+ ZL%=ZL%+4
REM push type of sequence
- ZL%=ZL%+1
- ZZ%(ZL%)=T%
+ ZZ%(ZL%-3)=T%
REM push sequence index
- ZL%=ZL%+1
- ZZ%(ZL%)=-1
+ ZZ%(ZL%-2)=-1
REM push future return value (new sequence)
- ZL%=ZL%+1
- ZZ%(ZL%)=ZI%
+ ZZ%(ZL%-1)=R%
REM push previous new sequence entry
- ZL%=ZL%+1
- ZZ%(ZL%)=ZI%
+ ZZ%(ZL%)=R%
EVAL_AST_SEQ_LOOP:
- REM create new sequence entry
- Z%(ZI%,0)=ZZ%(ZL%-3)
- Z%(ZI%,1)=0
- ZI%=ZI%+1
+ REM set new sequence entry type (with 1 ref cnt)
+ Z%(R%,0)=ZZ%(ZL%-3)+16
+ Z%(R%,1)=0
+ REM create value ptr placeholder
+ Z%(R%+1,0)=14
+ Z%(R%+1,1)=0
REM update index
ZZ%(ZL%-2)=ZZ%(ZL%-2)+1
- REM check if we are done evaluating the sequence
+ REM check if we are done evaluating the source sequence
IF Z%(A%,1)=0 THEN GOTO EVAL_AST_SEQ_LOOP_DONE
- REM create value ptr placeholder
- Z%(ZI%,0)=15
- Z%(ZI%,1)=0
- ZI%=ZI%+1
-
REM if hashmap, skip eval of even entries (keys)
- R%=A%+1
- IF (ZZ%(ZL%-3)=8) AND ((ZZ%(ZL%-2) AND 1)=0) THEN GOTO EVAL_AST_SEQ_SKIP
-
- REM call EVAL for each entry
- A%=A%+1: GOSUB EVAL
- A%=A%-1
+ IF (ZZ%(ZL%-3)=8) AND ((ZZ%(ZL%-2) AND 1)=0) THEN GOTO EVAL_AST_DO_REF
+ GOTO EVAL_AST_DO_EVAL
+
+ EVAL_AST_DO_REF:
+ R%=A%+1: GOSUB DEREF_R: REM deref to target of referred entry
+ Z%(R%,0)=Z%(R%,0)+16: REM inc ref cnt of referred value
+ GOTO EVAL_AST_ADD_VALUE
+
+ EVAL_AST_DO_EVAL:
+ REM call EVAL for each entry
+ A%=A%+1: GOSUB EVAL
+ A%=A%-1
+ IF ER%=1 THEN GOTO EVAL_AST_SEQ_LOOP_DONE
+ GOSUB DEREF_R: REM deref to target of evaluated entry
+
+ EVAL_AST_ADD_VALUE:
+
+ REM update previous value pointer to evaluated entry
+ Z%(ZZ%(ZL%)+1,1)=R%
- EVAL_AST_SEQ_SKIP:
+ REM allocate the next entry
+ SZ%=2: GOSUB ALLOC
- REM update previous sequence entry to point to current entry
- Z%(ZZ%(ZL%),1)=ZI%
- REM update previous value pointer to evaluated entry
- Z%(ZZ%(ZL%)+1,1)=R%
+ REM update previous sequence entry value to point to new entry
+ Z%(ZZ%(ZL%),1)=R%
REM update previous ptr to current entry
- ZZ%(ZL%)=ZI%
+ ZZ%(ZL%)=R%
- REM process the next sequence entry
+ REM process the next sequence entry from source list
A%=Z%(A%,1)
GOTO EVAL_AST_SEQ_LOOP
EVAL_AST_SEQ_LOOP_DONE:
- REM pop previous new sequence entry value
- ZL%=ZL%-1
- REM pop return value (new seq), index, and seq type
- R%=ZZ%(ZL%)
- ZL%=ZL%-3
+ REM get return value (new seq), index, and seq type
+ R%=ZZ%(ZL%-1)
+ REM pop previous, return, index and type
+ ZL%=ZL%-4
GOTO EVAL_AST_RETURN
EVAL_AST_RETURN:
+ REM pop A% and E% off the stack
E%=ZZ%(ZL%-1): A%=ZZ%(ZL%): ZL%=ZL%-2
+
+ LV%=LV%-1
RETURN
REM EVAL(A%, E%)) -> R%
EVAL:
+ LV%=LV%+1: REM track basic return stack level
+
+ REM push A% and E% on the stack
ZL%=ZL%+2: ZZ%(ZL%-1)=E%: ZZ%(ZL%)=A%
IF ER%=1 THEN GOTO EVAL_RETURN
REM AZ%=A%: GOSUB PR_STR
- REM PRINT "EVAL: " + R$ + "(" + STR$(R%) + ")"
+ REM PRINT "EVAL: " + R$ + "(" + STR$(A%) + ")"
+ REM PRINT "EVAL level: " + STR$(LV%)
+
+ GOSUB DEREF_A
GOSUB LIST_Q
IF R% THEN GOTO APPLY_LIST
APPLY_LIST:
GOSUB EMPTY_Q
- IF R% THEN R%=A%: GOTO EVAL_RETURN
+ IF R% THEN R%=A%: Z%(R%,0)=Z%(R%,0)+16: GOTO EVAL_RETURN
EVAL_INVOKE:
GOSUB EVAL_AST
+ R3%=R%
+
IF ER%=1 THEN GOTO EVAL_RETURN
F%=R%+1
- AR%=Z%(R%,1): REM REST
- R%=F%: GOSUB DEREF
- F%=R%
- IF Z%(F%,0)<>9 THEN ER%=1: ER$="apply of non-function": GOTO EVAL_RETURN
+ AR%=Z%(R%,1): REM rest
+ R%=F%: GOSUB DEREF_R: F%=R%
+ IF (Z%(F%,0)AND15)<>9 THEN ER%=1: ER$="apply of non-function": GOTO EVAL_RETURN
GOSUB DO_FUNCTION
+ AY%=R3%: GOSUB RELEASE
GOTO EVAL_RETURN
EVAL_RETURN:
+ REM an error occured, free up any new value
+ IF ER%=1 THEN AY%=R%: GOSUB RELEASE
+
+ REM trigger GC
+ TA%=FRE(0)
+
+ REM pop A% and E% off the stack
E%=ZZ%(ZL%-1): A%=ZZ%(ZL%): ZL%=ZL%-2
+
+ LV%=LV%-1: REM track basic return stack level
+
RETURN
REM DO_FUNCTION(F%, AR%)
FF%=Z%(F%,1)
REM Get argument values
- R%=AR%+1: GOSUB DEREF
- AA%=Z%(R%,1)
- R%=Z%(AR%,1)+1: GOSUB DEREF
- AB%=Z%(R%,1)
+ R%=AR%+1: GOSUB DEREF_R: AA%=Z%(R%,1)
+ R%=Z%(AR%,1)+1: GOSUB DEREF_R: AB%=Z%(R%,1)
REM Allocate the return value
- R%=ZI%
- ZI%=ZI%+1
+ SZ%=1: GOSUB ALLOC
REM Switch on the function number
IF FF%=1 THEN DO_ADD
ER%=1: ER$="unknown function" + STR$(FF%): RETURN
DO_ADD:
- Z%(R%,0)=2
+ Z%(R%,0)=2+16
Z%(R%,1)=AA%+AB%
GOTO DO_FUNCTION_DONE
DO_SUB:
- Z%(R%,0)=2
+ Z%(R%,0)=2+16
Z%(R%,1)=AA%-AB%
GOTO DO_FUNCTION_DONE
DO_MULT:
- Z%(R%,0)=2
+ Z%(R%,0)=2+16
Z%(R%,1)=AA%*AB%
GOTO DO_FUNCTION_DONE
DO_DIV:
- Z%(R%,0)=2
+ Z%(R%,0)=2+16
Z%(R%,1)=AA%/AB%
GOTO DO_FUNCTION_DONE
REM REP(A$) -> R$
REM Assume RE% has repl_env
REP:
+ R1%=0: R2%=0
GOSUB MAL_READ
- IF ER% THEN RETURN
+ IF ER% THEN GOTO REP_DONE
+ R1%=R%
+
+ REM PRINT "After read:"
+ REM P1%=ZT%: P2%=0: GOSUB PR_MEMORY
+
A%=R%: E%=RE%: GOSUB EVAL
- IF ER% THEN RETURN
+ IF ER% THEN GOTO REP_DONE
+ R2%=R%
+
+ REM PRINT "After eval, before print:"
+ REM P1%=ZT%: P2%=0: GOSUB PR_MEMORY
+
A%=R%: GOSUB MAL_PRINT
- IF ER% THEN RETURN
- RETURN
+
+ REP_DONE:
+ REM Release memory from MAL_READ and EVAL
+ IF R2%<>0 THEN AY%=R2%: GOSUB RELEASE
+ IF R1%<>0 THEN AY%=R1%: GOSUB RELEASE
+
+ REM PRINT "After releases:"
+ REM P1%=ZT%: P2%=0: GOSUB PR_MEMORY
+
+ RETURN
REM MAIN program
MAIN:
HM%=RE%: K$="/": V%=R%: GOSUB ASSOC1_S
RE%=R%
- AZ%=RE%: GOSUB PR_STR
- PRINT "env: " + R$ + "(" + STR$(RE%) + ")"
+ ZT%=ZI%: REM top of memory after repl_env
+
+ REM AZ%=RE%: GOSUB PR_STR
+ REM PRINT "env: " + R$ + "(" + STR$(RE%) + ")"
MAIN_LOOP:
A$="user> "
GOSUB READLINE: REM /* call input parser */
IF EOF=1 THEN GOTO MAIN_DONE
A$=R$: GOSUB REP: REM /* call REP */
+
+ REM P1%=ZT%: P2%=-1: GOSUB PR_MEMORY
+ REM GOSUB PR_MEMORY_SUMMARY
+
IF ER% THEN GOTO ERROR
PRINT R$
GOTO MAIN_LOOP
GOTO MAIN_LOOP
MAIN_DONE:
+ P1%=ZT%: P2%=-1: GOSUB PR_MEMORY
GOSUB PR_MEMORY_SUMMARY
END
HCoop / jackhill / mal.git / blobdiff