URL
https://opencores.org/ocsvn/lxp32/lxp32/trunk
Subversion Repositories lxp32
[/] [lxp32/] [trunk/] [verify/] [lxp32/] [src/] [firmware/] [test001.asm] - Rev 12
Go to most recent revision | Compare with Previous | Blame | View Log
/** This test verifies that basic instructions* (data transfers, addition/subtraction, jumps) work.*/lc r100, 0x10000000 // test result output pointerlc r101, haltlc r102, bad_jumplc r103, reg_is_nonzero// Check that all registers are zero-initialized after reset// Ignore r100-r103 which are already usedcjmpne r103, r0, 0cjmpne r103, r1, 0cjmpne r103, r2, 0cjmpne r103, r3, 0cjmpne r103, r4, 0cjmpne r103, r5, 0cjmpne r103, r6, 0cjmpne r103, r7, 0cjmpne r103, r8, 0cjmpne r103, r9, 0cjmpne r103, r10, 0cjmpne r103, r11, 0cjmpne r103, r12, 0cjmpne r103, r13, 0cjmpne r103, r14, 0cjmpne r103, r15, 0cjmpne r103, r16, 0cjmpne r103, r17, 0cjmpne r103, r18, 0cjmpne r103, r19, 0cjmpne r103, r20, 0cjmpne r103, r21, 0cjmpne r103, r22, 0cjmpne r103, r23, 0cjmpne r103, r24, 0cjmpne r103, r25, 0cjmpne r103, r26, 0cjmpne r103, r27, 0cjmpne r103, r28, 0cjmpne r103, r29, 0cjmpne r103, r30, 0cjmpne r103, r31, 0cjmpne r103, r32, 0cjmpne r103, r33, 0cjmpne r103, r34, 0cjmpne r103, r35, 0cjmpne r103, r36, 0cjmpne r103, r37, 0cjmpne r103, r38, 0cjmpne r103, r39, 0cjmpne r103, r40, 0cjmpne r103, r41, 0cjmpne r103, r42, 0cjmpne r103, r43, 0cjmpne r103, r44, 0cjmpne r103, r45, 0cjmpne r103, r46, 0cjmpne r103, r47, 0cjmpne r103, r48, 0cjmpne r103, r49, 0cjmpne r103, r50, 0cjmpne r103, r51, 0cjmpne r103, r52, 0cjmpne r103, r53, 0cjmpne r103, r54, 0cjmpne r103, r55, 0cjmpne r103, r56, 0cjmpne r103, r57, 0cjmpne r103, r58, 0cjmpne r103, r59, 0cjmpne r103, r60, 0cjmpne r103, r61, 0cjmpne r103, r62, 0cjmpne r103, r63, 0cjmpne r103, r64, 0cjmpne r103, r65, 0cjmpne r103, r66, 0cjmpne r103, r67, 0cjmpne r103, r68, 0cjmpne r103, r69, 0cjmpne r103, r70, 0cjmpne r103, r71, 0cjmpne r103, r72, 0cjmpne r103, r73, 0cjmpne r103, r74, 0cjmpne r103, r75, 0cjmpne r103, r76, 0cjmpne r103, r77, 0cjmpne r103, r78, 0cjmpne r103, r79, 0cjmpne r103, r80, 0cjmpne r103, r81, 0cjmpne r103, r82, 0cjmpne r103, r83, 0cjmpne r103, r84, 0cjmpne r103, r85, 0cjmpne r103, r86, 0cjmpne r103, r87, 0cjmpne r103, r88, 0cjmpne r103, r89, 0cjmpne r103, r90, 0cjmpne r103, r91, 0cjmpne r103, r92, 0cjmpne r103, r93, 0cjmpne r103, r94, 0cjmpne r103, r95, 0cjmpne r103, r96, 0cjmpne r103, r97, 0cjmpne r103, r98, 0cjmpne r103, r99, 0cjmpne r103, r104, 0cjmpne r103, r105, 0cjmpne r103, r106, 0cjmpne r103, r107, 0cjmpne r103, r108, 0cjmpne r103, r109, 0cjmpne r103, r110, 0cjmpne r103, r111, 0cjmpne r103, r112, 0cjmpne r103, r113, 0cjmpne r103, r114, 0cjmpne r103, r115, 0cjmpne r103, r116, 0cjmpne r103, r117, 0cjmpne r103, r118, 0cjmpne r103, r119, 0cjmpne r103, r120, 0cjmpne r103, r121, 0cjmpne r103, r122, 0cjmpne r103, r123, 0cjmpne r103, r124, 0cjmpne r103, r125, 0cjmpne r103, r126, 0cjmpne r103, r127, 0cjmpne r103, r128, 0cjmpne r103, r129, 0cjmpne r103, r130, 0cjmpne r103, r131, 0cjmpne r103, r132, 0cjmpne r103, r133, 0cjmpne r103, r134, 0cjmpne r103, r135, 0cjmpne r103, r136, 0cjmpne r103, r137, 0cjmpne r103, r138, 0cjmpne r103, r139, 0cjmpne r103, r140, 0cjmpne r103, r141, 0cjmpne r103, r142, 0cjmpne r103, r143, 0cjmpne r103, r144, 0cjmpne r103, r145, 0cjmpne r103, r146, 0cjmpne r103, r147, 0cjmpne r103, r148, 0cjmpne r103, r149, 0cjmpne r103, r150, 0cjmpne r103, r151, 0cjmpne r103, r152, 0cjmpne r103, r153, 0cjmpne r103, r154, 0cjmpne r103, r155, 0cjmpne r103, r156, 0cjmpne r103, r157, 0cjmpne r103, r158, 0cjmpne r103, r159, 0cjmpne r103, r160, 0cjmpne r103, r161, 0cjmpne r103, r162, 0cjmpne r103, r163, 0cjmpne r103, r164, 0cjmpne r103, r165, 0cjmpne r103, r166, 0cjmpne r103, r167, 0cjmpne r103, r168, 0cjmpne r103, r169, 0cjmpne r103, r170, 0cjmpne r103, r171, 0cjmpne r103, r172, 0cjmpne r103, r173, 0cjmpne r103, r174, 0cjmpne r103, r175, 0cjmpne r103, r176, 0cjmpne r103, r177, 0cjmpne r103, r178, 0cjmpne r103, r179, 0cjmpne r103, r180, 0cjmpne r103, r181, 0cjmpne r103, r182, 0cjmpne r103, r183, 0cjmpne r103, r184, 0cjmpne r103, r185, 0cjmpne r103, r186, 0cjmpne r103, r187, 0cjmpne r103, r188, 0cjmpne r103, r189, 0cjmpne r103, r190, 0cjmpne r103, r191, 0cjmpne r103, r192, 0cjmpne r103, r193, 0cjmpne r103, r194, 0cjmpne r103, r195, 0cjmpne r103, r196, 0cjmpne r103, r197, 0cjmpne r103, r198, 0cjmpne r103, r199, 0cjmpne r103, r200, 0cjmpne r103, r201, 0cjmpne r103, r202, 0cjmpne r103, r203, 0cjmpne r103, r204, 0cjmpne r103, r205, 0cjmpne r103, r206, 0cjmpne r103, r207, 0cjmpne r103, r208, 0cjmpne r103, r209, 0cjmpne r103, r210, 0cjmpne r103, r211, 0cjmpne r103, r212, 0cjmpne r103, r213, 0cjmpne r103, r214, 0cjmpne r103, r215, 0cjmpne r103, r216, 0cjmpne r103, r217, 0cjmpne r103, r218, 0cjmpne r103, r219, 0cjmpne r103, r220, 0cjmpne r103, r221, 0cjmpne r103, r222, 0cjmpne r103, r223, 0cjmpne r103, r224, 0cjmpne r103, r225, 0cjmpne r103, r226, 0cjmpne r103, r227, 0cjmpne r103, r228, 0cjmpne r103, r229, 0cjmpne r103, r230, 0cjmpne r103, r231, 0cjmpne r103, r232, 0cjmpne r103, r233, 0cjmpne r103, r234, 0cjmpne r103, r235, 0cjmpne r103, r236, 0cjmpne r103, r237, 0cjmpne r103, r238, 0cjmpne r103, r239, 0cjmpne r103, r240, 0cjmpne r103, r241, 0cjmpne r103, r242, 0cjmpne r103, r243, 0cjmpne r103, r244, 0cjmpne r103, r245, 0cjmpne r103, r246, 0cjmpne r103, r247, 0cjmpne r103, r248, 0cjmpne r103, r249, 0cjmpne r103, r250, 0cjmpne r103, r251, 0cjmpne r103, r252, 0cjmpne r103, r253, 0cjmpne r103, r254, 0cjmpne r103, r255, 0lc r0, jump0jmp r0reg_is_nonzero:sw r100, 2 // failure: register is not initializedjmp r101// Test different jump conditionsjump0:lc r0, jump1jmp r0sw r100, 3 // failure: this instruction should not be reachablejmp r101jump1:lc r0, jump2mov r1, 100cjmpne r0, r1, 101sw r100, 4 // failure: required jump is not takenjmp r101jump2:lc r0, jump3cjmpe r0, r1, 100sw r100, 5 // failure: required jump is not takenjmp r101jump3:lc r0, jump4cjmpuge r0, r1, 99sw r100, 6 // failure: required jump is not takenjmp r101jump4:lc r0, jump5cjmpuge r0, r1, 100sw r100, 7 // failure: required jump is not takenjmp r101jump5:lc r0, jump6cjmpug r0, r1, 99sw r100, 8 // failure: required jump is not takenjmp r101jump6:lc r0, jump7cjmpsge r0, r1, -128sw r100, 9 // failure: required jump is not takenjmp r101jump7:lc r0, jump8cjmpsge r0, r1, 100sw r100, 10 // failure: required jump is not takenjmp r101jump8:lc r0, jump9cjmpsg r0, r1, 99sw r100, 11 // failure: required jump is not takenjmp r101jump9:lc r0, 2227053353lc r1, 2933288161cjmpug r102, r0, r1lc r0, 3957963761lc r1, 4048130130cjmpug r102, r0, r1lc r0, 1021028019lc r1, 2570980487cjmpug r102, r0, r1lc r0, 470638116lc r1, 3729241862cjmpug r102, r0, r1lc r0, 2794175299lc r1, 3360494259cjmpug r102, r0, r1lc r0, 522532873lc r1, 2103051039cjmpug r102, r0, r1lc r0, 994440598lc r1, 4241216605cjmpug r102, r0, r1lc r0, 176753939lc r1, 850320156cjmpug r102, r0, r1lc r0, 3998259744lc r1, 4248205376cjmpug r102, r0, r1lc r0, 3695803806lc r1, 4130490642cjmpug r102, r0, r1lc r0, -798605244lc r1, -233549907cjmpsg r102, r0, r1lc r0, -1221540757lc r1, 580991794cjmpsg r102, r0, r1lc r0, -1651432714lc r1, -635466783cjmpsg r102, r0, r1lc r0, 43633328lc r1, 1235055289cjmpsg r102, r0, r1lc r0, -2132159079lc r1, -981565396cjmpsg r102, r0, r1lc r0, -859182414lc r1, -697843885cjmpsg r102, r0, r1lc r0, 1720638509lc r1, 2127959231cjmpsg r102, r0, r1lc r0, -1888878751lc r1, 1230499715cjmpsg r102, r0, r1lc r0, 517066081lc r1, 1914084509cjmpsg r102, r0, r1lc r0, -266475918lc r1, 2001358724cjmpsg r102, r0, r1mov r1, 100cjmpe r102, r1, 101cjmpne r102, r1, 100cjmpuge r102, r1, 101cjmpug r102, r1, 100cjmpug r102, r1, 101cjmpsge r102, r1, 101cjmpsg r102, r1, 101cjmpsg r102, r1, 100cjmpsg r102, -128, r1lc r0, jump10jmp r0bad_jump:sw r100, 12 // failure: jump should not be takenjmp r101jump10:// Copy itself to another portion of memorymov r0, 0 // source pointerlc r1, 0x00008000 // destination pointerlc r2, halt@2 // size of block to copy, in byteslc r32, copy_loopcopy_loop:lw r3, r0sw r1, r3add r0, r0, 4add r1, r1, 4cjmpul r32, r0, r2// Calculate sum of program body in a post-condition loopmov r0, 0 // pointermov r16, 0 // sumlc r32, sum_loopsum_loop:lw r1, r0add r16, r16, r1add r0, r0, 4cjmpul r32, r0, r2// Calculate sum of copied program body with negative sign, in a pre-condition looplc r0, 0x00008000 // pointeradd r2, r0, r2 // end pointermov r17, 0 // sumlc r32, sum2_looplc r33, sum2_endsum2_loop:cjmpuge r33, r0, r2lw r1, r0sub r17, r17, r1add r0, r0, 4jmp r32sw r100, 13 // failure: this instruction should not be reachablejmp r101sum2_end:// Check that sums are equal (but with opposite signs)add r0, r16, r17 // r0 should be zero nowlc r32, successcjmpe r32, r0, 0sw r100, 14 // failure: results do not matchjmp r101success:sw r100, 1halt:hltjmp r101
Go to most recent revision | Compare with Previous | Blame | View Log