Browse code

Added test rom

Devine Lu Linvega authored on 11/06/2022 18:53:28
Showing 1 changed files
1 1
new file mode 100644
... ...
@@ -0,0 +1,383 @@
1
+( Opcode Tester )
2
+
3
+( Requirements: 
4
+	EQU/EQU2 should put #00 or #01 on the stack
5
+	#18 DEO should output ascii character to console
6
+	#02 DEO should set location of working stack in memory
7
+	#03 DEO should set location of return stack in memory )
8
+
9
+%EMIT { #18 DEO }
10
+%TEST-SHORT { EQU2 #30 ADD EMIT }
11
+%TEST-BYTE { EQU #30 ADD EMIT }
12
+%MODE { #20 EMIT }
13
+%OPCODE { #0a EMIT }
14
+%TYPE { OPCODE OPCODE }
15
+%GET-ERR { #fe LDA }
16
+%WST { #ff }
17
+%RST { #fe }
18
+
19
+|00 @System &vector $2 &stacks &wst $1 &rst $1 &pad $4 &r $2 &g $2 &b $2
20
+
21
+|0000
22
+
23
+	@zeropage 
24
+		&byte $1 &short $2
25
+
26
+|0100
27
+
28
+	( set stacks location ) 
29
+	WST RST .System/stacks DEO2
30
+
31
+	( Logic )
32
+
33
+	( EQU )
34
+	#f8 #f8 EQU [ #01 ] TEST-BYTE
35
+	#01 #01 EQU [ #01 ] TEST-BYTE
36
+	#f8 #01 EQU [ #00 ] TEST-BYTE
37
+	#01 #f8 EQU [ #00 ] TEST-BYTE
38
+	MODE
39
+	#f801 #f801 EQU2 [ #01 ] TEST-BYTE
40
+	#01f8 #01f8 EQU2 [ #01 ] TEST-BYTE
41
+	#f801 #01f8 EQU2 [ #00 ] TEST-BYTE
42
+	#01f8 #f801 EQU2 [ #00 ] TEST-BYTE
43
+	OPCODE
44
+
45
+	( NEQ )
46
+	#f8 #f8 NEQ [ #00 ] TEST-BYTE
47
+	#01 #01 NEQ [ #00 ] TEST-BYTE
48
+	#f8 #01 NEQ [ #01 ] TEST-BYTE
49
+	#01 #f8 NEQ [ #01 ] TEST-BYTE
50
+	MODE
51
+	#f801 #f801 NEQ2 [ #00 ] TEST-BYTE
52
+	#01f8 #01f8 NEQ2 [ #00 ] TEST-BYTE
53
+	#f801 #01f8 NEQ2 [ #01 ] TEST-BYTE
54
+	#01f8 #f801 NEQ2 [ #01 ] TEST-BYTE
55
+	OPCODE
56
+
57
+	( GTH )
58
+	#f8 #f8 GTH [ #00 ] TEST-BYTE
59
+	#01 #01 GTH [ #00 ] TEST-BYTE
60
+	#f8 #01 GTH [ #01 ] TEST-BYTE
61
+	#01 #f8 GTH [ #00 ] TEST-BYTE
62
+	MODE
63
+	#f801 #f801 GTH2 [ #00 ] TEST-BYTE
64
+	#01f8 #01f8 GTH2 [ #00 ] TEST-BYTE
65
+	#f801 #01f8 GTH2 [ #01 ] TEST-BYTE
66
+	#01f8 #f801 GTH2 [ #00 ] TEST-BYTE
67
+	OPCODE
68
+
69
+	( LTH )
70
+	#f8 #f8 LTH [ #00 ] TEST-BYTE
71
+	#01 #01 LTH [ #00 ] TEST-BYTE
72
+	#f8 #01 LTH [ #00 ] TEST-BYTE
73
+	#01 #f8 LTH [ #01 ] TEST-BYTE
74
+	MODE
75
+	#f801 #f801 LTH2 [ #00 ] TEST-BYTE
76
+	#01f8 #01f8 LTH2 [ #00 ] TEST-BYTE
77
+	#f801 #01f8 LTH2 [ #00 ] TEST-BYTE
78
+	#01f8 #f801 LTH2 [ #01 ] TEST-BYTE
79
+	TYPE
80
+
81
+	( Arithmetic )
82
+
83
+	( ADD )
84
+	#ff #00 ADD [ #ff ] TEST-BYTE
85
+	#01 #ff ADD [ #00 ] TEST-BYTE
86
+	#ff #ff ADD [ #fe ] TEST-BYTE
87
+	#fe #ff ADD [ #fd ] TEST-BYTE
88
+	MODE
89
+	#ffff #0000 ADD2 [ #ffff ] TEST-SHORT
90
+	#0001 #ffff ADD2 [ #0000 ] TEST-SHORT
91
+	#ffff #ffff ADD2 [ #fffe ] TEST-SHORT
92
+	#fffe #ffff ADD2 [ #fffd ] TEST-SHORT
93
+	MODE
94
+	OPCODE
95
+
96
+	( SUB )
97
+	#ff #00 SUB [ #ff ] TEST-BYTE
98
+	#01 #ff SUB [ #02 ] TEST-BYTE
99
+	#ff #ff SUB [ #00 ] TEST-BYTE
100
+	#fe #ff SUB [ #ff ] TEST-BYTE
101
+	MODE
102
+	#ffff #0000 SUB2 [ #ffff ] TEST-SHORT
103
+	#0001 #ffff SUB2 [ #0002 ] TEST-SHORT
104
+	#ffff #ffff SUB2 [ #0000 ] TEST-SHORT
105
+	#fffe #ffff SUB2 [ #ffff ] TEST-SHORT
106
+	MODE
107
+	OPCODE
108
+
109
+	( MUL )
110
+	#00 #01 MUL [ #00 ] TEST-BYTE
111
+	#3f #e7 MUL [ #d9 ] TEST-BYTE
112
+	#37 #3f MUL [ #89 ] TEST-BYTE
113
+	#10 #02 MUL [ #20 ] TEST-BYTE
114
+	MODE
115
+	#1000 #0003 MUL2 [ #3000 ] TEST-SHORT
116
+	#abcd #1234 MUL2 [ #4fa4 ] TEST-SHORT
117
+	#8000 #0200 MUL2 [ #0000 ] TEST-SHORT
118
+	#2222 #0003 MUL2 [ #6666 ] TEST-SHORT
119
+	OPCODE
120
+
121
+	( DIV )
122
+	#10 #02 DIV [ #08 ] TEST-BYTE
123
+	#20 #20 DIV [ #01 ] TEST-BYTE
124
+	#34 #01 DIV [ #34 ] TEST-BYTE
125
+	#02 #ef DIV [ #00 ] TEST-BYTE
126
+	MODE
127
+	#1000 #0040 DIV2 [ #0040 ] TEST-SHORT
128
+	#abcd #1234 DIV2 [ #0009 ] TEST-SHORT
129
+	#8000 #0200 DIV2 [ #0040 ] TEST-SHORT
130
+	#2222 #0003 DIV2 [ #0b60 ] TEST-SHORT
131
+	TYPE
132
+
133
+	( Stack )
134
+
135
+	( INC )
136
+	#01 INC [ #02 ] TEST-BYTE
137
+	#ff INC [ #00 ] TEST-BYTE
138
+	#fe INC [ #ff ] TEST-BYTE
139
+	#00 INC [ #01 ] TEST-BYTE
140
+	MODE
141
+	#0001 INC2 [ #0002 ] TEST-SHORT
142
+	#ffff INC2 [ #0000 ] TEST-SHORT
143
+	#fffe INC2 [ #ffff ] TEST-SHORT
144
+	#0000 INC2 [ #0001 ] TEST-SHORT
145
+	OPCODE
146
+
147
+	( POP )
148
+	#0a #0b POP [ #0a ] TEST-BYTE
149
+	#0a #0b #0c POP POP [ #0a ] TEST-BYTE
150
+	#0a #0b #0c ADD POP [ #0a ] TEST-BYTE
151
+	#0a #0b #0c POP ADD [ #15 ] TEST-BYTE
152
+	MODE
153
+	#0a0b #0c0d POP2 [ #0a0b ] TEST-SHORT
154
+	#0a0b #0c0d #0e0f POP2 POP2 [ #0a0b ] TEST-SHORT
155
+	#0a0b #0c0d #0e0f ADD2 POP2 [ #0a0b ] TEST-SHORT
156
+	#0a0b #0c0d #0e0f POP2 ADD2 [ #1618 ] TEST-SHORT
157
+	OPCODE
158
+
159
+	( DUP )
160
+	#0a #0b DUP ADD ADD [ #20 ] TEST-BYTE
161
+	MODE
162
+	#0a0b DUP2 ADD2 [ #1416 ] TEST-SHORT
163
+	OPCODE
164
+
165
+	( NIP )
166
+	#12 #34 #56 NIP ADD [ #68 ] TEST-BYTE
167
+	MODE
168
+	#1234 #5678 #9abc NIP2 ADD2 [ #acf0 ] TEST-SHORT
169
+
170
+	OPCODE
171
+	( SWP )
172
+	#02 #10 SWP DIV [ #08 ] TEST-BYTE
173
+	MODE
174
+	#0a0b #0c0d SWP2 NIP2 [ #0a0b ] TEST-SHORT
175
+
176
+	OPCODE
177
+	( OVR )
178
+	#02 #10 OVR DIV ADD [ #0a ] TEST-BYTE
179
+	MODE
180
+	#0a0b #0c0d OVR2 NIP2 ADD2 [ #1416 ] TEST-SHORT
181
+	OPCODE
182
+
183
+	( ROT )
184
+	#02 #04 #10 ROT DIV ADD [ #0c ] TEST-BYTE
185
+	MODE
186
+	#0a0b #0c0d #0c0f ROT2 ADD2 NIP2 [ #161a ] TEST-SHORT
187
+	TYPE
188
+
189
+	( Bitwise )
190
+
191
+	( AND )
192
+	#fc #3f AND [ #3c ] TEST-BYTE
193
+	#f0 #0f AND [ #00 ] TEST-BYTE
194
+	#ff #3c AND [ #3c ] TEST-BYTE
195
+	#02 #03 AND [ #02 ] TEST-BYTE
196
+	MODE
197
+	#f0f0 #00f0 AND2 [ #00f0 ] TEST-SHORT
198
+	#aaaa #5555 AND2 [ #0000 ] TEST-SHORT
199
+	#ffff #1234 AND2 [ #1234 ] TEST-SHORT
200
+	#abcd #0a0c AND2 [ #0a0c ] TEST-SHORT
201
+	OPCODE
202
+
203
+	( ORA )
204
+	#0f #f0 ORA [ #ff ] TEST-BYTE
205
+	#ab #cd ORA [ #ef ] TEST-BYTE
206
+	#12 #34 ORA [ #36 ] TEST-BYTE
207
+	#88 #10 ORA [ #98 ] TEST-BYTE
208
+	MODE
209
+	#0f0f #f0f0 ORA2 [ #ffff ] TEST-SHORT
210
+	#abab #cdcd ORA2 [ #efef ] TEST-SHORT
211
+	#1122 #1234 ORA2 [ #1336 ] TEST-SHORT
212
+	#8888 #1000 ORA2 [ #9888 ] TEST-SHORT
213
+	OPCODE
214
+
215
+	( EOR )
216
+	#00 #00 EOR [ #00 ] TEST-BYTE
217
+	#ff #00 EOR [ #ff ] TEST-BYTE
218
+	#aa #55 EOR [ #ff ] TEST-BYTE
219
+	#ff #ff EOR [ #00 ] TEST-BYTE
220
+	MODE
221
+	#ffff #ff00 EOR2 [ #00ff ] TEST-SHORT
222
+	#aaaa #5555 EOR2 [ #ffff ] TEST-SHORT
223
+	#1122 #1234 EOR2 [ #0316 ] TEST-SHORT
224
+	#8888 #1000 EOR2 [ #9888 ] TEST-SHORT
225
+	OPCODE
226
+
227
+	( SFT )
228
+	#ff #08 SFT [ #00 ] TEST-BYTE
229
+	#ff #e0 SFT [ #00 ] TEST-BYTE
230
+	#ff #11 SFT [ #fe ] TEST-BYTE
231
+	#ff #12 SFT [ #7e ] TEST-BYTE
232
+	MODE
233
+	#ffff #01 SFT2 [ #7fff ] TEST-SHORT
234
+	#ffff #70 SFT2 [ #ff80 ] TEST-SHORT
235
+	#ffff #7e SFT2 [ #0180 ] TEST-SHORT
236
+	#ffff #e3 SFT2 [ #c000 ] TEST-SHORT
237
+	TYPE
238
+
239
+	( Memory )
240
+
241
+	( STZ/LDZ )
242
+	#ab .zeropage/byte STZ .zeropage/byte LDZ [ #ab ] TEST-BYTE
243
+	#cd .zeropage/byte STZ .zeropage/byte LDZ [ #cd ] TEST-BYTE
244
+	MODE
245
+	#1234 .zeropage/short STZ2 .zeropage/short LDZ2 [ #1234 ] TEST-SHORT
246
+	#5678 .zeropage/short STZ2 .zeropage/short LDZ2 [ #5678 ] TEST-SHORT
247
+	OPCODE
248
+
249
+	( STR/LDR )
250
+	[ LIT &before1 $1 ] POP
251
+	[ LIT2 &before2 $2 ] POP2
252
+	#22 ,&before1 STR ,&before1 LDR [ #22 ] TEST-BYTE
253
+	#ef ,&after1 STR ,&after1 LDR [ #ef ] TEST-BYTE
254
+	MODE
255
+	#1234 ,&before2 STR2 ,&before2 LDR2 [ #1234 ] TEST-SHORT
256
+	#5678 ,&after2 STR2 ,&after2 LDR2 [ #5678 ] TEST-SHORT
257
+	[ LIT &after1 $1 ] POP
258
+	[ LIT2 &after2 $2 ] POP2
259
+	OPCODE
260
+
261
+	( STA/LDA )
262
+	#34 ;absolute/byte STA ;absolute/byte LDA [ #34 ] TEST-BYTE
263
+	#56 ;absolute/byte STA ;absolute/byte LDA [ #56 ] TEST-BYTE
264
+	MODE
265
+	#1234 ;absolute/short STA2 ;absolute/short LDA2 [ #1234 ] TEST-SHORT
266
+	#5678 ;absolute/short STA2 ;absolute/short LDA2 [ #5678 ] TEST-SHORT
267
+	OPCODE
268
+
269
+	( DEI/DEO )
270
+	LIT '1 EMIT
271
+	LIT '1 EMIT
272
+	TYPE
273
+
274
+	( Branching )
275
+
276
+	( JMP )
277
+	#12 #34 ,&reljmp JMP SWP &reljmp POP [ #12 ] TEST-BYTE
278
+	MODE
279
+	#56 #78 ;&absjmp JMP2 SWP &absjmp POP [ #56 ] TEST-BYTE
280
+	OPCODE
281
+
282
+	( JCN )
283
+	#23 #01 ,&reljcn-y JCN INC &reljcn-y [ #23 ] TEST-BYTE
284
+	#23 #00 ,&reljcn-n JCN INC &reljcn-n [ #24 ] TEST-BYTE
285
+	MODE
286
+	#23 #01 ;&absjcn-y JCN2 INC &absjcn-y [ #23 ] TEST-BYTE
287
+	#23 #00 ;&absjcn-n JCN2 INC &absjcn-n [ #24 ] TEST-BYTE
288
+	OPCODE
289
+
290
+	( JSR - Requires return mode )
291
+	#12 #34 ;routine JSR2 [ #46 ] TEST-BYTE
292
+	OPCODE
293
+
294
+	( STH )
295
+	#0a STH #0b STH ADDr STHr [ #15 ] TEST-BYTE
296
+	MODE
297
+	#000a STH2 #000b STH2 ADD2r STH2r [ #0015 ] TEST-SHORT
298
+	TYPE
299
+
300
+	( Keep )
301
+	#12 #34 ADDk ADD ADD [ #8c ] TEST-BYTE
302
+	OPCODE
303
+
304
+	( Error: Division By Zero )
305
+	;on-error-division #00 DEO2
306
+	#10 #00 DIV
307
+
308
+	@err2
309
+	( Error: Working Stack Underflow )
310
+	;on-error-underflow #00 DEO2
311
+	POP
312
+
313
+	@err3
314
+	( Error: Return Stack Underflow )
315
+	;on-error-underflowr #00 DEO2
316
+	POPr
317
+
318
+	@end
319
+	#010e DEO
320
+	#010f DEO
321
+
322
+BRK
323
+
324
+@routine ( a b -- c )
325
+
326
+	ADD
327
+
328
+JMP2r
329
+
330
+@on-error-division ( -> )
331
+
332
+	WST ;print-err JSR2
333
+	;err2 JMP2
334
+
335
+BRK
336
+
337
+@on-error-underflow ( -> )
338
+
339
+	WST ;print-err JSR2
340
+	;err3 JMP2
341
+
342
+BRK
343
+
344
+@on-error-underflowr ( -> )
345
+
346
+	RST ;print-err JSR2
347
+	;end JMP2
348
+
349
+BRK
350
+
351
+@print-err ( page -- )
352
+
353
+	;err-txt ;print-str JSR2
354
+	;rst-txt ;print-str JSR2
355
+	#20 EMIT 
356
+	GET-ERR ;print/byte JSR2 
357
+	#0a EMIT
358
+
359
+JMP2r
360
+
361
+@print-str ( str* -- )
362
+
363
+	&while
364
+		LDAk #18 DEO
365
+		INC2 LDAk ,&while JCN
366
+	POP2
367
+
368
+JMP2r
369
+
370
+@print ( short* -- )
371
+
372
+	SWP ,&byte JSR
373
+	&byte ( byte -- ) DUP #04 SFT ,&char JSR
374
+	&char ( char -- ) #0f AND DUP #09 GTH #27 MUL ADD #30 ADD #18 DEO
375
+
376
+JMP2r
377
+
378
+@err-txt "Error $1
379
+@wst-txt "(wst) $1
380
+@rst-txt "(rst) $1
381
+
382
+@absolute 
383
+	&byte $1 &short $2