libbgi: упростить safe-контроль span'ов + отсекать len==0

_bgi_vspan_raw: safe-версия (без GFX_NOCHECK) больше НЕ клиппит диапазон
y+len и не обрабатывает y<0 — проверяется только валидность x/y (как в
_bgi_hspan_raw).  Сознательный компромисс: safe ловит грубый выход за
экран по координате, но не частичный отрезок; y+len<=256 — обязанность
вызывающего.

Оба span'а: в safe добавлена проверка len==0 → return (иначе B=0 по
конвенции акселератора рисует «256»).  В fast (GFX_NOCHECK) проверка
вырезается — поведение прежнее (256 точек), задокументировано в шапках.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
This commit is contained in:
2026-07-10 15:16:53 +03:00
parent 029607971f
commit 9b1ce71130
2 changed files with 56 additions and 57 deletions
+22 -43
View File
@@ -1,12 +1,25 @@
/*
* _bgi_vspan_raw — вертикальная линия len пикселей от (x,y), mode 0x81,
* через Vertical Fill акселератора (один burst = колонка до 256 строк).
* W3-naive: вызывающий обрамляет _bgi_begin/_bgi_end.
*
* __sdcccall(1): x→HL, y→DE(E=y), len→стек(4/5(ix)), color→стек(6(ix)).
* В _gfx_vfill256_segment передаём HL=addr, C=color, B=len, E=y (без
* глобального скретча). x держим в BC на время клипа (clip портит HL/DE),
* адрес считаем в конце. len усекается до байта: 256 -> 0 = «256».
* "Raw" leaf: тонкий, БЕЗ клиппинга диапазона. Проверка (без GFX_NOCHECK)
* отсекает лишь грубый выход за экран по одной координате — (unsigned)x>=320
* и (unsigned)y>=256 → тихий возврат (единый стиль с _bgi_hspan_raw).
*
* ---- ОГРАНИЧЕНИЯ ВЫЗОВА (ответственность вызывающего) --------------
* - W3-скобка: вызывать ТОЛЬКО между _bgi_begin/_bgi_end.
* - Клиппинга диапазона НЕТ: требуется 0 <= y и y+len <= 256, иначе
* burst вылезет за низ колонки и затрёт чужую видеопамять. По
* сознательному решению safe-версия проверяет валидность только x/y,
* но НЕ y+len; отрицательный y и y+len>256 НЕ обрезаются (в отличие от
* прежней версии) — координаты обязаны быть уже валидны.
* - Диапазон len: 1..256. len==0: safe-версия (с проверками) тихо
* вернётся; fast (GFX_NOCHECK) из-за конвенции акселератора (B=0 =
* «256») зальёт 256 строк.
*
* __sdcccall(1): x→HL, y→DE(E=y), len→стек(4/5(ix)), color→стек(6(ix)),
* __naked → callee-pops 3 байта (len+color). В _gfx_vfill256_segment:
* HL=addr, C=color, B=len, E=y (без глобального скретча).
*/
#include "../_bgi.h"
@@ -25,49 +38,15 @@ void _bgi_vspan_raw(int x, int y, int len, uint8_t color) __naked
ld a, h
sbc a, #0x01
jr NC, vs_ret ; (unsigned)x >= 320
#endif
ld c, l
ld b, h ; BC = x (пережить клип)
#ifndef GFX_NOCHECK
bit 7, d
jr Z, vs_ypos
;; y < 0: len += y ; y = 0
ld l, 4 (ix)
ld h, 5 (ix)
add hl, de ; len + y (y отрицателен)
ld 4 (ix), l
ld 5 (ix), h
ld de, #0
vs_ypos:
ld a, d
or a, a
jr NZ, vs_ret ; y >= 256
;; y + len > 256 ? -> len = 256 - y
ld l, 4 (ix)
ld h, 5 (ix)
add hl, de ; y + len (D=0)
ld a, h
or a, a
jr Z, vs_lenchk ; < 256
dec a
jr NZ, vs_clamp ; high >= 2
ld a, l
or a, a
jr Z, vs_lenchk ; == 256
vs_clamp:
xor a, a
sub a, e ; 0 - y (низкий байт)
ld 4 (ix), a
ld a, #1
sbc a, #0 ; 1 - borrow => 256 - y
ld 5 (ix), a
vs_lenchk:
jr NZ, vs_ret ; (unsigned)y >= 256
ld a, 4 (ix)
or a, 5 (ix)
jr Z, vs_ret ; len == 0
bit 7, 5 (ix)
jr NZ, vs_ret ; len < 0
jr Z, vs_ret ; len == 0 (иначе B=0 «256»)
#endif
ld c, l
ld b, h ; BC = x
ld hl, (__gfx_addr_base)
add hl, bc ; HL = base + x
ld a, 6 (ix)