zasm: simplify (IX/Y+d) handling

We now require less special handling.

apps/zasm/instr.asm

@@ -2,7 +2,7 @@
 ; Number of rows in the argspec table
 .equ	ARGSPEC_TBL_CNT		33
 ; Number of rows in the primary instructions table
-.equ	INSTR_TBL_CNT		162
+.equ	INSTR_TBL_CNT		150
 ; size in bytes of each row in the primary instructions table
 .equ	INSTR_TBL_ROWSIZE	6
 ; Instruction IDs They correspond to the index of the table in instrNames
@@ -84,12 +84,18 @@ checkNOrM:
 	cp	'M'
 	ret
 
-; Checks whether A is 'n', 'm', 'x' or 'y'
-checknmxy:
+; Checks whether A is 'n', 'm'
+checknm:
 	cp	'n'
 	ret	z
 	cp	'm'
+	ret
+
+checklxy:
+	cp	'l'
 	ret	z
+; Checks whether A is 'x', 'y'
+checkxy:
 	cp	'x'
 	ret	z
 	cp	'y'
@@ -330,6 +336,7 @@ findInGroup:
 	ret
 
 ; Compare argspec from instruction table in A with argument in (HL).
+; IX must point to argspec row.
 ; For constant args, it's easy: if A == (HL), it's a success.
 ; If it's not this, then we check if it's a numerical arg.
 ; If A is a group ID, we do something else: we check that (HL) exists in the
@@ -342,11 +349,21 @@ matchArg:
 	; not an exact match. Before we continue: is A zero? Because if it is,
 	; we have to stop right here: no match possible.
 	or	a
-	jr	nz, .skip	; not a zero, we can continue
+	jr	nz, .skip1	; not a zero, we can continue
 	; zero, stop here
 	cp	1			; unset Z
 	ret
-.skip:
+.skip1:
+	; If our argspec is 'l', then we also match 'x' and 'y'
+	cp	'l'
+	jr	nz, .skip2
+	; Does it accept IX and IY?
+	bit	4, (ix+3)
+	ld	a, (hl)
+	jp	nz, checkxy	; bit set: our result is checkxy
+	; doesn't accept? then we don't match
+	jp	unsetZ
+.skip2:
 	; Alright, let's start with a special case. Is it part of the special
 	; "BIT" group, 0xc? If yes, we actually expect a number, which will
 	; then be ORed like a regular group index.
@@ -429,76 +446,17 @@ matchPrimaryRow:
 
 ; Handle like a regular "JP (IX+d)" except that we refuse any displacement: if
 ; a displacement is specified, we error out.
-handleJPIX:
-	ld	a, 0xdd
-	jr	handleJPIXY
-handleJPIY:
-	ld	a, 0xfd
 handleJPIXY:
-	ld	(INS_UPCODE), a
 	ld	a, (INS_CURARG1+1)
-	cp	0		; numerical argument *must* be zero
+	or	a		; numerical argument *must* be zero
 	jr	nz, .error
 	; ok, we're good
 	ld	a, 0xe9		; second upcode
-	ld	(INS_UPCODE+1), a
-	ld	c, 2
-	ret
-.error:
-	ld	c, 0
-	ret
-
-; Handle the first argument of BIT. Sets Z if first argument is valid, unset it
-; if there's an error.
-handleBIT:
-	ld	a, (INS_CURARG1+1)
-	cp	8
-	jr	nc, .error	; >= 8? error
-	; We're good
-	cp	a		; ensure Z
+	ld	(INS_UPCODE), a
+	ld	c, 1
 	ret
 .error:
 	ld	c, 0
-	jp	unsetZ
-
-handleBITIX:
-	ld	a, 0xdd
-	ld	b, 0b01000110
-	jr	_handleBITIXY
-handleBITIY:
-	ld	a, 0xfd
-	ld	b, 0b01000110
-	jr	_handleBITIXY
-handleSETIX:
-	ld	a, 0xdd
-	ld	b, 0b11000110
-	jr	_handleBITIXY
-handleSETIY:
-	ld	a, 0xfd
-	ld	b, 0b11000110
-	jr	_handleBITIXY
-handleRESIX:
-	ld	a, 0xdd
-	ld	b, 0b10000110
-	jr	_handleBITIXY
-handleRESIY:
-	ld	a, 0xfd
-	ld	b, 0b10000110
-_handleBITIXY:
-	ld	(INS_UPCODE), a	; first upcode
-	call	handleBIT
-	ret	nz		; error
-	ld	a, 0xcb		; 2nd upcode
-	ld	(INS_UPCODE+1), a
-	ld	a, (INS_CURARG2+1)	; IXY displacement
-	ld	(INS_UPCODE+2), a
-	ld	a, (INS_CURARG1+1)	; 0-7
-	rla
-	rla
-	rla
-	or	b		; 4th upcode
-	ld	(INS_UPCODE+3), a
-	ld	c, 4
 	ret
 
 handleBITR:
@@ -510,8 +468,6 @@ handleSETR:
 handleRESR:
 	ld	b, 0b10000000
 _handleBITR:
-	call	handleBIT
-	ret	nz		; error
 	; get group value
 	ld	a, (INS_CURARG2+1)	; group value
 	ld	c, a
@@ -520,7 +476,7 @@ _handleBITR:
 	ld	(INS_UPCODE), a
 	; get bit value
 	ld	a, (INS_CURARG1+1)	; 0-7
-	rla
+	rlca	; clears cary if any
 	rla
 	rla
 	; Now we have group value in stack, bit value in A (properly shifted)
@@ -531,6 +487,28 @@ _handleBITR:
 	ld	c, 2
 	ret
 
+handleBITIXY:
+	ld	b, 0b01000110
+	jr	_handleBITIXY
+handleSETIXY:
+	ld	b, 0b11000110
+	jr	_handleBITIXY
+handleRESIXY:
+	ld	b, 0b10000110
+_handleBITIXY:
+	ld	a, 0xcb		; 1st upcode
+	ld	(INS_UPCODE), a
+	ld	a, (INS_CURARG2+1)	; IXY displacement
+	ld	(INS_UPCODE+1), a
+	ld	a, (INS_CURARG1+1)	; 0-7
+	rlca	; clears cary if any
+	rla
+	rla
+	or	b		; 4th upcode
+	ld	(INS_UPCODE+2), a
+	ld	c, 3
+	ret
+
 handleIM:
 	ld	a, (INS_CURARG1+1)
 	cp	0
@@ -557,58 +535,40 @@ handleIM:
 	ld	c, 2
 	ret
 
-handleLDIXn:
-	ld	a, 0xdd
-	jr	handleLDIXYn
-handleLDIYn:
-	ld	a, 0xfd
 handleLDIXYn:
-	ld	(INS_UPCODE), a
 	ld	a, 0x36		; second upcode
-	ld	(INS_UPCODE+1), a
+	ld	(INS_UPCODE), a
 	ld	a, (INS_CURARG1+1)	; IXY displacement
-	ld	(INS_UPCODE+2), a
+	ld	(INS_UPCODE+1), a
 	ld	a, (INS_CURARG2+1)	; N
-	ld	(INS_UPCODE+3), a
-	ld	c, 4
+	ld	(INS_UPCODE+2), a
+	ld	c, 3
 	ret
 
-handleLDIXr:
-	ld	a, 0xdd
-	jr	handleLDIXYr
-handleLDIYr:
-	ld	a, 0xfd
 handleLDIXYr:
-	ld	(INS_UPCODE), a
 	ld	a, (INS_CURARG2+1)	; group value
 	or	0b01110000	; second upcode
-	ld	(INS_UPCODE+1), a
+	ld	(INS_UPCODE), a
 	ld	a, (INS_CURARG1+1)	; IXY displacement
-	ld	(INS_UPCODE+2), a
-	ld	c, 3
+	ld	(INS_UPCODE+1), a
+	ld	c, 2
 	ret
 
-handleLDrIX:
-	ld	a, 0xdd
-	jr	handleLDrIXY
-handleLDrIY:
-	ld	a, 0xfd
 handleLDrIXY:
-	ld	(INS_UPCODE), a
 	ld	a, (INS_CURARG1+1)	; group value
-	rla \ rla \ rla
+	rlca \ rla \ rla
 	or	0b01000110	; second upcode
-	ld	(INS_UPCODE+1), a
+	ld	(INS_UPCODE), a
 	ld	a, (INS_CURARG2+1)	; IXY displacement
-	ld	(INS_UPCODE+2), a
-	ld	c, 3
+	ld	(INS_UPCODE+1), a
+	ld	c, 2
 	ret
 
 handleLDrr:
 	; first argument is displaced by 3 bits, second argument is not
 	; displaced and we or that with a leading 0b01000000
 	ld	a, (INS_CURARG1+1)	; group value
-	rla
+	rlca
 	rla
 	rla
 	ld	c, a		; store it
@@ -630,6 +590,39 @@ spitUpcode:
 	; First, let's go in IX mode. It's easier to deal with offsets here.
 	push	de \ pop ix
 
+	; before we begin, are we in a 'l' argspec? Is it flagged for IX/IY
+	; acceptance? If yes, a 'x' or 'y' instruction? Check this on both
+	; args and if we detect a 'x' or 'y', things are *always* the same:
+	; the upcode is exactly the same as its (HL) counterpart except that
+	; it is preceeded by 0xdd or 0xfd. If we're 'x' or 'y', then it means
+	; that we've already been matched to a 'l' argspec, so after spitting
+	; 0xdd or 0xfd, we can continue as normal.
+	ld	a, (ix+1)
+	call	checklxy
+	jr	z, .isl
+	ld	a, (ix+2)
+	call	checklxy
+	jr	nz, .begin		; no point in checking further.
+.isl:
+	ld	a, (INS_CURARG1)
+	cp	'x'
+	jr	z, .isx
+	cp	'y'
+	jr	z, .isy
+	ld	a, (INS_CURARG2)
+	cp	'x'
+	jr	z, .isx
+	cp	'y'
+	jr	z, .isy
+	jr	.begin
+.isx:
+	ld	a, 0xdd
+	call	ioPutB
+	jr	.begin
+.isy:
+	ld	a, 0xfd
+	call	ioPutB
+.begin:
 	; Are we a "special instruction"?
 	bit	5, (ix+3)
 	jr	z, .normalInstr		; not set: normal instruction
@@ -644,10 +637,9 @@ spitUpcode:
 	; we begin by writing our "base upcode", which can be one or two bytes
 	ld	a, (ix+4)	; first upcode
 	ld	(INS_UPCODE), a
-	ld	de, INS_UPCODE	; from this point, DE points to "where we are"
-				; in terms of upcode writing.
-	inc	de		; make DE point to where we should write next.
-
+	; from this point, DE points to "where we are" in terms of upcode
+	; writing.
+	ld	de, INS_UPCODE+1
 	ld	c, 1		; C holds our upcode count
 
 	; Now, let's determine if we have one or two upcode. As a general rule,
@@ -718,13 +710,19 @@ spitUpcode:
 	ld	hl, INS_CURARG1
 	call	checkNOrM
 	jr	z, .withWord
-	call	checknmxy
+	call	checknm
+	jr	z, .withByte
+	ld	a, (INS_CURARG1)
+	call	checkxy
 	jr	z, .withByte
 	ld	a, (ix+2)	; second argspec
 	ld	hl, INS_CURARG2
 	call	checkNOrM
 	jr	z, .withWord
-	call	checknmxy
+	call	checknm
+	jr	z, .withByte
+	ld	a, (INS_CURARG2)
+	call	checkxy
 	jr	z, .withByte
 	; nope, no number, alright, we're finished here
 	jr	.writeIO
@@ -801,6 +799,8 @@ spitUpcode:
 	; to writeIO
 .writeIO:
 	; Let's write INS_UPCODE to IO
+	dec	c \ inc	c	; is C zero?
+	jr	z, .numberTruncated
 	ld	b, c		; save output byte count
 	ld	hl, INS_UPCODE
 .loopWrite:
@@ -809,7 +809,7 @@ spitUpcode:
 	jr	nz, .ioError
 	inc	hl
 	djnz	.loopWrite
-	; Z is set by INC HL
+	cp	a	; ensure Z
 	jr	.end
 .numberTruncated:
 	; Z already unset
@@ -1066,48 +1066,41 @@ instrNames:
 ; Bit 5: Indicates that this row is handled very specially: the next two bytes
 ; aren't upcode bytes, but a routine address to call to handle this case with
 ; custom code.
+; Bit 4: When in an 'l' argspec, this means "I accept IX and IY variants".
 
 instrTBl:
 	.db I_ADC, 'A', 'l', 0,    0x8e		, 0	; ADC A, (HL)
 	.db I_ADC, 'A', 0xb, 0,    0b10001000	, 0	; ADC A, r
 	.db I_ADC, 'A', 'n', 0,    0xce		, 0	; ADC A, n
 	.db I_ADC, 'h', 0x3, 0x44, 0xed, 0b01001010	; ADC HL, ss
-	.db I_ADD, 'A', 'l', 0,    0x86		, 0	; ADD A, (HL)
+	.db I_ADD, 'A', 'l', 0x10, 0x86		, 0	; ADD A, (HL) + (IX/Y)
 	.db I_ADD, 'A', 0xb, 0,    0b10000000	, 0	; ADD A, r
 	.db I_ADD, 'A', 'n', 0,    0xc6 	, 0	; ADD A, n
 	.db I_ADD, 'h', 0x3, 4,    0b00001001 	, 0	; ADD HL, ss
 	.db I_ADD, 'X', 0x4, 0x44, 0xdd, 0b00001001	; ADD IX, pp
 	.db I_ADD, 'Y', 0x5, 0x44, 0xfd, 0b00001001	; ADD IY, rr
-	.db I_ADD, 'A', 'x', 0,    0xdd, 0x86	 	; ADD A, (IX+d)
-	.db I_ADD, 'A', 'y', 0,    0xfd, 0x86	 	; ADD A, (IY+d)
-	.db I_AND, 'l', 0,   0,    0xa6		, 0	; AND (HL)
+	.db I_AND, 'l', 0,   0x10, 0xa6		, 0	; AND (HL) + (IX/Y)
 	.db I_AND, 0xb, 0,   0,    0b10100000	, 0	; AND r
 	.db I_AND, 'n', 0,   0,    0xe6		, 0	; AND n
-	.db I_AND, 'x', 0,   0,    0xdd, 0xa6		; AND (IX+d)
-	.db I_AND, 'y', 0,   0,    0xfd, 0xa6		; AND (IY+d)
+	.db I_BIT, 0xc, 'x', 0x20 \ .dw handleBITIXY	; BIT b, (IX+d)
+	.db I_BIT, 0xc, 'y', 0x20 \ .dw handleBITIXY	; BIT b, (IY+d)
 	.db I_BIT, 0xc, 'l', 0x43, 0xcb, 0b01000110	; BIT b, (HL)
-	.db I_BIT, 'n', 'x', 0x20 \ .dw handleBITIX	; BIT b, (IX+d)
-	.db I_BIT, 'n', 'y', 0x20 \ .dw handleBITIY	; BIT b, (IY+d)
 	.db I_BIT, 'n', 0xb, 0x20 \ .dw handleBITR	; BIT b, r
 	.db I_CALL,0xa, 'N', 3,    0b11000100	, 0	; CALL cc, NN
 	.db I_CALL,'N', 0,   0,    0xcd		, 0	; CALL NN
 	.db I_CCF, 0,   0,   0,    0x3f		, 0	; CCF
-	.db I_CP,  'l', 0,   0,    0xbe		, 0	; CP (HL)
+	.db I_CP,  'l', 0,   0x10, 0xbe		, 0	; CP (HL) + (IX/Y)
 	.db I_CP,  0xb, 0,   0,    0b10111000	, 0	; CP r
 	.db I_CP,  'n', 0,   0,    0xfe		, 0	; CP n
-	.db I_CP,  'x', 0,   0,    0xdd, 0xbe		; CP (IX+d)
-	.db I_CP,  'y', 0,   0,    0xfd, 0xbe		; CP (IY+d)
 	.db I_CPD, 0,   0,   0,    0xed, 0xa9		; CPD
 	.db I_CPDR,0,   0,   0,    0xed, 0xb9		; CPDR
 	.db I_CPI, 0,   0,   0,    0xed, 0xa1		; CPI
 	.db I_CPIR,0,   0,   0,    0xed, 0xb1		; CPIR
 	.db I_CPL, 0,   0,   0,    0x2f		, 0	; CPL
 	.db I_DAA, 0,   0,   0,    0x27		, 0	; DAA
-	.db I_DEC, 'l', 0,   0,    0x35		, 0	; DEC (HL)
+	.db I_DEC, 'l', 0,   0x10, 0x35		, 0	; DEC (HL) + (IX/Y)
 	.db I_DEC, 'X', 0,   0,    0xdd, 0x2b		; DEC IX
-	.db I_DEC, 'x', 0,   0,    0xdd, 0x35		; DEC (IX+d)
 	.db I_DEC, 'Y', 0,   0,    0xfd, 0x2b		; DEC IY
-	.db I_DEC, 'y', 0,   0,    0xfd, 0x35		; DEC (IY+d)
 	.db I_DEC, 0xb, 0,   3,    0b00000101	, 0	; DEC r
 	.db I_DEC, 0x3, 0,   4,    0b00001011	, 0	; DEC ss
 	.db I_DI,  0,   0,   0,    0xf3		, 0	; DI
@@ -1123,22 +1116,20 @@ instrTBl:
 	.db I_IM,  'n', 0,   0x20 \ .dw handleIM	; IM {0,1,2}
 	.db I_IN,  'A', 'm', 0,    0xdb		, 0	; IN A, (n)
 	.db I_IN,  0xb, 'k', 0x43, 0xed, 0b01000000	; IN r, (C)
-	.db I_INC, 'l', 0,   0,    0x34		, 0	; INC (HL)
+	.db I_INC, 'l', 0,   0x10, 0x34		, 0	; INC (HL) + (IX/Y)
 	.db I_INC, 'X', 0,   0,    0xdd , 0x23		; INC IX
-	.db I_INC, 'x', 0,   0,    0xdd , 0x34		; INC (IX+d)
 	.db I_INC, 'Y', 0,   0,    0xfd , 0x23		; INC IY
-	.db I_INC, 'y', 0,   0,    0xfd , 0x34		; INC (IY+d)
 	.db I_INC, 0xb, 0,   3,    0b00000100	, 0	; INC r
 	.db I_INC, 0x3, 0,   4,    0b00000011	, 0	; INC ss
 	.db I_IND, 0,   0,   0,    0xed, 0xaa		; IND
 	.db I_INDR,0,   0,   0,    0xed, 0xba		; INDR
 	.db I_INI, 0,   0,   0,    0xed, 0xa2		; INI
 	.db I_INIR,0,   0,   0,    0xed, 0xb2		; INIR
+	.db I_JP,  'x', 0,   0x20 \ .dw handleJPIXY	; JP (IX)
+	.db I_JP,  'y', 0,   0x20 \ .dw handleJPIXY	; JP (IY)
 	.db I_JP,  'l', 0,   0,    0xe9		, 0	; JP (HL)
 	.db I_JP,  0xa, 'N', 3,    0b11000010	, 0	; JP cc, NN
 	.db I_JP,  'N', 0,   0,    0xc3		, 0	; JP NN
-	.db I_JP,  'x', 0,   0x20 \ .dw handleJPIX	; JP (IX)
-	.db I_JP,  'y', 0,   0x20 \ .dw handleJPIY	; JP (IY)
 	.db I_JR,  'n', 0,   0x80, 0x18		, 0	; JR e
 	.db I_JR,  'C', 'n', 0x80, 0x38		, 0	; JR C, e
 	.db I_JR,  '=', 'n', 0x80, 0x30		, 0	; JR NC, e
@@ -1171,23 +1162,21 @@ instrTBl:
 	.db I_LD,  'Y', 'M', 0,    0xfd, 0x2a		; LD IY, (NN)
 	.db I_LD,  'M', 0x3, 0x44, 0xed, 0b01000011	; LD (NN), dd
 	.db I_LD,  0x3, 'M', 0x44, 0xed, 0b01001011	; LD dd, (NN)
-	.db I_LD,  'x', 'n', 0x20 \ .dw handleLDIXn	; LD (IX+d), n
-	.db I_LD,  'y', 'n', 0x20 \ .dw handleLDIYn	; LD (IY+d), n
-	.db I_LD,  'x', 0xb, 0x20 \ .dw handleLDIXr	; LD (IX+d), r
-	.db I_LD,  'y', 0xb, 0x20 \ .dw handleLDIYr	; LD (IY+d), r
-	.db I_LD,  0xb, 'x', 0x20 \ .dw handleLDrIX	; LD r, (IX+d)
-	.db I_LD,  0xb, 'y', 0x20 \ .dw handleLDrIY	; LD r, (IY+d)
+	.db I_LD,  'x', 'n', 0x20 \ .dw handleLDIXYn	; LD (IX+d), n
+	.db I_LD,  'y', 'n', 0x20 \ .dw handleLDIXYn	; LD (IY+d), n
+	.db I_LD,  'x', 0xb, 0x20 \ .dw handleLDIXYr	; LD (IX+d), r
+	.db I_LD,  'y', 0xb, 0x20 \ .dw handleLDIXYr	; LD (IY+d), r
+	.db I_LD,  0xb, 'x', 0x20 \ .dw handleLDrIXY	; LD r, (IX+d)
+	.db I_LD,  0xb, 'y', 0x20 \ .dw handleLDrIXY	; LD r, (IY+d)
 	.db I_LDD, 0,   0,   0,    0xed, 0xa8		; LDD
 	.db I_LDDR,0,   0,   0,    0xed, 0xb8		; LDDR
 	.db I_LDI, 0,   0,   0,    0xed, 0xa0		; LDI
 	.db I_LDIR,0,   0,   0,    0xed, 0xb0		; LDIR
 	.db I_NEG, 0,   0,   0,    0xed, 0x44		; NEG
 	.db I_NOP, 0,   0,   0,    0x00		, 0	; NOP
-	.db I_OR,  'l', 0,   0,    0xb6		, 0	; OR (HL)
+	.db I_OR,  'l', 0,   0x10, 0xb6		, 0	; OR (HL) + (IX/Y)
 	.db I_OR,  0xb, 0,   0,    0b10110000	, 0	; OR r
 	.db I_OR,  'n', 0,   0,    0xf6		, 0	; OR n
-	.db I_OR,  'x', 0,   0,    0xdd, 0xb6		; OR (IX+d)
-	.db I_OR,  'y', 0,   0,    0xfd, 0xb6		; OR (IY+d)
 	.db I_OTDR,0,   0,   0,    0xed, 0xbb		; OTDR
 	.db I_OTIR,0,   0,   0,    0xed, 0xb3		; OTIR
 	.db I_OUT, 'm', 'A', 0,    0xd3		, 0	; OUT (n), A
@@ -1198,9 +1187,9 @@ instrTBl:
 	.db I_PUSH,'X', 0,   0,    0xdd, 0xe5		; PUSH IX
 	.db I_PUSH,'Y', 0,   0,    0xfd, 0xe5		; PUSH IY
 	.db I_PUSH,0x1, 0,   4,    0b11000101	, 0	; PUSH qq
-	.db I_RES, 0xc, 'l', 0x43, 0xcb, 0b10000110	; RES b, (HL)
-	.db I_RES, 'n', 'x', 0x20 \ .dw handleRESIX	; RES b, (IX+d)
-	.db I_RES, 'n', 'y', 0x20 \ .dw handleRESIY	; RES b, (IY+d)
+	.db I_RES, 0xc, 'x', 0x20 \ .dw handleRESIXY	; RES b, (IX+d)
+	.db I_RES, 0xc, 'y', 0x20 \ .dw handleRESIXY	; RES b, (IY+d)
+	.db I_RES, 0xc, 'l', 0x53, 0xcb, 0b10000110	; RES b, (HL) + (IX/Y)
 	.db I_RES, 'n', 0xb, 0x20 \ .dw handleRESR	; RES b, r
 	.db I_RET, 0,   0,   0,    0xc9		, 0	; RET
 	.db I_RET, 0xa, 0,   3,    0b11000000	, 0	; RET cc
@@ -1218,9 +1207,9 @@ instrTBl:
 	.db I_SBC, 'A', 0xb, 0,    0b10011000	, 0	; SBC A, r
 	.db I_SBC,'h',0x3,0x44,    0xed, 0b01000010	; SBC HL, ss
 	.db I_SCF, 0,   0,   0,    0x37		, 0	; SCF
-	.db I_SET, 0xc, 'l', 0x43, 0xcb, 0b11000110	; SET b, (HL)
-	.db I_SET, 'n', 'x', 0x20 \ .dw handleSETIX	; SET b, (IX+d)
-	.db I_SET, 'n', 'y', 0x20 \ .dw handleSETIY	; SET b, (IY+d)
+	.db I_SET, 0xc, 'x', 0x20 \ .dw handleSETIXY	; SET b, (IX+d)
+	.db I_SET, 0xc, 'y', 0x20 \ .dw handleSETIXY	; SET b, (IY+d)
+	.db I_SET, 0xc, 'l', 0x53, 0xcb, 0b11000110	; SET b, (HL) + (IX/Y)
 	.db I_SET, 'n', 0xb, 0x20 \ .dw handleSETR	; SET b, r
 	.db I_SLA, 0xb, 0,0x40,    0xcb, 0b00100000	; SLA r
 	.db I_SRL, 0xb, 0,0x40,    0xcb, 0b00111000	; SRL r

apps/zasm/io.asm

@@ -142,19 +142,22 @@ ioPutBack:
 	ret
 
 ioPutB:
-	push	hl
+	push	hl		; --> lvl 1
 	ld	hl, (IO_PC)
 	inc	hl
 	ld	(IO_PC), hl
-	pop	hl
-	push	af
+	pop	hl		; <-- lvl 1
+	push	af		; --> lvl 1
 	call	zasmIsFirstPass
 	jr	z, .skip
-	pop	af
+	pop	af		; <-- lvl 1
+	push	ix		; --> lvl 1
 	ld	ix, IO_OUT_BLK
-	jp	_blkPutB
+	call	_blkPutB
+	pop	ix		; <-- lvl 1
+	ret
 .skip:
-	pop	af
+	pop	af		; <-- lvl 1
 	cp	a		; ensure Z
 	ret
 

tools/tests/unit/test_z_instr.asm

@@ -0,0 +1,177 @@
+jp	runTests
+
+.inc "err.h"
+.inc "core.asm"
+.inc "parse.asm"
+.inc "zasm/const.asm"
+.inc "lib/util.asm"
+.inc "zasm/util.asm"
+.inc "lib/parse.asm"
+.inc "zasm/parse.asm"
+.inc "zasm/expr.asm"
+.equ	INS_RAMSTART	RAMSTART
+.inc "zasm/instr.asm"
+
+zasmGetPC:
+	ret
+
+zasmIsFirstPass:
+	jp	unsetZ
+
+readWord:
+readComma:
+symFindVal:
+	xor	a
+	ret
+
+ioPutB:
+	push	hl
+	ld	hl, SPITBOWL
+	push	af
+	ld	a, (SPITCNT)
+	call	addHL
+	inc	a
+	ld	(SPITCNT), a
+	pop	af
+	ld	(hl), a
+	pop	hl
+	cp	a
+	ret
+
+runTests:
+	call	testMatchArg
+	call	testSpitUpcode
+	xor	a
+	halt
+
+testSpitUpcode:
+	ld	ix, .t1
+	call	.test
+	ld	ix, .t2
+	call	.test
+	ld	ix, .t3
+	call	.test
+	ld	ix, .t4
+	call	.test
+	ld	ix, .t5
+	call	.test
+	ret
+
+.test:
+	; init spitbowl
+	xor	a
+	ld	(SPITCNT), a
+	ld	(SPITBOWL), a
+	ld	(SPITBOWL+1), a
+	ld	(SPITBOWL+2), a
+	ld	(SPITBOWL+3), a
+	push	ix \ pop de
+	call	intoDE
+	ld	a, (ix+2)
+	ld	(INS_CURARG1), a
+	ld	a, (ix+3)
+	ld	(INS_CURARG1+1), a
+	ld	a, (ix+4)
+	ld	(INS_CURARG1+2), a
+	ld	a, (ix+5)
+	ld	(INS_CURARG2), a
+	ld	a, (ix+6)
+	ld	(INS_CURARG2+1), a
+	ld	a, (ix+7)
+	ld	(INS_CURARG2+2), a
+	call	spitUpcode
+	jp	nz, fail
+	ld	a, (SPITCNT)
+	cp	(ix+8)
+	jp	nz, fail
+	ld	a, (SPITBOWL)
+	cp	(ix+9)
+	jp	nz, fail
+	ld	a, (SPITBOWL+1)
+	cp	(ix+10)
+	jp	nz, fail
+	ld	a, (SPITBOWL+2)
+	cp	(ix+11)
+	jp	nz, fail
+	ld	a, (SPITBOWL+3)
+	cp	(ix+12)
+	jp	nz, fail
+	jp	nexttest
+
+; Test data is a argspec pointer in instrTBl followed by 2*3 bytes of CURARG
+; followed by the expected spit, 1 byte cnt + 4 bytes spits.
+.t1:
+	.dw	instrTBl+19*6	; CCF
+	.db	0, 0, 0
+	.db	0, 0, 0
+	.db	1, 0x3f, 0, 0, 0
+.t2:
+	.dw	instrTBl+10*6	; AND (IX+0x42)
+	.db	'x', 0x42, 0
+	.db	0, 0, 0
+	.db	3, 0xdd, 0xa6, 0x42, 0
+.t3:
+	.dw	instrTBl+13*6	; BIT 4, (IX+3)
+	.db	'N', 4, 0
+	.db	'x', 3, 0
+	.db	4, 0xdd, 0xcb, 0x03, 0x66
+.t4:
+	.dw	instrTBl+20*6	; CP (IX+5)
+	.db	'x', 5, 0
+	.db	0, 0, 0
+	.db	3, 0xdd, 0xbe, 0x05, 0
+.t5:
+	.dw	instrTBl+4*6	; ADD A, (IX+5)
+	.db	'A', 0, 0
+	.db	'x', 5, 0
+	.db	3, 0xdd, 0x86, 0x05, 0
+
+testMatchArg:
+	ld	iy, .t1
+	call	.test
+	ret
+
+.test:
+	ld	hl, SPITBOWL
+	ld	a, (iy+2)
+	ld	(hl), a
+	push	iy \ pop de
+	call	intoDE
+	push	de \ pop ix
+	ld	a, (ix+1)
+	call	matchArg
+	jp	nz, fail
+	ld	a, (iy+3)
+	ld	(hl), a
+	ld	a, (ix+2)
+	call	matchArg
+	jp	nz, fail
+	jp	nexttest
+
+; Test data is argspec pointer followed by two bytes: first bytes of our two
+; CURARG.
+.t1:
+	.dw	instrTBl+4*6	; ADD A, (IX)
+	.db	'A', 'x'
+
+nexttest:
+	ld	a, (testNum)
+	inc	a
+	ld	(testNum), a
+	ret
+
+fail:
+	ld	a, (testNum)
+	halt
+
+testNum:	.db 1
+
+SPITCNT:
+	.db 0
+SPITBOWL:
+	.db 0, 0, 0, 0
+
+DIREC_LASTVAL:
+	.db 0, 0
+
+RAMSTART: