2swap cons
2 +loop
- depth 2- fixnum-type 2swap cons
+ depth 2- 2/ fixnum-type 2swap cons
;
: make-continuation
: continuation->rstack-list
drop pair-type cdr ;
+: stack-list-len ( stack-list -- n )
+ car drop
+;
+
: restore-param-stack ( continuation -- obj_stack )
continuation->pstack-list
2dup >R >R
( Allocate stack space first using psp!,
then copy objects from list. )
- car drop
+ car drop 2*
object-stack-base @ psp0 + + psp!
R> R> 2dup cdr
2swap
- car drop 2- 0 swap do
+ stack-list-len 1- 0 swap do
2dup car
- PSP0 object-stack-base @ + i + 2 + !
- PSP0 object-stack-base @ + i + 1 + !
+ PSP0 object-stack-base @ + i 2* + 2 + !
+ PSP0 object-stack-base @ + i 2* + 1 + !
cdr
- -2 +loop
+ -1 +loop
2drop
;
-: list->pad ( list -- n )
-
- 2dup car drop -rot \ keep length of list on stack
- 2dup cdr 2swap car drop \ get length from list
-
- pad + 1- \ final dest addr
- pad \ initial dest addr
- swap
- do
- 2dup cdr 2swap car
- drop i !
- -1 +loop
+: restore-return-stack ( continuation -- )
- 2drop
-;
+ continuation->rstack-list
-: restore-return-stack ( continuation -- )
+ 2dup cdr 2swap stack-list-len ( list n )
- trace
+ dup RSP0 + RSP! \ expand return stack to accommodate entries
- continuation->rstack-list
- list->pad
- dup
- RSP0 + RSP! \ expand return stack to accommodate entries
+ ( list n )
- 0 \ initial offset
+ 1- \ initial offset n-1
+ 0 \ final offset 0
+ swap
do
- pad i + @ RSP0 i 1+ + !
- loop
+ 2dup cdr 2swap car drop
+ RSP0 i 1+ + !
+ -1 +loop
- trace
+ 2drop
;
: restore-continuation ( continuation -- )
\ contents of continuation object.
2dup >R >R
+
restore-param-stack
- ." ====== PARAM STACK RESTORED ======" cr
- trace
-
R> R>
+
restore-return-stack
;