# frv testcase for sdiv $GRi,$GRj,$GRk
# mach: all

	.include "../testutils.inc"

	start

	.global sdiv
sdiv:
	; simple division 12 / 3
	set_gr_immed   	3,gr3
	set_gr_immed   	12,gr1
	sdiv      	gr1,gr3,gr2
	test_gr_immed  	4,gr2

	; Random example
	set_gr_limmed  	0x0123,0x4567,gr3
	set_gr_limmed  	0xfedc,0xba98,gr1
	sdiv      	gr1,gr3,gr2
	test_gr_immed  	-1,gr2

	; Special case from the Arch Spec Vol 2
	or_spr_immed	0x20,isr	; turn on isr.edem
	set_gr_immed  	-1,gr3
	set_gr_limmed  	0x8000,0x0000,gr1
	sdiv      	gr1,gr3,gr2
	test_gr_limmed 	0x7fff,0xffff,gr2
	test_spr_bits	0x4,2,1,isr	; isr.aexc is set

	and_spr_immed	-33,isr		; turn off isr.edem
	; set up exception handler
	set_psr_et	1
	and_spr_immed	-4081,tbr	; clear tbr.tt
	set_gr_spr	tbr,gr17
	inc_gr_immed	0x170,gr17	; address of exception handler
	set_bctrlr_0_0  gr17
	set_spr_immed	128,lcr
	set_gr_immed	0,gr15

	; divide will cause overflow
	set_spr_addr	ok1,lr
	set_gr_immed  	-1,gr3
	set_gr_limmed  	0x8000,0x0000,gr1
e1:	sdiv      	gr1,gr3,gr2	; overflow
	test_gr_immed	1,gr15
	test_gr_limmed 	0x8000,0x0000,gr2; gr2 updated

	; divide by zero
	set_spr_addr	ok2,lr
	set_gr_immed	0xdeadbeef,gr2
e2:	sdiv      	gr1,gr0,gr2	; divide by zero
	test_gr_immed	2,gr15		; handler called
	test_gr_immed	0xdeadbeef,gr2	; gr2 not updated.

	pass

ok1:	; exception handler for overflow
	test_spr_bits	0x18,3,0x2,isr		; isr.dtt is set
	test_spr_bits	0x0001,0,0x1,esr0	; esr0 is valid
	test_spr_bits	0x003e,1,0x13,esr0	; esr0.ec is set
	inc_gr_immed	1,gr15
	rett		0
	fail

ok2:	; exception handler for divide by zero
	test_spr_bits	0x18,3,0x3,isr		; isr.dtt is set
	test_spr_bits	0x0001,0,0x1,esr0	; esr0 is valid
	test_spr_bits	0x003e,1,0x13,esr0	; esr0.ec is set
	inc_gr_immed	1,gr15
	rett		0
	fail