+ /* Handle the different instructions */
+ switch (E->OPC) {
+
+ case OP65_ADC:
+ /* We don't know the value of the carry, so the result is
+ * always unknown.
+ */
+ Out->RegA = -1;
+ break;
+
+ case OP65_AND:
+ if (In->RegA >= 0) {
+ if (CE_KnownImm (E)) {
+ Out->RegA = In->RegA & (short) E->Num;
+ } else if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Use, In)) {
+ case REG_TMP1:
+ Out->RegA = In->RegA & In->Tmp1;
+ break;
+ case REG_SREG_LO:
+ Out->RegA = In->RegA & In->SRegLo;
+ break;
+ case REG_SREG_HI:
+ Out->RegA = In->RegA & In->SRegHi;
+ break;
+ default:
+ Out->RegA = -1;
+ break;
+ }
+ } else {
+ Out->RegA = -1;
+ }
+ }
+ break;
+
+ case OP65_ASL:
+ if (E->AM == AM65_ACC && In->RegA >= 0) {
+ Out->RegA = (In->RegA << 1) & 0xFF;
+ } else if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Chg, In)) {
+ case REG_TMP1:
+ Out->Tmp1 = (In->Tmp1 << 1) & 0xFF;
+ break;
+ case REG_SREG_LO:
+ Out->SRegLo = (In->SRegLo << 1) & 0xFF;
+ break;
+ case REG_SREG_HI:
+ Out->SRegHi = (In->SRegHi << 1) & 0xFF;
+ break;
+ }
+ } else if (E->AM == AM65_ZPX) {
+ /* Invalidates all ZP registers */
+ RC_InvalidateZP (Out);
+ }
+ break;
+
+ case OP65_BCC:
+ break;
+
+ case OP65_BCS:
+ break;
+
+ case OP65_BEQ:
+ break;
+
+ case OP65_BIT:
+ break;
+
+ case OP65_BMI:
+ break;
+
+ case OP65_BNE:
+ break;
+
+ case OP65_BPL:
+ break;
+
+ case OP65_BRA:
+ break;
+
+ case OP65_BRK:
+ break;
+
+ case OP65_BVC:
+ break;
+
+ case OP65_BVS:
+ break;
+
+ case OP65_CLC:
+ break;
+
+ case OP65_CLD:
+ break;
+
+ case OP65_CLI:
+ break;
+
+ case OP65_CLV:
+ break;
+
+ case OP65_CMP:
+ break;
+
+ case OP65_CPX:
+ break;
+
+ case OP65_CPY:
+ break;
+
+ case OP65_DEA:
+ if (In->RegA >= 0) {
+ Out->RegA = (In->RegA - 1) & 0xFF;
+ }
+ break;
+
+ case OP65_DEC:
+ if (E->AM == AM65_ACC && In->RegA >= 0) {
+ Out->RegA = (In->RegA - 1) & 0xFF;
+ } else if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Chg, In)) {
+ case REG_TMP1:
+ Out->Tmp1 = (In->Tmp1 - 1) & 0xFF;
+ break;
+ case REG_SREG_LO:
+ Out->SRegLo = (In->SRegLo - 1) & 0xFF;
+ break;
+ case REG_SREG_HI:
+ Out->SRegHi = (In->SRegHi - 1) & 0xFF;
+ break;
+ }
+ } else if (E->AM == AM65_ZPX) {
+ /* Invalidates all ZP registers */
+ RC_InvalidateZP (Out);
+ }
+ break;
+
+ case OP65_DEX:
+ if (In->RegX >= 0) {
+ Out->RegX = (In->RegX - 1) & 0xFF;
+ }
+ break;
+
+ case OP65_DEY:
+ if (In->RegY >= 0) {
+ Out->RegY = (In->RegY - 1) & 0xFF;
+ }
+ break;
+
+ case OP65_EOR:
+ if (In->RegA >= 0) {
+ if (CE_KnownImm (E)) {
+ Out->RegA = In->RegA ^ (short) E->Num;
+ } else if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Use, In)) {
+ case REG_TMP1:
+ Out->RegA = In->RegA ^ In->Tmp1;
+ break;
+ case REG_SREG_LO:
+ Out->RegA = In->RegA ^ In->SRegLo;
+ break;
+ case REG_SREG_HI:
+ Out->RegA = In->RegA ^ In->SRegHi;
+ break;
+ default:
+ Out->RegA = -1;
+ break;
+ }
+ } else {
+ Out->RegA = -1;
+ }
+ }
+ break;
+
+ case OP65_INA:
+ if (In->RegA >= 0) {
+ Out->RegA = (In->RegA + 1) & 0xFF;
+ }
+ break;
+
+ case OP65_INC:
+ if (E->AM == AM65_ACC && In->RegA >= 0) {
+ Out->RegA = (In->RegA + 1) & 0xFF;
+ } else if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Chg, In)) {
+ case REG_TMP1:
+ Out->Tmp1 = (In->Tmp1 + 1) & 0xFF;
+ break;
+ case REG_SREG_LO:
+ Out->SRegLo = (In->SRegLo + 1) & 0xFF;
+ break;
+ case REG_SREG_HI:
+ Out->SRegHi = (In->SRegHi + 1) & 0xFF;
+ break;
+ }
+ } else if (E->AM == AM65_ZPX) {
+ /* Invalidates all ZP registers */
+ RC_InvalidateZP (Out);
+ }
+ break;
+
+ case OP65_INX:
+ if (In->RegX >= 0) {
+ Out->RegX = (In->RegX + 1) & 0xFF;
+ }
+ break;
+
+ case OP65_INY:
+ if (In->RegY >= 0) {
+ Out->RegY = (In->RegY + 1) & 0xFF;
+ }
+ break;
+
+ case OP65_JCC:
+ break;
+
+ case OP65_JCS:
+ break;
+
+ case OP65_JEQ:
+ break;
+
+ case OP65_JMI:
+ break;
+
+ case OP65_JMP:
+ break;
+
+ case OP65_JNE:
+ break;
+
+ case OP65_JPL:
+ break;
+
+ case OP65_JSR:
+ /* Get the code info for the function */
+ GetFuncInfo (E->Arg, &Use, &Chg);
+ if (Chg & REG_A) {
+ Out->RegA = -1;
+ }
+ if (Chg & REG_X) {
+ Out->RegX = -1;
+ }
+ if (Chg & REG_Y) {
+ Out->RegY = -1;
+ }
+ if (Chg & REG_TMP1) {
+ Out->Tmp1 = -1;
+ }
+ if (Chg & REG_SREG_LO) {
+ Out->SRegLo = -1;
+ }
+ if (Chg & REG_SREG_HI) {
+ Out->SRegHi = -1;
+ }
+ /* ## FIXME: Quick hack for some known functions: */
+ if (strcmp (E->Arg, "tosandax") == 0) {
+ if (In->RegA == 0) {
+ Out->RegA = 0;
+ }
+ if (In->RegX == 0) {
+ Out->RegX = 0;
+ }
+ } else if (strcmp (E->Arg, "tosorax") == 0) {
+ if (In->RegA == 0xFF) {
+ Out->RegA = 0xFF;
+ }
+ if (In->RegX == 0xFF) {
+ Out->RegX = 0xFF;
+ }
+ } else if (FindBoolCmpCond (E->Arg) != CMP_INV) {
+ Out->RegX = 0;
+ }
+ break;
+
+ case OP65_JVC:
+ break;
+
+ case OP65_JVS:
+ break;
+
+ case OP65_LDA:
+ if (CE_KnownImm (E)) {
+ Out->RegA = (unsigned char) E->Num;
+ } else if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Use, In)) {
+ case REG_TMP1:
+ Out->RegA = In->Tmp1;
+ break;
+ case REG_SREG_LO:
+ Out->RegA = In->SRegLo;
+ break;
+ case REG_SREG_HI:
+ Out->RegA = In->SRegHi;
+ break;
+ default:
+ Out->RegA = -1;
+ break;
+ }
+ } else {
+ /* A is now unknown */
+ Out->RegA = -1;
+ }
+ break;
+
+ case OP65_LDX:
+ if (CE_KnownImm (E)) {
+ Out->RegX = (unsigned char) E->Num;
+ } else if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Use, In)) {
+ case REG_TMP1:
+ Out->RegX = In->Tmp1;
+ break;
+ case REG_SREG_LO:
+ Out->RegX = In->SRegLo;
+ break;
+ case REG_SREG_HI:
+ Out->RegX = In->SRegHi;
+ break;
+ default:
+ Out->RegX = -1;
+ break;
+ }
+ } else {
+ /* X is now unknown */
+ Out->RegX = -1;
+ }
+ break;
+
+ case OP65_LDY:
+ if (CE_KnownImm (E)) {
+ Out->RegY = (unsigned char) E->Num;
+ } else if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Use, In)) {
+ case REG_TMP1:
+ Out->RegY = In->Tmp1;
+ break;
+ case REG_SREG_LO:
+ Out->RegY = In->SRegLo;
+ break;
+ case REG_SREG_HI:
+ Out->RegY = In->SRegHi;
+ break;
+ default:
+ Out->RegY = -1;
+ break;
+ }
+ } else {
+ /* Y is now unknown */
+ Out->RegY = -1;
+ }
+ break;
+
+ case OP65_LSR:
+ if (E->AM == AM65_ACC && In->RegA >= 0) {
+ Out->RegA = (In->RegA >> 1) & 0xFF;
+ } else if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Chg, In)) {
+ case REG_TMP1:
+ Out->Tmp1 = (In->Tmp1 >> 1) & 0xFF;
+ break;
+ case REG_SREG_LO:
+ Out->SRegLo = (In->SRegLo >> 1) & 0xFF;
+ break;
+ case REG_SREG_HI:
+ Out->SRegHi = (In->SRegHi >> 1) & 0xFF;
+ break;
+ }
+ } else if (E->AM == AM65_ZPX) {
+ /* Invalidates all ZP registers */
+ RC_InvalidateZP (Out);
+ }
+ break;
+
+ case OP65_NOP:
+ break;
+
+ case OP65_ORA:
+ if (In->RegA >= 0) {
+ if (CE_KnownImm (E)) {
+ Out->RegA = In->RegA | (short) E->Num;
+ } else if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Use, In)) {
+ case REG_TMP1:
+ Out->RegA = In->RegA | In->Tmp1;
+ break;
+ case REG_SREG_LO:
+ Out->RegA = In->RegA | In->SRegLo;
+ break;
+ case REG_SREG_HI:
+ Out->RegA = In->RegA | In->SRegHi;
+ break;
+ default:
+ Out->RegA = -1;
+ break;
+ }
+ } else {
+ /* A is now unknown */
+ Out->RegA = -1;
+ }
+ }
+ break;
+
+ case OP65_PHA:
+ break;
+
+ case OP65_PHP:
+ break;
+
+ case OP65_PHX:
+ break;
+
+ case OP65_PHY:
+ break;
+
+ case OP65_PLA:
+ Out->RegA = -1;
+ break;
+
+ case OP65_PLP:
+ break;
+
+ case OP65_PLX:
+ Out->RegX = -1;
+ break;
+
+ case OP65_PLY:
+ Out->RegY = -1;
+ break;
+
+ case OP65_ROL:
+ /* We don't know the value of the carry bit */
+ if (E->AM == AM65_ACC) {
+ Out->RegA = -1;
+ } else if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Chg, In)) {
+ case REG_TMP1:
+ Out->Tmp1 = -1;
+ break;
+ case REG_SREG_LO:
+ Out->SRegLo = -1;
+ break;
+ case REG_SREG_HI:
+ Out->SRegHi = -1;
+ break;
+ }
+ } else if (E->AM == AM65_ZPX) {
+ /* Invalidates all ZP registers */
+ RC_InvalidateZP (Out);
+ }
+ break;
+
+ case OP65_ROR:
+ /* We don't know the value of the carry bit */
+ if (E->AM == AM65_ACC) {
+ Out->RegA = -1;
+ } else if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Chg, In)) {
+ case REG_TMP1:
+ Out->Tmp1 = -1;
+ break;
+ case REG_SREG_LO:
+ Out->SRegLo = -1;
+ break;
+ case REG_SREG_HI:
+ Out->SRegHi = -1;
+ break;
+ }
+ } else if (E->AM == AM65_ZPX) {
+ /* Invalidates all ZP registers */
+ RC_InvalidateZP (Out);
+ }
+ break;
+
+ case OP65_RTI:
+ break;
+
+ case OP65_RTS:
+ break;
+
+ case OP65_SBC:
+ /* We don't know the value of the carry bit */
+ Out->RegA = -1;
+ break;
+
+ case OP65_SEC:
+ break;
+
+ case OP65_SED:
+ break;
+
+ case OP65_SEI:
+ break;
+
+ case OP65_STA:
+ if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Chg, 0)) {
+ case REG_TMP1:
+ Out->Tmp1 = In->RegA;
+ break;
+ case REG_SREG_LO:
+ Out->SRegLo = In->RegA;
+ break;
+ case REG_SREG_HI:
+ Out->SRegHi = In->RegA;
+ break;
+ }
+ } else if (E->AM == AM65_ZPX) {
+ /* Invalidates all ZP registers */
+ RC_InvalidateZP (Out);
+ }
+ break;
+
+ case OP65_STX:
+ if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Chg, 0)) {
+ case REG_TMP1:
+ Out->Tmp1 = In->RegX;
+ break;
+ case REG_SREG_LO:
+ Out->SRegLo = In->RegX;
+ break;
+ case REG_SREG_HI:
+ Out->SRegHi = In->RegX;
+ break;
+ }
+ } else if (E->AM == AM65_ZPX) {
+ /* Invalidates all ZP registers */
+ RC_InvalidateZP (Out);
+ }
+ break;
+
+ case OP65_STY:
+ if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Chg, 0)) {
+ case REG_TMP1:
+ Out->Tmp1 = In->RegY;
+ break;
+ case REG_SREG_LO:
+ Out->SRegLo = In->RegY;
+ break;
+ case REG_SREG_HI:
+ Out->SRegHi = In->RegY;
+ break;
+ }
+ } else if (E->AM == AM65_ZPX) {
+ /* Invalidates all ZP registers */
+ RC_InvalidateZP (Out);
+ }
+ break;
+
+ case OP65_STZ:
+ if (E->AM == AM65_ZP) {
+ switch (GetKnownReg (E->Chg, 0)) {
+ case REG_TMP1:
+ Out->Tmp1 = 0;
+ break;
+ case REG_SREG_LO:
+ Out->SRegLo = 0;
+ break;
+ case REG_SREG_HI:
+ Out->SRegHi = 0;
+ break;
+ }
+ } else if (E->AM == AM65_ZPX) {
+ /* Invalidates all ZP registers */
+ RC_InvalidateZP (Out);
+ }
+ break;
+
+ case OP65_TAX:
+ Out->RegX = In->RegA;
+ break;
+
+ case OP65_TAY:
+ Out->RegY = In->RegA;
+ break;
+
+ case OP65_TRB:
+ if (E->AM == AM65_ZPX) {
+ /* Invalidates all ZP registers */
+ RC_InvalidateZP (Out);
+ } else if (E->AM == AM65_ZP) {
+ if (In->RegA >= 0) {
+ switch (GetKnownReg (E->Chg, In)) {
+ case REG_TMP1:
+ Out->Tmp1 &= ~In->RegA;
+ break;
+ case REG_SREG_LO:
+ Out->SRegLo &= ~In->RegA;
+ break;
+ case REG_SREG_HI:
+ Out->SRegHi &= ~In->RegA;
+ break;
+ }
+ } else {
+ switch (GetKnownReg (E->Chg, In)) {
+ case REG_TMP1:
+ Out->Tmp1 = -1;
+ break;
+ case REG_SREG_LO:
+ Out->SRegLo = -1;
+ break;
+ case REG_SREG_HI:
+ Out->SRegHi = -1;
+ break;
+ }
+ }
+ }
+ break;
+
+ case OP65_TSB:
+ if (E->AM == AM65_ZPX) {
+ /* Invalidates all ZP registers */
+ RC_InvalidateZP (Out);
+ } else if (E->AM == AM65_ZP) {
+ if (In->RegA >= 0) {
+ switch (GetKnownReg (E->Chg, In)) {
+ case REG_TMP1:
+ Out->Tmp1 |= In->RegA;
+ break;
+ case REG_SREG_LO:
+ Out->SRegLo |= In->RegA;
+ break;
+ case REG_SREG_HI:
+ Out->SRegHi |= In->RegA;
+ break;
+ }
+ } else {
+ switch (GetKnownReg (E->Chg, In)) {
+ case REG_TMP1:
+ Out->Tmp1 = -1;
+ break;
+ case REG_SREG_LO:
+ Out->SRegLo = -1;
+ break;
+ case REG_SREG_HI:
+ Out->SRegHi = -1;
+ break;
+ }
+ }
+ }
+ break;
+
+ case OP65_TSX:
+ Out->RegX = -1;
+ break;
+
+ case OP65_TXA:
+ Out->RegA = In->RegX;
+ break;
+
+ case OP65_TXS:
+ break;
+
+ case OP65_TYA:
+ Out->RegA = In->RegY;
+ break;
+
+ default:
+ break;
+
+ }