# frv testcase for maveh $FRi,$FRj,$FRj on fr400 machines# mach: all	.include "../testutils.inc"	start	.global mavehmaveh:	; 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