1 ;;; This file define/describes the "machine"
4 ;;; https://en.wikibooks.org/wiki/X86_Assembly/X86_Architecture
6 ;;; General Purpose Registers ( * marks those used in syscalls )
7 ;;; *rax = ( -, eax = ( -, ax = ( ah, al) )) "accumulator"
8 ;;; rbx = ( -, ebx = ( -, bx = ( bh, bl) )) "base"
9 ;;; *rcx = ( -, ecx = ( -, cx = ( ch, cl) )) "counter"
10 ;;; *rdx = ( -, edx = ( -, dx = ( dh, dl) )) "data"
11 ;;; rsp = ( -, esp = ( -, sp = ( -, spl) )) "stack pointer"
12 ;;; rbp = ( -, ebp = ( -, bp = ( -, bpl) )) "stack base pointer"
13 ;;; *rsi = ( -, esi = ( -, si = ( -, sil) )) "source"
14 ;;; *rdi = ( -, edi = ( -, di = ( -, dil) )) "destination"
23 ;;; clobbers rdi rsi rdx rcx r8 r9 r11
27 ;;; SS "Stack Segment"
30 ;;; ES "Extra Segment"
31 ;;; FS "more Extra Segment"
32 ;;; GS "more more Extra Segment"
35 ;;; 0,0,0,0,0,0,0,0,0,0,ID,VIP,VIF,AC,VM,RF,
36 ;;; 0,NT,[IOPL,IOPL],OF,DF,IF,TF,SF,ZF,0,AF,0,PF,1,CF
38 ;;; Instruction pointer
41 ;;; Syscall allocations
42 ;;; clobbers rdi rsi rdx rcx r8 r9 r11
46 ;;; ######################################################################
48 ;;; ============================================================
49 ;;; FORTH machine model
50 ;;; rsp = data stack pointer
51 ;;; rbp = return stack pointer
52 ;;; rsi = instruction pointer
54 ;;; ========================================
55 ;;; The pushr macro pushes x onto the return stack
56 ;;; The popr macro pops x from the return stack
67 ;;; ========================================
68 ;;; The next macro "moves" execution to the next FORTH instruction,
69 ;;; using rsi as instruction pointer. It points to the doer field of a
70 ;;; word, which points to the assembly code that implements the
71 ;;; execution effect of the word. That doer code is entered with rsi
72 ;;; referring to the subsequent address in the colling word, and rax
73 ;;; referring to the doer field of the called word.
76 lodsq ; mov rax, [rsi] + add rsi,8
77 jmp qword [rax] ; goto code of that FORTH word (64 bit jump)
80 ;;; ========================================
81 ;;; The FORTH macro transitions to inline FORTH execution.
90 ;;; ========================================
91 ;;; The ENDFORTH macro transitions back to inline assembler after FORTH
97 ;;; ========================================
98 ;;; The DOFORTH lays out a single FORTH call
100 macro DOFORTH label {
106 ;;; ========================================
107 ;;; Macro WORD starts a FORTH word definition in this code
109 previous_word = 0 ; Used for chaining the words
111 IMMEDIATE = 1 ; optional flag (symbol)
113 macro WORD label, name, doer, flags {
118 previous_word = label#_TFA
128 dq 0 ; The DOES offset. Defaults to 0.
129 ;; also CFA = pointer to "doer"
144 ;;; ========================================
145 ;;; The BLOCK macro lays out the length for a subsequent block to the
147 macro BLOCK endlabel {
149 dq endlabel - datastart
153 ;;; ========================================
154 ;;; The STRING macro lays out length byte and data for s short string
155 macro STRING [data] {
157 local datastart, dataend
158 db dataend - datastart