diff options
Diffstat (limited to 'sim/testsuite/bfin/m5.s')
-rw-r--r-- | sim/testsuite/bfin/m5.s | 153 |
1 files changed, 153 insertions, 0 deletions
diff --git a/sim/testsuite/bfin/m5.s b/sim/testsuite/bfin/m5.s new file mode 100644 index 00000000000..e39a2e0477c --- /dev/null +++ b/sim/testsuite/bfin/m5.s @@ -0,0 +1,153 @@ +// Test result extraction of mac instructions. +// Test basic edge values +// SIGNED FRACTIONAL mode into SINGLE destination register +// test ops: "+=" +# 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 ++ ]; + +// simple extraction with no saturation +// 0x7fff * 0x7fff = 0x007ffe0002 -> 0x7ffe + R7 = 0; + ASTAT = R7; + A1 = A0 = 0; + R5.H = (A1 += R0.L * R1.L), R5.L = (A0 += R0.L * R1.L); + DBGA ( R5.L , 0x7ffe ); + DBGA ( R5.H , 0x7ffe ); + _DBG ASTAT; + R7 = ASTAT; + DBGA (R7.H, 0x0); + DBGA (R7.L, 0x0); + +// positive saturation at 32 bits +// 0x0 * 0x0 + 0x7ff0000000 -> 0x7fff + R7 = 0; + ASTAT = R7; + A1 = A0 = 0; + A1.w = R2; + A1.x = R3.L; + A0.x = R3.L; + A0.w = R2; + R5.H = (A1 += R0.L * R2.L), R5.L = (A0 += R0.L * R2.L); + _DBG A1; + _DBG A0; + DBGA ( R5.L , 0x7fff ); + DBGA ( R5.H , 0x7fff ); + _DBG ASTAT; + R7 = ASTAT; + _DBG R7; + DBGA (R7.H, 0x300); + DBGA (R7.L, 0x8); + +// positive saturation at 32 bits +// 0x7fff * 0x7fff + 0x7ff0000000 -> 0x7fff + R7 = 0; + ASTAT = R7; + A1 = A0 = 0; + A1.w = R2; + A1.x = R3.L; + A0.w = R2; + A0.x = R3.L; + R5.H = (A1 += R0.L * R1.L), R5.L = (A0 += R0.L * R1.L); + DBGA ( R5.L , 0x7fff ); + DBGA ( R5.H , 0x7fff ); + _DBG ASTAT; + R7 = ASTAT; + DBGA (R7.H, 0x30f); + DBGA (R7.L, 0x8); + +// negative saturation at 32 bits +// 0x0 * 0x0 + 0x80f0000000 -> 0x8000 + R7 = 0; + ASTAT = R7; + A1 = A0 = 0; + A1.w = R2; + A1.x = R4.L; + A0.w = R2; + A0.x = R4.L; + R5.H = (A1 += R0.L * R2.L), R5.L = (A0 += R0.L * R2.L); + DBGA ( R5.L , 0x8000 ); + DBGA ( R5.H , 0x8000 ); + _DBG A1; + _DBG A0; + _DBG ASTAT; + R7=ASTAT; + _DBG R7; + DBGA (R7.H, 0x300); + DBGA (R7.L, 0x0008); + +// negative saturation at 32 bits +// 0x7fff * 0x8000 + 0x80f0000000 -> 0x8000 + R7 = 0; + ASTAT = R7; + A1 = A0 = 0; + A1.w = R2; + A1.x = R4.L; + A0.w = R2; + A0.x = R4.L; + R5.H = (A1 += R0.H * R1.L), R5.L = (A0 += R0.H * R1.L); + DBGA ( R5.L , 0x8000 ); + DBGA ( R5.H , 0x8000 ); + R7=ASTAT; + _DBG ASTAT; + DBGA (R7.H, 0x300); + DBGA (R7.L, 0x0008); + +// negative saturation at 32 bits on MAC only +// 0x7fff * 0x8000 + 0x80f0000000 -> 0x8000 + R7 = 0; + ASTAT = R7; + A1 = A0 = 0; + A0.w = R2; + A0.x = R4.L; + _DBG ASTAT; + R5.H = A1, R5.L = (A0 += R0.H * R1.L); + _DBG A0; + DBGA ( R5.L , 0x8000 ); + DBGA ( R5.H , 0x0000 ); + R7=ASTAT; + _DBG ASTAT; + DBGA (R7.H, 0x300); + DBGA (R7.L, 0x0009); + +// 0x0100 * 0x0100 = 0x00020000 -> 0x0002 + R7 = 0; + ASTAT = R7; + R0.L = 0x0100; + R1.L = 0x0100; + A1 = A0 = 0; + R5.H = (A1 = R0.L * R1.L), R5.L = (A0 = R0.L * R1.L) (T); + DBGA ( R5.L , 0x0002 ); + DBGA ( R5.H , 0x0002 ); + R7 = ASTAT; + DBGA (R7.H, 0x000); + DBGA (R7.L, 0x000); + + pass + + .data +data0: + .dw 0x7fff + .dw 0x8000 + .dw 0x7fff + .dw 0x8000 + .dw 0x0000 + .dw 0xf000 + .dw 0x007f + .dw 0x0000 + .dw 0x0080 + .dw 0x0000 |