Files

T

snark13 4a081501d8 libc: сплит «1 функция = 1 модуль» — вся библиотека, wildcard-сборка

- 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>

2026-07-06 16:08:58 +03:00

3.3 KiB

Raw Permalink Blame History

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) ведут на метки внутри своей же функции — сплиту не мешают.

3.3 KiB Raw Permalink Blame History