mirror of
https://github.com/TomHarte/CLK.git
synced 2024-07-16 22:28:57 +00:00
349 lines
8.4 KiB
Swift
349 lines
8.4 KiB
Swift
//
|
|
// Z80MemptrTests.swift
|
|
// Clock Signal
|
|
//
|
|
// Created by Thomas Harte on 21/07/2017.
|
|
// Copyright © 2017 Thomas Harte. All rights reserved.
|
|
//
|
|
|
|
import XCTest
|
|
|
|
class Z80MemptrTests: XCTestCase {
|
|
private let machine = CSTestMachineZ80()
|
|
|
|
private func test(program : [UInt8], length : Int32, initialValue : UInt16) -> UInt16 {
|
|
// Create a machine and install the supplied program at address 0, setting the PC to run from there
|
|
machine.setValue(0x0000, for: .programCounter)
|
|
machine.setData(Data(bytes: program), atAddress: 0x0000)
|
|
|
|
// Set the initial value of memptr, run for the requested number of cycles,
|
|
// return the new value
|
|
machine.setValue(initialValue, for: .memPtr)
|
|
machine.runForNumber(ofCycles: length)
|
|
return machine.value(for: .memPtr)
|
|
}
|
|
|
|
// LD A, (addr)
|
|
func testLDAnn() {
|
|
// MEMPTR = addr+1
|
|
var program: [UInt8] = [
|
|
0x3a, 0x00, 0x00
|
|
]
|
|
for addr in 0 ..< 65536 {
|
|
program[1] = UInt8(addr & 0x00ff)
|
|
program[2] = UInt8(addr >> 8)
|
|
let expectedResult = UInt16((addr + 1) & 0xffff)
|
|
|
|
let result = test(program: program, length: 13, initialValue: 0xffff)
|
|
XCTAssertEqual(result, expectedResult)
|
|
}
|
|
}
|
|
|
|
/* TODO:
|
|
LD (addr),A
|
|
MEMPTR_low = (addr + 1) & #FF, MEMPTR_hi = A
|
|
Note for *BM1: MEMPTR_low = (addr + 1) & #FF, MEMPTR_hi = 0
|
|
*/
|
|
|
|
// LD A, (rp)
|
|
func testLDArp() {
|
|
// MEMPTR = rp+1
|
|
let bcProgram: [UInt8] = [
|
|
0x0a
|
|
]
|
|
let deProgram: [UInt8] = [
|
|
0x1a
|
|
]
|
|
for addr in 0 ..< 65536 {
|
|
machine.setValue(UInt16(addr), for: .BC)
|
|
machine.setValue(UInt16(addr), for: .DE)
|
|
|
|
let expectedResult = UInt16((addr + 1) & 0xffff)
|
|
|
|
let bcResult = test(program: bcProgram, length: 7, initialValue: 0xffff)
|
|
let deResult = test(program: deProgram, length: 7, initialValue: 0xffff)
|
|
|
|
XCTAssertEqual(bcResult, expectedResult)
|
|
XCTAssertEqual(deResult, expectedResult)
|
|
}
|
|
}
|
|
|
|
/* TODO:
|
|
LD (rp),A where rp -- BC or DE
|
|
MEMPTR_low = (rp + 1) & #FF, MEMPTR_hi = A
|
|
Note for *BM1: MEMPTR_low = (rp + 1) & #FF, MEMPTR_hi = 0
|
|
*/
|
|
|
|
/* TODO:
|
|
LD (addr), rp
|
|
MEMPTR = addr + 1
|
|
*/
|
|
|
|
// LD rp, (addr)
|
|
func testLDnnrp() {
|
|
// MEMPTR = addr+1
|
|
var hlBaseProgram: [UInt8] = [
|
|
0x22, 0x00, 0x00
|
|
]
|
|
|
|
var bcEDProgram: [UInt8] = [
|
|
0xed, 0x43, 0x00, 0x00
|
|
]
|
|
var deEDProgram: [UInt8] = [
|
|
0xed, 0x53, 0x00, 0x00
|
|
]
|
|
var hlEDProgram: [UInt8] = [
|
|
0xed, 0x63, 0x00, 0x00
|
|
]
|
|
var spEDProgram: [UInt8] = [
|
|
0xed, 0x73, 0x00, 0x00
|
|
]
|
|
|
|
var ixProgram: [UInt8] = [
|
|
0xdd, 0x22, 0x00, 0x00
|
|
]
|
|
var iyProgram: [UInt8] = [
|
|
0xfd, 0x22, 0x00, 0x00
|
|
]
|
|
|
|
for addr in 0 ..< 65536 {
|
|
hlBaseProgram[1] = UInt8(addr & 0x00ff)
|
|
hlBaseProgram[2] = UInt8(addr >> 8)
|
|
|
|
bcEDProgram[2] = UInt8(addr & 0x00ff)
|
|
bcEDProgram[3] = UInt8(addr >> 8)
|
|
deEDProgram[2] = UInt8(addr & 0x00ff)
|
|
deEDProgram[3] = UInt8(addr >> 8)
|
|
hlEDProgram[2] = UInt8(addr & 0x00ff)
|
|
hlEDProgram[3] = UInt8(addr >> 8)
|
|
spEDProgram[2] = UInt8(addr & 0x00ff)
|
|
spEDProgram[3] = UInt8(addr >> 8)
|
|
|
|
ixProgram[2] = UInt8(addr & 0x00ff)
|
|
ixProgram[3] = UInt8(addr >> 8)
|
|
iyProgram[2] = UInt8(addr & 0x00ff)
|
|
iyProgram[3] = UInt8(addr >> 8)
|
|
|
|
let expectedResult = UInt16((addr + 1) & 0xffff)
|
|
|
|
XCTAssertEqual(test(program: hlBaseProgram, length: 16, initialValue: 0xffff), expectedResult)
|
|
|
|
XCTAssertEqual(test(program: bcEDProgram, length: 20, initialValue: 0xffff), expectedResult)
|
|
XCTAssertEqual(test(program: deEDProgram, length: 20, initialValue: 0xffff), expectedResult)
|
|
XCTAssertEqual(test(program: hlEDProgram, length: 20, initialValue: 0xffff), expectedResult)
|
|
XCTAssertEqual(test(program: spEDProgram, length: 20, initialValue: 0xffff), expectedResult)
|
|
|
|
XCTAssertEqual(test(program: ixProgram, length: 20, initialValue: 0xffff), expectedResult)
|
|
XCTAssertEqual(test(program: iyProgram, length: 20, initialValue: 0xffff), expectedResult)
|
|
}
|
|
}
|
|
|
|
// EX (SP), rp
|
|
func testEXSPrp() {
|
|
// MEMPTR = rp at end
|
|
var hlProgram: [UInt8] = [
|
|
0xe3, 0x00, 0x00, 0x00
|
|
]
|
|
var ixProgram: [UInt8] = [
|
|
0xdd, 0xe3, 0x00, 0x00
|
|
]
|
|
var iyProgram: [UInt8] = [
|
|
0xfd, 0xe3, 0x00, 0x00
|
|
]
|
|
|
|
machine.setValue(2, for: .stackPointer)
|
|
|
|
for addr in 0 ..< 65536 {
|
|
hlProgram[2] = UInt8(addr & 0x00ff)
|
|
hlProgram[3] = UInt8(addr >> 8)
|
|
ixProgram[2] = UInt8(addr & 0x00ff)
|
|
ixProgram[3] = UInt8(addr >> 8)
|
|
iyProgram[2] = UInt8(addr & 0x00ff)
|
|
iyProgram[3] = UInt8(addr >> 8)
|
|
|
|
XCTAssertEqual(test(program: hlProgram, length: 19, initialValue: 0xffff), UInt16(addr))
|
|
XCTAssertEqual(test(program: ixProgram, length: 23, initialValue: 0xffff), UInt16(addr))
|
|
XCTAssertEqual(test(program: iyProgram, length: 23, initialValue: 0xffff), UInt16(addr))
|
|
}
|
|
}
|
|
|
|
// ADD/ADC/SBC dest, src
|
|
func testADDADCSBCrr() {
|
|
// MEMPTR = dest prior to modification + 1
|
|
let addProgram: [UInt8] = [
|
|
0x09
|
|
]
|
|
let adcProgram: [UInt8] = [
|
|
0xed, 0x4a
|
|
]
|
|
let sbcProgram: [UInt8] = [
|
|
0xed, 0x42
|
|
]
|
|
|
|
for addr in 0 ..< 65536 {
|
|
let expectedResult = UInt16((addr + 1) & 0xffff)
|
|
machine.setValue(UInt16(addr), for: .HL)
|
|
|
|
XCTAssertEqual(test(program: addProgram, length: 11, initialValue: 0xffff), expectedResult)
|
|
XCTAssertEqual(test(program: adcProgram, length: 15, initialValue: 0xffff), expectedResult)
|
|
XCTAssertEqual(test(program: sbcProgram, length: 15, initialValue: 0xffff), expectedResult)
|
|
}
|
|
}
|
|
|
|
// RLD/RRD
|
|
func testRLDRRD() {
|
|
// MEMPTR = HL + 1
|
|
let rldProgram: [UInt8] = [
|
|
0xed, 0x6f
|
|
]
|
|
let rrdProgram: [UInt8] = [
|
|
0xed, 0x67
|
|
]
|
|
|
|
for addr in 0 ..< 65536 {
|
|
let expectedResult = UInt16((addr + 1) & 0xffff)
|
|
machine.setValue(UInt16(addr), for: .HL)
|
|
|
|
XCTAssertEqual(test(program: rldProgram, length: 18, initialValue: 0xffff), expectedResult)
|
|
XCTAssertEqual(test(program: rrdProgram, length: 18, initialValue: 0xffff), expectedResult)
|
|
}
|
|
}
|
|
|
|
/* TODO:
|
|
JR/DJNZ/RET/RETI/RST (jumping to addr)
|
|
MEMPTR = addr
|
|
*/
|
|
|
|
/* TODO:
|
|
JP(except JP rp)/CALL addr (even in case of conditional call/jp, independantly on condition satisfied or not)
|
|
MEMPTR = addr
|
|
*/
|
|
|
|
/* TODO:
|
|
IN A,(port)
|
|
MEMPTR = (A_before_operation << 8) + port + 1
|
|
*/
|
|
|
|
/* TODO:
|
|
IN A,(C)
|
|
MEMPTR = BC + 1
|
|
*/
|
|
|
|
/* TODO:
|
|
OUT (port),A
|
|
MEMPTR_low = (port + 1) & #FF, MEMPTR_hi = A
|
|
Note for *BM1: MEMPTR_low = (port + 1) & #FF, MEMPTR_hi = 0
|
|
*/
|
|
|
|
/* TODO:
|
|
OUT (C),A
|
|
MEMPTR = BC + 1
|
|
*/
|
|
|
|
/* TODO:
|
|
LDIR/LDDR
|
|
when BC == 1: MEMPTR is not changed
|
|
when BC <> 1: MEMPTR = PC + 1, where PC = instruction address
|
|
*/
|
|
|
|
// CPI
|
|
func testCPI() {
|
|
// MEMPTR = MEMPTR + 1
|
|
let program: [UInt8] = [
|
|
0xed, 0xa1
|
|
]
|
|
machine.setData(Data(bytes: program), atAddress: 0x0000)
|
|
machine.setValue(0, for: .memPtr)
|
|
|
|
for c in 1 ..< 65536 {
|
|
machine.setValue(0x0000, for: .programCounter)
|
|
machine.runForNumber(ofCycles: 16)
|
|
XCTAssertEqual(UInt16(c), machine.value(for: .memPtr))
|
|
}
|
|
}
|
|
|
|
// CPD
|
|
func testCPD() {
|
|
// MEMPTR = MEMPTR - 1
|
|
let program: [UInt8] = [
|
|
0xed, 0xa9
|
|
]
|
|
machine.setData(Data(bytes: program), atAddress: 0x0000)
|
|
machine.setValue(0, for: .memPtr)
|
|
|
|
for c in 1 ..< 65536 {
|
|
machine.setValue(0x0000, for: .programCounter)
|
|
machine.runForNumber(ofCycles: 16)
|
|
XCTAssertEqual(UInt16(65536 - c), machine.value(for: .memPtr))
|
|
}
|
|
}
|
|
|
|
/* TODO:
|
|
CPIR
|
|
when BC=1 or A=(HL): exactly as CPI
|
|
In other cases MEMPTR = PC + 1 on each step, where PC = instruction address.
|
|
Note* since at the last execution BC=1 or A=(HL), resulting MEMPTR = PC + 1 + 1
|
|
(if there were not interrupts during the execution)
|
|
*/
|
|
|
|
/* TODO:
|
|
CPDR
|
|
when BC=1 or A=(HL): exactly as CPD
|
|
In other cases MEMPTR = PC + 1 on each step, where PC = instruction address.
|
|
Note* since at the last execution BC=1 or A=(HL), resulting MEMPTR = PC + 1 - 1
|
|
(if there were not interrupts during the execution)
|
|
*/
|
|
|
|
/* TODO:
|
|
INI
|
|
MEMPTR = BC_before_decrementing_B + 1
|
|
*/
|
|
|
|
/* TODO:
|
|
IND
|
|
MEMPTR = BC_before_decrementing_B - 1
|
|
*/
|
|
|
|
/* TODO:
|
|
INIR
|
|
exactly as INI on each execution.
|
|
I.e. resulting MEMPTR = ((1 << 8) + C) + 1
|
|
*/
|
|
|
|
/* TODO:
|
|
INDR
|
|
exactly as IND on each execution.
|
|
I.e. resulting MEMPTR = ((1 << 8) + C) - 1
|
|
*/
|
|
|
|
/* TODO:
|
|
OUTI
|
|
MEMPTR = BC_after_decrementing_B + 1
|
|
*/
|
|
|
|
/* TODO:
|
|
OUTD
|
|
MEMPTR = BC_after_decrementing_B - 1
|
|
*/
|
|
|
|
/* TODO:
|
|
OTIR
|
|
exactly as OUTI on each execution. I.e. resulting MEMPTR = C + 1
|
|
*/
|
|
|
|
/* TODO:
|
|
OTDR
|
|
exactly as OUTD on each execution. I.e. resulting MEMPTR = C - 1
|
|
*/
|
|
|
|
/* TODO:
|
|
Any instruction with (INDEX+d):
|
|
MEMPTR = INDEX+d
|
|
*/
|
|
|
|
/* TODO:
|
|
Interrupt call to addr:
|
|
As usual CALL. I.e. MEMPTR = addr
|
|
*/
|
|
}
|