-
Notifications
You must be signed in to change notification settings - Fork 0
/
syntaxlayer.fs
254 lines (212 loc) · 7.27 KB
/
syntaxlayer.fs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
\ Syntax Layer
\ *** adressing mode modifiers
$33 value mode#
: reset-mode# $33 to mode# ;
\ shift in modes: upper nible=src, lower nibble= dest
: accumulate-mode ( n -- ) mode# 4 lshift + to mode# ;
\ Seven addressing modes.
: m1 ( -- ) 1 accumulate-mode ; \ Rn
: m2 ( -- ) 2 accumulate-mode ; \ x(Rn)
: m3 ( -- ) 3 accumulate-mode ; \ ADDR
: m4 ( -- ) 4 accumulate-mode ; \ &ADDR
: m5 ( -- ) 5 accumulate-mode ; \ @Rn
: m6 ( -- ) 6 accumulate-mode ; \ @Rn+
: m7 ( -- ) 7 accumulate-mode ; \ #N
\ All seven are aplicable to source, only 1..4 to destination.
\ The CPU incorporates sixteen 16-bit registers R0 ... R15
\ R0, R1, R2, and R3 have dedicated functions.
\ R4 to R15 are working registers for general use.
\ Rn ( -- n ) ( set mode value too)
\ 1. mode for all registers
: R0 0 m1 ; ' R0 alias PC \ program counter
: R1 1 m1 ; ' R1 alias SP \ stack pointer
: R2 2 m1 ; ' R2 alias SR \ status register
' R2 alias CG1 \ Constant Generator Registers CG1
: R3 3 m1 ; ' R3 alias CG2 \ Constant Generator Registers CG2
: R4 4 m1 ;
: R5 5 m1 ;
: R6 6 m1 ;
: R7 7 m1 ;
: R8 8 m1 ;
: R9 9 m1 ;
: R10 10 m1 ;
: R11 11 m1 ;
: R12 12 m1 ;
: R13 13 m1 ;
: R14 14 m1 ;
: R15 15 m1 ;
\ alias for MSP430
' R1 alias RSP \ retur stack pointer
' R4 alias PSP \ parameter stack pointer
' R5 alias IP \ instruction pointer
' R6 alias W \ working register
' R7 alias TOS \ top of (parameter) stack
\ 2. mode for all registers
: (R0) 0 m2 ; ' (R0) alias (PC) \ program counter
: (R1) 1 m2 ; ' (R1) alias (SP) \ stack ponter
: (R2) 2 m2 ; ' (R2) alias (SR) \ status register
: (R3) 3 m2 ;
: (R4) 4 m2 ;
: (R5) 5 m2 ;
: (R6) 6 m2 ;
: (R7) 7 m2 ;
: (R8) 8 m2 ;
: (R9) 9 m2 ;
: (R10) 10 m2 ;
: (R11) 11 m2 ;
: (R12) 12 m2 ;
: (R13) 13 m2 ;
: (R14) 14 m2 ;
: (R15) 15 m2 ;
\ alias for MSP430
' (R1) alias (RSP) \ retur stack pointer
' (R4) alias (PSP) \ parameter stack pointer
' (R5) alias (IP) \ instruction pointer
' (R6) alias (W) \ working register
' (R7) alias (TOS) \ top of (parameter) stack
\ 3. mode is intrinsic mode, no modifier.
\ 4. mode
' m4 alias &A ( addr -- addr )
\ 5. mode for all registers
: @R0 0 m5 ; ' @R0 alias @PC \ program counter
: @R1 1 m5 ; ' @R1 alias @SP \ stack ponter
: @R2 2 m5 ; ' @R2 alias @SR \ status register
: @R3 3 m5 ;
: @R4 4 m5 ;
: @R5 5 m5 ;
: @R6 6 m5 ;
: @R7 7 m5 ;
: @R8 8 m5 ;
: @R9 9 m5 ;
: @R10 10 m5 ;
: @R11 11 m5 ;
: @R12 12 m5 ;
: @R13 13 m5 ;
: @R14 14 m5 ;
: @R15 15 m5 ;
\ alias for MSP430
' @R1 alias @RSP \ retur stack pointer
' @R4 alias @PSP \ parameter stack pointer
' @R5 alias @IP \ instruction pointer
' @R6 alias @W \ working register
' @R7 alias @TOS \ top of (parameter) stack
\ 6. mode for all registers
: @R0+ 0 m6 ; ' @R0+ alias @PC+ \ program counter
: @R1+ 1 m6 ; ' @R1+ alias @SP+ \ stack ponter
: @R2+ 2 m6 ; ' @R2+ alias @SR+ \ status register
: @R3+ 3 m6 ;
: @R4+ 4 m6 ;
: @R5+ 5 m6 ;
: @R6+ 6 m6 ;
: @R7+ 7 m6 ;
: @R8+ 8 m6 ;
: @R9+ 9 m6 ;
: @R10+ 10 m6 ;
: @R11+ 11 m6 ;
: @R12+ 12 m6 ;
: @R13+ 13 m6 ;
: @R14+ 14 m6 ;
: @R15+ 15 m6 ;
\ alias for MSP430
' @R1+ alias @RSP+ \ retur stack pointer
' @R4+ alias @PSP+ \ parameter stack pointer
' @R5+ alias @IP+ \ instruction pointer
' @R6+ alias @W+ \ working register
' @R7+ alias @TOS+ \ top of (parameter) stack
\ 7. mode
' m7 alias #N ( n -- n )
\ *** Double-Operand Instructions (Format I)
: smode# ( -- n ) mode# 4 rshift $F and ;
: smodeI ( src | x src -- )
smode#
dup 1 = if drop sRn exit then
dup 2 = if drop sx(Rn) exit then
dup 3 = if drop sADDR exit then
dup 4 = if drop s&ADDR exit then
dup 5 = if drop s@Rn exit then
dup 6 = if drop s@Rn+ exit then
dup 7 = if drop s#K exit then
1 throw ;
: dmode# ( -- n ) mode# $F and ;
: dmodeI ( dst | x dst -- )
dmode#
dup 1 = if drop dRn exit then
dup 2 = if drop dx(Rn) exit then
dup 3 = if drop dADDR exit then
dup 4 = if drop d&ADDR exit then
1 throw ;
\ expression ex may be single or doubble item. res
: MOV.W ( ex1 ex2 -- ) dmodeI smodeI mov.w, reset-mode# ;
: ADD.W ( ex1 ex2 -- ) dmodeI smodeI add.w, reset-mode# ;
: ADDC.W ( ex1 ex2 -- ) dmodeI smodeI addc.w, reset-mode# ;
: SUBC.W ( ex1 ex2 -- ) dmodeI smodeI subc.w, reset-mode# ;
: SUB.W ( ex1 ex2 -- ) dmodeI smodeI sub.w, reset-mode# ;
: CMP.W ( ex1 ex2 -- ) dmodeI smodeI cmp.w, reset-mode# ;
: DADD.W ( ex1 ex2 -- ) dmodeI smodeI dadd.w, reset-mode# ;
: BIT.W ( ex1 ex2 -- ) dmodeI smodeI bit.w, reset-mode# ;
: BIC.W ( ex1 ex2 -- ) dmodeI smodeI bic.w, reset-mode# ;
: BIS.W ( ex1 ex2 -- ) dmodeI smodeI bis.w, reset-mode# ;
: XOR.W ( ex1 ex2 -- ) dmodeI smodeI xor.w, reset-mode# ;
: AND.W ( ex1 ex2 -- ) dmodeI smodeI and.w, reset-mode# ;
: MOV.B ( ex1 ex2 -- ) dmodeI smodeI mov.B, reset-mode# ;
: ADD.B ( ex1 ex2 -- ) dmodeI smodeI add.B, reset-mode# ;
: ADDC.B ( ex1 ex2 -- ) dmodeI smodeI addc.B, reset-mode# ;
: SUBC.B ( ex1 ex2 -- ) dmodeI smodeI subc.B, reset-mode# ;
: SUB.B ( ex1 ex2 -- ) dmodeI smodeI sub.B, reset-mode# ;
: CMP.B ( ex1 ex2 -- ) dmodeI smodeI cmp.B, reset-mode# ;
: DADD.B ( ex1 ex2 -- ) dmodeI smodeI dadd.B, reset-mode# ;
: BIT.B ( ex1 ex2 -- ) dmodeI smodeI bit.B, reset-mode# ;
: BIC.B ( ex1 ex2 -- ) dmodeI smodeI bic.B, reset-mode# ;
: BIS.B ( ex1 ex2 -- ) dmodeI smodeI bis.B, reset-mode# ;
: XOR.B ( ex1 ex2 -- ) dmodeI smodeI xor.B, reset-mode# ;
: AND.B ( ex1 ex2 -- ) dmodeI smodeI and.B, reset-mode# ;
' MOV.W alias MOV
' ADD.W alias ADD
' ADDC.W alias ADDC
' SUBC.W alias SUBC
' SUB.W alias SUB
' CMP.W alias CMP
' DADD.W alias DADD
' BIT.W alias BIT
' BIC.W alias BIC
' BIS.W alias BIS
\ ' XOR.W alias XOR
\ ' AND.W alias AND
\ Single-Operand INstructions ( Format II )
: modeII ( src | x src -- )
mode# $F and
dup 1 = if drop Rn exit then
dup 2 = if drop x(Rn) exit then
dup 3 = if drop ADDR exit then
dup 4 = if drop &ADDR exit then
dup 5 = if drop @Rn exit then
dup 6 = if drop @Rn+ exit then
dup 7 = if drop #K exit then
1 throw ;
: RRC.W ( ex -- ) modeII RRC.W, reset-mode# ;
: SWPB ( ex -- ) modeII SWPB, reset-mode# ;
: RRA.W ( ex -- ) modeII RRA.W, reset-mode# ;
: SXT ( ex -- ) modeII SXT, reset-mode# ;
: PUSH.W ( ex -- ) modeII PUSH.W, reset-mode# ;
: CALL ( ex -- ) modeII CALL, reset-mode# ;
' RETI, alias RETI
: RRC.B ( ex -- ) modeII RRC.B, reset-mode# ;
: RRA.B ( ex -- ) modeII RRA.B, reset-mode# ;
: PUSH.B ( ex -- ) modeII PUSH.B, reset-mode# ;
' RRC.W alias RRC
' RRA.W alias RRA
' PUSH.W alias PUSH
' RETI alias RET
\ *** Jump Instructions ( FormatIII )
' JNE, ( adr -- ) alias JNE
' JEQ, ( adr -- ) alias JEQ
' JNC, ( adr -- ) alias JNC
' JC, ( adr -- ) alias JC
' JN, ( adr -- ) alias JN
' JGE, ( adr -- ) alias JGE
' JL, ( adr -- ) alias JL
' JMP, ( adr -- ) alias JMP
' JNE, alias JNZ
' JEQ, alias JZ
' JNC, alias JLO
' JC, alias JHS