snark13
4a081501d8
- bios/conio/env/errno/gfx/io/mem/mouse/stdio/stdlib/string/sys/time/ video разложены по модулям: общие статики и helpers — в internal _-модулях (_conio.h/_mouse.h/_gfx.h/_palette.h/_atexit.h/_time.h) - lib/Makefile: LIBC_C = wildcard libc/*/*.c — гранулярность файлов = гранулярность DCE линкера - эффект _CODE: gfx_text 6986→2568 Б, gfx_mous −1745, gfx_demo/d16 −542; ранее timedir −3270, ls −3098, stattest −2995 - комментарии оставшихся модулей переведены на русский; puts: убран мёртвый pchars; videomode_raw разложен на get/set - docs/libc-split-asm-cases.md — правила asm-связок между модулями; docs/libc-roadmap.md — план этапа - восстановлен examples/mdview/SAMPLE.MD (нужен make floppy) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
53 lines
3.3 KiB
Markdown
53 lines
3.3 KiB
Markdown
# libc split: asm-связки между функциями
|
|
|
|
Журнал случаев, найденных при разбиении libc на «1 публичная функция = 1 модуль»
|
|
(2026-07-05). Сюда записывается каждый обнаруженный переход `jr _func` или
|
|
`jr/jp/call` на метку **внутри другой функции** — такие связки нельзя разрывать
|
|
механически, разбираем каждую отдельно.
|
|
|
|
## Правила (справка)
|
|
|
|
| Паттерн | Через границу модулей |
|
|
|---|---|
|
|
| `call/jp _func` (публичная C-функция) | работает — метка глобальная (`::`) |
|
|
| `call/jp _label` на метку в чужой функции | работает, только если метка объявлена `_label::` |
|
|
| `jr` / `djnz` в другой модуль | **запрещено** — ±128 байт, разложение модулей не гарантировано |
|
|
| fall-through (без перехода, в надежде на соседство) | **не работает никогда** |
|
|
|
|
## Случаи
|
|
|
|
### 1. stdio/dec_print.c — dec8/dec16/dec32: разделяемое тело (НЕ разрывать)
|
|
|
|
Статус: **оставлены в одном файле, решение отдельно.**
|
|
|
|
- `dec8` → `jp __dec_entry3` — прыжок в середину тела `dec32`;
|
|
- `dec16` → `jp __dec_entry5` — то же;
|
|
- метки уже глобальные (`__dec_entry3::`, `__dec_entry5::`) — линковаться будет,
|
|
но выигрыша от сплита нет: dec8 всё равно притянет модуль с телом dec32;
|
|
- внутри хвоста: `_dec_get_d16` **fall-through** в `_dec_emit_or_skip`,
|
|
`_dec_get_d32` → `jr _dec_emit_or_skip`, общий флаг `_dec_flag`.
|
|
|
|
Это осознанный дизайн из solid-c: тройка делит per-digit код. Варианты на потом:
|
|
(а) оставить как есть (176 Б тянутся целиком — терпимо);
|
|
(б) развести на 3 независимых цикла — dec8 станет ~40 Б, но исходник длиннее
|
|
и суммарно в exe, использующем dec8+dec32, станет хуже. Решение отложено.
|
|
|
|
### 2. stdio/hex_print.c — чист
|
|
|
|
`hex16` → `call _hex8` / `jp _hex8` (tail), `hex32` → `_hex16`: переходы по
|
|
именам публичных функций. Разъезжается на hex8.c/hex16.c/hex32.c без правок.
|
|
`_hex8_digit` — self-call внутри hex8, не мешает.
|
|
|
|
### 3. conio/conio.c — jp _clrscr_attr (чист)
|
|
|
|
`clrscr` → `jp _clrscr_attr` — tail-call публичной функции, работает через
|
|
модули как есть.
|
|
|
|
### 4. mem/mem_bios.c, mem/mem_estex.c — jp __errno_set (чист)
|
|
|
|
Tail-call публичного internal-хелпера `_errno_set` — кросс-модульный уже сейчас.
|
|
|
|
---
|
|
Все прочие `jr`-переходы в libc (проверены все `jr`, включая условные формы,
|
|
2026-07-05) ведут на метки внутри своей же функции — сплиту не мешают.
|