| // MAC test program. |
| // Test basic edge values |
| // SIGNED FRACTIONAL mode |
| // test ops: "+=" "-=" "=" "NOP" |
| # mach: bfin |
| |
| .include "testutils.inc" |
| start |
| |
| |
| // load r0=0x80007fff |
| // load r1=0x80007fff |
| // load r2=0xf0000000 |
| // load r3=0x0000007f |
| // load r4=0x00000080 |
| loadsym P0, data0; |
| R0 = [ P0 ++ ]; |
| R1 = [ P0 ++ ]; |
| R2 = [ P0 ++ ]; |
| R3 = [ P0 ++ ]; |
| R4 = [ P0 ++ ]; |
| |
| // 0x7fff * 0x7fff = 0x007ffe0002 |
| R7 = 0; |
| ASTAT = R7; |
| A1 = A0 = 0; |
| A1 += R0.L * R1.L, A0 += R0.L * R1.L; |
| R6 = A1.w; |
| _DBG ASTAT; |
| _DBG A0; |
| R7.L = A1.x; |
| _DBG ASTAT; |
| DBGA ( R6.L , 0x0002 ); |
| DBGA ( R6.H , 0x7ffe ); |
| DBGA ( R7.L , 0x0000 ); |
| CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AN; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AC0; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AV0; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AV1; R7 = CC; DBGA ( R7.L , 0x0 ); |
| |
| // 0x8000 * 0x7fff = 0xff80010000 |
| R7 = 0; |
| ASTAT = R7; |
| A1 = A0 = 0; |
| A1 += R0.H * R1.L, A0 += R0.H * R1.L; |
| R6 = A1.w; |
| R7.L = A1.x; |
| DBGA ( R6.L , 0x0000 ); |
| DBGA ( R6.H , 0x8001 ); |
| DBGA ( R7.L , 0xffff ); |
| _DBG ASTAT; |
| R7 = ASTAT; |
| DBGA (R7.H, 0x0); |
| DBGA (R7.L, 0x0); |
| |
| // 0x8000 * 0x8000 = 0x007fffffff |
| R7 = 0; |
| ASTAT = R7; |
| A1 = A0 = 0; |
| A1 += R0.H * R1.H, A0 += R0.H * R1.H; |
| R6 = A1.w; |
| R7.L = A1.x; |
| DBGA ( R6.L , 0x0000 ); |
| DBGA ( R6.H , 0x8000 ); |
| DBGA ( R7.L , 0x0000 ); |
| CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AN; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AC0; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AV0; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AV1; R7 = CC; DBGA ( R7.L , 0x0 ); |
| |
| // saturate positive by first loading large value into accums |
| // expected value is 0x7fffffffff |
| R7 = 0; |
| ASTAT = R7; |
| A1 = A0 = 0; |
| A1.w = R2; |
| A1.x = R3.L; |
| A0.w = R2; |
| A0.x = R3.L; |
| A1 += R0.L * R1.L, A0 += R0.L * R1.L; |
| R6 = A1.w; |
| R7.L = A1.x; |
| DBGA ( R6.L , 0xffff ); |
| DBGA ( R6.H , 0xffff ); |
| DBGA ( R7.L , 0x007f ); |
| CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AN; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AC0; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AV0; R7 = CC; DBGA ( R7.L , 0x1 ); |
| CC = AV1; R7 = CC; DBGA ( R7.L , 0x1 ); |
| |
| // saturate negative |
| // expected value is 0x8000000000 |
| R7 = 0; |
| ASTAT = R7; |
| A1 = A0 = 0; |
| A1.x = R4.L; |
| A0.x = R4.L; |
| A1 += R0.L * R1.H, A0 += R0.L * R1.H; |
| R6 = A1.w; |
| _DBG ASTAT; |
| R7.L = A1.x; |
| _DBG ASTAT; |
| DBGA ( R6.L , 0x0000 ); |
| DBGA ( R6.H , 0x0000 ); |
| DBGA ( R7.L , 0xff80 ); |
| CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AN; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AC0; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AV0; R7 = CC; DBGA ( R7.L , 0x1 ); |
| CC = AV1; R7 = CC; DBGA ( R7.L , 0x1 ); |
| |
| // saturate positive with "-=" |
| // expected value is 0x7fffffffff |
| R7 = 0; |
| ASTAT = R7; |
| A1 = A0 = 0; |
| A1.w = R2; |
| A1.x = R3.L; |
| A0.w = R2; |
| A0.x = R3.L; |
| A1 -= R0.H * R1.L, A0 -= R0.H * R1.L; |
| R6 = A1.w; |
| R7.L = A1.x; |
| DBGA ( R6.L , 0xffff ); |
| DBGA ( R6.H , 0xffff ); |
| DBGA ( R7.L , 0x007f ); |
| CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AN; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AC0; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AV0; R7 = CC; DBGA ( R7.L , 0x1 ); |
| CC = AV1; R7 = CC; DBGA ( R7.L , 0x1 ); |
| |
| // saturate negative with "-=" |
| // expected value is 0x8000000000 |
| R7 = 0; |
| ASTAT = R7; |
| A1 = A0 = 0; |
| A1.x = R4.L; |
| A0.x = R4.L; |
| A1 -= R0.L * R1.L, A0 -= R0.L * R1.L; |
| R6 = A1.w; |
| _DBG ASTAT; |
| R7.L = A1.x; |
| _DBG ASTAT; |
| DBGA ( R6.L , 0x0000 ); |
| DBGA ( R6.H , 0x0000 ); |
| DBGA ( R7.L , 0xff80 ); |
| CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AN; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AC0; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AV0; R7 = CC; DBGA ( R7.L , 0x1 ); |
| CC = AV1; R7 = CC; DBGA ( R7.L , 0x1 ); |
| |
| // 0x8000 * 0x8000 = 0xff80000001 with "-=" |
| R7 = 0; |
| ASTAT = R7; |
| A1 = A0 = 0; |
| A1 -= R0.H * R1.H, A0 -= R0.H * R1.H; |
| R6 = A1.w; |
| _DBG ASTAT; |
| R7.L = A1.x; |
| _DBG ASTAT; |
| |
| DBGA ( R6.L , 0x0000 ); |
| DBGA ( R6.H , 0x8000 ); |
| DBGA ( R7.L , 0xffff ); |
| CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AN; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AC0; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AV0; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AV1; R7 = CC; DBGA ( R7.L , 0x0 ); |
| |
| // 0x7fff * 0x7fff = 0x007ffe0002 with "=" |
| R7 = 0; |
| ASTAT = R7; |
| A1 = A0 = 0; |
| A1 += R0.L * R1.L, A0 += R0.L * R1.L; |
| A1 = R0.L * R1.L, A0 = R0.L * R1.L; |
| R6 = A1.w; |
| R7.L = A1.x; |
| DBGA ( R6.L , 0x0002 ); |
| DBGA ( R6.H , 0x7ffe ); |
| DBGA ( R7.L , 0x0000 ); |
| CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AN; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AC0; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AV0; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AV1; R7 = CC; DBGA ( R7.L , 0x0 ); |
| |
| // 0x7fff * 0x7fff = 0x007ffe0002 with "NOP" |
| R7 = 0; |
| ASTAT = R7; |
| A1 = A0 = 0; |
| A1 += R0.L * R1.L; |
| R6 = A1.w; |
| R7.L = A1.x; |
| DBGA ( R6.L , 0x0002 ); |
| DBGA ( R6.H , 0x7ffe ); |
| DBGA ( R7.L , 0x0000 ); |
| R6 = A0.w; |
| R7.L = A0.x; |
| DBGA ( R6.L , 0x0000 ); |
| DBGA ( R6.H , 0x0000 ); |
| DBGA ( R7.L , 0x0000 ); |
| CC = AZ; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AN; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AC0; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AV0; R7 = CC; DBGA ( R7.L , 0x0 ); |
| CC = AV1; R7 = CC; DBGA ( R7.L , 0x0 ); |
| |
| // 0x8000 * 0x8000 = 0x007fffffff with "NOP" |
| R7 = 0; |
| ASTAT = R7; |
| A1 = A0 = 0; |
| A1 += R0.H * R1.H; |
| _DBG A1; |
| R6 = A1.w; |
| R7.L = A1.x; |
| DBGA ( R6.L , 0x0000 ); |
| DBGA ( R6.H , 0x8000 ); |
| DBGA ( R7.L , 0x0000 ); |
| |
| R6 = A0.w; |
| _DBG ASTAT; |
| R7.L = A0.x; |
| _DBG ASTAT; |
| DBGA ( R6.L , 0x0000 ); |
| DBGA ( R6.H , 0x0000 ); |
| DBGA ( R7.L , 0x0000 ); |
| R7 = ASTAT; _dbg astat; |
| //AV1 AV1S should be 0. |
| DBGA ( R7.H , 0x0000 ); |
| DBGA ( R7.L , 0x0000 ); |
| |
| _DBG ASTAT; |
| A1 = A0 = 0; |
| _DBG A1; |
| _DBG R0; _DBG R1; |
| A1 += R0.L * R1.L; // make sure overflow flag is not set to zero |
| _DBG A1; |
| _DBG ASTAT; |
| R7 = ASTAT; |
| //AV1S should be 0. |
| DBGA ( R7.H, 0x0000 ); |
| DBGA ( R7.L, 0x0000 ); |
| |
| pass |
| |
| .data |
| data0: |
| .dw 0x7fff |
| .dw 0x8000 |
| .dw 0x7fff |
| .dw 0x8000 |
| .dw 0x0000 |
| .dw 0xf000 |
| .dw 0x007f |
| .dw 0x0000 |
| .dw 0x0080 |
| .dw 0x0000 |