Difference between revisions of "K65 Instructions"
From KK's Wiki
m (Fixed BIT instruction) |
|||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| + | [[Category:K65]] | ||
| + | __FORCETOC__ | ||
| + | '''[[K65]]''' compiler supports following 6502 instructions. | ||
| + | ''TBD'' value means that instruction support is planned, but currently not implemented. | ||
| + | === Standard 6502 instructions === | ||
{| class="wikitable" style="text-align: center;" | {| class="wikitable" style="text-align: center;" | ||
| + | ! colspan="11" | Standard 6502 opcodes | ||
| + | |- | ||
! rowspan="2" | Opcode | ! rowspan="2" | Opcode | ||
! rowspan="2" | Description | ! rowspan="2" | Description | ||
| Line 26: | Line 33: | ||
| BEQ || style="text-align: left;" | branch on equal (zero set) || colspan="9" | { ... } ''or'' == goto label ''or'' { ... } == | | BEQ || style="text-align: left;" | branch on equal (zero set) || colspan="9" | { ... } ''or'' == goto label ''or'' { ... } == | ||
|- | |- | ||
| − | | BIT || style="text-align: left;" | bit test || || || || a?mem || || || || || | + | | BIT || style="text-align: left;" | bit test || || || || a&?mem || || || || || |
|- | |- | ||
| BMI || style="text-align: left;" | branch on minus (negative set) || colspan="9" | >=0{ ... } ''or'' <0 goto label ''or'' { ... } <0 | | BMI || style="text-align: left;" | branch on minus (negative set) || colspan="9" | >=0{ ... } ''or'' <0 goto label ''or'' { ... } <0 | ||
| Line 131: | Line 138: | ||
|- | |- | ||
|} | |} | ||
| + | === Undocumented 6502 instructions === | ||
{| class="wikitable" style="text-align: center;" | {| class="wikitable" style="text-align: center;" | ||
! colspan="11" | Undocumented 6502 opcodes | ! colspan="11" | Undocumented 6502 opcodes | ||
| Line 161: | Line 169: | ||
|- | |- | ||
| LAX || style="text-align: left;" | load to Acc and X || || || || a=x=mem || || a=x=mem,y || a=x=(mem,x) || a=x=(mem),y || | | LAX || style="text-align: left;" | load to Acc and X || || || || a=x=mem || || a=x=mem,y || a=x=(mem,x) || a=x=(mem),y || | ||
| + | |- | ||
| + | | NOP || style="text-align: left;" | NOP with #immediate lasting 3 cycles || colspan="9" | *<number> (with even <number> generates one NOP #imm and regular NOPs) | ||
|- | |- | ||
| RLA || style="text-align: left;" | mem <- mem <<<, A <- A & mem || || || || ''TBD'' || ''TBD'' || ''TBD'' || ''TBD'' || ''TBD'' || | | RLA || style="text-align: left;" | mem <- mem <<<, A <- A & mem || || || || ''TBD'' || ''TBD'' || ''TBD'' || ''TBD'' || ''TBD'' || | ||
Latest revision as of 08:06, 12 July 2016
K65 compiler supports following 6502 instructions.
TBD value means that instruction support is planned, but currently not implemented.
Standard 6502 instructions
| Standard 6502 opcodes | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Opcode | Description | K65 Syntax | ||||||||
| Acc | Implied | Imm | Mem | Mem,X | Mem,Y | (Mem,X) | (Mem),Y | (Mem) | ||
| ADC | add with carry | a+imm | a+mem | a+mem,x | a+mem,y | a+(mem,x) | a+(mem),y | |||
| AND | and (with accumulator) | a&imm | a&mem | a&mem,x | a&mem,y | a&(mem,x) | a&(mem),y | |||
| ASL | arithmetic shift left | a<< | mem<< | mem,x<< | ||||||
| BCC | branch on carry clear | >={ ... } or < goto label or { ... } < or c+{ ... } or c- goto label or { ... } c- | ||||||||
| BCS | branch on carry set | <{ ... } or >= goto label or { ... } >= or c-{ ... } or c+ goto label or { ... } c+ | ||||||||
| BEQ | branch on equal (zero set) | { ... } or == goto label or { ... } == | ||||||||
| BIT | bit test | a&?mem | ||||||||
| BMI | branch on minus (negative set) | >=0{ ... } or <0 goto label or { ... } <0 | ||||||||
| BNE | branch on not equal (zero clear) | =={ ... } or != goto label or { ... } != | ||||||||
| BPL | branch on plus (negative clear) | <0{ ... } or >=0 goto label or { ... } >=0 | ||||||||
| BRK | interrupt | TBD | ||||||||
| BVC | branch on overflow clear | <<={ ... } or >>= goto label or { ... } >>= or o+{ ... } or o- goto label or { ... } o- | ||||||||
| BVS | branch on overflow set | >>={ ... } or <<= goto label or { ... } <<= or o-{ ... } or o+ goto label or { ... } o+ | ||||||||
| CLC | clear carry | c- | ||||||||
| CLD | clear decimal | d- | ||||||||
| CLI | clear interrupt disable | i- | ||||||||
| CLV | clear overflow | o- | ||||||||
| CMP | compare (with accumulator) | a?imm | a?mem | a?mem,x | a?mem,y | a?(mem,x) | a?(mem),y | |||
| CPX | compare with X | x?imm | x?mem | |||||||
| CPY | compare with Y | y?imm | y?mem | |||||||
| DEC | decrement | mem-- | mem,x-- | |||||||
| DEX | decrement X | x-- | ||||||||
| DEY | decrement Y | y-- | ||||||||
| EOR | exclusive or (with accumulator) | a^imm | a^mem | a^mem,x | a^mem,y | a^(mem,x) | a^(mem),y | |||
| INC | increment | mem++ | mem,x++ | |||||||
| INX | increment X | x++ | ||||||||
| INY | increment Y | y++ | ||||||||
| JMP | jump | goto mem | goto (mem) | |||||||
| JSR | jump subroutine | call mem | ||||||||
| LAS | ||||||||||
| LDA | load accumulator | a=imm | a=mem | a=mem,x | a=mem,y | a=(mem,x) | a=(mem),y | |||
| LDX | load X | x=imm | x=mem | x=mem,y | ||||||
| LDY | load Y | y=imm | y=mem | y=mem,x | ||||||
| LSR | logical shift right | a>> | mem>> | mem,x>> | ||||||
| NOP | no operation | * (for single NOP) or *<number> (to wait <number> of cycles) | ||||||||
| ORA | or with accumulator | imm | mem | mem,x | mem,y | (mem,x) | (mem),y | |||
| PHA | push accumulator | a!! | ||||||||
| PHP | push processor status (SR) | flag!! | ||||||||
| PLA | pull accumulator | a?? | ||||||||
| PLP | pull processor status (SR) | flag?? | ||||||||
| ROL | rotate left | a<<< | mem<<< | mem,x<<< | ||||||
| ROR | rotate right | a>>> | mem>>> | mem,x>>> | ||||||
| RRA | ||||||||||
| RTI | return from interrupt | TBD | ||||||||
| RTS | return from subroutine | return | ||||||||
| SBC | subtract with carry | a-imm | a-mem | a-mem,x | a-mem,y | a-(mem,x) | a-(mem),y | |||
| SEC | set carry | c+ | ||||||||
| SED | set decimal | d+ | ||||||||
| SEI | set interrupt disable | i- | ||||||||
| STA | store accumulator | mem=a | mem,x=a | mem,y=a | (mem,x)=a | (mem),y=a | ||||
| STX | store X | mem=x | ||||||||
| STY | store Y | mem=y | ||||||||
| TAX | transfer accumulator to X | x=a | ||||||||
| TAY | transfer accumulator to Y | y=a | ||||||||
| TSX | transfer stack pointer to X | x=s | ||||||||
| TXA | transfer X to accumulator | a=x | ||||||||
| TXS | transfer X to stack pointer | s=x | ||||||||
| TYA | transfer Y to accumulator | a=y | ||||||||
Undocumented 6502 instructions
| Undocumented 6502 opcodes | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Opcode | Description | K65 Syntax | ||||||||
| Acc | Implied | Imm | Mem | Mem,X | Mem,Y | (Mem,X) | (Mem),Y | (Mem) | ||
| ANC | A <- A & imm, C <- bit 7 | a&.imm | ||||||||
| ARR | A <- (A & imm) ror>>> | TBD | ||||||||
| ASR | A <- (A & imm) >> 1 | TBD | ||||||||
| AXS | X <- (A & X) - imm (no borrow) | x&=a-imm | ||||||||
| DCP | decrement mem, then compare Acc to mem | a?--mem | a?--mem,x | a?--mem,y | a?--(mem,x) | a?--(mem),y | ||||
| ISC | increment mem, then subtract mem from Acc (with borrow) | a - ++mem | a - ++mem,x | a - ++mem,y | a - ++(mem,x) | a - ++(mem),y | ||||
| LAX | load to Acc and X | a=x=mem | a=x=mem,y | a=x=(mem,x) | a=x=(mem),y | |||||
| NOP | NOP with #immediate lasting 3 cycles | *<number> (with even <number> generates one NOP #imm and regular NOPs) | ||||||||
| RLA | mem <- mem <<<, A <- A & mem | TBD | TBD | TBD | TBD | TBD | ||||
| SAX | mem = A & X | mem=a&x | (mem,x)=a&x | |||||||
| SLO | mem <- mem << 1, A <- A | mem | TBD | TBD | TBD | TBD | TBD | ||||
| SRE | mem <- mem >> 1, A <- A ^ mem | TBD | TBD | TBD | TBD | TBD | ||||
