]> git.sur5r.net Git - cc65/blobdiff - src/cc65/opcodes.c
Fixed more E_MCONST issues
[cc65] / src / cc65 / opcodes.c
index 6dd6cf409397c3c10ab3af8c063ffcb7f2080850..12b779ef839fc5bc7b35cb3fe337b32c27c3b32c 100644 (file)
@@ -6,10 +6,10 @@
 /*                                                                           */
 /*                                                                           */
 /*                                                                           */
-/* (C) 2001     Ullrich von Bassewitz                                        */
-/*              Wacholderweg 14                                              */
-/*              D-70597 Stuttgart                                            */
-/* EMail:       uz@musoftware.de                                             */
+/* (C) 2001      Ullrich von Bassewitz                                       */
+/*               Wacholderweg 14                                             */
+/*               D-70597 Stuttgart                                           */
+/* EMail:        uz@cc65.org                                                 */
 /*                                                                           */
 /*                                                                           */
 /* This software is provided 'as-is', without any expressed or implied       */
 
 /* cc65 */
 #include "codeinfo.h"
+#include "cpu.h"
+#include "error.h"
 #include "opcodes.h"
 
 
 
 /*****************************************************************************/
-/*                                  Data                                    */
+/*                                  Data                                    */
 /*****************************************************************************/
 
 
 
-/* Mapper table, mnemonic --> opcode */
-static const OPCDesc OPCTable[OPC_COUNT] = {
-    { "adc", OPC_ADC, 0, CI_USE_A | CI_CHG_A   },
-    { "and", OPC_AND, 0, CI_USE_A | CI_CHG_A           },
-    { "asl", OPC_ASL, 0, CI_USE_A | CI_CHG_A   },
-    { "bcc", OPC_BCC, 2, CI_BRA                        },
-    { "bcs", OPC_BCS, 2, CI_BRA                        },
-    { "beq", OPC_BEQ, 2, CI_BRA                        },
-    { "bit", OPC_BIT, 0, CI_USE_A                      },
-    { "bmi", OPC_BMI, 2, CI_BRA                        },
-    { "bne", OPC_BNE, 2, CI_BRA                        },
-    { "bpl", OPC_BPL, 2, CI_BRA                        },
-    { "bra", OPC_BRA, 2, CI_BRA                        },
-    { "brk", OPC_BRK, 1, CI_NONE               },
-    { "bvc", OPC_BVC, 2, CI_BRA                        },
-    { "bvs", OPC_BVS, 2, CI_BRA                        },
-    { "clc", OPC_CLC, 1, CI_CHG_NONE           },
-    { "cld", OPC_CLD, 1, CI_CHG_NONE           },
-    { "cli", OPC_CLI, 1, CI_CHG_NONE           },
-    { "clv", OPC_CLV, 1, CI_CHG_NONE           },
-    { "cmp", OPC_CMP, 0, CI_USE_A                      },
-    { "cpx", OPC_CPX, 0, CI_USE_X                      },
-    { "cpy", OPC_CPY, 0, CI_USE_Y                      },
-    { "dea", OPC_DEA, 1, CI_USE_A | CI_CHG_A           },
-    { "dec", OPC_DEC, 0, CI_NONE                       },
-    { "dex", OPC_DEX, 1, CI_USE_X | CI_CHG_X           },
-    { "dey", OPC_DEY, 1, CI_USE_Y | CI_CHG_Y           },
-    { "eor", OPC_EOR, 0, CI_USE_A | CI_CHG_A           },
-    { "ina", OPC_INA, 1, CI_USE_A | CI_CHG_A   },
-    { "inc", OPC_INC, 0, CI_NONE                       },
-    { "inx", OPC_INX, 1, CI_USE_X | CI_CHG_X           },
-    { "iny", OPC_INY, 1, CI_USE_Y | CI_CHG_Y   },
-    { "jcc", OPC_JCC, 5, CI_BRA                        },
-    { "jcs", OPC_JCS, 5, CI_BRA                        },
-    { "jeq", OPC_JEQ, 5, CI_BRA                        },
-    { "jmi", OPC_JMI, 5, CI_BRA                        },
-    { "jmp", OPC_JMP, 3, CI_BRA                        },
-    { "jne", OPC_JNE, 5, CI_BRA                        },
-    { "jpl", OPC_JPL, 5, CI_BRA                        },
-    { "jsr", OPC_JSR, 3, CI_BRA                        },
-    { "jvc", OPC_JVC, 5, CI_BRA                        },
-    { "jvs", OPC_JVS, 5, CI_BRA                        },
-    { "lda", OPC_LDA, 0, CI_CHG_A                      },
-    { "ldx", OPC_LDX, 0, CI_CHG_X                      },
-    { "ldy", OPC_LDY, 0, CI_CHG_Y                      },
-    { "lsr", OPC_LSR, 0, CI_USE_A | CI_CHG_A   },
-    { "nop", OPC_NOP, 1, CI_NONE                       },
-    { "ora", OPC_ORA, 0, CI_USE_A | CI_CHG_A   },
-    { "pha", OPC_PHA, 1, CI_USE_A                      },
-    { "php", OPC_PHP, 1, CI_NONE                       },
-    { "phx", OPC_PHX, 1, CI_USE_X                      },
-    { "phy", OPC_PHY, 1, CI_USE_Y                      },
-    { "pla", OPC_PLA, 1, CI_CHG_A                      },
-    { "plp", OPC_PLP, 1, CI_NONE                       },
-    { "plx", OPC_PLX, 1, CI_CHG_X                      },
-    { "ply", OPC_PLY, 1, CI_CHG_Y                      },
-    { "rol", OPC_ROL, 0, CI_USE_A | CI_CHG_A   },
-    { "ror", OPC_ROR, 0, CI_USE_A | CI_CHG_A   },
-    { "rti", OPC_RTI, 1, CI_NONE                       },
-    { "rts", OPC_RTS, 1, CI_NONE                       },
-    { "sbc", OPC_SBC, 0, CI_USE_A | CI_CHG_A   },
-    { "sec", OPC_SEC, 1, CI_NONE                       },
-    { "sed", OPC_SED, 1, CI_NONE                       },
-    { "sei", OPC_SEI, 1, CI_NONE                       },
-    { "sta", OPC_STA, 0, CI_USE_A                      },
-    { "stx", OPC_STX, 0, CI_USE_X                      },
-    { "sty", OPC_STY, 0, CI_USE_Y                      },
-    { "tax", OPC_TAX, 1, CI_USE_A | CI_CHG_X           },
-    { "tay", OPC_TAY, 1, CI_USE_A | CI_CHG_Y           },
-    { "trb", OPC_TRB, 0, CI_USE_A                      },
-    { "tsb", OPC_TSB, 0, CI_USE_A                      },
-    { "tsx", OPC_TSX, 1, CI_CHG_X                      },
-    { "txa", OPC_TXA, 1, CI_USE_X | CI_CHG_A           },
-    { "txs", OPC_TXS, 1, CI_USE_X                      },
-    { "tya", OPC_TYA, 1, CI_USE_Y | CI_CHG_A           }
+/* Opcode description table */
+const OPCDesc OPCTable[OPC_COUNT] = {
+    { OPC_ADC, "adc", 0, REG_A,           REG_A,    OF_NONE                        },
+    { OPC_AND, "and", 0, REG_A,    REG_A,    OF_NONE                       },
+    { OPC_ASL, "asl", 0, REG_A,    REG_A,    OF_NONE                       },
+    { OPC_BCC, "bcc", 2, REG_NONE, REG_NONE, OF_CBRA                       },
+    { OPC_BCS, "bcs", 2, REG_NONE, REG_NONE, OF_CBRA                       },
+    { OPC_BEQ, "beq", 2, REG_NONE, REG_NONE, OF_CBRA | OF_ZBRA | OF_FBRA    },
+    { OPC_BIT, "bit", 0, REG_A,    REG_NONE, OF_NONE                       },
+    { OPC_BMI, "bmi", 2, REG_NONE, REG_NONE, OF_CBRA | OF_FBRA                     },
+    { OPC_BNE, "bne", 2, REG_NONE, REG_NONE, OF_CBRA | OF_ZBRA | OF_FBRA    },
+    { OPC_BPL, "bpl", 2, REG_NONE, REG_NONE, OF_CBRA | OF_FBRA                     },
+    { OPC_BRA, "bra", 2, REG_NONE, REG_NONE, OF_UBRA                       },
+    { OPC_BRK, "brk", 1, REG_NONE, REG_NONE, OF_NONE                       },
+    { OPC_BVC, "bvc", 2, REG_NONE, REG_NONE, OF_CBRA                       },
+    { OPC_BVS, "bvs", 2, REG_NONE, REG_NONE, OF_CBRA                       },
+    { OPC_CLC, "clc", 1, REG_NONE, REG_NONE, OF_NONE                       },
+    { OPC_CLD, "cld", 1, REG_NONE, REG_NONE, OF_NONE                       },
+    { OPC_CLI, "cli", 1, REG_NONE, REG_NONE, OF_NONE                       },
+    { OPC_CLV, "clv", 1, REG_NONE, REG_NONE, OF_NONE                       },
+    { OPC_CMP, "cmp", 0, REG_A,    REG_NONE, OF_NONE                       },
+    { OPC_CPX, "cpx", 0, REG_X,    REG_NONE, OF_NONE                       },
+    { OPC_CPY, "cpy", 0, REG_Y,    REG_NONE, OF_NONE                       },
+    { OPC_DEA, "dea", 1, REG_A,    REG_A,    OF_NONE                       },
+    { OPC_DEC, "dec", 0, REG_NONE, REG_NONE, OF_NONE                       },
+    { OPC_DEX, "dex", 1, REG_X,    REG_X,    OF_NONE                       },
+    { OPC_DEY, "dey", 1, REG_Y,    REG_Y,    OF_NONE                       },
+    { OPC_EOR, "eor", 0, REG_A,    REG_A,    OF_NONE                       },
+    { OPC_INA, "ina", 1, REG_A,    REG_A,    OF_NONE                       },
+    { OPC_INC, "inc", 0, REG_NONE, REG_NONE, OF_NONE                       },
+    { OPC_INX, "inx", 1, REG_X,    REG_X,    OF_NONE                       },
+    { OPC_INY, "iny", 1, REG_Y,    REG_Y,    OF_NONE                       },
+    { OPC_JCC, "jcc", 5, REG_NONE, REG_NONE, OF_CBRA | OF_LBRA             },
+    { OPC_JCS, "jcs", 5, REG_NONE, REG_NONE, OF_CBRA | OF_LBRA             },
+    { OPC_JEQ, "jeq", 5, REG_NONE, REG_NONE, OF_CBRA | OF_LBRA | OF_ZBRA | OF_FBRA },
+    { OPC_JMI, "jmi", 5, REG_NONE, REG_NONE, OF_CBRA | OF_LBRA | OF_FBRA    },
+    { OPC_JMP, "jmp", 3, REG_NONE, REG_NONE, OF_UBRA | OF_LBRA             },
+    { OPC_JNE, "jne", 5, REG_NONE, REG_NONE, OF_CBRA | OF_LBRA | OF_ZBRA | OF_FBRA },
+    { OPC_JPL, "jpl", 5, REG_NONE, REG_NONE, OF_CBRA | OF_LBRA | OF_FBRA    },
+    { OPC_JSR, "jsr", 3, REG_NONE, REG_NONE, OF_NONE                       },
+    { OPC_JVC, "jvc", 5, REG_NONE, REG_NONE, OF_CBRA | OF_LBRA             },
+    { OPC_JVS, "jvs", 5, REG_NONE, REG_NONE, OF_CBRA | OF_LBRA             },
+    { OPC_LDA, "lda", 0, REG_NONE, REG_A,    OF_LOAD                               },
+    { OPC_LDX, "ldx", 0, REG_NONE, REG_X,    OF_LOAD                       },
+    { OPC_LDY, "ldy", 0, REG_NONE, REG_Y,    OF_LOAD                       },
+    { OPC_LSR, "lsr", 0, REG_A,    REG_A,    OF_NONE                       },
+    { OPC_NOP, "nop", 1, REG_NONE, REG_NONE, OF_NONE                       },
+    { OPC_ORA, "ora", 0, REG_A,    REG_A,    OF_NONE                       },
+    { OPC_PHA, "pha", 1, REG_A,    REG_NONE, OF_NONE                       },
+    { OPC_PHP, "php", 1, REG_NONE, REG_NONE, OF_NONE                       },
+    { OPC_PHX, "phx", 1, REG_X,    REG_NONE, OF_NONE                       },
+    { OPC_PHY, "phy", 1, REG_Y,    REG_NONE, OF_NONE                       },
+    { OPC_PLA, "pla", 1, REG_NONE, REG_A,    OF_NONE                       },
+    { OPC_PLP, "plp", 1, REG_NONE, REG_NONE, OF_NONE                       },
+    { OPC_PLX, "plx", 1, REG_NONE, REG_X,    OF_NONE                       },
+    { OPC_PLY, "ply", 1, REG_NONE, REG_Y,    OF_NONE                       },
+    { OPC_ROL, "rol", 0, REG_A,    REG_A,    OF_NONE                       },
+    { OPC_ROR, "ror", 0, REG_A,    REG_A,    OF_NONE                       },
+    { OPC_RTI, "rti", 1, REG_NONE, REG_NONE, OF_RET                        },
+    { OPC_RTS, "rts", 1, REG_NONE, REG_NONE, OF_RET                        },
+    { OPC_SBC, "sbc", 0, REG_A,    REG_A,    OF_NONE                       },
+    { OPC_SEC, "sec", 1, REG_NONE, REG_NONE, OF_NONE                       },
+    { OPC_SED, "sed", 1, REG_NONE, REG_NONE, OF_NONE                       },
+    { OPC_SEI, "sei", 1, REG_NONE, REG_NONE, OF_NONE                       },
+    { OPC_STA, "sta", 0, REG_A,    REG_NONE, OF_NONE                       },
+    { OPC_STX, "stx", 0, REG_X,    REG_NONE, OF_NONE                       },
+    { OPC_STY, "sty", 0, REG_Y,    REG_NONE, OF_NONE                       },
+    { OPC_TAX, "tax", 1, REG_A,    REG_X,    OF_XFR                        },
+    { OPC_TAY, "tay", 1, REG_A,    REG_Y,    OF_XFR                        },
+    { OPC_TRB, "trb", 0, REG_A,    REG_NONE, OF_NONE                       },
+    { OPC_TSB, "tsb", 0, REG_A,    REG_NONE, OF_NONE                       },
+    { OPC_TSX, "tsx", 1, REG_NONE, REG_X,    OF_XFR                        },
+    { OPC_TXA, "txa", 1, REG_X,    REG_A,    OF_XFR                        },
+    { OPC_TXS, "txs", 1, REG_X,    REG_NONE, OF_XFR                        },
+    { OPC_TYA, "tya", 1, REG_A,    REG_A,    OF_XFR                        },
 };
 
 
@@ -179,38 +181,226 @@ unsigned GetInsnSize (opc_t OPC, am_t AM)
     /* Get the opcode desc and check the size given there */
     const OPCDesc* D = &OPCTable[OPC];
     if (D->Size != 0) {
-       return D->Size;
+       return D->Size;
     }
 
     /* Check the addressing mode. */
     switch (AM) {
-       case AM_IMP:      return 1;
-       case AM_ACC:      return 1;
-       case AM_IMM:      return 2;
-       case AM_ZP:       return 2;
-       case AM_ZPX:      return 2;
-       case AM_ABS:      return 3;
-       case AM_ABSX:     return 3;
-       case AM_ABSY:     return 3;
-       case AM_ZPX_IND:  return 2;
-       case AM_ZP_INDY:  return 2;
-       case AM_ZP_IND:   return 2;
-       default:          FAIL ("Invalid addressing mode");
+       case AM_IMP:      return 1;
+       case AM_ACC:      return 1;
+       case AM_IMM:      return 2;
+       case AM_ZP:       return 2;
+       case AM_ZPX:      return 2;
+       case AM_ABS:      return 3;
+       case AM_ABSX:     return 3;
+       case AM_ABSY:     return 3;
+       case AM_ZPX_IND:  return 2;
+       case AM_ZP_INDY:  return 2;
+       case AM_ZP_IND:   return 2;
+       default:          
+           Internal ("Invalid addressing mode");
+           return 0;
     }
 }
 
 
 
-const OPCDesc* GetOPCDesc (opc_t OPC)
-/* Get an opcode description */
+unsigned char GetAMUseInfo (am_t AM)
+/* Get usage info for the given addressing mode (addressing modes that use
+ * index registers return REG_r info for these registers).
+ */
+{
+    /* Check the addressing mode. */
+    switch (AM) {
+               case AM_ACC:      return REG_A;
+               case AM_ZPX:      return REG_X;
+               case AM_ABSX:     return REG_X;
+               case AM_ABSY:     return REG_Y;
+               case AM_ZPX_IND:  return REG_X;
+               case AM_ZP_INDY:  return REG_Y;
+               default:          return REG_NONE;
+    }
+}
+
+
+
+opc_t GetInverseBranch (opc_t OPC)
+/* Return a branch that reverse the condition of the branch given in OPC */
+{
+    switch (OPC) {
+       case OPC_BCC:   return OPC_BCS;
+       case OPC_BCS:   return OPC_BCC;
+       case OPC_BEQ:   return OPC_BNE;
+       case OPC_BMI:   return OPC_BPL;
+       case OPC_BNE:   return OPC_BEQ;
+       case OPC_BPL:   return OPC_BMI;
+       case OPC_BVC:   return OPC_BVS;
+       case OPC_BVS:   return OPC_BVC;
+               case OPC_JCC:   return OPC_JCS;
+               case OPC_JCS:   return OPC_JCC;
+               case OPC_JEQ:   return OPC_JNE;
+               case OPC_JMI:   return OPC_JPL;
+               case OPC_JNE:   return OPC_JEQ;
+               case OPC_JPL:   return OPC_JMI;
+               case OPC_JVC:   return OPC_JVS;
+               case OPC_JVS:   return OPC_JVC;
+       default:        
+           Internal ("GetInverseBranch: Invalid opcode: %d", OPC);
+           return 0;
+    }
+}
+
+
+
+opc_t MakeShortBranch (opc_t OPC)
+/* Return the short version of the given branch. If the branch is already
+ * a short branch, return the opcode unchanged.
+ */
+{
+    switch (OPC) {
+               case OPC_BCC:
+               case OPC_JCC:   return OPC_BCC;
+               case OPC_BCS:
+               case OPC_JCS:   return OPC_BCS;
+               case OPC_BEQ:
+               case OPC_JEQ:   return OPC_BEQ;
+               case OPC_BMI:
+               case OPC_JMI:   return OPC_BMI;
+               case OPC_BNE:
+               case OPC_JNE:   return OPC_BNE;
+               case OPC_BPL:
+               case OPC_JPL:   return OPC_BPL;
+               case OPC_BVC:
+               case OPC_JVC:   return OPC_BVC;
+               case OPC_BVS:
+               case OPC_JVS:   return OPC_BVS;
+               case OPC_BRA:
+       case OPC_JMP:   return (CPU == CPU_65C02)? OPC_BRA : OPC_JMP;
+               default:        
+           Internal ("GetShortBranch: Invalid opcode: %d", OPC);
+           return 0;
+    }
+}
+
+
+
+opc_t MakeLongBranch (opc_t OPC)
+/* Return the long version of the given branch. If the branch is already
+ * a long branch, return the opcode unchanged.
+ */
 {
-    /* Check the range */
-    PRECONDITION (OPC >= (opc_t)0 && OPC < OPC_COUNT);
+    switch (OPC) {
+               case OPC_BCC:
+               case OPC_JCC:   return OPC_JCC;
+               case OPC_BCS:
+               case OPC_JCS:   return OPC_JCS;
+               case OPC_BEQ:
+               case OPC_JEQ:   return OPC_JEQ;
+               case OPC_BMI:
+               case OPC_JMI:   return OPC_JMI;
+               case OPC_BNE:
+               case OPC_JNE:   return OPC_JNE;
+               case OPC_BPL:
+               case OPC_JPL:   return OPC_JPL;
+               case OPC_BVC:
+               case OPC_JVC:   return OPC_JVC;
+               case OPC_BVS:
+               case OPC_JVS:   return OPC_JVS;
+       case OPC_BRA:
+       case OPC_JMP:   return OPC_JMP;
+               default:        
+           Internal ("GetShortBranch: Invalid opcode: %d", OPC);
+           return 0;
+    }
+}
+
+
+
+bc_t GetBranchCond (opc_t OPC)
+/* Get the condition for the conditional branch in OPC */
+{
+    switch (OPC) {
+               case OPC_BCC:   return BC_CC;
+               case OPC_BCS:   return BC_CS;
+               case OPC_BEQ:   return BC_EQ;
+               case OPC_BMI:   return BC_MI;
+               case OPC_BNE:   return BC_NE;
+               case OPC_BPL:   return BC_PL;
+               case OPC_BVC:   return BC_VC;
+               case OPC_BVS:   return BC_VS;
+               case OPC_JCC:   return BC_CC;
+               case OPC_JCS:   return BC_CS;
+               case OPC_JEQ:   return BC_EQ;
+               case OPC_JMI:   return BC_MI;
+               case OPC_JNE:   return BC_NE;
+               case OPC_JPL:   return BC_PL;
+               case OPC_JVC:   return BC_VC;
+               case OPC_JVS:   return BC_VS;
+       default:        
+           Internal ("GetBranchCond: Invalid opcode: %d", OPC);
+           return 0;
+    }
+}
+
 
-    /* Return the description */
-    return &OPCTable [OPC];
+
+bc_t GetInverseCond (bc_t BC)
+/* Return the inverse condition of the given one */
+{
+    switch (BC) {
+               case BC_CC:     return BC_CS;
+               case BC_CS:     return BC_CC;
+               case BC_EQ:     return BC_NE;
+               case BC_MI:     return BC_PL;
+               case BC_NE:     return BC_EQ;
+               case BC_PL:     return BC_MI;
+               case BC_VC:     return BC_VS;
+               case BC_VS:     return BC_VC;
+       default:        
+           Internal ("GetInverseCond: Invalid condition: %d", BC);
+           return 0;
+    }
 }
 
 
 
+opc_t GetLongBranch (bc_t BC)
+/* Return a long branch for the given branch condition */
+{
+    switch (BC) {
+       case BC_CC:     return OPC_JCC;
+       case BC_CS:     return OPC_JCS;
+       case BC_EQ:     return OPC_JEQ;
+       case BC_MI:     return OPC_JMI;
+       case BC_NE:     return OPC_JNE;
+       case BC_PL:     return OPC_JPL;
+       case BC_VC:     return OPC_JVC;
+       case BC_VS:     return OPC_JVS;
+               default:        
+           Internal ("GetLongBranch: Invalid condition: %d", BC);
+           return 0;
+    }
+}
+
+
+
+opc_t GetShortBranch (bc_t BC)
+/* Return a short branch for the given branch condition */
+{
+    switch (BC) {
+               case BC_CC:     return OPC_BCC;
+               case BC_CS:     return OPC_BCS;
+               case BC_EQ:     return OPC_BEQ;
+               case BC_MI:     return OPC_BMI;
+               case BC_NE:     return OPC_BNE;
+               case BC_PL:     return OPC_BPL;
+               case BC_VC:     return OPC_BVC;
+               case BC_VS:     return OPC_BVS;
+               default:        
+           Internal ("GetShortBranch: Invalid condition: %d", BC);
+           return 0;
+    }
+}
+
+