siril
23.10.2012, 15:48
Подумал я: а возникни у меня необходимость обрабатывать исключения и подниматься к процедуре catch с произвольной глубины подпрограммы, как бы я это реализовал на z80?
Вот пример на sjasmplus:
; macro
macro border color
ld a,color
out (#fe),a
endm
macro set_page pagenum
ld a,pagenum
ld bc,#7ffd
out (c),a
endm
macro stop
jp $
endm
;try-catch macro {
macro try catch_addr
ld hl, catch_addr
call begtry_subr
endm
macro epop_2
ld hl,(esp)
inc hl,hl,hl,hl
ld (esp),hl
endm
macro raise exception
ld sp,(esp) ; restore alt stack
pop de ; pop adress of main stack
pop hl ; pop adress of "catch"
ld (esp),sp ; store alt stack
ex de,hl
ld sp,hl
ld a,exception
ex de,hl
jp (hl)
endm
macro epush_hl_sp
ld (tsp),sp ; save main stack
ld sp,(esp) ; restore alt stack
push hl ; push catch_adress to alt stack
ld hl,(tsp) ;
push hl ; push main stack top to alt stack
ld (esp),sp ; save alt stack
ld sp,(tsp) ; restore main stack
endm
macro endtry
call endtry_subr
endm
;} try-catch macro
device ZXSPECTRUM128
org #6000
init
di
; устанавливаем обработчик исключений на процедуру по адресу catch0
try catch0
call setup
call start
; снимаем обработчик исключений по endtry
endtry
ld a,'A' ;ok
ret
; сюда попадём по raise с любой глубины
catch0
ld a,'B' ;plan 'B' =)
ret
;
ifused begtry_subr
begtry_subr
epush_hl_sp
ret
endif
ifused endtry_subr
endtry_subr
epop_2
ret
endif
;----------------------------------------------------------------
setup
call set_screen
ret
start
ret
set_screen
di
call cls
call scr_grid
ei
ret
cls
ld hl,#4000
ld de,#4001
ld bc,#17ff
ld a,#00
ld (hl),a
ldir
ret
scr_grid
ld hl,#5800
ld de,#5802
ld b,12
scr_grid_lp1
push bc
ld bc,#20
ld a,#0f | #40
ld (hl),a
inc hl
ld a,#0f | #00
ld (hl),a
dec hl
ldir
ld bc,#20
ld a,#0f | #00
ld (hl),a
inc hl
ld a,#0f | #40
ld (hl),a
dec hl
ldir
; вызываем исключение:
raise 1
pop bc
djnz scr_grid_lp1
ret
program_end
;{DATA ---------------------------------------------------------------
data_start
;alternative exceptions stack top:
estack_top equ #bfff
esp dw estack_top ;alt stack pointer storage
tsp dw #0000 ;main stack pointer temp storage
data_end
;DATA }
savesna "try_catch_sample.sna",#6000
display "program lenght", /a, program_end - init
display "data lenght", /a, data_end - data_start
Ну, то есть идея проста: по инструкции try запомнить текущий адрес основного стека на альтернативном стеке, там же на альтернативном стеке сохранить адрес процедуры catch.
В случае если всё ок, и мы без приключений добрались до инструкции endtry - поднимаем указатель альтернативного стека на 4 (2 байта - адрес указателя основного стека и 2 байта - адрес процедуры catch).
По инструкции raise - забираем с альтернативного стека указатель основного стека на момент инструкции try, а также адрес процедуры catch, на которую и совершаем безусловный переход, предварительно поместив в регистр A - код исключения.
Соответственно инструкции try-catch могут быть вложенными - достаточно лишь предусмотреть необходимую глубину альтернативного стека. Адрес которого задаётся двухбайтовым словом по адресу esp. (В примере это estack_top equ #bfff).
Есть ли более короткий/эффективный/разумный способ обработки исключений на асме z80? =)
И насколько оправданно пользоваться описанным выше способом? =)
Вот пример на sjasmplus:
; macro
macro border color
ld a,color
out (#fe),a
endm
macro set_page pagenum
ld a,pagenum
ld bc,#7ffd
out (c),a
endm
macro stop
jp $
endm
;try-catch macro {
macro try catch_addr
ld hl, catch_addr
call begtry_subr
endm
macro epop_2
ld hl,(esp)
inc hl,hl,hl,hl
ld (esp),hl
endm
macro raise exception
ld sp,(esp) ; restore alt stack
pop de ; pop adress of main stack
pop hl ; pop adress of "catch"
ld (esp),sp ; store alt stack
ex de,hl
ld sp,hl
ld a,exception
ex de,hl
jp (hl)
endm
macro epush_hl_sp
ld (tsp),sp ; save main stack
ld sp,(esp) ; restore alt stack
push hl ; push catch_adress to alt stack
ld hl,(tsp) ;
push hl ; push main stack top to alt stack
ld (esp),sp ; save alt stack
ld sp,(tsp) ; restore main stack
endm
macro endtry
call endtry_subr
endm
;} try-catch macro
device ZXSPECTRUM128
org #6000
init
di
; устанавливаем обработчик исключений на процедуру по адресу catch0
try catch0
call setup
call start
; снимаем обработчик исключений по endtry
endtry
ld a,'A' ;ok
ret
; сюда попадём по raise с любой глубины
catch0
ld a,'B' ;plan 'B' =)
ret
;
ifused begtry_subr
begtry_subr
epush_hl_sp
ret
endif
ifused endtry_subr
endtry_subr
epop_2
ret
endif
;----------------------------------------------------------------
setup
call set_screen
ret
start
ret
set_screen
di
call cls
call scr_grid
ei
ret
cls
ld hl,#4000
ld de,#4001
ld bc,#17ff
ld a,#00
ld (hl),a
ldir
ret
scr_grid
ld hl,#5800
ld de,#5802
ld b,12
scr_grid_lp1
push bc
ld bc,#20
ld a,#0f | #40
ld (hl),a
inc hl
ld a,#0f | #00
ld (hl),a
dec hl
ldir
ld bc,#20
ld a,#0f | #00
ld (hl),a
inc hl
ld a,#0f | #40
ld (hl),a
dec hl
ldir
; вызываем исключение:
raise 1
pop bc
djnz scr_grid_lp1
ret
program_end
;{DATA ---------------------------------------------------------------
data_start
;alternative exceptions stack top:
estack_top equ #bfff
esp dw estack_top ;alt stack pointer storage
tsp dw #0000 ;main stack pointer temp storage
data_end
;DATA }
savesna "try_catch_sample.sna",#6000
display "program lenght", /a, program_end - init
display "data lenght", /a, data_end - data_start
Ну, то есть идея проста: по инструкции try запомнить текущий адрес основного стека на альтернативном стеке, там же на альтернативном стеке сохранить адрес процедуры catch.
В случае если всё ок, и мы без приключений добрались до инструкции endtry - поднимаем указатель альтернативного стека на 4 (2 байта - адрес указателя основного стека и 2 байта - адрес процедуры catch).
По инструкции raise - забираем с альтернативного стека указатель основного стека на момент инструкции try, а также адрес процедуры catch, на которую и совершаем безусловный переход, предварительно поместив в регистр A - код исключения.
Соответственно инструкции try-catch могут быть вложенными - достаточно лишь предусмотреть необходимую глубину альтернативного стека. Адрес которого задаётся двухбайтовым словом по адресу esp. (В примере это estack_top equ #bfff).
Есть ли более короткий/эффективный/разумный способ обработки исключений на асме z80? =)
И насколько оправданно пользоваться описанным выше способом? =)