URL https://opencores.org/ocsvn/zipcpu/zipcpu/trunk

Subversion Repositories zipcpu

[/] [zipcpu/] [trunk/] [sw/] [zasm/] [test.S] - Blame information for rev 90

Go to most recent revision | Details | Compare with Previous | View Log


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;
; Filename:     test.S
;
; Project:      Zip CPU -- a small, lightweight, RISC CPU soft core
;
; Purpose:      A disorganized test, just showing some initial operation of
;               the CPU.  As a disorganized test, it doesn't prove anything
;               beyond the generic operation of the CPU.
;
; Status:       As of August, 2015, this file assembles, builds, and passes
;               all of its tests in the Verilator simulator.
;
;       Okay, as of 15 August, there are now some tests that don't pass.
;       In particular, the #include test used to pass but didn't pass today.
;       Likewise the PUSH() macro test hasn't passed yet.  Finally, be aware
;       that this implementation is specific to where it loads on a board.
;       I tried loading it on my Basys development board, where I had placed
;       RAM in a different location and ... things didn't work out so well.
;       So grep the __here__ line and adjust it for where you intend to load
;       this file.
;
;       In general, as I'm building the CPU, I'm modifying this file to place
;       more and more capability tests within the file.  If the Lord is
;       willing, this will become the proof that the CPU completely works.
;
;
; Creator:      Dan Gisselquist, Ph.D.
;               Gisselquist Technology, LLC
;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;
; Copyright (C) 2015, Gisselquist Technology, LLC
;
; This program is free software (firmware): you can redistribute it and/or
; modify it under the terms of  the GNU General Public License as published
; by the Free Software Foundation, either version 3 of the License, or (at
; your option) any later version.
;
; This program is distributed in the hope that it will be useful, but WITHOUT
; ANY WARRANTY; without even the implied warranty of MERCHANTIBILITY or
; FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
; for more details.
;
; License:      GPL, v3, as defined and found on www.gnu.org,
;               http://www.gnu.org/licenses/gpl.html
;
;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;
#include "sys.i"
        sys.bus         equ     0xc0000000
        sys.breaken     equ     0x080
        sys.step        equ     0x040
        sys.gie         equ     0x020
        sys.sleep       equ     0x010
        sys.ccv         equ     0x008
        sys.ccn         equ     0x004
        sys.ccc         equ     0x002
        sys.ccz         equ     0x001
        sys.cctrap      equ     0x200
        sys.bu.pic      equ     0x000
        sys.bus.wdt     equ     0x001
        sys.bus.cache   equ     0x002
        sys.bus.ctrpic  equ     0x003
        sys.bus.tma     equ     0x004
        sys.bus.tmb     equ     0x005
        sys.bus.tmc     equ     0x006
        sys.bus.jiffies equ     0x007
        sys.bus.mtask   equ     0x008
        sys.bus.mpstl   equ     0x009
        sys.bus.mastl   equ     0x00a
        sys.bus.mstl    equ     0x00b
        sys.bus.utask   equ     0x00c
        sys.bus.upstl   equ     0x00d
        sys.bus.uastl   equ     0x00e
        sys.bus.ustl    equ     0x00f
#define DO_TEST_ASSEMBLER
#define BREAK_TEST
#define OVERFLOW_TEST
#define CARRY_TEST
#define LOOP_TEST
#define SHIFT_TEST
#define TRAP_TEST
#define MPY_TEST
#define PUSH_TEST
#define PIPELINE_STACK_TEST
#define MEM_PIPELINE_TEST
#define CONDITIONAL_EXECUTION_TEST
#define NOWAIT_PIPELINE_TEST    // Were wait states btwn regs removed properly?
#define BCMEM_TEST      // Do memory and conditions work well together?
test:
#ifdef  DO_TEST_ASSEMBLER
; We start out by testing our assembler.  We give it some instructions, which
; are then manually checked  by disassembling/dumping the result and making
; certain they match.  This is not an automated test, but it is an important
; one.
        noop
        bra     continue_test_with_testable_instructions
        break
        wait
        break
        busy
        rtu
continue_test_with_testable_instructions:
        ; Now, let's place the assembler into a known state
        clr     r0
        clr     r1
        clr     r2
        clr     r3
        clr     r4
        clr     r5
        clr     r6
        clr     r7
        clr     r8
        clr     r9
        clr     r10
        clr     r11
        clr     r12
        clr     r13
        ; Don't clear the CC register
        ; Don't clear the SP register
        ; And repeat for the user registers
        mov     R0,uR0
        mov     R0,uR1
        mov     R0,uR2
        mov     R0,uR3
        mov     R0,uR4
        mov     R0,uR5
        mov     R0,uR6
        mov     R0,uR7
        mov     R0,uR8
        mov     R0,uR9
        mov     R0,uR10
        mov     R0,uR11
        mov     R0,uR12
        mov     R0,uR13
        mov     R0,uCC
        ; Don't clear the user PC register
        ; Now, let's try loading some constants into registers
        ; Specifically, we're testing the LDI, LDIHI, and LDILO instructions
dead_beef       equ     0xdeadbeef
        ldi     0x0dead,r5
        ldi     0x0beef,r6
        ldi     0xdeadbeef,r7
        ldihi   0xdead, r8
        ldilo   0xbeef, r8
        ldi     dead_beef,r9
        cmp     r5,r6
        bz      test_failure
        cmp     r7,r8
        bnz     test_failure
        ldi     $deadbeefh,r7   ; Try loading with the $[HEX]h mneumonic
        cmp     r7,r8
        bnz     test_failure
        cmp     r7,r9
        bnz     test_failure
        bra     skip_dead_beef
dead_beef.base:
        word    0
        fill    5,dead_beef
        word    0
dead_beef.zero          equ     0
dead_beef.values        equ     1
skip_dead_beef:
        lod     dead_beef.base(pc),r10  ; Should load a zero here
        cmp     r10,r11                 ; r11 should still be zero from init abv
        bnz     test_failure
        mov     dead_beef.base(pc),r10  ; Now, let's get the address
        lod     dead_beef.values(r10),r10       ; r10 now equals 0xdeadbeef
        cmp     r10,r9
        bnz     test_failure
 
; Test whether or not our operator precedence rules work
        ldi     5+3*8,r0
        ldi     3*8+5,r1
        cmp     r0,r1
        bnz     test_failure
        ldi     (5+3)*8,r0
        ldi     8*(3+5),r1
        cmp     r0,r1
        bnz     test_failure
 
; Test whether or not we can properly decode OCTAL values
        clr     r0      ; Re-clear our register set first
        clr     r1
        clr     r2
        clr     r3
        clr     r4
        clr     r5
        clr     r6
        clr     r7
        clr     r8
        clr     r9
        clr     r10
        clr     r11
        clr     r12
        clr     r13
        ;
        ldi     $024o,r0
        ldi     $20,r1
        cmp     r0,r1
        bnz     test_failure
        ldi     $024,r0
        cmp     r0,r1
        bnz     test_failure
        clr     r0
        clr     r1
        mov     $1+r0,r2
        mov     $2+r0,r3
        mov     $22h+r0,r4
        mov     $377h+r0,ur5
        noop
        nop
        add     r2,r0
        add     $32,r0
        add     $-33,r0
        bnz     test_failure
        not     r0
        bge     test_failure
junk_address:
        clrf    r0
        bnz     test_failure
        ldi     $5,r1
        cmp     $0+r0,r1
        not.lt  r0
        not.ge  r1
        mov     junk_address(pc),r2     ; Test pc-relative addressing
        mov     junk_address(pc),r3
        cmp     r2,r3
        bnz     test_failure
        lod     junk_address(pc),r5     ; Test loads with pc-relative addressing
        lod     junk_address(pc),r6
        cmp     r5,r6
        bnz     test_failure
#endif
 
#ifdef  NOONE // Testing comments after ifdef
#else   ; After else
#endif /* and after endif */
 
#ifdef  BREAK_TEST
breaktest:
        bra     breaksupervisor
breakuser:
        clr     r0
        mov     1+r0,r1
        mov     1+r1,r2
        mov     1+r2,r3
        break           ; At address 0x0100097
        mov     1+r4,r5
        mov     1+r5,r6
        clr     cc
        busy
breaksupervisor:
        ldi     -1,r0
        mov     breakuser(pc),upc
        rtu     ; Should just keep returning immediately
        mov     upc,r0
        rtu
        rtu
        mov     upc,r1
        cmp     r0,r1
        bnz     test_failure
#endif
 
#ifdef  TRAP_TEST
traptest:
        bra     traptest_supervisor
        busy
traptest_user:
        trap    0
        busy
traptest_supervisor:
        mov     traptest_user(pc),upc
        rtu
        mov     ucc,r0
        tst     sys.cctrap,r0
        tst.nz  sys.gie,r0
        bz      test_failure
#endif
 
testbench:
        // Let's build a software test bench.
        ldi     $c0000000h,r12  ; Set R12 to point to our peripheral address
        mov     r12,ur12
        mov     test_start(pc),upc
        mov     stack(pc),usp
        ldi     0x8000ffff,r0   ; Clear interrupts, turn all vectors off
        sto     r0,(r12)
        rtu
        mov     ucc,r0
        CMP     sys.cctrap+sys.gie,r0
        bnz     test_failure
        halt
// Go into an infinite loop if the trap fails
// Permanent loop instruction -- a busy halt if you will
test_failure:
        busy
 
; Now for a series of tests.  If the test fails, call the trap
; interrupt with the test number that failed.  Upon completion,
; call the trap with #0.
 
; Test LDI to PC
; Some data registers
test_data:
        .dat    __here__+0x0100000+5
test_start:
        ldi     $0x01000,r11
        ldi     -1,r10
        lod     test_data+pc,pc
        clr     r10
        noop
        cmp     $0,r10
        trap.z  r11
        add     $1,r0
        add     $1,r0
 
#ifdef  OVERFLOW_TEST
// Let's test whether overflow works
        ldi     $0x02000,r11
        ldi     $-1,r0
        lsr     $1,r0
        add     $1,r0
        bv      first_overflow_passes
        trap    r11
first_overflow_passes:
// Overflow set from subtraction
        ldi     $0x03000,r11
        ldi     $1,r0
        rol     $31,r0                  ; rol $31,r0
        sub     $1,r0
        bv      subtraction_overflow_passes
        trap    r11
subtraction_overflow_passes:
// Overflow set from LSR
        ldi     $0x04000,r11
        ldi     $1,r0
        rol     $31,r0                  ; rol $31,r0
        lsr     $1,r0
        bv      lsr_overflow_passes
        trap    r11
lsr_overflow_passes:
// Overflow set from LSL
        ldi     $0x05000,r11
        ldi     $1,r0
        rol     $30,r0
        lsl     $1,r0
        bv      lsl_overflow_passes
        trap    r11
lsl_overflow_passes:
// Overflow set from LSL, negative to positive
        ldi     $0x06000,r11
        ldi     $1,r0
        rol     $31,r0
        lsl     $1,r0
        bv      second_lsl_overflow_passes
        trap    r11
#endif // OVERFLOW_TEST
#ifdef  CARRY_TEST
second_lsl_overflow_passes:
// Test carry
        ldi     $0x07000,r11
        ldi     $-1,r0
        add     $1,r0
        tst     sys.ccc,cc
        trap.z  r11
// and carry from subtraction
        ldi     $0x08000,r11
        clr     r0
        sub     $1,r0
        tst     sys.ccc,cc
        trap.z  r11
// Carry from right shift
        clr     r0              ; r0 = 0
        lsr     1,r0            ; r0 = 0, c = 0
        add.c   1,r0            ; r0 = 0
        cmp     1,r0            ; r0 ?= 1
        trap.z  r11
        LDI     1,r0            ; r0 = 1
        lsr     1,r0            ; r0 = 0, c = 1
        add.c   1,r0            ; r0 = 1
        cmp     1,r0
        trap.nz r11
 
        ldi     0x070eca6,r0
        ldi     0x0408b85,r1
        ldi     0x0387653,r2
        lsr     1,r0
        xor.c   r1,r0
        cmp     r2,r0
        trap.nz r11
#endif
 
#ifdef  LOOP_TEST
 
// Let's try a loop: for i=0; i<5; i++)
//      We'll use R0=i, Immediates for 5
        ldi     $0x09000,r11
        clr     r0
for_loop:
        noop
        add     $1,r0
        cmp     $5,r0
        blt     for_loop
//
// Let's try a reverse loop.  Such loops are usually cheaper to
// implement, and this one is no different: 2 loop instructions
// (minus setup instructions) vs 3 from before.
// R0 = 5; (from before)
// do {
// } while (R0 > 0);
        ldi     $0x0a000,r11
bgt_loop:
        noop
        sub     $1,r0
        bgt     bgt_loop
 
// How about the same thing with a >= comparison?
// R1 = 5; // Need to do this explicitly
// do {
// } while(R1 >= 0);
        ldi     $20,r0
        ldi     $5,r1
bge_loop:
        noop
        sub     $1,r1
        bge     bge_loop
 
// Let's try the reverse loop again, only this time we'll store our
// loop variable in memory.
// R0 = 5; (from before)
// do {
// } while (R0 > 0);
        ldi     $0x0b000,r11
        bra     mem_loop_test
loop_var:
        .dat    0
mem_loop_test:
        mov     loop_var(pc),r1
        ldi     $5,r0
        clr     r2
        sto     r0,(r1)
mem_loop:
        add     $1,r2
        add     $14,r0
        lod     (r1),r0
        sub     $1,r0
        sto     r0,(r1)
        bgt     mem_loop
        cmp     $5,r2
        trap.ne r11
#endif
 
#ifdef  SHIFT_TEST
; Now, let's test whether or not our LSR and carry flags work
        ldi     $0x0c000,r11
        ldi     -1,r0   ; First test: shifting all the way should yield zero
        lsr     32,r0
        cmp     0,r0
        bnz     test_failure
        ldi     -1,r0   ; Second test: anything greater than zero should set
        lsr     0,r0    ; the carry flag
        bc      test_failure
        lsr     1,r0
        tst     sys.ccc,cc      ; FAILS HERE!!!  @0x010007c
        bz      test_failure
        lsr     31,r0
        tst     sys.ccc,cc
        bz      test_failure
        lsr     1,r0
        bc      test_failure
; Now repeat the above tests, looking to see whether or not ASR works
        ldi     -1,r0
        asr     32,r0
        cmp     -1,r0
        bnz     test_failure
        ldi     -1,r0
        asr     0,r0
        bc      test_failure
        cmp     -1,r0
        bnz     test_failure
        asr     1,r0
        tst     sys.ccc,r14
        bz      test_failure
        asr     30,r0
        tst     sys.ccc,r14
        bz      test_failure
 
// Let's test whether LSL works
        ldi     0x035,r2
        lsl     8,r2
        ldi     0x03500,r1
        cmp     r2,r1
        trap.ne r11
        ldi     0x074,r0
        and     0x0ff,r0
        or      r0,r2
        cmp     0x03574,r2
        trap.ne r11
#endif
 
#ifdef  MPY_TEST
 
// We have two multiply instructions.  Let's see if those work
        ldi     $0x0d000,r11    // Mark our test
        ldi     23171,r0        // = sqrt(2)/2 * 32768
        mpyu    r0,r0           // Should = 2/4 * 2^30 = 2^29 or thereabouts
        ldi     536895241,r2
        cmp     r0,r2
        trap.ne r11
        ldi     0x0ffff,r0
        mpyu    r0,r0
        ldi     0xfffe0001,r1
        cmp     r1,r0
        trap.ne r11
        ldi     0x08001,r0
        ldi     0x07fff,r1
        mpys    r0,r1           // FAILS: result is 0x008001 ??? (pipeline prob)
        ldi     0x3fff0001,r2
        neg     r2
        cmp     r2,r1           // @0x010011c
        trap.ne r11             //TRAP FAILS TO TRIGGER ????? (R2=0x0c000ffff,R1=0x0008001 -- did mpy even happen?)
        mpys    r0,r0           // FAILS: result is 0x40010001
        ldi     0x3fff0001,r2
        cmp     r2,r0
        trap.ne r11             // TRAP FAILS TO TRIGGER AGAIN
        ldi     0x08000,r0
        mpys    r0,r0           // R0 now equals 0x40000000
        ldi     0x40000000,r1
        cmp     r0,r1
        trap.ne r11
//
// And from our eyeball test ...
        LDI     0x01ff01ff,R0
        MOV     R0,R7
        MOV     8(SP),R6
        LSR     7,R0
        AND     7,R0
        LDI     7,R1
        SUB     R0,R1
        MOV     R1,R0
        MPYU    5,R0
        CMP     20,R0
        TRAP.NE R11
#endif
 
#ifdef  PUSH_TEST
        ldi     $0x0e000,r11    // Mark our test
        ldi     0x01248cab,r0
        ldi     0xd5312480,r1   // Let's see if we can preserve this as well
        mov     r1,r7
        FJSR(reverse_bit_order,R4);     // *SP = 0x010013d
        cmp     r0,r1
        trap.ne r11
        cmp     r0,r7
        trap.ne r11
#endif
 
#ifdef  PIPELINE_STACK_TEST
        ldi     $0x0f000,r11    // Mark our test
        LDI     1,R0
        MOV     1(R0),R1
        MOV     1(R1),R2
        MOV     1(R2),R3
        MOV     1(R3),R4
        MOV     1(R4),R5
        MOV     1(R5),R6
        FJSR(pipeline_stack_test,R7)
        CMP     1,R0
        trap.ne R11
        CMP     2,R1
        trap.ne R11
        CMP     3,R2
        trap.ne R11
        CMP     4,R3
        trap.ne R11
        CMP     5,R4
        trap.ne R11
        CMP     6,R5
        trap.ne R11
        CMP     7,R6
        trap.ne R11
#endif
 
#ifdef  MEM_PIPELINE_TEST
        LDI     0x10000,R11
        FJSR(mem_pipeline_test,R0)
#endif  // MEM_PIPELINE_TEST
 
#ifdef  CONDITIONAL_EXECUTION_TEST
        LDI     0x11000,R11
        FJSR(conditional_execution_test,R0)
#endif  // CONDITIONAL_EXECUTION_TEST
 
#ifdef  NOWAIT_PIPELINE_TEST
        LDI     0x12000,R11
        FJSR(nowait_pipeline_test,R0)
#endif  // NOWAIT_PIPELINE_TEST
 
#ifdef  BCMEM_TEST
        LDI     0x13000,R11
        CLR     R0
        LDI     -1,R1
        STO     R0,bcmemtestloc(PC)
        LOD     bcmemtestloc(PC),R1
        CMP     R0,R1
        TRAP.NZ R11
        CMP     0x13000,R11
        BZ      bcmemtest_cmploc_1
        STO     R11,bcmemtestloc(PC)
bcmemtest_cmploc_1:
        LOD     bcmemtestloc(PC),R0
        CMP     R0,R11
        TRAP.Z  R11
        CLR     R0
        CMP     R0,R11
        BZ      bcmemtest_cmploc_2
        STO.NZ  R11,bcmemtestloc(PC)
bcmemtest_cmploc_2:
        NOOP
        LOD     bcmemtestloc(PC),R0
        CMP     R0,R11
        TRAP.NZ R11
        BRA     end_bcmemtest
bcmemtestloc:
        WORD    0
end_bcmemtest:
#endif
// Return success / Test the trap interrupt
        clr     r11
        trap    r11
        noop
        noop
 
        busy
 
// And, in case we miss a halt ...
        halt
 
// Now, let's test whether or not we can handle a subroutine
#ifdef  PUSH_TEST
reverse_bit_order:
        SUB     3,SP
        STO     R1,(SP)         ; R1 will be our loop counter
        STO     R2,1(SP)        ; R2 will be our accumulator and eventual result
        STO     R4,2(SP)
        LDI     32,R1
        CLR     R2
reverse_bit_order_loop:
        LSL     1,R2
        LSR     1,R0
        OR.C    1,R2
        SUB     1,R1
        BNZ     reverse_bit_order_loop
        MOV     R2,R0
        LOD     (SP),R1
        LOD     1(SP),R2
        LOD     2(SP),R4
        ADD     3,SP
        JMP     R4
#endif
 
; The pipeline stack test examines whether or not a series of memory commands
; can be evaluated right after the other without problems.  This depends upon
; the calling routine to properly set up registers to be tested.
;
; This is also an incomplete test, as nothing is done to test how these
; pipeline reads/writes are affected by condition codes.
;
#ifdef  PIPELINE_STACK_TEST
pipeline_stack_test:
        SUB     13,SP
        STO     R0,(SP)
        STO     R1,1(SP)
        STO     R2,2(SP)
        STO     R3,3(SP)
        STO     R4,4(SP)
        STO     R5,5(SP)
        STO     R6,6(SP)
        STO     R7,7(SP)
        STO     R8,8(SP)
        STO     R9,9(SP)
        STO     R10,10(SP)
        STO     R11,11(SP)
        STO     R12,12(SP)
        XOR     -1,R0
        XOR     -1,R1
        XOR     -1,R2
        XOR     -1,R3
        XOR     -1,R4
        XOR     -1,R5
        XOR     -1,R6
        XOR     -1,R7
        XOR     -1,R8
        XOR     -1,R9
        XOR     -1,R10
        XOR     -1,R11
        XOR     -1,R12
        LOD     (SP),R0
        LOD     1(SP),R1
        LOD     2(SP),R2
        LOD     3(SP),R3
        LOD     4(SP),R4
        LOD     5(SP),R5
        LOD     6(SP),R6
        LOD     7(SP),R7
        LOD     8(SP),R8
        LOD     9(SP),R9
        LOD     10(SP),R10
        LOD     11(SP),R11
        LOD     12(SP),R12
        ADD     13,SP
        JMP     R7
#endif // PIPELINE_STACK_TEST
 
#ifdef  MEM_PIPELINE_TEST
mem_pipeline_test:
        SUB     4,SP
        STO     R0,(SP)
        STO     R1,1(SP)
        LDI     0x10000,R11
        ;
        ; Test #1 ... Let's start by writing a value to memory
        LDI     -1,R0
        CLR     R1
        STO     R0,2(SP)
        LOD     2(SP),R1
        CMP     R1,R0
        MOV.NZ  R11,CC
 
        ; Test #2, reading and then writing a value from memory
        NOP
        NOP
        CLR     R0
        CLR     R1
        LOD     2(SP),R0        ; This should load back up our -1 value
        STO     R0,3(SP)
        ; Insist that the pipeline clear
        LOD     2(SP),R0
        ; Now let's try loading into R1
        NOP
        NOP
        NOP
        NOP
        LOD     3(SP),R1
        CMP     R1,R0
        MOV.NZ  R11,CC
 
        LOD     (SP),R0
        LOD     1(SP),R1
        ADD     4,SP
        JMP     R0
#endif
 
#ifdef  CONDITIONAL_EXECUTION_TEST
conditional_execution_test:
        SUB     1,SP
        STO     R0,(SP)
        ;
        CLRF    R0
        ADD.Z   1,R0
        TRAP.NZ R11
        CMP.Z   0,R0
        TRAP.Z  R11
 
        LOD     (SP),R0
        ADD     1,SP
        JMP     R0
#endif
 
;
; Pipeline stalls have been hideous problems for me.  The CPU has been modified
; with special logic to keep stages from stalling.  For the most part, this
; means that ALU and memory results may be accessed either before or as they
; are written to the register file.  This set of code is designed to test
; whether this bypass logic works.
#ifdef  NOWAIT_PIPELINE_TEST
nowait_pipeline_test:
        ; Allocate for us some number of registers
        ;
        SUB     6,SP
        ; Leave a spot open on the stack for a local variable,
        ; kept in memory.
        STO     R0,(SP)
        STO     R1,1(SP)
        STO     R2,2(SP)
        STO     R3,3(SP)
        STO     R4,4(SP)
        ;
        ; Let's start with ALU-ALU testing
        ;       AA: result->input A
        CLR     R0
        ADD     1,R0
        CMP     1,R0
        TRAP.NZ R11
 
        ;       AA: result->input B
        CLR     R0
        CLR     R1
        ADD     1,R0
        CMP     R0,R1
        TRAP.Z  R11
 
        ;       AA: result->input A on condition
        CLRF    R0
        ADD.Z   5,R0
        CMP     5,R0
        TRAP.NZ R11
 
        ;       AA: result->input B on condition
        CLR     R0
        CLRF    R1
        ADD.Z   5,R0
        CMP     R0,R1
        TRAP.Z  R11
 
        ;       AA: result->input B plus offset
        CLR     R0
        CLRF    R1
        ADD     5,R0
        CMP     -5(R0),R1
        TRAP.NZ R11
 
        ;       AA: result->input B plus offset on condition
        CLR     R0
        CLRF    R1
        ADD.Z   5,R0
        CMP     -5(R0),R1
        TRAP.NZ R11
 
        ;
        ; Then we need to do ALU-Mem input testing
        ;
        CLR     R0
        STO     R0,5(SP)
        LDI     8352,R0
        LOD     5(SP),R0
        TST     -1,R0
        TRAP.NZ R11
 
        LDI     937,R0          ; Let's try again, this time something that's
        STO     R0,5(SP)        ; not zero
        NOOP
        LOD     5(SP),R0
        CMP     938,R0          ; Let's not compare with self, let's that
        TRAP.GE R11             ; masks a problem--compare with a different
        CMP     936,R0          ; number instead.
        TRAP.LT R11
 
        ; Mem output->ALU input testing
        ;       We just did that as partof our last test
        ; Mem output->MEM input testing
        ;
        LDI     5328,R2
        LOD     5(SP),R2
        STO     R2,5(SP)
        LOD     5(SP),R1
        CMP     937,R1
        TRAP.NZ R11
        ;
        LOD     (SP),R0
        LOD     1(SP),R1
        LOD     2(SP),R2
        LOD     3(SP),R3
        LOD     4(SP),R4
        ADD     6,SP
        JMP     R0
#endif  // NOWAIT_PIPELINE_TEST
 
 
        fill    512,0
stack:  // Must point to a valid word initially
        word    0

Line No.	Rev	Author	Line
1	2	dgisselq	`;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;`
2			`;`
3			`; Filename: test.S`
4			`;`
5			`; Project: Zip CPU -- a small, lightweight, RISC CPU soft core`
6			`;`
7			`; Purpose: A disorganized test, just showing some initial operation of`
8			`; the CPU. As a disorganized test, it doesn't prove anything`
9			`; beyond the generic operation of the CPU.`
10			`;`
11	13	dgisselq	`; Status: As of August, 2015, this file assembles, builds, and passes`
12			`; all of its tests in the Verilator simulator.`
13	2	dgisselq	`;`
14	19	dgisselq	`; Okay, as of 15 August, there are now some tests that don't pass.`
15			`; In particular, the #include test used to pass but didn't pass today.`
16			`; Likewise the PUSH() macro test hasn't passed yet. Finally, be aware`
17			`; that this implementation is specific to where it loads on a board.`
18			`; I tried loading it on my Basys development board, where I had placed`
19			`; RAM in a different location and ... things didn't work out so well.`
20			`; So grep the __here__ line and adjust it for where you intend to load`
21			`; this file.`
22			`;`
23			`; In general, as I'm building the CPU, I'm modifying this file to place`
24			`; more and more capability tests within the file. If the Lord is`
25			`; willing, this will become the proof that the CPU completely works.`
26			`;`
27			`;`
28	2	dgisselq	`; Creator: Dan Gisselquist, Ph.D.`
29	69	dgisselq	`; Gisselquist Technology, LLC`
30	2	dgisselq	`;`
31			`;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;`
32			`;`
33			`; Copyright (C) 2015, Gisselquist Technology, LLC`
34			`;`
35			`; This program is free software (firmware): you can redistribute it and/or`
36			`; modify it under the terms of the GNU General Public License as published`
37			`; by the Free Software Foundation, either version 3 of the License, or (at`
38			`; your option) any later version.`
39			`;`
40			`; This program is distributed in the hope that it will be useful, but WITHOUT`
41			`; ANY WARRANTY; without even the implied warranty of MERCHANTIBILITY or`
42			`; FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License`
43			`; for more details.`
44			`;`
45			`; License: GPL, v3, as defined and found on www.gnu.org,`
46			`; http://www.gnu.org/licenses/gpl.html`
47			`;`
48			`;`
49			`;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;`
50			`;`
51	26	dgisselq	`#include "sys.i"`
52	13	dgisselq	`sys.bus equ 0xc0000000`
53			`sys.breaken equ 0x080`
54			`sys.step equ 0x040`
55			`sys.gie equ 0x020`
56			`sys.sleep equ 0x010`
57			`sys.ccv equ 0x008`
58			`sys.ccn equ 0x004`
59			`sys.ccc equ 0x002`
60			`sys.ccz equ 0x001`
61	26	dgisselq	`sys.cctrap equ 0x200`
62	13	dgisselq	`sys.bu.pic equ 0x000`
63			`sys.bus.wdt equ 0x001`
64			`sys.bus.cache equ 0x002`
65			`sys.bus.ctrpic equ 0x003`
66			`sys.bus.tma equ 0x004`
67			`sys.bus.tmb equ 0x005`
68			`sys.bus.tmc equ 0x006`
69			`sys.bus.jiffies equ 0x007`
70			`sys.bus.mtask equ 0x008`
71			`sys.bus.mpstl equ 0x009`
72			`sys.bus.mastl equ 0x00a`
73			`sys.bus.mstl equ 0x00b`
74			`sys.bus.utask equ 0x00c`
75			`sys.bus.upstl equ 0x00d`
76			`sys.bus.uastl equ 0x00e`
77			`sys.bus.ustl equ 0x00f`
78			`#define DO_TEST_ASSEMBLER`
79	26	dgisselq	`#define BREAK_TEST`
80			`#define OVERFLOW_TEST`
81			`#define CARRY_TEST`
82			`#define LOOP_TEST`
83			`#define SHIFT_TEST`
84			`#define TRAP_TEST`
85			`#define MPY_TEST`
86	34	dgisselq	`#define PUSH_TEST`
87	46	dgisselq	`#define PIPELINE_STACK_TEST`
88			`#define MEM_PIPELINE_TEST`
89	60	dgisselq	`#define CONDITIONAL_EXECUTION_TEST`
90	55	dgisselq	`#define NOWAIT_PIPELINE_TEST // Were wait states btwn regs removed properly?`
91	69	dgisselq	`#define BCMEM_TEST // Do memory and conditions work well together?`
92	2	dgisselq	`test:`
93	13	dgisselq	`#ifdef DO_TEST_ASSEMBLER`
94			`; We start out by testing our assembler. We give it some instructions, which`
95			`; are then manually checked by disassembling/dumping the result and making`
96			`; certain they match. This is not an automated test, but it is an important`
97			`; one.`
98			`noop`
99			`bra continue_test_with_testable_instructions`
100			`break`
101			`wait`
102	26	dgisselq	`break`
103	13	dgisselq	`busy`
104			`rtu`
105			`continue_test_with_testable_instructions:`
106			`; Now, let's place the assembler into a known state`
107	2	dgisselq	`clr r0`
108	13	dgisselq	`clr r1`
109			`clr r2`
110			`clr r3`
111			`clr r4`
112			`clr r5`
113			`clr r6`
114			`clr r7`
115	36	dgisselq	`clr r8`
116	13	dgisselq	`clr r9`
117			`clr r10`
118			`clr r11`
119			`clr r12`
120			`clr r13`
121			`; Don't clear the CC register`
122			`; Don't clear the SP register`
123			`; And repeat for the user registers`
124			`mov R0,uR0`
125			`mov R0,uR1`
126			`mov R0,uR2`
127			`mov R0,uR3`
128			`mov R0,uR4`
129			`mov R0,uR5`
130			`mov R0,uR6`
131			`mov R0,uR7`
132			`mov R0,uR8`
133			`mov R0,uR9`
134			`mov R0,uR10`
135			`mov R0,uR11`
136			`mov R0,uR12`
137			`mov R0,uR13`
138			`mov R0,uCC`
139			`; Don't clear the user PC register`
140			`; Now, let's try loading some constants into registers`
141	19	dgisselq	`; Specifically, we're testing the LDI, LDIHI, and LDILO instructions`
142	13	dgisselq	`dead_beef equ 0xdeadbeef`
143			`ldi 0x0dead,r5`
144			`ldi 0x0beef,r6`
145			`ldi 0xdeadbeef,r7`
146			`ldihi 0xdead, r8`
147			`ldilo 0xbeef, r8`
148			`ldi dead_beef,r9`
149			`cmp r5,r6`
150			`bz test_failure`
151			`cmp r7,r8`
152			`bnz test_failure`
153			`ldi $deadbeefh,r7 ; Try loading with the $[HEX]h mneumonic`
154			`cmp r7,r8`
155			`bnz test_failure`
156			`cmp r7,r9`
157			`bnz test_failure`
158			`bra skip_dead_beef`
159			`dead_beef.base:`
160			`word 0`
161			`fill 5,dead_beef`
162			`word 0`
163			`dead_beef.zero equ 0`
164			`dead_beef.values equ 1`
165			`skip_dead_beef:`
166			`lod dead_beef.base(pc),r10 ; Should load a zero here`
167			`cmp r10,r11 ; r11 should still be zero from init abv`
168			`bnz test_failure`
169			`mov dead_beef.base(pc),r10 ; Now, let's get the address`
170			`lod dead_beef.values(r10),r10 ; r10 now equals 0xdeadbeef`
171			`cmp r10,r9`
172			`bnz test_failure`
173	34	dgisselq
174			`; Test whether or not our operator precedence rules work`
175			`ldi 5+3*8,r0`
176			`ldi 3*8+5,r1`
177			`cmp r0,r1`
178			`bnz test_failure`
179			`ldi (5+3)*8,r0`
180			`ldi 8*(3+5),r1`
181			`cmp r0,r1`
182			`bnz test_failure`
183
184	13	dgisselq	`; Test whether or not we can properly decode OCTAL values`
185			`clr r0 ; Re-clear our register set first`
186			`clr r1`
187			`clr r2`
188			`clr r3`
189			`clr r4`
190			`clr r5`
191			`clr r6`
192			`clr r7`
193	36	dgisselq	`clr r8`
194	13	dgisselq	`clr r9`
195			`clr r10`
196			`clr r11`
197			`clr r12`
198			`clr r13`
199			`;`
200			`ldi $024o,r0`
201			`ldi $20,r1`
202			`cmp r0,r1`
203			`bnz test_failure`
204			`ldi $024,r0`
205			`cmp r0,r1`
206			`bnz test_failure`
207			`clr r0`
208			`clr r1`
209	2	dgisselq	`mov $1+r0,r2`
210			`mov $2+r0,r3`
211			`mov $22h+r0,r4`
212			`mov $377h+r0,ur5`
213			`noop`
214			`nop`
215			`add r2,r0`
216			`add $32,r0`
217			`add $-33,r0`
218	13	dgisselq	`bnz test_failure`
219	36	dgisselq	`not r0`
220	13	dgisselq	`bge test_failure`
221			`junk_address:`
222	2	dgisselq	`clrf r0`
223	13	dgisselq	`bnz test_failure`
224	2	dgisselq	`ldi $5,r1`
225			`cmp $0+r0,r1`
226			`not.lt r0`
227			`not.ge r1`
228	13	dgisselq	`mov junk_address(pc),r2 ; Test pc-relative addressing`
229			`mov junk_address(pc),r3`
230			`cmp r2,r3`
231			`bnz test_failure`
232			`lod junk_address(pc),r5 ; Test loads with pc-relative addressing`
233			`lod junk_address(pc),r6`
234			`cmp r5,r6`
235			`bnz test_failure`
236	26	dgisselq	`#endif`
237
238			`#ifdef NOONE // Testing comments after ifdef`
239			`#else ; After else`
240			`#endif /* and after endif */`
241
242			`#ifdef BREAK_TEST`
243			`breaktest:`
244			`bra breaksupervisor`
245			`breakuser:`
246			`clr r0`
247			`mov 1+r0,r1`
248			`mov 1+r1,r2`
249			`mov 1+r2,r3`
250			`break ; At address 0x0100097`
251			`mov 1+r4,r5`
252			`mov 1+r5,r6`
253			`clr cc`
254			`busy`
255			`breaksupervisor:`
256	13	dgisselq	`ldi -1,r0`
257	26	dgisselq	`mov breakuser(pc),upc`
258			`rtu ; Should just keep returning immediately`
259			`mov upc,r0`
260			`rtu`
261			`rtu`
262			`mov upc,r1`
263			`cmp r0,r1`
264	13	dgisselq	`bnz test_failure`
265	26	dgisselq	`#endif`
266
267			`#ifdef TRAP_TEST`
268			`traptest:`
269			`bra traptest_supervisor`
270			`busy`
271			`traptest_user:`
272			`trap 0`
273			`busy`
274			`traptest_supervisor:`
275			`mov traptest_user(pc),upc`
276			`rtu`
277	69	dgisselq	`mov ucc,r0`
278	26	dgisselq	`tst sys.cctrap,r0`
279	69	dgisselq	`tst.nz sys.gie,r0`
280	13	dgisselq	`bz test_failure`
281			`#endif`
282	2	dgisselq
283			`testbench:`
284			`// Let's build a software test bench.`
285	13	dgisselq	`ldi $c0000000h,r12 ; Set R12 to point to our peripheral address`
286	2	dgisselq	`mov r12,ur12`
287	13	dgisselq	`mov test_start(pc),upc`
288	34	dgisselq	`mov stack(pc),usp`
289	13	dgisselq	`ldi 0x8000ffff,r0 ; Clear interrupts, turn all vectors off`
290			`sto r0,(r12)`
291	2	dgisselq	`rtu`
292	13	dgisselq	`mov ucc,r0`
293	69	dgisselq	`CMP sys.cctrap+sys.gie,r0`
294	13	dgisselq	`bnz test_failure`
295	2	dgisselq	`halt`
296	13	dgisselq	`// Go into an infinite loop if the trap fails`
297			`// Permanent loop instruction -- a busy halt if you will`
298			`test_failure:`
299	2	dgisselq	`busy`
300
301			`; Now for a series of tests. If the test fails, call the trap`
302			`; interrupt with the test number that failed. Upon completion,`
303			`; call the trap with #0.`
304
305			`; Test LDI to PC`
306			`; Some data registers`
307	13	dgisselq	`test_data:`
308			`.dat __here__+0x0100000+5`
309	2	dgisselq	`test_start:`
310	26	dgisselq	`ldi $0x01000,r11`
311	36	dgisselq	`ldi -1,r10`
312	13	dgisselq	`lod test_data+pc,pc`
313	36	dgisselq	`clr r10`
314	2	dgisselq	`noop`
315	36	dgisselq	`cmp $0,r10`
316	13	dgisselq	`trap.z r11`
317	2	dgisselq	`add $1,r0`
318			`add $1,r0`
319
320	26	dgisselq	`#ifdef OVERFLOW_TEST`
321	2	dgisselq	`// Let's test whether overflow works`
322	26	dgisselq	`ldi $0x02000,r11`
323	2	dgisselq	`ldi $-1,r0`
324			`lsr $1,r0`
325			`add $1,r0`
326	13	dgisselq	`bv first_overflow_passes`
327			`trap r11`
328			`first_overflow_passes:`
329	2	dgisselq	`// Overflow set from subtraction`
330	26	dgisselq	`ldi $0x03000,r11`
331	2	dgisselq	`ldi $1,r0`
332	13	dgisselq	`rol $31,r0 ; rol $31,r0`
333	2	dgisselq	`sub $1,r0`
334	13	dgisselq	`bv subtraction_overflow_passes`
335			`trap r11`
336			`subtraction_overflow_passes:`
337	2	dgisselq	`// Overflow set from LSR`
338	26	dgisselq	`ldi $0x04000,r11`
339	2	dgisselq	`ldi $1,r0`
340	13	dgisselq	`rol $31,r0 ; rol $31,r0`
341	2	dgisselq	`lsr $1,r0`
342	13	dgisselq	`bv lsr_overflow_passes`
343			`trap r11`
344			`lsr_overflow_passes:`
345	2	dgisselq	`// Overflow set from LSL`
346	26	dgisselq	`ldi $0x05000,r11`
347	2	dgisselq	`ldi $1,r0`
348	13	dgisselq	`rol $30,r0`
349	2	dgisselq	`lsl $1,r0`
350	13	dgisselq	`bv lsl_overflow_passes`
351			`trap r11`
352			`lsl_overflow_passes:`
353	2	dgisselq	`// Overflow set from LSL, negative to positive`
354	26	dgisselq	`ldi $0x06000,r11`
355	2	dgisselq	`ldi $1,r0`
356	13	dgisselq	`rol $31,r0`
357	2	dgisselq	`lsl $1,r0`
358	13	dgisselq	`bv second_lsl_overflow_passes`
359			`trap r11`
360	26	dgisselq	`#endif // OVERFLOW_TEST`
361			`#ifdef CARRY_TEST`
362	13	dgisselq	`second_lsl_overflow_passes:`
363	2	dgisselq	`// Test carry`
364	26	dgisselq	`ldi $0x07000,r11`
365	2	dgisselq	`ldi $-1,r0`
366			`add $1,r0`
367	55	dgisselq	`tst sys.ccc,cc`
368	13	dgisselq	`trap.z r11`
369	2	dgisselq	`// and carry from subtraction`
370	26	dgisselq	`ldi $0x08000,r11`
371			`clr r0`
372	2	dgisselq	`sub $1,r0`
373	55	dgisselq	`tst sys.ccc,cc`
374	13	dgisselq	`trap.z r11`
375	55	dgisselq	`// Carry from right shift`
376			`clr r0 ; r0 = 0`
377			`lsr 1,r0 ; r0 = 0, c = 0`
378			`add.c 1,r0 ; r0 = 0`
379			`cmp 1,r0 ; r0 ?= 1`
380			`trap.z r11`
381			`LDI 1,r0 ; r0 = 1`
382			`lsr 1,r0 ; r0 = 0, c = 1`
383			`add.c 1,r0 ; r0 = 1`
384			`cmp 1,r0`
385			`trap.nz r11`
386
387			`ldi 0x070eca6,r0`
388			`ldi 0x0408b85,r1`
389			`ldi 0x0387653,r2`
390			`lsr 1,r0`
391			`xor.c r1,r0`
392			`cmp r2,r0`
393			`trap.nz r11`
394	26	dgisselq	`#endif`
395	2	dgisselq
396	26	dgisselq	`#ifdef LOOP_TEST`
397
398	2	dgisselq	`// Let's try a loop: for i=0; i<5; i++)`
399			`// We'll use R0=i, Immediates for 5`
400	26	dgisselq	`ldi $0x09000,r11`
401	13	dgisselq	`clr r0`
402	2	dgisselq	`for_loop:`
403			`noop`
404			`add $1,r0`
405			`cmp $5,r0`
406			`blt for_loop`
407			`//`
408			`// Let's try a reverse loop. Such loops are usually cheaper to`
409			`// implement, and this one is no different: 2 loop instructions`
410			`// (minus setup instructions) vs 3 from before.`
411			`// R0 = 5; (from before)`
412			`// do {`
413			`// } while (R0 > 0);`
414	26	dgisselq	`ldi $0x0a000,r11`
415	2	dgisselq	`bgt_loop:`
416			`noop`
417			`sub $1,r0`
418			`bgt bgt_loop`
419
420			`// How about the same thing with a >= comparison?`
421			`// R1 = 5; // Need to do this explicitly`
422			`// do {`
423			`// } while(R1 >= 0);`
424	13	dgisselq	`ldi $20,r0`
425	2	dgisselq	`ldi $5,r1`
426			`bge_loop:`
427			`noop`
428			`sub $1,r1`
429			`bge bge_loop`
430
431			`// Let's try the reverse loop again, only this time we'll store our`
432			`// loop variable in memory.`
433			`// R0 = 5; (from before)`
434			`// do {`
435			`// } while (R0 > 0);`
436	26	dgisselq	`ldi $0x0b000,r11`
437	13	dgisselq	`bra mem_loop_test`
438	2	dgisselq	`loop_var:`
439			`.dat 0`
440	13	dgisselq	`mem_loop_test:`
441			`mov loop_var(pc),r1`
442			`ldi $5,r0`
443			`clr r2`
444			`sto r0,(r1)`
445	2	dgisselq	`mem_loop:`
446			`add $1,r2`
447			`add $14,r0`
448			`lod (r1),r0`
449			`sub $1,r0`
450	13	dgisselq	`sto r0,(r1)`
451			`bgt mem_loop`
452	2	dgisselq	`cmp $5,r2`
453	13	dgisselq	`trap.ne r11`
454	26	dgisselq	`#endif`
455	2	dgisselq
456	26	dgisselq	`#ifdef SHIFT_TEST`
457			`; Now, let's test whether or not our LSR and carry flags work`
458			`ldi $0x0c000,r11`
459			`ldi -1,r0 ; First test: shifting all the way should yield zero`
460			`lsr 32,r0`
461			`cmp 0,r0`
462			`bnz test_failure`
463			`ldi -1,r0 ; Second test: anything greater than zero should set`
464			`lsr 0,r0 ; the carry flag`
465			`bc test_failure`
466			`lsr 1,r0`
467			`tst sys.ccc,cc ; FAILS HERE!!! @0x010007c`
468			`bz test_failure`
469			`lsr 31,r0`
470			`tst sys.ccc,cc`
471			`bz test_failure`
472			`lsr 1,r0`
473			`bc test_failure`
474			`; Now repeat the above tests, looking to see whether or not ASR works`
475			`ldi -1,r0`
476			`asr 32,r0`
477			`cmp -1,r0`
478			`bnz test_failure`
479			`ldi -1,r0`
480			`asr 0,r0`
481			`bc test_failure`
482			`cmp -1,r0`
483			`bnz test_failure`
484			`asr 1,r0`
485			`tst sys.ccc,r14`
486			`bz test_failure`
487			`asr 30,r0`
488			`tst sys.ccc,r14`
489			`bz test_failure`
490
491	19	dgisselq	`// Let's test whether LSL works`
492			`ldi 0x035,r2`
493			`lsl 8,r2`
494			`ldi 0x03500,r1`
495			`cmp r2,r1`
496			`trap.ne r11`
497			`ldi 0x074,r0`
498			`and 0x0ff,r0`
499			`or r0,r2`
500			`cmp 0x03574,r2`

Browse

Tools

Subversion Repositories zipcpu

[/] [zipcpu/] [trunk/] [sw/] [zasm/] [test.S] - Blame information for rev 90