| # frv testcase for udiv $GRi,$GRj,$GRk |
| # mach: frv fr500 fr400 |
| |
| .include "testutils.inc" |
| |
| start |
| |
| .global udiv |
| udiv: |
| ; simple division 12 / 3 |
| set_gr_immed 0x00000003,gr2 |
| set_gr_immed 0x0000000c,gr3 |
| udiv gr3,gr2,gr3 |
| test_gr_immed 0x00000003,gr2 |
| test_gr_immed 0x00000004,gr3 |
| |
| ; example 1 from udiv in the fr30 manual |
| set_gr_limmed 0x0123,0x4567,gr2 |
| set_gr_limmed 0xfedc,0xba98,gr3 |
| udiv gr3,gr2,gr3 |
| test_gr_limmed 0x0123,0x4567,gr2 |
| test_gr_immed 0x000000e0,gr3 |
| |
| ; 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 by zero |
| set_spr_addr ok1,lr |
| set_gr_addr e1,gr17 |
| e1: udiv gr1,gr0,gr2 ; divide by zero |
| test_gr_immed 1,gr15 |
| |
| pass |
| |
| ok1: ; exception handler for divide by zero |
| test_spr_bits 0x18,3,0x1,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 |
