сборка: гигиена (П5) — stale .rel, все тесты в make all, размерный регресс
- lib/Makefile: stale .rel удаляются сверкой списка модулей перед упаковкой; штамп build/.modules триггерит перелинковку при любом изменении состава исходников (при смене списка архив сносится — на exFAT гранулярность mtime грубая, сравнение времён ненадёжно) - top-level TESTS: все каталоги tests/ теперь собираются make all (43 программы; banktest переименован из banked.exe — конфликт имён с tests/banked); mdview2 добавлен в APPS - размерный регресс: toolchain/size_check.py сверяет _CODE всех программ с docs/size_baseline.tsv; make size-check / size-baseline - заголовки: контракт затенения SDCC задокументирован в docs/libc-headers.md; новый string.h (include_next + strlwr/strupr); из sprinter_compat.h убраны макросы min/max — конфликтовали с функциями из stdlib.h, и в Solid-C min/max тоже функции Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This commit is contained in:
@@ -13,13 +13,15 @@
|
||||
# Most heavy lifting is delegated to sub-Makefiles.
|
||||
|
||||
# Small libc-feature tests (one program per .c-language feature or libc API).
|
||||
TESTS := hello banked bankedbg strtest cat seek malloc mem_test argv errno \
|
||||
rt_test openenv ls conio attrprob timedir mouse banklocl stdlib \
|
||||
assrtest ptime stattest filetest fdmax fbench solidt \
|
||||
gfx_demo gfx_d16 gfx_text gfx_mous
|
||||
TESTS := hello hello2 simple banked bankedbg banktest strtest cat seek \
|
||||
malloc mem_test argv errno rt_test openenv ls conio conio2 \
|
||||
attrprob timedir mouse banklocl stdlib assrtest ptime stattest \
|
||||
filetest fdmax fbench solidt dec_test gets stest2 winrest \
|
||||
bios_text text_palette \
|
||||
gfx_demo gfx_d16 gfx_text gfx_mous gfx_dbuf
|
||||
|
||||
# Larger end-user applications under examples/.
|
||||
APPS := mdview
|
||||
APPS := mdview mdview2
|
||||
|
||||
MAME_DIR := mame/v306
|
||||
FLOPPY_IMG := $(MAME_DIR)/IMG/mc.img
|
||||
@@ -34,7 +36,8 @@ DATA_FILES := \
|
||||
tests/seek/big.txt \
|
||||
examples/mdview/SAMPLE.MD
|
||||
|
||||
.PHONY: all tools lib tests examples check clean sdcc floppy $(TESTS) $(APPS)
|
||||
.PHONY: all tools lib tests examples check clean sdcc floppy \
|
||||
size-check size-baseline $(TESTS) $(APPS)
|
||||
|
||||
all: tools lib tests examples
|
||||
|
||||
@@ -67,6 +70,14 @@ floppy: tests examples tests/seek/big.txt
|
||||
@echo "Floppy ready: $(FLOPPY_IMG)"
|
||||
@echo "Run: cd $(MAME_DIR) && ./run_mame.sh"
|
||||
|
||||
# Размерный регресс: сверить _CODE всех программ с docs/size_baseline.tsv.
|
||||
size-check:
|
||||
python3 toolchain/size_check.py
|
||||
|
||||
# Принять текущие размеры как эталон (после осознанных изменений).
|
||||
size-baseline:
|
||||
python3 toolchain/size_check.py --update
|
||||
|
||||
clean:
|
||||
$(MAKE) -C toolchain/mkexe clean
|
||||
$(MAKE) -C lib clean
|
||||
|
||||
@@ -0,0 +1,46 @@
|
||||
# Заголовки libc: контракт затенения SDCC (2026-07-06)
|
||||
|
||||
`libc/include` стоит в -I ПЕРЕД заголовками SDCC, поэтому наш файл с
|
||||
именем стандартного заголовка «затеняет» SDCC-шный. Два разрешённых
|
||||
паттерна:
|
||||
|
||||
## 1. Цепочка `#include_next` — только ДОБАВЛЯЕМ
|
||||
|
||||
Наш заголовок первым делом делает `#include_next <имя>` (берёт
|
||||
SDCC-версию) и дальше только добавляет Sprinter-расширения. Ничего
|
||||
из стандартной части не переобъявлять — malloc/strlen/… должны
|
||||
приходить из SDCC, иначе разъедутся прототипы с z80.lib (уже кусало:
|
||||
полный shadow stdlib.h терял malloc/free).
|
||||
|
||||
| Заголовок | Что добавляем |
|
||||
|---|---|
|
||||
| `stdlib.h` | min/max (функции, int16_t — как `int min()` в Solid-C) |
|
||||
| `string.h` | strlwr/strupr (CP866-регистры) |
|
||||
|
||||
## 2. Полная замена — обязаны продублировать контракт SDCC
|
||||
|
||||
Наш заголовок полностью замещает SDCC-шный. Он ОБЯЗАН объявить всё,
|
||||
что программы берут из z80.lib, с точными SDCC-сигнатурами:
|
||||
|
||||
| Заголовок | Обязан объявлять (из z80.lib) | Наше |
|
||||
|---|---|---|
|
||||
| `stdio.h` | printf, sprintf, vprintf, vsprintf | FILE* API (буферизованный B+), puts/putchar/getchar (наши, ESTEX), scanf-семейство, dec*/hex*, gets |
|
||||
| `time.h` | struct tm, time_t, time, mktime, gmtime, localtime, asctime, ctime — **раскладка struct tm и __TIME_UNSIGNED=1 должны совпадать с SDCC ABI** (см. шапку time.h) | datetime_t, getdatetime/setdatetime, DOW_* |
|
||||
|
||||
При апгрейде SDCC сверять сигнатуры этих двух заголовков с
|
||||
`third_party/sdcc/share/sdcc/include/`.
|
||||
|
||||
## 3. Свои заголовки (SDCC-аналога нет — затенения нет)
|
||||
|
||||
conio.h, dir.h, dos.h, errno.h, fcntl.h, gfx.h, mouse.h, palette.h,
|
||||
sprinter*.h, unistd.h, bios/*.
|
||||
|
||||
## Правила
|
||||
|
||||
- новый стандартный заголовок — сначала пробовать паттерн 1
|
||||
(include_next); паттерн 2 — только если надо переопределить
|
||||
реализацию (как puts/putchar на ESTEX);
|
||||
- в заголовках паттерна 2 — комментарий, какие декларации обслуживают
|
||||
z80.lib;
|
||||
- internal-заголовки libc (`_conio.h`, `_file.h`, `_gfx.h`, …) живут
|
||||
РЯДОМ с исходниками в libc/<area>/, не в libc/include.
|
||||
+14
-14
@@ -68,21 +68,21 @@ fgetpos/fsetpos (хвост П2). bdos/brk/ioctl — отказ решение
|
||||
- [x] rename() — ESTEX RENAME $10 (HL=старое, DE=новое), libc/io/rename.c
|
||||
- [x] isatty(fd) — fd < 2 (манипуляторы DSS с 2; консольные псевдо-fd 0/-1/-2)
|
||||
|
||||
## П5. Заголовки и гигиена сборки
|
||||
## П5. Заголовки и гигиена сборки — ЗАКРЫТ 2026-07-06
|
||||
|
||||
- [ ] Аудит затенения SDCC-заголовков: stdlib.h уже на `#include_next`;
|
||||
stdio.h/time.h — полные замены (задокументировать контракт «что обязаны
|
||||
объявлять»); подумать про собственный string.h (include_next + strlwr/
|
||||
strupr из sprinter_compat.h)
|
||||
- [ ] lib/build: wildcard не удаляет stale .rel при удалении исходника —
|
||||
либо чистка в Makefile (сверка списка), либо привычка `make clean`
|
||||
после переименований (это уже укусило: старый file.rel лежал в build)
|
||||
- [ ] Включить extra-тесты (conio2, dec_test, gets, hello2, simple, stest2,
|
||||
winrest, bios_text, text_palette, gfx_dbuf, mdview2) в top-level
|
||||
TESTS/APPS — иначе `make all` их не собирает и их baseline протухает
|
||||
(уже дало ложные «+17 Б» при сравнении)
|
||||
- [ ] Размерный регресс-тест: скрипт сравнения _CODE по .map с эталоном
|
||||
(ловить случайные разжирения при правках libc)
|
||||
- [x] Контракт затенения — **docs/libc-headers.md**: include_next
|
||||
(stdlib.h + новый string.h со strlwr/strupr) vs полная замена
|
||||
(stdio.h, time.h — обязаны дублировать сигнатуры z80.lib);
|
||||
из sprinter_compat.h убраны макросы min/max (конфликтовали с
|
||||
функциями из stdlib.h; в Solid-C это тоже функции)
|
||||
- [x] lib/Makefile: stale .rel чистятся сверкой списка перед упаковкой;
|
||||
штамп .modules триггерит перелинковку при смене состава (и сносит
|
||||
архив — mtime на exFAT грубый)
|
||||
- [x] Все extra-тесты в top-level TESTS (43 программы: + hello2, simple,
|
||||
banktest (переименован из banked.exe), conio2, dec_test, gets,
|
||||
stest2, winrest, bios_text, text_palette, gfx_dbuf) и mdview2 в APPS
|
||||
- [x] Размерный регресс: toolchain/size_check.py + docs/size_baseline.tsv;
|
||||
`make size-check` (выход 1 при росте) / `make size-baseline`
|
||||
|
||||
## П6. Верификация после сплита
|
||||
|
||||
|
||||
@@ -0,0 +1,44 @@
|
||||
# Эталон размеров _CODE (байт); обновление: python3 toolchain/size_check.py --update
|
||||
argv 3431
|
||||
assrtest 3847
|
||||
attrprob 4091
|
||||
banked 1040
|
||||
bankedbg 1051
|
||||
banklocl 4816
|
||||
banktest 3751
|
||||
bios_text 4470
|
||||
cat 915
|
||||
conio 4634
|
||||
conio2 3946
|
||||
dec_test 860
|
||||
errno 6216
|
||||
fbench 9040
|
||||
fdmax 6337
|
||||
filetest 11624
|
||||
gets 509
|
||||
gfx_d16 3319
|
||||
gfx_dbuf 2396
|
||||
gfx_demo 3219
|
||||
gfx_mous 5542
|
||||
gfx_text 2560
|
||||
hello 4176
|
||||
hello2 4251
|
||||
ls 4919
|
||||
malloc 4462
|
||||
mdview 19122
|
||||
mdview2 27029
|
||||
mem_test 4558
|
||||
mouse 4394
|
||||
openenv 6111
|
||||
ptime 5896
|
||||
rt_test 4103
|
||||
seek 4177
|
||||
simple 963
|
||||
solidt 12381
|
||||
stattest 7700
|
||||
stdlib 6643
|
||||
stest2 3644
|
||||
strtest 1340
|
||||
text_palette 5039
|
||||
timedir 5471
|
||||
winrest 4481
|
||||
|
+20
-1
@@ -36,6 +36,16 @@ RUNTIME_RELS := $(patsubst runtime/%.s,$(BUILD)/%.rel,$(RUNTIME_S))
|
||||
|
||||
ALL_RELS := $(LIBC_RELS) $(RUNTIME_RELS)
|
||||
|
||||
# Штамп списка модулей: обновляется при любом изменении состава
|
||||
# (добавление/удаление/переименование исходника) — иначе удаление
|
||||
# исходника не триггерит перелинковку и stale .rel остаётся в архиве.
|
||||
# Сразу сносим и архив: на exFAT (SAM8) гранулярность mtime грубая,
|
||||
# и «список изменился» через сравнение времён можно проглядеть.
|
||||
MODLIST := $(BUILD)/.modules
|
||||
ifneq ($(shell cat $(MODLIST) 2>/dev/null),$(ALL_RELS))
|
||||
_ := $(shell mkdir -p $(BUILD); echo "$(ALL_RELS)" > $(MODLIST); rm -f sprinter.lib)
|
||||
endif
|
||||
|
||||
LIB := sprinter.lib
|
||||
|
||||
all: $(LIB)
|
||||
@@ -52,7 +62,16 @@ $(BUILD)/%.rel: $(PROJ_ROOT)/runtime/%.s
|
||||
$(SDASZ80) -o $@ $<
|
||||
|
||||
# Archive — sdar with `rcs` = replace/create/symtab.
|
||||
$(LIB): $(ALL_RELS)
|
||||
# Перед упаковкой удаляем stale .rel: wildcard не знает об удалённых/
|
||||
# переименованных исходниках, и осиротевший .rel из build/ иначе жил бы
|
||||
# вечно (уже кусало: старый file.rel после сплита).
|
||||
$(LIB): $(ALL_RELS) $(MODLIST)
|
||||
@find $(BUILD) -name '*.rel' -print | sort > $(BUILD)/.have
|
||||
@printf '%s\n' $(ALL_RELS) | sort > $(BUILD)/.want
|
||||
@comm -23 $(BUILD)/.have $(BUILD)/.want | while read f; do \
|
||||
echo " stale: $$f (исходник удалён) — rm"; \
|
||||
rm -f "$$f" "$${f%.rel}.asm" "$${f%.rel}.lst" "$${f%.rel}.sym"; \
|
||||
done
|
||||
rm -f $@
|
||||
$(SDAR) -rcs $@ $(ALL_RELS)
|
||||
@echo
|
||||
|
||||
@@ -71,9 +71,7 @@ typedef struct fpoint {
|
||||
/* movmem(src, dst, n) → memcpy(dst, src, n) — arg order swapped */
|
||||
#define movmem(s, d, n) memcpy((d), (s), (n))
|
||||
|
||||
/* In-place case conversion. */
|
||||
char *strlwr(char *s);
|
||||
char *strupr(char *s);
|
||||
/* strlwr/strupr объявлены в нашем <string.h> (include_next-цепочка). */
|
||||
|
||||
/* Solid-C calls perror's table 'strerr'. */
|
||||
#define strerr(n) strerror((n))
|
||||
@@ -81,12 +79,10 @@ char *strupr(char *s);
|
||||
/* ---- stdlib.h additions ------------------------------------------ */
|
||||
#define abort() _exit(0xFF)
|
||||
|
||||
#ifndef min
|
||||
#define min(a, b) ((a) < (b) ? (a) : (b))
|
||||
#endif
|
||||
#ifndef max
|
||||
#define max(a, b) ((a) > (b) ? (a) : (b))
|
||||
#endif
|
||||
/* min/max — ФУНКЦИИ из <stdlib.h> (libc/stdlib/min.c, max.c), как и в
|
||||
* Solid-C (STDLIB.H: `int min();`). Макро-версии здесь были удалены
|
||||
* 2026-07-06: макрос дважды вычисляет аргументы и ломает объявление
|
||||
* функции, встреченное после себя. */
|
||||
|
||||
/* div() and div_t come from SDCC's <stdlib.h> (already included above). */
|
||||
|
||||
|
||||
@@ -0,0 +1,18 @@
|
||||
/*
|
||||
* string.h — цепочка к SDCC-шному string.h + Sprinter-расширения.
|
||||
*
|
||||
* Вся стандартная строковая библиотека (memcpy/memset/strlen/strcmp/
|
||||
* strtok/…) приходит из SDCC z80.lib через include_next — здесь только
|
||||
* ДОБАВЛЯЕМ, ничего не затеняя (контракт: docs/libc-headers.md).
|
||||
*/
|
||||
|
||||
#ifndef STRING_H_SPRINTER
|
||||
#define STRING_H_SPRINTER
|
||||
|
||||
#include_next <string.h>
|
||||
|
||||
/* Регистры in-place с поддержкой кириллицы CP866 (возвращают s). */
|
||||
char *strlwr(char *s);
|
||||
char *strupr(char *s);
|
||||
|
||||
#endif
|
||||
@@ -1,11 +1,11 @@
|
||||
# Build banked.exe — HUGE memory mode (small + banked code in W3).
|
||||
# Build banktest.exe — HUGE memory mode (small + banked code in W3).
|
||||
#
|
||||
# Layout:
|
||||
# CODE/HOME at 0x4100 (W1), DATA at 0x8000 (W2), banks at 0x{N}C000 (W3).
|
||||
# crt0_banked.s loads N banks from the .EXE before calling main.
|
||||
|
||||
PROJ_ROOT := $(abspath $(CURDIR)/../..)
|
||||
EXAMPLE := banked
|
||||
EXAMPLE := banktest
|
||||
MEMORY := huge
|
||||
EXTRA_FLAGS := --bank 1=bank1.c --bank 2=bank2.c
|
||||
include $(PROJ_ROOT)/app.mk
|
||||
|
||||
@@ -0,0 +1,107 @@
|
||||
#!/usr/bin/env python3
|
||||
"""
|
||||
size_check.py — размерный регресс-тест: сравнение _CODE всех тестов и
|
||||
приложений с эталоном docs/size_baseline.tsv.
|
||||
|
||||
Использование:
|
||||
python3 toolchain/size_check.py # сверка с эталоном
|
||||
python3 toolchain/size_check.py --update # перезаписать эталон
|
||||
|
||||
Логика: собираем _CODE из .map каждой программы (tests/*, examples/*),
|
||||
сравниваем с эталоном. Любое отличие печатается; выход 1 — если есть
|
||||
РОСТ (случайное разжирение libc), 0 — если только уменьшения/без
|
||||
изменений. Новые программы (нет в эталоне) — предупреждение, добавить
|
||||
через --update. Запускать после `make all`.
|
||||
"""
|
||||
|
||||
import glob
|
||||
import os
|
||||
import re
|
||||
import sys
|
||||
|
||||
ROOT = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
|
||||
BASELINE = os.path.join(ROOT, "docs", "size_baseline.tsv")
|
||||
|
||||
|
||||
def collect():
|
||||
"""Имя программы → размер _CODE (байт) по свежим .map."""
|
||||
sizes = {}
|
||||
pats = [
|
||||
os.path.join(ROOT, "tests", "*", ".sprinter-cc-*", "*.map"),
|
||||
os.path.join(ROOT, "examples", "*", ".sprinter-cc-*", "*.map"),
|
||||
]
|
||||
for pat in pats:
|
||||
for map_path in glob.glob(pat):
|
||||
name = os.path.splitext(os.path.basename(map_path))[0]
|
||||
# .map должен лежать в своей папке .sprinter-cc-<name>
|
||||
if os.path.basename(os.path.dirname(map_path)) != ".sprinter-cc-" + name:
|
||||
continue
|
||||
with open(map_path, encoding="utf-8", errors="replace") as f:
|
||||
for line in f:
|
||||
m = re.match(r"^_CODE\s+([0-9A-Fa-f]+)\s+([0-9A-Fa-f]+)", line)
|
||||
if m:
|
||||
sizes[name] = int(m.group(2), 16)
|
||||
break
|
||||
return sizes
|
||||
|
||||
|
||||
def load_baseline():
|
||||
base = {}
|
||||
if os.path.exists(BASELINE):
|
||||
with open(BASELINE) as f:
|
||||
for line in f:
|
||||
line = line.strip()
|
||||
if not line or line.startswith("#"):
|
||||
continue
|
||||
name, size = line.split("\t")
|
||||
base[name] = int(size)
|
||||
return base
|
||||
|
||||
|
||||
def save_baseline(sizes):
|
||||
with open(BASELINE, "w") as f:
|
||||
f.write("# Эталон размеров _CODE (байт); обновление: "
|
||||
"python3 toolchain/size_check.py --update\n")
|
||||
for name in sorted(sizes):
|
||||
f.write(f"{name}\t{sizes[name]}\n")
|
||||
|
||||
|
||||
def main():
|
||||
update = "--update" in sys.argv
|
||||
sizes = collect()
|
||||
if not sizes:
|
||||
print("size_check: .map не найдены — сначала `make all`")
|
||||
return 2
|
||||
|
||||
if update:
|
||||
save_baseline(sizes)
|
||||
print(f"size_check: эталон обновлён ({len(sizes)} программ) → "
|
||||
f"{os.path.relpath(BASELINE, ROOT)}")
|
||||
return 0
|
||||
|
||||
base = load_baseline()
|
||||
if not base:
|
||||
print("size_check: эталона нет — создать: size_check.py --update")
|
||||
return 2
|
||||
|
||||
grew = 0
|
||||
for name in sorted(set(sizes) | set(base)):
|
||||
new, old = sizes.get(name), base.get(name)
|
||||
if new is None:
|
||||
print(f" {name}: исчез из сборки (был {old} Б)")
|
||||
elif old is None:
|
||||
print(f" {name}: НОВЫЙ ({new} Б) — добавить в эталон (--update)")
|
||||
elif new != old:
|
||||
mark = "РОСТ" if new > old else "ок, меньше"
|
||||
print(f" {name}: {old} -> {new} ({new - old:+d} Б) [{mark}]")
|
||||
if new > old:
|
||||
grew += 1
|
||||
if grew:
|
||||
print(f"size_check: {grew} программ(ы) ВЫРОСЛИ — проверить правки libc")
|
||||
return 1
|
||||
print(f"size_check: OK ({len(sizes)} программ, роста нет)")
|
||||
return 0
|
||||
|
||||
|
||||
if __name__ == "__main__":
|
||||
sys.exit(main())
|
||||
Reference in New Issue
Block a user