Dariaceli's Git
Browse code

(tests.tal) Added tests

Devine Lu Linvega authored on 06/07/2022 21:03:14
Showing 1 changed files
etc/tests.tal
History View file @ aee9411
1 1 
new file mode 100644
... ... 
@@ -0,0 +1,306 @@
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 
+
7 
+%EMIT { #18 DEO }
8 
+%TEST-SHORT { EQU2 #30 ADD EMIT }
9 
+%TEST-BYTE { EQU #30 ADD EMIT }
10 
+%MODE { #20 EMIT }
11 
+%OPCODE { #0a EMIT }
12 
+%TYPE { OPCODE OPCODE }
13 
+
14 
+|0000
15 
+
16 
+	@zeropage
17 
+		&byte $1 &short $2
18 
+
19 
+|0100
20 
+
21 
+	( Logic )
22 
+
23 
+	( EQU )
24 
+	#f8 #f8 EQU [ #01 ] TEST-BYTE
25 
+	#01 #01 EQU [ #01 ] TEST-BYTE
26 
+	#f8 #01 EQU [ #00 ] TEST-BYTE
27 
+	#01 #f8 EQU [ #00 ] TEST-BYTE
28 
+	MODE
29 
+	#f801 #f801 EQU2 [ #01 ] TEST-BYTE
30 
+	#01f8 #01f8 EQU2 [ #01 ] TEST-BYTE
31 
+	#f801 #01f8 EQU2 [ #00 ] TEST-BYTE
32 
+	#01f8 #f801 EQU2 [ #00 ] TEST-BYTE
33 
+	OPCODE
34 
+
35 
+	( NEQ )
36 
+	#f8 #f8 NEQ [ #00 ] TEST-BYTE
37 
+	#01 #01 NEQ [ #00 ] TEST-BYTE
38 
+	#f8 #01 NEQ [ #01 ] TEST-BYTE
39 
+	#01 #f8 NEQ [ #01 ] TEST-BYTE
40 
+	MODE
41 
+	#f801 #f801 NEQ2 [ #00 ] TEST-BYTE
42 
+	#01f8 #01f8 NEQ2 [ #00 ] TEST-BYTE
43 
+	#f801 #01f8 NEQ2 [ #01 ] TEST-BYTE
44 
+	#01f8 #f801 NEQ2 [ #01 ] TEST-BYTE
45 
+	OPCODE
46 
+
47 
+	( GTH )
48 
+	#f8 #f8 GTH [ #00 ] TEST-BYTE
49 
+	#01 #01 GTH [ #00 ] TEST-BYTE
50 
+	#f8 #01 GTH [ #01 ] TEST-BYTE
51 
+	#01 #f8 GTH [ #00 ] TEST-BYTE
52 
+	MODE
53 
+	#f801 #f801 GTH2 [ #00 ] TEST-BYTE
54 
+	#01f8 #01f8 GTH2 [ #00 ] TEST-BYTE
55 
+	#f801 #01f8 GTH2 [ #01 ] TEST-BYTE
56 
+	#01f8 #f801 GTH2 [ #00 ] TEST-BYTE
57 
+	OPCODE
58 
+
59 
+	( LTH )
60 
+	#f8 #f8 LTH [ #00 ] TEST-BYTE
61 
+	#01 #01 LTH [ #00 ] TEST-BYTE
62 
+	#f8 #01 LTH [ #00 ] TEST-BYTE
63 
+	#01 #f8 LTH [ #01 ] TEST-BYTE
64 
+	MODE
65 
+	#f801 #f801 LTH2 [ #00 ] TEST-BYTE
66 
+	#01f8 #01f8 LTH2 [ #00 ] TEST-BYTE
67 
+	#f801 #01f8 LTH2 [ #00 ] TEST-BYTE
68 
+	#01f8 #f801 LTH2 [ #01 ] TEST-BYTE
69 
+	TYPE
70 
+
71 
+	( Arithmetic )
72 
+
73 
+	( ADD )
74 
+	#ff #00 ADD [ #ff ] TEST-BYTE
75 
+	#01 #ff ADD [ #00 ] TEST-BYTE
76 
+	#ff #ff ADD [ #fe ] TEST-BYTE
77 
+	#fe #ff ADD [ #fd ] TEST-BYTE
78 
+	MODE
79 
+	#ffff #0000 ADD2 [ #ffff ] TEST-SHORT
80 
+	#0001 #ffff ADD2 [ #0000 ] TEST-SHORT
81 
+	#ffff #ffff ADD2 [ #fffe ] TEST-SHORT
82 
+	#fffe #ffff ADD2 [ #fffd ] TEST-SHORT
83 
+	MODE
84 
+	OPCODE
85 
+
86 
+	( SUB )
87 
+	#ff #00 SUB [ #ff ] TEST-BYTE
88 
+	#01 #ff SUB [ #02 ] TEST-BYTE
89 
+	#ff #ff SUB [ #00 ] TEST-BYTE
90 
+	#fe #ff SUB [ #ff ] TEST-BYTE
91 
+	MODE
92 
+	#ffff #0000 SUB2 [ #ffff ] TEST-SHORT
93 
+	#0001 #ffff SUB2 [ #0002 ] TEST-SHORT
94 
+	#ffff #ffff SUB2 [ #0000 ] TEST-SHORT
95 
+	#fffe #ffff SUB2 [ #ffff ] TEST-SHORT
96 
+	MODE
97 
+	OPCODE
98 
+
99 
+	( MUL )
100 
+	#00 #01 MUL [ #00 ] TEST-BYTE
101 
+	#3f #e7 MUL [ #d9 ] TEST-BYTE
102 
+	#37 #3f MUL [ #89 ] TEST-BYTE
103 
+	#10 #02 MUL [ #20 ] TEST-BYTE
104 
+	MODE
105 
+	#1000 #0003 MUL2 [ #3000 ] TEST-SHORT
106 
+	#abcd #1234 MUL2 [ #4fa4 ] TEST-SHORT
107 
+	#8000 #0200 MUL2 [ #0000 ] TEST-SHORT
108 
+	#2222 #0003 MUL2 [ #6666 ] TEST-SHORT
109 
+	OPCODE
110 
+
111 
+	( DIV )
112 
+	#10 #02 DIV [ #08 ] TEST-BYTE
113 
+	#20 #20 DIV [ #01 ] TEST-BYTE
114 
+	#34 #01 DIV [ #34 ] TEST-BYTE
115 
+	#02 #ef DIV [ #00 ] TEST-BYTE
116 
+	MODE
117 
+	#1000 #0040 DIV2 [ #0040 ] TEST-SHORT
118 
+	#abcd #1234 DIV2 [ #0009 ] TEST-SHORT
119 
+	#8000 #0200 DIV2 [ #0040 ] TEST-SHORT
120 
+	#2222 #0003 DIV2 [ #0b60 ] TEST-SHORT
121 
+	TYPE
122 
+
123 
+	( Stack )
124 
+
125 
+	( INC )
126 
+	#01 INC [ #02 ] TEST-BYTE
127 
+	#ff INC [ #00 ] TEST-BYTE
128 
+	#fe INC [ #ff ] TEST-BYTE
129 
+	#00 INC [ #01 ] TEST-BYTE
130 
+	MODE
131 
+	#0001 INC2 [ #0002 ] TEST-SHORT
132 
+	#ffff INC2 [ #0000 ] TEST-SHORT
133 
+	#fffe INC2 [ #ffff ] TEST-SHORT
134 
+	#0000 INC2 [ #0001 ] TEST-SHORT
135 
+	OPCODE
136 
+
137 
+	( POP )
138 
+	#0a #0b POP [ #0a ] TEST-BYTE
139 
+	#0a #0b #0c POP POP [ #0a ] TEST-BYTE
140 
+	#0a #0b #0c ADD POP [ #0a ] TEST-BYTE
141 
+	#0a #0b #0c POP ADD [ #15 ] TEST-BYTE
142 
+	MODE
143 
+	#0a0b #0c0d POP2 [ #0a0b ] TEST-SHORT
144 
+	#0a0b #0c0d #0e0f POP2 POP2 [ #0a0b ] TEST-SHORT
145 
+	#0a0b #0c0d #0e0f ADD2 POP2 [ #0a0b ] TEST-SHORT
146 
+	#0a0b #0c0d #0e0f POP2 ADD2 [ #1618 ] TEST-SHORT
147 
+	OPCODE
148 
+
149 
+	( DUP )
150 
+	#0a #0b DUP ADD ADD [ #20 ] TEST-BYTE
151 
+	MODE
152 
+	#0a0b DUP2 ADD2 [ #1416 ] TEST-SHORT
153 
+	OPCODE
154 
+
155 
+	( NIP )
156 
+	#12 #34 #56 NIP ADD [ #68 ] TEST-BYTE
157 
+	MODE
158 
+	#1234 #5678 #9abc NIP2 ADD2 [ #acf0 ] TEST-SHORT
159 
+
160 
+	OPCODE
161 
+	( SWP )
162 
+	#02 #10 SWP DIV [ #08 ] TEST-BYTE
163 
+	MODE
164 
+	#0a0b #0c0d SWP2 NIP2 [ #0a0b ] TEST-SHORT
165 
+
166 
+	OPCODE
167 
+	( OVR )
168 
+	#02 #10 OVR DIV ADD [ #0a ] TEST-BYTE
169 
+	MODE
170 
+	#0a0b #0c0d OVR2 NIP2 ADD2 [ #1416 ] TEST-SHORT
171 
+	OPCODE
172 
+
173 
+	( ROT )
174 
+	#02 #04 #10 ROT DIV ADD [ #0c ] TEST-BYTE
175 
+	MODE
176 
+	#0a0b #0c0d #0c0f ROT2 ADD2 NIP2 [ #161a ] TEST-SHORT
177 
+	TYPE
178 
+
179 
+	( Bitwise )
180 
+
181 
+	( AND )
182 
+	#fc #3f AND [ #3c ] TEST-BYTE
183 
+	#f0 #0f AND [ #00 ] TEST-BYTE
184 
+	#ff #3c AND [ #3c ] TEST-BYTE
185 
+	#02 #03 AND [ #02 ] TEST-BYTE
186 
+	MODE
187 
+	#f0f0 #00f0 AND2 [ #00f0 ] TEST-SHORT
188 
+	#aaaa #5555 AND2 [ #0000 ] TEST-SHORT
189 
+	#ffff #1234 AND2 [ #1234 ] TEST-SHORT
190 
+	#abcd #0a0c AND2 [ #0a0c ] TEST-SHORT
191 
+	OPCODE
192 
+
193 
+	( ORA )
194 
+	#0f #f0 ORA [ #ff ] TEST-BYTE
195 
+	#ab #cd ORA [ #ef ] TEST-BYTE
196 
+	#12 #34 ORA [ #36 ] TEST-BYTE
197 
+	#88 #10 ORA [ #98 ] TEST-BYTE
198 
+	MODE
199 
+	#0f0f #f0f0 ORA2 [ #ffff ] TEST-SHORT
200 
+	#abab #cdcd ORA2 [ #efef ] TEST-SHORT
201 
+	#1122 #1234 ORA2 [ #1336 ] TEST-SHORT
202 
+	#8888 #1000 ORA2 [ #9888 ] TEST-SHORT
203 
+	OPCODE
204 
+
205 
+	( EOR )
206 
+	#00 #00 EOR [ #00 ] TEST-BYTE
207 
+	#ff #00 EOR [ #ff ] TEST-BYTE
208 
+	#aa #55 EOR [ #ff ] TEST-BYTE
209 
+	#ff #ff EOR [ #00 ] TEST-BYTE
210 
+	MODE
211 
+	#ffff #ff00 EOR2 [ #00ff ] TEST-SHORT
212 
+	#aaaa #5555 EOR2 [ #ffff ] TEST-SHORT
213 
+	#1122 #1234 EOR2 [ #0316 ] TEST-SHORT
214 
+	#8888 #1000 EOR2 [ #9888 ] TEST-SHORT
215 
+	OPCODE
216 
+
217 
+	( SFT )
218 
+	#ff #08 SFT [ #00 ] TEST-BYTE
219 
+	#ff #e0 SFT [ #00 ] TEST-BYTE
220 
+	#ff #11 SFT [ #fe ] TEST-BYTE
221 
+	#ff #12 SFT [ #7e ] TEST-BYTE
222 
+	MODE
223 
+	#ffff #01 SFT2 [ #7fff ] TEST-SHORT
224 
+	#ffff #70 SFT2 [ #ff80 ] TEST-SHORT
225 
+	#ffff #7e SFT2 [ #0180 ] TEST-SHORT
226 
+	#ffff #e3 SFT2 [ #c000 ] TEST-SHORT
227 
+	TYPE
228 
+
229 
+	( Memory )
230 
+
231 
+	( STZ/LDZ )
232 
+	#ab .zeropage/byte STZ .zeropage/byte LDZ [ #ab ] TEST-BYTE
233 
+	#cd .zeropage/byte STZ .zeropage/byte LDZ [ #cd ] TEST-BYTE
234 
+	MODE
235 
+	#1234 .zeropage/short STZ2 .zeropage/short LDZ2 [ #1234 ] TEST-SHORT
236 
+	#5678 .zeropage/short STZ2 .zeropage/short LDZ2 [ #5678 ] TEST-SHORT
237 
+	OPCODE
238 
+
239 
+	( STR/LDR )
240 
+	[ LIT &before1 $1 ] POP
241 
+	[ LIT2 &before2 $2 ] POP2
242 
+	#22 ,&before1 STR ,&before1 LDR [ #22 ] TEST-BYTE
243 
+	#ef ,&after1 STR ,&after1 LDR [ #ef ] TEST-BYTE
244 
+	MODE
245 
+	#1234 ,&before2 STR2 ,&before2 LDR2 [ #1234 ] TEST-SHORT
246 
+	#5678 ,&after2 STR2 ,&after2 LDR2 [ #5678 ] TEST-SHORT
247 
+	[ LIT &after1 $1 ] POP
248 
+	[ LIT2 &after2 $2 ] POP2
249 
+	OPCODE
250 
+
251 
+	( STA/LDA )
252 
+	#34 ;absolute/byte STA ;absolute/byte LDA [ #34 ] TEST-BYTE
253 
+	#56 ;absolute/byte STA ;absolute/byte LDA [ #56 ] TEST-BYTE
254 
+	MODE
255 
+	#1234 ;absolute/short STA2 ;absolute/short LDA2 [ #1234 ] TEST-SHORT
256 
+	#5678 ;absolute/short STA2 ;absolute/short LDA2 [ #5678 ] TEST-SHORT
257 
+	OPCODE
258 
+
259 
+	( DEI/DEO )
260 
+	LIT '1 EMIT
261 
+	LIT '1 EMIT
262 
+	TYPE
263 
+
264 
+	( Branching )
265 
+
266 
+	( JMP )
267 
+	#12 #34 ,&reljmp JMP SWP &reljmp POP [ #12 ] TEST-BYTE
268 
+	MODE
269 
+	#56 #78 ;&absjmp JMP2 SWP &absjmp POP [ #56 ] TEST-BYTE
270 
+	OPCODE
271 
+
272 
+	( JCN )
273 
+	#23 #01 ,&reljcn-y JCN INC &reljcn-y [ #23 ] TEST-BYTE
274 
+	#23 #00 ,&reljcn-n JCN INC &reljcn-n [ #24 ] TEST-BYTE
275 
+	MODE
276 
+	#23 #01 ;&absjcn-y JCN2 INC &absjcn-y [ #23 ] TEST-BYTE
277 
+	#23 #00 ;&absjcn-n JCN2 INC &absjcn-n [ #24 ] TEST-BYTE
278 
+	OPCODE
279 
+
280 
+	( JSR - Requires return mode )
281 
+	#12 #34 ;routine JSR2 [ #46 ] TEST-BYTE
282 
+	OPCODE
283 
+
284 
+	( STH )
285 
+	#0a STH #0b STH ADDr STHr [ #15 ] TEST-BYTE
286 
+	MODE
287 
+	#000a STH2 #000b STH2 ADD2r STH2r [ #0015 ] TEST-SHORT
288 
+	TYPE
289 
+
290 
+	( Keep )
291 
+	#12 #34 ADDk ADD ADD [ #8c ] TEST-BYTE
292 
+	OPCODE
293 
+
294 
+	#010e DEO
295 
+	#010f DEO
296 
+
297 
+BRK
298 
+
299 
+@routine ( a b -- c )
300 
+
301 
+	ADD
302 
+
303 
+JMP2r
304 
+
305 
+@absolute
306 
+	&byte $1 &short $2