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