Match func_ov002_020bb520 byte-identical (mwccarm 1.2/sp2p3)#660
Match func_ov002_020bb520 byte-identical (mwccarm 1.2/sp2p3)#660lunavyqo wants to merge 1 commit into
Conversation
func_ov002_020bb520 (ov002 @ 0x020bb520, 244 bytes): byte-identical + linkcheck VERIFIED on mwccarm 1.2/sp2p3. Shared fail/success via goto reproduces the ROM moveq/movne bool materialization after FindWithID. func_ov062_02119af0: improved near-miss tip 17→14 (control-flow: dot<=0 advances path; shared ret0; GetNode with count). Residual is register-coloring floor. Tip banked in nearmiss/db.jsonl. Author: lunavyqo
✅ PR link validation — Passed1 changed src file(s) compile to the ROM byte-for-byte with correct relocations Per-file link-check detailAll 1 changed file(s) compile to the ROM byte-for-byte with correct relocation targets.
Each changed |
…carm 1.2/sp2p3) Combined landing of PRs #659, #660 (fork). Both matches re-verified byte-identical. #659 also re-carried the func_ov007_020c25fc match already on main (no-op, skipped), six ghost near-miss entries for functions matched via #655-658, and a func_ov002_020e7454 21->35 regression — all skipped. #660 was clean. Provenance: ai model=grok-4.5 reasoning=high harness=grok-build
|
Match landed on main as f117c01 with your authorship, combined with #659/#660. Both re-verified byte-identical. #659 also re-carried the func_ov007_020c25fc match already on main (no-op), six ghost near-miss entries for functions matched via #655-658, and a func_ov002_020e7454 21→35 regression — all skipped so nothing on main regressed. |
Summary
func_ov002_020bb520(ov002 @0x020bb520, 244 bytes) byte-identical on mwccarm 1.2/sp2p3, linkcheck VERIFIED.goto fail/goto successfor shared unconditional fail epilogue afterFindWithID, plus named(int)(type == 0xbf)bool materialization (moveq/movne/cmp/bne).func_ov062_02119af0(ov062 @0x02119af0): 17 → 14 word divergences banked innearmiss/db.jsonl.dot <= 0the path still advances; sharedret0viagoto;GetNodetakes the current count (nomov r2,#0).r6/r4/r1).Author credit: lunavyqo. Provenance + attempt tree logged (
sessionScope=batch,batchSize=2).Test plan
python tools/match.py --c src/func_ov002_020bb520.c --func func_ov002_020bb520 --addr 0x20bb520 --size 0xf4 --version 1.2/sp2p3 --bin extracted/dsd/arm9_overlays/ov002.bin --base 0x020ad660 --module ov002→ MATCHpython tools/linkcheck.py --name func_ov002_020bb520 --addr 0x020bb520 --size 0xf4 --module ov002→ VERIFIEDvalidategreen on the matched file only