mirror of
https://github.com/TomHarte/CLK.git
synced 2025-01-12 15:31:09 +00:00
Transcribes the English-language versions of the outstanding tests.
Passing these will make me willing to call the 65816 functionality provisionally done, other than making sureI signal VPA, VDA, VPB, etc, correctly.
This commit is contained in:
Thomas Harte
parent
f05e0d956b
commit
979186e71d
@ -10,8 +10,12 @@ import Foundation
|
||||
import XCTest
|
||||
|
||||
// This exactly transcribes the examples given in http://6502.org/tutorials/65c816opcodes.html#5.9
|
||||
// Quoted text is taken verbatim from that document.
|
||||
class WDC65816AddressingTests: XCTestCase {
|
||||
|
||||
// MARK: - Test Machines
|
||||
|
||||
/// Returns a CSTestMachine6502 that is currently configured in native mode with 16-bit memory and index registers.
|
||||
private func machine16() -> CSTestMachine6502 {
|
||||
let machine = CSTestMachine6502(processor: .processor65816)
|
||||
machine.setValue(0, for: .emulationFlag)
|
||||
@ -19,7 +23,17 @@ class WDC65816AddressingTests: XCTestCase {
|
||||
return machine
|
||||
}
|
||||
|
||||
/// Returns a CSTestMachine6502 that is currently configured in emulation mode.
|
||||
private func machine8() -> CSTestMachine6502 {
|
||||
return CSTestMachine6502(processor: .processor65816)
|
||||
}
|
||||
|
||||
// MARK: - Tests
|
||||
|
||||
func testAbsolute() {
|
||||
// "If the DBR is $12 and the m flag is 0, then LDA $FFFF loads the low byte of
|
||||
// the data from address $12FFFF, and the high byte from address $130000"
|
||||
|
||||
let machine = machine16()
|
||||
|
||||
machine.setValue(0x12, for: .dataBank)
|
||||
@ -37,6 +51,13 @@ class WDC65816AddressingTests: XCTestCase {
|
||||
}
|
||||
|
||||
func testAbsoluteX() {
|
||||
// "If the DBR is $12, the X register is $000A, and the m flag is 0, then
|
||||
// LDA $FFFE,X loads the low byte of the data from address $130008, and
|
||||
// the high byte from address $130009"
|
||||
//
|
||||
// "Note that this is one of the rare instances where emulation mode has
|
||||
// different behavior than the 65C02 or NMOS 6502 ..."
|
||||
|
||||
let machine = machine16()
|
||||
|
||||
machine.setValue(0x12, for: .dataBank)
|
||||
@ -55,6 +76,11 @@ class WDC65816AddressingTests: XCTestCase {
|
||||
}
|
||||
|
||||
func testJMPAbsoluteIndirect() {
|
||||
// "If the K register is $12 and
|
||||
// * $000000 contains $34
|
||||
// * $00FFFF contains $56
|
||||
// then JMP ($FFFF) jumps to $123456"
|
||||
|
||||
let machine = machine16()
|
||||
|
||||
machine.setValue(0x12, for: .programBank)
|
||||
@ -74,6 +100,11 @@ class WDC65816AddressingTests: XCTestCase {
|
||||
}
|
||||
|
||||
func testIndirectAbsoluteX() {
|
||||
// "If the K register is $12, the X register is $000A, and
|
||||
// * $120008 contains $56
|
||||
// * $120009 contains $34
|
||||
//then JMP ($FFFE,X) jumps to $123456"
|
||||
|
||||
let machine = machine16()
|
||||
|
||||
machine.setValue(0x12, for: .programBank)
|
||||
@ -91,16 +122,150 @@ class WDC65816AddressingTests: XCTestCase {
|
||||
XCTAssertEqual(machine.value(for: .programBank), 0x12)
|
||||
}
|
||||
|
||||
// TODO:
|
||||
// Direct [x2]
|
||||
// Direct, X [x2]
|
||||
// (Direct) [x2]
|
||||
// [Direct]
|
||||
// (Direct, X) [x2]
|
||||
// (Direct), Y [x2]
|
||||
// [Direct], Y
|
||||
// Long
|
||||
// Long, X
|
||||
// Stack, S
|
||||
// (Stack, S), Y
|
||||
// TODO: all tests from this point downward.
|
||||
|
||||
func testAbsoluteJMP() {
|
||||
// TODO.
|
||||
// "If the K register is $12, then JMP $FFFF jumps to $12FFFF"
|
||||
}
|
||||
|
||||
func testDirect8() {
|
||||
// "If the D register is $FF00 and the e flag is 1 (note that
|
||||
// this means the m flag must be 1), then LDA $FF loads the low
|
||||
// byte of the data from address $00FFFF"
|
||||
}
|
||||
|
||||
func testDirect16() {
|
||||
// "If the D register is $FF00 and the m flag is 0 (note that
|
||||
// this means the e flag must be 0), then LDA $FF loads the low
|
||||
// byte of the data from address $00FFFF, and the high byte
|
||||
// from address $000000"
|
||||
}
|
||||
|
||||
func testDirextX8() {
|
||||
// "If the D register is $FF00, the X register is $000A, and
|
||||
// the e flag is 1 (note that this means the m flag must be 1),
|
||||
// then LDA $FE,X loads the low byte of the data from
|
||||
// address $00FF08"
|
||||
}
|
||||
|
||||
func testDirectX16() {
|
||||
// "If the D register is $FF00, the X register is $000A, and the
|
||||
// m flag is 0 (note that this means the e flag must be 0), then
|
||||
// LDA $FE,X loads the low byte of the data from address $000008,
|
||||
// and the high byte from address $000009"
|
||||
}
|
||||
|
||||
func testDirectIndirect8() {
|
||||
// "If the D register is $FF00 and the e flag is 1 (note this means the
|
||||
// m flag must be 1), then for LDA ($FF), the address of the low byte of
|
||||
// the pointer is $00FFFF and the address of the high byte is $00FF00.
|
||||
// Furthermore, if the DBR is $12 and
|
||||
// * $00FF00 contains $FF
|
||||
// * $00FFFF contains $FF
|
||||
// then LDA ($FF) loads the low byte of the data from address $12FFFF."
|
||||
}
|
||||
|
||||
func testDirectIndirect16() {
|
||||
// "If the D register is $FF00 and the m flag is 0 (note this means the e
|
||||
// flag must be 0), then for LDA ($FF), the address of the low byte of the
|
||||
// pointer is $00FFFF and the address of the high byte is $000000.
|
||||
// Furthermore, if the DBR is $12 and
|
||||
// * $000000 contains $FF
|
||||
// * $00FFFF contains $FF
|
||||
// then LDA ($FF) loads the low byte of the data from address $12FFFF, and
|
||||
// the high byte from $130000."
|
||||
}
|
||||
|
||||
func testDirectIndirectLong() {
|
||||
// "If the D register is $FF00 and the m flag is 0, then for LDA [$FE], the
|
||||
// address of the low byte of the pointer is $00FFFE, the address of the middle
|
||||
// byte is $00FFFF, and the address of the high byte is $000000. Furthermore, if
|
||||
// * $000000 contains $12
|
||||
// * $00FFFE contains $FF
|
||||
// * $00FFFF contains $FF
|
||||
// then LDA [$FE] loads the low byte of the data from address $12FFFF, and the
|
||||
// high byte from $130000."
|
||||
}
|
||||
|
||||
func testIndirectDirextX8() {
|
||||
// "If the D register is $FF00, the X register is $000A, and the e flag is 1 (note
|
||||
// that this means the m flag must be 1), then for LDA ($FE,X), the address of the
|
||||
// low byte of the pointer is $00FF08 and the address of the high byte is $00FF09.
|
||||
// Furthermore, if the DBR is $12 and
|
||||
// * $00FF08 contains $FF
|
||||
// * $00FF09 contains $FF
|
||||
// then LDA ($FE,X) loads the low byte of the data from address $12FFFF."
|
||||
}
|
||||
|
||||
func testIndirectDirextX16() {
|
||||
// "If the D register is $FF00, the X register is $000A, and the m flag is 0
|
||||
// (note that this means the e flag must be 0), then for LDA ($FE,X), the address
|
||||
// of the low byte of the pointer is $000008 and the address of the high byte
|
||||
// is $000009. Furthermore, if the DBR is $12 and
|
||||
// * $000008 contains $FF
|
||||
// * $000009 contains $FF
|
||||
// then LDA ($FE,X) loads the low byte of the data from address $12FFFF, and the
|
||||
// high byte from $130000."
|
||||
}
|
||||
|
||||
func testIndirectDirectY8() {
|
||||
// "If the D register is $FF00 and the e flag is 1 (note that this means the
|
||||
// m flag must be 1), then for LDA ($FF),Y, the address of the low byte of the
|
||||
// pointer is $00FFFF and the address of the high byte is $00FF00.
|
||||
// Furthermore, if the DBR is $12, the Y register is $000A, and
|
||||
// * $00FF00 contains $FF
|
||||
// * $00FFFF contains $FE
|
||||
// then LDA ($FF),Y loads the low byte of the data from address $130008."
|
||||
//
|
||||
// "this is one of the rare instances where emulation mode has
|
||||
// different behavior than the 65C02 or NMOS 6502..."
|
||||
}
|
||||
|
||||
func testIndirectDirectY16() {
|
||||
// "If the D register is $FF00 and the m flag is 0 (note that this means the
|
||||
// e flag must be 0), then for LDA ($FF),Y, the address of the low byte of the
|
||||
// pointer is $00FFFF and the address of the high byte is $000000.
|
||||
// Furthermore, if the DBR is $12, the Y register is $000A, and
|
||||
// * $000000 contains $FF
|
||||
// * $00FFFF contains $FE
|
||||
// then LDA ($FF),Y loads the low byte of the data from address $130008, and the
|
||||
// high byte from $130009."
|
||||
}
|
||||
|
||||
func testIndirectDirectYLong() {
|
||||
// "If the D register is $FF00 and the m flag is 0, then for LDA [$FE],Y, the address
|
||||
// of the low byte of the pointer is $00FFFE, the address of the middle byte is $00FFFF,
|
||||
// and the address of the high byte is $000000. Furthermore, if the Y register is $000A, and
|
||||
// * $000000 contains $12
|
||||
// * $00FFFE contains $FC
|
||||
// * $00FFFF contains $FF
|
||||
// then LDA [$FE],Y loads the low byte of the data from address $130006, and the high byte
|
||||
// from $130007."
|
||||
}
|
||||
|
||||
func testLong() {
|
||||
// "If the m flag is 0, then LDA $12FFFF loads the low byte of the data from address $12FFFF,
|
||||
// and the high byte from address $130000."
|
||||
}
|
||||
|
||||
func testLongX() {
|
||||
// "If the X register is $000A and the m flag is 0, then LDA $12FFFE,X loads the low byte of
|
||||
// the data from address $130008, and the high byte from address $130009."
|
||||
}
|
||||
|
||||
func testStackS() {
|
||||
// "If the S register is $FF10 and the m flag is 0, then LDA $FA,S loads the low byte
|
||||
// of the data from address $00000A, and the high byte from address $00000B."
|
||||
}
|
||||
|
||||
func testIndirectStackSY() {
|
||||
// "If the S register is $FF10 and the m flag is 0, then for LDA ($FA,S),Y, the address
|
||||
// of the low byte of the pointer is $00000A and the address of the high byte is $00000B.
|
||||
// Furthermore, if the DBR is $12, the Y register is $0050, and
|
||||
// * $00000A contains $F0
|
||||
// * $00000B contains $FF
|
||||
// then LDA ($FA,S),Y loads the low byte of the data from address $130040, and the high
|
||||
// byte from $130041."
|
||||
}
|
||||
}
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user