Skip to content

Match func_ov002_020aefb8 byte-identical (mwccarm 1.2/sp2p3)#663

Closed
lunavyqo wants to merge 1 commit into
tangosdev:mainfrom
lunavyqo:match-batch4-ov002-020aefb8
Closed

Match func_ov002_020aefb8 byte-identical (mwccarm 1.2/sp2p3)#663
lunavyqo wants to merge 1 commit into
tangosdev:mainfrom
lunavyqo:match-batch4-ov002-020aefb8

Conversation

@lunavyqo

Copy link
Copy Markdown
Contributor

Summary

  • Matched: func_ov002_020aefb8 @ ov002 0x020aefb8 (size 0x108) — verified with tools/match.py against mwccarm 1.2/sp2p3.
  • How: u64-mask laundering to materialize self+0xa4 and self+0xac for the ground-speed MLA RMW (near-miss tip was div=24 without the add bases).
  • Near-miss banked: func_ov075_02117d80 improved div 5→4 (enum Bool for cmp r0,#0); remaining divergence is load/flag interleave / regperm floor. Attempt tree + tip C logged.

Verify

python tools/match.py --c src/func_ov002_020aefb8.c --func func_ov002_020aefb8 --addr 0x20aefb8 --size 0x108 --version 1.2/sp2p3 --module ov002

Claims

  • ov002 0x020aefb8: done (matched)
  • ov075 0x02117d80: released (tip in nearmiss/db.jsonl)

Author credit: lunavyqo

u64-mask laundering materializes self+0xa4 / self+0xac for the ground
speed MLA updates so the ROM add/ldr/str shape matches.

Also banks an improved near-miss for func_ov075_02117d80 (div 5→4) via
enum Bool for the cmp r0,#0 materialization; remaining load/flag
interleave is a regperm floor.
@github-actions

Copy link
Copy Markdown
Contributor

✅ PR link validation — Passed

1 changed src file(s) compile to the ROM byte-for-byte with correct relocations

Per-file link-check detail

All 1 changed file(s) compile to the ROM byte-for-byte with correct relocation targets.

File Symbol Result Slots checked
src/func_ov002_020aefb8.c func_ov002_020aefb8 🔶 blind (a reloc slot could not be resolved) 1

Each changed src/*.c|*.cpp is compiled and its relocated bytes compared to the binary data on a private build box. Passing requires every changed file to reproduce the ROM byte-for-byte with correct relocation targets — this catches WRONG-DEST relocations and non-reproducing near-misses that ledger-scoped linkcheck skips.

tangosdev pushed a commit that referenced this pull request Jul 24, 2026
…arm 1.2/sp2p3)

Combined landing of PRs #663-666 (fork). Matches re-verified byte-identical:
  func_ov002_020aefb8 (#663), func_ov007_020b2bd4 (#664),
  func_ov006_020cc8c8 + func_ov062_02119af0 (#665),
  func_ov063_021162c8 (#666, .c -> .cpp rename).
Plus two tip improvements: func_ov075_02117d80 5->4, func_ov002_020d8944 15->10.
The five now-matched functions' near-miss entries were pruned.

Provenance: ai model=grok-4.5 reasoning=high harness=grok-build
@tangosdev

Copy link
Copy Markdown
Owner

Match landed on main as c31b271 with your authorship, combined with #663-666. All re-verified byte-identical; the now-matched functions' near-miss entries were pruned and two tip improvements (func_ov075_02117d80 5→4, func_ov002_020d8944 15→10) banked.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants