feat(phase-30 S6c): jr family bank (pre-func_801734BC rest)

This commit is contained in:
Drew T
2026-08-03 09:24:04 -06:00
parent 9603d25896
commit 8554e8589f
7 changed files with 2232 additions and 15 deletions
+6 -3
View File
@@ -4759,7 +4759,7 @@ ov_SC07_007_ELF := $(ov_SC07_007_OUT).elf
ov_SC07_007_MAPFILE := $(ov_SC07_007_OUT).map
ov_SC07_007_LD_SCRIPT := $(ov_SC07_007_OUT).ld
ov_SC07_007_SPLAT_YAML := config/splat.ov_SC07_007.yaml
ov_SC07_007_JTBL_INTERLEAVE := --order tail.data.o,ov_SC07_007.o,tail2.data.o,ov_SC07_007_jr_80131340.o,tail3.data.o,ov_SC07_007_jr_80135888.o,tail4.data.o,ov_SC07_007_jr_80135A4C.o,tail5.data.o,ov_SC07_007_jr_80135D20.o,tail6.data.o,ov_SC07_007_o0c.o,tail7.data.o,ov_SC07_007_jr_8013F350.o,tail8.data.o,ov_SC07_007_jr_8014032C.o,tail9.data.o,ov_SC07_007_jr_80140608.o,tail10.data.o,ov_SC07_007_jr_8015444C.o,ov_SC07_007_jr_80154C24.o,ov_SC07_007_jr_801588CC.o,ov_SC07_007_jr_80159C84.o,tail11.data.o,ov_SC07_007_jr_8015A3C8.o,tail12.data.o,ov_SC07_007_jr_8015B950.o,tail13.data.o,ov_SC07_007_jr_8015C32C.o,tail14.data.o,ov_SC07_007_jr_8016AE5C.o,tail15.data.o,ov_SC07_007_jr_80171B4C.o,tail16.data.o,ov_SC07_007_jr_801789AC.o,tail17.data.o,ov_SC07_007_jr_80179B74.o,tail18.data.o,ov_SC07_007_jr_8017AE2C.o,ov_SC07_007_jr_8017BEBC.o,tail19.data.o,trailing.o # Phase-26 §8 jtbl-rodata carve
ov_SC07_007_JTBL_INTERLEAVE := --order tail.data.o,ov_SC07_007.o,tail2.data.o,ov_SC07_007_jr_80131340.o,tail3.data.o,ov_SC07_007_jr_80135888.o,tail4.data.o,ov_SC07_007_jr_80135A4C.o,tail5.data.o,ov_SC07_007_jr_80135D20.o,tail6.data.o,ov_SC07_007_o0c.o,tail7.data.o,ov_SC07_007_jr_8013F350.o,tail8.data.o,ov_SC07_007_jr_8014032C.o,tail9.data.o,ov_SC07_007_jr_80140608.o,tail10.data.o,ov_SC07_007_jr_8015444C.o,ov_SC07_007_jr_80154C24.o,ov_SC07_007_jr_801588CC.o,ov_SC07_007_jr_80159C84.o,tail11.data.o,ov_SC07_007_jr_8015A3C8.o,tail12.data.o,ov_SC07_007_jr_8015B950.o,tail13.data.o,ov_SC07_007_jr_8015C32C.o,tail14.data.o,ov_SC07_007_jr_8016AE5C.o,tail15.data.o,ov_SC07_007_jr_80171B4C.o,tail16.data.o,ov_SC07_007_jr_801789AC.o,ov_SC07_007_jr_80179B74.o,tail17.data.o,ov_SC07_007_jr_8017AE2C.o,ov_SC07_007_jr_8017BEBC.o,tail18.data.o,trailing.o # Phase-26 §8 jtbl-rodata carve
build/src/ov_SC07_007/ov_SC07_007.o: JTBL_PADS := 0,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x14
build/src/ov_SC07_007/ov_SC07_007_jr_80131340.o: JTBL_PADS := 0,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x14
build/src/ov_SC07_007/ov_SC07_007_jr_80135D20.o: JTBL_PADS := 0,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x18
@@ -4770,6 +4770,7 @@ build/src/ov_SC07_007/ov_SC07_007_jr_80154C24.o: JTBL_PADS := 0,0 # §8e pads (
build/src/ov_SC07_007/ov_SC07_007_jr_801588CC.o: JTBL_PADS := 0,4,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x28,+0x48
build/src/ov_SC07_007/ov_SC07_007_jr_80159C84.o: JTBL_PADS := 0,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x20
build/src/ov_SC07_007/ov_SC07_007_jr_8015A3C8.o: JTBL_PADS := 0,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x20
build/src/ov_SC07_007/ov_SC07_007_jr_801789AC.o: JTBL_PADS := 0,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x18
build/src/ov_SC07_007/ov_SC07_007_jr_80179B74.o: JTBL_PADS := 0,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x90
build/src/ov_SC07_007/ov_SC07_007_o0c.o: JTBL_PADS := 0,4,4,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x38,+0xa8,+0x118
ov_SC07_007_CHECK_SHA := config/check.ov_SC07_007.sha
@@ -4793,7 +4794,7 @@ ov_SC07_010_ELF := $(ov_SC07_010_OUT).elf
ov_SC07_010_MAPFILE := $(ov_SC07_010_OUT).map
ov_SC07_010_LD_SCRIPT := $(ov_SC07_010_OUT).ld
ov_SC07_010_SPLAT_YAML := config/splat.ov_SC07_010.yaml
ov_SC07_010_JTBL_INTERLEAVE := --order tail.data.o,ov_SC07_010.o,tail2.data.o,ov_SC07_010_jr_80131340.o,tail3.data.o,ov_SC07_010_jr_80135888.o,tail4.data.o,ov_SC07_010_jr_80135A4C.o,tail5.data.o,ov_SC07_010_jr_80135D20.o,tail6.data.o,ov_SC07_010_o0.o,tail7.data.o,ov_SC07_010_jr_8013F350.o,tail8.data.o,ov_SC07_010_jr_8014032C.o,tail9.data.o,ov_SC07_010_jr_80140608.o,tail10.data.o,ov_SC07_010_jr_8015444C.o,ov_SC07_010_jr_80154C24.o,ov_SC07_010_jr_801588CC.o,ov_SC07_010_jr_80159C84.o,tail11.data.o,ov_SC07_010_jr_8015A3C8.o,tail12.data.o,ov_SC07_010_jr_8015B950.o,tail13.data.o,ov_SC07_010_jr_8015C32C.o,tail14.data.o,ov_SC07_010_jr_8016AE5C.o,tail15.data.o,ov_SC07_010_jr_80171B4C.o,tail16.data.o,ov_SC07_010_jr_801789AC.o,tail17.data.o,ov_SC07_010_jr_80179B74.o,tail18.data.o,ov_SC07_010_jr_8017AE2C.o,tail19.data.o,trailing.o # Phase-26 §8 jtbl-rodata carve
ov_SC07_010_JTBL_INTERLEAVE := --order tail.data.o,ov_SC07_010.o,tail2.data.o,ov_SC07_010_jr_80131340.o,tail3.data.o,ov_SC07_010_jr_80135888.o,tail4.data.o,ov_SC07_010_jr_80135A4C.o,tail5.data.o,ov_SC07_010_jr_80135D20.o,tail6.data.o,ov_SC07_010_o0.o,tail7.data.o,ov_SC07_010_jr_8013F350.o,tail8.data.o,ov_SC07_010_jr_8014032C.o,tail9.data.o,ov_SC07_010_jr_80140608.o,tail10.data.o,ov_SC07_010_jr_8015444C.o,ov_SC07_010_jr_80154C24.o,ov_SC07_010_jr_801588CC.o,ov_SC07_010_jr_80159C84.o,tail11.data.o,ov_SC07_010_jr_8015A3C8.o,tail12.data.o,ov_SC07_010_jr_8015B950.o,tail13.data.o,ov_SC07_010_jr_8015C32C.o,tail14.data.o,ov_SC07_010_jr_8016AE5C.o,tail15.data.o,ov_SC07_010_jr_80171B4C.o,tail16.data.o,ov_SC07_010_jr_801789AC.o,ov_SC07_010_jr_80179B74.o,tail17.data.o,ov_SC07_010_jr_8017AE2C.o,tail18.data.o,trailing.o # Phase-26 §8 jtbl-rodata carve
build/src/ov_SC07_010/ov_SC07_010.o: JTBL_PADS := 0,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x14
build/src/ov_SC07_010/ov_SC07_010_jr_80131340.o: JTBL_PADS := 0,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x14
build/src/ov_SC07_010/ov_SC07_010_jr_80135D20.o: JTBL_PADS := 0,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x18
@@ -4803,6 +4804,7 @@ build/src/ov_SC07_010/ov_SC07_010_jr_80154C24.o: JTBL_PADS := 0,0 # §8e pads (
build/src/ov_SC07_010/ov_SC07_010_jr_801588CC.o: JTBL_PADS := 0,4,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x28,+0x48
build/src/ov_SC07_010/ov_SC07_010_jr_80159C84.o: JTBL_PADS := 0,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x20
build/src/ov_SC07_010/ov_SC07_010_jr_8015A3C8.o: JTBL_PADS := 0,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x20
build/src/ov_SC07_010/ov_SC07_010_jr_801789AC.o: JTBL_PADS := 0,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x18
build/src/ov_SC07_010/ov_SC07_010_jr_80179B74.o: JTBL_PADS := 0,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x90
build/src/ov_SC07_010/ov_SC07_010_o0.o: JTBL_PADS := 0,4,4,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x38,+0xa8,+0x118
ov_SC07_010_CHECK_SHA := config/check.ov_SC07_010.sha
@@ -4826,7 +4828,7 @@ ov_SC07_011_ELF := $(ov_SC07_011_OUT).elf
ov_SC07_011_MAPFILE := $(ov_SC07_011_OUT).map
ov_SC07_011_LD_SCRIPT := $(ov_SC07_011_OUT).ld
ov_SC07_011_SPLAT_YAML := config/splat.ov_SC07_011.yaml
ov_SC07_011_JTBL_INTERLEAVE := --order tail.data.o,ov_SC07_011.o,tail2.data.o,ov_SC07_011_jr_80131340.o,tail3.data.o,ov_SC07_011_jr_80135888.o,tail4.data.o,ov_SC07_011_jr_80135A4C.o,tail5.data.o,ov_SC07_011_jr_80135D20.o,tail6.data.o,ov_SC07_011_o0c.o,tail7.data.o,ov_SC07_011_jr_8013F350.o,tail8.data.o,ov_SC07_011_jr_8014032C.o,tail9.data.o,ov_SC07_011_jr_80140608.o,tail10.data.o,ov_SC07_011_jr_8015444C.o,ov_SC07_011_jr_80154C24.o,ov_SC07_011_jr_801588CC.o,ov_SC07_011_jr_80159C84.o,tail11.data.o,ov_SC07_011_jr_8015A3C8.o,tail12.data.o,ov_SC07_011_jr_8015B950.o,tail13.data.o,ov_SC07_011_jr_8015C32C.o,tail14.data.o,ov_SC07_011_jr_8016AE5C.o,tail15.data.o,ov_SC07_011_jr_80171B4C.o,tail16.data.o,ov_SC07_011_jr_801789AC.o,tail17.data.o,ov_SC07_011_jr_80179B74.o,tail18.data.o,ov_SC07_011_jr_8017AE2C.o,ov_SC07_011_jr_8017BEBC.o,tail19.data.o,trailing.o # Phase-26 §8 jtbl-rodata carve
ov_SC07_011_JTBL_INTERLEAVE := --order tail.data.o,ov_SC07_011.o,tail2.data.o,ov_SC07_011_jr_80131340.o,tail3.data.o,ov_SC07_011_jr_80135888.o,tail4.data.o,ov_SC07_011_jr_80135A4C.o,tail5.data.o,ov_SC07_011_jr_80135D20.o,tail6.data.o,ov_SC07_011_o0c.o,tail7.data.o,ov_SC07_011_jr_8013F350.o,tail8.data.o,ov_SC07_011_jr_8014032C.o,tail9.data.o,ov_SC07_011_jr_80140608.o,tail10.data.o,ov_SC07_011_jr_8015444C.o,ov_SC07_011_jr_80154C24.o,ov_SC07_011_jr_801588CC.o,ov_SC07_011_jr_80159C84.o,tail11.data.o,ov_SC07_011_jr_8015A3C8.o,tail12.data.o,ov_SC07_011_jr_8015B950.o,tail13.data.o,ov_SC07_011_jr_8015C32C.o,tail14.data.o,ov_SC07_011_jr_8016AE5C.o,tail15.data.o,ov_SC07_011_jr_80171B4C.o,tail16.data.o,ov_SC07_011_jr_801789AC.o,ov_SC07_011_jr_80179B74.o,tail17.data.o,ov_SC07_011_jr_8017AE2C.o,ov_SC07_011_jr_8017BEBC.o,tail18.data.o,trailing.o # Phase-26 §8 jtbl-rodata carve
build/src/ov_SC07_011/ov_SC07_011.o: JTBL_PADS := 0,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x14
build/src/ov_SC07_011/ov_SC07_011_jr_80131340.o: JTBL_PADS := 0,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x14
build/src/ov_SC07_011/ov_SC07_011_jr_80135D20.o: JTBL_PADS := 0,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x18
@@ -4837,6 +4839,7 @@ build/src/ov_SC07_011/ov_SC07_011_jr_80154C24.o: JTBL_PADS := 0,0 # §8e pads (
build/src/ov_SC07_011/ov_SC07_011_jr_801588CC.o: JTBL_PADS := 0,4,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x28,+0x48
build/src/ov_SC07_011/ov_SC07_011_jr_80159C84.o: JTBL_PADS := 0,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x20
build/src/ov_SC07_011/ov_SC07_011_jr_8015A3C8.o: JTBL_PADS := 0,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x20
build/src/ov_SC07_011/ov_SC07_011_jr_801789AC.o: JTBL_PADS := 0,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x18
build/src/ov_SC07_011/ov_SC07_011_jr_80179B74.o: JTBL_PADS := 0,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x90
build/src/ov_SC07_011/ov_SC07_011_o0c.o: JTBL_PADS := 0,4,4,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x38,+0xa8,+0x118
ov_SC07_011_CHECK_SHA := config/check.ov_SC07_011.sha
+2 -3
View File
@@ -151,12 +151,11 @@ segments:
- [0x9dea8, .rodata, ov_SC07_007_jr_80171B4C] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
- [0x9dec8, data, tail16]
- [0x9e06c, .rodata, ov_SC07_007_jr_801789AC] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
- [0x9e084, data, tail17]
- [0x9e1fc, .rodata, ov_SC07_007_jr_80179B74] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
- [0x9e318, data, tail18]
- [0x9e318, data, tail17]
- [0x9e31c, .rodata, ov_SC07_007_jr_8017AE2C] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
- [0x9e330, .rodata, ov_SC07_007_jr_8017BEBC] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
- [0x9e350, data, tail19]
- [0x9e350, data, tail18]
- [0x9F9DC, bin, trailing] # final 3 bytes (EOF not 4-aligned; spimdisasm drops a partial word)
- [0x9F9DF] # EOF marker = the 0.4.dec byte length
# @TRAILING@ (above) is replaced by tools/new_overlay.sh: for a non-4-aligned overlay it becomes
+2 -3
View File
@@ -150,11 +150,10 @@ segments:
- [0x7e388, .rodata, ov_SC07_010_jr_80171B4C] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
- [0x7e3a8, data, tail16]
- [0x7e54c, .rodata, ov_SC07_010_jr_801789AC] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
- [0x7e564, data, tail17]
- [0x7e6dc, .rodata, ov_SC07_010_jr_80179B74] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
- [0x7e7f8, data, tail18]
- [0x7e7f8, data, tail17]
- [0x7e7fc, .rodata, ov_SC07_010_jr_8017AE2C] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
- [0x7e810, data, tail19]
- [0x7e810, data, tail18]
- [0x813EC, bin, trailing] # final 3 bytes (EOF not 4-aligned; spimdisasm drops a partial word)
- [0x813EF] # EOF marker = the 0.4.dec byte length
# @TRAILING@ (above) is replaced by tools/new_overlay.sh: for a non-4-aligned overlay it becomes
+2 -3
View File
@@ -151,12 +151,11 @@ segments:
- [0x66a50, .rodata, ov_SC07_011_jr_80171B4C] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
- [0x66a70, data, tail16]
- [0x66c14, .rodata, ov_SC07_011_jr_801789AC] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
- [0x66c2c, data, tail17]
- [0x66da4, .rodata, ov_SC07_011_jr_80179B74] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
- [0x66ec0, data, tail18]
- [0x66ec0, data, tail17]
- [0x66ec4, .rodata, ov_SC07_011_jr_8017AE2C] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
- [0x66ed8, .rodata, ov_SC07_011_jr_8017BEBC] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
- [0x66ef8, data, tail19]
- [0x66ef8, data, tail18]
- [0x683A4, bin, trailing] # final 3 bytes (EOF not 4-aligned; spimdisasm drops a partial word)
- [0x683A7] # EOF marker = the 0.4.dec byte length
# @TRAILING@ (above) is replaced by tools/new_overlay.sh: for a non-4-aligned overlay it becomes
+740 -1
View File
@@ -3442,7 +3442,746 @@ void func_80178D18(void) {
}
INCLUDE_ASM("asm/ov_SC07_007/nonmatchings/ov_SC07_007_jr_801789AC", func_80178D40);
extern void func_8002D4C8(s32 a0, s32 a1);
extern void func_8012E8E0(s32 a0, s32 a1);
extern void func_80175414(s32);
extern void func_80175454(void);
/* func_80178D40 - 890 ins, 94-case jr switch (jtbl_801D8E24).
* STATUS: **MATCH** -- 890/890 ins, byte-exact (masked). PIN-FREE (this body is
* templated across 134 overlays; a pinned body would crash the sibling TUs).
* python3 tools/match_one.py func_80178D40 --c .run/phase26-cracks/func_80178D40.c \
* --asm-subdir asm/ov_SC01_077/nonmatchings/ov_SC01_077_jr_801734BC
* => MATCH (890 ins)
* Jump table VERIFIED: 94 entries (= the sltiu 0x5E bound, no trailing zero pad),
* 93 unique blocks, cases 0xF/0x3F share one block; my case->block sequence is
* identical to jtbl_801D8E24's.
*
* Byte-derived structure (the levers that cracked it):
* 1. NO status variable. Every case stores `(*(s16*)&D_801C7B34) = K` DIRECTLY. The shared
* `sh $v0, (*(s16*)&D_801C7B34)` at .L80179AEC is a jump2 CROSS-JUMP merge of those stores:
* find_cross_jump's FIRST call (minimum=1, vs the code before the target label)
* matches that 1 insn, and because it succeeds the jump_chain loop (minimum=2) is
* SKIPPED -- which is what BLOCKS the deeper, wrong 3-insn merges of the identical
* func_80137614 tails (cases 0/0x45/0x32). reorg then steals the `li K` back into
* each `j` delay slot, so it looks un-merged. A `status` pseudo instead of direct
* stores loses that block and costs 6 insns.
* 2. after-switch = `D_801C7348 += 8;` (.L80179AF4) -> the out-of-range default lands
* there with NO explicit `default:` label.
* 3. arg0/arg1/pv are STRUCT pointers. gcc-2.7.2 sched alias (sched.c true_dependence)
* only lets a MEM_IN_STRUCT varying-address load hoist above a non-MEM_IN_STRUCT
* fixed-address store (the (*(s16*)&D_801C7B34) store). Raw `*(T *)(int + off)` casts get
* MEM_IN_STRUCT_P = 0 and block that hoist -> stray nops.
* 4. g = &D_801C7A90 stays a plain `s16 *` (NOT a struct ptr) so its varying,
* non-in-struct stores keep their order w.r.t. the loads.
* 5. Statement order inside the D_801C7A90 cases is load-bearing (sched LUID/priority):
* g[0],g[2],g[1] in 0x25/0x48/0x26; g[7],g[8],g[1],g[3] in 0x4F/0x28.
* 6. Cases 0x5B/0x5C: the loops "found" bodies are emitted BEFORE the case label ->
* source-level labels placed between cases + `goto`.
* 7. Per-case temporaries are BLOCK-LOCAL (local-alloc), not function-scope.
* 8. stack locals declared in slot order (0x10,0x18,0x20,0x28,0x30,0x38,0x40,0x48,
* 0x50,0x58,0x60) -> frame 0x78.
*
* Case 0x5C -- the last 39 residuals. Four levers, all generalizable:
*
* 9. NO-PEEL: a `break` out of a do-while whose target COINCIDES with the loop's own
* natural fall-through exit makes NOTE_INSN_LOOP_BEG be followed by an
* unconditional jump -> jump.c `duplicate_loop_exit_test` (jump.c:599/2131) rotates
* the loop and peels iteration 1 (here `i` was provably 0, so the peeled `i++`
* const-folded to `li $a2,1` and dragged an extra lui/addiu/lw address block with
* it). Writing `goto L5D;` instead of `break;` -- SAME destination, different
* construct -- keeps the loop a plain do-while and the peel disappears.
* RULE: never let a loop's `break` land on the loop's own fall-through label.
*
* 10. SURVIVING REG-REG COPY (residual #1, `addu $v1,$v0,$zero`). A source-level
* `fp = q;` copy ALWAYS dies: cse.c `canon_reg` rewrites every later use of `fp`
* to `q` (qty_first_reg keeps the older reg) and flow deletes the now-dead set.
* To make a copy SURVIVE, its def and its uses must sit in different extended basic
* blocks -- cse resets its hash table at a label with >1 predecessor (a loop top).
* So: TEST THE MEM DIRECTLY, then assign the variable inside the branch body:
* if (arg1->a.w != 0) { fp5c = arg1->a.w; ... do { ... fp5c ... } while (); }
* cse folds the redundant 2nd load into `fp5c = <load temp>` (a copy) in the guard
* block, but CANNOT propagate it into the loop body -> the copy is emitted.
* (Assigning `fp5c` BEFORE the test gives one pseudo and no copy -- what we had.)
*
* 11. CROSS-JUMP-MERGED `(*(s16*)&D_801C7B34) = 3` (residual #2). `if (i != 10) { (*(s16*)&D_801C7B34) = 3;
* break; }` lets jump2 tail-merge the `lui/sh` into the shared .L80179AEC tail and
* reorg steal the `li 3` into the `bne` delay slot. Storing it unconditionally
* BEFORE the `if` blocks the merge and costs 3 inline insns.
*
* 12. THE UN-COALESCED LOOP COPY (residual #3, `addu $v1,$a0,$zero` + `addiu $a0,$v1,4`).
* This is loop.c's NON-REPLACEABLE DEST_REG GIV, not a source-level copy (see #10:
* those always die). Recipe -- BOTH halves are needed:
* a) make the pointer an INDEX GIV: `p5c = &D_801C77A4[i5c];` (a DEST_REG giv)
* b) make it NON-replaceable so loop.c emits `emit_insn_after(move dest,new_reg)`
* (loop.c:3945): record_giv (loop.c:4437) needs the giv used OUTSIDE the loop
* -- so the "found" body goes AFTER the loop and stores through `p5c`.
* c) put the BIV increment (`i5c++`) LAST in the body. loop.c inserts the reduced
* giv's `addiu` immediately BEFORE the biv's increment insn, so `i5c++` at the
* bottom puts `addiu $a0,$v1,4` in the loop-back delay slot. With `i5c++` at
* the TOP the giv-add lands at the top, nothing is left to fill the delay slot,
* and reorg STEALS the loop-top `move` into it (duplicating it: +1 insn).
*
* 13. Loop3 needs its OWN pointer pseudo (`r5c`, not `q5c`). `q5c` is loop1's pointer,
* and in loop1 $v1 is held by `fp5c` -> q5c is forced to $a0, and loop3 inherits it.
* Both "found" bodies then read $a0, become identical, and jump2 CROSS-JUMPS them
* into one block (-2 insns). A distinct pseudo frees loop3 into $v1, so found3
* (`sw $zero,0($v1)`) differs from found2 (`sw $zero,0($a0)`) and they stay separate.
* RULE: two structurally identical loops must differ in REGISTER, or cross_jump
* merges their tails.
*/
M2C_UNK func_80178D40(s32 arg0, s32 arg1)
{
extern void func_80179B28(s32);
extern void func_80137614(s32, s32, s32);
extern void func_8012F214(s32, s32, s32);
extern void func_8012F40C(void *, void *);
extern void func_80179D30(void *);
extern void func_80179D78(void *);
extern void func_80179EA0(void *);
extern void func_80179DCC(s32);
extern void func_80179DF8(void);
extern void func_80179E1C(s32);
extern void func_80179E48(s32);
extern void func_80179E74(s32);
extern void func_80179EE8(s32);
extern void func_80179F14(s32, s32);
extern void func_80179F44(void);
extern void func_80179F6C(s32);
extern void func_80179F98(s32);
extern void func_80179FEC(s32);
extern void func_8017A040(s32);
extern void func_8017A094(s32);
extern void func_8017A0C4(s32);
extern void func_8017A0F4(void);
extern void func_8017A11C(void);
extern void func_8017A144(s32);
extern void func_8017A180(void);
extern void func_8017A1A8(void);
extern void func_8017A1D0(void);
extern void func_8017A1F8(void);
extern void func_8017A220(void);
extern void func_8017A248(void);
extern void func_8017A270(void);
extern void func_8017A298(void);
extern void func_8017A2C0(void);
extern void func_8017A2E8(void);
extern void func_8017A310(void);
extern void func_8017A338(void);
extern void func_8017A360(void);
extern void func_8017A388(void);
extern void func_8017A3B0(void);
extern void func_8017A3D8(void);
extern void func_8017AD0C(s32);
extern void func_8017B238(void *, s32);
extern void func_8017B614(void *, s32);
extern void func_8017B7A8(void *);
extern void func_8017B824(void);
extern void func_8017B880(void);
extern void func_8017B940(void *);
extern void func_8017BA3C(void *, s32);
extern void func_8017BB34(void *, s32);
extern void func_8012A828(s32, void*);
extern s32 func_8012B8A4(s16*);
extern void func_8012E88C(u8*);
extern void func_8012E8A8(u8*);
extern void func_8001AAD0(s32, s32);
extern s16 D_801C7764;
extern s16 D_801C7768;
extern s16 D_801C776C;
extern s16 D_801C7770;
extern s32 D_801C7778;
extern s32 D_801C777C;
extern s16 D_801C7790;
extern s16 D_801C7794;
extern s32 D_801C7798;
extern s32 D_801C77A0;
extern s32 D_801C77A4[10];
extern s32 D_801C79C8;
extern s16 D_801C7A90;
extern s32 D_801C7ABC;
SV3_80178D40 v10, v18, v20, v28, v30, v38, v40, v48;
s32 out50[2];
SV3_80178D40 v58, v60;
Actor_80178D40 *pv = &(*(Actor_80178D40*)&D_80126B58);
s32 i5b, i5c, fp5b, fp5c;
s32 *q5b, *q5c, *p5c, *r5c;
s16 *g = &D_801C7A90;
switch (((Cmd_80178D40 *)arg1)->op) {
case 1:
func_80179B28(D_801C7760);
D_801C7760 = ((s32 (*)(s32, s32, s32))func_80137614)(((Cmd_80178D40 *)arg1)->a.w, D_801C776C, D_801C7770 ? 0x48 : 0x40);
(*(s16*)&D_801C7B34) = 2;
break;
case 0:
func_80179B28(D_801C7760);
D_801C7760 = ((s32 (*)(s32, s32, s32))func_80137614)(((Cmd_80178D40 *)arg1)->a.w, D_801C7764, D_801C7768 ? 0x48 : 0x40);
(*(s16*)&D_801C7B34) = 1;
break;
case 0x45:
((void (*)(s32))((Cmd_80178D40 *)arg1)->a.w)(((Actor_80178D40 *)arg0));
if (D_801C79C8 != 0) {
func_80179B28(D_801C7760);
D_801C7760 = ((s32 (*)(s32, s32, s32))func_80137614)(((Actor_80178D40 *)arg0)->unkDC[1], D_801C7764, D_801C7768 ? 0x48 : 0x40);
(*(s16*)&D_801C7B34) = 1;
} else {
(*(s16*)&D_801C7B34) = 3;
}
break;
case 0x32:
func_80179B28(D_801C7760);
D_801C7760 = ((s32 (*)(s32, s32, s32))func_80137614)(((Actor_80178D40 *)arg0)->unkDC[((Cmd_80178D40 *)arg1)->a.w], D_801C7764,
D_801C7768 ? 0x48 : 0x40);
(*(s16*)&D_801C7B34) = 1;
break;
case 2:
func_80179B28(D_801C7760);
if (D_801C7778 != 0) {
D_801C7348 = D_801C7778;
D_801C7778 = 0;
(*(s16*)&D_801C7B34) = 3;
return;
}
(*(s16*)&D_801C7B34) = 6;
break;
case 6:
func_80179DF8();
(*(s16*)&D_801C7B34) = 3;
break;
case 3:
v10.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v10.vy = 0;
v10.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
func_80179D30(&v10);
(*(s16*)&D_801C7B34) = 3;
break;
case 4:
v10.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v10.vy = 0;
v10.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
((void (*)(void *, void *, void *))func_8012F214)(((Actor_80178D40 *)arg0), &v10, &v18);
func_80179D30(&v18);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x4C:
func_80179D78((void *)((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x4D:
v10.vx = ((Blk_80178D40 *)((Cmd_80178D40 *)arg1)->a.p)->f0;
v10.vy = 0;
v10.vz = ((Blk_80178D40 *)((Cmd_80178D40 *)arg1)->a.p)->f4;
((void (*)(void *, void *, void *))func_8012F214)(((Actor_80178D40 *)arg0), &v10, &v18);
v18.pad = ((Blk_80178D40 *)((Cmd_80178D40 *)arg1)->a.p)->f6;
func_80179D78(&v18);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x15:
v10.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v10.vy = 0;
v10.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
((void (*)(void *, void *, void *))func_8012F214)(((Actor_80178D40 *)arg0)->unkD4, &v10, &v18);
func_80179D30(&v18);
(*(s16*)&D_801C7B34) = 3;
break;
case 5:
func_80179DCC(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801C7B34) = 3;
break;
case 7:
func_80179E1C(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801C7B34) = 3;
break;
case 8:
func_80179E74(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801C7B34) = 3;
break;
case 9:
v10.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v10.vy = 0;
v10.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
func_80179EA0(&v10);
(*(s16*)&D_801C7B34) = 3;
break;
case 0xA:
v10.vx = ((Actor_80178D40 *)arg0)->unk6;
v10.vy = ((Actor_80178D40 *)arg0)->unkA;
v10.vz = ((Actor_80178D40 *)arg0)->unkE;
func_80179EA0(&v10);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x16: {
Actor_80178D40 *p = ((Actor_80178D40 *)arg0)->unkD4;
v10.vx = p->unk6;
v10.vy = p->unkA;
v10.vz = p->unkE;
func_80179EA0(&v10);
(*(s16*)&D_801C7B34) = 3;
break;
}
case 0xB:
func_8017A0F4();
(*(s16*)&D_801C7B34) = 3;
break;
case 0xC:
func_8017A11C();
(*(s16*)&D_801C7B34) = 3;
break;
case 0xD:
func_8017A180();
(*(s16*)&D_801C7B34) = 3;
break;
case 0xE:
func_8017A1A8();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x10:
func_8017A1D0();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x46:
func_8017A1F8();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x59:
func_8017A220();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x5A:
func_8017A248();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x49:
func_8017A144(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x47:
func_8017A270();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x17:
func_80179EE8(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x18:
func_80179F14(((Cmd_80178D40 *)arg1)->a.h[0], ((Cmd_80178D40 *)arg1)->a.h[1]);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x19:
func_80179F6C(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x1A:
func_80179F98(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x51:
func_8017A040(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x1B:
D_801C7798 = ((Cmd_80178D40 *)arg1)->a.w;
func_80179F44();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x1C:
func_8017A338();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x52:
func_8017A360();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x1D:
func_8017A388();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x3B:
func_8017A094(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x3C:
func_8017A0C4(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801C7B34) = 3;
break;
case 0xF:
case 0x3F:
(*(s16*)&D_801C7B34) = 4;
D_801C734C = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x3E:
(*(s16*)&D_801C7B34) = 5;
D_801C778C = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x40:
D_801C778C = (s32)func_8017A3B0;
(*(s16*)&D_801C7B34) = 5;
break;
case 0x23:
((void (*)(void *, s32))func_8012A828)(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x31:
((void (*)(void *, s32))func_8012A828)(((Actor_80178D40 *)arg0), ((Actor_80178D40 *)arg0)->unkDC[((Cmd_80178D40 *)arg1)->a.w]);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x24:
(*(s16*)&D_801C7B34) = 3;
((Actor_80178D40 *)arg0)->unk20->unk12 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x25:
g[0] = 1;
g[2] = ((Actor_80178D40 *)arg0)->unk20->unk12 + ((Cmd_80178D40 *)arg1)->a.uh[0];
g[1] = 0x1E;
(*(s16*)&D_801C7B34) = 3;
g[3] = ((Cmd_80178D40 *)arg1)->a.uh[1];
break;
case 0x48:
g[0] = 1;
g[2] = ((Cmd_80178D40 *)arg1)->a.uh[0];
g[1] = 0x1E;
(*(s16*)&D_801C7B34) = 3;
g[3] = ((Cmd_80178D40 *)arg1)->a.uh[1];
break;
case 0x26:
g[0] = 1;
g[2] = ((s32 (*)(void *))func_8012B8A4)(((Actor_80178D40 *)arg0));
g[1] = 0x1E;
(*(s16*)&D_801C7B34) = 3;
g[3] = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x3D:
((void(*)(void *, s32))func_8012E8E0)(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x27:
g[0] = 2;
g[4] = ((Cmd_80178D40 *)arg1)->a.uh[0];
(*(s16*)&D_801C7B34) = 3;
g[1] = ((Cmd_80178D40 *)arg1)->a.uh[1];
break;
case 0x4F:
g[5] = 1;
g[0] = 3;
g[6] = ((Cmd_80178D40 *)arg1)->a.uh[0];
(*(s16*)&D_801C7B34) = 3;
g[7] = ((Actor_80178D40 *)arg0)->unkA;
g[8] = ((Cmd_80178D40 *)arg1)->a.uh[1];
g[1] = 0x10;
g[3] = 4;
/* fallthrough */
case 0x28:
g[5] = 0;
g[0] = 3;
g[6] = ((Cmd_80178D40 *)arg1)->a.uh[0];
(*(s16*)&D_801C7B34) = 3;
g[7] = ((Actor_80178D40 *)arg0)->unkA;
g[8] = ((Cmd_80178D40 *)arg1)->a.uh[1];
g[1] = 0x10;
g[3] = 4;
break;
case 0x29:
v20.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v20.vy = ((Actor_80178D40 *)arg0)->unkA;
v20.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
((void (*)(void *, void *, void *))func_8012F214)(((Actor_80178D40 *)arg0), &v20, &v28);
g[5] = 0;
g[0] = 3;
*(SV3_80178D40 *)(g + 6) = v28;
g[1] = 0x10;
g[3] = 4;
(*(s16*)&D_801C7B34) = 3;
break;
case 0x50:
v30.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v30.vy = ((Actor_80178D40 *)arg0)->unkA;
v30.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
((void (*)(void *, void *, void *))func_8012F214)(((Actor_80178D40 *)arg0), &v30, &v38);
g[5] = 1;
g[0] = 3;
*(SV3_80178D40 *)(g + 6) = v38;
g[1] = 0x10;
g[3] = 4;
(*(s16*)&D_801C7B34) = 3;
break;
case 0x2A:
g[0] = 4;
(*(s16*)&D_801C7B34) = 3;
g[1] = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x1E:
func_8017B238(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x21:
func_8017BA3C(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
func_8017B238(((Actor_80178D40 *)arg0), (s32)&D_801C777C);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x54:
func_8017BB34(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
func_8017B238(((Actor_80178D40 *)arg0), (s32)&D_801C777C);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x1F:
func_8017B614(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x22:
func_8017BA3C(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
func_8017B614(((Actor_80178D40 *)arg0), (s32)&D_801C777C);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x55:
func_8017BB34(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
func_8017B614(((Actor_80178D40 *)arg0), (s32)&D_801C777C);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x20:
func_8017B7A8(((Actor_80178D40 *)arg0));
(*(s16*)&D_801C7B34) = 3;
break;
case 0x4E:
D_801C77A0 = ((Cmd_80178D40 *)arg1)->a.w;
func_8017B940(((Actor_80178D40 *)arg0));
(*(s16*)&D_801C7B34) = 3;
break;
case 0x57:
func_8017B824();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x58:
func_8017B880();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x2B:
(*(s16*)&D_801C7B34) = 3;
((Actor_80178D40 *)arg0)->unk2 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x2C:
(*(s16*)&D_801C7B34) = 3;
((Actor_80178D40 *)arg0)->unk34 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x2D:
(*(s16*)&D_801C7B34) = 3;
((Actor_80178D40 *)arg0)->unkD8 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x2F:
(*(s16*)&D_801C7B34) = 3;
((Actor_80178D40 *)arg0)->unk10A = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x2E:
(*(s16*)&D_801C7B34) = 3;
((Actor_80178D40 *)arg0)->unkF8 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x11:
func_8017A298();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x12:
func_8017A2C0();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x13:
func_8017A2E8();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x14:
func_8017A310();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x33: {
void (*f)(Actor_80178D40 *) = (void (*)(Actor_80178D40 *))((Cmd_80178D40 *)arg1)->a.w;
D_801C7ABC = (s32)&((Cmd_80178D40 *)arg1)[1];
f(((Actor_80178D40 *)arg0));
(*(s16*)&D_801C7B34) = 3;
break;
}
case 0x30:
if (((Cmd_80178D40 *)arg1)->a.w == 0) {
((void (*)(void *))func_8012E8A8)(((Actor_80178D40 *)arg0));
(*(s16*)&D_801C7B34) = 3;
} else {
((void (*)(void *))func_8012E88C)(((Actor_80178D40 *)arg0));
(*(s16*)&D_801C7B34) = 3;
}
break;
case 0x4A:
((void(*)())func_80175414)();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x4B:
func_80175454();
(*(s16*)&D_801C7B34) = 3;
break;
case 0x34:
(*(s16*)&D_801C7B34) = 3;
D_801C7348 = ((Cmd_80178D40 *)arg1)->a.w;
return;
case 0x35:
D_801C7778 = (s32)&((Cmd_80178D40 *)arg1)[1];
(*(s16*)&D_801C7B34) = 3;
D_801C7348 = ((Cmd_80178D40 *)arg1)->a.w;
return;
case 0x36:
(*(s16*)&D_801C7B34) = 3;
D_801C7348 += 8;
if (((s32 (*)(s32))((Cmd_80178D40 *)arg1)->a.w)(((Actor_80178D40 *)arg0)) == 0) {
break;
}
D_801C7348 = *(s32 *)(D_801C7348 + 4);
return;
case 0x37:
(*(s16*)&D_801C7B34) = 3;
D_801C7764 = ((Cmd_80178D40 *)arg1)->a.uh[0];
D_801C7768 = ((Cmd_80178D40 *)arg1)->a.uh[1];
break;
case 0x38:
(*(s16*)&D_801C7B34) = 3;
D_801C776C = ((Cmd_80178D40 *)arg1)->a.uh[0];
D_801C7770 = ((Cmd_80178D40 *)arg1)->a.uh[1];
break;
case 0x39: {
s32 w1, w2;
v40.vx = ((Actor_80178D40 *)arg0)->unk6;
v40.vy = ((Actor_80178D40 *)arg0)->unkA;
v40.vz = ((Actor_80178D40 *)arg0)->unkE;
v48.vx = pv->unk6;
v48.vy = pv->unkA;
v48.vz = pv->unkE;
func_8012F40C(out50, &v40);
w1 = out50[0];
func_8012F40C(out50, &v48);
w2 = out50[0];
(*(s16*)&D_801C7B34) = 3;
D_801C7764 = w1;
D_801C7768 = (s16)w1 >= (s16)w2;
break;
}
case 0x3A: {
s32 w1, w2;
v58.vx = ((Actor_80178D40 *)arg0)->unk6;
v58.vy = ((Actor_80178D40 *)arg0)->unkA;
v58.vz = ((Actor_80178D40 *)arg0)->unkE;
v60.vx = pv->unk6;
v60.vy = pv->unkA;
v60.vz = pv->unkE;
func_8012F40C(out50, &v58);
w1 = out50[0];
func_8012F40C(out50, &v60);
w2 = out50[0];
(*(s16*)&D_801C7B34) = 3;
D_801C776C = w2;
D_801C7770 = (s16)w1 < (s16)w2;
break;
}
case 0x41:
((void(*)(s32, s32))func_8002D4C8)(((Cmd_80178D40 *)arg1)->a.uh[0], ((Cmd_80178D40 *)arg1)->a.uh[1]);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x42:
func_8017AD0C(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x43:
D_801C778C = (s32)func_8017A3D8;
D_801C7794 = 0;
(*(s16*)&D_801C7B34) = 5;
D_801C7790 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x44:
func_8001AAD0(((Cmd_80178D40 *)arg1)->a.h[0], ((Cmd_80178D40 *)arg1)->a.h[1]);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x53:
func_80179E48(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801C7B34) = 3;
break;
case 0x56:
func_80179FEC(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801C7B34) = 3;
break;
L5B_found:
fp5b = ((Cmd_80178D40 *)arg1)->a.w;
*q5b = fp5b;
((void (*)(Actor_80178D40 *))fp5b)(((Actor_80178D40 *)arg0));
(*(s16*)&D_801C7B34) = 3;
break;
case 0x5B:
i5b = 0;
q5b = D_801C77A4;
do {
i5b++;
if (*q5b == 0) {
goto L5B_found;
}
q5b++;
} while (i5b < 10);
(*(s16*)&D_801C7B34) = 3;
break;
L5C_found1:
*q5c = 0;
goto L5C_join;
case 0x5C:
i5c = 0;
if (((Cmd_80178D40 *)arg1)->a.w != 0) {
fp5c = ((Cmd_80178D40 *)arg1)->a.w;
q5c = D_801C77A4;
do {
if (*q5c == fp5c) {
goto L5C_found1;
}
i5c++;
q5c++;
} while (i5c < 10);
L5C_join:
if (i5c != 10) {
(*(s16*)&D_801C7B34) = 3;
break;
}
i5c = 0;
do {
p5c = &D_801C77A4[i5c];
if (*p5c != 0) {
goto L5C_found2;
}
i5c++;
} while (i5c < 10);
(*(s16*)&D_801C7B34) = 3;
break;
L5C_found2:
*p5c = 0;
goto L5D;
}
r5c = D_801C77A4;
do {
i5c++;
if (*r5c != 0) {
*r5c = 0;
goto L5D;
}
r5c++;
} while (i5c < 10);
/* fallthrough */
case 0x5D:
L5D:
(*(s16*)&D_801C7B34) = 3;
break;
default:
break;
}
Lend:
D_801C7348 += 8;
}
DEFINE_func_80179B28() /* dedup: shared engine-core @0x80179b28 (src/shared) */
+740 -1
View File
@@ -2903,7 +2903,746 @@ void func_80178D18(void) {
}
INCLUDE_ASM("asm/ov_SC07_010/nonmatchings/ov_SC07_010_jr_801789AC", func_80178D40);
extern void func_8002D4C8(s32 a0, s32 a1);
extern void func_8012E8E0(s32 a0, s32 a1);
extern void func_80175414(s32);
extern void func_80175454(void);
/* func_80178D40 - 890 ins, 94-case jr switch (jtbl_801D8E24).
* STATUS: **MATCH** -- 890/890 ins, byte-exact (masked). PIN-FREE (this body is
* templated across 134 overlays; a pinned body would crash the sibling TUs).
* python3 tools/match_one.py func_80178D40 --c .run/phase26-cracks/func_80178D40.c \
* --asm-subdir asm/ov_SC01_077/nonmatchings/ov_SC01_077_jr_801734BC
* => MATCH (890 ins)
* Jump table VERIFIED: 94 entries (= the sltiu 0x5E bound, no trailing zero pad),
* 93 unique blocks, cases 0xF/0x3F share one block; my case->block sequence is
* identical to jtbl_801D8E24's.
*
* Byte-derived structure (the levers that cracked it):
* 1. NO status variable. Every case stores `(*(s16*)&D_801A9544) = K` DIRECTLY. The shared
* `sh $v0, (*(s16*)&D_801A9544)` at .L80179AEC is a jump2 CROSS-JUMP merge of those stores:
* find_cross_jump's FIRST call (minimum=1, vs the code before the target label)
* matches that 1 insn, and because it succeeds the jump_chain loop (minimum=2) is
* SKIPPED -- which is what BLOCKS the deeper, wrong 3-insn merges of the identical
* func_80137614 tails (cases 0/0x45/0x32). reorg then steals the `li K` back into
* each `j` delay slot, so it looks un-merged. A `status` pseudo instead of direct
* stores loses that block and costs 6 insns.
* 2. after-switch = `D_801A7840 += 8;` (.L80179AF4) -> the out-of-range default lands
* there with NO explicit `default:` label.
* 3. arg0/arg1/pv are STRUCT pointers. gcc-2.7.2 sched alias (sched.c true_dependence)
* only lets a MEM_IN_STRUCT varying-address load hoist above a non-MEM_IN_STRUCT
* fixed-address store (the (*(s16*)&D_801A9544) store). Raw `*(T *)(int + off)` casts get
* MEM_IN_STRUCT_P = 0 and block that hoist -> stray nops.
* 4. g = &D_801A94A0 stays a plain `s16 *` (NOT a struct ptr) so its varying,
* non-in-struct stores keep their order w.r.t. the loads.
* 5. Statement order inside the D_801A94A0 cases is load-bearing (sched LUID/priority):
* g[0],g[2],g[1] in 0x25/0x48/0x26; g[7],g[8],g[1],g[3] in 0x4F/0x28.
* 6. Cases 0x5B/0x5C: the loops "found" bodies are emitted BEFORE the case label ->
* source-level labels placed between cases + `goto`.
* 7. Per-case temporaries are BLOCK-LOCAL (local-alloc), not function-scope.
* 8. stack locals declared in slot order (0x10,0x18,0x20,0x28,0x30,0x38,0x40,0x48,
* 0x50,0x58,0x60) -> frame 0x78.
*
* Case 0x5C -- the last 39 residuals. Four levers, all generalizable:
*
* 9. NO-PEEL: a `break` out of a do-while whose target COINCIDES with the loop's own
* natural fall-through exit makes NOTE_INSN_LOOP_BEG be followed by an
* unconditional jump -> jump.c `duplicate_loop_exit_test` (jump.c:599/2131) rotates
* the loop and peels iteration 1 (here `i` was provably 0, so the peeled `i++`
* const-folded to `li $a2,1` and dragged an extra lui/addiu/lw address block with
* it). Writing `goto L5D;` instead of `break;` -- SAME destination, different
* construct -- keeps the loop a plain do-while and the peel disappears.
* RULE: never let a loop's `break` land on the loop's own fall-through label.
*
* 10. SURVIVING REG-REG COPY (residual #1, `addu $v1,$v0,$zero`). A source-level
* `fp = q;` copy ALWAYS dies: cse.c `canon_reg` rewrites every later use of `fp`
* to `q` (qty_first_reg keeps the older reg) and flow deletes the now-dead set.
* To make a copy SURVIVE, its def and its uses must sit in different extended basic
* blocks -- cse resets its hash table at a label with >1 predecessor (a loop top).
* So: TEST THE MEM DIRECTLY, then assign the variable inside the branch body:
* if (arg1->a.w != 0) { fp5c = arg1->a.w; ... do { ... fp5c ... } while (); }
* cse folds the redundant 2nd load into `fp5c = <load temp>` (a copy) in the guard
* block, but CANNOT propagate it into the loop body -> the copy is emitted.
* (Assigning `fp5c` BEFORE the test gives one pseudo and no copy -- what we had.)
*
* 11. CROSS-JUMP-MERGED `(*(s16*)&D_801A9544) = 3` (residual #2). `if (i != 10) { (*(s16*)&D_801A9544) = 3;
* break; }` lets jump2 tail-merge the `lui/sh` into the shared .L80179AEC tail and
* reorg steal the `li 3` into the `bne` delay slot. Storing it unconditionally
* BEFORE the `if` blocks the merge and costs 3 inline insns.
*
* 12. THE UN-COALESCED LOOP COPY (residual #3, `addu $v1,$a0,$zero` + `addiu $a0,$v1,4`).
* This is loop.c's NON-REPLACEABLE DEST_REG GIV, not a source-level copy (see #10:
* those always die). Recipe -- BOTH halves are needed:
* a) make the pointer an INDEX GIV: `p5c = &D_801A7C9C[i5c];` (a DEST_REG giv)
* b) make it NON-replaceable so loop.c emits `emit_insn_after(move dest,new_reg)`
* (loop.c:3945): record_giv (loop.c:4437) needs the giv used OUTSIDE the loop
* -- so the "found" body goes AFTER the loop and stores through `p5c`.
* c) put the BIV increment (`i5c++`) LAST in the body. loop.c inserts the reduced
* giv's `addiu` immediately BEFORE the biv's increment insn, so `i5c++` at the
* bottom puts `addiu $a0,$v1,4` in the loop-back delay slot. With `i5c++` at
* the TOP the giv-add lands at the top, nothing is left to fill the delay slot,
* and reorg STEALS the loop-top `move` into it (duplicating it: +1 insn).
*
* 13. Loop3 needs its OWN pointer pseudo (`r5c`, not `q5c`). `q5c` is loop1's pointer,
* and in loop1 $v1 is held by `fp5c` -> q5c is forced to $a0, and loop3 inherits it.
* Both "found" bodies then read $a0, become identical, and jump2 CROSS-JUMPS them
* into one block (-2 insns). A distinct pseudo frees loop3 into $v1, so found3
* (`sw $zero,0($v1)`) differs from found2 (`sw $zero,0($a0)`) and they stay separate.
* RULE: two structurally identical loops must differ in REGISTER, or cross_jump
* merges their tails.
*/
M2C_UNK func_80178D40(s32 arg0, s32 arg1)
{
extern void func_80179B28(s32);
extern s32 func_80137614(s32, s32, s32);
extern void func_8012F214(void *, void *, void *);
extern void func_8012F40C(void *, void *);
extern void func_80179D30(void *);
extern void func_80179D78(void *);
extern void func_80179EA0(void *);
extern void func_80179DCC(s32);
extern void func_80179DF8(void);
extern void func_80179E1C(s32);
extern void func_80179E48(s32);
extern void func_80179E74(s32);
extern void func_80179EE8(s32);
extern void func_80179F14(s32, s32);
extern void func_80179F44(void);
extern void func_80179F6C(s32);
extern void func_80179F98(s32);
extern void func_80179FEC(s32);
extern void func_8017A040(s32);
extern void func_8017A094(s32);
extern void func_8017A0C4(s32);
extern void func_8017A0F4(void);
extern void func_8017A11C(void);
extern void func_8017A144(s32);
extern void func_8017A180(void);
extern void func_8017A1A8(void);
extern void func_8017A1D0(void);
extern void func_8017A1F8(void);
extern void func_8017A220(void);
extern void func_8017A248(void);
extern void func_8017A270(void);
extern void func_8017A298(void);
extern void func_8017A2C0(void);
extern void func_8017A2E8(void);
extern void func_8017A310(void);
extern void func_8017A338(void);
extern void func_8017A360(void);
extern void func_8017A388(void);
extern void func_8017A3B0(void);
extern void func_8017A3D8(void);
extern void func_8017AD0C(s32);
extern void func_8017B238(void *, s32);
extern void func_8017B614(void *, s32);
extern void func_8017B7A8(void *);
extern void func_8017B824(void);
extern void func_8017B880(void);
extern void func_8017B940(void *);
extern void func_8017BA3C(void *, s32);
extern void func_8017BB34(void *, s32);
extern void func_8012A828(s32, void*);
extern s32 func_8012B8A4(void *);
extern void func_8012E88C(void *);
extern void func_8012E8A8(void *);
extern void func_8001AAD0(s32, s32);
extern s16 D_801A7C5C;
extern s16 D_801A7C60;
extern s16 D_801A7C64;
extern s16 D_801A7C68;
extern s32 D_801A7C70;
extern s32 D_801A7C74;
extern s16 D_801A7C88;
extern s16 D_801A7C8C;
extern s32 D_801A7C90;
extern s32 D_801A7C98;
extern s32 D_801A7C9C[10];
extern s32 D_801A93E8;
extern s16 D_801A94A0;
extern s32 D_801A94CC;
SV3_80178D40 v10, v18, v20, v28, v30, v38, v40, v48;
s32 out50[2];
SV3_80178D40 v58, v60;
Actor_80178D40 *pv = &(*(Actor_80178D40*)&D_80126B58);
s32 i5b, i5c, fp5b, fp5c;
s32 *q5b, *q5c, *p5c, *r5c;
s16 *g = &D_801A94A0;
switch (((Cmd_80178D40 *)arg1)->op) {
case 1:
func_80179B28(D_801A7C58);
D_801A7C58 = func_80137614(((Cmd_80178D40 *)arg1)->a.w, D_801A7C64, D_801A7C68 ? 0x48 : 0x40);
(*(s16*)&D_801A9544) = 2;
break;
case 0:
func_80179B28(D_801A7C58);
D_801A7C58 = func_80137614(((Cmd_80178D40 *)arg1)->a.w, D_801A7C5C, D_801A7C60 ? 0x48 : 0x40);
(*(s16*)&D_801A9544) = 1;
break;
case 0x45:
((void (*)(s32))((Cmd_80178D40 *)arg1)->a.w)(((Actor_80178D40 *)arg0));
if (D_801A93E8 != 0) {
func_80179B28(D_801A7C58);
D_801A7C58 = func_80137614(((Actor_80178D40 *)arg0)->unkDC[1], D_801A7C5C, D_801A7C60 ? 0x48 : 0x40);
(*(s16*)&D_801A9544) = 1;
} else {
(*(s16*)&D_801A9544) = 3;
}
break;
case 0x32:
func_80179B28(D_801A7C58);
D_801A7C58 = func_80137614(((Actor_80178D40 *)arg0)->unkDC[((Cmd_80178D40 *)arg1)->a.w], D_801A7C5C,
D_801A7C60 ? 0x48 : 0x40);
(*(s16*)&D_801A9544) = 1;
break;
case 2:
func_80179B28(D_801A7C58);
if (D_801A7C70 != 0) {
D_801A7840 = D_801A7C70;
D_801A7C70 = 0;
(*(s16*)&D_801A9544) = 3;
return;
}
(*(s16*)&D_801A9544) = 6;
break;
case 6:
func_80179DF8();
(*(s16*)&D_801A9544) = 3;
break;
case 3:
v10.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v10.vy = 0;
v10.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
func_80179D30(&v10);
(*(s16*)&D_801A9544) = 3;
break;
case 4:
v10.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v10.vy = 0;
v10.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
func_8012F214(((Actor_80178D40 *)arg0), &v10, &v18);
func_80179D30(&v18);
(*(s16*)&D_801A9544) = 3;
break;
case 0x4C:
func_80179D78((void *)((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801A9544) = 3;
break;
case 0x4D:
v10.vx = ((Blk_80178D40 *)((Cmd_80178D40 *)arg1)->a.p)->f0;
v10.vy = 0;
v10.vz = ((Blk_80178D40 *)((Cmd_80178D40 *)arg1)->a.p)->f4;
func_8012F214(((Actor_80178D40 *)arg0), &v10, &v18);
v18.pad = ((Blk_80178D40 *)((Cmd_80178D40 *)arg1)->a.p)->f6;
func_80179D78(&v18);
(*(s16*)&D_801A9544) = 3;
break;
case 0x15:
v10.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v10.vy = 0;
v10.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
func_8012F214(((Actor_80178D40 *)arg0)->unkD4, &v10, &v18);
func_80179D30(&v18);
(*(s16*)&D_801A9544) = 3;
break;
case 5:
func_80179DCC(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801A9544) = 3;
break;
case 7:
func_80179E1C(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801A9544) = 3;
break;
case 8:
func_80179E74(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801A9544) = 3;
break;
case 9:
v10.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v10.vy = 0;
v10.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
func_80179EA0(&v10);
(*(s16*)&D_801A9544) = 3;
break;
case 0xA:
v10.vx = ((Actor_80178D40 *)arg0)->unk6;
v10.vy = ((Actor_80178D40 *)arg0)->unkA;
v10.vz = ((Actor_80178D40 *)arg0)->unkE;
func_80179EA0(&v10);
(*(s16*)&D_801A9544) = 3;
break;
case 0x16: {
Actor_80178D40 *p = ((Actor_80178D40 *)arg0)->unkD4;
v10.vx = p->unk6;
v10.vy = p->unkA;
v10.vz = p->unkE;
func_80179EA0(&v10);
(*(s16*)&D_801A9544) = 3;
break;
}
case 0xB:
func_8017A0F4();
(*(s16*)&D_801A9544) = 3;
break;
case 0xC:
func_8017A11C();
(*(s16*)&D_801A9544) = 3;
break;
case 0xD:
func_8017A180();
(*(s16*)&D_801A9544) = 3;
break;
case 0xE:
func_8017A1A8();
(*(s16*)&D_801A9544) = 3;
break;
case 0x10:
func_8017A1D0();
(*(s16*)&D_801A9544) = 3;
break;
case 0x46:
func_8017A1F8();
(*(s16*)&D_801A9544) = 3;
break;
case 0x59:
func_8017A220();
(*(s16*)&D_801A9544) = 3;
break;
case 0x5A:
func_8017A248();
(*(s16*)&D_801A9544) = 3;
break;
case 0x49:
func_8017A144(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801A9544) = 3;
break;
case 0x47:
func_8017A270();
(*(s16*)&D_801A9544) = 3;
break;
case 0x17:
func_80179EE8(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801A9544) = 3;
break;
case 0x18:
func_80179F14(((Cmd_80178D40 *)arg1)->a.h[0], ((Cmd_80178D40 *)arg1)->a.h[1]);
(*(s16*)&D_801A9544) = 3;
break;
case 0x19:
func_80179F6C(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801A9544) = 3;
break;
case 0x1A:
func_80179F98(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801A9544) = 3;
break;
case 0x51:
func_8017A040(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801A9544) = 3;
break;
case 0x1B:
D_801A7C90 = ((Cmd_80178D40 *)arg1)->a.w;
func_80179F44();
(*(s16*)&D_801A9544) = 3;
break;
case 0x1C:
func_8017A338();
(*(s16*)&D_801A9544) = 3;
break;
case 0x52:
func_8017A360();
(*(s16*)&D_801A9544) = 3;
break;
case 0x1D:
func_8017A388();
(*(s16*)&D_801A9544) = 3;
break;
case 0x3B:
func_8017A094(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801A9544) = 3;
break;
case 0x3C:
func_8017A0C4(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801A9544) = 3;
break;
case 0xF:
case 0x3F:
(*(s16*)&D_801A9544) = 4;
D_801A7844 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x3E:
(*(s16*)&D_801A9544) = 5;
D_801A7C84 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x40:
D_801A7C84 = (s32)func_8017A3B0;
(*(s16*)&D_801A9544) = 5;
break;
case 0x23:
((void (*)(void *, s32))func_8012A828)(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801A9544) = 3;
break;
case 0x31:
((void (*)(void *, s32))func_8012A828)(((Actor_80178D40 *)arg0), ((Actor_80178D40 *)arg0)->unkDC[((Cmd_80178D40 *)arg1)->a.w]);
(*(s16*)&D_801A9544) = 3;
break;
case 0x24:
(*(s16*)&D_801A9544) = 3;
((Actor_80178D40 *)arg0)->unk20->unk12 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x25:
g[0] = 1;
g[2] = ((Actor_80178D40 *)arg0)->unk20->unk12 + ((Cmd_80178D40 *)arg1)->a.uh[0];
g[1] = 0x1E;
(*(s16*)&D_801A9544) = 3;
g[3] = ((Cmd_80178D40 *)arg1)->a.uh[1];
break;
case 0x48:
g[0] = 1;
g[2] = ((Cmd_80178D40 *)arg1)->a.uh[0];
g[1] = 0x1E;
(*(s16*)&D_801A9544) = 3;
g[3] = ((Cmd_80178D40 *)arg1)->a.uh[1];
break;
case 0x26:
g[0] = 1;
g[2] = func_8012B8A4(((Actor_80178D40 *)arg0));
g[1] = 0x1E;
(*(s16*)&D_801A9544) = 3;
g[3] = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x3D:
((void(*)(void *, s32))func_8012E8E0)(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801A9544) = 3;
break;
case 0x27:
g[0] = 2;
g[4] = ((Cmd_80178D40 *)arg1)->a.uh[0];
(*(s16*)&D_801A9544) = 3;
g[1] = ((Cmd_80178D40 *)arg1)->a.uh[1];
break;
case 0x4F:
g[5] = 1;
g[0] = 3;
g[6] = ((Cmd_80178D40 *)arg1)->a.uh[0];
(*(s16*)&D_801A9544) = 3;
g[7] = ((Actor_80178D40 *)arg0)->unkA;
g[8] = ((Cmd_80178D40 *)arg1)->a.uh[1];
g[1] = 0x10;
g[3] = 4;
/* fallthrough */
case 0x28:
g[5] = 0;
g[0] = 3;
g[6] = ((Cmd_80178D40 *)arg1)->a.uh[0];
(*(s16*)&D_801A9544) = 3;
g[7] = ((Actor_80178D40 *)arg0)->unkA;
g[8] = ((Cmd_80178D40 *)arg1)->a.uh[1];
g[1] = 0x10;
g[3] = 4;
break;
case 0x29:
v20.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v20.vy = ((Actor_80178D40 *)arg0)->unkA;
v20.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
func_8012F214(((Actor_80178D40 *)arg0), &v20, &v28);
g[5] = 0;
g[0] = 3;
*(SV3_80178D40 *)(g + 6) = v28;
g[1] = 0x10;
g[3] = 4;
(*(s16*)&D_801A9544) = 3;
break;
case 0x50:
v30.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v30.vy = ((Actor_80178D40 *)arg0)->unkA;
v30.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
func_8012F214(((Actor_80178D40 *)arg0), &v30, &v38);
g[5] = 1;
g[0] = 3;
*(SV3_80178D40 *)(g + 6) = v38;
g[1] = 0x10;
g[3] = 4;
(*(s16*)&D_801A9544) = 3;
break;
case 0x2A:
g[0] = 4;
(*(s16*)&D_801A9544) = 3;
g[1] = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x1E:
func_8017B238(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801A9544) = 3;
break;
case 0x21:
func_8017BA3C(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
func_8017B238(((Actor_80178D40 *)arg0), (s32)&D_801A7C74);
(*(s16*)&D_801A9544) = 3;
break;
case 0x54:
func_8017BB34(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
func_8017B238(((Actor_80178D40 *)arg0), (s32)&D_801A7C74);
(*(s16*)&D_801A9544) = 3;
break;
case 0x1F:
func_8017B614(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801A9544) = 3;
break;
case 0x22:
func_8017BA3C(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
func_8017B614(((Actor_80178D40 *)arg0), (s32)&D_801A7C74);
(*(s16*)&D_801A9544) = 3;
break;
case 0x55:
func_8017BB34(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
func_8017B614(((Actor_80178D40 *)arg0), (s32)&D_801A7C74);
(*(s16*)&D_801A9544) = 3;
break;
case 0x20:
func_8017B7A8(((Actor_80178D40 *)arg0));
(*(s16*)&D_801A9544) = 3;
break;
case 0x4E:
D_801A7C98 = ((Cmd_80178D40 *)arg1)->a.w;
func_8017B940(((Actor_80178D40 *)arg0));
(*(s16*)&D_801A9544) = 3;
break;
case 0x57:
func_8017B824();
(*(s16*)&D_801A9544) = 3;
break;
case 0x58:
func_8017B880();
(*(s16*)&D_801A9544) = 3;
break;
case 0x2B:
(*(s16*)&D_801A9544) = 3;
((Actor_80178D40 *)arg0)->unk2 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x2C:
(*(s16*)&D_801A9544) = 3;
((Actor_80178D40 *)arg0)->unk34 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x2D:
(*(s16*)&D_801A9544) = 3;
((Actor_80178D40 *)arg0)->unkD8 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x2F:
(*(s16*)&D_801A9544) = 3;
((Actor_80178D40 *)arg0)->unk10A = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x2E:
(*(s16*)&D_801A9544) = 3;
((Actor_80178D40 *)arg0)->unkF8 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x11:
func_8017A298();
(*(s16*)&D_801A9544) = 3;
break;
case 0x12:
func_8017A2C0();
(*(s16*)&D_801A9544) = 3;
break;
case 0x13:
func_8017A2E8();
(*(s16*)&D_801A9544) = 3;
break;
case 0x14:
func_8017A310();
(*(s16*)&D_801A9544) = 3;
break;
case 0x33: {
void (*f)(Actor_80178D40 *) = (void (*)(Actor_80178D40 *))((Cmd_80178D40 *)arg1)->a.w;
D_801A94CC = (s32)&((Cmd_80178D40 *)arg1)[1];
f(((Actor_80178D40 *)arg0));
(*(s16*)&D_801A9544) = 3;
break;
}
case 0x30:
if (((Cmd_80178D40 *)arg1)->a.w == 0) {
func_8012E8A8(((Actor_80178D40 *)arg0));
(*(s16*)&D_801A9544) = 3;
} else {
func_8012E88C(((Actor_80178D40 *)arg0));
(*(s16*)&D_801A9544) = 3;
}
break;
case 0x4A:
((void(*)())func_80175414)();
(*(s16*)&D_801A9544) = 3;
break;
case 0x4B:
func_80175454();
(*(s16*)&D_801A9544) = 3;
break;
case 0x34:
(*(s16*)&D_801A9544) = 3;
D_801A7840 = ((Cmd_80178D40 *)arg1)->a.w;
return;
case 0x35:
D_801A7C70 = (s32)&((Cmd_80178D40 *)arg1)[1];
(*(s16*)&D_801A9544) = 3;
D_801A7840 = ((Cmd_80178D40 *)arg1)->a.w;
return;
case 0x36:
(*(s16*)&D_801A9544) = 3;
D_801A7840 += 8;
if (((s32 (*)(s32))((Cmd_80178D40 *)arg1)->a.w)(((Actor_80178D40 *)arg0)) == 0) {
break;
}
D_801A7840 = *(s32 *)(D_801A7840 + 4);
return;
case 0x37:
(*(s16*)&D_801A9544) = 3;
D_801A7C5C = ((Cmd_80178D40 *)arg1)->a.uh[0];
D_801A7C60 = ((Cmd_80178D40 *)arg1)->a.uh[1];
break;
case 0x38:
(*(s16*)&D_801A9544) = 3;
D_801A7C64 = ((Cmd_80178D40 *)arg1)->a.uh[0];
D_801A7C68 = ((Cmd_80178D40 *)arg1)->a.uh[1];
break;
case 0x39: {
s32 w1, w2;
v40.vx = ((Actor_80178D40 *)arg0)->unk6;
v40.vy = ((Actor_80178D40 *)arg0)->unkA;
v40.vz = ((Actor_80178D40 *)arg0)->unkE;
v48.vx = pv->unk6;
v48.vy = pv->unkA;
v48.vz = pv->unkE;
func_8012F40C(out50, &v40);
w1 = out50[0];
func_8012F40C(out50, &v48);
w2 = out50[0];
(*(s16*)&D_801A9544) = 3;
D_801A7C5C = w1;
D_801A7C60 = (s16)w1 >= (s16)w2;
break;
}
case 0x3A: {
s32 w1, w2;
v58.vx = ((Actor_80178D40 *)arg0)->unk6;
v58.vy = ((Actor_80178D40 *)arg0)->unkA;
v58.vz = ((Actor_80178D40 *)arg0)->unkE;
v60.vx = pv->unk6;
v60.vy = pv->unkA;
v60.vz = pv->unkE;
func_8012F40C(out50, &v58);
w1 = out50[0];
func_8012F40C(out50, &v60);
w2 = out50[0];
(*(s16*)&D_801A9544) = 3;
D_801A7C64 = w2;
D_801A7C68 = (s16)w1 < (s16)w2;
break;
}
case 0x41:
((void(*)(s32, s32))func_8002D4C8)(((Cmd_80178D40 *)arg1)->a.uh[0], ((Cmd_80178D40 *)arg1)->a.uh[1]);
(*(s16*)&D_801A9544) = 3;
break;
case 0x42:
func_8017AD0C(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801A9544) = 3;
break;
case 0x43:
D_801A7C84 = (s32)func_8017A3D8;
D_801A7C8C = 0;
(*(s16*)&D_801A9544) = 5;
D_801A7C88 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x44:
func_8001AAD0(((Cmd_80178D40 *)arg1)->a.h[0], ((Cmd_80178D40 *)arg1)->a.h[1]);
(*(s16*)&D_801A9544) = 3;
break;
case 0x53:
func_80179E48(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801A9544) = 3;
break;
case 0x56:
func_80179FEC(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801A9544) = 3;
break;
L5B_found:
fp5b = ((Cmd_80178D40 *)arg1)->a.w;
*q5b = fp5b;
((void (*)(Actor_80178D40 *))fp5b)(((Actor_80178D40 *)arg0));
(*(s16*)&D_801A9544) = 3;
break;
case 0x5B:
i5b = 0;
q5b = D_801A7C9C;
do {
i5b++;
if (*q5b == 0) {
goto L5B_found;
}
q5b++;
} while (i5b < 10);
(*(s16*)&D_801A9544) = 3;
break;
L5C_found1:
*q5c = 0;
goto L5C_join;
case 0x5C:
i5c = 0;
if (((Cmd_80178D40 *)arg1)->a.w != 0) {
fp5c = ((Cmd_80178D40 *)arg1)->a.w;
q5c = D_801A7C9C;
do {
if (*q5c == fp5c) {
goto L5C_found1;
}
i5c++;
q5c++;
} while (i5c < 10);
L5C_join:
if (i5c != 10) {
(*(s16*)&D_801A9544) = 3;
break;
}
i5c = 0;
do {
p5c = &D_801A7C9C[i5c];
if (*p5c != 0) {
goto L5C_found2;
}
i5c++;
} while (i5c < 10);
(*(s16*)&D_801A9544) = 3;
break;
L5C_found2:
*p5c = 0;
goto L5D;
}
r5c = D_801A7C9C;
do {
i5c++;
if (*r5c != 0) {
*r5c = 0;
goto L5D;
}
r5c++;
} while (i5c < 10);
/* fallthrough */
case 0x5D:
L5D:
(*(s16*)&D_801A9544) = 3;
break;
default:
break;
}
Lend:
D_801A7840 += 8;
}
DEFINE_func_80179B28() /* dedup: shared engine-core @0x80179b28 (src/shared) */
+740 -1
View File
@@ -3445,7 +3445,746 @@ void func_80178D18(void) {
}
INCLUDE_ASM("asm/ov_SC07_011/nonmatchings/ov_SC07_011_jr_801789AC", func_80178D40);
extern void func_8002D4C8(s32 a0, s32 a1);
extern void func_8012E8E0(s32 a0, s32 a1);
extern void func_80175414(s32);
extern void func_80175454(void);
/* func_80178D40 - 890 ins, 94-case jr switch (jtbl_801D8E24).
* STATUS: **MATCH** -- 890/890 ins, byte-exact (masked). PIN-FREE (this body is
* templated across 134 overlays; a pinned body would crash the sibling TUs).
* python3 tools/match_one.py func_80178D40 --c .run/phase26-cracks/func_80178D40.c \
* --asm-subdir asm/ov_SC01_077/nonmatchings/ov_SC01_077_jr_801734BC
* => MATCH (890 ins)
* Jump table VERIFIED: 94 entries (= the sltiu 0x5E bound, no trailing zero pad),
* 93 unique blocks, cases 0xF/0x3F share one block; my case->block sequence is
* identical to jtbl_801D8E24's.
*
* Byte-derived structure (the levers that cracked it):
* 1. NO status variable. Every case stores `(*(s16*)&D_801904FC) = K` DIRECTLY. The shared
* `sh $v0, (*(s16*)&D_801904FC)` at .L80179AEC is a jump2 CROSS-JUMP merge of those stores:
* find_cross_jump's FIRST call (minimum=1, vs the code before the target label)
* matches that 1 insn, and because it succeeds the jump_chain loop (minimum=2) is
* SKIPPED -- which is what BLOCKS the deeper, wrong 3-insn merges of the identical
* func_80137614 tails (cases 0/0x45/0x32). reorg then steals the `li K` back into
* each `j` delay slot, so it looks un-merged. A `status` pseudo instead of direct
* stores loses that block and costs 6 insns.
* 2. after-switch = `D_8018FED8 += 8;` (.L80179AF4) -> the out-of-range default lands
* there with NO explicit `default:` label.
* 3. arg0/arg1/pv are STRUCT pointers. gcc-2.7.2 sched alias (sched.c true_dependence)
* only lets a MEM_IN_STRUCT varying-address load hoist above a non-MEM_IN_STRUCT
* fixed-address store (the (*(s16*)&D_801904FC) store). Raw `*(T *)(int + off)` casts get
* MEM_IN_STRUCT_P = 0 and block that hoist -> stray nops.
* 4. g = &D_80190458 stays a plain `s16 *` (NOT a struct ptr) so its varying,
* non-in-struct stores keep their order w.r.t. the loads.
* 5. Statement order inside the D_80190458 cases is load-bearing (sched LUID/priority):
* g[0],g[2],g[1] in 0x25/0x48/0x26; g[7],g[8],g[1],g[3] in 0x4F/0x28.
* 6. Cases 0x5B/0x5C: the loops "found" bodies are emitted BEFORE the case label ->
* source-level labels placed between cases + `goto`.
* 7. Per-case temporaries are BLOCK-LOCAL (local-alloc), not function-scope.
* 8. stack locals declared in slot order (0x10,0x18,0x20,0x28,0x30,0x38,0x40,0x48,
* 0x50,0x58,0x60) -> frame 0x78.
*
* Case 0x5C -- the last 39 residuals. Four levers, all generalizable:
*
* 9. NO-PEEL: a `break` out of a do-while whose target COINCIDES with the loop's own
* natural fall-through exit makes NOTE_INSN_LOOP_BEG be followed by an
* unconditional jump -> jump.c `duplicate_loop_exit_test` (jump.c:599/2131) rotates
* the loop and peels iteration 1 (here `i` was provably 0, so the peeled `i++`
* const-folded to `li $a2,1` and dragged an extra lui/addiu/lw address block with
* it). Writing `goto L5D;` instead of `break;` -- SAME destination, different
* construct -- keeps the loop a plain do-while and the peel disappears.
* RULE: never let a loop's `break` land on the loop's own fall-through label.
*
* 10. SURVIVING REG-REG COPY (residual #1, `addu $v1,$v0,$zero`). A source-level
* `fp = q;` copy ALWAYS dies: cse.c `canon_reg` rewrites every later use of `fp`
* to `q` (qty_first_reg keeps the older reg) and flow deletes the now-dead set.
* To make a copy SURVIVE, its def and its uses must sit in different extended basic
* blocks -- cse resets its hash table at a label with >1 predecessor (a loop top).
* So: TEST THE MEM DIRECTLY, then assign the variable inside the branch body:
* if (arg1->a.w != 0) { fp5c = arg1->a.w; ... do { ... fp5c ... } while (); }
* cse folds the redundant 2nd load into `fp5c = <load temp>` (a copy) in the guard
* block, but CANNOT propagate it into the loop body -> the copy is emitted.
* (Assigning `fp5c` BEFORE the test gives one pseudo and no copy -- what we had.)
*
* 11. CROSS-JUMP-MERGED `(*(s16*)&D_801904FC) = 3` (residual #2). `if (i != 10) { (*(s16*)&D_801904FC) = 3;
* break; }` lets jump2 tail-merge the `lui/sh` into the shared .L80179AEC tail and
* reorg steal the `li 3` into the `bne` delay slot. Storing it unconditionally
* BEFORE the `if` blocks the merge and costs 3 inline insns.
*
* 12. THE UN-COALESCED LOOP COPY (residual #3, `addu $v1,$a0,$zero` + `addiu $a0,$v1,4`).
* This is loop.c's NON-REPLACEABLE DEST_REG GIV, not a source-level copy (see #10:
* those always die). Recipe -- BOTH halves are needed:
* a) make the pointer an INDEX GIV: `p5c = &D_80190334[i5c];` (a DEST_REG giv)
* b) make it NON-replaceable so loop.c emits `emit_insn_after(move dest,new_reg)`
* (loop.c:3945): record_giv (loop.c:4437) needs the giv used OUTSIDE the loop
* -- so the "found" body goes AFTER the loop and stores through `p5c`.
* c) put the BIV increment (`i5c++`) LAST in the body. loop.c inserts the reduced
* giv's `addiu` immediately BEFORE the biv's increment insn, so `i5c++` at the
* bottom puts `addiu $a0,$v1,4` in the loop-back delay slot. With `i5c++` at
* the TOP the giv-add lands at the top, nothing is left to fill the delay slot,
* and reorg STEALS the loop-top `move` into it (duplicating it: +1 insn).
*
* 13. Loop3 needs its OWN pointer pseudo (`r5c`, not `q5c`). `q5c` is loop1's pointer,
* and in loop1 $v1 is held by `fp5c` -> q5c is forced to $a0, and loop3 inherits it.
* Both "found" bodies then read $a0, become identical, and jump2 CROSS-JUMPS them
* into one block (-2 insns). A distinct pseudo frees loop3 into $v1, so found3
* (`sw $zero,0($v1)`) differs from found2 (`sw $zero,0($a0)`) and they stay separate.
* RULE: two structurally identical loops must differ in REGISTER, or cross_jump
* merges their tails.
*/
M2C_UNK func_80178D40(s32 arg0, s32 arg1)
{
extern void func_80179B28(s32);
extern void func_80137614(s32, s32, s32);
extern void func_8012F214(s32, s32, s32);
extern void func_8012F40C(void *, void *);
extern void func_80179D30(void *);
extern void func_80179D78(void *);
extern void func_80179EA0(void *);
extern void func_80179DCC(s32);
extern void func_80179DF8(void);
extern void func_80179E1C(s32);
extern void func_80179E48(s32);
extern void func_80179E74(s32);
extern void func_80179EE8(s32);
extern void func_80179F14(s32, s32);
extern void func_80179F44(void);
extern void func_80179F6C(s32);
extern void func_80179F98(s32);
extern void func_80179FEC(s32);
extern void func_8017A040(s32);
extern void func_8017A094(s32);
extern void func_8017A0C4(s32);
extern void func_8017A0F4(void);
extern void func_8017A11C(void);
extern void func_8017A144(s32);
extern void func_8017A180(void);
extern void func_8017A1A8(void);
extern void func_8017A1D0(void);
extern void func_8017A1F8(void);
extern void func_8017A220(void);
extern void func_8017A248(void);
extern void func_8017A270(void);
extern void func_8017A298(void);
extern void func_8017A2C0(void);
extern void func_8017A2E8(void);
extern void func_8017A310(void);
extern void func_8017A338(void);
extern void func_8017A360(void);
extern void func_8017A388(void);
extern void func_8017A3B0(void);
extern void func_8017A3D8(void);
extern void func_8017AD0C(s32);
extern void func_8017B238(void *, s32);
extern void func_8017B614(void *, s32);
extern void func_8017B7A8(void *);
extern void func_8017B824(void);
extern void func_8017B880(void);
extern void func_8017B940(void *);
extern void func_8017BA3C(void *, s32);
extern void func_8017BB34(void *, s32);
extern void func_8012A828(s32, void*);
extern s32 func_8012B8A4(s16*);
extern void func_8012E88C(u8*);
extern void func_8012E8A8(u8*);
extern void func_8001AAD0(s32, s32);
extern s16 D_801902F4;
extern s16 D_801902F8;
extern s16 D_801902FC;
extern s16 D_80190300;
extern s32 D_80190308;
extern s32 D_8019030C;
extern s16 D_80190320;
extern s16 D_80190324;
extern s32 D_80190328;
extern s32 D_80190330;
extern s32 D_80190334[10];
extern s32 D_801903A0;
extern s16 D_80190458;
extern s32 D_80190484;
SV3_80178D40 v10, v18, v20, v28, v30, v38, v40, v48;
s32 out50[2];
SV3_80178D40 v58, v60;
Actor_80178D40 *pv = &(*(Actor_80178D40*)&D_80126B58);
s32 i5b, i5c, fp5b, fp5c;
s32 *q5b, *q5c, *p5c, *r5c;
s16 *g = &D_80190458;
switch (((Cmd_80178D40 *)arg1)->op) {
case 1:
func_80179B28(D_801902F0);
D_801902F0 = ((s32 (*)(s32, s32, s32))func_80137614)(((Cmd_80178D40 *)arg1)->a.w, D_801902FC, D_80190300 ? 0x48 : 0x40);
(*(s16*)&D_801904FC) = 2;
break;
case 0:
func_80179B28(D_801902F0);
D_801902F0 = ((s32 (*)(s32, s32, s32))func_80137614)(((Cmd_80178D40 *)arg1)->a.w, D_801902F4, D_801902F8 ? 0x48 : 0x40);
(*(s16*)&D_801904FC) = 1;
break;
case 0x45:
((void (*)(s32))((Cmd_80178D40 *)arg1)->a.w)(((Actor_80178D40 *)arg0));
if (D_801903A0 != 0) {
func_80179B28(D_801902F0);
D_801902F0 = ((s32 (*)(s32, s32, s32))func_80137614)(((Actor_80178D40 *)arg0)->unkDC[1], D_801902F4, D_801902F8 ? 0x48 : 0x40);
(*(s16*)&D_801904FC) = 1;
} else {
(*(s16*)&D_801904FC) = 3;
}
break;
case 0x32:
func_80179B28(D_801902F0);
D_801902F0 = ((s32 (*)(s32, s32, s32))func_80137614)(((Actor_80178D40 *)arg0)->unkDC[((Cmd_80178D40 *)arg1)->a.w], D_801902F4,
D_801902F8 ? 0x48 : 0x40);
(*(s16*)&D_801904FC) = 1;
break;
case 2:
func_80179B28(D_801902F0);
if (D_80190308 != 0) {
D_8018FED8 = D_80190308;
D_80190308 = 0;
(*(s16*)&D_801904FC) = 3;
return;
}
(*(s16*)&D_801904FC) = 6;
break;
case 6:
func_80179DF8();
(*(s16*)&D_801904FC) = 3;
break;
case 3:
v10.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v10.vy = 0;
v10.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
func_80179D30(&v10);
(*(s16*)&D_801904FC) = 3;
break;
case 4:
v10.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v10.vy = 0;
v10.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
((void (*)(void *, void *, void *))func_8012F214)(((Actor_80178D40 *)arg0), &v10, &v18);
func_80179D30(&v18);
(*(s16*)&D_801904FC) = 3;
break;
case 0x4C:
func_80179D78((void *)((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801904FC) = 3;
break;
case 0x4D:
v10.vx = ((Blk_80178D40 *)((Cmd_80178D40 *)arg1)->a.p)->f0;
v10.vy = 0;
v10.vz = ((Blk_80178D40 *)((Cmd_80178D40 *)arg1)->a.p)->f4;
((void (*)(void *, void *, void *))func_8012F214)(((Actor_80178D40 *)arg0), &v10, &v18);
v18.pad = ((Blk_80178D40 *)((Cmd_80178D40 *)arg1)->a.p)->f6;
func_80179D78(&v18);
(*(s16*)&D_801904FC) = 3;
break;
case 0x15:
v10.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v10.vy = 0;
v10.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
((void (*)(void *, void *, void *))func_8012F214)(((Actor_80178D40 *)arg0)->unkD4, &v10, &v18);
func_80179D30(&v18);
(*(s16*)&D_801904FC) = 3;
break;
case 5:
func_80179DCC(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801904FC) = 3;
break;
case 7:
func_80179E1C(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801904FC) = 3;
break;
case 8:
func_80179E74(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801904FC) = 3;
break;
case 9:
v10.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v10.vy = 0;
v10.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
func_80179EA0(&v10);
(*(s16*)&D_801904FC) = 3;
break;
case 0xA:
v10.vx = ((Actor_80178D40 *)arg0)->unk6;
v10.vy = ((Actor_80178D40 *)arg0)->unkA;
v10.vz = ((Actor_80178D40 *)arg0)->unkE;
func_80179EA0(&v10);
(*(s16*)&D_801904FC) = 3;
break;
case 0x16: {
Actor_80178D40 *p = ((Actor_80178D40 *)arg0)->unkD4;
v10.vx = p->unk6;
v10.vy = p->unkA;
v10.vz = p->unkE;
func_80179EA0(&v10);
(*(s16*)&D_801904FC) = 3;
break;
}
case 0xB:
func_8017A0F4();
(*(s16*)&D_801904FC) = 3;
break;
case 0xC:
func_8017A11C();
(*(s16*)&D_801904FC) = 3;
break;
case 0xD:
func_8017A180();
(*(s16*)&D_801904FC) = 3;
break;
case 0xE:
func_8017A1A8();
(*(s16*)&D_801904FC) = 3;
break;
case 0x10:
func_8017A1D0();
(*(s16*)&D_801904FC) = 3;
break;
case 0x46:
func_8017A1F8();
(*(s16*)&D_801904FC) = 3;
break;
case 0x59:
func_8017A220();
(*(s16*)&D_801904FC) = 3;
break;
case 0x5A:
func_8017A248();
(*(s16*)&D_801904FC) = 3;
break;
case 0x49:
func_8017A144(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801904FC) = 3;
break;
case 0x47:
func_8017A270();
(*(s16*)&D_801904FC) = 3;
break;
case 0x17:
func_80179EE8(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801904FC) = 3;
break;
case 0x18:
func_80179F14(((Cmd_80178D40 *)arg1)->a.h[0], ((Cmd_80178D40 *)arg1)->a.h[1]);
(*(s16*)&D_801904FC) = 3;
break;
case 0x19:
func_80179F6C(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801904FC) = 3;
break;
case 0x1A:
func_80179F98(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801904FC) = 3;
break;
case 0x51:
func_8017A040(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801904FC) = 3;
break;
case 0x1B:
D_80190328 = ((Cmd_80178D40 *)arg1)->a.w;
func_80179F44();
(*(s16*)&D_801904FC) = 3;
break;
case 0x1C:
func_8017A338();
(*(s16*)&D_801904FC) = 3;
break;
case 0x52:
func_8017A360();
(*(s16*)&D_801904FC) = 3;
break;
case 0x1D:
func_8017A388();
(*(s16*)&D_801904FC) = 3;
break;
case 0x3B:
func_8017A094(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801904FC) = 3;
break;
case 0x3C:
func_8017A0C4(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801904FC) = 3;
break;
case 0xF:
case 0x3F:
(*(s16*)&D_801904FC) = 4;
D_8018FEDC = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x3E:
(*(s16*)&D_801904FC) = 5;
D_8019031C = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x40:
D_8019031C = (s32)func_8017A3B0;
(*(s16*)&D_801904FC) = 5;
break;
case 0x23:
((void (*)(void *, s32))func_8012A828)(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801904FC) = 3;
break;
case 0x31:
((void (*)(void *, s32))func_8012A828)(((Actor_80178D40 *)arg0), ((Actor_80178D40 *)arg0)->unkDC[((Cmd_80178D40 *)arg1)->a.w]);
(*(s16*)&D_801904FC) = 3;
break;
case 0x24:
(*(s16*)&D_801904FC) = 3;
((Actor_80178D40 *)arg0)->unk20->unk12 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x25:
g[0] = 1;
g[2] = ((Actor_80178D40 *)arg0)->unk20->unk12 + ((Cmd_80178D40 *)arg1)->a.uh[0];
g[1] = 0x1E;
(*(s16*)&D_801904FC) = 3;
g[3] = ((Cmd_80178D40 *)arg1)->a.uh[1];
break;
case 0x48:
g[0] = 1;
g[2] = ((Cmd_80178D40 *)arg1)->a.uh[0];
g[1] = 0x1E;
(*(s16*)&D_801904FC) = 3;
g[3] = ((Cmd_80178D40 *)arg1)->a.uh[1];
break;
case 0x26:
g[0] = 1;
g[2] = ((s32 (*)(void *))func_8012B8A4)(((Actor_80178D40 *)arg0));
g[1] = 0x1E;
(*(s16*)&D_801904FC) = 3;
g[3] = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x3D:
((void(*)(void *, s32))func_8012E8E0)(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801904FC) = 3;
break;
case 0x27:
g[0] = 2;
g[4] = ((Cmd_80178D40 *)arg1)->a.uh[0];
(*(s16*)&D_801904FC) = 3;
g[1] = ((Cmd_80178D40 *)arg1)->a.uh[1];
break;
case 0x4F:
g[5] = 1;
g[0] = 3;
g[6] = ((Cmd_80178D40 *)arg1)->a.uh[0];
(*(s16*)&D_801904FC) = 3;
g[7] = ((Actor_80178D40 *)arg0)->unkA;
g[8] = ((Cmd_80178D40 *)arg1)->a.uh[1];
g[1] = 0x10;
g[3] = 4;
/* fallthrough */
case 0x28:
g[5] = 0;
g[0] = 3;
g[6] = ((Cmd_80178D40 *)arg1)->a.uh[0];
(*(s16*)&D_801904FC) = 3;
g[7] = ((Actor_80178D40 *)arg0)->unkA;
g[8] = ((Cmd_80178D40 *)arg1)->a.uh[1];
g[1] = 0x10;
g[3] = 4;
break;
case 0x29:
v20.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v20.vy = ((Actor_80178D40 *)arg0)->unkA;
v20.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
((void (*)(void *, void *, void *))func_8012F214)(((Actor_80178D40 *)arg0), &v20, &v28);
g[5] = 0;
g[0] = 3;
*(SV3_80178D40 *)(g + 6) = v28;
g[1] = 0x10;
g[3] = 4;
(*(s16*)&D_801904FC) = 3;
break;
case 0x50:
v30.vx = ((Cmd_80178D40 *)arg1)->a.uh[0];
v30.vy = ((Actor_80178D40 *)arg0)->unkA;
v30.vz = ((Cmd_80178D40 *)arg1)->a.uh[1];
((void (*)(void *, void *, void *))func_8012F214)(((Actor_80178D40 *)arg0), &v30, &v38);
g[5] = 1;
g[0] = 3;
*(SV3_80178D40 *)(g + 6) = v38;
g[1] = 0x10;
g[3] = 4;
(*(s16*)&D_801904FC) = 3;
break;
case 0x2A:
g[0] = 4;
(*(s16*)&D_801904FC) = 3;
g[1] = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x1E:
func_8017B238(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801904FC) = 3;
break;
case 0x21:
func_8017BA3C(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
func_8017B238(((Actor_80178D40 *)arg0), (s32)&D_8019030C);
(*(s16*)&D_801904FC) = 3;
break;
case 0x54:
func_8017BB34(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
func_8017B238(((Actor_80178D40 *)arg0), (s32)&D_8019030C);
(*(s16*)&D_801904FC) = 3;
break;
case 0x1F:
func_8017B614(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801904FC) = 3;
break;
case 0x22:
func_8017BA3C(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
func_8017B614(((Actor_80178D40 *)arg0), (s32)&D_8019030C);
(*(s16*)&D_801904FC) = 3;
break;
case 0x55:
func_8017BB34(((Actor_80178D40 *)arg0), ((Cmd_80178D40 *)arg1)->a.w);
func_8017B614(((Actor_80178D40 *)arg0), (s32)&D_8019030C);
(*(s16*)&D_801904FC) = 3;
break;
case 0x20:
func_8017B7A8(((Actor_80178D40 *)arg0));
(*(s16*)&D_801904FC) = 3;
break;
case 0x4E:
D_80190330 = ((Cmd_80178D40 *)arg1)->a.w;
func_8017B940(((Actor_80178D40 *)arg0));
(*(s16*)&D_801904FC) = 3;
break;
case 0x57:
func_8017B824();
(*(s16*)&D_801904FC) = 3;
break;
case 0x58:
func_8017B880();
(*(s16*)&D_801904FC) = 3;
break;
case 0x2B:
(*(s16*)&D_801904FC) = 3;
((Actor_80178D40 *)arg0)->unk2 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x2C:
(*(s16*)&D_801904FC) = 3;
((Actor_80178D40 *)arg0)->unk34 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x2D:
(*(s16*)&D_801904FC) = 3;
((Actor_80178D40 *)arg0)->unkD8 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x2F:
(*(s16*)&D_801904FC) = 3;
((Actor_80178D40 *)arg0)->unk10A = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x2E:
(*(s16*)&D_801904FC) = 3;
((Actor_80178D40 *)arg0)->unkF8 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x11:
func_8017A298();
(*(s16*)&D_801904FC) = 3;
break;
case 0x12:
func_8017A2C0();
(*(s16*)&D_801904FC) = 3;
break;
case 0x13:
func_8017A2E8();
(*(s16*)&D_801904FC) = 3;
break;
case 0x14:
func_8017A310();
(*(s16*)&D_801904FC) = 3;
break;
case 0x33: {
void (*f)(Actor_80178D40 *) = (void (*)(Actor_80178D40 *))((Cmd_80178D40 *)arg1)->a.w;
D_80190484 = (s32)&((Cmd_80178D40 *)arg1)[1];
f(((Actor_80178D40 *)arg0));
(*(s16*)&D_801904FC) = 3;
break;
}
case 0x30:
if (((Cmd_80178D40 *)arg1)->a.w == 0) {
((void (*)(void *))func_8012E8A8)(((Actor_80178D40 *)arg0));
(*(s16*)&D_801904FC) = 3;
} else {
((void (*)(void *))func_8012E88C)(((Actor_80178D40 *)arg0));
(*(s16*)&D_801904FC) = 3;
}
break;
case 0x4A:
((void(*)())func_80175414)();
(*(s16*)&D_801904FC) = 3;
break;
case 0x4B:
func_80175454();
(*(s16*)&D_801904FC) = 3;
break;
case 0x34:
(*(s16*)&D_801904FC) = 3;
D_8018FED8 = ((Cmd_80178D40 *)arg1)->a.w;
return;
case 0x35:
D_80190308 = (s32)&((Cmd_80178D40 *)arg1)[1];
(*(s16*)&D_801904FC) = 3;
D_8018FED8 = ((Cmd_80178D40 *)arg1)->a.w;
return;
case 0x36:
(*(s16*)&D_801904FC) = 3;
D_8018FED8 += 8;
if (((s32 (*)(s32))((Cmd_80178D40 *)arg1)->a.w)(((Actor_80178D40 *)arg0)) == 0) {
break;
}
D_8018FED8 = *(s32 *)(D_8018FED8 + 4);
return;
case 0x37:
(*(s16*)&D_801904FC) = 3;
D_801902F4 = ((Cmd_80178D40 *)arg1)->a.uh[0];
D_801902F8 = ((Cmd_80178D40 *)arg1)->a.uh[1];
break;
case 0x38:
(*(s16*)&D_801904FC) = 3;
D_801902FC = ((Cmd_80178D40 *)arg1)->a.uh[0];
D_80190300 = ((Cmd_80178D40 *)arg1)->a.uh[1];
break;
case 0x39: {
s32 w1, w2;
v40.vx = ((Actor_80178D40 *)arg0)->unk6;
v40.vy = ((Actor_80178D40 *)arg0)->unkA;
v40.vz = ((Actor_80178D40 *)arg0)->unkE;
v48.vx = pv->unk6;
v48.vy = pv->unkA;
v48.vz = pv->unkE;
func_8012F40C(out50, &v40);
w1 = out50[0];
func_8012F40C(out50, &v48);
w2 = out50[0];
(*(s16*)&D_801904FC) = 3;
D_801902F4 = w1;
D_801902F8 = (s16)w1 >= (s16)w2;
break;
}
case 0x3A: {
s32 w1, w2;
v58.vx = ((Actor_80178D40 *)arg0)->unk6;
v58.vy = ((Actor_80178D40 *)arg0)->unkA;
v58.vz = ((Actor_80178D40 *)arg0)->unkE;
v60.vx = pv->unk6;
v60.vy = pv->unkA;
v60.vz = pv->unkE;
func_8012F40C(out50, &v58);
w1 = out50[0];
func_8012F40C(out50, &v60);
w2 = out50[0];
(*(s16*)&D_801904FC) = 3;
D_801902FC = w2;
D_80190300 = (s16)w1 < (s16)w2;
break;
}
case 0x41:
((void(*)(s32, s32))func_8002D4C8)(((Cmd_80178D40 *)arg1)->a.uh[0], ((Cmd_80178D40 *)arg1)->a.uh[1]);
(*(s16*)&D_801904FC) = 3;
break;
case 0x42:
func_8017AD0C(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801904FC) = 3;
break;
case 0x43:
D_8019031C = (s32)func_8017A3D8;
D_80190324 = 0;
(*(s16*)&D_801904FC) = 5;
D_80190320 = ((Cmd_80178D40 *)arg1)->a.w;
break;
case 0x44:
func_8001AAD0(((Cmd_80178D40 *)arg1)->a.h[0], ((Cmd_80178D40 *)arg1)->a.h[1]);
(*(s16*)&D_801904FC) = 3;
break;
case 0x53:
func_80179E48(((Cmd_80178D40 *)arg1)->a.h[0]);
(*(s16*)&D_801904FC) = 3;
break;
case 0x56:
func_80179FEC(((Cmd_80178D40 *)arg1)->a.w);
(*(s16*)&D_801904FC) = 3;
break;
L5B_found:
fp5b = ((Cmd_80178D40 *)arg1)->a.w;
*q5b = fp5b;
((void (*)(Actor_80178D40 *))fp5b)(((Actor_80178D40 *)arg0));
(*(s16*)&D_801904FC) = 3;
break;
case 0x5B:
i5b = 0;
q5b = D_80190334;
do {
i5b++;
if (*q5b == 0) {
goto L5B_found;
}
q5b++;
} while (i5b < 10);
(*(s16*)&D_801904FC) = 3;
break;
L5C_found1:
*q5c = 0;
goto L5C_join;
case 0x5C:
i5c = 0;
if (((Cmd_80178D40 *)arg1)->a.w != 0) {
fp5c = ((Cmd_80178D40 *)arg1)->a.w;
q5c = D_80190334;
do {
if (*q5c == fp5c) {
goto L5C_found1;
}
i5c++;
q5c++;
} while (i5c < 10);
L5C_join:
if (i5c != 10) {
(*(s16*)&D_801904FC) = 3;
break;
}
i5c = 0;
do {
p5c = &D_80190334[i5c];
if (*p5c != 0) {
goto L5C_found2;
}
i5c++;
} while (i5c < 10);
(*(s16*)&D_801904FC) = 3;
break;
L5C_found2:
*p5c = 0;
goto L5D;
}
r5c = D_80190334;
do {
i5c++;
if (*r5c != 0) {
*r5c = 0;
goto L5D;
}
r5c++;
} while (i5c < 10);
/* fallthrough */
case 0x5D:
L5D:
(*(s16*)&D_801904FC) = 3;
break;
default:
break;
}
Lend:
D_8018FED8 += 8;
}
DEFINE_func_80179B28() /* dedup: shared engine-core @0x80179b28 (src/shared) */