| //Original:/testcases/core/c_dsp32mult_dr_mix/c_dsp32mult_dr_mix.dsp |
| // Spec Reference: dsp32mult single dr (mix) u i t is tu ih |
| # mach: bfin |
| |
| .include "testutils.inc" |
| start |
| |
| // test the default (signed fraction) rounding U=0 I=0 T=0 |
| imm32 r0, 0xab235615; |
| imm32 r1, 0xcfba5117; |
| imm32 r2, 0x13246715; |
| imm32 r3, 0x00060017; |
| imm32 r4, 0x90abcd19; |
| imm32 r5, 0x10acef1b; |
| imm32 r6, 0x000c001d; |
| imm32 r7, 0x1246701f; |
| R2.H = R1.L * R0.L, R2.L = R1.L * R0.L; |
| R3.L = R1.L * R0.H (ISS2); |
| R4.H = R1.H * R0.L; |
| R5.H = R1.L * R0.H (M), R5.L = R1.H * R0.H; |
| R6.H = R1.H * R0.L, R6.L = R1.L * R0.L; |
| R7.H = R1.H * R0.H (M), R7.L = R1.H * R0.H; |
| CHECKREG r2, 0x36893689; |
| CHECKREG r3, 0x00068000; |
| CHECKREG r4, 0xDF89CD19; |
| CHECKREG r5, 0x36352001; |
| CHECKREG r6, 0xDF893689; |
| CHECKREG r7, 0xDFBB2001; |
| |
| // test the signed integer U=0 I=1 |
| imm32 r0, 0x8b235625; |
| imm32 r1, 0x9fba5127; |
| imm32 r2, 0xa3246725; |
| imm32 r3, 0x00060027; |
| imm32 r4, 0xb0abcd29; |
| imm32 r5, 0x10acef2b; |
| imm32 r6, 0xc00c002d; |
| imm32 r7, 0xd246702f; |
| R2.H = R1.L * R0.L, R2.L = R1.L * R0.L (TFU); |
| R3.H = R1.L * R0.L, R3.L = R1.L * R0.H (IS); |
| R4.H = R1.L * R0.L, R4.L = R1.H * R0.L (ISS2); |
| R5.H = R1.L * R0.L, R5.L = R1.H * R0.H (IS); |
| R6.H = R1.L * R0.H, R6.L = R1.L * R0.L (IS); |
| R7.H = R1.L * R0.H, R7.L = R1.L * R0.H (IH); |
| CHECKREG r0, 0x8B235625; |
| CHECKREG r1, 0x9FBA5127; |
| CHECKREG r2, 0x1B4E1B4E; |
| CHECKREG r3, 0x7FFF8000; |
| CHECKREG r4, 0x7FFF8000; |
| CHECKREG r5, 0x7FFF7FFF; |
| CHECKREG r6, 0x80007FFF; |
| CHECKREG r7, 0xDAF4DAF4; |
| |
| imm32 r0, 0x5b23a635; |
| imm32 r1, 0x6fba5137; |
| imm32 r2, 0x1324b735; |
| imm32 r3, 0x90060037; |
| imm32 r4, 0x80abcd39; |
| imm32 r5, 0xb0acef3b; |
| imm32 r6, 0xa00c003d; |
| imm32 r7, 0x12467003; |
| R0.H = R3.L * R2.H, R0.L = R3.H * R2.L (IS); |
| R1.H = R3.L * R2.H, R1.L = R3.H * R2.H (ISS2); |
| R4.H = R3.H * R2.L, R4.L = R3.L * R2.L (IS); |
| R5.H = R3.H * R2.L, R5.L = R3.L * R2.H (IS); |
| R6.H = R3.H * R2.L, R6.L = R3.H * R2.L (IH); |
| R7.H = R3.H * R2.L, R7.L = R3.H * R2.H (IS); |
| CHECKREG r0, 0x7FFF7FFF; |
| CHECKREG r1, 0x7FFF8000; |
| CHECKREG r2, 0x1324B735; |
| CHECKREG r3, 0x90060037; |
| CHECKREG r4, 0x7FFF8000; |
| CHECKREG r5, 0x7FFF7FFF; |
| CHECKREG r6, 0x1FD71FD7; |
| CHECKREG r7, 0x7FFF8000; |
| |
| imm32 r0, 0x1b235655; |
| imm32 r1, 0xc4ba5157; |
| imm32 r2, 0x63246755; |
| imm32 r3, 0x00060055; |
| imm32 r4, 0x90abc509; |
| imm32 r5, 0x10acef5b; |
| imm32 r6, 0xb00c005d; |
| imm32 r7, 0x1246705f; |
| R0.H = R5.H * R4.H, R0.L = R5.L * R4.L (IS); |
| R1.H = R5.H * R4.H, R1.L = R5.L * R4.H (ISS2); |
| R2.H = R5.H * R4.H, R2.L = R5.H * R4.L (IS); |
| R3.H = R5.H * R4.H, R3.L = R5.H * R4.H (IS); |
| R4.H = R6.H * R7.L, R4.L = R6.H * R7.L (IH); |
| R5.H = R6.L * R7.H, R5.L = R6.H * R7.H (IS); |
| CHECKREG r0, 0x80007FFF; |
| CHECKREG r1, 0x80007FFF; |
| CHECKREG r2, 0x80008000; |
| CHECKREG r3, 0x80008000; |
| CHECKREG r4, 0xDCE8DCE8; |
| CHECKREG r5, 0x7FFF8000; |
| CHECKREG r6, 0xB00C005D; |
| CHECKREG r7, 0x1246705F; |
| |
| imm32 r0, 0xbb235666; |
| imm32 r1, 0xefba5166; |
| imm32 r2, 0x13248766; |
| imm32 r3, 0xf0060066; |
| imm32 r4, 0x90ab9d69; |
| imm32 r5, 0x10acef6b; |
| imm32 r6, 0x800cb06d; |
| imm32 r7, 0x1246706f; |
| // test the unsigned U=1 |
| R2.H = R1.L * R0.L, R2.L = R1.L * R0.L (FU); |
| R3.H = R1.L * R0.L, R3.L = R1.L * R0.H (ISS2); |
| R4.H = R7.L * R6.L, R4.L = R7.H * R6.L (FU); |
| R5.H = R3.L * R2.L (M), R5.L = R3.H * R2.H (FU); |
| R6.H = R5.L * R4.H, R6.L = R5.L * R4.L (TFU); |
| R7.H = R5.L * R4.H, R7.L = R5.L * R4.H (FU); |
| CHECKREG r0, 0xBB235666; |
| CHECKREG r1, 0xEFBA5166; |
| CHECKREG r2, 0x1B791B79; |
| CHECKREG r3, 0x7FFF8000; |
| CHECKREG r4, 0x4D7C0C98; |
| CHECKREG r5, 0xF2440DBC; |
| CHECKREG r6, 0x042800AC; |
| CHECKREG r7, 0x04280428; |
| |
| imm32 r0, 0xab23a675; |
| imm32 r1, 0xcfba5127; |
| imm32 r2, 0x13246705; |
| imm32 r3, 0x00060007; |
| imm32 r4, 0x90abcd09; |
| imm32 r5, 0x10acdfdb; |
| imm32 r6, 0x000c000d; |
| imm32 r7, 0x1246f00f; |
| R0.H = R5.L * R4.H, R0.L = R5.H * R4.L (FU); |
| R1.H = R3.L * R2.H, R1.L = R3.H * R2.H (IU); |
| R2.H = R7.H * R6.L, R2.L = R7.L * R6.L (TFU); |
| R3.H = R5.H * R4.L, R3.L = R5.L * R4.H (FU); |
| R6.H = R1.H * R0.L, R6.L = R1.H * R0.L (IH); |
| R7.H = R3.H * R2.L, R7.L = R3.H * R2.H (FU); |
| CHECKREG r0, 0x7E810D5A; |
| CHECKREG r1, 0x85FC72D8; |
| CHECKREG r2, 0x0000000C; |
| CHECKREG r3, 0x0D5A7E81; |
| CHECKREG r4, 0x90ABCD09; |
| CHECKREG r5, 0x10ACDFDB; |
| CHECKREG r6, 0xF9A3F9A3; |
| CHECKREG r7, 0x00010000; |
| |
| imm32 r0, 0xab235a75; |
| imm32 r1, 0xcfba5127; |
| imm32 r2, 0x13246905; |
| imm32 r3, 0x00060007; |
| imm32 r4, 0x90abcd09; |
| imm32 r5, 0x10ace9db; |
| imm32 r6, 0x000c0d0d; |
| imm32 r7, 0x1246700f; |
| R2.H = R1.H * R0.H, R2.L = R1.L * R0.L (TFU); |
| R3.H = R1.H * R0.L, R3.L = R1.L * R0.H (FU); |
| R4.H = R6.H * R7.H, R4.L = R6.H * R7.L (ISS2); |
| R5.H = R6.L * R7.H, R5.L = R6.H * R7.H (FU); |
| CHECKREG r0, 0xAB235A75; |
| CHECKREG r1, 0xCFBA5127; |
| CHECKREG r2, 0x8ADD1CAC; |
| CHECKREG r3, 0x49663640; |
| CHECKREG r4, 0x7FFF7FFF; |
| CHECKREG r5, 0x00EE0001; |
| CHECKREG r6, 0x000C0D0D; |
| CHECKREG r7, 0x1246700F; |
| |
| // test the ROUNDING only on signed fraction T=1 |
| imm32 r0, 0xab235675; |
| imm32 r1, 0xcfba5127; |
| imm32 r2, 0x13246705; |
| imm32 r3, 0x00060007; |
| imm32 r4, 0x90abcd09; |
| imm32 r5, 0x10acefdb; |
| imm32 r6, 0x000c000d; |
| imm32 r7, 0x1246700f; |
| R2.H = R1.L * R0.L (M), R2.L = R1.L * R0.H (IS); |
| R3.H = R1.H * R0.L (M), R3.L = R1.H * R0.H (FU); |
| R0.H = R3.L * R2.L (M), R0.L = R3.H * R2.H (T); |
| R1.H = R5.L * R4.H (M), R1.L = R5.L * R4.L (S2RND); |
| R4.H = R7.H * R6.H (M), R4.L = R7.L * R6.L (IU); |
| R5.H = R7.L * R6.H (M), R5.L = R7.H * R6.L (TFU); |
| R6.H = R5.H * R4.L (M), R6.L = R5.L * R4.H (ISS2); |
| R7.H = R3.L * R2.H (M), R7.L = R3.L * R2.L (IH); |
| CHECKREG r0, 0xC56FEFB2; |
| CHECKREG r1, 0xEDC10CDB; |
| CHECKREG r2, 0x7FFF8000; |
| CHECKREG r3, 0xEFB28ADE; |
| CHECKREG r4, 0x7FFFFFFF; |
| CHECKREG r5, 0x00050000; |
| CHECKREG r6, 0x7FFF0000; |
| CHECKREG r7, 0xC56F3A91; |
| |
| |
| |
| pass |