Porting tools (b): liveness, don't-care declarations, poisoning (fixes #38) #52

Merged

Gatchan merged 3 commits from liveness into main

2026-11-04 10:18:14 +00:00

Gatchan commented

2026-11-04 03:57:17 +00:00

Owner

Liveness per routine (tools/liveness.py, US 4 031 / JP 4 092 routines, conservative), drafts drop dead computations and bridges store back live values only, tools/dontcare_check.py as test rom.dontcare, shadow skips declared don't-care values, --port poison=on. Reuses the user's CT liveness tool.

Evidence: 9 field drafts 1 744 -> 1 709 lines, flag assignments 230 -> 170; draft_check title_to_mines_save + field_menu_tour US+JP 291 836 calls, 0 mismatch, 0 fallback, also with poison on (end hashes match); 10 registry don't-care declarations, 0 refuted; false claim on GetObjMapPtr caught by poison. debug and clang -LE slow 27/27, 0 warnings. Known gap: routine addresses stored as numbers in data tables are not seen (documented).

Stacked on #49's branch. Fixes #38

🤖 Generated with Claude Code

Liveness per routine (`tools/liveness.py`, US 4 031 / JP 4 092 routines, conservative), drafts drop dead computations and bridges store back live values only, `tools/dontcare_check.py` as test `rom.dontcare`, shadow skips declared don't-care values, `--port poison=on`. Reuses the user's CT liveness tool. Evidence: 9 field drafts 1 744 -> 1 709 lines, flag assignments 230 -> 170; draft_check title_to_mines_save + field_menu_tour US+JP 291 836 calls, 0 mismatch, 0 fallback, also with poison on (end hashes match); 10 registry don't-care declarations, 0 refuted; false claim on GetObjMapPtr caught by poison. debug and clang `-LE slow` 27/27, 0 warnings. Known gap: routine addresses stored as numbers in data tables are not seen (documented). Stacked on #49's branch. Fixes #38 🤖 Generated with [Claude Code](https://claude.com/claude-code)

Gatchan added 6 commits

2026-11-04 03:57:17 +00:00

tools: value draft generator (draftc.py) and its runtime header (refs #49 ) 95d75a5fb7

Compilable C per routine with its bridge: values lifted per instruction from the ROM,
widths through SEP/REP and PHP/PLP, flag liveness, callees as functions, RAM-map and
hardware register names. Adapted from the user's chrono-trigger-reimplemented draft tool.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

tools: unit test of the value draft generator; smoke test drafts the ported field routines (refs #49 ) 4f7c311c72

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

tools: draft_check.py registers value drafts in a scratch tree and checks them in shadow (refs #49 ) bd364a3c72

9 field drafts: title_to_mines_save + field_menu_tour, US+JP, 291836 calls, 0 mismatch,
0 fallback. Usage in docs/drafts.md.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

tools: liveness.py, register and flag liveness after each routine's return over all call sites (refs #38 ) a739932c9f

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

tools: drafts drop dead flag and register computations, bridges store back live values only, draft_check --poison (refs #38 ) 9330c97be7

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

verify: don't-care outputs per liveness: shadow skips them, port poison=on changes them, rom.dontcare checks the registry's declarations (refs #38 ) 24abeabcfb

Drafts of the 9 field ports: title_to_mines_save + field_menu_tour US+JP, 291 836 calls,
0 mismatch, 0 fallback, also with poisoning (movies' end hashes match).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Gatchan merged commit 627c2e843c into main

2026-11-04 10:18:14 +00:00

Gatchan referenced this pull request from a commit

2026-11-04 10:18:16 +00:00

Merge pull request 'Porting tools (b): liveness, don't-care declarations, poisoning (fixes #38)' (#52) from liveness into main