6502.org • View topic - Functional Test for the NMOS 6502

View unanswered posts | View active topics

Board index » 6502.org Users Forum » Programming

All times are UTC

Functional Test for the NMOS 6502 - request for verification

Page 11 of 14

[ 203 posts ]

Go to page Previous 1 ... 8, 9, 10, 11, 12, 13, 14 Next

Previous topic | Next topic

Author

Message

Klaus2m5

Post subject: Re: Functional Test for the NMOS 6502 - request for verifica

Posted: Sun Mar 05, 2017 1:03 pm

Joined: Sat Jul 28, 2012 11:41 am
Posts: 442
Location: Wiesbaden, Germany

Dennis wrote:

Thanks Klaus for your testing suite. I'm currently stuck on my 6502 emulator, and can't find out what's wrong. It runs till test 42 ($3249) and halts on ($335A), using the the functional test bin found in the NESkell https://github.com/blitzcode/neskell/tr ... onal_tests source. I've used that bin because they've included a vis6502 trace cpu listing which helped me finding another bug by comparing my cpu trace to that trace. unfortunately it doesn't run beyond test 40. Could someone provide a complete trace of this test suite (along with the binary+listing, if not default found under bin_files\ )? That would be really great (I've failed setting up vis6502 for trace logging, after some hours it just fails - looks like my potato computer isn't powerful enough ;-)

. Thank you!

As Ed mentioned the last test is for decimal mode. In case of a stop at $335a (decimal SBC immediate result) you find

The same operands seem to give a correct result for SBC zp and SBC abs as the previous part of the test was passed without stop.

_________________
6502 sources on GitHub: https://github.com/Klaus2m5

Top

Dennis

Post subject: Re: Functional Test for the NMOS 6502 - request for verifica

Posted: Mon Mar 06, 2017 12:20 pm

Joined: Sun Mar 05, 2017 11:48 am
Posts: 6

thank you both for your suggestions. Using Bruce Clarks test ($12-$21=$91 SBC decimal) I've managed to find a small typo. Now the test completes! I still recommend providing a complete trace log of the test suite, it surely helps to find those bugs far easier! Thanks Klaus again for your effort building such a test suite.

Top

Chromatix

Post subject: Re: Functional Test for the NMOS 6502 - request for verifica

Posted: Mon May 21, 2018 8:23 pm

Joined: Mon May 21, 2018 8:09 pm
Posts: 1462

I've just used these tests to verify (and debug!) my new emulator, which is essentially a C++ version of lib6502. It supports all of the 65C02 instructions, except for WAIT and STOP (which await my adding a proper interrupt mechanism). I found quite a few lib6502 bugs, as well as a few of my own.

In the process, I have generated detailed traces of both tests, along with a straightforward source-code example of how to run the tests within an emulator with tracing. These traces are one line per instruction executed, showing the PC, then all registers and flags at the beginning of the instruction, followed by all memory accesses performed during the instruction (including instruction/operand fetches):

Code:

        fetch FFFC -> 00        fetch FFFD -> 00        fetch FFFC -> A3        fetch FFFD -> 37
A=00 X=00 Y=00 S=00    I          fetch 0400 -> D8
A=00 X=00 Y=00 S=00    I          fetch 0401 -> A2        fetch 0402 -> FF
A=00 X=FF Y=00 S=00 N  I          fetch 0403 -> 9A
A=00 X=FF Y=00 S=FF N  I          fetch 0404 -> A9        fetch 0405 -> 00
A=00 X=FF Y=00 S=FF    IZ         fetch 0406 -> 8D        fetch 0407 -> 00        fetch 0408 -> 02        store 0200 <- 00
A=00 X=FF Y=00 S=FF    IZ         fetch 0409 -> A2        fetch 040A -> 05
040B: A=00 X=05 Y=00 S=FF    I          fetch 040B -> 4C        fetch 040C -> 33        fetch 040D -> 04
A=00 X=05 Y=00 S=FF    I          fetch 0433 -> D0        fetch 0434 -> F4
A=00 X=05 Y=00 S=FF    I          fetch 0429 -> CA
  [...]
A=4C X=0E Y=FF S=FB  VD           fetch 3448 -> 48        store 01FB <- 4C
A=4C X=0E Y=FF S=FA  VD           fetch 3449 -> 08        store 01FA <- 78
344A: A=4C X=0E Y=FF S=F9  VD           fetch 344A -> D8
344B: A=4C X=0E Y=FF S=F9  V            fetch 344B -> 40        fetch 01FA -> 78        fetch 01FB -> 4C        fetch 01FC -> 34
344C: A=4C X=0E Y=FF S=FC  VD           fetch 344C -> A9        fetch 344D -> 55
344E: A=55 X=0E Y=FF S=FC  VD           fetch 344E -> 69        fetch 344F -> 55
A=10 X=0E Y=FF S=FC  VD  C        fetch 3450 -> C9        fetch 3451 -> 10
A=10 X=0E Y=FF S=FC  VD ZC        fetch 3452 -> D0        fetch 3453 -> FE
A=10 X=0E Y=FF S=FC  VD ZC        fetch 3454 -> 40        fetch 01FD -> 70        fetch 01FE -> 55        fetch 01FF -> 34
A=10 X=0E Y=FF S=FF  V            fetch 3455 -> A9        fetch 3456 -> 55
A=55 X=0E Y=FF S=FF  V            fetch 3457 -> 69        fetch 3458 -> 55
A=AA X=0E Y=FF S=FF NV            fetch 3459 -> C9        fetch 345A -> AA
345B: A=AA X=0E Y=FF S=FF  V  ZC        fetch 345B -> D0        fetch 345C -> FE
345D: A=AA X=0E Y=FF S=FF  V  ZC        fetch 345D -> AD        fetch 345E -> 00        fetch 345F -> 02        fetch 0200 -> 2B
A=2B X=0E Y=FF S=FF  V   C        fetch 3460 -> C9        fetch 3461 -> 2B
A=2B X=0E Y=FF S=FF  V  ZC        fetch 3462 -> D0        fetch 3463 -> FE
A=2B X=0E Y=FF S=FF  V  ZC        fetch 3464 -> A9        fetch 3465 -> F0
A=F0 X=0E Y=FF S=FF NV   C        fetch 3466 -> 8D        fetch 3467 -> 00        fetch 3468 -> 02        store 0200 <- F0
A=F0 X=0E Y=FF S=FF NV   C        fetch 3469 -> 4C        fetch 346A -> 69        fetch 346B -> 34
A=F0 X=0E Y=FF S=FF NV   C

The total size of the uncompressed traces is almost 4GB. Consequently, I'm running them through the best text compression I know of (xz), which is taking much longer than actually running the tests! I'm wondering where it might be useful to upload them.

Top

BigEd

Post subject: Re: Functional Test for the NMOS 6502 - request for verifica

Posted: Mon May 21, 2018 8:50 pm

Joined: Thu Dec 11, 2008 1:28 pm
Posts: 10985
Location: England

Welcome! Always good to shake the bugs out of a new emulator. Do you plan to share your sources?

Top

Chromatix

Post subject: Re: Functional Test for the NMOS 6502 - request for verifica

Posted: Mon May 21, 2018 9:03 pm

Joined: Mon May 21, 2018 8:09 pm
Posts: 1462

Eventually, I'm sure. There's a number of features I need to flesh out before it's ready for prime time. Right now it's literally just a CPU with a templated memory model, and only the "pure 64K RAM" memory model is actually tested.

I'm hoping to build up a "high speed" and "mostly compatible" multithreaded BBC Master+Tube emulator. The Tube half of it should be feasible to slot into PiTubeDirect (and be 100% compatible), but I don't have a physical Beeb to test it with, hence the other half. Perhaps I'll talk more about it in another thread.

Top

BigEd

Post subject: Re: Functional Test for the NMOS 6502 - request for verifica

Posted: Tue May 22, 2018 6:56 am

Joined: Thu Dec 11, 2008 1:28 pm
Posts: 10985
Location: England

Sounds good to me!

Top

Jokse

Post subject: Re: Functional Test for the NMOS 6502 - request for verifica

Posted: Sun Jun 30, 2019 10:05 am

Joined: Fri Nov 29, 2013 7:08 am
Posts: 15
Location: Denmark

I've written my own 65C02 emulator for my ongoing 8bit project, but I seem to be stuck with running this test at the BEQ range test.

Code:

046a : a0fe                     ldy #$fe        ;testing maximum range, not -1/-2 (invalid/self adr)
046c :                  range_loop
046c : 88                       dey             ;next relative address
046d : 98                       tya
046e : aa                       tax             ;precharge count to end of loop
046f : 1008                     bpl range_fw    ;calculate relative address

from what I can tell, that basically preps the accumulator as well as X and Y register with $FD

Code:

047e : 497f                     eor #$7f        ;complement except sign
: 8d0c05                   sta range_adr   ;load into test target
: a900                     lda #0          ;should set zero flag in status register
: 4c0b05                   jmp range_op

Then this loads $82 into the immediate address of BEQ at 050c

Code:

050b :                  range_op                ;test target with zero flag=0, z=1 if previous dex
050c =                  range_adr   = *+1       ;modifiable relative address
050b : f03e                     beq *+64        ;+64 if called without modification

and that then adds $82(-126) to the program counter and then jumps there... But then fails

Code:

0591 : f008                     beq range_ok    ;+127 - max forward
                                trap            ; bad range
0593 : 207b44          >        jsr report_error

with A being $02

So my question here is, is it supposed to only jump -126 or was it supposed to jump -128, but something was lost along the way?

Top

Chromatix

Post subject: Re: Functional Test for the NMOS 6502 - request for verifica

Posted: Sun Jun 30, 2019 10:13 am

Joined: Mon May 21, 2018 8:09 pm
Posts: 1462

Look carefully at the addresses - the jump is at $050B but you land at $0591, which is clearly a jump forward. In other words, you have added $82 instead of ($82 - $100) as is required for the two's-complement branch offset.

Last edited by Chromatix on Sun Jun 30, 2019 10:18 am, edited 1 time in total.

Top

BigEd

Post subject: Re: Functional Test for the NMOS 6502 - request for verifica

Posted: Sun Jun 30, 2019 10:17 am

Joined: Thu Dec 11, 2008 1:28 pm
Posts: 10985
Location: England

Ah, chromatix has probably got it while I was posting this:

Branch offsets are relative to the following instruction, so for example F0 00 would be a no-op. Most likely if you are adrift by 2 it's because you've used the address of the branch as the basis. (Another possibility is that you've got special treatment of negative offsets, and haven't quite got it right.)

Top

Jokse

Post subject: Re: Functional Test for the NMOS 6502 - request for verifica

Posted: Sun Jun 30, 2019 10:25 am

Joined: Fri Nov 29, 2013 7:08 am
Posts: 15
Location: Denmark

So negative branch offset start would be the beq address, but positive branch offset would be the next instruction address?

Top

Chromatix

Post subject: Re: Functional Test for the NMOS 6502 - request for verifica

Posted: Sun Jun 30, 2019 10:36 am

Joined: Mon May 21, 2018 8:09 pm
Posts: 1462

No, the offset is always from the following opcode address. You just have to treat the offset itself as a signed number (signed char, in C). As far as the CPU is concerned, an offset of $FF or $FE is perfectly valid; the latter results in an infinite loop if the condition is true, and this is widely used in the test suite as an error trap.

Perhaps the easiest way to handle a signed number, without resorting to casting, is to "sign extend" the value to the width of the address. In this case, that means making the high byte $00 if the top bit of the offset is cleared, and $FF if it is set. You can then just add that 16-bit offset to the 16-bit address and let it wrap around.

Last edited by Chromatix on Sun Jun 30, 2019 10:47 am, edited 1 time in total.

Top

Jokse

Post subject: Re: Functional Test for the NMOS 6502 - request for verifica

Posted: Sun Jun 30, 2019 10:42 am

Joined: Fri Nov 29, 2013 7:08 am
Posts: 15
Location: Denmark

Ahhh yes, that makes sense now... Thanks

Top

Jokse

Post subject: Re: Functional Test for the NMOS 6502 - request for verifica

Posted: Sun Jun 30, 2019 1:24 pm

Joined: Fri Nov 29, 2013 7:08 am
Posts: 15
Location: Denmark

This is really bothering me...

Code:

processor 6502
   org $0
   .byte $00

   seg CODE
   org $0400
.start
   lda #$23
   tax
   tay
   lda #0
   jmp .jmptst
.fisk   stx $f001
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
   nop
.jmptst 
   lda #0
   beq .fisk
   ldx #$2A
   stx $f001
.loop
   jmp .loop
   org $fffc
   .word .start
   .word .start

will run without any problems and jump relatively, but the test suite is still 2 stops short...

Top

Chromatix

Post subject: Re: Functional Test for the NMOS 6502 - request for verifica

Posted: Mon Jul 01, 2019 12:14 am

Joined: Mon May 21, 2018 8:09 pm
Posts: 1462

JMP does not perform a relative jump, but an absolute or indirect jump. Only the Bxx instructions use the PC-relative addressing mode.

Top

Jokse

Post subject: Re: Functional Test for the NMOS 6502 - request for verifica

Posted: Mon Jul 01, 2019 12:52 pm

Joined: Fri Nov 29, 2013 7:08 am
Posts: 15
Location: Denmark

Jokse wrote:

will run without any problems and jump relatively, but the test suite is still 2 stops short...

By jump relatively, I of course mean the BEQ...

Top

Page 11 of 14

[ 203 posts ]

Go to page Previous 1 ... 8, 9, 10, 11, 12, 13, 14 Next

Board index » 6502.org Users Forum » Programming

All times are UTC

Who is online

Users browsing this forum: No registered users and 21 guests

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum