blob: d193b2318c141ac10004af81c6e5ca6e665bf618 [file] [log] [blame]
# 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_addr e1,gr17
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_addr e2,gr17
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_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