mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-26 21:36:06 -04:00

Files

T

Drew T f1bbcd241f feat(phase-18): VERDICT REVERSED — func_8012B8E4 hand-matched via register pinning

The 'unsteerable' regalloc-order class is NOT unsteerable. Drew's directive (hand-match
everything) exposed the lever I'd skipped: explicit register pinning.

- func_8012B8E4 (the flagship circular reach-134 'unsteerable' fn): 21 -> MATCH via
  * register pins: register s32 d __asm__("$16"); register s32 s1ang __asm__("$17")
    -> FORCES the $s0/$s1 global allocation gcc otherwise density-orders the other way
  * branch-polarity invert (§3-T4): 24->21
  * explicit clamp temps (t=u6+0x1000; iVar4=u5-t): fixes the reassociation, 7->3
  * scheduling barrier __asm__ __volatile__("" : : "r"(u5)): anchors the last sll, 3->MATCH
- byte-gated (harvest_verify, G3/P9) + propagated x134 (per-overlay gate); 134 byte-identical
- recipe = §10-family hand technique (pins + barriers); labor-intensive (per-fn register map
  from the asm) but it WORKS -> the circular tail IS hand-matchable, not asm-only
- supersedes the T1-T5 'unsteerable' verdict; cookbook §17 + PhaseEnd to be revised accordingly

2026-06-20 12:17:54 -06:00

8.2 KiB

Raw Blame History

BFM FLEET matching progress (generated by tools/progress.py --fleet — authoritative)

136 binaries: main + resident + 134 location overlays. DETERMINISTIC,

source-derived (committed src/*.c + config/dedup.us.yaml). Live byte gate: `make check-all`;

cross-binary collapsible-byte leverage: docs/duplicates.cross.md.

FLEET REAL substantive : 189570 (of which dedup-shared 189084 via 1423 groups / 189128 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 191217 / 344010 = 55.58% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 152786 FLEET matchable : 344010

binary	REAL	shared	LINKED	byte-ident	matchable	byte-ident %
main	54	2	959	1055	2096	50.3%
resident	123	0	0	125	146	85.6%
ov_SC01_000	1415	1415	0	1415	2403	58.9%
ov_SC01_001	1415	1415	0	1417	2467	57.4%
ov_SC01_004	1407	1407	0	1408	2416	58.3%
ov_SC01_005	1414	1414	0	1421	2504	56.7%
ov_SC01_006	1414	1414	0	1421	2504	56.7%
ov_SC01_008	1407	1407	0	1409	2428	58.0%
ov_SC01_009	1407	1407	0	1408	2510	56.1%
ov_SC01_074	1407	1407	0	1409	2427	58.1%
ov_SC01_077	1686	1375	0	1688	2586	65.3%
ov_SC01_080	1411	1411	0	1411	2515	56.1%
ov_SC01_084	1411	1411	0	1416	2581	54.9%
ov_SC02_000	1415	1415	0	1422	2684	53.0%
ov_SC02_003	1415	1415	0	1422	2684	53.0%
ov_SC02_004	1411	1411	0	1411	2403	58.7%
ov_SC02_005	1407	1407	0	1417	2930	48.4%
ov_SC02_011	1413	1413	0	1425	2896	49.2%
ov_SC02_015	1413	1413	0	1413	2416	58.5%
ov_SC02_016	1413	1413	0	1416	2548	55.6%
ov_SC02_017	1413	1413	0	1421	2735	52.0%
ov_SC02_021	1413	1413	0	1413	2439	57.9%
ov_SC02_026	1411	1411	0	1417	2575	55.0%
ov_SC02_027	1411	1411	0	1420	2695	52.7%
ov_SC02_028	1411	1411	0	1421	2704	52.6%
ov_SC02_031	1411	1411	0	1417	2565	55.2%
ov_SC02_035	1411	1411	0	1414	2523	56.0%
ov_SC02_039	1411	1411	0	1411	2418	58.4%
ov_SC02_041	1411	1411	0	1414	2563	55.2%
ov_SC03_001	1411	1411	0	1429	2870	49.8%
ov_SC03_002	1415	1415	0	1431	2632	54.4%
ov_SC03_003	1411	1411	0	1412	2425	58.2%
ov_SC03_006	1417	1417	0	1426	2768	51.5%
ov_SC03_007	1411	1411	0	1415	2626	53.9%
ov_SC03_010	1411	1411	0	1411	2472	57.1%
ov_SC03_011	1411	1411	0	1417	2530	56.0%
ov_SC03_012	1411	1411	0	1412	2408	58.6%
ov_SC03_013	1411	1411	0	1411	2495	56.6%
ov_SC03_014	1411	1411	0	1421	2688	52.9%
ov_SC03_015	1411	1411	0	1421	2688	52.9%
ov_SC03_023	1411	1411	0	1412	2437	57.9%
ov_SC03_024	1411	1411	0	1423	2644	53.8%
ov_SC03_028	1411	1411	0	1415	2667	53.1%
ov_SC03_029	1413	1413	0	1423	2647	53.8%
ov_SC03_030	1415	1415	0	1417	2498	56.7%
ov_SC03_031	1411	1411	0	1415	2517	56.2%
ov_SC03_089	1411	1411	0	1418	2584	54.9%
ov_SC03_090	1411	1411	0	1419	2628	54.0%
ov_SC03_091	1411	1411	0	1419	2643	53.7%
ov_SC03_092	1411	1411	0	1423	2590	54.9%
ov_SC03_093	1411	1411	0	1415	2566	55.1%
ov_SC03_094	1411	1411	0	1417	2579	54.9%
ov_SC03_095	1411	1411	0	1414	2477	57.1%
ov_SC03_096	1411	1411	0	1414	2468	57.3%
ov_SC03_097	1411	1411	0	1418	2606	54.4%
ov_SC03_098	1411	1411	0	1414	2544	55.6%
ov_SC03_099	1411	1411	0	1414	2507	56.4%
ov_SC03_100	1411	1411	0	1415	2542	55.7%
ov_SC03_101	1411	1411	0	1415	2531	55.9%
ov_SC03_102	1411	1411	0	1414	2495	56.7%
ov_SC03_103	1413	1413	0	1416	2513	56.3%
ov_SC03_104	1411	1411	0	1418	2619	54.1%
ov_SC03_105	1411	1411	0	1418	2600	54.5%
ov_SC03_108	1411	1411	0	1411	2446	57.7%
ov_SC03_109	1411	1411	0	1413	2426	58.2%
ov_SC03_110	1411	1411	0	1411	2471	57.1%
ov_SC03_111	1411	1411	0	1414	2513	56.3%
ov_SC03_112	1413	1413	0	1415	2529	56.0%
ov_SC03_113	1413	1413	0	1416	2471	57.3%
ov_SC03_114	1411	1411	0	1413	2417	58.5%
ov_SC03_115	1411	1411	0	1413	2475	57.1%
ov_SC03_116	1411	1411	0	1414	2441	57.9%
ov_SC03_117	1411	1411	0	1417	2560	55.4%
ov_SC03_118	1411	1411	0	1424	2688	53.0%
ov_SC03_119	1411	1411	0	1424	2688	53.0%
ov_SC03_121	1411	1411	0	1414	2462	57.4%
ov_SC03_124	1407	1407	0	1427	2744	52.0%
ov_SC03_125	1411	1411	0	1423	2591	54.9%
ov_SC03_126	1411	1411	0	1412	2425	58.2%
ov_SC04_000	1415	1415	0	1424	2547	55.9%
ov_SC04_002	1411	1411	0	1415	2639	53.6%
ov_SC04_003	1411	1411	0	1415	2505	56.5%
ov_SC04_004	1411	1411	0	1413	2561	55.2%
ov_SC04_005	1411	1411	0	1417	2615	54.2%
ov_SC04_006	1411	1411	0	1413	2456	57.5%
ov_SC04_007	1411	1411	0	1415	2572	55.0%
ov_SC04_008	1411	1411	0	1411	2417	58.4%
ov_SC04_009	1411	1411	0	1414	2443	57.9%
ov_SC04_010	1411	1411	0	1412	2421	58.3%
ov_SC04_011	1411	1411	0	1417	2806	50.5%
ov_SC04_012	1411	1411	0	1412	2422	58.3%
ov_SC04_015	1411	1411	0	1423	2614	54.4%
ov_SC04_016	1411	1411	0	1413	2442	57.9%
ov_SC04_018	1411	1411	0	1424	2858	49.8%
ov_SC04_019	1411	1411	0	1424	2858	49.8%
ov_SC04_020	1411	1411	0	1423	2570	55.4%
ov_SC04_021	1411	1411	0	1412	2425	58.2%
ov_SC05_000	1415	1415	0	1418	2422	58.5%
ov_SC05_001	1411	1411	0	1416	2577	54.9%
ov_SC05_002	1411	1411	0	1414	2445	57.8%
ov_SC05_003	1411	1411	0	1412	2484	56.8%
ov_SC05_004	1411	1411	0	1413	2467	57.3%
ov_SC05_005	1411	1411	0	1412	2494	56.6%
ov_SC05_006	1411	1411	0	1411	2432	58.0%
ov_SC05_007	1411	1411	0	1416	2485	57.0%
ov_SC05_008	1411	1411	0	1413	2546	55.5%
ov_SC05_009	1411	1411	0	1415	2440	58.0%
ov_SC05_010	1411	1411	0	1415	2591	54.6%
ov_SC05_011	1411	1411	0	1412	2411	58.6%
ov_SC05_017	1407	1407	0	1419	2845	49.9%
ov_SC05_018	1411	1411	0	1424	2676	53.2%
ov_SC05_019	1411	1411	0	1412	2425	58.2%
ov_SC06_000	1415	1415	0	1423	2692	52.9%
ov_SC06_006	1411	1411	0	1412	2514	56.2%
ov_SC06_008	1413	1413	0	1419	2544	55.8%
ov_SC06_010	1411	1411	0	1416	2520	56.2%
ov_SC06_011	1411	1411	0	1415	2471	57.3%
ov_SC06_013	1411	1411	0	1412	2427	58.2%
ov_SC06_014	1411	1411	0	1413	2455	57.6%
ov_SC06_015	1411	1411	0	1411	2423	58.2%
ov_SC06_016	1411	1411	0	1413	2552	55.4%
ov_SC06_018	1411	1411	0	1419	2668	53.2%
ov_SC06_020	1411	1411	0	1412	2521	56.0%
ov_SC06_022	1411	1411	0	1419	2645	53.6%
ov_SC06_024	1411	1411	0	1417	2670	53.1%
ov_SC06_025	1411	1411	0	1416	2575	55.0%
ov_SC06_027	1411	1411	0	1412	2410	58.6%
ov_SC06_029	1411	1411	0	1423	2665	53.4%
ov_SC06_030	1411	1411	0	1411	2459	57.4%
ov_SC06_032	1411	1411	0	1418	2661	53.3%
ov_SC06_033	1411	1411	0	1418	2634	53.8%
ov_SC07_000	1415	1415	0	1417	2522	56.2%
ov_SC07_001	1411	1411	0	1413	2457	57.5%
ov_SC07_002	1411	1411	0	1415	2582	54.8%
ov_SC07_008	1411	1411	0	1411	2388	59.1%
ov_SC07_009	1411	1411	0	1413	2432	58.1%

8.2 KiB Raw Blame History

BFM FLEET matching progress (generated by tools/progress.py --fleet — authoritative)

136 binaries: main + resident + 134 location overlays. DETERMINISTIC,

source-derived (committed src/*.c + config/dedup.us.yaml). Live byte gate: make check-all;

cross-binary collapsible-byte leverage: docs/duplicates.cross.md.

8.2 KiB

Raw Blame History

source-derived (committed src/*.c + config/dedup.us.yaml). Live byte gate: `make check-all`;