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

Subversion Repositories zipcpu

[/] [zipcpu/] [trunk/] [sw/] [zasm/] [test.S] - Diff between revs 2 and 13

Go to most recent revision | Show entire file | Details | Blame | View Log

Rev 2 Rev 13
Line 6... Line 6...
;
;
; Purpose:      A disorganized test, just showing some initial operation of
; Purpose:      A disorganized test, just showing some initial operation of
;               the CPU.  As a disorganized test, it doesn't prove anything
;               the CPU.  As a disorganized test, it doesn't prove anything
;               beyond the generic operation of the CPU.
;               beyond the generic operation of the CPU.
;
;
; Status:       As of July, 2015, the assembler isn't sophisticated enough
; Status:       As of August, 2015, this file assembles, builds, and passes
;               to handle the address resolution needed to assemble this file.
;               all of its tests in the Verilator simulator.
;
;
; Creator:      Dan Gisselquist, Ph.D.
; Creator:      Dan Gisselquist, Ph.D.
;               Gisselquist Tecnology, LLC
;               Gisselquist Tecnology, LLC
;
;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
Line 32... Line 32...
;               http://www.gnu.org/licenses/gpl.html
;               http://www.gnu.org/licenses/gpl.html
;
;
;
;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;
;
 
        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.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
test:
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
 
        busy
 
        rtu
 
continue_test_with_testable_instructions:
 
        ; Now, let's place the assembler into a known state
        clr     r0
        clr     r0
        mov     r0,r1
        clr     r1
 
        clr     r2
 
        clr     r3
 
        clr     r4
 
        clr     r5
 
        clr     r6
 
        clr     r7
 
        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
 
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 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     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     $1+r0,r2
        mov     $2+r0,r3
        mov     $2+r0,r3
        mov     $22h+r0,r4
        mov     $22h+r0,r4
        mov     $377h+r0,ur5
        mov     $377h+r0,ur5
        noop
        noop
        nop
        nop
        add     r2,r0
        add     r2,r0
        add     $32,r0
        add     $32,r0
        add     $-33,r0
        add     $-33,r0
 
        bnz     test_failure
        not.z   r0
        not.z   r0
 
        bge     test_failure
 
junk_address:
        clrf    r0
        clrf    r0
 
        bnz     test_failure
        ldi     $5,r1
        ldi     $5,r1
        cmp     $0+r0,r1
        cmp     $0+r0,r1
        not.lt  r0
        not.lt  r0
        not.ge  r1
        not.ge  r1
        lod     $-7+pc,r2
        mov     junk_address(pc),r2     ; Test pc-relative addressing
        ldihi   $deadh,r3
        mov     junk_address(pc),r3
        ldihi   $beefh,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
 
; Now, let's test whether or not our LSR and carry flags work
 
        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
 
        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
 
#endif
 
 
 
#ifdef  NOONE // Testing comments after ifdef
 
#else   ; After else
 
#endif /* and after endif */
testbench:
testbench:
        // Let's build a software test bench.
        // Let's build a software test bench.
        clr     r12     ; R12 will point to our peripherals
        ldi     $c0000000h,r12  ; Set R12 to point to our peripheral address
        ldihi   $c000h,r12
 
        mov     r12,ur12
        mov     r12,ur12
        mov     test_start,upc
        mov     test_start(pc),upc
        ldihi   $8001,r0
        ldi     0x8000ffff,r0   ; Clear interrupts, turn all vectors off
        ldilo   $-1,r0
        sto     r0,(r12)
        sto     r0,$1+r12
 
        rtu
        rtu
        lod     r12,r0
        mov     ucc,r0
        cmp     $0,r0
        tst     -256,r0
        bnz     $1
        bnz     test_failure
        halt
        halt
 
// Go into an infinite loop if the trap fails
 
// Permanent loop instruction -- a busy halt if you will
 
test_failure:
        busy
        busy
 
 
; Now for a series of tests.  If the test fails, call the trap
; Now for a series of tests.  If the test fails, call the trap
; interrupt with the test number that failed.  Upon completion,
; interrupt with the test number that failed.  Upon completion,
; call the trap with #0.
; call the trap with #0.
 
 
; 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
; Test LDI to PC
; Some data registers
; Some data registers
        .dat    __here__+5
test_data:
 
        .dat    __here__+0x0100000+5
test_start:
test_start:
        ldi     $2,r11
        ldi     $0x0100,r11
        lod     $-3+pc,pc
        lod     test_data+pc,pc
        clr     r11
        clr     r11
        noop
        noop
        cmp     $0,r11
        cmp     $0,r11
        sto.z   r11,(r12)
        trap.z  r11
        add     $1,r0
        add     $1,r0
        add     $1,r0
        add     $1,r0
 
 
// Let's test whether overflow works
// Let's test whether overflow works
        ldi     $3,r11
        ldi     $0x0200,r11
        ldi     $-1,r0
        ldi     $-1,r0
        lsr     $1,r0
        lsr     $1,r0
        add     $1,r0
        add     $1,r0
        bv      $1
        bv      first_overflow_passes
        sto     r11,(r12)
        trap    r11
 
first_overflow_passes:
// Overflow set from subtraction
// Overflow set from subtraction
        ldi     $4,r11
        ldi     $0x0300,r11
        ldi     $1,r0
        ldi     $1,r0
        .dat    0x5000001f              ; rol $31,r0
        rol     $31,r0                  ; rol $31,r0
        sub     $1,r0
        sub     $1,r0
        bv      $1
        bv      subtraction_overflow_passes
        sto     r11,(r12)
        trap    r11
 
subtraction_overflow_passes:
// Overflow set from LSR
// Overflow set from LSR
        ldi     $5,r11
        ldi     $0x0400,r11
        ldi     $1,r0
        ldi     $1,r0
        .dat    0x5000001f              ; rol $31,r0
        rol     $31,r0                  ; rol $31,r0
        lsr     $1,r0
        lsr     $1,r0
        bv      $1
        bv      lsr_overflow_passes
        sto     r11,(r12)
        trap    r11
 
lsr_overflow_passes:
// Overflow set from LSL
// Overflow set from LSL
        ldi     $6,r11
        ldi     $0x0500,r11
        ldi     $1,r0
        ldi     $1,r0
        .dat    0x5000001e
        rol     $30,r0
        lsl     $1,r0
        lsl     $1,r0
        bv      $1
        bv      lsl_overflow_passes
        sto     r11,(r12)
        trap    r11
 
lsl_overflow_passes:
// Overflow set from LSL, negative to positive
// Overflow set from LSL, negative to positive
        ldi     $7,r11
        ldi     $0x0600,r11
        ldi     $1,r0
        ldi     $1,r0
        .dat    0x5000001f; //  E: ROL $30,R0
        rol     $31,r0
        lsl     $1,r0
        lsl     $1,r0
        bv      $1
        bv      second_lsl_overflow_passes
        sto     r11,(r12)
        trap    r11
 
second_lsl_overflow_passes:
// Test carry
// Test carry
        ldi     $0x010,r11
        ldi     $0x0700,r11
        ldi     $-1,r0
        ldi     $-1,r0
        add     $1,r0
        add     $1,r0
        tst     $2,cc
        tst     $2,cc
        sto.z   r11,(r12)
        trap.z  r11
// and carry from subtraction
// and carry from subtraction
        ldi     $17,r11
        ldi     $0x0800,r11
        sub     $1,r0
        sub     $1,r0
        tst     $2,cc
        tst     $2,cc
        sto.z   r11,(r12)
        trap.z  r11
 
 
// Let's try a loop: for i=0; i<5; i++)
// Let's try a loop: for i=0; i<5; i++)
//      We'll use R0=i, Immediates for 5
//      We'll use R0=i, Immediates for 5
for_loop:
        ldi     $0x0800,r11
        ldi     $18,r11
 
        clr     r0
        clr     r0
 
for_loop:
        noop
        noop
        add     $1,r0
        add     $1,r0
        cmp     $5,r0
        cmp     $5,r0
        blt     for_loop
        blt     for_loop
//
//
Line 156... Line 328...
// implement, and this one is no different: 2 loop instructions
// implement, and this one is no different: 2 loop instructions
// (minus setup instructions) vs 3 from before.
// (minus setup instructions) vs 3 from before.
// R0 = 5; (from before)
// R0 = 5; (from before)
// do {
// do {
// } while (R0 > 0);
// } while (R0 > 0);
 
        ldi     $0x0900,r11
bgt_loop:
bgt_loop:
        ldi     $19,r11
 
        noop
        noop
        sub     $1,r0
        sub     $1,r0
        bgt     bgt_loop
        bgt     bgt_loop
 
 
// How about the same thing with a >= comparison?
// How about the same thing with a >= comparison?
// R1 = 5; // Need to do this explicitly
// R1 = 5; // Need to do this explicitly
// do {
// do {
// } while(R1 >= 0);
// } while(R1 >= 0);
        ldi     $20,r00
        ldi     $20,r0
        ldi     $5,r1
        ldi     $5,r1
bge_loop:
bge_loop:
        noop
        noop
        sub     $1,r1
        sub     $1,r1
        bge     bge_loop
        bge     bge_loop
Line 178... Line 350...
// Let's try the reverse loop again, only this time we'll store our
// Let's try the reverse loop again, only this time we'll store our
// loop variable in memory.
// loop variable in memory.
// R0 = 5; (from before)
// R0 = 5; (from before)
// do {
// do {
// } while (R0 > 0);
// } while (R0 > 0);
        ldi     $21,r11
        ldi     $0x0a00,r11
        bra     $1
        bra     mem_loop_test
loop_var:
loop_var:
        .dat    0
        .dat    0
mem_loop:
mem_loop_test:
        mov     $-2+pc,r1
        mov     loop_var(pc),r1
        clr     r2
 
        ldi     $5,r0
        ldi     $5,r0
        sto     r1,(r0)
        clr     r2
 
        sto     r0,(r1)
 
mem_loop:
        add     $1,r2
        add     $1,r2
        add     $14,r0
        add     $14,r0
        lod     (r1),r0
        lod     (r1),r0
        sub     $1,r0
        sub     $1,r0
        bgt     $-6
        sto     r0,(r1)
 
        bgt     mem_loop
        cmp     $5,r2
        cmp     $5,r2
        sto.ne  r11,(r12)
        trap.ne r11
 
 
// Return success / Test the trap interrupt
// Return success / Test the trap interrupt
        clr     r11
        clr     r11
        sto     r11,(r12)
        trap    r11
        noop
        noop
        noop
        noop
 
 
// Go into an infinite loop if the trap fails
 
// Permanent loop instruction -- a busy halt if you will
 
        busy
        busy
 
 
// And, in case we miss a halt ...
// And, in case we miss a halt ...
        halt
        halt

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.