# 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