| # frv testcase for smul $GRi,$GRj,$GRk |
| # mach: all |
| |
| .include "testutils.inc" |
| |
| start |
| |
| .global smul |
| smul: |
| ; Positive operands |
| set_gr_immed 3,gr7 ; multiply small numbers |
| set_gr_immed 2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 0,gr8 |
| test_gr_immed 6,gr9 |
| |
| set_gr_immed 1,gr7 ; multiply by 1 |
| set_gr_immed 2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 0,gr8 |
| test_gr_immed 2,gr9 |
| |
| set_gr_immed 2,gr7 ; multiply by 1 |
| set_gr_immed 1,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 0,gr8 |
| test_gr_immed 2,gr9 |
| |
| set_gr_immed 0,gr7 ; multiply by 0 |
| set_gr_immed 2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 0,gr8 |
| test_gr_immed 0,gr9 |
| |
| set_gr_immed 2,gr7 ; multiply by 0 |
| set_gr_immed 0,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 0,gr8 |
| test_gr_immed 0,gr9 |
| |
| set_gr_limmed 0x3fff,0xffff,gr7 ; 31 bit result |
| set_gr_immed 2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 0,gr8 |
| test_gr_limmed 0x7fff,0xfffe,gr9 |
| |
| set_gr_limmed 0x4000,0x0000,gr7 ; 32 bit result |
| set_gr_immed 2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 0,gr8 |
| test_gr_limmed 0x8000,0x0000,gr9 |
| |
| set_gr_limmed 0x4000,0x0000,gr7 ; 33 bit result |
| set_gr_immed 4,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 1,gr8 |
| test_gr_limmed 0x0000,0x0000,gr9 |
| |
| set_gr_limmed 0x7fff,0xffff,gr7 ; max positive result |
| set_gr_limmed 0x7fff,0xffff,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_limmed 0x3fff,0xffff,gr8 |
| test_gr_immed 0x00000001,gr9 |
| |
| ; Mixed operands |
| set_gr_immed -3,gr7 ; multiply small numbers |
| set_gr_immed 2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed -1,gr8 |
| test_gr_immed -6,gr9 |
| |
| set_gr_immed 3,gr7 ; multiply small numbers |
| set_gr_immed -2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed -1,gr8 |
| test_gr_immed -6,gr9 |
| |
| set_gr_immed 1,gr7 ; multiply by 1 |
| set_gr_immed -2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed -1,gr8 |
| test_gr_immed -2,gr9 |
| |
| set_gr_immed -2,gr7 ; multiply by 1 |
| set_gr_immed 1,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed -1,gr8 |
| test_gr_immed -2,gr9 |
| |
| set_gr_immed 0,gr7 ; multiply by 0 |
| set_gr_immed -2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 0,gr8 |
| test_gr_immed 0,gr9 |
| |
| set_gr_immed -2,gr7 ; multiply by 0 |
| set_gr_immed 0,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 0,gr8 |
| test_gr_immed 0,gr9 |
| |
| set_gr_limmed 0x2000,0x0001,gr7 ; 31 bit result |
| set_gr_immed -2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_limmed 0xffff,0xffff,gr8 |
| test_gr_limmed 0xbfff,0xfffe,gr9 |
| |
| set_gr_limmed 0x4000,0x0000,gr7 ; 32 bit result |
| set_gr_immed -2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_limmed 0xffff,0xffff,gr8 |
| test_gr_limmed 0x8000,0x0000,gr9 |
| |
| set_gr_limmed 0x4000,0x0001,gr7 ; 32 bit result |
| set_gr_immed -2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_limmed 0xffff,0xffff,gr8 |
| test_gr_limmed 0x7fff,0xfffe,gr9 |
| |
| set_gr_limmed 0x4000,0x0000,gr7 ; 33 bit result |
| set_gr_immed -4,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_limmed 0xffff,0xffff,gr8 |
| test_gr_limmed 0x0000,0x0000,gr9 |
| |
| set_gr_limmed 0x7fff,0xffff,gr7 ; max negative result |
| set_gr_limmed 0x8000,0x0000,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_limmed 0xc000,0x0000,gr8 |
| test_gr_limmed 0x8000,0x0000,gr9 |
| |
| ; Negative operands |
| set_gr_immed -3,gr7 ; multiply small numbers |
| set_gr_immed -2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 0,gr8 |
| test_gr_immed 6,gr9 |
| |
| set_gr_immed -1,gr7 ; multiply by 1 |
| set_gr_immed -2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 0,gr8 |
| test_gr_immed 2,gr9 |
| |
| set_gr_immed -2,gr7 ; multiply by 1 |
| set_gr_immed -1,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 0,gr8 |
| test_gr_immed 2,gr9 |
| |
| set_gr_limmed 0xc000,0x0001,gr7 ; 31 bit result |
| set_gr_immed -2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 0,gr8 |
| test_gr_limmed 0x7fff,0xfffe,gr9 |
| |
| set_gr_limmed 0xc000,0x0000,gr7 ; 32 bit result |
| set_gr_immed -2,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 0,gr8 |
| test_gr_limmed 0x8000,0x0000,gr9 |
| |
| set_gr_limmed 0xc000,0x0000,gr7 ; 33 bit result |
| set_gr_immed -4,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_immed 1,gr8 |
| test_gr_immed 0x00000000,gr9 |
| |
| set_gr_limmed 0x8000,0x0001,gr7 ; almost max positive result |
| set_gr_limmed 0x8000,0x0001,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_limmed 0x3fff,0xffff,gr8 |
| test_gr_immed 0x00000001,gr9 |
| |
| |
| set_gr_limmed 0x8000,0x0000,gr7 ; max positive result |
| set_gr_limmed 0x8000,0x0000,gr8 |
| smul gr7,gr8,gr8 |
| test_gr_limmed 0x4000,0x0000,gr8 |
| test_gr_immed 0x00000000,gr9 |
| |
| pass |
