mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-28 06:49:47 -04:00
Code Issues Packages Projects Releases Wiki Activity

config(wave_exclude): two 'compiler wall' entries were stale wrong-oracle verdicts

Browse Source 
func_8005F0C8 and func_8005ECC0 both live in the 800c3 REORDER_TUS island,
whose real build path is reorder_passthrough + as -O2. Their S68 wall verdicts
were measured under maspsx + as -O1 — the oracle S76 fixed. Re-measured under
the correct path they are ordinary near-misses: 3 of 88 (ADDRESSING) and 2 of
35 (DELAY-SLOT), not walls.

Both stay excluded because neither is SOLVED (permuter_ils reached 3 and 5, not
0), but the reason now says UNSOLVED rather than impossible. An exclude list
records what the tooling could not do; a wrong reason is how real work gets
filtered out permanently.

Found because a wave agent noted that six prior 'IMMOVABLE §177/§188 epilogue'
verdicts on func_8005FA94 were all wrong-oracle artifacts — the same
provenance, so the same suspicion applied to the neighbouring entries.
This commit is contained in:
Drew T
2026-09-03 20:21:42 -06:00
parent 1f2ae12b5d
commit 48df1a900f
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
config/wave_exclude.txt
+7 -2
View File
@@ -5,8 +5,13 @@
main:PopMatrix # WALL: compiler wall (merged from S68_walls_332.txt)
main:PushMatrix # WALL: compiler wall (merged from S68_walls_332.txt)
main:func_8005D9C4 # WALL: no jump table — curated compiler fact, not a tooling limit
main:func_8005ECC0 # WALL: no jump table — curated compiler fact, not a tooling limit
main:func_8005F0C8 # WALL: compiler wall (merged from S68_walls.txt)
main:func_8005ECC0 # NEAR-2/35 (DELAY-SLOT) — NOT a wall. Same wrong-oracle provenance as
# func_8005F0C8; re-measured S77 at 2 of 35. permuter_ils 4 cycles reached 5, not 0.
# Excluded as UNSOLVED, not as impossible.
main:func_8005F0C8 # NEAR-3/88 (ADDRESSING/move!=lui) — NOT a wall. The S68 'compiler wall'
# verdict was measured under the WRONG oracle (800c3 is a REORDER_TUS island; S76 fixed
# match_one/rtu_match to use reorder_passthrough + as -O2). Re-measured S77: 3 of 88.
# permuter_ils 4 cycles reached 3, not 0. Excluded as UNSOLVED, not as impossible.
main:func_80062144 # WALL: no jump table — curated compiler fact, not a tooling limit
md_MAIN_034:func_800CB00C # WALL: compiler wall (merged from S68_walls_332.txt)
ov_SC03_105:func_801834A4 # WALL: loop.c movable ordering, closeness 6 (S71)