# frv testcase for sdivi $GRi,$s12,$GRk
# mach: all

	.include "testutils.inc"

	start

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

	; Random example
	set_gr_limmed  	0xfedc,0xba98,gr1
	sdivi      	gr1,0x7ff,gr2
	test_gr_limmed 	0xffff,0xdb93,gr2

	; Random negative example
	set_gr_limmed  	0xfedc,0xba98,gr1
	sdivi      	gr1,-2048,gr2
	test_gr_immed 	0x2468,gr2

	; Special case from the Arch Spec Vol 2
	or_spr_immed	0x20,isr	; turn on isr.edem
	set_gr_limmed  	0x8000,0x0000,gr1
	sdivi      	gr1,-1,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_addr	e1,gr17
	set_gr_limmed  	0x8000,0x0000,gr1
e1:	sdivi      	gr1,-1,gr2
	test_gr_immed	1,gr15
	test_gr_limmed 	0x8000,0x0000,gr2

	; divide by zero
	set_spr_addr	ok2,lr
	set_gr_addr	e2,gr17
e2:	sdivi      	gr1,0,gr2	; divide by zero
	test_gr_immed	2,gr15

	pass

ok1:	; exception handler for overflow
	test_spr_bits	0x18,3,0x2,isr		; isr.dtt is set
	test_spr_gr	epcr0,gr17		; return address 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_gr	epcr0,gr17		; return address 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