T8.c2: batch t8_hdr1: delever: batch t8_hdr1 — 15 files (headers; 15 d | R22 218/218

This commit is contained in:
Drew T
2026-10-02 19:38:37 -06:00
parent cd612068f5
commit ddbb200a5e
21 changed files with 918 additions and 235 deletions
+475
View File
@@ -0,0 +1,475 @@
clean: removed build/, expected/, and the regenerated splat tree (asm/, assets/, undefined_*_auto.txt).
disc-extract: up to date — extracted/retail/ matches the committed manifest (sha1 e5c6019249dec3c71bb2cf40658a78439dddb037)
splat 0.41.0 (powered by spimdisasm 1.41.0)
0%| | 0/1096 [00:00<?, ?it/s]
Loading symbols (symbols.us): 0%| | 0/1096 [00:00<?, ?it/s]
Loading symbols (symbols.us): 100%|██████████| 1096/1096 [00:00<00:00, 223435.27it/s]
0%| | 0/47 [00:00<?, ?it/s]
Loading symbols (symbols.us.ram): 0%| | 0/47 [00:00<?, ?it/s]
Loading symbols (symbols.us.ram): 100%|██████████| 47/47 [00:00<00:00, 644223.16it/s]
0%| | 0/2 [00:00<?, ?it/s]
Scanning header: 0%| | 0/2 [00:00<?, ?it/s]
Scanning main: 0%| | 0/2 [00:00<?, ?it/s]
Rodata segment '800' may belong to the text segment '800'
Based on the usage from the function LzssDecodeSector to the symbol jtbl_80072A38
The rodata segment '800' has jumptables that are not aligned properly file-wise, indicating one or more likely file split.
File split suggestions for this segment will follow in config yaml format:
- [0x6324C, .rodata]
- [0x63388, .rodata]
- [0x633FC, .rodata]
Rodata segment '800_b' may belong to the text segment '800_b'
Based on the usage from the function func_8002B0B4 to the symbol jtbl_80072E44
Rodata segment '800_b_2' may belong to the text segment '800_b_2'
Based on the usage from the function func_8002DC68 to the symbol jtbl_80072F3C
The rodata segment '800_b_2' has jumptables that are not aligned properly file-wise, indicating one or more likely file split.
File split suggestions for this segment will follow in config yaml format:
- [0x63920, .rodata]
Rodata segment '800_c' may belong to the text segment '800_c'
Based on the usage from the function func_80035270 to the symbol jtbl_800732A0
Scanning main: 100%|██████████| 2/2 [00:01<00:00, 1.64it/s]
Scanning main: 100%|██████████| 2/2 [00:01<00:00, 1.64it/s]
0%| | 0/2 [00:00<?, ?it/s]
Splitting header: 0%| | 0/2 [00:00<?, ?it/s]
Splitting main: 0%| | 0/2 [00:00<?, ?it/s]
Splitting main: 100%|██████████| 2/2 [00:00<00:00, 2.34it/s]
Splitting main: 100%|██████████| 2/2 [00:00<00:00, 2.34it/s]
0%| | 0/2 [00:00<?, ?it/s]
Linker script header: 0%| | 0/2 [00:00<?, ?it/s]
Linker script main: 0%| | 0/2 [00:00<?, ?it/s]
Linker script main: 100%|██████████| 2/2 [00:00<00:00, 91.26it/s]
Split 340 KB (82.28%) in defined segments
header: 2 KB (0.50%) 1 split, 0 cached
c: 338 KB (81.78%) 85 split, 0 cached
unknown: 0 B (0.00%) from unknown bin files
ld_interleave --order: .main island = 8 pieces [53198.data.o, 800.o, 63470.data.o, 800_b.o, 800_b_2.o, 63940.data.o, 800_c.o, 63C4C.data.o]; pre=0 text=85 empties=166 bss=85
[ OK ] resident
[ OK ] ov_SC01_000
[ OK ] ov_SC05_000
[ OK ] ov_SC04_000
[ OK ] ov_SC06_000
[ OK ] ov_SC03_002
[ OK ] ov_SC01_006
[ OK ] ov_SC01_005
[ OK ] ov_SC02_003
[ OK ] ov_SC01_077
[ OK ] ov_SC03_001
[ OK ] ov_SC04_019
[ OK ] ov_SC02_000
[ OK ] ov_SC03_006
[ OK ] ov_SC04_018
[ OK ] ov_SC01_001
[ OK ] ov_SC01_004
[ OK ] ov_SC01_074
[ OK ] ov_SC01_008
[ OK ] ov_SC02_004
[ OK ] ov_SC07_000
[ OK ] ov_SC02_015
[ OK ] ov_SC01_084
[ OK ] ov_SC02_021
[ OK ] ov_SC01_080
[ OK ] ov_SC01_009
[ OK ] ov_SC02_016
[ OK ] ov_SC02_031
[ OK ] ov_SC02_005
[ OK ] ov_SC02_026
[ OK ] ov_SC02_028
[ OK ] ov_SC03_003
[ OK ] ov_SC02_027
[ OK ] ov_SC02_011
[ OK ] ov_SC02_039
[ OK ] ov_SC02_035
[ OK ] ov_SC02_017
[ OK ] ov_SC03_012
[ OK ] ov_SC02_041
[ OK ] ov_SC03_011
[ OK ] ov_SC03_010
[ OK ] ov_SC03_013
[ OK ] ov_SC03_023
[ OK ] ov_SC03_007
[ OK ] ov_SC03_024
[ OK ] ov_SC03_089
[ OK ] ov_SC03_031
[ OK ] ov_SC03_014
[ OK ] ov_SC03_015
[ OK ] ov_SC03_028
[ OK ] ov_SC03_090
[ OK ] ov_SC03_092
[ OK ] ov_SC03_029
[ OK ] ov_SC03_030
[ OK ] ov_SC03_091
[ OK ] ov_SC03_093
[ OK ] ov_SC03_096
[ OK ] ov_SC03_095
[ OK ] ov_SC03_094
[ OK ] ov_SC03_097
[ OK ] ov_SC03_098
[ OK ] ov_SC03_101
[ OK ] ov_SC03_099
[ OK ] ov_SC03_108
[ OK ] ov_SC03_102
[ OK ] ov_SC03_109
[ OK ] ov_SC03_110
[ OK ] ov_SC03_100
[ OK ] ov_SC03_113
[ OK ] ov_SC03_103
[ OK ] ov_SC03_112
[ OK ] ov_SC03_104
[ OK ] ov_SC03_111
[ OK ] ov_SC03_105
[ OK ] ov_SC03_114
[ OK ] ov_SC03_115
[ OK ] ov_SC03_116
[ OK ] ov_SC03_126
[ OK ] ov_SC03_121
[ OK ] ov_SC03_117
[ OK ] ov_SC04_003
[ OK ] ov_SC04_008
[ OK ] ov_SC04_009
[ OK ] ov_SC04_006
[ OK ] ov_SC04_004
[ OK ] ov_SC03_125
[ OK ] ov_SC04_010
[ OK ] ov_SC03_118
[ OK ] ov_SC04_002
[ OK ] ov_SC04_005
[ OK ] ov_SC04_007
[ OK ] ov_SC03_119
[ OK ] ov_SC03_124
[ OK ] ov_SC04_012
[ OK ] ov_SC04_021
[ OK ] ov_SC04_016
[ OK ] ov_SC05_002
[ OK ] ov_SC05_004
[ OK ] ov_SC05_001
[ OK ] ov_SC05_006
[ OK ] ov_SC05_007
[ OK ] ov_SC05_009
[ OK ] ov_SC05_003
[ OK ] ov_SC04_015
[ OK ] ov_SC04_020
[ OK ] ov_SC05_008
[ OK ] ov_SC05_005
[ OK ] ov_SC04_011
[ OK ] ov_SC05_011
[ OK ] ov_SC05_010
[ OK ] ov_SC05_019
[ OK ] ov_SC06_008
[ OK ] ov_SC06_015
[ OK ] ov_SC06_013
[ OK ] ov_SC06_014
[ OK ] ov_SC06_011
[ OK ] ov_SC06_010
[ OK ] ov_SC06_016
[ OK ] ov_SC05_018
[ OK ] ov_SC05_017
[ OK ] ov_SC06_020
[ OK ] ov_SC06_018
[ OK ] ov_SC06_027
[ OK ] ov_SC06_022
[ OK ] ov_SC06_025
[ OK ] ov_SC06_006
[ OK ] ov_SC06_024
[ OK ] md_MAIN_013
[ OK ] md_MAIN_014
[ OK ] ov_SC07_002
[ OK ] md_MAIN_015
[ OK ] ov_SC07_008
[ OK ] md_MAIN_016
[ OK ] ov_SC07_001
[ OK ] md_MAIN_017
[ OK ] md_MAIN_018
[ OK ] md_MAIN_019
[ OK ] ov_SC07_009
[ OK ] md_MAIN_020
[ OK ] md_MAIN_021
[ OK ] ov_SC06_030
[ OK ] md_MAIN_023
[ OK ] md_MAIN_024
[ OK ] md_MAIN_022
[ OK ] md_MAIN_025
[ OK ] md_MAIN_026
[ OK ] md_MAIN_027
[ OK ] md_MAIN_028
[ OK ] md_MAIN_029
[ OK ] md_MAIN_030
[ OK ] md_MAIN_031
[ OK ] md_MAIN_032
[ OK ] ov_SC06_033
[ OK ] ov_SC06_029
[ OK ] md_MAIN_033
[ OK ] md_MAIN_035
[ OK ] md_MAIN_034
[ OK ] md_MAIN_036
[ OK ] ov_SC06_032
[ OK ] md_MAIN_037
[ OK ] md_MAIN_039
[ OK ] md_MAIN_038
[ OK ] md_MAIN_040
[ OK ] md_MAIN_042
[ OK ] ov_MAIN_012
[ OK ] md_MAIN_041
[ OK ] md_MAIN_043
[ OK ] md_MAIN_045
[ OK ] md_MAIN_046
[ OK ] ov_SC07_011
[ OK ] md_MAIN_044
[ OK ] md_MAIN_047
[ OK ] md_MAIN_008
[ OK ] md_MAIN_001
[ OK ] md_MAIN_011
[ OK ] md_SC03_073
[ OK ] md_SC03_074
[ OK ] md_SC03_075
[ OK ] md_SC03_078
[ OK ] md_SC03_077
[ OK ] md_SC03_076
[ OK ] ov_SC07_010
[ OK ] md_SC03_079
[ OK ] md_SC03_132
[ OK ] ov_SC07_007
[ OK ] md_SC03_133
[ OK ] md_SC03_134
[ OK ] md_SC03_137
[ OK ] md_SC03_135
[ OK ] md_MAIN_003
[ OK ] md_SC03_138
[ OK ] md_SC03_136
[ OK ] md_SC04_025
[ OK ] ov_SC03_107
[ OK ] md_SC04_026
[ OK ] md_SC04_024
[ OK ] md_SC04_029
[ OK ] md_SC04_027
[ OK ] md_SC04_028
[ OK ] md_SC05_023
[ OK ] md_SC05_028
[ OK ] md_SC04_030
[ OK ] md_SC05_025
[ OK ] md_SC05_024
[ OK ] md_MAIN_007
[ OK ] md_MAIN_009
[ OK ] md_SC05_027
[ OK ] md_SC03_053
[ OK ] ov_SC07_006
[ OK ] md_SC05_026
[ OK ] md_SC05_029
[ OK ] md_SC03_056
[ OK ] md_SC03_054
[ OK ] md_SC02_009
[ OK ] ov_SC02_037
[ OK ] md_SC07_004
[ OK ] md_SC07_003
extract-all: 217 extracted, 0 failed of 217 (+ main, serial)
[ OK ] resident
[ OK ] ov_SC05_000
[ OK ] ov_SC01_000
[ OK ] ov_SC04_000
[ OK ] ov_SC01_001
[ OK ] ov_SC01_006
[ OK ] ov_SC01_005
[ OK ] ov_SC03_006
[ OK ] ov_SC03_002
[ OK ] ov_SC06_000
[ OK ] ov_SC01_077
[ OK ] ov_SC04_019
[ OK ] ov_SC04_018
[ OK ] ov_SC03_001
[ OK ] ov_SC02_000
[ OK ] ov_SC02_003
[ OK ] ov_SC01_004
[ OK ] ov_SC07_000
[ OK ] ov_SC01_074
[ OK ] ov_SC01_008
[ OK ] ov_SC02_004
[ OK ] ov_SC01_080
[ OK ] ov_SC01_009
[ OK ] ov_SC02_015
[ OK ] ov_SC01_084
[ OK ] ov_SC02_016
[ OK ] ov_SC02_021
[ OK ] ov_SC02_011
[ OK ] ov_SC02_017
[ OK ] ov_SC02_026
[ OK ] ov_SC02_005
[ OK ] ov_SC02_031
[ OK ] ov_SC02_039
[ OK ] ov_SC02_041
[ OK ] ov_SC02_035
[ OK ] ov_SC02_027
[ OK ] ov_SC03_003
[ OK ] ov_SC02_028
[ OK ] ov_SC03_010
[ OK ] ov_SC03_007
[ OK ] ov_SC03_012
[ OK ] ov_SC03_011
[ OK ] ov_SC03_023
[ OK ] ov_SC03_013
[ OK ] ov_SC03_015
[ OK ] ov_SC03_014
[ OK ] main
[ OK ] ov_SC03_030
[ OK ] ov_SC03_024
[ OK ] ov_SC03_031
[ OK ] ov_SC03_029
[ OK ] ov_SC03_089
[ OK ] ov_SC03_028
[ OK ] ov_SC03_092
[ OK ] ov_SC03_090
[ OK ] ov_SC03_093
[ OK ] ov_SC03_095
[ OK ] ov_SC03_091
[ OK ] ov_SC03_096
[ OK ] ov_SC03_094
[ OK ] ov_SC03_098
[ OK ] ov_SC03_097
[ OK ] ov_SC03_099
[ OK ] ov_SC03_101
[ OK ] ov_SC03_100
[ OK ] ov_SC03_102
[ OK ] ov_SC03_103
[ OK ] ov_SC03_109
[ OK ] ov_SC03_108
[ OK ] ov_SC03_110
[ OK ] ov_SC03_111
[ OK ] ov_SC03_114
[ OK ] ov_SC03_104
[ OK ] ov_SC03_113
[ OK ] ov_SC03_105
[ OK ] ov_SC03_112
[ OK ] ov_SC03_115
[ OK ] ov_SC03_116
[ OK ] ov_SC03_117
[ OK ] ov_SC03_118
[ OK ] ov_SC03_121
[ OK ] ov_SC03_126
[ OK ] ov_SC03_119
[ OK ] ov_SC03_125
[ OK ] ov_SC04_006
[ OK ] ov_SC04_003
[ OK ] ov_SC03_124
[ OK ] ov_SC04_004
[ OK ] ov_SC04_008
[ OK ] ov_SC04_002
[ OK ] ov_SC04_007
[ OK ] ov_SC04_005
[ OK ] ov_SC04_009
[ OK ] ov_SC04_010
[ OK ] ov_SC04_011
[ OK ] ov_SC04_016
[ OK ] ov_SC04_015
[ OK ] ov_SC04_021
[ OK ] ov_SC04_012
[ OK ] ov_SC04_020
[ OK ] ov_SC05_002
[ OK ] ov_SC05_003
[ OK ] ov_SC05_005
[ OK ] ov_SC05_004
[ OK ] ov_SC05_006
[ OK ] ov_SC05_001
[ OK ] ov_SC05_009
[ OK ] ov_SC05_007
[ OK ] ov_SC05_008
[ OK ] ov_SC05_010
[ OK ] ov_SC05_011
[ OK ] ov_SC05_019
[ OK ] ov_SC06_008
[ OK ] ov_SC06_006
[ OK ] ov_SC06_013
[ OK ] ov_SC06_014
[ OK ] ov_SC05_018
[ OK ] ov_SC06_011
[ OK ] ov_SC06_015
[ OK ] ov_SC06_010
[ OK ] ov_SC06_016
[ OK ] ov_SC05_017
[ OK ] ov_SC06_020
[ OK ] ov_SC06_022
[ OK ] ov_SC06_018
[ OK ] ov_SC06_024
[ OK ] ov_SC06_027
[ OK ] ov_SC06_025
[ OK ] md_MAIN_013
[ OK ] md_MAIN_014
[ OK ] ov_SC07_008
[ OK ] ov_SC07_009
[ OK ] md_MAIN_015
[ OK ] md_MAIN_016
[ OK ] ov_SC07_001
[ OK ] md_MAIN_017
[ OK ] ov_SC07_002
[ OK ] ov_SC06_030
[ OK ] md_MAIN_018
[ OK ] md_MAIN_020
[ OK ] md_MAIN_019
[ OK ] md_MAIN_021
[ OK ] md_MAIN_022
[ OK ] md_MAIN_023
[ OK ] md_MAIN_024
[ OK ] md_MAIN_025
[ OK ] md_MAIN_026
[ OK ] md_MAIN_027
[ OK ] md_MAIN_029
[ OK ] md_MAIN_028
[ OK ] md_MAIN_030
[ OK ] md_MAIN_031
[ OK ] md_MAIN_032
[ OK ] ov_SC06_029
[ OK ] md_MAIN_033
[ OK ] md_MAIN_035
[ OK ] md_MAIN_034
[ OK ] md_MAIN_036
[ OK ] md_MAIN_037
[ OK ] md_MAIN_038
[ OK ] md_MAIN_039
[ OK ] md_MAIN_040
[ OK ] md_MAIN_042
[ OK ] ov_SC07_007
[ OK ] md_MAIN_043
[ OK ] md_MAIN_041
[ OK ] ov_SC07_010
[ OK ] md_MAIN_044
[ OK ] md_MAIN_045
[ OK ] md_MAIN_046
[ OK ] md_MAIN_047
[ OK ] md_MAIN_001
[ OK ] md_MAIN_008
[ OK ] md_MAIN_011
[ OK ] ov_SC07_006
[ OK ] md_SC03_073
[ OK ] md_SC03_074
[ OK ] md_SC03_075
[ OK ] ov_SC06_033
[ OK ] ov_SC06_032
[ OK ] md_SC03_078
[ OK ] md_SC03_077
[ OK ] md_SC03_079
[ OK ] md_SC03_132
[ OK ] md_SC07_003
[ OK ] md_SC03_076
[ OK ] md_SC03_133
[ OK ] md_SC03_134
[ OK ] md_SC03_137
[ OK ] ov_MAIN_012
[ OK ] md_SC04_024
[ OK ] md_MAIN_003
[ OK ] md_SC03_138
[ OK ] md_SC04_025
[ OK ] md_SC04_026
[ OK ] md_SC03_136
[ OK ] ov_SC07_011
[ OK ] md_SC03_135
[ OK ] md_SC04_029
[ OK ] md_SC04_030
+13
View File
@@ -0,0 +1,13 @@
19:35:55 apply t8_hdr1: 15 files, control src/shared/ov/func_8012EC04.h IDENTICAL (0.23 s), calibration 586729bb45, census 85609721614f5921
19:36:17 src/shared/ov/func_8012EF34.h:func_8012EF34 A=DIFFERS B: removed 0 needed 2 compiles 3
19:36:22 src/shared/ov/func_8012EF70.h:func_8012EF70 A=DIFFERS B: removed 0 needed 2 compiles 3
19:36:26 src/shared/ov/func_80131CF4.h:func_80131CF4 A=DIFFERS B: removed 0 needed 1 compiles 2
19:36:38 src/shared/ov/func_80144B9C.h:func_80144B9C A=DIFFERS B: removed 0 needed 1 compiles 2
19:36:39 src/shared/ov/func_80146AFC.h:func_80146AFC A=DIFFERS B: removed 0 needed 1 compiles 2
19:36:45 src/shared/ov/func_8015126C.h:func_8015126C A=DIFFERS B: removed 0 needed 1 compiles 2
19:36:52 src/shared/ov/func_80166054.h:func_80166054 A=DIFFERS B: removed 0 needed 5 compiles 6
19:36:57 src/shared/ov/func_80176D94.h:func_80176D94 A=DIFFERS B: removed 0 needed 1 compiles 2
19:37:00 src/shared/ov/func_801770E0.h:func_801770E0 A=DIFFERS B: removed 0 needed 1 compiles 2
19:37:03 src/shared/ov/func_8013CF68__94315c4c.h:func_8013CF68 A=DIFFERS B: removed 0 needed 1 compiles 2
19:37:04 src/shared/ov/func_8017C730__tc0f85567.h:func_8017C730 A=DIFFERS B: removed 0 needed 1 compiles 2
19:37:04 delever: batch t8_hdr1 — 15 files (headers; 15 drawable) · 15 bodies: 2 lever-free, 13 residue, 0 refused · sites removed 22 / needed 33 / refused 0 / deferred 0 · replays 2 (0 disagreed) · compiles 1739 in 69 s wall · final 15/15 identical · written 14 files
+181
View File
@@ -0,0 +1,181 @@
{
"label": "t8_hdr1",
"generated": "2026-10-02 19:37",
"headers": true,
"batch": 300,
"only": null,
"files": 15,
"drawable_files": 15,
"wall_s": 69.1,
"calib": {
"head": "586729bb45",
"stamp": "588cbf38c6e4"
},
"bodies": 15,
"compiles": 1739,
"sites_removed": 22,
"sites_needed": 33,
"sites_refused": 0,
"sites_deferred": 0,
"lever_free": 2,
"residue": 13,
"refused_bodies": 0,
"replays": 2,
"disagreed": 0,
"written": 14,
"seconds": 563.7380921840668,
"final_ok": 15,
"final_bad": 0,
"per_file": [
{
"tu": "src/shared/ov/func_8012EC04.h",
"bodies": 1,
"final": "IDENTICAL",
"written": true,
"removed": 6,
"needed": 0,
"refused": 0,
"compiles": 283
},
{
"tu": "src/shared/ov/func_8012EF34.h",
"bodies": 1,
"final": "IDENTICAL",
"written": true,
"removed": 0,
"needed": 2,
"refused": 0,
"compiles": 144
},
{
"tu": "src/shared/ov/func_8012EF70.h",
"bodies": 1,
"final": "IDENTICAL",
"written": true,
"removed": 0,
"needed": 2,
"refused": 0,
"compiles": 144
},
{
"tu": "src/shared/ov/func_80131CF4.h",
"bodies": 1,
"final": "IDENTICAL",
"written": true,
"removed": 0,
"needed": 1,
"refused": 0,
"compiles": 143
},
{
"tu": "src/shared/ov/func_80132784.h",
"bodies": 1,
"final": "IDENTICAL",
"written": true,
"removed": 12,
"needed": 0,
"refused": 0,
"compiles": 283
},
{
"tu": "src/shared/ov/func_80144B9C.h",
"bodies": 1,
"final": "UNCHANGED",
"written": false,
"removed": 0,
"needed": 1,
"refused": 0,
"compiles": 2
},
{
"tu": "src/shared/ov/func_80146AFC.h",
"bodies": 1,
"final": "IDENTICAL",
"written": true,
"removed": 0,
"needed": 1,
"refused": 0,
"compiles": 143
},
{
"tu": "src/shared/ov/func_8015126C.h",
"bodies": 1,
"final": "IDENTICAL",
"written": true,
"removed": 0,
"needed": 1,
"refused": 0,
"compiles": 143
},
{
"tu": "src/shared/ov/func_80166054.h",
"bodies": 1,
"final": "IDENTICAL",
"written": true,
"removed": 0,
"needed": 5,
"refused": 0,
"compiles": 147
},
{
"tu": "src/shared/ov/func_80176D94.h",
"bodies": 1,
"final": "IDENTICAL",
"written": true,
"removed": 0,
"needed": 1,
"refused": 0,
"compiles": 143
},
{
"tu": "src/shared/ov/func_801770E0.h",
"bodies": 1,
"final": "IDENTICAL",
"written": true,
"removed": 0,
"needed": 1,
"refused": 0,
"compiles": 143
},
{
"tu": "src/shared/ov/func_8013B274__28562738.h",
"bodies": 1,
"final": "IDENTICAL",
"written": true,
"removed": 2,
"needed": 8,
"refused": 0,
"compiles": 7
},
{
"tu": "src/shared/ov/func_8013CF68__94315c4c.h",
"bodies": 1,
"final": "IDENTICAL",
"written": true,
"removed": 0,
"needed": 1,
"refused": 0,
"compiles": 5
},
{
"tu": "src/shared/ov/func_8013B274__9e44db0b.h",
"bodies": 1,
"final": "IDENTICAL",
"written": true,
"removed": 2,
"needed": 8,
"refused": 0,
"compiles": 5
},
{
"tu": "src/shared/ov/func_8017C730__tc0f85567.h",
"bodies": 1,
"final": "IDENTICAL",
"written": true,
"removed": 0,
"needed": 1,
"refused": 0,
"compiles": 4
}
]
}
+5
View File
@@ -0,0 +1,5 @@
delever_oracle --calibrate main md_SC07_004 ov_SC03_015 ov_SC04_011: 146/146 objects byte-identical untouched; twin checks 32 (0 mismatch); positive control DIFFERS on build/src/800.o; 2.1 s — OK
main 85/85 identical, mean 0.082 s per object
md_SC07_004 1/1 identical, mean 0.542 s per object
ov_SC03_015 32/32 identical, mean 0.158 s per object
ov_SC04_011 28/28 identical, mean 0.158 s per object
+157 -157
View File
@@ -1,7 +1,7 @@
{
"head": "ac3a3b5f8a",
"head": "586729bb45",
"stamp": "588cbf38c6e4",
"generated": "2026-10-02 19:32",
"generated": "2026-10-02 19:35",
"aliases": [
"main",
"md_SC07_004",
@@ -21,176 +21,176 @@
"main": {
"objects": 85,
"identical": 85,
"seconds": 15.169999999999998,
"mean_s": 0.178
"seconds": 6.972000000000001,
"mean_s": 0.082
},
"md_SC07_004": {
"objects": 1,
"identical": 1,
"seconds": 0.883,
"mean_s": 0.883
"seconds": 0.542,
"mean_s": 0.542
},
"ov_SC03_015": {
"objects": 32,
"identical": 32,
"seconds": 10.437999999999999,
"mean_s": 0.326
"seconds": 5.040000000000001,
"mean_s": 0.158
},
"ov_SC04_011": {
"objects": 28,
"identical": 28,
"seconds": 7.079999999999999,
"mean_s": 0.253
"seconds": 4.415,
"mean_s": 0.158
}
},
"per_object_seconds": {
"build/src/800.o": 1.555,
"build/src/800_b.o": 0.129,
"build/src/800_b_2.o": 0.666,
"build/src/800_b_o0a.o": 0.138,
"build/src/800_c.o": 0.459,
"build/src/800b2.o": 0.129,
"build/src/apicard1.o": 0.132,
"build/src/apicard2.o": 0.176,
"build/src/apicard3.o": 0.166,
"build/src/apicard4.o": 0.202,
"build/src/apicard5.o": 0.18,
"build/src/apicard6.o": 0.158,
"build/src/apicard7.o": 0.167,
"build/src/boot.o": 0.161,
"build/src/gap.o": 0.186,
"build/src/libapi1.o": 0.233,
"build/src/libapi2.o": 0.148,
"build/src/libc2_1.o": 0.129,
"build/src/libc2_2.o": 0.278,
"build/src/libcd1.o": 0.191,
"build/src/libcd2.o": 0.096,
"build/src/libetc.o": 0.248,
"build/src/libgpu.o": 0.089,
"build/src/libgpu2.o": 0.179,
"build/src/libgs1.o": 0.084,
"build/src/libgs2.o": 0.171,
"build/src/libgs3.o": 0.154,
"build/src/libgs4.o": 0.199,
"build/src/libgs5.o": 0.241,
"build/src/libgs6.o": 0.2,
"build/src/libgs7.o": 0.199,
"build/src/libgs8.o": 0.271,
"build/src/libgte1.o": 0.258,
"build/src/libgte10.o": 0.228,
"build/src/libgte11.o": 0.131,
"build/src/libgte12.o": 0.165,
"build/src/libgte13.o": 0.146,
"build/src/libgte14.o": 0.121,
"build/src/libgte15.o": 0.112,
"build/src/libgte16.o": 0.08,
"build/src/libgte17.o": 0.088,
"build/src/libgte18.o": 0.087,
"build/src/libgte19.o": 0.106,
"build/src/libgte2.o": 0.203,
"build/src/libgte20.o": 0.13,
"build/src/libgte21.o": 0.074,
"build/src/libgte22.o": 0.114,
"build/src/libgte23.o": 0.143,
"build/src/libgte24.o": 0.144,
"build/src/libgte25.o": 0.128,
"build/src/libgte26.o": 0.132,
"build/src/libgte27.o": 0.147,
"build/src/libgte28.o": 0.12,
"build/src/libgte29.o": 0.079,
"build/src/libgte3.o": 0.152,
"build/src/libgte30.o": 0.088,
"build/src/libgte4.o": 0.07,
"build/src/libgte5.o": 0.178,
"build/src/libgte6.o": 0.119,
"build/src/libgte7.o": 0.109,
"build/src/libgte8.o": 0.097,
"build/src/libgte9.o": 0.136,
"build/src/libmcrd1.o": 0.107,
"build/src/libmcrd2.o": 0.138,
"build/src/libpad1.o": 0.204,
"build/src/libpad2.o": 0.155,
"build/src/sgap.o": 0.135,
"build/src/sgap_2.o": 0.176,
"build/src/sgap_3.o": 0.221,
"build/src/sgap_4.o": 0.176,
"build/src/sgap_5.o": 0.145,
"build/src/sgap_6.o": 0.135,
"build/src/sgap_8.o": 0.195,
"build/src/snd1.o": 0.12,
"build/src/snd10.o": 0.161,
"build/src/snd11.o": 0.103,
"build/src/snd12.o": 0.105,
"build/src/snd2.o": 0.171,
"build/src/snd3.o": 0.159,
"build/src/snd4.o": 0.119,
"build/src/snd5.o": 0.111,
"build/src/snd6.o": 0.145,
"build/src/snd7.o": 0.194,
"build/src/snd8.o": 0.268,
"build/src/snd9.o": 0.128,
"build/src/md_SC07_004/md_SC07_004.o": 0.883,
"build/src/ov_SC03_015/ov_SC03_015.o": 0.228,
"build/src/ov_SC03_015/ov_SC03_015_after.o": 1.133,
"build/src/ov_SC03_015/ov_SC03_015_jr_8012ACE0.o": 0.722,
"build/src/ov_SC03_015/ov_SC03_015_jr_80135888.o": 0.216,
"build/src/ov_SC03_015/ov_SC03_015_jr_80135A4C.o": 0.219,
"build/src/ov_SC03_015/ov_SC03_015_jr_80135D20.o": 0.248,
"build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.361,
"build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.254,
"build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.215,
"build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.251,
"build/src/ov_SC03_015/ov_SC03_015_jr_80140608.o": 0.305,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015444C.o": 0.209,
"build/src/ov_SC03_015/ov_SC03_015_jr_80154C24.o": 0.332,
"build/src/ov_SC03_015/ov_SC03_015_jr_801588CC.o": 0.183,
"build/src/ov_SC03_015/ov_SC03_015_jr_80159C84.o": 0.192,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015A3C8.o": 0.112,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015AE2C.o": 0.207,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015C32C.o": 0.838,
"build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.511,
"build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.332,
"build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.403,
"build/src/ov_SC03_015/ov_SC03_015_jr_801789AC.o": 0.206,
"build/src/ov_SC03_015/ov_SC03_015_jr_80178D40.o": 0.268,
"build/src/ov_SC03_015/ov_SC03_015_jr_8017A4AC.o": 0.176,
"build/src/ov_SC03_015/ov_SC03_015_jr_8017AE2C.o": 0.542,
"build/src/ov_SC03_015/ov_SC03_015_jr_8017EB7C.o": 0.631,
"build/src/ov_SC03_015/ov_SC03_015_jr_80184440.o": 0.189,
"build/src/ov_SC03_015/ov_SC03_015_jr_801848E4.o": 0.481,
"build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.089,
"build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.122,
"build/src/ov_SC03_015/ov_SC03_015_o0d.o": 0.121,
"build/src/ov_SC03_015/ov_SC03_015_o0e.o": 0.142,
"build/src/ov_SC04_011/ov_SC04_011.o": 0.212,
"build/src/ov_SC04_011/ov_SC04_011_after.o": 0.715,
"build/src/ov_SC04_011/ov_SC04_011_jr_8012ACE0.o": 0.569,
"build/src/ov_SC04_011/ov_SC04_011_jr_80135888.o": 0.144,
"build/src/ov_SC04_011/ov_SC04_011_jr_80135A4C.o": 0.087,
"build/src/ov_SC04_011/ov_SC04_011_jr_80135D20.o": 0.229,
"build/src/ov_SC04_011/ov_SC04_011_jr_801380E0.o": 0.223,
"build/src/ov_SC04_011/ov_SC04_011_jr_8013C98C.o": 0.179,
"build/src/ov_SC04_011/ov_SC04_011_jr_8013F350.o": 0.144,
"build/src/ov_SC04_011/ov_SC04_011_jr_8013FFD8.o": 0.128,
"build/src/ov_SC04_011/ov_SC04_011_jr_80140608.o": 0.382,
"build/src/ov_SC04_011/ov_SC04_011_jr_8015444C.o": 0.236,
"build/src/ov_SC04_011/ov_SC04_011_jr_80154C24.o": 0.348,
"build/src/ov_SC04_011/ov_SC04_011_jr_801588CC.o": 0.165,
"build/src/ov_SC04_011/ov_SC04_011_jr_80159C84.o": 0.171,
"build/src/ov_SC04_011/ov_SC04_011_jr_8015A3C8.o": 0.16,
"build/src/ov_SC04_011/ov_SC04_011_jr_8015AE2C.o": 0.245,
"build/src/ov_SC04_011/ov_SC04_011_jr_8015C32C.o": 0.524,
"build/src/ov_SC04_011/ov_SC04_011_jr_8016AB6C.o": 0.349,
"build/src/ov_SC04_011/ov_SC04_011_jr_80171B4C.o": 0.237,
"build/src/ov_SC04_011/ov_SC04_011_jr_801734BC.o": 0.311,
"build/src/ov_SC04_011/ov_SC04_011_jr_801789AC.o": 0.109,
"build/src/ov_SC04_011/ov_SC04_011_jr_80178D40.o": 0.146,
"build/src/ov_SC04_011/ov_SC04_011_jr_8017A4AC.o": 0.129,
"build/src/ov_SC04_011/ov_SC04_011_jr_8017AE2C.o": 0.17,
"build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o": 0.577,
"build/src/ov_SC04_011/ov_SC04_011_o0b.o": 0.082,
"build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.109
"build/src/800.o": 0.759,
"build/src/800_b.o": 0.09,
"build/src/800_b_2.o": 0.332,
"build/src/800_b_o0a.o": 0.077,
"build/src/800_c.o": 0.216,
"build/src/800b2.o": 0.077,
"build/src/apicard1.o": 0.07,
"build/src/apicard2.o": 0.098,
"build/src/apicard3.o": 0.06,
"build/src/apicard4.o": 0.075,
"build/src/apicard5.o": 0.096,
"build/src/apicard6.o": 0.072,
"build/src/apicard7.o": 0.071,
"build/src/boot.o": 0.102,
"build/src/gap.o": 0.095,
"build/src/libapi1.o": 0.076,
"build/src/libapi2.o": 0.058,
"build/src/libc2_1.o": 0.065,
"build/src/libc2_2.o": 0.062,
"build/src/libcd1.o": 0.071,
"build/src/libcd2.o": 0.066,
"build/src/libetc.o": 0.067,
"build/src/libgpu.o": 0.069,
"build/src/libgpu2.o": 0.078,
"build/src/libgs1.o": 0.06,
"build/src/libgs2.o": 0.066,
"build/src/libgs3.o": 0.059,
"build/src/libgs4.o": 0.067,
"build/src/libgs5.o": 0.063,
"build/src/libgs6.o": 0.077,
"build/src/libgs7.o": 0.062,
"build/src/libgs8.o": 0.06,
"build/src/libgte1.o": 0.062,
"build/src/libgte10.o": 0.063,
"build/src/libgte11.o": 0.059,
"build/src/libgte12.o": 0.061,
"build/src/libgte13.o": 0.068,
"build/src/libgte14.o": 0.074,
"build/src/libgte15.o": 0.075,
"build/src/libgte16.o": 0.066,
"build/src/libgte17.o": 0.068,
"build/src/libgte18.o": 0.062,
"build/src/libgte19.o": 0.063,
"build/src/libgte2.o": 0.061,
"build/src/libgte20.o": 0.067,
"build/src/libgte21.o": 0.062,
"build/src/libgte22.o": 0.064,
"build/src/libgte23.o": 0.062,
"build/src/libgte24.o": 0.063,
"build/src/libgte25.o": 0.066,
"build/src/libgte26.o": 0.071,
"build/src/libgte27.o": 0.063,
"build/src/libgte28.o": 0.063,
"build/src/libgte29.o": 0.06,
"build/src/libgte3.o": 0.06,
"build/src/libgte30.o": 0.063,
"build/src/libgte4.o": 0.063,
"build/src/libgte5.o": 0.066,
"build/src/libgte6.o": 0.07,
"build/src/libgte7.o": 0.062,
"build/src/libgte8.o": 0.076,
"build/src/libgte9.o": 0.063,
"build/src/libmcrd1.o": 0.07,
"build/src/libmcrd2.o": 0.062,
"build/src/libpad1.o": 0.069,
"build/src/libpad2.o": 0.072,
"build/src/sgap.o": 0.065,
"build/src/sgap_2.o": 0.065,
"build/src/sgap_3.o": 0.094,
"build/src/sgap_4.o": 0.072,
"build/src/sgap_5.o": 0.065,
"build/src/sgap_6.o": 0.064,
"build/src/sgap_8.o": 0.074,
"build/src/snd1.o": 0.073,
"build/src/snd10.o": 0.068,
"build/src/snd11.o": 0.074,
"build/src/snd12.o": 0.091,
"build/src/snd2.o": 0.078,
"build/src/snd3.o": 0.064,
"build/src/snd4.o": 0.065,
"build/src/snd5.o": 0.059,
"build/src/snd6.o": 0.069,
"build/src/snd7.o": 0.064,
"build/src/snd8.o": 0.069,
"build/src/snd9.o": 0.064,
"build/src/md_SC07_004/md_SC07_004.o": 0.542,
"build/src/ov_SC03_015/ov_SC03_015.o": 0.144,
"build/src/ov_SC03_015/ov_SC03_015_after.o": 0.536,
"build/src/ov_SC03_015/ov_SC03_015_jr_8012ACE0.o": 0.38,
"build/src/ov_SC03_015/ov_SC03_015_jr_80135888.o": 0.079,
"build/src/ov_SC03_015/ov_SC03_015_jr_80135A4C.o": 0.073,
"build/src/ov_SC03_015/ov_SC03_015_jr_80135D20.o": 0.14,
"build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.176,
"build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.136,
"build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.095,
"build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.078,
"build/src/ov_SC03_015/ov_SC03_015_jr_80140608.o": 0.194,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015444C.o": 0.101,
"build/src/ov_SC03_015/ov_SC03_015_jr_80154C24.o": 0.183,
"build/src/ov_SC03_015/ov_SC03_015_jr_801588CC.o": 0.104,
"build/src/ov_SC03_015/ov_SC03_015_jr_80159C84.o": 0.078,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015A3C8.o": 0.075,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015AE2C.o": 0.096,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015C32C.o": 0.47,
"build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.277,
"build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.119,
"build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.214,
"build/src/ov_SC03_015/ov_SC03_015_jr_801789AC.o": 0.071,
"build/src/ov_SC03_015/ov_SC03_015_jr_80178D40.o": 0.105,
"build/src/ov_SC03_015/ov_SC03_015_jr_8017A4AC.o": 0.084,
"build/src/ov_SC03_015/ov_SC03_015_jr_8017AE2C.o": 0.171,
"build/src/ov_SC03_015/ov_SC03_015_jr_8017EB7C.o": 0.221,
"build/src/ov_SC03_015/ov_SC03_015_jr_80184440.o": 0.067,
"build/src/ov_SC03_015/ov_SC03_015_jr_801848E4.o": 0.293,
"build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.059,
"build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.075,
"build/src/ov_SC03_015/ov_SC03_015_o0d.o": 0.066,
"build/src/ov_SC03_015/ov_SC03_015_o0e.o": 0.08,
"build/src/ov_SC04_011/ov_SC04_011.o": 0.144,
"build/src/ov_SC04_011/ov_SC04_011_after.o": 0.452,
"build/src/ov_SC04_011/ov_SC04_011_jr_8012ACE0.o": 0.414,
"build/src/ov_SC04_011/ov_SC04_011_jr_80135888.o": 0.059,
"build/src/ov_SC04_011/ov_SC04_011_jr_80135A4C.o": 0.058,
"build/src/ov_SC04_011/ov_SC04_011_jr_80135D20.o": 0.129,
"build/src/ov_SC04_011/ov_SC04_011_jr_801380E0.o": 0.164,
"build/src/ov_SC04_011/ov_SC04_011_jr_8013C98C.o": 0.129,
"build/src/ov_SC04_011/ov_SC04_011_jr_8013F350.o": 0.095,
"build/src/ov_SC04_011/ov_SC04_011_jr_8013FFD8.o": 0.075,
"build/src/ov_SC04_011/ov_SC04_011_jr_80140608.o": 0.19,
"build/src/ov_SC04_011/ov_SC04_011_jr_8015444C.o": 0.088,
"build/src/ov_SC04_011/ov_SC04_011_jr_80154C24.o": 0.193,
"build/src/ov_SC04_011/ov_SC04_011_jr_801588CC.o": 0.106,
"build/src/ov_SC04_011/ov_SC04_011_jr_80159C84.o": 0.08,
"build/src/ov_SC04_011/ov_SC04_011_jr_8015A3C8.o": 0.079,
"build/src/ov_SC04_011/ov_SC04_011_jr_8015AE2C.o": 0.107,
"build/src/ov_SC04_011/ov_SC04_011_jr_8015C32C.o": 0.366,
"build/src/ov_SC04_011/ov_SC04_011_jr_8016AB6C.o": 0.234,
"build/src/ov_SC04_011/ov_SC04_011_jr_80171B4C.o": 0.12,
"build/src/ov_SC04_011/ov_SC04_011_jr_801734BC.o": 0.18,
"build/src/ov_SC04_011/ov_SC04_011_jr_801789AC.o": 0.076,
"build/src/ov_SC04_011/ov_SC04_011_jr_80178D40.o": 0.106,
"build/src/ov_SC04_011/ov_SC04_011_jr_8017A4AC.o": 0.084,
"build/src/ov_SC04_011/ov_SC04_011_jr_8017AE2C.o": 0.114,
"build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o": 0.445,
"build/src/ov_SC04_011/ov_SC04_011_o0b.o": 0.06,
"build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.068
},
"ok": true,
"seconds": 3.3
"seconds": 2.1
}
+15
View File
@@ -31020,3 +31020,18 @@
{"ts": "2026-10-02 19:27:01", "label": "t8_tus2", "rung": "B", "calib": {"head": "3695293d75", "stamp": "588cbf38c6e4"}, "tu": "src/ov_SC07_010/ov_SC07_010_jr_80171B4C.c", "fn": "func_80175AB8", "addr": 2149014200, "aliases": ["ov_SC07_010"], "header": false, "includers": 0, "o0": false, "nhash_before": "e968e8ba46b1a4abcb2d9a97e0ca1a9c49063cf4", "nhash_after": "e968e8ba46b1a4abcb2d9a97e0ca1a9c49063cf4", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$4", "via": "", "line": 3317, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 1, "kind": "pin", "cls": "A", "detail": "$5", "via": "", "line": 3323, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 2, "kind": "launder", "cls": "B", "detail": "", "via": "", "line": 3329, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 3, "kind": "cast", "cls": "C", "detail": "volatile u32 *", "via": "", "line": 3332, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 4, "kind": "barrier", "cls": "B", "detail": "memory", "via": "", "line": 3358, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 6, "seconds": 1.301}
{"ts": "2026-10-02 19:29:41", "label": "t8_tus3", "rung": "B", "calib": {"head": "bb84bb1ab5", "stamp": "588cbf38c6e4"}, "tu": "src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c", "fn": "<file-scope>", "addr": null, "aliases": ["md_MAIN_003"], "header": false, "includers": 0, "o0": false, "nhash_before": "fs:2bd41ce159fc39ed6e77b1b31980af9709ef6d4a", "nhash_after": "fs:ee501d5d8dcec63bda2d4c754e2a84dff4042a3f", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "instruction", "cls": "B", "detail": ".section", "via": "", "line": 677, "verdict": "REFUSED", "why": "asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) \u2014 T7", "oracle": ""}, {"ord": 1, "kind": "decl-file", "cls": "C", "detail": "extern", "via": "", "line": 689, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 2, "kind": "decl-file", "cls": "C", "detail": "extern", "via": "", "line": 691, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 3, "kind": "instruction", "cls": "B", "detail": ".section", "via": "", "line": 816, "verdict": "REFUSED", "why": "asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) \u2014 T7", "oracle": ""}], "compiles": 3, "seconds": 0.149}
{"ts": "2026-10-02 19:32:50", "label": "t8_tus4", "rung": "B", "calib": {"head": "ac3a3b5f8a", "stamp": "588cbf38c6e4"}, "tu": "src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c", "fn": "<file-scope>", "addr": null, "aliases": ["md_MAIN_003"], "header": false, "includers": 0, "o0": false, "nhash_before": "fs:2bd41ce159fc39ed6e77b1b31980af9709ef6d4a", "nhash_after": "fs:ee501d5d8dcec63bda2d4c754e2a84dff4042a3f", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "instruction", "cls": "B", "detail": ".section", "via": "", "line": 677, "verdict": "REFUSED", "why": "asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) \u2014 T7", "oracle": ""}, {"ord": 1, "kind": "decl-file", "cls": "C", "detail": "extern", "via": "", "line": 689, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 2, "kind": "decl-file", "cls": "C", "detail": "extern", "via": "", "line": 691, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 3, "kind": "instruction", "cls": "B", "detail": ".section", "via": "", "line": 816, "verdict": "REFUSED", "why": "asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) \u2014 T7", "oracle": ""}], "compiles": 3, "seconds": 0.219}
{"ts": "2026-10-02 19:35:59", "label": "t8_hdr1", "rung": "A", "calib": {"head": "586729bb45", "stamp": "588cbf38c6e4"}, "tu": "src/shared/ov/func_8012EC04.h", "fn": "func_8012EC04", "addr": 2148723716, "aliases": ["ov_MAIN_012", "ov_SC01_000", "ov_SC01_001", "ov_SC01_004", "ov_SC01_005", "ov_SC01_006", "ov_SC01_008", "ov_SC01_009", "ov_SC01_074", "ov_SC01_077", "ov_SC01_080", "ov_SC01_084", "ov_SC02_000", "ov_SC02_003", "ov_SC02_004", "ov_SC02_005", "ov_SC02_011", "ov_SC02_015", "ov_SC02_016", "ov_SC02_017", "ov_SC02_021", "ov_SC02_026", "ov_SC02_027", "ov_SC02_028", "ov_SC02_031", "ov_SC02_035", "ov_SC02_037", "ov_SC02_039", "ov_SC02_041", "ov_SC03_001", "ov_SC03_002", "ov_SC03_003", "ov_SC03_006", "ov_SC03_007", "ov_SC03_010", "ov_SC03_011", "ov_SC03_012", "ov_SC03_013", "ov_SC03_014", "ov_SC03_015", "ov_SC03_023", "ov_SC03_024", "ov_SC03_028", "ov_SC03_029", "ov_SC03_030", "ov_SC03_031", "ov_SC03_089", "ov_SC03_090", "ov_SC03_091", "ov_SC03_092", "ov_SC03_093", "ov_SC03_094", "ov_SC03_095", "ov_SC03_096", "ov_SC03_097", "ov_SC03_098", "ov_SC03_099", "ov_SC03_100", "ov_SC03_101", "ov_SC03_102", "ov_SC03_103", "ov_SC03_104", "ov_SC03_105", "ov_SC03_107", "ov_SC03_108", "ov_SC03_109", "ov_SC03_110", "ov_SC03_111", "ov_SC03_112", "ov_SC03_113", "ov_SC03_114", "ov_SC03_115", "ov_SC03_116", "ov_SC03_117", "ov_SC03_118", "ov_SC03_119", "ov_SC03_121", "ov_SC03_124", "ov_SC03_125", "ov_SC03_126", "ov_SC04_000", "ov_SC04_002", "ov_SC04_003", "ov_SC04_004", "ov_SC04_005", "ov_SC04_006", "ov_SC04_007", "ov_SC04_008", "ov_SC04_009", "ov_SC04_010", "ov_SC04_011", "ov_SC04_012", "ov_SC04_015", "ov_SC04_016", "ov_SC04_018", "ov_SC04_019", "ov_SC04_020", "ov_SC04_021", "ov_SC05_000", "ov_SC05_001", "ov_SC05_002", "ov_SC05_003", "ov_SC05_004", "ov_SC05_005", "ov_SC05_006", "ov_SC05_007", "ov_SC05_008", "ov_SC05_009", "ov_SC05_010", "ov_SC05_011", "ov_SC05_017", "ov_SC05_018", "ov_SC05_019", "ov_SC06_000", "ov_SC06_006", "ov_SC06_008", "ov_SC06_010", "ov_SC06_011", "ov_SC06_013", "ov_SC06_014", "ov_SC06_015", "ov_SC06_016", "ov_SC06_018", "ov_SC06_020", "ov_SC06_022", "ov_SC06_024", "ov_SC06_025", "ov_SC06_027", "ov_SC06_029", "ov_SC06_030", "ov_SC06_032", "ov_SC06_033", "ov_SC07_000", "ov_SC07_001", "ov_SC07_002", "ov_SC07_006", "ov_SC07_007", "ov_SC07_008", "ov_SC07_009", "ov_SC07_010", "ov_SC07_011"], "header": true, "includers": 136, "o0": false, "nhash_before": "faf72a9c7f677927330da717e8067f683390ac8b", "nhash_after": "11ea3ce9084029ad0477d6873ebb389d438850ac", "exemplar": null, "verdict": "LEVER-FREE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "gte-lever", "cls": "B", "detail": "lw", "via": "", "line": 44, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 1, "kind": "gte-lever", "cls": "B", "detail": "lhu", "via": "", "line": 51, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 2, "kind": "gte-lever", "cls": "B", "detail": "lhu", "via": "", "line": 59, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 3, "kind": "gte-lever", "cls": "B", "detail": "lhu", "via": "", "line": 67, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 4, "kind": "gte-lever", "cls": "B", "detail": "lw", "via": "", "line": 75, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 5, "kind": "gte-lever", "cls": "B", "detail": "lhu", "via": "", "line": 82, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}], "compiles": 142, "seconds": 46.933}
{"ts": "2026-10-02 19:36:17", "label": "t8_hdr1", "rung": "B", "calib": {"head": "586729bb45", "stamp": "588cbf38c6e4"}, "tu": "src/shared/ov/func_8012EF34.h", "fn": "func_8012EF34", "addr": 2148724532, "aliases": ["ov_MAIN_012", "ov_SC01_000", "ov_SC01_001", "ov_SC01_004", "ov_SC01_005", "ov_SC01_006", "ov_SC01_008", "ov_SC01_009", "ov_SC01_074", "ov_SC01_077", "ov_SC01_080", "ov_SC01_084", "ov_SC02_000", "ov_SC02_003", "ov_SC02_004", "ov_SC02_005", "ov_SC02_011", "ov_SC02_015", "ov_SC02_016", "ov_SC02_017", "ov_SC02_021", "ov_SC02_026", "ov_SC02_027", "ov_SC02_028", "ov_SC02_031", "ov_SC02_035", "ov_SC02_037", "ov_SC02_039", "ov_SC02_041", "ov_SC03_001", "ov_SC03_002", "ov_SC03_003", "ov_SC03_006", "ov_SC03_007", "ov_SC03_010", "ov_SC03_011", "ov_SC03_012", "ov_SC03_013", "ov_SC03_014", "ov_SC03_015", "ov_SC03_023", "ov_SC03_024", "ov_SC03_028", "ov_SC03_029", "ov_SC03_030", "ov_SC03_031", "ov_SC03_089", "ov_SC03_090", "ov_SC03_091", "ov_SC03_092", "ov_SC03_093", "ov_SC03_094", "ov_SC03_095", "ov_SC03_096", "ov_SC03_097", "ov_SC03_098", "ov_SC03_099", "ov_SC03_100", "ov_SC03_101", "ov_SC03_102", "ov_SC03_103", "ov_SC03_104", "ov_SC03_105", "ov_SC03_107", "ov_SC03_108", "ov_SC03_109", "ov_SC03_110", "ov_SC03_111", "ov_SC03_112", "ov_SC03_113", "ov_SC03_114", "ov_SC03_115", "ov_SC03_116", "ov_SC03_117", "ov_SC03_118", "ov_SC03_119", "ov_SC03_121", "ov_SC03_124", "ov_SC03_125", "ov_SC03_126", "ov_SC04_000", "ov_SC04_002", "ov_SC04_003", "ov_SC04_004", "ov_SC04_005", "ov_SC04_006", "ov_SC04_007", "ov_SC04_008", "ov_SC04_009", "ov_SC04_010", "ov_SC04_011", "ov_SC04_012", "ov_SC04_015", "ov_SC04_016", "ov_SC04_018", "ov_SC04_019", "ov_SC04_020", "ov_SC04_021", "ov_SC05_000", "ov_SC05_001", "ov_SC05_002", "ov_SC05_003", "ov_SC05_004", "ov_SC05_005", "ov_SC05_006", "ov_SC05_007", "ov_SC05_008", "ov_SC05_009", "ov_SC05_010", "ov_SC05_011", "ov_SC05_017", "ov_SC05_018", "ov_SC05_019", "ov_SC06_000", "ov_SC06_006", "ov_SC06_008", "ov_SC06_010", "ov_SC06_011", "ov_SC06_013", "ov_SC06_014", "ov_SC06_015", "ov_SC06_016", "ov_SC06_018", "ov_SC06_020", "ov_SC06_022", "ov_SC06_024", "ov_SC06_025", "ov_SC06_027", "ov_SC06_029", "ov_SC06_030", "ov_SC06_032", "ov_SC06_033", "ov_SC07_000", "ov_SC07_001", "ov_SC07_002", "ov_SC07_006", "ov_SC07_007", "ov_SC07_008", "ov_SC07_009", "ov_SC07_010", "ov_SC07_011"], "header": true, "includers": 136, "o0": false, "nhash_before": "f947d82875b200e4ba29bc90515703c5410f16ba", "nhash_after": "f947d82875b200e4ba29bc90515703c5410f16ba", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$3", "via": "", "line": 6, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 1, "kind": "pin", "cls": "A", "detail": "$3", "via": "", "line": 9, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 3, "seconds": 0.688}
{"ts": "2026-10-02 19:36:22", "label": "t8_hdr1", "rung": "B", "calib": {"head": "586729bb45", "stamp": "588cbf38c6e4"}, "tu": "src/shared/ov/func_8012EF70.h", "fn": "func_8012EF70", "addr": 2148724592, "aliases": ["ov_MAIN_012", "ov_SC01_000", "ov_SC01_001", "ov_SC01_004", "ov_SC01_005", "ov_SC01_006", "ov_SC01_008", "ov_SC01_009", "ov_SC01_074", "ov_SC01_077", "ov_SC01_080", "ov_SC01_084", "ov_SC02_000", "ov_SC02_003", "ov_SC02_004", "ov_SC02_005", "ov_SC02_011", "ov_SC02_015", "ov_SC02_016", "ov_SC02_017", "ov_SC02_021", "ov_SC02_026", "ov_SC02_027", "ov_SC02_028", "ov_SC02_031", "ov_SC02_035", "ov_SC02_037", "ov_SC02_039", "ov_SC02_041", "ov_SC03_001", "ov_SC03_002", "ov_SC03_003", "ov_SC03_006", "ov_SC03_007", "ov_SC03_010", "ov_SC03_011", "ov_SC03_012", "ov_SC03_013", "ov_SC03_014", "ov_SC03_015", "ov_SC03_023", "ov_SC03_024", "ov_SC03_028", "ov_SC03_029", "ov_SC03_030", "ov_SC03_031", "ov_SC03_089", "ov_SC03_090", "ov_SC03_091", "ov_SC03_092", "ov_SC03_093", "ov_SC03_094", "ov_SC03_095", "ov_SC03_096", "ov_SC03_097", "ov_SC03_098", "ov_SC03_099", "ov_SC03_100", "ov_SC03_101", "ov_SC03_102", "ov_SC03_103", "ov_SC03_104", "ov_SC03_105", "ov_SC03_107", "ov_SC03_108", "ov_SC03_109", "ov_SC03_110", "ov_SC03_111", "ov_SC03_112", "ov_SC03_113", "ov_SC03_114", "ov_SC03_115", "ov_SC03_116", "ov_SC03_117", "ov_SC03_118", "ov_SC03_119", "ov_SC03_121", "ov_SC03_124", "ov_SC03_125", "ov_SC03_126", "ov_SC04_000", "ov_SC04_002", "ov_SC04_003", "ov_SC04_004", "ov_SC04_005", "ov_SC04_006", "ov_SC04_007", "ov_SC04_008", "ov_SC04_009", "ov_SC04_010", "ov_SC04_011", "ov_SC04_012", "ov_SC04_015", "ov_SC04_016", "ov_SC04_018", "ov_SC04_019", "ov_SC04_020", "ov_SC04_021", "ov_SC05_000", "ov_SC05_001", "ov_SC05_002", "ov_SC05_003", "ov_SC05_004", "ov_SC05_005", "ov_SC05_006", "ov_SC05_007", "ov_SC05_008", "ov_SC05_009", "ov_SC05_010", "ov_SC05_011", "ov_SC05_017", "ov_SC05_018", "ov_SC05_019", "ov_SC06_000", "ov_SC06_006", "ov_SC06_008", "ov_SC06_010", "ov_SC06_011", "ov_SC06_013", "ov_SC06_014", "ov_SC06_015", "ov_SC06_016", "ov_SC06_018", "ov_SC06_020", "ov_SC06_022", "ov_SC06_024", "ov_SC06_025", "ov_SC06_027", "ov_SC06_029", "ov_SC06_030", "ov_SC06_032", "ov_SC06_033", "ov_SC07_000", "ov_SC07_001", "ov_SC07_002", "ov_SC07_006", "ov_SC07_007", "ov_SC07_008", "ov_SC07_009", "ov_SC07_010", "ov_SC07_011"], "header": true, "includers": 136, "o0": false, "nhash_before": "6bc506a78e408f3306cd9f3ef0a83c8083dd2637", "nhash_after": "6bc506a78e408f3306cd9f3ef0a83c8083dd2637", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$3", "via": "", "line": 6, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 1, "kind": "pin", "cls": "A", "detail": "$3", "via": "", "line": 9, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 3, "seconds": 0.655}
{"ts": "2026-10-02 19:36:26", "label": "t8_hdr1", "rung": "B", "calib": {"head": "586729bb45", "stamp": "588cbf38c6e4"}, "tu": "src/shared/ov/func_80131CF4.h", "fn": "func_80131CF4", "addr": 2148736244, "aliases": ["ov_MAIN_012", "ov_SC01_000", "ov_SC01_001", "ov_SC01_004", "ov_SC01_005", "ov_SC01_006", "ov_SC01_008", "ov_SC01_009", "ov_SC01_074", "ov_SC01_077", "ov_SC01_080", "ov_SC01_084", "ov_SC02_000", "ov_SC02_003", "ov_SC02_004", "ov_SC02_005", "ov_SC02_011", "ov_SC02_015", "ov_SC02_016", "ov_SC02_017", "ov_SC02_021", "ov_SC02_026", "ov_SC02_027", "ov_SC02_028", "ov_SC02_031", "ov_SC02_035", "ov_SC02_037", "ov_SC02_039", "ov_SC02_041", "ov_SC03_001", "ov_SC03_002", "ov_SC03_003", "ov_SC03_006", "ov_SC03_007", "ov_SC03_010", "ov_SC03_011", "ov_SC03_012", "ov_SC03_013", "ov_SC03_014", "ov_SC03_015", "ov_SC03_023", "ov_SC03_024", "ov_SC03_028", "ov_SC03_029", "ov_SC03_030", "ov_SC03_031", "ov_SC03_089", "ov_SC03_090", "ov_SC03_091", "ov_SC03_092", "ov_SC03_093", "ov_SC03_094", "ov_SC03_095", "ov_SC03_096", "ov_SC03_097", "ov_SC03_098", "ov_SC03_099", "ov_SC03_100", "ov_SC03_101", "ov_SC03_102", "ov_SC03_103", "ov_SC03_104", "ov_SC03_105", "ov_SC03_107", "ov_SC03_108", "ov_SC03_109", "ov_SC03_110", "ov_SC03_111", "ov_SC03_112", "ov_SC03_113", "ov_SC03_114", "ov_SC03_115", "ov_SC03_116", "ov_SC03_117", "ov_SC03_118", "ov_SC03_119", "ov_SC03_121", "ov_SC03_124", "ov_SC03_125", "ov_SC03_126", "ov_SC04_000", "ov_SC04_002", "ov_SC04_003", "ov_SC04_004", "ov_SC04_005", "ov_SC04_006", "ov_SC04_007", "ov_SC04_008", "ov_SC04_009", "ov_SC04_010", "ov_SC04_011", "ov_SC04_012", "ov_SC04_015", "ov_SC04_016", "ov_SC04_018", "ov_SC04_019", "ov_SC04_020", "ov_SC04_021", "ov_SC05_000", "ov_SC05_001", "ov_SC05_002", "ov_SC05_003", "ov_SC05_004", "ov_SC05_005", "ov_SC05_006", "ov_SC05_007", "ov_SC05_008", "ov_SC05_009", "ov_SC05_010", "ov_SC05_011", "ov_SC05_017", "ov_SC05_018", "ov_SC05_019", "ov_SC06_000", "ov_SC06_006", "ov_SC06_008", "ov_SC06_010", "ov_SC06_011", "ov_SC06_013", "ov_SC06_014", "ov_SC06_015", "ov_SC06_016", "ov_SC06_018", "ov_SC06_020", "ov_SC06_022", "ov_SC06_024", "ov_SC06_025", "ov_SC06_027", "ov_SC06_029", "ov_SC06_030", "ov_SC06_032", "ov_SC06_033", "ov_SC07_000", "ov_SC07_001", "ov_SC07_002", "ov_SC07_006", "ov_SC07_007", "ov_SC07_008", "ov_SC07_009", "ov_SC07_010", "ov_SC07_011"], "header": true, "includers": 136, "o0": false, "nhash_before": "a12afcaa93ea2ce3ad1c088bfefd87aada95258f", "nhash_after": "a12afcaa93ea2ce3ad1c088bfefd87aada95258f", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "launder", "cls": "B", "detail": "", "via": "", "line": 17, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 2, "seconds": 0.277}
{"ts": "2026-10-02 19:36:34", "label": "t8_hdr1", "rung": "A", "calib": {"head": "586729bb45", "stamp": "588cbf38c6e4"}, "tu": "src/shared/ov/func_80132784.h", "fn": "func_80132784", "addr": 2148738948, "aliases": ["ov_MAIN_012", "ov_SC01_000", "ov_SC01_001", "ov_SC01_004", "ov_SC01_005", "ov_SC01_006", "ov_SC01_008", "ov_SC01_009", "ov_SC01_074", "ov_SC01_077", "ov_SC01_080", "ov_SC01_084", "ov_SC02_000", "ov_SC02_003", "ov_SC02_004", "ov_SC02_005", "ov_SC02_011", "ov_SC02_015", "ov_SC02_016", "ov_SC02_017", "ov_SC02_021", "ov_SC02_026", "ov_SC02_027", "ov_SC02_028", "ov_SC02_031", "ov_SC02_035", "ov_SC02_037", "ov_SC02_039", "ov_SC02_041", "ov_SC03_001", "ov_SC03_002", "ov_SC03_003", "ov_SC03_006", "ov_SC03_007", "ov_SC03_010", "ov_SC03_011", "ov_SC03_012", "ov_SC03_013", "ov_SC03_014", "ov_SC03_015", "ov_SC03_023", "ov_SC03_024", "ov_SC03_028", "ov_SC03_029", "ov_SC03_030", "ov_SC03_031", "ov_SC03_089", "ov_SC03_090", "ov_SC03_091", "ov_SC03_092", "ov_SC03_093", "ov_SC03_094", "ov_SC03_095", "ov_SC03_096", "ov_SC03_097", "ov_SC03_098", "ov_SC03_099", "ov_SC03_100", "ov_SC03_101", "ov_SC03_102", "ov_SC03_103", "ov_SC03_104", "ov_SC03_105", "ov_SC03_107", "ov_SC03_108", "ov_SC03_109", "ov_SC03_110", "ov_SC03_111", "ov_SC03_112", "ov_SC03_113", "ov_SC03_114", "ov_SC03_115", "ov_SC03_116", "ov_SC03_117", "ov_SC03_118", "ov_SC03_119", "ov_SC03_121", "ov_SC03_124", "ov_SC03_125", "ov_SC03_126", "ov_SC04_000", "ov_SC04_002", "ov_SC04_003", "ov_SC04_004", "ov_SC04_005", "ov_SC04_006", "ov_SC04_007", "ov_SC04_008", "ov_SC04_009", "ov_SC04_010", "ov_SC04_011", "ov_SC04_012", "ov_SC04_015", "ov_SC04_016", "ov_SC04_018", "ov_SC04_019", "ov_SC04_020", "ov_SC04_021", "ov_SC05_000", "ov_SC05_001", "ov_SC05_002", "ov_SC05_003", "ov_SC05_004", "ov_SC05_005", "ov_SC05_006", "ov_SC05_007", "ov_SC05_008", "ov_SC05_009", "ov_SC05_010", "ov_SC05_011", "ov_SC05_017", "ov_SC05_018", "ov_SC05_019", "ov_SC06_000", "ov_SC06_006", "ov_SC06_008", "ov_SC06_010", "ov_SC06_011", "ov_SC06_013", "ov_SC06_014", "ov_SC06_015", "ov_SC06_016", "ov_SC06_018", "ov_SC06_020", "ov_SC06_022", "ov_SC06_024", "ov_SC06_025", "ov_SC06_027", "ov_SC06_029", "ov_SC06_030", "ov_SC06_032", "ov_SC06_033", "ov_SC07_000", "ov_SC07_001", "ov_SC07_002", "ov_SC07_006", "ov_SC07_007", "ov_SC07_008", "ov_SC07_009", "ov_SC07_010", "ov_SC07_011"], "header": true, "includers": 136, "o0": false, "nhash_before": "a54ec5e04de048c8526e792031fb52d52193357f", "nhash_after": "f77701acfa53fe93d65e53b6f19b41e7f59ae6d3", "exemplar": null, "verdict": "LEVER-FREE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "gte-lever", "cls": "B", "detail": "lw", "via": "", "line": 72, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 1, "kind": "gte-lever", "cls": "B", "detail": "lhu", "via": "", "line": 78, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 2, "kind": "gte-lever", "cls": "B", "detail": "lhu", "via": "", "line": 84, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 3, "kind": "gte-lever", "cls": "B", "detail": "lhu", "via": "", "line": 90, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 4, "kind": "gte-lever", "cls": "B", "detail": "lw", "via": "", "line": 96, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 5, "kind": "gte-lever", "cls": "B", "detail": "lhu", "via": "", "line": 101, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 6, "kind": "gte-lever", "cls": "B", "detail": "lw", "via": "", "line": 121, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 7, "kind": "gte-lever", "cls": "B", "detail": "lhu", "via": "", "line": 127, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 8, "kind": "gte-lever", "cls": "B", "detail": "lhu", "via": "", "line": 133, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 9, "kind": "gte-lever", "cls": "B", "detail": "lhu", "via": "", "line": 139, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 10, "kind": "gte-lever", "cls": "B", "detail": "lw", "via": "", "line": 145, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 11, "kind": "gte-lever", "cls": "B", "detail": "lhu", "via": "", "line": 150, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}], "compiles": 142, "seconds": 45.658}
{"ts": "2026-10-02 19:36:38", "label": "t8_hdr1", "rung": "B", "calib": {"head": "586729bb45", "stamp": "588cbf38c6e4"}, "tu": "src/shared/ov/func_80144B9C.h", "fn": "func_80144B9C", "addr": 2148813724, "aliases": ["ov_MAIN_012", "ov_SC01_000", "ov_SC01_001", "ov_SC01_004", "ov_SC01_005", "ov_SC01_006", "ov_SC01_008", "ov_SC01_009", "ov_SC01_074", "ov_SC01_077", "ov_SC01_080", "ov_SC01_084", "ov_SC02_000", "ov_SC02_003", "ov_SC02_004", "ov_SC02_005", "ov_SC02_011", "ov_SC02_015", "ov_SC02_016", "ov_SC02_017", "ov_SC02_021", "ov_SC02_026", "ov_SC02_027", "ov_SC02_028", "ov_SC02_031", "ov_SC02_035", "ov_SC02_037", "ov_SC02_039", "ov_SC02_041", "ov_SC03_001", "ov_SC03_002", "ov_SC03_003", "ov_SC03_006", "ov_SC03_007", "ov_SC03_010", "ov_SC03_011", "ov_SC03_012", "ov_SC03_013", "ov_SC03_014", "ov_SC03_015", "ov_SC03_023", "ov_SC03_024", "ov_SC03_028", "ov_SC03_029", "ov_SC03_030", "ov_SC03_031", "ov_SC03_089", "ov_SC03_090", "ov_SC03_091", "ov_SC03_092", "ov_SC03_093", "ov_SC03_094", "ov_SC03_095", "ov_SC03_096", "ov_SC03_097", "ov_SC03_098", "ov_SC03_099", "ov_SC03_100", "ov_SC03_101", "ov_SC03_102", "ov_SC03_103", "ov_SC03_104", "ov_SC03_105", "ov_SC03_107", "ov_SC03_108", "ov_SC03_109", "ov_SC03_110", "ov_SC03_111", "ov_SC03_112", "ov_SC03_113", "ov_SC03_114", "ov_SC03_115", "ov_SC03_116", "ov_SC03_117", "ov_SC03_118", "ov_SC03_119", "ov_SC03_121", "ov_SC03_124", "ov_SC03_125", "ov_SC03_126", "ov_SC04_000", "ov_SC04_002", "ov_SC04_003", "ov_SC04_004", "ov_SC04_005", "ov_SC04_006", "ov_SC04_007", "ov_SC04_008", "ov_SC04_009", "ov_SC04_010", "ov_SC04_011", "ov_SC04_012", "ov_SC04_015", "ov_SC04_016", "ov_SC04_018", "ov_SC04_019", "ov_SC04_020", "ov_SC04_021", "ov_SC05_000", "ov_SC05_001", "ov_SC05_002", "ov_SC05_003", "ov_SC05_004", "ov_SC05_005", "ov_SC05_006", "ov_SC05_007", "ov_SC05_008", "ov_SC05_009", "ov_SC05_010", "ov_SC05_011", "ov_SC05_017", "ov_SC05_018", "ov_SC05_019", "ov_SC06_000", "ov_SC06_006", "ov_SC06_008", "ov_SC06_010", "ov_SC06_011", "ov_SC06_013", "ov_SC06_014", "ov_SC06_015", "ov_SC06_016", "ov_SC06_018", "ov_SC06_020", "ov_SC06_022", "ov_SC06_024", "ov_SC06_025", "ov_SC06_027", "ov_SC06_029", "ov_SC06_030", "ov_SC06_032", "ov_SC06_033", "ov_SC07_000", "ov_SC07_001", "ov_SC07_002", "ov_SC07_006", "ov_SC07_007", "ov_SC07_008", "ov_SC07_009", "ov_SC07_010", "ov_SC07_011"], "header": true, "includers": 136, "o0": true, "nhash_before": "e16a185b285dadc2d8a6a959039a3113addf25ee", "nhash_after": "e16a185b285dadc2d8a6a959039a3113addf25ee", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "register", "cls": "D", "detail": "", "via": "", "line": 117, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 2, "seconds": 0.076}
{"ts": "2026-10-02 19:36:39", "label": "t8_hdr1", "rung": "B", "calib": {"head": "586729bb45", "stamp": "588cbf38c6e4"}, "tu": "src/shared/ov/func_80146AFC.h", "fn": "func_80146AFC", "addr": 2148821756, "aliases": ["ov_MAIN_012", "ov_SC01_000", "ov_SC01_001", "ov_SC01_004", "ov_SC01_005", "ov_SC01_006", "ov_SC01_008", "ov_SC01_009", "ov_SC01_074", "ov_SC01_077", "ov_SC01_080", "ov_SC01_084", "ov_SC02_000", "ov_SC02_003", "ov_SC02_004", "ov_SC02_005", "ov_SC02_011", "ov_SC02_015", "ov_SC02_016", "ov_SC02_017", "ov_SC02_021", "ov_SC02_026", "ov_SC02_027", "ov_SC02_028", "ov_SC02_031", "ov_SC02_035", "ov_SC02_037", "ov_SC02_039", "ov_SC02_041", "ov_SC03_001", "ov_SC03_002", "ov_SC03_003", "ov_SC03_006", "ov_SC03_007", "ov_SC03_010", "ov_SC03_011", "ov_SC03_012", "ov_SC03_013", "ov_SC03_014", "ov_SC03_015", "ov_SC03_023", "ov_SC03_024", "ov_SC03_028", "ov_SC03_029", "ov_SC03_030", "ov_SC03_031", "ov_SC03_089", "ov_SC03_090", "ov_SC03_091", "ov_SC03_092", "ov_SC03_093", "ov_SC03_094", "ov_SC03_095", "ov_SC03_096", "ov_SC03_097", "ov_SC03_098", "ov_SC03_099", "ov_SC03_100", "ov_SC03_101", "ov_SC03_102", "ov_SC03_103", "ov_SC03_104", "ov_SC03_105", "ov_SC03_107", "ov_SC03_108", "ov_SC03_109", "ov_SC03_110", "ov_SC03_111", "ov_SC03_112", "ov_SC03_113", "ov_SC03_114", "ov_SC03_115", "ov_SC03_116", "ov_SC03_117", "ov_SC03_118", "ov_SC03_119", "ov_SC03_121", "ov_SC03_124", "ov_SC03_125", "ov_SC03_126", "ov_SC04_000", "ov_SC04_002", "ov_SC04_003", "ov_SC04_004", "ov_SC04_005", "ov_SC04_006", "ov_SC04_007", "ov_SC04_008", "ov_SC04_009", "ov_SC04_010", "ov_SC04_011", "ov_SC04_012", "ov_SC04_015", "ov_SC04_016", "ov_SC04_018", "ov_SC04_019", "ov_SC04_020", "ov_SC04_021", "ov_SC05_000", "ov_SC05_001", "ov_SC05_002", "ov_SC05_003", "ov_SC05_004", "ov_SC05_005", "ov_SC05_006", "ov_SC05_007", "ov_SC05_008", "ov_SC05_009", "ov_SC05_010", "ov_SC05_011", "ov_SC05_017", "ov_SC05_018", "ov_SC05_019", "ov_SC06_000", "ov_SC06_006", "ov_SC06_008", "ov_SC06_010", "ov_SC06_011", "ov_SC06_013", "ov_SC06_014", "ov_SC06_015", "ov_SC06_016", "ov_SC06_018", "ov_SC06_020", "ov_SC06_022", "ov_SC06_024", "ov_SC06_025", "ov_SC06_027", "ov_SC06_029", "ov_SC06_030", "ov_SC06_032", "ov_SC06_033", "ov_SC07_000", "ov_SC07_001", "ov_SC07_002", "ov_SC07_006", "ov_SC07_007", "ov_SC07_008", "ov_SC07_009", "ov_SC07_010", "ov_SC07_011"], "header": true, "includers": 136, "o0": false, "nhash_before": "d352e57d3691abe900ccd5d82e319477cbe4939c", "nhash_after": "d352e57d3691abe900ccd5d82e319477cbe4939c", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$5", "via": "", "line": 6, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 2, "seconds": 0.687}
{"ts": "2026-10-02 19:36:45", "label": "t8_hdr1", "rung": "B", "calib": {"head": "586729bb45", "stamp": "588cbf38c6e4"}, "tu": "src/shared/ov/func_8015126C.h", "fn": "func_8015126C", "addr": 2148864620, "aliases": ["ov_MAIN_012", "ov_SC01_000", "ov_SC01_001", "ov_SC01_004", "ov_SC01_005", "ov_SC01_006", "ov_SC01_008", "ov_SC01_009", "ov_SC01_074", "ov_SC01_077", "ov_SC01_080", "ov_SC01_084", "ov_SC02_000", "ov_SC02_003", "ov_SC02_004", "ov_SC02_005", "ov_SC02_011", "ov_SC02_015", "ov_SC02_016", "ov_SC02_017", "ov_SC02_021", "ov_SC02_026", "ov_SC02_027", "ov_SC02_028", "ov_SC02_031", "ov_SC02_035", "ov_SC02_037", "ov_SC02_039", "ov_SC02_041", "ov_SC03_001", "ov_SC03_002", "ov_SC03_003", "ov_SC03_006", "ov_SC03_007", "ov_SC03_010", "ov_SC03_011", "ov_SC03_012", "ov_SC03_013", "ov_SC03_014", "ov_SC03_015", "ov_SC03_023", "ov_SC03_024", "ov_SC03_028", "ov_SC03_029", "ov_SC03_030", "ov_SC03_031", "ov_SC03_089", "ov_SC03_090", "ov_SC03_091", "ov_SC03_092", "ov_SC03_093", "ov_SC03_094", "ov_SC03_095", "ov_SC03_096", "ov_SC03_097", "ov_SC03_098", "ov_SC03_099", "ov_SC03_100", "ov_SC03_101", "ov_SC03_102", "ov_SC03_103", "ov_SC03_104", "ov_SC03_105", "ov_SC03_107", "ov_SC03_108", "ov_SC03_109", "ov_SC03_110", "ov_SC03_111", "ov_SC03_112", "ov_SC03_113", "ov_SC03_114", "ov_SC03_115", "ov_SC03_116", "ov_SC03_117", "ov_SC03_118", "ov_SC03_119", "ov_SC03_121", "ov_SC03_124", "ov_SC03_125", "ov_SC03_126", "ov_SC04_000", "ov_SC04_002", "ov_SC04_003", "ov_SC04_004", "ov_SC04_005", "ov_SC04_006", "ov_SC04_007", "ov_SC04_008", "ov_SC04_009", "ov_SC04_010", "ov_SC04_011", "ov_SC04_012", "ov_SC04_015", "ov_SC04_016", "ov_SC04_018", "ov_SC04_019", "ov_SC04_020", "ov_SC04_021", "ov_SC05_000", "ov_SC05_001", "ov_SC05_002", "ov_SC05_003", "ov_SC05_004", "ov_SC05_005", "ov_SC05_006", "ov_SC05_007", "ov_SC05_008", "ov_SC05_009", "ov_SC05_010", "ov_SC05_011", "ov_SC05_017", "ov_SC05_018", "ov_SC05_019", "ov_SC06_000", "ov_SC06_006", "ov_SC06_008", "ov_SC06_010", "ov_SC06_011", "ov_SC06_013", "ov_SC06_014", "ov_SC06_015", "ov_SC06_016", "ov_SC06_018", "ov_SC06_020", "ov_SC06_022", "ov_SC06_024", "ov_SC06_025", "ov_SC06_027", "ov_SC06_029", "ov_SC06_030", "ov_SC06_032", "ov_SC06_033", "ov_SC07_000", "ov_SC07_001", "ov_SC07_002", "ov_SC07_006", "ov_SC07_007", "ov_SC07_008", "ov_SC07_009", "ov_SC07_010", "ov_SC07_011"], "header": true, "includers": 136, "o0": false, "nhash_before": "f555efc47bcdafe9a03da4e916afb9fa649ed580", "nhash_after": "f555efc47bcdafe9a03da4e916afb9fa649ed580", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$2", "via": "", "line": 40, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 2, "seconds": 0.683}
{"ts": "2026-10-02 19:36:52", "label": "t8_hdr1", "rung": "B", "calib": {"head": "586729bb45", "stamp": "588cbf38c6e4"}, "tu": "src/shared/ov/func_80166054.h", "fn": "func_80166054", "addr": 2148950100, "aliases": ["ov_MAIN_012", "ov_SC01_000", "ov_SC01_001", "ov_SC01_004", "ov_SC01_005", "ov_SC01_006", "ov_SC01_008", "ov_SC01_009", "ov_SC01_074", "ov_SC01_077", "ov_SC01_080", "ov_SC01_084", "ov_SC02_000", "ov_SC02_003", "ov_SC02_004", "ov_SC02_005", "ov_SC02_011", "ov_SC02_015", "ov_SC02_016", "ov_SC02_017", "ov_SC02_021", "ov_SC02_026", "ov_SC02_027", "ov_SC02_028", "ov_SC02_031", "ov_SC02_035", "ov_SC02_037", "ov_SC02_039", "ov_SC02_041", "ov_SC03_001", "ov_SC03_002", "ov_SC03_003", "ov_SC03_006", "ov_SC03_007", "ov_SC03_010", "ov_SC03_011", "ov_SC03_012", "ov_SC03_013", "ov_SC03_014", "ov_SC03_015", "ov_SC03_023", "ov_SC03_024", "ov_SC03_028", "ov_SC03_029", "ov_SC03_030", "ov_SC03_031", "ov_SC03_089", "ov_SC03_090", "ov_SC03_091", "ov_SC03_092", "ov_SC03_093", "ov_SC03_094", "ov_SC03_095", "ov_SC03_096", "ov_SC03_097", "ov_SC03_098", "ov_SC03_099", "ov_SC03_100", "ov_SC03_101", "ov_SC03_102", "ov_SC03_103", "ov_SC03_104", "ov_SC03_105", "ov_SC03_107", "ov_SC03_108", "ov_SC03_109", "ov_SC03_110", "ov_SC03_111", "ov_SC03_112", "ov_SC03_113", "ov_SC03_114", "ov_SC03_115", "ov_SC03_116", "ov_SC03_117", "ov_SC03_118", "ov_SC03_119", "ov_SC03_121", "ov_SC03_124", "ov_SC03_125", "ov_SC03_126", "ov_SC04_000", "ov_SC04_002", "ov_SC04_003", "ov_SC04_004", "ov_SC04_005", "ov_SC04_006", "ov_SC04_007", "ov_SC04_008", "ov_SC04_009", "ov_SC04_010", "ov_SC04_011", "ov_SC04_012", "ov_SC04_015", "ov_SC04_016", "ov_SC04_018", "ov_SC04_019", "ov_SC04_020", "ov_SC04_021", "ov_SC05_000", "ov_SC05_001", "ov_SC05_002", "ov_SC05_003", "ov_SC05_004", "ov_SC05_005", "ov_SC05_006", "ov_SC05_007", "ov_SC05_008", "ov_SC05_009", "ov_SC05_010", "ov_SC05_011", "ov_SC05_017", "ov_SC05_018", "ov_SC05_019", "ov_SC06_000", "ov_SC06_006", "ov_SC06_008", "ov_SC06_010", "ov_SC06_011", "ov_SC06_013", "ov_SC06_014", "ov_SC06_015", "ov_SC06_016", "ov_SC06_018", "ov_SC06_020", "ov_SC06_022", "ov_SC06_024", "ov_SC06_025", "ov_SC06_027", "ov_SC06_029", "ov_SC06_030", "ov_SC06_032", "ov_SC06_033", "ov_SC07_000", "ov_SC07_001", "ov_SC07_002", "ov_SC07_006", "ov_SC07_007", "ov_SC07_008", "ov_SC07_009", "ov_SC07_010", "ov_SC07_011"], "header": true, "includers": 136, "o0": false, "nhash_before": "06fadf351223f40561c95b77497a5020ca422b7e", "nhash_after": "06fadf351223f40561c95b77497a5020ca422b7e", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$16", "via": "", "line": 15, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 1, "kind": "pin", "cls": "A", "detail": "$17", "via": "", "line": 16, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 2, "kind": "pin", "cls": "A", "detail": "$2", "via": "", "line": 22, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 3, "kind": "pin", "cls": "A", "detail": "$4", "via": "", "line": 25, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 4, "kind": "barrier", "cls": "B", "detail": "memory", "via": "", "line": 67, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 6, "seconds": 2.236}
{"ts": "2026-10-02 19:36:57", "label": "t8_hdr1", "rung": "B", "calib": {"head": "586729bb45", "stamp": "588cbf38c6e4"}, "tu": "src/shared/ov/func_80176D94.h", "fn": "func_80176D94", "addr": 2149019028, "aliases": ["ov_MAIN_012", "ov_SC01_000", "ov_SC01_001", "ov_SC01_004", "ov_SC01_005", "ov_SC01_006", "ov_SC01_008", "ov_SC01_009", "ov_SC01_074", "ov_SC01_077", "ov_SC01_080", "ov_SC01_084", "ov_SC02_000", "ov_SC02_003", "ov_SC02_004", "ov_SC02_005", "ov_SC02_011", "ov_SC02_015", "ov_SC02_016", "ov_SC02_017", "ov_SC02_021", "ov_SC02_026", "ov_SC02_027", "ov_SC02_028", "ov_SC02_031", "ov_SC02_035", "ov_SC02_037", "ov_SC02_039", "ov_SC02_041", "ov_SC03_001", "ov_SC03_002", "ov_SC03_003", "ov_SC03_006", "ov_SC03_007", "ov_SC03_010", "ov_SC03_011", "ov_SC03_012", "ov_SC03_013", "ov_SC03_014", "ov_SC03_015", "ov_SC03_023", "ov_SC03_024", "ov_SC03_028", "ov_SC03_029", "ov_SC03_030", "ov_SC03_031", "ov_SC03_089", "ov_SC03_090", "ov_SC03_091", "ov_SC03_092", "ov_SC03_093", "ov_SC03_094", "ov_SC03_095", "ov_SC03_096", "ov_SC03_097", "ov_SC03_098", "ov_SC03_099", "ov_SC03_100", "ov_SC03_101", "ov_SC03_102", "ov_SC03_103", "ov_SC03_104", "ov_SC03_105", "ov_SC03_107", "ov_SC03_108", "ov_SC03_109", "ov_SC03_110", "ov_SC03_111", "ov_SC03_112", "ov_SC03_113", "ov_SC03_114", "ov_SC03_115", "ov_SC03_116", "ov_SC03_117", "ov_SC03_118", "ov_SC03_119", "ov_SC03_121", "ov_SC03_124", "ov_SC03_125", "ov_SC03_126", "ov_SC04_000", "ov_SC04_002", "ov_SC04_003", "ov_SC04_004", "ov_SC04_005", "ov_SC04_006", "ov_SC04_007", "ov_SC04_008", "ov_SC04_009", "ov_SC04_010", "ov_SC04_011", "ov_SC04_012", "ov_SC04_015", "ov_SC04_016", "ov_SC04_018", "ov_SC04_019", "ov_SC04_020", "ov_SC04_021", "ov_SC05_000", "ov_SC05_001", "ov_SC05_002", "ov_SC05_003", "ov_SC05_004", "ov_SC05_005", "ov_SC05_006", "ov_SC05_007", "ov_SC05_008", "ov_SC05_009", "ov_SC05_010", "ov_SC05_011", "ov_SC05_017", "ov_SC05_018", "ov_SC05_019", "ov_SC06_000", "ov_SC06_006", "ov_SC06_008", "ov_SC06_010", "ov_SC06_011", "ov_SC06_013", "ov_SC06_014", "ov_SC06_015", "ov_SC06_016", "ov_SC06_018", "ov_SC06_020", "ov_SC06_022", "ov_SC06_024", "ov_SC06_025", "ov_SC06_027", "ov_SC06_029", "ov_SC06_030", "ov_SC06_032", "ov_SC06_033", "ov_SC07_000", "ov_SC07_001", "ov_SC07_002", "ov_SC07_006", "ov_SC07_007", "ov_SC07_008", "ov_SC07_009", "ov_SC07_010", "ov_SC07_011"], "header": true, "includers": 136, "o0": false, "nhash_before": "bb8e9be1197d9daa2299e8d383f9526c97f3e7fc", "nhash_after": "bb8e9be1197d9daa2299e8d383f9526c97f3e7fc", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$6", "via": "", "line": 32, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 2, "seconds": 0.4}
{"ts": "2026-10-02 19:37:00", "label": "t8_hdr1", "rung": "B", "calib": {"head": "586729bb45", "stamp": "588cbf38c6e4"}, "tu": "src/shared/ov/func_801770E0.h", "fn": "func_801770E0", "addr": 2149019872, "aliases": ["ov_MAIN_012", "ov_SC01_000", "ov_SC01_001", "ov_SC01_004", "ov_SC01_005", "ov_SC01_006", "ov_SC01_008", "ov_SC01_009", "ov_SC01_074", "ov_SC01_077", "ov_SC01_080", "ov_SC01_084", "ov_SC02_000", "ov_SC02_003", "ov_SC02_004", "ov_SC02_005", "ov_SC02_011", "ov_SC02_015", "ov_SC02_016", "ov_SC02_017", "ov_SC02_021", "ov_SC02_026", "ov_SC02_027", "ov_SC02_028", "ov_SC02_031", "ov_SC02_035", "ov_SC02_037", "ov_SC02_039", "ov_SC02_041", "ov_SC03_001", "ov_SC03_002", "ov_SC03_003", "ov_SC03_006", "ov_SC03_007", "ov_SC03_010", "ov_SC03_011", "ov_SC03_012", "ov_SC03_013", "ov_SC03_014", "ov_SC03_015", "ov_SC03_023", "ov_SC03_024", "ov_SC03_028", "ov_SC03_029", "ov_SC03_030", "ov_SC03_031", "ov_SC03_089", "ov_SC03_090", "ov_SC03_091", "ov_SC03_092", "ov_SC03_093", "ov_SC03_094", "ov_SC03_095", "ov_SC03_096", "ov_SC03_097", "ov_SC03_098", "ov_SC03_099", "ov_SC03_100", "ov_SC03_101", "ov_SC03_102", "ov_SC03_103", "ov_SC03_104", "ov_SC03_105", "ov_SC03_107", "ov_SC03_108", "ov_SC03_109", "ov_SC03_110", "ov_SC03_111", "ov_SC03_112", "ov_SC03_113", "ov_SC03_114", "ov_SC03_115", "ov_SC03_116", "ov_SC03_117", "ov_SC03_118", "ov_SC03_119", "ov_SC03_121", "ov_SC03_124", "ov_SC03_125", "ov_SC03_126", "ov_SC04_000", "ov_SC04_002", "ov_SC04_003", "ov_SC04_004", "ov_SC04_005", "ov_SC04_006", "ov_SC04_007", "ov_SC04_008", "ov_SC04_009", "ov_SC04_010", "ov_SC04_011", "ov_SC04_012", "ov_SC04_015", "ov_SC04_016", "ov_SC04_018", "ov_SC04_019", "ov_SC04_020", "ov_SC04_021", "ov_SC05_000", "ov_SC05_001", "ov_SC05_002", "ov_SC05_003", "ov_SC05_004", "ov_SC05_005", "ov_SC05_006", "ov_SC05_007", "ov_SC05_008", "ov_SC05_009", "ov_SC05_010", "ov_SC05_011", "ov_SC05_017", "ov_SC05_018", "ov_SC05_019", "ov_SC06_000", "ov_SC06_006", "ov_SC06_008", "ov_SC06_010", "ov_SC06_011", "ov_SC06_013", "ov_SC06_014", "ov_SC06_015", "ov_SC06_016", "ov_SC06_018", "ov_SC06_020", "ov_SC06_022", "ov_SC06_024", "ov_SC06_025", "ov_SC06_027", "ov_SC06_029", "ov_SC06_030", "ov_SC06_032", "ov_SC06_033", "ov_SC07_000", "ov_SC07_001", "ov_SC07_002", "ov_SC07_006", "ov_SC07_007", "ov_SC07_008", "ov_SC07_009", "ov_SC07_010", "ov_SC07_011"], "header": true, "includers": 136, "o0": false, "nhash_before": "df81d0eacf16a8e1ffdc37d1bae7f09964ee1ec8", "nhash_after": "df81d0eacf16a8e1ffdc37d1bae7f09964ee1ec8", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$6", "via": "", "line": 32, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 2, "seconds": 0.407}
{"ts": "2026-10-02 19:37:03", "label": "t8_hdr1", "rung": "replay", "calib": {"head": "586729bb45", "stamp": "588cbf38c6e4"}, "tu": "src/shared/ov/func_8013B274__28562738.h", "fn": "func_8013B274", "addr": 2148774516, "aliases": ["ov_SC03_126", "ov_SC04_021", "ov_SC05_019"], "header": true, "includers": 3, "o0": false, "nhash_before": "989ea29447ebea9f665718fe835d44c289cd476c", "nhash_after": "1d5f688ab4f2f9b512bd1dea042a036af2a3566c", "exemplar": {"tu": "src/ov_SC03_118/ov_SC03_118_jr_801380E0.c", "fn": "func_8013B274"}, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "gte-lever", "cls": "B", "detail": "lwc2", "via": "", "line": 51, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 1, "kind": "gte-lever", "cls": "B", "detail": "lwc2", "via": "", "line": 66, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 2, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 76, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 3, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 77, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 4, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 78, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 5, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 79, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 6, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 80, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 7, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 80, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 8, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 81, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 9, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 81, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 4, "seconds": 0.463}
{"ts": "2026-10-02 19:37:03", "label": "t8_hdr1", "rung": "B", "calib": {"head": "586729bb45", "stamp": "588cbf38c6e4"}, "tu": "src/shared/ov/func_8013CF68__94315c4c.h", "fn": "func_8013CF68", "addr": 2148781928, "aliases": ["ov_SC03_126", "ov_SC04_021", "ov_SC05_019"], "header": true, "includers": 3, "o0": false, "nhash_before": "03930f4cac6145c72bae2246355d9b7366ea8883", "nhash_after": "03930f4cac6145c72bae2246355d9b7366ea8883", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "instruction", "cls": "B", "detail": "la", "via": "", "line": 23, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 2, "seconds": 0.173}
{"ts": "2026-10-02 19:37:03", "label": "t8_hdr1", "rung": "replay", "calib": {"head": "586729bb45", "stamp": "588cbf38c6e4"}, "tu": "src/shared/ov/func_8013B274__9e44db0b.h", "fn": "func_8013B274", "addr": 2148774516, "aliases": ["ov_SC04_008", "ov_SC05_009"], "header": true, "includers": 2, "o0": false, "nhash_before": "989ea29447ebea9f665718fe835d44c289cd476c", "nhash_after": "1d5f688ab4f2f9b512bd1dea042a036af2a3566c", "exemplar": {"tu": "src/shared/ov/func_8013B274__28562738.h", "fn": "func_8013B274"}, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "gte-lever", "cls": "B", "detail": "lwc2", "via": "", "line": 51, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 1, "kind": "gte-lever", "cls": "B", "detail": "lwc2", "via": "", "line": 66, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 2, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 76, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 3, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 77, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 4, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 78, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 5, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 79, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 6, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 80, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 7, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 80, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 8, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 81, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 9, "kind": "cast", "cls": "C", "detail": "volatile s32 *", "via": "", "line": 81, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 3, "seconds": 0.333}
{"ts": "2026-10-02 19:37:04", "label": "t8_hdr1", "rung": "B", "calib": {"head": "586729bb45", "stamp": "588cbf38c6e4"}, "tu": "src/shared/ov/func_8017C730__tc0f85567.h", "fn": "func_8017C730", "addr": 2149041968, "aliases": ["ov_SC03_010", "ov_SC03_013"], "header": true, "includers": 2, "o0": false, "nhash_before": "252d9cfab33d12b4676f4f0eb7e17e8c1c5ccb38", "nhash_after": "252d9cfab33d12b4676f4f0eb7e17e8c1c5ccb38", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "keepalive", "cls": "B", "detail": "", "via": "", "line": 135, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 2, "seconds": 0.204}
+16
View File
@@ -0,0 +1,16 @@
delever --plan: 15 of 15 drawable files · 15 bodies (3 in multi-copy classes) · 55 removable sites · 0 deferred asm-bodies
19:35:55 apply t8_hdr1: 15 files, control src/shared/ov/func_8012EC04.h IDENTICAL (0.23 s), calibration 586729bb45, census 85609721614f5921
19:36:17 src/shared/ov/func_8012EF34.h:func_8012EF34 A=DIFFERS B: removed 0 needed 2 compiles 3
19:36:22 src/shared/ov/func_8012EF70.h:func_8012EF70 A=DIFFERS B: removed 0 needed 2 compiles 3
19:36:26 src/shared/ov/func_80131CF4.h:func_80131CF4 A=DIFFERS B: removed 0 needed 1 compiles 2
19:36:38 src/shared/ov/func_80144B9C.h:func_80144B9C A=DIFFERS B: removed 0 needed 1 compiles 2
19:36:39 src/shared/ov/func_80146AFC.h:func_80146AFC A=DIFFERS B: removed 0 needed 1 compiles 2
19:36:45 src/shared/ov/func_8015126C.h:func_8015126C A=DIFFERS B: removed 0 needed 1 compiles 2
19:36:52 src/shared/ov/func_80166054.h:func_80166054 A=DIFFERS B: removed 0 needed 5 compiles 6
19:36:57 src/shared/ov/func_80176D94.h:func_80176D94 A=DIFFERS B: removed 0 needed 1 compiles 2
19:37:00 src/shared/ov/func_801770E0.h:func_801770E0 A=DIFFERS B: removed 0 needed 1 compiles 2
19:37:03 src/shared/ov/func_8013CF68__94315c4c.h:func_8013CF68 A=DIFFERS B: removed 0 needed 1 compiles 2
19:37:04 src/shared/ov/func_8017C730__tc0f85567.h:func_8017C730 A=DIFFERS B: removed 0 needed 1 compiles 2
19:37:04 delever: batch t8_hdr1 — 15 files (headers; 15 drawable) · 15 bodies: 2 lever-free, 13 residue, 0 refused · sites removed 22 / needed 33 / refused 0 / deferred 0 · replays 2 (0 disagreed) · compiles 1739 in 69 s wall · final 15/15 identical · written 14 files
t8_hdr1 wall=71.46 s
exit=0
+12 -18
View File
@@ -41,49 +41,43 @@ void func_8012EC04(s32 param_1, s32 param_2, s32 *param_3)
/* --- GTE tail --- */
/* gte_SetRotMatrix(M) */
M = *(s32 *)(param_1 + 0x20) + 0x34;
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lw $12, 0(%0)\n" "lw $13, 4(%0)\n"
"ctc2 $12, $0\n" "ctc2 $13, $1\n"
"lw $12, 8(%0)\n" "lw $13, 12(%0)\n" "lw $14, 16(%0)\n"
"ctc2 $12, $2\n" "ctc2 $13, $3\n" "ctc2 $14, $4\n"
: : "r"(M) : "$12", "$13", "$14", "memory");
"ctc2 $12, $2\n" "ctc2 $13, $3\n" "ctc2 $14, $4\n" : : "r"(M) : "$12", "$13", "$14" );
/* column 0: param_3 in place */
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lhu $12, 0(%0)\n" "lhu $13, 6(%0)\n" "lhu $14, 12(%0)\n"
"mtc2 $12, $9\n" "mtc2 $13, $10\n" "mtc2 $14, $11\n"
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n"
: : "r"((s32)param_3) : "$12", "$13", "$14", "memory");
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n" : : "r"((s32)param_3) : "$12", "$13", "$14" );
gte_stclmv((s32)param_3);
/* column 1: param_3 + 2 */
c = (s32)param_3 + 2;
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lhu $12, 0(%0)\n" "lhu $13, 6(%0)\n" "lhu $14, 12(%0)\n"
"mtc2 $12, $9\n" "mtc2 $13, $10\n" "mtc2 $14, $11\n"
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n"
: : "r"(c) : "$12", "$13", "$14", "memory");
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n" : : "r"(c) : "$12", "$13", "$14" );
gte_stclmv(c);
/* column 2: param_3 + 4 */
c = (s32)param_3 + 4;
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lhu $12, 0(%0)\n" "lhu $13, 6(%0)\n" "lhu $14, 12(%0)\n"
"mtc2 $12, $9\n" "mtc2 $13, $10\n" "mtc2 $14, $11\n"
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n"
: : "r"(c) : "$12", "$13", "$14", "memory");
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n" : : "r"(c) : "$12", "$13", "$14" );
gte_stclmv(c);
/* gte_SetTransMatrix(M) — M reloaded */
M = *(s32 *)(param_1 + 0x20) + 0x34;
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lw $12, 20(%0)\n" "lw $13, 24(%0)\n"
"ctc2 $12, $5\n" "lw $14, 28(%0)\n"
"ctc2 $13, $6\n" "ctc2 $14, $7\n"
: : "r"(M) : "$12", "$13", "$14", "memory");
"ctc2 $13, $6\n" "ctc2 $14, $7\n" : : "r"(M) : "$12", "$13", "$14" );
/* gte_ldlv0(param_3->t) ; gte_rt() ; gte_stlvnl(param_3->t) */
c = (s32)param_3 + 0x14;
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lhu $13, 4(%0)\n" "lhu $12, 0(%0)\n"
"sll $13, $13, 16\n" "or $12, $12, $13\n"
"mtc2 $12, $0\n" "lwc2 $1, 8(%0)\n"
"nop\n" "nop\n" "mvmva 1, 0, 0, 0, 0\n"
: : "r"(c) : "$12", "$13", "memory");
"nop\n" "nop\n" "mvmva 1, 0, 0, 0, 0\n" : : "r"(c) : "$12", "$13" );
gte_stlvnl(c);
}
+2 -2
View File
@@ -3,10 +3,10 @@
extern s32 func_8012EFB8(); // K&R: 1 of 2 args (P37 unalias t4_ua1)
void func_8012EF34(s32 a0, s32 a1) {
s32 sp10;
register s32 v1 __asm__("$3"); // !FAKE: pin $3 — NEEDED DIFFERS (P36 rung B headers1)
register s32 v1 __asm__("$3"); // !FAKE: pin $3 — NEEDED DIFFERS (P36 rung B t8_hdr1)
func_8012EFB8(a0);
{
register s32 *p __asm__("$3") = &sp10; // !FAKE: pin $3 — NEEDED DIFFERS (P36 rung B headers1)
register s32 *p __asm__("$3") = &sp10; // !FAKE: pin $3 — NEEDED DIFFERS (P36 rung B t8_hdr1)
gte_stsz(p);
}
v1 = sp10;
+2 -2
View File
@@ -3,10 +3,10 @@
extern s32 func_8012EFB8(); // K&R: 1 of 2 args (P37 unalias t4_ua1)
void func_8012EF70(s32 a0, s32 a1) {
s32 sp10;
register s32 v1 __asm__("$3"); // !FAKE: pin $3 — NEEDED DIFFERS (P36 rung B headers1)
register s32 v1 __asm__("$3"); // !FAKE: pin $3 — NEEDED DIFFERS (P36 rung B t8_hdr1)
func_8012EFB8(a0);
{
register s32 *p __asm__("$3") = &sp10; // !FAKE: pin $3 — NEEDED DIFFERS (P36 rung B headers1)
register s32 *p __asm__("$3") = &sp10; // !FAKE: pin $3 — NEEDED DIFFERS (P36 rung B t8_hdr1)
gte_stszotz(p);
}
v1 = sp10;
+1 -1
View File
@@ -14,7 +14,7 @@ enter:
if (a0[0] == 0) {
return 0;
}
__asm__ __volatile__("" : "=r"(k) : "0"(0xD) : "memory"); // !FAKE: launder — NEEDED DIFFERS (P36 rung B headers1)
__asm__ __volatile__("" : "=r"(k) : "0"(0xD) : "memory"); // !FAKE: launder — NEEDED DIFFERS (P36 rung B t8_hdr1)
v0 = a0[0];
do {
if (v0 == k) {
+20 -32
View File
@@ -69,41 +69,35 @@ void func_80132784(s32 a0, s32 a1, u32 a2)
*((s32 *) (buf + 0x8C)) = (s32) (*((s8 *) (((s32) pu) + 5)));
}
{
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lw $12, 0(%0)\n" "lw $13, 4(%0)\n"
"ctc2 $12, $0\n" "ctc2 $13, $1\n"
"lw $12, 8(%0)\n" "lw $13, 12(%0)\n" "lw $14, 16(%0)\n"
"ctc2 $12, $2\n" "ctc2 $13, $3\n" "ctc2 $14, $4\n"
: : "r"((s32 *)(buf + 0x50)) : "$12", "$13", "$14", "memory"); // !FAKE: gte direct — clobbers ['memory'] (gte_SetRotMatrix_m) beyond Sony's (P36 T5 gte1)
"ctc2 $12, $2\n" "ctc2 $13, $3\n" "ctc2 $14, $4\n" : : "r"((s32 *)(buf + 0x50)) : "$12", "$13", "$14" );
__asm__ __volatile__(
"lhu $12, 0(%0)\n" "lhu $13, 6(%0)\n" "lhu $14, 12(%0)\n"
"mtc2 $12, $9\n" "mtc2 $13, $10\n" "mtc2 $14, $11\n"
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n"
: : "r"((s16 *)(buf + 0x70)) : "$12", "$13", "$14", "memory");
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n" : : "r"((s16 *)(buf + 0x70)) : "$12", "$13", "$14" );
gte_stclmv((s16 *)(buf + 0x90));
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lhu $12, 0(%0)\n" "lhu $13, 6(%0)\n" "lhu $14, 12(%0)\n"
"mtc2 $12, $9\n" "mtc2 $13, $10\n" "mtc2 $14, $11\n"
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n"
: : "r"((s16 *)(buf + 0x72)) : "$12", "$13", "$14", "memory");
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n" : : "r"((s16 *)(buf + 0x72)) : "$12", "$13", "$14" );
gte_stclmv((s16 *)(buf + 0x92));
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lhu $12, 0(%0)\n" "lhu $13, 6(%0)\n" "lhu $14, 12(%0)\n"
"mtc2 $12, $9\n" "mtc2 $13, $10\n" "mtc2 $14, $11\n"
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n"
: : "r"((s16 *)(buf + 0x74)) : "$12", "$13", "$14", "memory");
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n" : : "r"((s16 *)(buf + 0x74)) : "$12", "$13", "$14" );
gte_stclmv((s16 *)(buf + 0x94));
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lw $12, 20(%0)\n" "lw $13, 24(%0)\n"
"ctc2 $12, $5\n" "lw $14, 28(%0)\n"
"ctc2 $13, $6\n" "ctc2 $14, $7\n"
: : "r"((s32 *)(buf + 0x50)) : "$12", "$13", "$14", "memory"); // !FAKE: gte direct — clobbers ['memory'] (gte_SetTransMatrix_m) beyond Sony's (P36 T5 gte1)
"ctc2 $13, $6\n" "ctc2 $14, $7\n" : : "r"((s32 *)(buf + 0x50)) : "$12", "$13", "$14" );
__asm__ __volatile__(
"lhu $13, 4(%0)\n" "lhu $12, 0(%0)\n"
"sll $13, $13, 16\n" "or $12, $12, $13\n"
"mtc2 $12, $0\n" "lwc2 $1, 8(%0)\n"
"nop\n" "nop\n" "mvmva 1, 0, 0, 0, 0\n"
: : "r"((s16 *)(buf + 0x84)) : "$12", "$13", "memory");
"nop\n" "nop\n" "mvmva 1, 0, 0, 0, 0\n" : : "r"((s16 *)(buf + 0x84)) : "$12", "$13" );
gte_stlvnl((s32 *)(buf + 0xA4));
}
s6 = *((s32 *) (s7 + 0x20));
@@ -118,41 +112,35 @@ gte_stlvnl((s32 *)(buf + 0xA4));
*((s16 *) (s6 + 0xC)) = sVar1;
*((s32 *) (buf + 0x8C)) = (s32) sVar1;
{
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lw $12, 0(%0)\n" "lw $13, 4(%0)\n"
"ctc2 $12, $0\n" "ctc2 $13, $1\n"
"lw $12, 8(%0)\n" "lw $13, 12(%0)\n" "lw $14, 16(%0)\n"
"ctc2 $12, $2\n" "ctc2 $13, $3\n" "ctc2 $14, $4\n"
: : "r"((s32 *)(buf + 0x90)) : "$12", "$13", "$14", "memory"); // !FAKE: gte direct — clobbers ['memory'] (gte_SetRotMatrix_m) beyond Sony's (P36 T5 gte1)
"ctc2 $12, $2\n" "ctc2 $13, $3\n" "ctc2 $14, $4\n" : : "r"((s32 *)(buf + 0x90)) : "$12", "$13", "$14" );
__asm__ __volatile__(
"lhu $12, 0(%0)\n" "lhu $13, 6(%0)\n" "lhu $14, 12(%0)\n"
"mtc2 $12, $9\n" "mtc2 $13, $10\n" "mtc2 $14, $11\n"
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n"
: : "r"((s16 *)(buf + 0x70)) : "$12", "$13", "$14", "memory");
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n" : : "r"((s16 *)(buf + 0x70)) : "$12", "$13", "$14" );
gte_stclmv((s16 *)(buf + 0x50));
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lhu $12, 0(%0)\n" "lhu $13, 6(%0)\n" "lhu $14, 12(%0)\n"
"mtc2 $12, $9\n" "mtc2 $13, $10\n" "mtc2 $14, $11\n"
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n"
: : "r"((s16 *)(buf + 0x72)) : "$12", "$13", "$14", "memory");
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n" : : "r"((s16 *)(buf + 0x72)) : "$12", "$13", "$14" );
gte_stclmv((s16 *)(buf + 0x52));
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lhu $12, 0(%0)\n" "lhu $13, 6(%0)\n" "lhu $14, 12(%0)\n"
"mtc2 $12, $9\n" "mtc2 $13, $10\n" "mtc2 $14, $11\n"
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n"
: : "r"((s16 *)(buf + 0x74)) : "$12", "$13", "$14", "memory");
"nop\n" "nop\n" "mvmva 1, 0, 3, 3, 0\n" : : "r"((s16 *)(buf + 0x74)) : "$12", "$13", "$14" );
gte_stclmv((s16 *)(buf + 0x54));
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lw $12, 20(%0)\n" "lw $13, 24(%0)\n"
"ctc2 $12, $5\n" "lw $14, 28(%0)\n"
"ctc2 $13, $6\n" "ctc2 $14, $7\n"
: : "r"((s32 *)(buf + 0x90)) : "$12", "$13", "$14", "memory"); // !FAKE: gte direct — clobbers ['memory'] (gte_SetTransMatrix_m) beyond Sony's (P36 T5 gte1)
"ctc2 $13, $6\n" "ctc2 $14, $7\n" : : "r"((s32 *)(buf + 0x90)) : "$12", "$13", "$14" );
__asm__ __volatile__(
"lhu $13, 4(%0)\n" "lhu $12, 0(%0)\n"
"sll $13, $13, 16\n" "or $12, $12, $13\n"
"mtc2 $12, $0\n" "lwc2 $1, 8(%0)\n"
"nop\n" "nop\n" "mvmva 1, 0, 0, 0, 0\n"
: : "r"((s16 *)(buf + 0x84)) : "$12", "$13", "memory");
"nop\n" "nop\n" "mvmva 1, 0, 0, 0, 0\n" : : "r"((s16 *)(buf + 0x84)) : "$12", "$13" );
gte_stlvnl((s32 *)(buf + 0x64));
}
*((Blk16 *) (s6 + 0x34)) = *((Blk16 *) (buf + 0x50));
+4 -6
View File
@@ -48,12 +48,11 @@ void func_8013B274(s32 a0, s32 a1, void *a2)
}
*(s16 *)((u8 *)L + 2) = D_800D45F6;
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lwc2 $0, 0(%0)\n"
"lwc2 $1, 4(%0)\n"
"nop\n" "nop\n"
"mvmva 1, 0, 0, 0, 0\n"
: : "r"(L) : "memory");
"mvmva 1, 0, 0, 0, 0\n" : : "r"(L) );
gte_stlvnl((u8 *)L + 8);
if (((s16*)a2)[1] > 0)
@@ -63,12 +62,11 @@ void func_8013B274(s32 a0, s32 a1, void *a2)
*(s16 *)L = 9;
*(s16 *)((u8 *)L + 2) = 9;
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lwc2 $0, 0(%0)\n"
"lwc2 $1, 4(%0)\n"
"nop\n" "nop\n"
"mvmva 1, 0, 0, 3, 0\n"
: : "r"(L) : "memory");
"mvmva 1, 0, 0, 3, 0\n" : : "r"(L) );
gte_stlvnl((u8 *)L + 0x18);
*(s16 *)(p + 8) = *(s32 *)((u8 *)L + 8);
+4 -6
View File
@@ -48,12 +48,11 @@ void func_8013B274(s32 a0, s32 a1, void *a2)
}
*(s16 *)((u8 *)L + 2) = D_800D45F6;
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lwc2 $0, 0(%0)\n"
"lwc2 $1, 4(%0)\n"
"nop\n" "nop\n"
"mvmva 1, 0, 0, 0, 0\n"
: : "r"(L) : "memory");
"mvmva 1, 0, 0, 0, 0\n" : : "r"(L) );
gte_stlvnl((u8 *)L + 8);
if (((s16*)a2)[1] > 0)
@@ -63,12 +62,11 @@ void func_8013B274(s32 a0, s32 a1, void *a2)
*(s16 *)L = 9;
*(s16 *)((u8 *)L + 2) = 9;
__asm__ __volatile__( // !FAKE: gte direct — clobbers beyond Sony's macro (a scheduling steer; P36 T5 t5_remark3)
__asm__ __volatile__(
"lwc2 $0, 0(%0)\n"
"lwc2 $1, 4(%0)\n"
"nop\n" "nop\n"
"mvmva 1, 0, 0, 3, 0\n"
: : "r"(L) : "memory");
"mvmva 1, 0, 0, 3, 0\n" : : "r"(L) );
gte_stlvnl((u8 *)L + 0x18);
*(s16 *)(p + 8) = *(s32 *)((u8 *)L + 8);
+1 -1
View File
@@ -20,7 +20,7 @@ void func_8013CF68()
u8 t0, t1, t2;
u8 *base;
__asm__("la %0, D_800A5E94" : "=r"(base)); // !FAKE: instruction la — NEEDED DIFFERS (P36 rung B headers2)
__asm__("la %0, D_800A5E94" : "=r"(base)); // !FAKE: instruction la — NEEDED DIFFERS (P36 rung B t8_hdr1)
*(s32 *)(base - 0xC) = 0;
t0 = D_8018F9D0; t1 = D_8018F9D1; t2 = D_8018F9D2;
+1 -1
View File
@@ -3,7 +3,7 @@
s32 func_80146AFC(void *arg0)
{
u8 *p;
register u8 *q __asm__("$5"); // !FAKE: pin $5 — NEEDED DIFFERS (P36 rung B headers1)
register u8 *q __asm__("$5"); // !FAKE: pin $5 — NEEDED DIFFERS (P36 rung B t8_hdr1)
u8 *end;
p = (u8 *)&D_8011D030;
end = p + 0xA50;
+1 -1
View File
@@ -37,7 +37,7 @@ void func_8015126C(u16 *p)
extern void func_8014ACE8(void *a0, s32 a1, s32 a2);
u8 *r = D_80078E78; /* $s2 */
s32 *q = &D_800AE6A8; /* $s1 */
register s32 sh16 __asm__("$2"); /* $v0 */ // !FAKE: pin $2 — NEEDED DIFFERS (P36 rung B headers1)
register s32 sh16 __asm__("$2"); /* $v0 */ // !FAKE: pin $2 — NEEDED DIFFERS (P36 rung B t8_hdr1)
u16 uVar3;
s32 angle;
s32 v;
+5 -5
View File
@@ -12,17 +12,17 @@ void func_80166054(s32 arg0) {
extern u8 D_800D387C[];
extern u8 D_800D3888[];
s32 param_1; /* $s2 */
register s32 s0 __asm__("$16"); /* $s0 */ // !FAKE: pin $16 — NEEDED DIFFERS (P36 rung B headers1)
register s32 s1 __asm__("$17"); /* $s1 */ // !FAKE: pin $17 — NEEDED DIFFERS (P36 rung B headers1)
register s32 s0 __asm__("$16"); /* $s0 */ // !FAKE: pin $16 — NEEDED DIFFERS (P36 rung B t8_hdr1)
register s32 s1 __asm__("$17"); /* $s1 */ // !FAKE: pin $17 — NEEDED DIFFERS (P36 rung B t8_hdr1)
s32 r0; /* $s3 */
s32 r1; /* $s4 */
s32 v1;
s32 iVar2;
s32 iVar3;
register u32 fld __asm__("$2"); /* $v0 */ // !FAKE: pin $2 — NEEDED DIFFERS (P36 rung B headers1)
register u32 fld __asm__("$2"); /* $v0 */ // !FAKE: pin $2 — NEEDED DIFFERS (P36 rung B t8_hdr1)
s32 v0;
s32 r2; /* $a1 */
register s32 a0 __asm__("$4"); /* $a0 */ // !FAKE: pin $4 — NEEDED DIFFERS (P36 rung B headers1)
register s32 a0 __asm__("$4"); /* $a0 */ // !FAKE: pin $4 — NEEDED DIFFERS (P36 rung B t8_hdr1)
param_1 = arg0;
s0 = *(s32 *)(param_1 + 0x34);
func_80149374(s0, param_1 + 4);
@@ -64,7 +64,7 @@ void func_80166054(s32 arg0) {
uVar1 = *(u16 *)(param_1 + 0x32);
}
*(u16 *)(v0 + 0x18) = uVar1;
__asm__("" ::: "memory"); // !FAKE: barrier memory — NEEDED DIFFERS (P36 rung B headers1)
__asm__("" ::: "memory"); // !FAKE: barrier memory — NEEDED DIFFERS (P36 rung B t8_hdr1)
*(u16 *)(v0 + 0x1a) = *(u16 *)(v0 + 0x18);
func_80128EA8(v0, param_1 + 0x24, (s32)D_800D3888);
func_801661CC(param_1);
+1 -1
View File
@@ -29,7 +29,7 @@ u32 *func_80176D94(void *param_1, u32 param_2, s16 param_3_)
puVar3 = (u32 *)func_801777BC(u5, sVar1, (s32)((param_2 + 0x38) << 16) >> 16, iVar6, c3, cad, cff);
dl = ((Unkstruct_8011F82C *)&D_8011F82C)->h;
{ u32 v0m = ((u32)(puVar3 - 5) & 0xffffff) | 0x3000000;
register u32 c6000 __asm__("$6") = 0x6000dcff; // !FAKE: pin $6 — NEEDED DIFFERS (P36 rung B headers1)
register u32 c6000 __asm__("$6") = 0x6000dcff; // !FAKE: pin $6 — NEEDED DIFFERS (P36 rung B t8_hdr1)
puVar3[1] = c6000;
*puVar3 = v0m; }
uVar4 = ((iVar6 + 10) << 16) | ((param_2 + 1) & 0xffff);
+1 -1
View File
@@ -29,7 +29,7 @@ u32 *func_801770E0(void *param_1, u32 param_2, s16 param_3_)
puVar3 = (u32 *)func_801777BC(u5, sVar1, (s32)((param_2 + 0x38) << 16) >> 16, iVar6, c3, cb8, cff);
dl = ((Unkstruct_8011F830 *)&D_8011F830)->h;
{ u32 v0m = ((u32)(puVar3 - 5) & 0xffffff) | 0x3000000;
register u32 c6055 __asm__("$6") = 0x6055ff00; // !FAKE: pin $6 — NEEDED DIFFERS (P36 rung B headers1)
register u32 c6055 __asm__("$6") = 0x6055ff00; // !FAKE: pin $6 — NEEDED DIFFERS (P36 rung B t8_hdr1)
puVar3[1] = c6055;
*puVar3 = v0m; }
uVar4 = ((iVar6 - 4) << 16) | ((param_2 + 1) & 0xffff);
+1 -1
View File
@@ -132,7 +132,7 @@ void func_8017C730(s32 arg0)
if (mxc < xmx2) mxc = xmx2;
if ((s16)mxc >= -0x6E && (s16)mnc < 0x6F) {
t32 = mid;
if (!(hhi < t32)) { mnc = hmid; __asm__ volatile ("" : : "r" (mnc)); } // !FAKE: keepalive — NEEDED DIFFERS (P36 rung B headers2)
if (!(hhi < t32)) { mnc = hmid; __asm__ volatile ("" : : "r" (mnc)); } // !FAKE: keepalive — NEEDED DIFFERS (P36 rung B t8_hdr1)
prim = (Prim_8017C730_tc0f85567 *)part->prim;
nprim = part->nprim;
for (i = 0; i < nprim; i++, prim++) {