rsp_recompiler_cpu.c

/*
 * RSP Compiler plug in for Project 64 (A Nintendo 64 emulator).
 *
 * (c) Copyright 2001 jabo (jabo@emulation64.com) and
 * zilmar (zilmar@emulation64.com)
 *
 * pj64 homepage: www.pj64.net
 *
 * Permission to use, copy, modify and distribute Project64 in both binary and
 * source form, for non-commercial purposes, is hereby granted without fee,
 * providing that this license information and copyright notice appear with
 * all copies and any derived work.
 *
 * This software is provided 'as-is', without any express or implied
 * warranty. In no event shall the authors be held liable for any damages
 * arising from the use of this software.
 *
 * Project64 is freeware for PERSONAL USE only. Commercial users should
 * seek permission of the copyright holders first. Commercial use includes
 * charging money for Project64 or software derived from Project64.
 *
 * The copyright holders request that bug fixes and improvements to the code
 * should be forwarded to them so if they want them.
 *
 */

#include <stdint.h>
#include <stdlib.h>
#include <string.h>
#include <float.h>
#include "rsp.h"
#include "rsp_recompiler_cpu.h"
#include "rsp_recompiler_ops.h"
#include "rsp_x86.h"
#include "memory.h"
#include "main.h"

/* #define REORDER_BLOCK_VERBOSE */
#define LINK_BRANCHES_VERBOSE /* no choice really */
#define X86_RECOMP_VERBOSE
#define BUILD_BRANCHLABELS_VERBOSE

uint32_t RSPCompilePC, RSPBlockID = 0;
uint32_t dwBuffer = MainBuffer;

RSP_BLOCK RSPCurrentBlock;
RSP_CODE RspCode;

uint8_t * pLastSecondary = NULL, * pLastPrimary = NULL;

void BuildRecompilerCPU ( void )
{
    RSP_Opcode[ 0] = RSPCompile_SPECIAL;
    RSP_Opcode[ 1] = RSPCompile_REGIMM;
    RSP_Opcode[ 2] = RSPCompile_J;
    RSP_Opcode[ 3] = RSPCompile_JAL;
    RSP_Opcode[ 4] = RSPCompile_BEQ;
    RSP_Opcode[ 5] = RSPCompile_BNE;
    RSP_Opcode[ 6] = RSPCompile_BLEZ;
    RSP_Opcode[ 7] = RSPCompile_BGTZ;
    RSP_Opcode[ 8] = RSPCompile_ADDI;
    RSP_Opcode[ 9] = RSPCompile_ADDIU;
    RSP_Opcode[10] = RSPCompile_SLTI;
    RSP_Opcode[11] = RSPCompile_SLTIU;
    RSP_Opcode[12] = RSPCompile_ANDI;
    RSP_Opcode[13] = RSPCompile_ORI;
    RSP_Opcode[14] = RSPCompile_XORI;
    RSP_Opcode[15] = RSPCompile_LUI;
    RSP_Opcode[16] = RSPCompile_COP0;
    RSP_Opcode[17] = RSPCompile_UnknownOpcode;
    RSP_Opcode[18] = RSPCompile_COP2;
    RSP_Opcode[19] = RSPCompile_UnknownOpcode;
    RSP_Opcode[20] = RSPCompile_UnknownOpcode;
    RSP_Opcode[21] = RSPCompile_UnknownOpcode;
    RSP_Opcode[22] = RSPCompile_UnknownOpcode;
    RSP_Opcode[23] = RSPCompile_UnknownOpcode;
    RSP_Opcode[24] = RSPCompile_UnknownOpcode;
    RSP_Opcode[25] = RSPCompile_UnknownOpcode;
    RSP_Opcode[26] = RSPCompile_UnknownOpcode;
    RSP_Opcode[27] = RSPCompile_UnknownOpcode;
    RSP_Opcode[28] = RSPCompile_UnknownOpcode;
    RSP_Opcode[29] = RSPCompile_UnknownOpcode;
    RSP_Opcode[30] = RSPCompile_UnknownOpcode;
    RSP_Opcode[31] = RSPCompile_UnknownOpcode;
    RSP_Opcode[32] = RSPCompile_LB;
    RSP_Opcode[33] = RSPCompile_LH;
    RSP_Opcode[34] = RSPCompile_UnknownOpcode;
    RSP_Opcode[35] = RSPCompile_LW;
    RSP_Opcode[36] = RSPCompile_LBU;
    RSP_Opcode[37] = RSPCompile_LHU;
    RSP_Opcode[38] = RSPCompile_UnknownOpcode;
    RSP_Opcode[39] = RSPCompile_UnknownOpcode;
    RSP_Opcode[40] = RSPCompile_SB;
    RSP_Opcode[41] = RSPCompile_SH;
    RSP_Opcode[42] = RSPCompile_UnknownOpcode;
    RSP_Opcode[43] = RSPCompile_SW;
    RSP_Opcode[44] = RSPCompile_UnknownOpcode;
    RSP_Opcode[45] = RSPCompile_UnknownOpcode;
    RSP_Opcode[46] = RSPCompile_UnknownOpcode;
    RSP_Opcode[47] = RSPCompile_UnknownOpcode;
    RSP_Opcode[48] = RSPCompile_UnknownOpcode;
    RSP_Opcode[49] = RSPCompile_UnknownOpcode;
    RSP_Opcode[50] = RSPCompile_LC2;
    RSP_Opcode[51] = RSPCompile_UnknownOpcode;
    RSP_Opcode[52] = RSPCompile_UnknownOpcode;
    RSP_Opcode[53] = RSPCompile_UnknownOpcode;
    RSP_Opcode[54] = RSPCompile_UnknownOpcode;
    RSP_Opcode[55] = RSPCompile_UnknownOpcode;
    RSP_Opcode[56] = RSPCompile_UnknownOpcode;
    RSP_Opcode[57] = RSPCompile_UnknownOpcode;
    RSP_Opcode[58] = RSPCompile_SC2;
    RSP_Opcode[59] = RSPCompile_UnknownOpcode;
    RSP_Opcode[60] = RSPCompile_UnknownOpcode;
    RSP_Opcode[61] = RSPCompile_UnknownOpcode;
    RSP_Opcode[62] = RSPCompile_UnknownOpcode;
    RSP_Opcode[63] = RSPCompile_UnknownOpcode;

    RSP_Special[ 0] = RSPCompile_Special_SLL;
    RSP_Special[ 1] = RSPCompile_UnknownOpcode;
    RSP_Special[ 2] = RSPCompile_Special_SRL;
    RSP_Special[ 3] = RSPCompile_Special_SRA;
    RSP_Special[ 4] = RSPCompile_Special_SLLV;
    RSP_Special[ 5] = RSPCompile_UnknownOpcode;
    RSP_Special[ 6] = RSPCompile_Special_SRLV;
    RSP_Special[ 7] = RSPCompile_Special_SRAV;
    RSP_Special[ 8] = RSPCompile_Special_JR;
    RSP_Special[ 9] = RSPCompile_Special_JALR;
    RSP_Special[10] = RSPCompile_UnknownOpcode;
    RSP_Special[11] = RSPCompile_UnknownOpcode;
    RSP_Special[12] = RSPCompile_UnknownOpcode;
    RSP_Special[13] = RSPCompile_Special_BREAK;
    RSP_Special[14] = RSPCompile_UnknownOpcode;
    RSP_Special[15] = RSPCompile_UnknownOpcode;
    RSP_Special[16] = RSPCompile_UnknownOpcode;
    RSP_Special[17] = RSPCompile_UnknownOpcode;
    RSP_Special[18] = RSPCompile_UnknownOpcode;
    RSP_Special[19] = RSPCompile_UnknownOpcode;
    RSP_Special[20] = RSPCompile_UnknownOpcode;
    RSP_Special[21] = RSPCompile_UnknownOpcode;
    RSP_Special[22] = RSPCompile_UnknownOpcode;
    RSP_Special[23] = RSPCompile_UnknownOpcode;
    RSP_Special[24] = RSPCompile_UnknownOpcode;
    RSP_Special[25] = RSPCompile_UnknownOpcode;
    RSP_Special[26] = RSPCompile_UnknownOpcode;
    RSP_Special[27] = RSPCompile_UnknownOpcode;
    RSP_Special[28] = RSPCompile_UnknownOpcode;
    RSP_Special[29] = RSPCompile_UnknownOpcode;
    RSP_Special[30] = RSPCompile_UnknownOpcode;
    RSP_Special[31] = RSPCompile_UnknownOpcode;
    RSP_Special[32] = RSPCompile_Special_ADD;
    RSP_Special[33] = RSPCompile_Special_ADDU;
    RSP_Special[34] = RSPCompile_Special_SUB;
    RSP_Special[35] = RSPCompile_Special_SUBU;
    RSP_Special[36] = RSPCompile_Special_AND;
    RSP_Special[37] = RSPCompile_Special_OR;
    RSP_Special[38] = RSPCompile_Special_XOR;
    RSP_Special[39] = RSPCompile_Special_NOR;
    RSP_Special[40] = RSPCompile_UnknownOpcode;
    RSP_Special[41] = RSPCompile_UnknownOpcode;
    RSP_Special[42] = RSPCompile_Special_SLT;
    RSP_Special[43] = RSPCompile_Special_SLTU;
    RSP_Special[44] = RSPCompile_UnknownOpcode;
    RSP_Special[45] = RSPCompile_UnknownOpcode;
    RSP_Special[46] = RSPCompile_UnknownOpcode;
    RSP_Special[47] = RSPCompile_UnknownOpcode;
    RSP_Special[48] = RSPCompile_UnknownOpcode;
    RSP_Special[49] = RSPCompile_UnknownOpcode;
    RSP_Special[50] = RSPCompile_UnknownOpcode;
    RSP_Special[51] = RSPCompile_UnknownOpcode;
    RSP_Special[52] = RSPCompile_UnknownOpcode;
    RSP_Special[53] = RSPCompile_UnknownOpcode;
    RSP_Special[54] = RSPCompile_UnknownOpcode;
    RSP_Special[55] = RSPCompile_UnknownOpcode;
    RSP_Special[56] = RSPCompile_UnknownOpcode;
    RSP_Special[57] = RSPCompile_UnknownOpcode;
    RSP_Special[58] = RSPCompile_UnknownOpcode;
    RSP_Special[59] = RSPCompile_UnknownOpcode;
    RSP_Special[60] = RSPCompile_UnknownOpcode;
    RSP_Special[61] = RSPCompile_UnknownOpcode;
    RSP_Special[62] = RSPCompile_UnknownOpcode;
    RSP_Special[63] = RSPCompile_UnknownOpcode;

    RSP_RegImm[ 0] = RSPCompile_RegImm_BLTZ;
    RSP_RegImm[ 1] = RSPCompile_RegImm_BGEZ;
    RSP_RegImm[ 2] = RSPCompile_UnknownOpcode;
    RSP_RegImm[ 3] = RSPCompile_UnknownOpcode;
    RSP_RegImm[ 4] = RSPCompile_UnknownOpcode;
    RSP_RegImm[ 5] = RSPCompile_UnknownOpcode;
    RSP_RegImm[ 6] = RSPCompile_UnknownOpcode;
    RSP_RegImm[ 7] = RSPCompile_UnknownOpcode;
    RSP_RegImm[ 8] = RSPCompile_UnknownOpcode;
    RSP_RegImm[ 9] = RSPCompile_UnknownOpcode;
    RSP_RegImm[10] = RSPCompile_UnknownOpcode;
    RSP_RegImm[11] = RSPCompile_UnknownOpcode;
    RSP_RegImm[12] = RSPCompile_UnknownOpcode;
    RSP_RegImm[13] = RSPCompile_UnknownOpcode;
    RSP_RegImm[14] = RSPCompile_UnknownOpcode;
    RSP_RegImm[15] = RSPCompile_UnknownOpcode;
    RSP_RegImm[16] = RSPCompile_RegImm_BLTZAL;
    RSP_RegImm[17] = RSPCompile_RegImm_BGEZAL;
    RSP_RegImm[18] = RSPCompile_UnknownOpcode;
    RSP_RegImm[19] = RSPCompile_UnknownOpcode;
    RSP_RegImm[20] = RSPCompile_UnknownOpcode;
    RSP_RegImm[21] = RSPCompile_UnknownOpcode;
    RSP_RegImm[22] = RSPCompile_UnknownOpcode;
    RSP_RegImm[23] = RSPCompile_UnknownOpcode;
    RSP_RegImm[24] = RSPCompile_UnknownOpcode;
    RSP_RegImm[25] = RSPCompile_UnknownOpcode;
    RSP_RegImm[26] = RSPCompile_UnknownOpcode;
    RSP_RegImm[27] = RSPCompile_UnknownOpcode;
    RSP_RegImm[28] = RSPCompile_UnknownOpcode;
    RSP_RegImm[29] = RSPCompile_UnknownOpcode;
    RSP_RegImm[30] = RSPCompile_UnknownOpcode;
    RSP_RegImm[31] = RSPCompile_UnknownOpcode;

    RSP_Cop0[ 0] = RSPCompile_Cop0_MF;
    RSP_Cop0[ 1] = RSPCompile_UnknownOpcode;
    RSP_Cop0[ 2] = RSPCompile_UnknownOpcode;
    RSP_Cop0[ 3] = RSPCompile_UnknownOpcode;
    RSP_Cop0[ 4] = RSPCompile_Cop0_MT;
    RSP_Cop0[ 5] = RSPCompile_UnknownOpcode;
    RSP_Cop0[ 6] = RSPCompile_UnknownOpcode;
    RSP_Cop0[ 7] = RSPCompile_UnknownOpcode;
    RSP_Cop0[ 8] = RSPCompile_UnknownOpcode;
    RSP_Cop0[ 9] = RSPCompile_UnknownOpcode;
    RSP_Cop0[10] = RSPCompile_UnknownOpcode;
    RSP_Cop0[11] = RSPCompile_UnknownOpcode;
    RSP_Cop0[12] = RSPCompile_UnknownOpcode;
    RSP_Cop0[13] = RSPCompile_UnknownOpcode;
    RSP_Cop0[14] = RSPCompile_UnknownOpcode;
    RSP_Cop0[15] = RSPCompile_UnknownOpcode;
    RSP_Cop0[16] = RSPCompile_UnknownOpcode;
    RSP_Cop0[17] = RSPCompile_UnknownOpcode;
    RSP_Cop0[18] = RSPCompile_UnknownOpcode;
    RSP_Cop0[19] = RSPCompile_UnknownOpcode;
    RSP_Cop0[20] = RSPCompile_UnknownOpcode;
    RSP_Cop0[21] = RSPCompile_UnknownOpcode;
    RSP_Cop0[22] = RSPCompile_UnknownOpcode;
    RSP_Cop0[23] = RSPCompile_UnknownOpcode;
    RSP_Cop0[24] = RSPCompile_UnknownOpcode;
    RSP_Cop0[25] = RSPCompile_UnknownOpcode;
    RSP_Cop0[26] = RSPCompile_UnknownOpcode;
    RSP_Cop0[27] = RSPCompile_UnknownOpcode;
    RSP_Cop0[28] = RSPCompile_UnknownOpcode;
    RSP_Cop0[29] = RSPCompile_UnknownOpcode;
    RSP_Cop0[30] = RSPCompile_UnknownOpcode;
    RSP_Cop0[31] = RSPCompile_UnknownOpcode;

    RSP_Cop2[ 0] = RSPCompile_Cop2_MF;
    RSP_Cop2[ 1] = RSPCompile_UnknownOpcode;
    RSP_Cop2[ 2] = RSPCompile_Cop2_CF;
    RSP_Cop2[ 3] = RSPCompile_UnknownOpcode;
    RSP_Cop2[ 4] = RSPCompile_Cop2_MT;
    RSP_Cop2[ 5] = RSPCompile_UnknownOpcode;
    RSP_Cop2[ 6] = RSPCompile_Cop2_CT;
    RSP_Cop2[ 7] = RSPCompile_UnknownOpcode;
    RSP_Cop2[ 8] = RSPCompile_UnknownOpcode;
    RSP_Cop2[ 9] = RSPCompile_UnknownOpcode;
    RSP_Cop2[10] = RSPCompile_UnknownOpcode;
    RSP_Cop2[11] = RSPCompile_UnknownOpcode;
    RSP_Cop2[12] = RSPCompile_UnknownOpcode;
    RSP_Cop2[13] = RSPCompile_UnknownOpcode;
    RSP_Cop2[14] = RSPCompile_UnknownOpcode;
    RSP_Cop2[15] = RSPCompile_UnknownOpcode;
    RSP_Cop2[16] = RSPCompile_COP2_VECTOR;
    RSP_Cop2[17] = RSPCompile_COP2_VECTOR;
    RSP_Cop2[18] = RSPCompile_COP2_VECTOR;
    RSP_Cop2[19] = RSPCompile_COP2_VECTOR;
    RSP_Cop2[20] = RSPCompile_COP2_VECTOR;
    RSP_Cop2[21] = RSPCompile_COP2_VECTOR;
    RSP_Cop2[22] = RSPCompile_COP2_VECTOR;
    RSP_Cop2[23] = RSPCompile_COP2_VECTOR;
    RSP_Cop2[24] = RSPCompile_COP2_VECTOR;
    RSP_Cop2[25] = RSPCompile_COP2_VECTOR;
    RSP_Cop2[26] = RSPCompile_COP2_VECTOR;
    RSP_Cop2[27] = RSPCompile_COP2_VECTOR;
    RSP_Cop2[28] = RSPCompile_COP2_VECTOR;
    RSP_Cop2[29] = RSPCompile_COP2_VECTOR;
    RSP_Cop2[30] = RSPCompile_COP2_VECTOR;
    RSP_Cop2[31] = RSPCompile_COP2_VECTOR;

    RSP_Vector[ 0] = RSPCompile_Vector_VMULF;
    RSP_Vector[ 1] = RSPCompile_Vector_VMULU;
    RSP_Vector[ 2] = RSPCompile_UnknownOpcode;
    RSP_Vector[ 3] = RSPCompile_UnknownOpcode;
    RSP_Vector[ 4] = RSPCompile_Vector_VMUDL;
    RSP_Vector[ 5] = RSPCompile_Vector_VMUDM;
    RSP_Vector[ 6] = RSPCompile_Vector_VMUDN;
    RSP_Vector[ 7] = RSPCompile_Vector_VMUDH;
    RSP_Vector[ 8] = RSPCompile_Vector_VMACF;
    RSP_Vector[ 9] = RSPCompile_Vector_VMACU;
    RSP_Vector[10] = RSPCompile_UnknownOpcode;
    RSP_Vector[11] = RSPCompile_Vector_VMACQ;
    RSP_Vector[12] = RSPCompile_Vector_VMADL;
    RSP_Vector[13] = RSPCompile_Vector_VMADM;
    RSP_Vector[14] = RSPCompile_Vector_VMADN;
    RSP_Vector[15] = RSPCompile_Vector_VMADH;
    RSP_Vector[16] = RSPCompile_Vector_VADD;
    RSP_Vector[17] = RSPCompile_Vector_VSUB;
    RSP_Vector[18] = RSPCompile_UnknownOpcode;
    RSP_Vector[19] = RSPCompile_Vector_VABS;
    RSP_Vector[20] = RSPCompile_Vector_VADDC;
    RSP_Vector[21] = RSPCompile_Vector_VSUBC;
    RSP_Vector[22] = RSPCompile_UnknownOpcode;
    RSP_Vector[23] = RSPCompile_UnknownOpcode;
    RSP_Vector[24] = RSPCompile_UnknownOpcode;
    RSP_Vector[25] = RSPCompile_UnknownOpcode;
    RSP_Vector[26] = RSPCompile_UnknownOpcode;
    RSP_Vector[27] = RSPCompile_UnknownOpcode;
    RSP_Vector[28] = RSPCompile_UnknownOpcode;
    RSP_Vector[29] = RSPCompile_Vector_VSAW;
    RSP_Vector[30] = RSPCompile_UnknownOpcode;
    RSP_Vector[31] = RSPCompile_UnknownOpcode;
    RSP_Vector[32] = RSPCompile_Vector_VLT;
    RSP_Vector[33] = RSPCompile_Vector_VEQ;
    RSP_Vector[34] = RSPCompile_Vector_VNE;
    RSP_Vector[35] = RSPCompile_Vector_VGE;
    RSP_Vector[36] = RSPCompile_Vector_VCL;
    RSP_Vector[37] = RSPCompile_Vector_VCH;
    RSP_Vector[38] = RSPCompile_Vector_VCR;
    RSP_Vector[39] = RSPCompile_Vector_VMRG;
    RSP_Vector[40] = RSPCompile_Vector_VAND;
    RSP_Vector[41] = RSPCompile_Vector_VNAND;
    RSP_Vector[42] = RSPCompile_Vector_VOR;
    RSP_Vector[43] = RSPCompile_Vector_VNOR;
    RSP_Vector[44] = RSPCompile_Vector_VXOR;
    RSP_Vector[45] = RSPCompile_Vector_VNXOR;
    RSP_Vector[46] = RSPCompile_UnknownOpcode;
    RSP_Vector[47] = RSPCompile_UnknownOpcode;
    RSP_Vector[48] = RSPCompile_Vector_VRCP;
    RSP_Vector[49] = RSPCompile_Vector_VRCPL;
    RSP_Vector[50] = RSPCompile_Vector_VRCPH;
    RSP_Vector[51] = RSPCompile_Vector_VMOV;
    RSP_Vector[52] = RSPCompile_Vector_VRSQ;
    RSP_Vector[53] = RSPCompile_Vector_VRSQL;
    RSP_Vector[54] = RSPCompile_Vector_VRSQH;
    RSP_Vector[55] = RSPCompile_Vector_VNOOP;
    RSP_Vector[56] = RSPCompile_UnknownOpcode;
    RSP_Vector[57] = RSPCompile_UnknownOpcode;
    RSP_Vector[58] = RSPCompile_UnknownOpcode;
    RSP_Vector[59] = RSPCompile_UnknownOpcode;
    RSP_Vector[60] = RSPCompile_UnknownOpcode;
    RSP_Vector[61] = RSPCompile_UnknownOpcode;
    RSP_Vector[62] = RSPCompile_UnknownOpcode;
    RSP_Vector[63] = RSPCompile_UnknownOpcode;

    RSP_Lc2[ 0] = RSPCompile_Opcode_LBV;
    RSP_Lc2[ 1] = RSPCompile_Opcode_LSV;
    RSP_Lc2[ 2] = RSPCompile_Opcode_LLV;
    RSP_Lc2[ 3] = RSPCompile_Opcode_LDV;
    RSP_Lc2[ 4] = RSPCompile_Opcode_LQV;
    RSP_Lc2[ 5] = RSPCompile_Opcode_LRV;
    RSP_Lc2[ 6] = RSPCompile_Opcode_LPV;
    RSP_Lc2[ 7] = RSPCompile_Opcode_LUV;
    RSP_Lc2[ 8] = RSPCompile_UnknownOpcode;
    RSP_Lc2[ 9] = RSPCompile_UnknownOpcode;
    RSP_Lc2[10] = RSPCompile_UnknownOpcode;
    RSP_Lc2[11] = RSPCompile_Opcode_LTV;
    RSP_Lc2[12] = RSPCompile_UnknownOpcode;
    RSP_Lc2[13] = RSPCompile_UnknownOpcode;
    RSP_Lc2[14] = RSPCompile_UnknownOpcode;
    RSP_Lc2[15] = RSPCompile_UnknownOpcode;
    RSP_Lc2[16] = RSPCompile_UnknownOpcode;
    RSP_Lc2[17] = RSPCompile_UnknownOpcode;
    RSP_Lc2[18] = RSPCompile_UnknownOpcode;
    RSP_Lc2[19] = RSPCompile_UnknownOpcode;
    RSP_Lc2[20] = RSPCompile_UnknownOpcode;
    RSP_Lc2[21] = RSPCompile_UnknownOpcode;
    RSP_Lc2[22] = RSPCompile_UnknownOpcode;
    RSP_Lc2[23] = RSPCompile_UnknownOpcode;
    RSP_Lc2[24] = RSPCompile_UnknownOpcode;
    RSP_Lc2[25] = RSPCompile_UnknownOpcode;
    RSP_Lc2[26] = RSPCompile_UnknownOpcode;
    RSP_Lc2[27] = RSPCompile_UnknownOpcode;
    RSP_Lc2[28] = RSPCompile_UnknownOpcode;
    RSP_Lc2[29] = RSPCompile_UnknownOpcode;
    RSP_Lc2[30] = RSPCompile_UnknownOpcode;
    RSP_Lc2[31] = RSPCompile_UnknownOpcode;

    RSP_Sc2[ 0] = RSPCompile_Opcode_SBV;
    RSP_Sc2[ 1] = RSPCompile_Opcode_SSV;
    RSP_Sc2[ 2] = RSPCompile_Opcode_SLV;
    RSP_Sc2[ 3] = RSPCompile_Opcode_SDV;
    RSP_Sc2[ 4] = RSPCompile_Opcode_SQV;
    RSP_Sc2[ 5] = RSPCompile_Opcode_SRV;
    RSP_Sc2[ 6] = RSPCompile_Opcode_SPV;
    RSP_Sc2[ 7] = RSPCompile_Opcode_SUV;
    RSP_Sc2[ 8] = RSPCompile_UnknownOpcode;
    RSP_Sc2[ 9] = RSPCompile_UnknownOpcode;
    RSP_Sc2[10] = RSPCompile_UnknownOpcode;
    RSP_Sc2[11] = RSPCompile_Opcode_STV;
    RSP_Sc2[12] = RSPCompile_UnknownOpcode;
    RSP_Sc2[13] = RSPCompile_UnknownOpcode;
    RSP_Sc2[14] = RSPCompile_UnknownOpcode;
    RSP_Sc2[15] = RSPCompile_UnknownOpcode;
    RSP_Sc2[16] = RSPCompile_UnknownOpcode;
    RSP_Sc2[17] = RSPCompile_UnknownOpcode;
    RSP_Sc2[18] = RSPCompile_UnknownOpcode;
    RSP_Sc2[19] = RSPCompile_UnknownOpcode;
    RSP_Sc2[20] = RSPCompile_UnknownOpcode;
    RSP_Sc2[21] = RSPCompile_UnknownOpcode;
    RSP_Sc2[22] = RSPCompile_UnknownOpcode;
    RSP_Sc2[23] = RSPCompile_UnknownOpcode;
    RSP_Sc2[24] = RSPCompile_UnknownOpcode;
    RSP_Sc2[25] = RSPCompile_UnknownOpcode;
    RSP_Sc2[26] = RSPCompile_UnknownOpcode;
    RSP_Sc2[27] = RSPCompile_UnknownOpcode;
    RSP_Sc2[28] = RSPCompile_UnknownOpcode;
    RSP_Sc2[29] = RSPCompile_UnknownOpcode;
    RSP_Sc2[30] = RSPCompile_UnknownOpcode;
    RSP_Sc2[31] = RSPCompile_UnknownOpcode;

    RSPBlockID = 0;
}

/******************************************************
** ReOrderSubBlock
**
** Desc:
** this can be done, but will be interesting to put
** between branches labels, and actual branches, whichever
** occurs first in code
**
********************************************************/

void ReOrderInstructions(uint32_t StartPC, uint32_t EndPC)
{
    uint32_t InstructionCount = EndPC - StartPC;
    uint32_t Count, ReorderedOps, CurrentPC;
    RSPOPCODE PreviousOp, CurrentOp, RspOp;

    PreviousOp.Hex = *(uint32_t*)(IMEM + StartPC);

    if (1 == IsOpcodeBranch(StartPC, PreviousOp))
    {
        /* the sub block ends here anyway */
        return;
    }

    if (IsOpcodeNop(StartPC) && IsOpcodeNop(StartPC + 4) && IsOpcodeNop(StartPC + 8))
    {
        /* Dont even bother */
        return;
    }

    CPU_Message("***** Doing reorder (%X to %X) *****", StartPC, EndPC);

    if (InstructionCount < 0x0010)
    {
        return;
    }
    if (InstructionCount > 0x0A00)
    {
        return;
    }

    CPU_Message(" Before:");
    for (Count = StartPC; Count < EndPC; Count += 4)
    {
        RSP_LW_IMEM(Count, &RspOp.Hex);
        //CPU_Message("  %X %s",Count,RSPOpcodeName(RspOp.Hex,Count));
    }

    for (Count = 0; Count < InstructionCount; Count += 4)
    {
        CurrentPC = StartPC;
        PreviousOp.Hex = *(uint32_t*)(IMEM + CurrentPC);
        ReorderedOps = 0;

        for (;;)
        {
            CurrentPC += 4;
            if (CurrentPC >= EndPC)
            {
                break;
            }
            CurrentOp.Hex = *(uint32_t*)(IMEM + CurrentPC);

            if (1 == CompareInstructions(CurrentPC, &PreviousOp, &CurrentOp))
            {
                /* Move current opcode up */
                *(uint32_t*)(IMEM + CurrentPC - 4) = CurrentOp.Hex;
                *(uint32_t*)(IMEM + CurrentPC) = PreviousOp.Hex;

                ReorderedOps++;
#ifdef REORDER_BLOCK_VERBOSE
                CPU_Message("Swapped %X and %X", CurrentPC - 4, CurrentPC);
#endif
            }
            PreviousOp.Hex = *(uint32_t*)(IMEM + CurrentPC);

            if (IsOpcodeNop(CurrentPC) && IsOpcodeNop(CurrentPC + 4) && IsOpcodeNop(CurrentPC + 8))
            {
                CurrentPC = EndPC;
            }
        }

        if (ReorderedOps == 0)
        {
            Count = InstructionCount;
        }
    }

    CPU_Message(" After:");
    for (Count = StartPC; Count < EndPC; Count += 4)
    {
        RSP_LW_IMEM(Count, &RspOp.Hex);
        //CPU_Message("  %X %s",Count,RSPOpcodeName(RspOp.Hex,Count));
    }
    CPU_Message("");
}

void ReOrderSubBlock(RSP_BLOCK * Block)
{
    uint32_t end = 0x0ffc;
    uint32_t count;

    //return; //fixthis
    if (!Compiler.bReOrdering)
    {
        return;
    }
    if (Block->CurrPC > 0xFF0)
    {
        return;
    }

    /* find the label or jump closest to us */
    if (RspCode.LabelCount)
    {
        for (count = 0; count < RspCode.LabelCount; count++)
        {
            if (RspCode.BranchLabels[count] < end &&
                    RspCode.BranchLabels[count] > Block->CurrPC)
            {
                end = RspCode.BranchLabels[count];
            }
        }
    }
    if (RspCode.BranchCount)
    {
        for (count = 0; count < RspCode.BranchCount; count++)
        {
            if (RspCode.BranchLocations[count] < end &&
                    RspCode.BranchLocations[count] > Block->CurrPC)
            {
                end = RspCode.BranchLocations[count];
            }
        }
    }

    /* it wont actually re-order the op at the end */
    ReOrderInstructions(Block->CurrPC, end);
}

/******************************************************
** DetectGPRConstants
**
** Desc:
**  this needs to be called on a sub-block basis, like
**  after every time we hit a branch and delay slot
**
********************************************************/

void DetectGPRConstants(RSP_CODE * code)
{
    uint32_t Count, Constant = 0;

    memset(&code->bIsRegConst, 0, sizeof(int32_t) * 0x20);
    memset(&code->MipsRegConst, 0, sizeof(uint32_t) * 0x20);

    if (!Compiler.bGPRConstants)
    {
        return;
    }
    CPU_Message("***** Detecting constants *****");

    /*** Setup R0 ***/
    code->bIsRegConst[0] = 1;
    code->MipsRegConst[0] = 0;

    /* Do your global search for them */
    for (Count = 1; Count < 32; Count++)
    {
        if (IsRegisterConstant(Count, &Constant) == 1)
        {
            //CPU_Message("Global: %s is a constant of: %08X", GPR_Name(Count), Constant);
            code->bIsRegConst[Count] = 1;
            code->MipsRegConst[Count] = Constant;
        }
    }
    CPU_Message("");
}

/******************************************************
** CompilerToggleBuffer and ClearX86Code
**
** Desc:
**  1> toggles the compiler buffer, useful for poorly
**  taken branches like alignment
**
**  2> clears all the x86 code, jump tables etc
**
********************************************************/

void CompilerToggleBuffer(void)
{
    if (dwBuffer == MainBuffer)
    {
        dwBuffer = SecondaryBuffer;
        pLastPrimary = RSPRecompPos;

        if (pLastSecondary == NULL)
        {
            pLastSecondary = RSPRecompCodeSecondary;
        }

        RSPRecompPos = pLastSecondary;
        CPU_Message("   (Secondary Buffer Active 0x%08X)", pLastSecondary);
    }
    else
    {
        dwBuffer = MainBuffer;
        pLastSecondary = RSPRecompPos;

        if (pLastPrimary == NULL)
        {
            pLastPrimary = RSPRecompCode;
        }

        RSPRecompPos = pLastPrimary;
        CPU_Message("   (Primary Buffer Active 0x%08X)", pLastPrimary);
    }
}

void ClearAllx86Code (void)
{
    extern uint32_t NoOfMaps, MapsCRC[32];
    extern uint8_t *RSPJumpTables;

    memset(&MapsCRC, 0, sizeof(uint32_t) * 0x20);
    NoOfMaps = 0;
    memset(RSPJumpTables,0,0x2000*32);

    RSPRecompPos = RSPRecompCode;

    pLastPrimary = NULL;
    pLastSecondary = NULL;
}

/******************************************************
** Link Branches
**
** Desc:
**  resolves all the collected branches, x86 style
**
********************************************************/

void LinkBranches(RSP_BLOCK * Block)
{
    uint32_t Count, Target;
    uint32_t * JumpWord;
    uint8_t * X86Code;
    RSP_BLOCK Save;

    if (!RSPCurrentBlock.ResolveCount)
    {
        return;
    }
    CPU_Message("***** Linking branches (%i) *****", RSPCurrentBlock.ResolveCount);

    for (Count = 0; Count < RSPCurrentBlock.ResolveCount; Count++)
    {
        Target = RSPCurrentBlock.BranchesToResolve[Count].TargetPC;
        X86Code = *(RSPJumpTable + (Target >> 2));

        if (!X86Code)
        {
            *PrgCount = Target;
            CPU_Message("");
            CPU_Message("===== (Generate Code: %04X) =====", Target);
            Save = *Block;

            /* compile this block and link */
            CompilerRSPBlock();
            LinkBranches(Block);

            *Block = Save;
            CPU_Message("===== (End Generate Code: %04X) =====", Target);
            CPU_Message("");
            X86Code = *(RSPJumpTable + (Target >> 2));
        }

        JumpWord = RSPCurrentBlock.BranchesToResolve[Count].X86JumpLoc;
        RSPx86_SetBranch32b(JumpWord, (uint32_t*)X86Code);

        CPU_Message("Linked RSP branch from x86: %08X, to RSP: %X / x86: %08X",
                    JumpWord, Target, X86Code);
    }
    CPU_Message("***** Done Linking Branches *****");
    CPU_Message("");
}

/******************************************************
** BuildBranchLabels
**
** Desc:
**   Branch labels are used to start and stop re-ordering
**   sections as well as set the jump table to points
**   within a block that are safe
**
********************************************************/

void BuildBranchLabels(void)
{
    RSPOPCODE RspOp;
    uint32_t i, Dest;

#ifdef BUILD_BRANCHLABELS_VERBOSE
    CPU_Message("***** Building branch labels *****");
#endif

    for (i = 0; i < 0x1000; i += 4)
    {
        RspOp.Hex = *(uint32_t*)(IMEM + i);

        if (1 == IsOpcodeBranch(i, RspOp))
        {
            if (RspCode.LabelCount >= 175)
            {
                CompilerWarning("Out of space for Branch Labels",1);
                return;
            }

            RspCode.BranchLocations[RspCode.BranchCount++] = i;
            if (RspOp.op == RSP_SPECIAL)
            {
                /* register jump not predictable */
            }
            else if (RspOp.op == RSP_J || RspOp.op == RSP_JAL)
            {
                /* for JAL its a sub-block for returns */
                Dest = (RspOp.target << 2) & 0xFFC;
                RspCode.BranchLabels[RspCode.LabelCount] = Dest;
                RspCode.LabelCount += 1;
#ifdef BUILD_BRANCHLABELS_VERBOSE
                CPU_Message("[%02i] Added branch at %X to %X", RspCode.LabelCount, i, Dest);
#endif
            }
            else
            {
                Dest = (i + ((int16_t)RspOp.offset << 2) + 4) & 0xFFC;
                RspCode.BranchLabels[RspCode.LabelCount] = Dest;
                RspCode.LabelCount += 1;
#ifdef BUILD_BRANCHLABELS_VERBOSE
                CPU_Message("[%02i] Added branch at %X to %X", RspCode.LabelCount, i, Dest);
#endif
            }
        }
    }

#ifdef BUILD_BRANCHLABELS_VERBOSE
    CPU_Message("***** End branch labels *****");
    CPU_Message("");
#endif
}

int32_t IsJumpLabel(uint32_t PC)
{
    uint32_t Count;

    if (!RspCode.LabelCount)
    {
        return 0;
    }

    for (Count = 0; Count < RspCode.LabelCount; Count++)
    {
        if (PC == RspCode.BranchLabels[Count])
        {
            return 1;
        }
    }
    return 0;
}



void CompilerLinkBlocks(void)
{
    uint8_t * KnownCode = *(RSPJumpTable + (RSPCompilePC >> 2));

    CPU_Message("***** Linking block to X86: %08X *****", KnownCode);
    RSPNextInstruction = FINISH_BLOCK;

    /* block linking scenario */
    RSPJmpLabel32(0);
    RSPx86_SetBranch32b(RSPRecompPos - 4, KnownCode);
}


void CompilerRSPBlock ( void )
{
    uint32_t Count, Padding, X86BaseAddress = (uintptr_t)RSPRecompPos;

    RSPNextInstruction = NORMAL;
    RSPCompilePC = *PrgCount;

    memset(&RSPCurrentBlock, 0, sizeof(RSPCurrentBlock));
    RSPCurrentBlock.StartPC = RSPCompilePC;
    RSPCurrentBlock.CurrPC = RSPCompilePC;


    /* Align the block to a boundary */
    if (X86BaseAddress & 7)
    {
        Padding = (8 - (X86BaseAddress & 7)) & 7;
        for (Count = 0; Count < Padding; Count++)
        {
            *(RSPRecompPos++) = 0x90;
        }
    }

    if (Compiler.bReOrdering == 1)
    {
        memcpy(&RSPCurrentBlock.IMEM[0], IMEM, 0x1000);
        ReOrderSubBlock(&RSPCurrentBlock);
    }

    /* this is for the block about to be compiled */
    *(RSPJumpTable + (RSPCompilePC >> 2)) = RSPRecompPos;


#ifdef USEX64
    RSPMoveConstQwordToX86reg(*TLB_Map, x86_R15);
#endif

    do
    {
        /*
        ** Re-Ordering is setup to allow us to have loop labels
        ** so here we see if this is one and put it in the jump table
        **/

        if (RSPNextInstruction == NORMAL && IsJumpLabel(RSPCompilePC))
        {
            /* jumps come around twice */
            if (NULL == *(RSPJumpTable + (RSPCompilePC >> 2)))
            {
                CPU_Message("***** Adding Jump Table Entry for PC: %04X at X86: %08X *****", RSPCompilePC, RSPRecompPos);
                CPU_Message("");
                *(RSPJumpTable + (RSPCompilePC >> 2)) = RSPRecompPos;

                /* reorder from here to next label or branch */
                RSPCurrentBlock.CurrPC = RSPCompilePC;
                ReOrderSubBlock(&RSPCurrentBlock);
            }
            else if (RSPNextInstruction != DELAY_SLOT_DONE)
            {
                /*
                 * we could link the blocks here, but performance
                 * wise it might be better to just let it run
                 */
            }
        }

        if (Compiler.bSections == 1)
        {
            //  if (1 == RSP_DoSections()) {
            //      continue;
            //  }
        }

#ifdef X86_RECOMP_VERBOSE
        if (0 == IsOpcodeNop(RSPCompilePC))
        {
            CPU_Message("X86 Address: %08X", RSPRecompPos);
        }
#endif

        RSP_LW_IMEM(RSPCompilePC, &RSPOpC.Hex);

        if (RSPOpC.Hex == 0xFFFFFFFF)
        {
            /* i think this pops up an unknown op dialog */
            /* NextInstruction = FINISH_BLOCK; */
        }
        else
        {
            ((void (*)()) RSP_Opcode[ RSPOpC.op ])();
        }

        //printf("%08x\n", RSPNextInstruction);

        switch (RSPNextInstruction)
        {
        case NORMAL:
            RSPCompilePC += 4;
            break;
        case DO_DELAY_SLOT:
            RSPNextInstruction = DELAY_SLOT;
            RSPCompilePC += 4;
            break;
        case DELAY_SLOT:
            RSPNextInstruction = DELAY_SLOT_DONE;
            RSPCompilePC -= 4;
            break;
        case FINISH_SUB_BLOCK:
            RSPNextInstruction = NORMAL;
            RSPCompilePC += 8;
            if (RSPCompilePC >= 0x1000)
            {
                RSPNextInstruction = FINISH_BLOCK;
            }
            else if (NULL == *(RSPJumpTable + (RSPCompilePC >> 2)))
            {
                /* this is for the new block being compiled now */
                CPU_Message("**** Continuing static SubBlock (jump table entry added for PC: %04X at X86: %08X) *****", RSPCompilePC, RSPRecompPos);
                *(RSPJumpTable + (RSPCompilePC >> 2)) = RSPRecompPos;

                RSPCurrentBlock.CurrPC = RSPCompilePC;
                /* reorder from after delay to next label or branch */
                ReOrderSubBlock(&RSPCurrentBlock);
            }
            else
            {
                CompilerLinkBlocks();
            }
            break;

        case FINISH_BLOCK:
            break;
        default:
            DisplayError("Rsp Main loop\n\nWTF NextInstruction = %d",RSPNextInstruction);
            RSPCompilePC += 4;
            break;
        }
    }
    while ( RSPNextInstruction != FINISH_BLOCK && RSPCompilePC < 0x1000);
    CPU_Message("==== end of recompiled code ====");

    if (Compiler.bReOrdering == 1)
    {
        memcpy(IMEM, &RSPCurrentBlock.IMEM[0], 0x1000);
    }
}

#include "types.h"


void RunRecompilerCPU ( uint32_t Cycles )
{
    uint8_t * Block = 0;

    RSP_Running = 1;
    RSPSetJumpTable();

    while (RSP_Running)
    {

        Block = *(RSPJumpTable + (*PrgCount >> 2));

        if (Block == NULL)
        {
            //__try {
            memset(&RspCode, 0, sizeof(RspCode));
            BuildBranchLabels();
            DetectGPRConstants(&RspCode);
            CompilerRSPBlock();

            Block = *(RSPJumpTable + (*PrgCount >> 2));

            /*
            ** we are done compiling, but we may have references
            ** to fill in still either from this block, or jumps
            ** that go out of it, let's rock
            **/

            LinkBranches(&RSPCurrentBlock);
        }
        {

            void (*block)();
            block=(void*)Block;
#ifdef USEX64
            __asm__ __volatile__("pushq %rax");
            __asm__ __volatile__("pushq %rbx");
            __asm__ __volatile__("pushq %rcx");
            __asm__ __volatile__("pushq %rdx");
            __asm__ __volatile__("pushq %rbp");
            __asm__ __volatile__("pushq %r8");
            __asm__ __volatile__("pushq %r9");
            __asm__ __volatile__("pushq %r10");
            __asm__ __volatile__("pushq %r11");
            __asm__ __volatile__("pushq %r12");
            __asm__ __volatile__("pushq %r13");
            __asm__ __volatile__("pushq %r14");
            __asm__ __volatile__("pushq %r15");

            block();

            __asm__ __volatile__("popq %r15");
            __asm__ __volatile__("popq %r14");
            __asm__ __volatile__("popq %r13");
            __asm__ __volatile__("popq %r12");
            __asm__ __volatile__("popq %r11");
            __asm__ __volatile__("popq %r10");
            __asm__ __volatile__("popq %r9");
            __asm__ __volatile__("popq %r8");
            __asm__ __volatile__("popq %rbp");
            __asm__ __volatile__("popq %rdx");
            __asm__ __volatile__("popq %rcx");
            __asm__ __volatile__("popq %rbx");
            __asm__ __volatile__("popq %rax");

#else
            __asm__ __volatile__("pusha");
            block();
            __asm__ __volatile__("popa");
#endif
        }
    }

    return;
}