| # frv testcase for maveh $FRi,$FRj,$FRj on fr400 machines |
| # mach: all |
| |
| .include "../testutils.inc" |
| |
| start |
| |
| .global maveh |
| maveh: |
| ; Test Rounding toward positive infinity via RDAV |
| or_spr_immed 0x20000000,msr0 |
| and_spr_immed 0xefffffff,msr0 |
| |
| set_fr_iimmed 0x0000,0x0000,fr10 |
| set_fr_iimmed 0x0000,0x0000,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x0000,0x0000,fr12 |
| |
| set_fr_iimmed 0x0001,0x0000,fr10 |
| set_fr_iimmed 0x0002,0x0001,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x0002,0x0001,fr12 |
| |
| set_fr_iimmed 0x0000,0xffff,fr10 |
| set_fr_iimmed 0xffff,0xfffe,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x0000,0xffff,fr12 |
| |
| set_fr_iimmed 0xdead,0x0000,fr10 |
| set_fr_iimmed 0x0000,0xbeef,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xef57,0xdf78,fr12 |
| |
| set_fr_iimmed 0x0000,0xdead,fr10 |
| set_fr_iimmed 0xbeef,0x0000,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xdf78,0xef57,fr12 |
| |
| set_fr_iimmed 0x1234,0x5678,fr10 |
| set_fr_iimmed 0x1111,0x1111,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x11a3,0x33c5,fr12 |
| |
| set_fr_iimmed 0x1234,0x5678,fr10 |
| set_fr_iimmed 0xffff,0xffff,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x091a,0x2b3c,fr12 |
| |
| set_fr_iimmed 0x7ffe,0x7ffe,fr10 |
| set_fr_iimmed 0x0002,0x0001,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x4000,0x4000,fr12 |
| |
| set_fr_iimmed 0x8001,0x8001,fr10 |
| set_fr_iimmed 0xffff,0xfffe,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xc000,0xc000,fr12 |
| |
| set_fr_iimmed 0x8001,0x8001,fr10 |
| set_fr_iimmed 0xfffe,0xfffe,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xc000,0xc000,fr12 |
| |
| set_fr_iimmed 0x8000,0x8000,fr10 |
| set_fr_iimmed 0x7fff,0x7fff,fr11 |
| maveh.p fr10,fr10,fr12 |
| maveh fr11,fr11,fr13 |
| test_fr_limmed 0x8000,0x8000,fr12 |
| test_fr_limmed 0x7fff,0x7fff,fr13 |
| |
| ; Test Rounding toward nearest via RD |
| or_spr_immed 0x10000000,msr0 |
| and_spr_immed 0x3fffffff,msr0 |
| |
| set_fr_iimmed 0x0000,0x0000,fr10 |
| set_fr_iimmed 0x0000,0x0000,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x0000,0x0000,fr12 |
| |
| set_fr_iimmed 0x0001,0x0000,fr10 |
| set_fr_iimmed 0x0002,0x0001,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x0002,0x0001,fr12 |
| |
| set_fr_iimmed 0x0000,0xffff,fr10 |
| set_fr_iimmed 0xffff,0xfffe,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xffff,0xfffe,fr12 |
| |
| set_fr_iimmed 0xdead,0x0000,fr10 |
| set_fr_iimmed 0x0000,0xbeef,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xef56,0xdf77,fr12 |
| |
| set_fr_iimmed 0x0000,0xdead,fr10 |
| set_fr_iimmed 0xbeef,0x0000,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xdf77,0xef56,fr12 |
| |
| set_fr_iimmed 0x1234,0x5678,fr10 |
| set_fr_iimmed 0x1111,0x1111,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x11a3,0x33c5,fr12 |
| |
| set_fr_iimmed 0x1234,0x5678,fr10 |
| set_fr_iimmed 0xffff,0xffff,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x091a,0x2b3c,fr12 |
| |
| set_fr_iimmed 0x7ffe,0x7ffe,fr10 |
| set_fr_iimmed 0x0002,0x0001,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x4000,0x4000,fr12 |
| |
| set_fr_iimmed 0x8001,0x8001,fr10 |
| set_fr_iimmed 0xffff,0xfffe,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xc000,0xbfff,fr12 |
| |
| set_fr_iimmed 0x8001,0x8001,fr10 |
| set_fr_iimmed 0xfffe,0xfffe,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xbfff,0xbfff,fr12 |
| |
| set_fr_iimmed 0x8000,0x8000,fr10 |
| set_fr_iimmed 0x7fff,0x7fff,fr11 |
| maveh.p fr10,fr10,fr12 |
| maveh fr11,fr11,fr13 |
| test_fr_limmed 0x8000,0x8000,fr12 |
| test_fr_limmed 0x7fff,0x7fff,fr13 |
| |
| ; Test Rounding toward zero via RD |
| or_spr_immed 0x50000000,msr0 |
| and_spr_immed 0x7fffffff,msr0 |
| |
| set_fr_iimmed 0x0000,0x0000,fr10 |
| set_fr_iimmed 0x0000,0x0000,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x0000,0x0000,fr12 |
| |
| set_fr_iimmed 0x0001,0x0000,fr10 |
| set_fr_iimmed 0x0002,0x0001,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x0001,0x0000,fr12 |
| |
| set_fr_iimmed 0x0000,0xffff,fr10 |
| set_fr_iimmed 0xffff,0xfffe,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x0000,0xffff,fr12 |
| |
| set_fr_iimmed 0xdead,0x0000,fr10 |
| set_fr_iimmed 0x0000,0xbeef,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xef57,0xdf78,fr12 |
| |
| set_fr_iimmed 0x0000,0xdead,fr10 |
| set_fr_iimmed 0xbeef,0x0000,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xdf78,0xef57,fr12 |
| |
| set_fr_iimmed 0x1234,0x5678,fr10 |
| set_fr_iimmed 0x1111,0x1111,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x11a2,0x33c4,fr12 |
| |
| set_fr_iimmed 0x1234,0x5678,fr10 |
| set_fr_iimmed 0xffff,0xffff,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x0919,0x2b3b,fr12 |
| |
| set_fr_iimmed 0x7ffe,0x7ffe,fr10 |
| set_fr_iimmed 0x0002,0x0001,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x4000,0x3fff,fr12 |
| |
| set_fr_iimmed 0x8001,0x8001,fr10 |
| set_fr_iimmed 0xffff,0xfffe,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xc000,0xc000,fr12 |
| |
| set_fr_iimmed 0x8001,0x8001,fr10 |
| set_fr_iimmed 0xfffe,0xfffe,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xc000,0xc000,fr12 |
| |
| set_fr_iimmed 0x8000,0x8000,fr10 |
| set_fr_iimmed 0x7fff,0x7fff,fr11 |
| maveh.p fr10,fr10,fr12 |
| maveh fr11,fr11,fr13 |
| test_fr_limmed 0x8000,0x8000,fr12 |
| test_fr_limmed 0x7fff,0x7fff,fr13 |
| |
| ; Test Rounding toward positive infinity via RD |
| or_spr_immed 0x90000000,msr0 |
| and_spr_immed 0xbfffffff,msr0 |
| |
| set_fr_iimmed 0x0000,0x0000,fr10 |
| set_fr_iimmed 0x0000,0x0000,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x0000,0x0000,fr12 |
| |
| set_fr_iimmed 0x0001,0x0000,fr10 |
| set_fr_iimmed 0x0002,0x0001,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x0002,0x0001,fr12 |
| |
| set_fr_iimmed 0x0000,0xffff,fr10 |
| set_fr_iimmed 0xffff,0xfffe,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x0000,0xffff,fr12 |
| |
| set_fr_iimmed 0xdead,0x0000,fr10 |
| set_fr_iimmed 0x0000,0xbeef,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xef57,0xdf78,fr12 |
| |
| set_fr_iimmed 0x0000,0xdead,fr10 |
| set_fr_iimmed 0xbeef,0x0000,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xdf78,0xef57,fr12 |
| |
| set_fr_iimmed 0x1234,0x5678,fr10 |
| set_fr_iimmed 0x1111,0x1111,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x11a3,0x33c5,fr12 |
| |
| set_fr_iimmed 0x1234,0x5678,fr10 |
| set_fr_iimmed 0xffff,0xffff,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x091a,0x2b3c,fr12 |
| |
| set_fr_iimmed 0x7ffe,0x7ffe,fr10 |
| set_fr_iimmed 0x0002,0x0001,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x4000,0x4000,fr12 |
| |
| set_fr_iimmed 0x8001,0x8001,fr10 |
| set_fr_iimmed 0xffff,0xfffe,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xc000,0xc000,fr12 |
| |
| set_fr_iimmed 0x8001,0x8001,fr10 |
| set_fr_iimmed 0xfffe,0xfffe,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xc000,0xc000,fr12 |
| |
| set_fr_iimmed 0x8000,0x8000,fr10 |
| set_fr_iimmed 0x7fff,0x7fff,fr11 |
| maveh.p fr10,fr10,fr12 |
| maveh fr11,fr11,fr13 |
| test_fr_limmed 0x8000,0x8000,fr12 |
| test_fr_limmed 0x7fff,0x7fff,fr13 |
| |
| ; Test Rounding toward negative infinity via RD |
| or_spr_immed 0xd0000000,msr0 |
| |
| set_fr_iimmed 0x0000,0x0000,fr10 |
| set_fr_iimmed 0x0000,0x0000,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x0000,0x0000,fr12 |
| |
| set_fr_iimmed 0x0001,0x0000,fr10 |
| set_fr_iimmed 0x0002,0x0001,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x0001,0x0000,fr12 |
| |
| set_fr_iimmed 0x0000,0xffff,fr10 |
| set_fr_iimmed 0xffff,0xfffe,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xffff,0xfffe,fr12 |
| |
| set_fr_iimmed 0xdead,0x0000,fr10 |
| set_fr_iimmed 0x0000,0xbeef,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xef56,0xdf77,fr12 |
| |
| set_fr_iimmed 0x0000,0xdead,fr10 |
| set_fr_iimmed 0xbeef,0x0000,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xdf77,0xef56,fr12 |
| |
| set_fr_iimmed 0x1234,0x5678,fr10 |
| set_fr_iimmed 0x1111,0x1111,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x11a2,0x33c4,fr12 |
| |
| set_fr_iimmed 0x1234,0x5678,fr10 |
| set_fr_iimmed 0xffff,0xffff,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x0919,0x2b3b,fr12 |
| |
| set_spr_immed 0,msr0 |
| set_fr_iimmed 0x7ffe,0x7ffe,fr10 |
| set_fr_iimmed 0x0002,0x0001,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0x4000,0x3fff,fr12 |
| |
| set_spr_immed 0,msr0 |
| set_fr_iimmed 0x8001,0x8001,fr10 |
| set_fr_iimmed 0xffff,0xfffe,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xc000,0xbfff,fr12 |
| |
| set_spr_immed 0,msr0 |
| set_fr_iimmed 0x8001,0x8001,fr10 |
| set_fr_iimmed 0xfffe,0xfffe,fr11 |
| maveh fr10,fr11,fr12 |
| test_fr_limmed 0xbfff,0xbfff,fr12 |
| |
| set_spr_immed 0,msr0 |
| set_spr_immed 0,msr1 |
| set_fr_iimmed 0x8000,0x8000,fr10 |
| set_fr_iimmed 0x7fff,0x7fff,fr11 |
| maveh.p fr10,fr10,fr12 |
| maveh fr11,fr11,fr13 |
| test_fr_limmed 0x8000,0x8000,fr12 |
| test_fr_limmed 0x7fff,0x7fff,fr13 |
| |
| pass |