SHARC interpreter vs recompiler #257

cuavas · 2026-02-04T13:30:01Z

cuavas
Feb 4, 2026
Maintainer

(Tag @galibert, @angelosa, @gm-matthew, @MooglyGuy who may be interested.)

I've been poking at the the AD SHARC DSP emulation lately. I wasn't originally looking for bugs (I had the source file open for other reasons), but there were some pretty obvious ones that jumped out at me. Since then I've been looking at it occasionally when I'm taking a break from other stuff.

One thing that's sort of bugging me is missing/bad polygons in Konami PowerPC/SHARC/Voodoo games. You can reproduce it easily by enabling the recompiler for the first DSP on Racing Jam's NWK-TR board:

diff --git a/src/mame/konami/nwk-tr.cpp b/src/mame/konami/nwk-tr.cpp
index 9653559e34c..f7c2343a6aa 100644
--- a/src/mame/konami/nwk-tr.cpp
+++ b/src/mame/konami/nwk-tr.cpp
@@ -646,6 +646,7 @@ void nwktr_state::nwktr(machine_config &config)
 	ADSP21062(config, m_dsp[0], 36_MHz_XTAL);
 	m_dsp[0]->set_boot_mode(adsp21062_device::BOOT_MODE_EPROM);
 	m_dsp[0]->set_addrmap(AS_DATA, &nwktr_state::sharc_map<0>);
+	m_dsp[0]->enable_recompiler();
 
 	ADSP21062(config, m_dsp[1], 36_MHz_XTAL);
 	m_dsp[1]->set_boot_mode(adsp21062_device::BOOT_MODE_EPROM);

This will cause bad/missing polygons in every second frame in attract mode with -drc (it will still behave like it normally does with -nodrc).

I started looking at differences between the interpreter and recompiler by running to attract mode with the interpreter and taking a save state, then loading starting with the save state and tracing with the interpreter and recompiler. Some of the differences were from the recompiler not implementing the table-based RECIPS and RSQRTS instructions properly, so I addressed that. The traces look a lot closer now, but there are still differences. In the trace fragments here, the first fourteen numbers are register R0-R13 contents, followed by the instruction address (PC value) and the disassembled instruction.

There are differences that seem to be caused by the recompiler short-circuiting spinloops, e.g. this:

@@ -4826,11 +4833,6 @@
 C20A4000 00001800 00000000 43456000 C2E30000 C22C4000 3F800000 B924754F 00000000 43874000 40000000 43942800 4384B800 43C00000 021B5A: F1 = F3 - F11
 C20A4000 C2C5E000 00000000 43456000 C2E30000 C22C4000 3F800000 B924754F 00000000 43874000 40000000 43942800 4384B800 43C00000 021B5B: BIT TEST IRPTL 0x00020000
 C20A4000 C2C5E000 00000000 43456000 C2E30000 C22C4000 3F800000 B924754F 00000000 43874000 40000000 43942800 4384B800 43C00000 021B5C: IF NOT TF, JUMP (0x00021B5B)
-C20A4000 C2C5E000 00000000 43456000 C2E30000 C22C4000 3F800000 B924754F 00000000 43874000 40000000 43942800 4384B800 43C00000 021B5B: BIT TEST IRPTL 0x00020000
-C20A4000 C2C5E000 00000000 43456000 C2E30000 C22C4000 3F800000 B924754F 00000000 43874000 40000000 43942800 4384B800 43C00000 021B5C: IF NOT TF, JUMP (0x00021B5B)
-
-   (loops for 18 instructions)
-
 C20A4000 C2C5E000 00000000 43456000 C2E30000 C22C4000 3F800000 B924754F 00000000 43874000 40000000 43942800 4384B800 43C00000 021B5D: F11 = F1 * F4,  F5 = F11 - F12,  DM(0x02, I3) = R11
 C20A4000 C2C5E000 00000000 43456000 C2E30000 41F70000 3F800000 B924754F 00000000 43874000 40000000 462F75A0 4384B800 43C00000 021B5E: F13 = F0 * F5,  F8 = F8 + F14,  DM(0x05, I3) = R13
 C20A4000 C2C5E000 00000000 43456000 C2E30000 41F70000 3F800000 B924754F 437F0000 43874000 40000000 462F75A0 4384B800 C48563C0 021B5F: F11 = F2 * F6,  F7 = F11 - F13,  R2 = DM(0x0A, I2)

This is probably harmless.

Sometimes it seems to read a a different value from the Voodoo, e.g. here:

@@ -243172,23 +242959,23 @@
 0000EEE0 0FFFF3BF 3F7FFE00 00000000 BEA35400 3ED58C00 BEAD2400 00000034 C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200EC: R2 = 0x0FFFF03F
 0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 00000034 C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200ED: DM(0x03400001) = R7
 0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 00000034 C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200EE: R7 = DM(0x02480000)
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E13C79D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200EF: R7 = R7
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E13C79D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F0: R7 = ROT R7 BY 16
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 C79D0E13 C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F1: DM(0x00407FF0) = R7
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 C79D0E13 C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F2: R7 = ROT R7 BY 16
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E13C79D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F3: DM(0x00407FF1) = R7
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E13C79D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F4: R7 = R7 AND R1
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E13C39D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F5: R7 = R7 XOR R2
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 01EC33A2 C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F6: IF NE, JUMP (0x000200EE)
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 01EC33A2 C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200EE: R7 = DM(0x02480000)
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E1FA79D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200EF: R7 = R7
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E1FA79D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F0: R7 = ROT R7 BY 16
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 A79D0E1F C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F1: DM(0x00407FF0) = R7
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 A79D0E1F C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F2: R7 = ROT R7 BY 16
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E1FA79D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F3: DM(0x00407FF1) = R7
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E1FA79D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F4: R7 = R7 AND R1
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E1FA39D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F5: R7 = R7 XOR R2
-0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 01E053A2 C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F6: IF NE, JUMP (0x000200EE)
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E12679D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200EF: R7 = R7
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E12679D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F0: R7 = ROT R7 BY 16
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 679D0E12 C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F1: DM(0x00407FF0) = R7
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 679D0E12 C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F2: R7 = ROT R7 BY 16
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E12679D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F3: DM(0x00407FF1) = R7
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E12679D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F4: R7 = R7 AND R1
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E12639D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F5: R7 = R7 XOR R2
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 01ED93A2 C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F6: IF NE, JUMP (0x000200EE)
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 01ED93A2 C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200EE: R7 = DM(0x02480000)
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E1E779D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200EF: R7 = R7
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E1E779D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F0: R7 = ROT R7 BY 16
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 779D0E1E C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F1: DM(0x00407FF0) = R7
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 779D0E1E C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F2: R7 = ROT R7 BY 16
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E1E779D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F3: DM(0x00407FF1) = R7
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E1E779D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F4: R7 = R7 AND R1
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 0E1E739D C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F5: R7 = R7 XOR R2
+0000EEE0 0FFFF3BF 0FFFF03F 00000000 BEA35400 3ED58C00 BEAD2400 01E183A2 C7F3EDD2 C75977FE 46D5F367 BF6BF4C6 00000000 3E9E884D 0200F6: IF NE, JUMP (0x000200EE)
 
    (loops for 738 instructions)

The interpreter read 0x0e13c79d while the recompiler read 0x0e12679d from location 0x02480000 in the DSP's data memory space. The debugger says this is:

02400000 - 027fffff: konppc_device::nwk_voodoo_r<Board>

Looking at the implementation, the offset is in the range that's always passed through to the Voodoo device. This is a pure virtual member function in the base class, and NWK-TR instantiates VOODOO_1, so it should be calling voodoo_1_device::read, then getting passed through to map_register_r. Does that mean it's reading the status register? If it is, the part that differs is the FIFO free space (316 vs 294). Possibly different due to timing differences, or is this a clue pointing to what's wrong?

The FIX instruction produces slightly different results between the interpreter and recompiler:

@@ -491574,100 +491116,100 @@
 3CC86856 3D493916 C3A381BF 00000000 C1000000 43E50000 00000001 40008554 C3833FBE 00000020 40000000 458DDA24 3F800000 00000000 021E1B: F11 = F1 * F5,  F7 = FIX F11 BY F13,  R2 = DM(0x05, I2)
 3CC86856 3D493916 C39C8AB0 00000000 C1000000 43E50000 00000001 000011BB C3833FBE 00000020 40000000 41B40011 3F800000 00000000 021E1C: JUMP (0x00021E20) (DB), F11 = F11 + F14
 3CC86856 3D493916 C39C8AB0 00000000 C1000000 43E50000 00000001 000011BB C3833FBE 00000020 40000000 45416800 3F800000 00000000 021E1D: R7 = FIX F11 BY R13,  DM(0x07, I1) = R7
-3CC86856 3D493916 C39C8AB0 00000000 C1000000 43E50000 00000001 00000C17 C3833FBE 00000020 40000000 45416800 3F800000 00000000 021E1E: R3 = PASS R3,  DM(0x08, I1) = R7
-3CC86856 3D493916 C39C8AB0 00000000 C1000000 43E50000 00000001 00000C17 C3833FBE 00000020 40000000 45416800 3F800000 00000000 021E20: IF NE, JUMP (0x00021E2F) (DB), ELSE F0 = RECIPS F2
-BB520000 3D493916 C39C8AB0 00000000 C1000000 43E50000 00000001 00000C17 C3833FBE 00000020 40000000 45416800 3F800000 00000000 021E21: F12 = F0 * F2,  R1 = DM(0x08, I0)
-BB520000 00000A8B C39C8AB0 00000000 C1000000 43E50000 00000001 00000C17 C3833FBE 00000020 40000000 45416800 3F8069C4 00000000 021E22: F7 = F0 * F4,  F0 = F10 - F12,  R2 = DM(0x08, I1)
-3F7F2C78 00000A8B 00000C17 00000000 C1000000 43E50000 00000001 3CD20000 C3833FBE 00000020 40000000 45416800 3F8069C4 00000000 021E23: F12 = F0 * F12,  R9 = I0
-3F7F2C78 00000A8B 00000C17 00000000 C1000000 43E50000 00000001 3CD20000 C3833FBE 000284B4 40000000 45416800 3F7FFF51 00000000 021E24: F7 = F0 * F7,  F0 = F10 - F12,  R14 = DM(0x12, I7)
-3F800058 00000A8B 00000C17 00000000 C1000000 43E50000 00000001 3CD1527A C3833FBE 000284B4 40000000 45416800 3F7FFF51 00000000 021E25: F12 = F0 * F12,  R5 = DM(0x15, I7)
-3F800058 00000A8B 00000C17 00000000 C1000000 43F70000 00000001 3CD1527A C3833FBE 000284B4 40000000 45416800 3F800000 00000000 021E26: F7 = F0 * F7,  F0 = F10 - F12,  R11 = DM(0x03, I2)
-3F800000 00000A8B 00000C17 00000000 C1000000 43F70000 00000001 3CD1530A C3833FBE 000284B4 40000000 C2406C8E 3F800000 00000000 021E27: F0 = F0 * F7,  R7 = DM(0x04, I2)
-3CD1530A 00000A8B 00000C17 00000000 C1000000 43F70000 00000001 4034CC28 C3833FBE 000284B4 40000000 C2406C8E 3F800000 00000000 021E28: F1 = F0 * F11,  DM(0x06, I2) = R0
-3CD1530A BF9D570B 00000C17 00000000 C1000000 43F70000 00000001 4034CC28 C3833FBE 000284B4 40000000 C2406C8E 3F800000 00000000 021E29: F11 = F1 * F5,  R5 = DM(0x17, I7)
-3CD1530A BF9D570B 00000C17 00000000 C1000000 43E50000 00000001 4034CC28 C3833FBE 000284B4 40000000 C417CEFC 3F800000 00000000 021E2A: F1 = F0 * F7,  F11 = F11 + F14,  R14 = DM(0x13, I7)
-3CD1530A 3D93D552 00000C17 00000000 C1000000 43E50000 00000001 4034CC28 C3833FBE 000284B4 40000000 455A0C41 3F800000 00000000 021E2B: F11 = F1 * F5,  F7 = FIX F11 BY F13,  R1 = DM(0x08, I0)
-3CD1530A 00000A8B 00000C17 00000000 C1000000 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 42043DD2 3F800000 00000000 021E2C: JUMP (0x00021E31) (DB), F11 = F11 + F14
-3CD1530A 00000A8B 00000C17 00000000 C1000000 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E2D: R3 = FIX F11 BY R13,  DM(0x07, I2) = R7
-3CD1530A 00000A8B 00000C17 00000C21 C1000000 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E2E: COMP(R1, R3),  DM(0x08, I2) = R3
-3CD1530A 00000A8B 00000C17 00000C21 C1000000 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E31: IF GT, I0 = I2
-3CD1530A 00000A8B 00000C17 00000C21 C1000000 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E32: IF GT, I2 = R9
-3CD1530A 00000A8B 00000C17 00000C21 C1000000 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E33: R4 = R15 - 1,  R1 = DM(0x08, I0)
-3CD1530A 00000A8B 00000C17 00000C21 FFFFFFFF 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E34: COMP(R1, R2),  R9 = I0
-3CD1530A 00000A8B 00000C17 00000C21 FFFFFFFF 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E35: IF GT, I0 = I1
-3CD1530A 00000A8B 00000C17 00000C21 FFFFFFFF 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E36: IF GT, I1 = R9
-3CD1530A 00000A8B 00000C17 00000C21 FFFFFFFF 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E37: R4 = R4 + R4,  R2 = DM(0x08, I1)
-3CD1530A 00000A8B 00000C17 00000C21 FFFFFFFE 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E38: R4 = R4 + R4,  R3 = DM(0x08, I2)
-3CD1530A 00000A8B 00000C17 00000C21 FFFFFFFC 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E39: COMP(R2, R3),  R9 = I1
-3CD1530A 00000A8B 00000C17 00000C21 FFFFFFFC 43E50000 00000001 00000DA1 C3833FBE 00028424 40000000 454210F7 3F800000 00000000 021E3A: I3 = 0x00029DEC
-3CD1530A 00000A8B 00000C17 00000C21 FFFFFFFC 43E50000 00000001 00000DA1 C3833FBE 00028424 40000000 454210F7 3F800000 00000000 021E3B: IF GT, I1 = I2
-3CD1530A 00000A8B 00000C17 00000C21 FFFFFFFC 43E50000 00000001 00000DA1 C3833FBE 00028424 40000000 454210F7 3F800000 00000000 021E3C: IF GT, I2 = R9
-3CD1530A 00000A8B 00000C17 00000C21 FFFFFFFC 43E50000 00000001 00000DA1 C3833FBE 00028424 40000000 454210F7 3F800000 00000000 021E3D: R14 = DM(0x00028214)
-3CD1530A 00000A8B 00000C17 00000C21 FFFFFFFC 43E50000 00000001 00000DA1 C3833FBE 00028424 40000000 454210F7 3F800000 00000000 021E3E: F6 = FLOAT R6,  R0 = DM(0x08, I0)
-00000A8B 00000A8B 00000C17 00000C21 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 00028424 40000000 454210F7 3F800000 00000000 021E3F: F0 = FLOAT R0 BY R4,  R9 = DM(0x08, I1)
-4328B000 00000A8B 00000C17 00000C21 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 00000C17 40000000 454210F7 3F800000 00000000 021E40: F9 = FLOAT R9 BY R4,  R13 = DM(0x08, I2)
-4328B000 00000A8B 00000C17 00000C21 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43417000 40000000 454210F7 3F800000 00000C21 021E41: F13 = FLOAT R13 BY R4,  R3 = DM(0x07, I0)
-4328B000 00000A8B 00000C17 00000DB1 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43417000 40000000 454210F7 3F800000 43421000 021E42: F3 = FLOAT R3 BY R4,  R11 = DM(0x07, I1)
-4328B000 00000A8B 00000C17 435B1000 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43417000 40000000 000011BB 3F800000 43421000 021E43: F11 = FLOAT R11 BY R4,  R12 = DM(0x07, I2)
-4328B000 00000A8B 00000C17 435B1000 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43417000 40000000 438DD800 00000DA1 43421000 021E44: F12 = FLOAT R12 BY R4,  R2 = DM(0x0B, I0)
-4328B000 00000A8B 425BAD2F 435B1000 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43417000 40000000 438DD800 435A1000 43421000 021E45: BIT TEST IRPTL 0x00020000
-4328B000 00000A8B 425BAD2F 435B1000 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43417000 40000000 438DD800 435A1000 43421000 021E46: IF NOT TF, JUMP (0x00021E45)
-4328B000 00000A8B 425BAD2F 435B1000 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43417000 40000000 438DD800 435A1000 43421000 021E47: F0 = F0 - F9,  DM(0x01, I3) = R0
-C1C60000 00000A8B 425BAD2F 435B1000 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43417000 40000000 438DD800 435A1000 43421000 021E48: F8 = F2 * F6,  F4 = F9 - F13,  DM(0x03, I3) = R9
-C1C60000 00000A8B 425BAD2F 435B1000 BF200000 43E50000 3F800000 00000DA1 425BAD2F 43417000 40000000 438DD800 435A1000 43421000 021E49: F1 = F3 - F11,  DM(0x05, I3) = R13
-C1C60000 C2814000 425BAD2F 435B1000 BF200000 43E50000 3F800000 00000DA1 425BAD2F 43417000 40000000 438DD800 435A1000 43421000 021E4A: F11 = F1 * F4,  F5 = F11 - F12,  DM(0x02, I3) = R11
-C1C60000 C2814000 425BAD2F 435B1000 BF200000 42834000 3F800000 00000DA1 425BAD2F 43417000 40000000 42219000 435A1000 43421000 021E4B: F13 = F0 * F5,  F8 = F8 + F14,  R2 = DM(0x0B, I1)
-C1C60000 C2814000 425BAD2F 435B1000 BF200000 42834000 3F800000 00000DA1 432EEB4C 43417000 40000000 42219000 435A1000 C4CB0700 021E4C: F9 = F2 * F6,  F7 = F11 - F13,  R2 = DM(0x0B, I2)
-C1C60000 C2814000 425BAD2F 435B1000 BF200000 42834000 3F800000 44D01380 432EEB4C 425BAD2F 40000000 42219000 435A1000 C4CB0700 021E4D: IF EQ, RTS, ELSE F11 = F2 * F6,  F9 = F9 + F14
-C1C60000 C2814000 425BAD2F 435B1000 BF200000 42834000 3F800000 44D01380 432EEB4C 432EEB4C 40000000 425BAD2F 435A1000 C4CB0700 021E4E: F11 = F11 + F14,  DM(0x00, I3) = R3
-C1C60000 C2814000 425BAD2F 435B1000 BF200000 42834000 3F800000 44D01380 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 C4CB0700 021E4F: F3 = RECIPS F7,  DM(0x04, I3) = R12
-C1C60000 C2814000 425BAD2F 3A1D0000 BF200000 42834000 3F800000 44D01380 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 C4CB0700 021E50: F6 = F3 * F7,  F8 = MAX(F8, F15),  R7 = R3
-C1C60000 C2814000 425BAD2F 3A1D0000 BF200000 42834000 3F7F37EB 3A1D0000 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 C4CB0700 021E51: F3 = F10 - F6,  R2 = DM(0x09, I2)
-C1C60000 C2814000 42872000 3F80640A BF200000 42834000 3F7F37EB 3A1D0000 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 C4CB0700 021E52: F14 = F3 * F6,  F9 = MAX(F9, F15),  R6 = DM(0x06, I2)
-C1C60000 C2814000 42872000 3F80640A BF200000 42834000 3CD1530A 3A1D0000 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 C4CB0700 021E53: F13 = F2 * F6,  F11 = MAX(F11, F15),  R15 = DM(0x0D, I6)
-C1C60000 C2814000 42872000 3F80640A BF200000 42834000 3CD1530A 3A1D0000 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 3FDCF9E9 021E54: F7 = F3 * F7,  F3 = F10 - F14,  R6 = R14
-C1C60000 C2814000 42872000 3F80004E BF200000 42834000 3F7FFF63 3A1D7AB4 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 3FDCF9E9 021E55: F14 = F3 * F6,  F8 = MIN(F8, F15),  R2 = DM(0x09, I0)
-C1C60000 C2814000 425A0000 3F80004E BF200000 42834000 3F7FFF63 3A1D7AB4 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 3FDCF9E9 021E56: F7 = F3 * F7,  F3 = F10 - F14,  R6 = DM(0x06, I0)
-C1C60000 C2814000 425A0000 3F800000 BF200000 42834000 3CDB80DE 3A1D7B14 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 3FDCF9E9 021E57: F7 = F3 * F7,  F12 = MIN(F9, F15),  R3 = DM(0x09, I1)
-C1C60000 C2814000 425A0000 43184000 BF200000 42834000 3CDB80DE 3A1D7B14 432EEB4C 432EEB4C 40000000 432EEB4C 432EEB4C 3FDCF9E9 021E58: F11 = F2 * F6,  F15 = MIN(F11, F15),  R6 = DM(0x06, I1)
-C1C60000 C2814000 425A0000 43184000 BF200000 42834000 3CC86856 3A1D7B14 432EEB4C 432EEB4C 40000000 3FBAEBBD 432EEB4C 3FDCF9E9 021E59: F12 = F3 * F6,  F2 = F8 - F12,  R9 = R12
-C1C60000 C2814000 00000000 43184000 BF200000 42834000 3CC86856 3A1D7B14 432EEB4C 432EEB4C 40000000 3FBAEBBD 406E601A 3FDCF9E9 021E5A: F9 = F2 * F4,  F6 = F9 - F15,  R15 = DM(0x06, I2)
-C1C60000 C2814000 00000000 43184000 BF200000 42834000 00000000 3A1D7B14 432EEB4C 80000000 40000000 3FBAEBBD 406E601A 3FDCF9E9 021E5B: F14 = F0 * F6,  DM(0x12, I3) = R8
-C1C60000 C2814000 00000000 43184000 BF200000 42834000 00000000 3A1D7B14 432EEB4C 80000000 40000000 3FBAEBBD 406E601A 3FDCF9E9 021E5C: F9 = F1 * F6,  F3 = F9 - F14,  R14 = DM(0x06, I1)
-C1C60000 C2814000 00000000 00000000 BF200000 42834000 00000000 3A1D7B14 432EEB4C 80000000 40000000 3FBAEBBD 406E601A 3FDCF9E9 021E5D: F3 = F3 * F7,  R8 = DM(0x06, I0)
-C1C60000 C2814000 00000000 00000000 BF200000 42834000 00000000 3A1D7B14 3CDB80DE 80000000 40000000 3FBAEBBD 406E601A 3FDCF9E9 021E5E: F14 = F2 * F5,  F2 = F8 - F14,  R10 = R14
-C1C60000 C2814000 3B18C440 00000000 BF200000 42834000 00000000 3A1D7B14 3CDB80DE 80000000 3CC86856 3FBAEBBD 406E601A 3FDCF9E9 021E5F: F9 = F2 * F4,  F3 = F9 - F14,  DM(0x13, I3) = R3
-C1C60000 C2814000 3B18C440 80000000 BF200000 42834000 00000000 3A1D7B14 3CDB80DE BABEF550 3CC86856 3FBAEBBD 406E601A 3FDCF9E9 021E60: F3 = F3 * F7,  F6 = F10 - F15
-C1C60000 C2814000 3B18C440 80000000 BF200000 42834000 BA8EAB40 3A1D7B14 3CDB80DE BABEF550 3CC86856 3FBAEBBD 406E601A 3FDCF9E9 021E61: F14 = F0 * F6,  DM(0x1B, I3) = R8
-C1C60000 C2814000 3B18C440 80000000 BF200000 42834000 BA8EAB40 3A1D7B14 3CDB80DE BABEF550 3CC86856 3FBAEBBD 406E601A 3FDCF9E9 021E62: F9 = F1 * F6,  F3 = F9 - F14,  DM(0x14, I3) = R3
-C1C60000 C2814000 3B18C440 BCE8A03C BF200000 42834000 BA8EAB40 3A1D7B14 3CDB80DE 3D900FEC 3CC86856 3FBAEBBD 406E601A 3FDCF9E9 021E63: F3 = F3 * F7,  DM(0x15, I3) = R11
-C1C60000 C2814000 3B18C440 B78F1A1C BF200000 42834000 BA8EAB40 3A1D7B14 3CDB80DE 3D900FEC 3CC86856 3FBAEBBD 406E601A 3FDCF9E9 021E64: F14 = F2 * F5,  F2 = F11 - F12,  DM(0x1C, I3) = R3
-C1C60000 C2814000 C010EA3C B78F1A1C BF200000 42834000 BA8EAB40 3A1D7B14 3CDB80DE 3D900FEC 3CC86856 3FBAEBBD 406E601A 3FDCF9E9 021E65: F9 = F2 * F4,  F3 = F9 - F14,  R11 = R12
-C1C60000 C2814000 C010EA3C BDA93A8C BF200000 42834000 BA8EAB40 3A1D7B14 3CDB80DE 3FB524CB 3CC86856 406E601A 406E601A 3FDCF9E9 021E66: F3 = F3 * F7,  F6 = F11 - F13,  R11 = DM(0x0A, I0)
-C1C60000 C2814000 C010EA3C B8503488 BF200000 42834000 3FFFC64B 3A1D7B14 3CDB80DE 3FB524CB 3CC86856 C3388000 406E601A 3FDCF9E9 021E67: F11 = F11 * F8,  R12 = DM(0x0A, I1)
-C1C60000 C2814000 C010EA3C B8503488 BF200000 42834000 3FFFC64B 3A1D7B14 3CDB80DE 3FB524CB 3CC86856 C09E3260 C3338000 3FDCF9E9 021E68: F12 = F12 * F10,  R13 = DM(0x0A, I2)
-C1C60000 C2814000 C010EA3C B8503488 BF200000 42834000 3FFFC64B 3A1D7B14 3CDB80DE 3FB524CB 3CC86856 C09E3260 C08C8528 C3176000 021E69: F13 = F13 * F15,  DM(0x1D, I3) = R3
-C1C60000 C2814000 C010EA3C B8503488 BF200000 42834000 3FFFC64B 3A1D7B14 3CDB80DE 3FB524CB 3CC86856 C09E3260 C08C8528 C0778CF4 021E6A: F14 = F0 * F6,  DM(0x18, I3) = R11
-C1C60000 C2814000 C010EA3C B8503488 BF200000 42834000 3FFFC64B 3A1D7B14 3CDB80DE 3FB524CB 3CC86856 C09E3260 C08C8528 C0778CF4 021E6B: F9 = F1 * F6,  F3 = F9 - F14,  R14 = DM(-0x01, I7)
-C1C60000 C2814000 C010EA3C 424B7C84 BF200000 42834000 3FFFC64B 3A1D7B14 3CDB80DE C30122DD 3CC86856 C09E3260 C08C8528 C0778CF4 021E6C: R14 = R14 + 1,  DM(0x1E, I3) = R7
-C1C60000 C2814000 C010EA3C 424B7C84 BF200000 42834000 3FFFC64B 3A1D7B14 3CDB80DE C30122DD 3CC86856 C09E3260 C08C8528 C0778CF4 021E6D: F3 = F3 * F7,  DM(-0x01, I7) = R14
-C1C60000 C2814000 C010EA3C 3CFA5A63 BF200000 42834000 3FFFC64B 3A1D7B14 3CDB80DE C30122DD 3CC86856 C09E3260 C08C8528 C0778CF4 021E6E: F14 = F2 * F5,  F2 = F11 - F12,  DM(0x16, I3) = R3
-C1C60000 C2814000 BF0D69C0 3CFA5A63 BF200000 42834000 3FFFC64B 3A1D7B14 3CDB80DE C30122DD 3CC86856 C09E3260 C08C8528 C0778CF4 021E6F: F9 = F2 * F4,  F3 = F9 - F14,  R10 = DM(0x19, I6)
-C1C60000 C2814000 BF0D69C0 419BAA90 BF200000 42834000 3FFFC64B 3A1D7B14 3CDB80DE 3EB0C430 00000207 C09E3260 C08C8528 C0778CF4 021E70: F3 = F3 * F7,  R11 = DM(0x1A, I6)
-C1C60000 C2814000 BF0D69C0 3C3F84E3 BF200000 42834000 3FFFC64B 3A1D7B14 3CDB80DE 3EB0C430 00000207 00008397 C08C8528 C0778CF4 021E71: F6 = F12 - F13,  DM(-0x13, I5) = R10
-C1C60000 C2814000 BF0D69C0 3C3F84E3 BF200000 42834000 BF05F570 3A1D7B14 3CDB80DE 3EB0C430 00000207 00008397 C08C8528 C0778CF4 021E72: F14 = F0 * F6,  DM(0x17, I3) = R3
-C1C60000 C2814000 BF0D69C0 3C3F84E3 BF200000 42834000 BF05F570 3A1D7B14 3CDB80DE 3EB0C430 00000207 00008397 C08C8528 C0778CF4 021E73: F9 = F1 * F6,  F4 = F9 - F14,  R13 = DM(-0x0F, I7)
-C1C60000 C2814000 BF0D69C0 3C3F84E3 C149B188 42834000 BF05F570 3A1D7B14 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E74: F4 = F4 * F7,  I2 = R13
-C1C60000 C2814000 BF0D69C0 3C3F84E3 BBF825B1 42834000 BF05F570 3A1D7B14 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E75: F14 = F2 * F5,  DM(0x19, I3) = R4
-C1C60000 C2814000 BF0D69C0 3C3F84E3 BBF825B1 42834000 BF05F570 3A1D7B14 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E76: F3 = F9 - F14
-C1C60000 C2814000 BF0D69C0 428C22A2 BBF825B1 42834000 BF05F570 3A1D7B14 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E77: BIT CLEAR IRPTL 0x00020000
-C1C60000 C2814000 BF0D69C0 428C22A2 BBF825B1 42834000 BF05F570 3A1D7B14 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E78: R13 = PASS R13
-C1C60000 C2814000 BF0D69C0 428C22A2 BBF825B1 42834000 BF05F570 3A1D7B14 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E79: IF EQ, DM(0x1B, I5) = R11
-C1C60000 C2814000 BF0D69C0 428C22A2 BBF825B1 42834000 BF05F570 3A1D7B14 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E7A: IF EQ, RTS (DB), ELSE R13 = R13 XOR R13
-C1C60000 C2814000 BF0D69C0 428C22A2 BBF825B1 42834000 BF05F570 3A1D7B14 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E7B: F3 = F3 * F7,  DM(-0x0F, I7) = R13
-C1C60000 C2814000 BF0D69C0 3D2C693A BBF825B1 42834000 BF05F570 3A1D7B14 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E7C: DM(0x0000001A, I3) = R3
-C1C60000 C2814000 BF0D69C0 3D2C693A BBF825B1 42834000 BF05F570 3A1D7B14 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 022252: BIT CLEAR MODE1 0x00000480
-C1C60000 C2814000 BF0D69C0 3D2C693A BBF825B1 42834000 BF05F570 3A1D7B14 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 022253: NOP
+3CC86856 3D493916 C39C8AB0 00000000 C1000000 43E50000 00000001 00000C16 C3833FBE 00000020 40000000 45416800 3F800000 00000000 021E1E: R3 = PASS R3,  DM(0x08, I1) = R7
+3CC86856 3D493916 C39C8AB0 00000000 C1000000 43E50000 00000001 00000C16 C3833FBE 00000020 40000000 45416800 3F800000 00000000 021E20: IF NE, JUMP (0x00021E2F) (DB), ELSE F0 = RECIPS F2
+BB520000 3D493916 C39C8AB0 00000000 C1000000 43E50000 00000001 00000C16 C3833FBE 00000020 40000000 45416800 3F800000 00000000 021E21: F12 = F0 * F2,  R1 = DM(0x08, I0)
+BB520000 00000A8B C39C8AB0 00000000 C1000000 43E50000 00000001 00000C16 C3833FBE 00000020 40000000 45416800 3F8069C4 00000000 021E22: F7 = F0 * F4,  F0 = F10 - F12,  R2 = DM(0x08, I1)
+3F7F2C78 00000A8B 00000C16 00000000 C1000000 43E50000 00000001 3CD20000 C3833FBE 00000020 40000000 45416800 3F8069C4 00000000 021E23: F12 = F0 * F12,  R9 = I0
+3F7F2C78 00000A8B 00000C16 00000000 C1000000 43E50000 00000001 3CD20000 C3833FBE 000284B4 40000000 45416800 3F7FFF51 00000000 021E24: F7 = F0 * F7,  F0 = F10 - F12,  R14 = DM(0x12, I7)
+3F800058 00000A8B 00000C16 00000000 C1000000 43E50000 00000001 3CD1527A C3833FBE 000284B4 40000000 45416800 3F7FFF51 00000000 021E25: F12 = F0 * F12,  R5 = DM(0x15, I7)
+3F800058 00000A8B 00000C16 00000000 C1000000 43F70000 00000001 3CD1527A C3833FBE 000284B4 40000000 45416800 3F800000 00000000 021E26: F7 = F0 * F7,  F0 = F10 - F12,  R11 = DM(0x03, I2)
+3F800000 00000A8B 00000C16 00000000 C1000000 43F70000 00000001 3CD1530A C3833FBE 000284B4 40000000 C2406C8E 3F800000 00000000 021E27: F0 = F0 * F7,  R7 = DM(0x04, I2)
+3CD1530A 00000A8B 00000C16 00000000 C1000000 43F70000 00000001 4034CC28 C3833FBE 000284B4 40000000 C2406C8E 3F800000 00000000 021E28: F1 = F0 * F11,  DM(0x06, I2) = R0
+3CD1530A BF9D570B 00000C16 00000000 C1000000 43F70000 00000001 4034CC28 C3833FBE 000284B4 40000000 C2406C8E 3F800000 00000000 021E29: F11 = F1 * F5,  R5 = DM(0x17, I7)
+3CD1530A BF9D570B 00000C16 00000000 C1000000 43E50000 00000001 4034CC28 C3833FBE 000284B4 40000000 C417CEFC 3F800000 00000000 021E2A: F1 = F0 * F7,  F11 = F11 + F14,  R14 = DM(0x13, I7)
+3CD1530A 3D93D552 00000C16 00000000 C1000000 43E50000 00000001 4034CC28 C3833FBE 000284B4 40000000 455A0C41 3F800000 00000000 021E2B: F11 = F1 * F5,  F7 = FIX F11 BY F13,  R1 = DM(0x08, I0)
+3CD1530A 00000A8B 00000C16 00000000 C1000000 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 42043DD2 3F800000 00000000 021E2C: JUMP (0x00021E31) (DB), F11 = F11 + F14
+3CD1530A 00000A8B 00000C16 00000000 C1000000 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E2D: R3 = FIX F11 BY R13,  DM(0x07, I2) = R7
+3CD1530A 00000A8B 00000C16 00000C21 C1000000 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E2E: COMP(R1, R3),  DM(0x08, I2) = R3
+3CD1530A 00000A8B 00000C16 00000C21 C1000000 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E31: IF GT, I0 = I2
+3CD1530A 00000A8B 00000C16 00000C21 C1000000 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E32: IF GT, I2 = R9
+3CD1530A 00000A8B 00000C16 00000C21 C1000000 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E33: R4 = R15 - 1,  R1 = DM(0x08, I0)
+3CD1530A 00000A8B 00000C16 00000C21 FFFFFFFF 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E34: COMP(R1, R2),  R9 = I0
+3CD1530A 00000A8B 00000C16 00000C21 FFFFFFFF 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E35: IF GT, I0 = I1
+3CD1530A 00000A8B 00000C16 00000C21 FFFFFFFF 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E36: IF GT, I1 = R9
+3CD1530A 00000A8B 00000C16 00000C21 FFFFFFFF 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E37: R4 = R4 + R4,  R2 = DM(0x08, I1)
+3CD1530A 00000A8B 00000C16 00000C21 FFFFFFFE 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E38: R4 = R4 + R4,  R3 = DM(0x08, I2)
+3CD1530A 00000A8B 00000C16 00000C21 FFFFFFFC 43E50000 00000001 00000DA1 C3833FBE 000284B4 40000000 454210F7 3F800000 00000000 021E39: COMP(R2, R3),  R9 = I1
+3CD1530A 00000A8B 00000C16 00000C21 FFFFFFFC 43E50000 00000001 00000DA1 C3833FBE 00028424 40000000 454210F7 3F800000 00000000 021E3A: I3 = 0x00029DEC
+3CD1530A 00000A8B 00000C16 00000C21 FFFFFFFC 43E50000 00000001 00000DA1 C3833FBE 00028424 40000000 454210F7 3F800000 00000000 021E3B: IF GT, I1 = I2
+3CD1530A 00000A8B 00000C16 00000C21 FFFFFFFC 43E50000 00000001 00000DA1 C3833FBE 00028424 40000000 454210F7 3F800000 00000000 021E3C: IF GT, I2 = R9
+3CD1530A 00000A8B 00000C16 00000C21 FFFFFFFC 43E50000 00000001 00000DA1 C3833FBE 00028424 40000000 454210F7 3F800000 00000000 021E3D: R14 = DM(0x00028214)
+3CD1530A 00000A8B 00000C16 00000C21 FFFFFFFC 43E50000 00000001 00000DA1 C3833FBE 00028424 40000000 454210F7 3F800000 00000000 021E3E: F6 = FLOAT R6,  R0 = DM(0x08, I0)
+00000A8B 00000A8B 00000C16 00000C21 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 00028424 40000000 454210F7 3F800000 00000000 021E3F: F0 = FLOAT R0 BY R4,  R9 = DM(0x08, I1)
+4328B000 00000A8B 00000C16 00000C21 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 00000C16 40000000 454210F7 3F800000 00000000 021E40: F9 = FLOAT R9 BY R4,  R13 = DM(0x08, I2)
+4328B000 00000A8B 00000C16 00000C21 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43416000 40000000 454210F7 3F800000 00000C21 021E41: F13 = FLOAT R13 BY R4,  R3 = DM(0x07, I0)
+4328B000 00000A8B 00000C16 00000DB1 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43416000 40000000 454210F7 3F800000 43421000 021E42: F3 = FLOAT R3 BY R4,  R11 = DM(0x07, I1)
+4328B000 00000A8B 00000C16 435B1000 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43416000 40000000 000011BB 3F800000 43421000 021E43: F11 = FLOAT R11 BY R4,  R12 = DM(0x07, I2)
+4328B000 00000A8B 00000C16 435B1000 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43416000 40000000 438DD800 00000DA1 43421000 021E44: F12 = FLOAT R12 BY R4,  R2 = DM(0x0B, I0)
+4328B000 00000A8B 425BAD2F 435B1000 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43416000 40000000 438DD800 435A1000 43421000 021E45: BIT TEST IRPTL 0x00020000
+4328B000 00000A8B 425BAD2F 435B1000 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43416000 40000000 438DD800 435A1000 43421000 021E46: IF NOT TF, JUMP (0x00021E45)
+4328B000 00000A8B 425BAD2F 435B1000 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43416000 40000000 438DD800 435A1000 43421000 021E47: F0 = F0 - F9,  DM(0x01, I3) = R0
+C1C58000 00000A8B 425BAD2F 435B1000 FFFFFFFC 43E50000 3F800000 00000DA1 C3833FBE 43416000 40000000 438DD800 435A1000 43421000 021E48: F8 = F2 * F6,  F4 = F9 - F13,  DM(0x03, I3) = R9
+C1C58000 00000A8B 425BAD2F 435B1000 BF300000 43E50000 3F800000 00000DA1 425BAD2F 43416000 40000000 438DD800 435A1000 43421000 021E49: F1 = F3 - F11,  DM(0x05, I3) = R13
+C1C58000 C2814000 425BAD2F 435B1000 BF300000 43E50000 3F800000 00000DA1 425BAD2F 43416000 40000000 438DD800 435A1000 43421000 021E4A: F11 = F1 * F4,  F5 = F11 - F12,  DM(0x02, I3) = R11
+C1C58000 C2814000 425BAD2F 435B1000 BF300000 42834000 3F800000 00000DA1 425BAD2F 43416000 40000000 4231B800 435A1000 43421000 021E4B: F13 = F0 * F5,  F8 = F8 + F14,  R2 = DM(0x0B, I1)
+C1C58000 C2814000 425BAD2F 435B1000 BF300000 42834000 3F800000 00000DA1 432EEB4C 43416000 40000000 4231B800 435A1000 C4CA83C0 021E4C: F9 = F2 * F6,  F7 = F11 - F13,  R2 = DM(0x0B, I2)
+C1C58000 C2814000 425BAD2F 435B1000 BF300000 42834000 3F800000 44D01180 432EEB4C 425BAD2F 40000000 4231B800 435A1000 C4CA83C0 021E4D: IF EQ, RTS, ELSE F11 = F2 * F6,  F9 = F9 + F14
+C1C58000 C2814000 425BAD2F 435B1000 BF300000 42834000 3F800000 44D01180 432EEB4C 432EEB4C 40000000 425BAD2F 435A1000 C4CA83C0 021E4E: F11 = F11 + F14,  DM(0x00, I3) = R3
+C1C58000 C2814000 425BAD2F 435B1000 BF300000 42834000 3F800000 44D01180 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 C4CA83C0 021E4F: F3 = RECIPS F7,  DM(0x04, I3) = R12
+C1C58000 C2814000 425BAD2F 3A1D0000 BF300000 42834000 3F800000 44D01180 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 C4CA83C0 021E50: F6 = F3 * F7,  F8 = MAX(F8, F15),  R7 = R3
+C1C58000 C2814000 425BAD2F 3A1D0000 BF300000 42834000 3F7F3577 3A1D0000 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 C4CA83C0 021E51: F3 = F10 - F6,  R2 = DM(0x09, I2)
+C1C58000 C2814000 42872000 3F806544 BF300000 42834000 3F7F3577 3A1D0000 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 C4CA83C0 021E52: F14 = F3 * F6,  F9 = MAX(F9, F15),  R6 = DM(0x06, I2)
+C1C58000 C2814000 42872000 3F806544 BF300000 42834000 3CD1530A 3A1D0000 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 C4CA83C0 021E53: F13 = F2 * F6,  F11 = MAX(F11, F15),  R15 = DM(0x0D, I6)
+C1C58000 C2814000 42872000 3F806544 BF300000 42834000 3CD1530A 3A1D0000 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 3FDCF9E9 021E54: F7 = F3 * F7,  F3 = F10 - F14,  R6 = R14
+C1C58000 C2814000 42872000 3F800050 BF300000 42834000 3F7FFF5F 3A1D7C35 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 3FDCF9E9 021E55: F14 = F3 * F6,  F8 = MIN(F8, F15),  R2 = DM(0x09, I0)
+C1C58000 C2814000 425A0000 3F800050 BF300000 42834000 3F7FFF5F 3A1D7C35 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 3FDCF9E9 021E56: F7 = F3 * F7,  F3 = F10 - F14,  R6 = DM(0x06, I0)
+C1C58000 C2814000 425A0000 3F800000 BF300000 42834000 3CDB80DE 3A1D7C97 432EEB4C 432EEB4C 40000000 432EEB4C 435A1000 3FDCF9E9 021E57: F7 = F3 * F7,  F12 = MIN(F9, F15),  R3 = DM(0x09, I1)
+C1C58000 C2814000 425A0000 43184000 BF300000 42834000 3CDB80DE 3A1D7C97 432EEB4C 432EEB4C 40000000 432EEB4C 432EEB4C 3FDCF9E9 021E58: F11 = F2 * F6,  F15 = MIN(F11, F15),  R6 = DM(0x06, I1)
+C1C58000 C2814000 425A0000 43184000 BF300000 42834000 3CC86856 3A1D7C97 432EEB4C 432EEB4C 40000000 3FBAEBBD 432EEB4C 3FDCF9E9 021E59: F12 = F3 * F6,  F2 = F8 - F12,  R9 = R12
+C1C58000 C2814000 00000000 43184000 BF300000 42834000 3CC86856 3A1D7C97 432EEB4C 432EEB4C 40000000 3FBAEBBD 406E601A 3FDCF9E9 021E5A: F9 = F2 * F4,  F6 = F9 - F15,  R15 = DM(0x06, I2)
+C1C58000 C2814000 00000000 43184000 BF300000 42834000 00000000 3A1D7C97 432EEB4C 80000000 40000000 3FBAEBBD 406E601A 3FDCF9E9 021E5B: F14 = F0 * F6,  DM(0x12, I3) = R8
+C1C58000 C2814000 00000000 43184000 BF300000 42834000 00000000 3A1D7C97 432EEB4C 80000000 40000000 3FBAEBBD 406E601A 3FDCF9E9 021E5C: F9 = F1 * F6,  F3 = F9 - F14,  R14 = DM(0x06, I1)
+C1C58000 C2814000 00000000 00000000 BF300000 42834000 00000000 3A1D7C97 432EEB4C 80000000 40000000 3FBAEBBD 406E601A 3FDCF9E9 021E5D: F3 = F3 * F7,  R8 = DM(0x06, I0)
+C1C58000 C2814000 00000000 00000000 BF300000 42834000 00000000 3A1D7C97 3CDB80DE 80000000 40000000 3FBAEBBD 406E601A 3FDCF9E9 021E5E: F14 = F2 * F5,  F2 = F8 - F14,  R10 = R14
+C1C58000 C2814000 3B18C440 00000000 BF300000 42834000 00000000 3A1D7C97 3CDB80DE 80000000 3CC86856 3FBAEBBD 406E601A 3FDCF9E9 021E5F: F9 = F2 * F4,  F3 = F9 - F14,  DM(0x13, I3) = R3
+C1C58000 C2814000 3B18C440 80000000 BF300000 42834000 00000000 3A1D7C97 3CDB80DE BAD20DD8 3CC86856 3FBAEBBD 406E601A 3FDCF9E9 021E60: F3 = F3 * F7,  F6 = F10 - F15
+C1C58000 C2814000 3B18C440 80000000 BF300000 42834000 BA8EAB40 3A1D7C97 3CDB80DE BAD20DD8 3CC86856 3FBAEBBD 406E601A 3FDCF9E9 021E61: F14 = F0 * F6,  DM(0x1B, I3) = R8
+C1C58000 C2814000 3B18C440 80000000 BF300000 42834000 BA8EAB40 3A1D7C97 3CDB80DE BAD20DD8 3CC86856 3FBAEBBD 406E601A 3FDCF9E9 021E62: F9 = F1 * F6,  F3 = F9 - F14,  DM(0x14, I3) = R3
+C1C58000 C2814000 3B18C440 BCE9431A BF300000 42834000 BA8EAB40 3A1D7C97 3CDB80DE 3D900FEC 3CC86856 3FBAEBBD 406E601A 3FDCF9E9 021E63: F3 = F3 * F7,  DM(0x15, I3) = R11
+C1C58000 C2814000 3B18C440 B78F7FAD BF300000 42834000 BA8EAB40 3A1D7C97 3CDB80DE 3D900FEC 3CC86856 3FBAEBBD 406E601A 3FDCF9E9 021E64: F14 = F2 * F5,  F2 = F11 - F12,  DM(0x1C, I3) = R3
+C1C58000 C2814000 C010EA3C B78F7FAD BF300000 42834000 BA8EAB40 3A1D7C97 3CDB80DE 3D900FEC 3CC86856 3FBAEBBD 406E601A 3FDCF9E9 021E65: F9 = F2 * F4,  F3 = F9 - F14,  R11 = R12
+C1C58000 C2814000 C010EA3C BDA93A8C BF300000 42834000 BA8EAB40 3A1D7C97 3CDB80DE 3FC74212 3CC86856 406E601A 406E601A 3FDCF9E9 021E66: F3 = F3 * F7,  F6 = F11 - F13,  R11 = DM(0x0A, I0)
+C1C58000 C2814000 C010EA3C B8503688 BF300000 42834000 3FFFC64B 3A1D7C97 3CDB80DE 3FC74212 3CC86856 C3388000 406E601A 3FDCF9E9 021E67: F11 = F11 * F8,  R12 = DM(0x0A, I1)
+C1C58000 C2814000 C010EA3C B8503688 BF300000 42834000 3FFFC64B 3A1D7C97 3CDB80DE 3FC74212 3CC86856 C09E3260 C3338000 3FDCF9E9 021E68: F12 = F12 * F10,  R13 = DM(0x0A, I2)
+C1C58000 C2814000 C010EA3C B8503688 BF300000 42834000 3FFFC64B 3A1D7C97 3CDB80DE 3FC74212 3CC86856 C09E3260 C08C8528 C3176000 021E69: F13 = F13 * F15,  DM(0x1D, I3) = R3
+C1C58000 C2814000 C010EA3C B8503688 BF300000 42834000 3FFFC64B 3A1D7C97 3CDB80DE 3FC74212 3CC86856 C09E3260 C08C8528 C0778CF4 021E6A: F14 = F0 * F6,  DM(0x18, I3) = R11
+C1C58000 C2814000 C010EA3C B8503688 BF300000 42834000 3FFFC64B 3A1D7C97 3CDB80DE 3FC74212 3CC86856 C09E3260 C08C8528 C0778CF4 021E6B: F9 = F1 * F6,  F3 = F9 - F14,  R14 = DM(-0x01, I7)
+C1C58000 C2814000 C010EA3C 424B8D8C BF300000 42834000 3FFFC64B 3A1D7C97 3CDB80DE C30122DD 3CC86856 C09E3260 C08C8528 C0778CF4 021E6C: R14 = R14 + 1,  DM(0x1E, I3) = R7
+C1C58000 C2814000 C010EA3C 424B8D8C BF300000 42834000 3FFFC64B 3A1D7C97 3CDB80DE C30122DD 3CC86856 C09E3260 C08C8528 C0778CF4 021E6D: F3 = F3 * F7,  DM(-0x01, I7) = R14
+C1C58000 C2814000 C010EA3C 3CFA71BF BF300000 42834000 3FFFC64B 3A1D7C97 3CDB80DE C30122DD 3CC86856 C09E3260 C08C8528 C0778CF4 021E6E: F14 = F2 * F5,  F2 = F11 - F12,  DM(0x16, I3) = R3
+C1C58000 C2814000 BF0D69C0 3CFA71BF BF300000 42834000 3FFFC64B 3A1D7C97 3CDB80DE C30122DD 3CC86856 C09E3260 C08C8528 C0778CF4 021E6F: F9 = F2 * F4,  F3 = F9 - F14,  R10 = DM(0x19, I6)
+C1C58000 C2814000 BF0D69C0 419BAA90 BF300000 42834000 3FFFC64B 3A1D7C97 3CDB80DE 3EC27168 00000207 C09E3260 C08C8528 C0778CF4 021E70: F3 = F3 * F7,  R11 = DM(0x1A, I6)
+C1C58000 C2814000 BF0D69C0 3C3F86B9 BF300000 42834000 3FFFC64B 3A1D7C97 3CDB80DE 3EC27168 00000207 00008397 C08C8528 C0778CF4 021E71: F6 = F12 - F13,  DM(-0x13, I5) = R10
+C1C58000 C2814000 BF0D69C0 3C3F86B9 BF300000 42834000 BF05F570 3A1D7C97 3CDB80DE 3EC27168 00000207 00008397 C08C8528 C0778CF4 021E72: F14 = F0 * F6,  DM(0x17, I3) = R3
+C1C58000 C2814000 BF0D69C0 3C3F86B9 BF300000 42834000 BF05F570 3A1D7C97 3CDB80DE 3EC27168 00000207 00008397 C08C8528 C0778CF4 021E73: F9 = F1 * F6,  F4 = F9 - F14,  R13 = DM(-0x0F, I7)
+C1C58000 C2814000 BF0D69C0 3C3F86B9 C1489E29 42834000 BF05F570 3A1D7C97 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E74: F4 = F4 * F7,  I2 = R13
+C1C58000 C2814000 BF0D69C0 3C3F86B9 BBF6D544 42834000 BF05F570 3A1D7C97 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E75: F14 = F2 * F5,  DM(0x19, I3) = R4
+C1C58000 C2814000 BF0D69C0 3C3F86B9 BBF6D544 42834000 BF05F570 3A1D7C97 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E76: F3 = F9 - F14
+C1C58000 C2814000 BF0D69C0 428C22A2 BBF6D544 42834000 BF05F570 3A1D7C97 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E77: BIT CLEAR IRPTL 0x00020000
+C1C58000 C2814000 BF0D69C0 428C22A2 BBF6D544 42834000 BF05F570 3A1D7C97 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E78: R13 = PASS R13
+C1C58000 C2814000 BF0D69C0 428C22A2 BBF6D544 42834000 BF05F570 3A1D7C97 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E79: IF EQ, DM(0x1B, I5) = R11
+C1C58000 C2814000 BF0D69C0 428C22A2 BBF6D544 42834000 BF05F570 3A1D7C97 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E7A: IF EQ, RTS (DB), ELSE R13 = R13 XOR R13
+C1C58000 C2814000 BF0D69C0 428C22A2 BBF6D544 42834000 BF05F570 3A1D7C97 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E7B: F3 = F3 * F7,  DM(-0x0F, I7) = R13
+C1C58000 C2814000 BF0D69C0 3D2C6AE2 BBF6D544 42834000 BF05F570 3A1D7C97 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 021E7C: DM(0x0000001A, I3) = R3
+C1C58000 C2814000 BF0D69C0 3D2C6AE2 BBF6D544 42834000 BF05F570 3A1D7C97 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 022252: BIT CLEAR MODE1 0x00000480
+C1C58000 C2814000 BF0D69C0 3D2C6AE2 BBF6D544 42834000 BF05F570 3A1D7C97 3CDB80DE 42074456 00000207 00008397 C08C8528 00000000 022253: NOP
 C2680000 42E60000 C2340000 C39C8AB0 BE983895 3E291129 BF689901 BE997838 404BB000 C29601C0 C3CE5A00 C3A34938 4157D10F 80380004 022254: R14 = FEXT R13 BY 0:32
 C2680000 42E60000 C2340000 C39C8AB0 BE983895 3E291129 BF689901 BE997838 404BB000 C29601C0 C3CE5A00 C3A34938 4157D10F 80380004 022255: IF SZ, JUMP (M8, I10), ELSE R1 = R1 XOR R1
 C2680000 00000000 C2340000 C39C8AB0 BE983895 3E291129 BF689901 BE997838 404BB000 C29601C0 C3CE5A00 C3A34938 4157D10F 80380004 022256: BTST R13 BY 30,  R11 = DM(I6, M1)

The difference is that the interpreter rounds the midpoint away from zero while the recompiler rounds the midpoint towards the nearest even number. I believe the recompiler is correct, as the SHARC instruction set manual says it uses IEEE round to nearest, which specifies that the midpoint is rounded to the nearest even number. However, implementing this in C++ is pain, so I haven't changed the interpreter. I honestly doubt a 1LSB difference is causing the bad polygons here anyway.

Then you get knock-on effects of these 1LSB differences later, for example:

@@ -491790,98 +491332,98 @@
 441D0AB0 3F56A338 C39C8AB0 00000000 C1000000 C39C8AB0 00000001 C1800000 C38AA38D 00000020 40000000 00008397 C41C8AB0 00000000 021E1F: R3 = PASS R3,  R2 = DM(0x05, I2)
 441D0AB0 3F56A338 C3A55B10 00000000 C1000000 C39C8AB0 00000001 C1800000 C38AA38D 00000020 40000000 00008397 C41C8AB0 00000000 021E20: IF NE, JUMP (0x00021E2F) (DB), ELSE F0 = RECIPS F2
 BB460000 3F56A338 C3A55B10 00000000 C1000000 C39C8AB0 00000001 C1800000 C38AA38D 00000020 40000000 00008397 C41C8AB0 00000000 021E21: F12 = F0 * F2,  R1 = DM(0x08, I0)
-BB460000 00000C17 C3A55B10 00000000 C1000000 C39C8AB0 00000001 C1800000 C38AA38D 00000020 40000000 00008397 3F7FC8DD 00000000 021E22: F7 = F0 * F4,  F0 = F10 - F12,  R2 = DM(0x08, I1)
-3F801B92 00000C17 00000C21 00000000 C1000000 C39C8AB0 00000001 3CC60000 C38AA38D 00000020 40000000 00008397 3F7FC8DD 00000000 021E23: F12 = F0 * F12,  R9 = I0
-3F801B92 00000C17 00000C21 00000000 C1000000 C39C8AB0 00000001 3CC60000 C38AA38D 00028424 40000000 00008397 3F7FFFF5 00000000 021E24: F7 = F0 * F7,  F0 = F10 - F12,  R14 = DM(0x12, I7)
-3F800006 00000C17 00000C21 00000000 C1000000 C39C8AB0 00000001 3CC62AA6 C38AA38D 00028424 40000000 00008397 3F7FFFF5 00000000 021E25: F12 = F0 * F12,  R5 = DM(0x15, I7)
-3F800006 00000C17 00000C21 00000000 C1000000 43F70000 00000001 3CC62AA6 C38AA38D 00028424 40000000 00008397 3F800000 00000000 021E26: F7 = F0 * F7,  F0 = F10 - F12,  R11 = DM(0x03, I2)
-3F800000 00000C17 00000C21 00000000 C1000000 43F70000 00000001 3CC62AAF C38AA38D 00028424 40000000 420E6690 3F800000 00000000 021E27: F0 = F0 * F7,  R7 = DM(0x04, I2)
-3CC62AAF 00000C17 00000C21 00000000 C1000000 43F70000 00000001 4116F4A3 C38AA38D 00028424 40000000 420E6690 3F800000 00000000 021E28: F1 = F0 * F11,  DM(0x06, I2) = R0
+BB460000 00000C16 C3A55B10 00000000 C1000000 C39C8AB0 00000001 C1800000 C38AA38D 00000020 40000000 00008397 3F7FC8DD 00000000 021E22: F7 = F0 * F4,  F0 = F10 - F12,  R2 = DM(0x08, I1)
+3F801B92 00000C16 00000C21 00000000 C1000000 C39C8AB0 00000001 3CC60000 C38AA38D 00000020 40000000 00008397 3F7FC8DD 00000000 021E23: F12 = F0 * F12,  R9 = I0
+3F801B92 00000C16 00000C21 00000000 C1000000 C39C8AB0 00000001 3CC60000 C38AA38D 00028424 40000000 00008397 3F7FFFF5 00000000 021E24: F7 = F0 * F7,  F0 = F10 - F12,  R14 = DM(0x12, I7)
+3F800006 00000C16 00000C21 00000000 C1000000 C39C8AB0 00000001 3CC62AA6 C38AA38D 00028424 40000000 00008397 3F7FFFF5 00000000 021E25: F12 = F0 * F12,  R5 = DM(0x15, I7)
+3F800006 00000C16 00000C21 00000000 C1000000 43F70000 00000001 3CC62AA6 C38AA38D 00028424 40000000 00008397 3F800000 00000000 021E26: F7 = F0 * F7,  F0 = F10 - F12,  R11 = DM(0x03, I2)
+3F800000 00000C16 00000C21 00000000 C1000000 43F70000 00000001 3CC62AAF C38AA38D 00028424 40000000 420E6690 3F800000 00000000 021E27: F0 = F0 * F7,  R7 = DM(0x04, I2)
+3CC62AAF 00000C16 00000C21 00000000 C1000000 43F70000 00000001 4116F4A3 C38AA38D 00028424 40000000 420E6690 3F800000 00000000 021E28: F1 = F0 * F11,  DM(0x06, I2) = R0
 3CC62AAF 3F5C7623 00000C21 00000000 C1000000 43F70000 00000001 4116F4A3 C38AA38D 00028424 40000000 420E6690 3F800000 00000000 021E29: F11 = F1 * F5,  R5 = DM(0x17, I7)
 3CC62AAF 3F5C7623 00000C21 00000000 C1000000 43E50000 00000001 4116F4A3 C38AA38D 00028424 40000000 43D4B5FC 3F800000 00000000 021E2A: F1 = F0 * F7,  F11 = F11 + F14,  R14 = DM(0x13, I7)
 3CC62AAF 3E69B4C3 00000C21 00000000 C1000000 43E50000 00000001 4116F4A3 C38AA38D 00028424 40000000 458D4B60 3F800000 00000000 021E2B: F11 = F1 * F5,  F7 = FIX F11 BY F13,  R1 = DM(0x08, I0)

Note that the value in R0 that it actually stores in the end is the same either way, so the 1LSB difference seems to come out in the wash.

So I'm not sure what's going on. I'm sure there are more maths bugs and flag calculation bugs in both the interpreter and recompiler, but it doesn't seem to be hitting them in a way that causes different results for this program. Is DMA somehow broken for the recompiler? Is something throwing the timing so things get out-of-sync? Is the different FIFO free space value a clue as to what the actual difference is?

angelosa · 2026-02-04T16:11:35Z

angelosa
Feb 4, 2026

By quick glance I'm surprised the (lack of a real) FIFO doesn't cause more problems in these games, particularly when it comes to the "half" handling.

https://github.com/mamedev/mame/blob/4b850b46abfb9fc2ed28eefdca7d33fe4870ae32/src/mame/konami/konppc.cpp#L334

0 replies

MooglyGuy · 2026-02-04T18:59:21Z

MooglyGuy
Feb 4, 2026

I tend to agree with @angelosa, but I tend to believe the FIFO isn't entirely the issue (although "no polygons and/or corrupt ones" certainly sounds like it involves an outgoing data FIFO to the Voodoo).

What's the deal with the difference in handling between ASTAT in the DRC/JIT and interpreter? That certainly bears investigation. Both of the numbers you cite, Vas, are below the half-threshold for the FIFO on Racing Jam, but I don't like that they're so different.

Personally, my suggestion would be to address the arithmetic differences even if it's painful to do so from the interpreter, in order to be able to more precisely diff the register logs. I have a sneaking suspicion it has little to do with arithmetic and everything to do with external hardware interactions - either due to the block-based nature of the DRC/JIT system itself, or due to different handling of related things.

1 reply

cuavas Feb 5, 2026
Maintainer Author

What's the deal with the difference in handling between ASTAT in the DRC/JIT and interpreter? That certainly bears investigation.

The DRC stores the individual ASTAT flags in separate 32-bit words so it can set them individually with SETc and MOV. It also optimises away a lot of ASTAT flag calculations when it can see that the results won't be used. The details of how it handles the delayed visibility of ASTAT flags is a bit different because of recompiled instruction sequences, etc.

It's a bit sub-optimal the way it is, as ASTAT flags are always updated in groups (A group, S group, M group, etc.) so it could store one group per word and reduce the amount of stuff it's constantly copying around. But that would be a bit of an intrusive change. It also means the debugger is blind to ASTAT when the recompiler is active.

There are definitely still ASTAT flag calculation bugs in both the interpreter and recompiler (as well as a bunch of flag calculations that the recompiler doesn't bother with and there's just a TODO), but it doesn't matter for these Konami games. The flags aren't used very often (hence the time saved by not calculating them unnecessarily), and when they are it's following a COMP, BTST or BIT TEST, and a few cases of XOR and subtractions. At any rate, there aren't any differences causing flow control or conditional moves to go the opposite way between the interpreter and recompiler.

cuavas · 2026-02-05T18:07:39Z

cuavas
Feb 5, 2026
Maintainer Author

mamedev/mame@5345617 makes FIX instruction give the same results between the interpreter and recompiler, making a few assumptions that seem to hold in MAME on Windows. There are no longer any differences in arithmetic when running for a few frames in attract mode. All the differences seem to be in values it reads from the Voodoo.

There's the previously-mentioned FIFO free space difference, and then there's this kind of thing:

@@ -250057,20 +249875,20 @@
 0002E5FB 01410EFD 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200BA: DM(I1, 0x01) = R1
 0002E5FB 01410EFD 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200BB: R0 = DM(I0, 0x01)
 0004A5BD 01410EFD 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200BC: R0 = ROT R0 BY R6,  R1 = DM(I0, 0x01)
-A5BD0004 00000E73 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200BD: R0 = ROT R0 BY R6,  DM(I1, 0x01) = R0
-0004A5BD 00000E73 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200BE: R1 = ROT R1 BY R6,  DM(I1, 0x01) = R0
-0004A5BD 0E730000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200BF: R1 = ROT R1 BY R6,  DM(I1, 0x01) = R1
-0004A5BD 00000E73 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C0: DM(I1, 0x01) = R1
-0004A5BD 00000E73 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C1: R0 = DM(I0, 0x01)
-00004512 00000E73 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C2: R0 = ROT R0 BY R6,  R1 = DM(I0, 0x01)
-45120000 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C3: R0 = ROT R0 BY R6,  DM(I1, 0x01) = R0
-00004512 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C4: R1 = ROT R1 BY R6,  DM(I1, 0x01) = R0
-00004512 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C5: R1 = ROT R1 BY R6,  DM(I1, 0x01) = R1
-00004512 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C6: R0 = DM(I0, 0x01)
-00073238 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C7: R0 = ROT R0 BY R6,  DM(I1, 0x01) = R1
-32380007 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C8: R0 = ROT R0 BY R6,  DM(I1, 0x01) = R0
-00073238 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C9: DM(I1, 0x01) = R0
-00073238 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200CA: R0 = 0x00000014
+A5BD0004 00002386 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200BD: R0 = ROT R0 BY R6,  DM(I1, 0x01) = R0
+0004A5BD 00002386 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200BE: R1 = ROT R1 BY R6,  DM(I1, 0x01) = R0
+0004A5BD 23860000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200BF: R1 = ROT R1 BY R6,  DM(I1, 0x01) = R1
+0004A5BD 00002386 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C0: DM(I1, 0x01) = R1
+0004A5BD 00002386 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C1: R0 = DM(I0, 0x01)
+00003622 00002386 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C2: R0 = ROT R0 BY R6,  R1 = DM(I0, 0x01)
+36220000 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C3: R0 = ROT R0 BY R6,  DM(I1, 0x01) = R0
+00003622 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C4: R1 = ROT R1 BY R6,  DM(I1, 0x01) = R0
+00003622 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C5: R1 = ROT R1 BY R6,  DM(I1, 0x01) = R1
+00003622 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C6: R0 = DM(I0, 0x01)
+00072C15 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C7: R0 = ROT R0 BY R6,  DM(I1, 0x01) = R1
+2C150007 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C8: R0 = ROT R0 BY R6,  DM(I1, 0x01) = R0
+00072C15 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200C9: DM(I1, 0x01) = R0
+00072C15 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200CA: R0 = 0x00000014
 00000014 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200CB: DM(0x03400001) = R0
 00000014 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200CC: DM(0x00400010) = R2
 00000014 00000000 0000026E 00000000 3DC45000 3E530000 00000010 0000EEE5 C6EA8CE5 C6E11693 480933D0 BF2ED8AC 00000000 3E559CAA 0200CD: BIT CLEAR USTAT1 0x00000040

It's doing a load with post-increment using DAG register I0. In this case, I0 is 0x02480054, is Voodoo register 0x150 as a byte address. According to our Voodoo code, that's fbiChromaFail, which seems to be a stat for counting chroma key tests that didn't match? This also looks like the kind of thing that would be affected by timing, if the Voodoo is at a different point in rendering the frame.

In any case, it's looking even more like it's something to do with how the SHARC communicates with the outside world, rather than a SHARC ALU emulation bug.

0 replies

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

MAMEdev

SHARC interpreter vs recompiler #257

Uh oh!

{{title}}

Uh oh!

Replies: 3 comments 1 reply

Uh oh!

{{title}}

Uh oh!

Uh oh!

{{title}}

Uh oh!

Uh oh!

{{title}}

Uh oh!

Uh oh!

{{title}}

Uh oh!

Select a reply

Uh oh!

MAMEdev

SHARC interpreter vs recompiler #257

Uh oh!

cuavas Feb 4, 2026 Maintainer

Replies: 3 comments · 1 reply

Uh oh!

angelosa Feb 4, 2026

Uh oh!

MooglyGuy Feb 4, 2026

Uh oh!

cuavas Feb 5, 2026 Maintainer Author

Uh oh!

cuavas Feb 5, 2026 Maintainer Author

cuavas
Feb 4, 2026
Maintainer

Replies: 3 comments 1 reply

angelosa
Feb 4, 2026

MooglyGuy
Feb 4, 2026

cuavas Feb 5, 2026
Maintainer Author

cuavas
Feb 5, 2026
Maintainer Author