diff options
Diffstat (limited to 'sim/testsuite/bfin/a6.s')
| -rw-r--r-- | sim/testsuite/bfin/a6.s | 132 |
1 files changed, 132 insertions, 0 deletions
diff --git a/sim/testsuite/bfin/a6.s b/sim/testsuite/bfin/a6.s new file mode 100644 index 0000000..27de5d2 --- /dev/null +++ b/sim/testsuite/bfin/a6.s @@ -0,0 +1,132 @@ +// ALU test program. +// Test instructions +// r7 = +/+ (r0,r1); +// r7 = +/+ (r0,r1) s; +// r7 = +/+ (r0,r1) sx; +# mach: bfin + +.include "testutils.inc" + start + + +// one result overflows positive + R0.L = 0x0001; + R0.H = 0x0010; + R1.L = 0x7fff; + R1.H = 0x0010; + R7 = 0; + ASTAT = R7; + R7 = R0 +|+ R1; + DBGA ( R7.L , 0x8000 ); + DBGA ( R7.H , 0x0020 ); + CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); + CC = AN; R7 = CC; DBGA ( R7.L , 0x1 ); + CC = V; R7 = CC; DBGA ( R7.L , 0x1 ); + CC = AC0; R7 = CC; DBGA ( R7.L , 0x0 ); + +// one result overflows negative + R0.L = 0xffff; + R0.H = 0x0010; + R1.L = 0x8000; + R1.H = 0x0010; + R7 = 0; + ASTAT = R7; + R7 = R0 +|+ R1; + DBGA ( R7.L , 0x7fff ); + DBGA ( R7.H , 0x0020 ); + CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); + CC = AN; R7 = CC; DBGA ( R7.L , 0x0 ); + CC = V; R7 = CC; DBGA ( R7.L , 0x1 ); + CC = AC0; R7 = CC; DBGA ( R7.L , 0x1 ); + +// one result zero + R0.L = 0x0001; + R0.H = 0xffff; + R1.L = 0x0001; + R1.H = 0x0001; + R7 = 0; + ASTAT = R7; + R7 = R0 +|+ R1; + DBGA ( R7.L , 0x0002 ); + DBGA ( R7.H , 0x0000 ); + CC = AZ; R5 = CC; DBGA ( R5.L , 0x1 ); + CC = AN; R5 = CC; DBGA ( R5.L , 0x0 ); + CC = V; R5 = CC; DBGA ( R5.L , 0x0 ); + CC = AC0; R5 = CC; DBGA ( R5.L , 0x0 ); + +// one result saturates positive + R0.L = 0x0001; + R0.H = 0x0010; + R1.L = 0x7fff; + R1.H = 0x0010; + R7 = 0; + ASTAT = R7; + R7 = R0 +|+ R1 (S); + DBGA ( R7.L , 0x7fff ); + DBGA ( R7.H , 0x0020 ); + CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); + CC = AN; R7 = CC; DBGA ( R7.L , 0x0 ); + CC = V; R7 = CC; DBGA ( R7.L , 0x1 ); + CC = AC0; R7 = CC; DBGA ( R7.L , 0x0 ); + +// one result saturates negative + R0.L = 0xffff; + R0.H = 0x0010; + R1.L = 0x8000; + R1.H = 0x0010; + R7 = 0; + ASTAT = R7; + R7 = R0 +|+ R1 (S); + DBGA ( R7.L , 0x8000 ); + DBGA ( R7.H , 0x0020 ); + CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); + CC = AN; R7 = CC; DBGA ( R7.L , 0x1 ); + CC = V; R7 = CC; DBGA ( R7.L , 0x1 ); + CC = AC0; R7 = CC; DBGA ( R7.L , 0x1 ); + +// two results saturates negative + R0.L = 0xffff; + R0.H = 0xfff0; + R1.L = 0x8000; + R1.H = 0x8000; + R7 = 0; + ASTAT = R7; + R7 = R0 +|+ R1 (S); + DBGA ( R7.L , 0x8000 ); + DBGA ( R7.H , 0x8000 ); + CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); + CC = AN; R7 = CC; DBGA ( R7.L , 0x1 ); + CC = V; R7 = CC; DBGA ( R7.L , 0x1 ); + CC = AC0; R7 = CC; DBGA ( R7.L , 0x1 ); + +// one result overflows positive and cross + R0.L = 0x0001; + R0.H = 0x0010; + R1.L = 0x7fff; + R1.H = 0x0010; + R7 = 0; + ASTAT = R7; + R7 = R0 +|+ R1 (CO); + DBGA ( R7.L , 0x0020 ); + DBGA ( R7.H , 0x8000 ); + CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); + CC = AN; R7 = CC; DBGA ( R7.L , 0x1 ); + CC = V; R7 = CC; DBGA ( R7.L , 0x1 ); + CC = AC0; R7 = CC; DBGA ( R7.L , 0x0 ); + +// one result saturates negative and cross + R0.L = 0xffff; + R0.H = 0x0010; + R1.L = 0x8000; + R1.H = 0x0010; + R7 = 0; + ASTAT = R7; + R7 = R0 +|+ R1 (SCO); + DBGA ( R7.L , 0x0020 ); + DBGA ( R7.H , 0x8000 ); + CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); + CC = AN; R7 = CC; DBGA ( R7.L , 0x1 ); + CC = V; R7 = CC; DBGA ( R7.L , 0x1 ); + CC = AC0; R7 = CC; DBGA ( R7.L , 0x1 ); + + pass |