add rsi,8
next
- WORD p_literal_string,'S"',fasm
- ;; " (fool emacs)
- ;; ( -- chars* n )
- ;; Push the value of successor cell onto stack, and skip it
+ WORD p_literal_string,'S"',fasm ;; " (fool emacs)
+ ;; Compilation: ( "..." -- )
+ ;; Interpretation: ( -- char* n )
+ ;; Save string on heap to make available at interpretation
+ cmp qword [p_state_DFA],0
+ je p_literal_string_interpret
+ ;; compilation mode: read stream until \" onto the heap
+ pushr rsi
+ mov rdi,[p_here_DFA]
+ lea rbx,[p_literal_string_CFA]
+ mov qword [rdi],rbx
+ add rdi,8
+ pop rbx
+ mov qword [rdi],rbx
+ add rdi,8
+ cmp rbx,0
+ je p_literal_string_end
+ lea rsi,[p_pad_DFA]
+p_literal_string_copy:
+ lodsb
+ stosb
+ dec rbx
+ jg p_literal_string_copy
+p_literal_string_end:
+ mov qword [p_here_DFA],rdi
+ popr rsi
+ next
+
+p_literal_string_interpret:
mov rax,qword [rsi]
add rsi,8
push rsi
WORD p_number,'NUMBER',fasm
;; ( chars* n -- [ 0 ]/[ v 1 ] )
pushr rsi
- pop rcx
- pop rsi
- xor rdi,rdi
+ pop rcx ; ( -- chars* )
+ pop rsi ; ( -- )
+ xor rdi,rdi ; value
+ mov rbx,1 ; sign (byte 0=0 means negative)
+ cmp qword [p_base_DFA],10
+ jne p_number_LOOP
+ cmp byte [rsi],'-'
+ jne p_number_LOOP
+ mov rbx,0
+ inc rsi
+ dec rcx
+ jle p_number_BAD
p_number_LOOP:
- dec rbx
- je p_number_DONE
+ dec rcx
+ jl p_number_DONE
+ xor rax,rax ; clearing
lodsb
- mov bl,al ; into bl
- cmp bl,'0'
+ cmp al,'0'
jl p_number_BAD
- cmp bl,'9'
+ cmp al,'9'
jg p_number_ALPHA
- sub bl,'0'
- cmp bl,bl
- jge p_number_BAD
+ sub al,'0'
p_number_CONSUME:
+ mov r8,rax
mov rax,rdi
- mul qword [p_base_DFA]
- add rax,rbx
+ mul qword [p_base_DFA] ; uses rdx:rax
+ add rax,r8
mov rdi,rax
jmp p_number_LOOP
p_number_ALPHA:
- cmp bl,'A'
+ cmp al,'A'
jl p_number_BAD
- cmp bl,'Z'
+ cmp al,'Z'
jg p_number_alpha
- sub bl,'A'-10
+ sub al,'A'-10
jmp p_number_CONSUME
p_number_alpha:
- cmp bl,'a'
+ cmp al,'a'
jl p_number_BAD
- cmp bl,'z'
+ cmp al,'z'
jg p_number_BAD
- sub bl,'a'-10
+ sub al,'a'-10
jmp p_number_CONSUME
p_number_BAD:
push qword 0
popr rsi
next
p_number_DONE:
+ cmp rbx,0
+ jne p_numper_POSITIVE
+ neg rdi
+p_numper_POSITIVE:
push rdi
push qword 1
popr rsi
dq 0,0 ; ( n chars* )
WORD p_evaluate_stream,'EVALUATE-STREAM'
- ;; ( stream -- *?* flag )
+ ;; ( stream* -- *?* flag )
;; Execute the words from the given stream
;; returns 1 if stream ends and 0 if an unknown word is found
+ dq p_ltR ; Keep the stream on the return stack.
+p_evaluate_stream_PROMPT:
+ dq p_depth, p_dot, p_literal_string
+ STRING ' > '
+ dq p_tell, p_Rget, p_clear_stream
p_evaluate_stream_LOOP:
- dq p_read_word ; ( -- chars* n )
- dq p_dup
- BRANCH 0,p_evaluate_stream_END
- dq p_2dup ; ( -- chars* n chars* n )
- dq p_this_word ; ( -- chars* n chars* n p )
- dq p_2put ; ( -- chars* n )
- dq p_2dup ; ( -- chars* n chars* n )
- dq p_find ; ( -- chars* n tfa/0 )
- dq p_dup ; ( -- chars* n tfa/0 tfa/0 )
- BRANCH 0,p_evaluate_stream_NOTWORD ; ( -- chars* n tfa/0 )
- dq p_execute ; ( -- chars* n tfa/0 )
- BRANCH ,p_evaluate_stream_LOOP
+ dq p_Rget, p_read_word, p_dup
+ BRANCH 0,p_evaluate_stream_END ; branch if 0 on TOP
+ dq p_2dup, p_this_word, p_2put, p_find, p_dup
+ BRANCH 0,p_evaluate_stream_NOTWORD ; branch if 0 on TOP
+ dq p_state, p_get
+ BRANCH 0,p_evaluate_stream_INTERPRET
+ dq p_comma
+ BRANCH ,p_evaluate_stream_AFTER
+p_evaluate_stream_INTERPRET:
+ dq p_execute
+ BRANCH ,p_evaluate_stream_AFTER
p_evaluate_stream_NOTWORD:
- dq p_this_word ; ( -- chars* n tfa/0 )
- dq p_2get
- dq p_number
- dq p_not
- BRANCH 0,p_evaluate_stream_LOOP
- dq p_literal
- dq 0
- dq p_exit
+ dq p_drop, p_number
+ BRANCH 0,p_evaluate_stream_BAD ; branch if 0
+p_evaluate_stream_AFTER:
+ dq p_Rget,p_stream_nchars
+ BRANCH 0,p_evaluate_stream_PROMPT
+ BRANCH ,p_evaluate_stream_LOOP
p_evaluate_stream_END:
- dq p_literal
- dq 1
- dq p_exit
+ dq p_2drop, p_literal, 1
+p_evaluate_stream_BAD:
+ dq p_Rgt, p_drop, p_exit