mirror of
https://github.com/DataKinds/sixty-five-oh-two.git
synced 2024-06-14 10:29:30 +00:00
608 lines
22 KiB
Haskell
608 lines
22 KiB
Haskell
{-# LANGUAGE TypeFamilies, TypeOperators, GADTs, DataKinds, KindSignatures #-}
|
|
{-# LANGUAGE TemplateHaskell #-}
|
|
|
|
module DSL.SixtyFiveOhTwo
|
|
(module DSL.SixtyFiveOhTwo,
|
|
module DSL.SixtyFiveOhTwo.Types)
|
|
where
|
|
|
|
import DSL.SixtyFiveOhTwo.Types
|
|
import Control.Monad.State
|
|
import qualified Data.ByteString as B
|
|
import qualified Data.Map.Strict as M
|
|
import Control.Lens
|
|
import Data.Word
|
|
import Data.Int
|
|
import Data.Bits
|
|
|
|
data InstructionState = InstructionState {
|
|
-- The functionTable relates functions to their byte offsets in the compiled code
|
|
_functionTable :: M.Map String Int,
|
|
_bytestring :: B.ByteString
|
|
} deriving Show
|
|
makeLenses ''InstructionState
|
|
|
|
emptyState :: InstructionState
|
|
emptyState = InstructionState { _functionTable = M.empty, _bytestring = B.empty }
|
|
|
|
type Instruction = State InstructionState ()
|
|
|
|
-- This function converts the instructions into a usable bytestring. It's the meat and bones of this DSL.
|
|
runInstructions :: Instruction -> B.ByteString
|
|
runInstructions ins = (execState ins emptyState) ^. bytestring
|
|
|
|
|
|
splitW16 :: Word16 -> (Word8, Word8)
|
|
splitW16 w = (lo, hi) -- Little endian
|
|
where
|
|
hi = fromIntegral $ w `shiftR` 8
|
|
lo = fromIntegral w
|
|
|
|
appendBytes :: [Word8] -> InstructionState -> InstructionState
|
|
appendBytes bytes insState = over bytestring (\bs -> B.append bs (B.pack bytes)) insState
|
|
|
|
appendBytesThenWord :: [Word8] -> Word16 -> InstructionState -> InstructionState
|
|
appendBytesThenWord bytes word insState = over bytestring (\bs -> B.append bs (B.pack totalBytes)) insState
|
|
where
|
|
(lowByte, highByte) = splitW16 word
|
|
totalBytes = concat [bytes, [lowByte], [highByte]]
|
|
|
|
-- This function allows you to define an instruction opcode that takes no argument
|
|
genericNoByteOp :: Word8 -> Instruction
|
|
genericNoByteOp op = modify $ appendBytes [op]
|
|
|
|
-- This function allows you to define an instruction opcode that takes a one byte argument
|
|
-- This is polymorphic to support Int8 OR Word8
|
|
genericOp :: (FiniteBits a, Integral a) => Word8 -> a -> Instruction
|
|
-- fromIntegral from an IntN to a WordN does _not_ preserve value, only structure
|
|
-- Thus, this is valid code.
|
|
genericOp op arg = modify $ appendBytes [op, fromIntegral arg]
|
|
|
|
-- This function allows you to define an instruction opcode that takes a two byte argument
|
|
genericTwoByteOp :: Word8 -> Word16 -> Instruction
|
|
genericTwoByteOp op arg = modify $ appendBytesThenWord [op] arg
|
|
|
|
-- This allows you to define subroutines which can be called later using `call`.
|
|
-- NOTE: your function must end with an `rts`. This is not added implicitly to
|
|
-- be able to use this function to create branching case statements or the like.
|
|
define :: String -> Instruction -> Instruction
|
|
define name definition = do
|
|
insState <- get
|
|
let functionOffset = B.length $ insState ^. bytestring
|
|
let modifyFunctionTable = \table ->
|
|
M.insert name functionOffset table
|
|
-- insState' is the modified state before definition compilation
|
|
let insState' = over functionTable modifyFunctionTable insState
|
|
-- insState'' is the modified state after definition compilation
|
|
let insState'' = execState definition insState'
|
|
-- The final state uses these following things:
|
|
-- The compiled bytestring from insState''
|
|
-- The function table from insState', WITH the additions from insState'' modified properly
|
|
let newlyDefinedFunctions = M.difference (insState'' ^. functionTable) (insState' ^. functionTable)
|
|
-- NOTE: because of the order of the next line, function shadowing in the DSL is impossible. the first
|
|
-- definition is always the one that's used.
|
|
-- The fmap is done to shift any definitions made inside this definition to their correct positions
|
|
-- in the global scope.
|
|
let finalFunctionTable = M.union (insState' ^. functionTable) (fmap (+ functionOffset) (insState'' ^. functionTable))
|
|
let finalInsState = set functionTable finalFunctionTable insState''
|
|
put finalInsState
|
|
|
|
-- This can be used to call subroutines which were previously `define`d.
|
|
call :: String -> Instruction
|
|
call name = do
|
|
insState <- get
|
|
let pointer = case (M.lookup name (insState ^. functionTable)) of
|
|
Just ptr -> ptr
|
|
Nothing -> error ("Couldn't find function " ++ name ++ ". Perhaps it wasn't `define`d?")
|
|
put $ execState (jsr (Absolute $ fromIntegral pointer)) insState
|
|
|
|
-- THE FOLLOWING WAS GENERATED BY
|
|
-- https://github.com/aearnus/assemblicom
|
|
-- for the 65C02 instruction set
|
|
|
|
adc :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
adc (Immediate b) = genericOp 105 b
|
|
adc (ZeroPage b) = genericOp 101 b
|
|
adc (ZeroPageX b) = genericOp 117 b
|
|
adc (Absolute b) = genericTwoByteOp 109 b
|
|
adc (AbsoluteX b) = genericTwoByteOp 125 b
|
|
adc (AbsoluteY b) = genericTwoByteOp 121 b
|
|
adc (ZeroPageIndirect b) = genericOp 114 b
|
|
adc (IndirectX b) = genericOp 97 b
|
|
adc (IndirectY b) = genericOp 113 b
|
|
|
|
and :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
and (Immediate b) = genericOp 41 b
|
|
and (ZeroPage b) = genericOp 37 b
|
|
and (ZeroPageX b) = genericOp 53 b
|
|
and (Absolute b) = genericTwoByteOp 45 b
|
|
and (AbsoluteX b) = genericTwoByteOp 61 b
|
|
and (AbsoluteY b) = genericTwoByteOp 57 b
|
|
and (ZeroPageIndirect b) = genericOp 50 b
|
|
and (IndirectX b) = genericOp 33 b
|
|
and (IndirectY b) = genericOp 49 b
|
|
|
|
asl :: IsElem a '[AccumulatorKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
asl (Accumulator) = genericNoByteOp 10
|
|
asl (ZeroPage b) = genericOp 6 b
|
|
asl (ZeroPageX b) = genericOp 22 b
|
|
asl (Absolute b) = genericTwoByteOp 14 b
|
|
asl (AbsoluteX b) = genericTwoByteOp 30 b
|
|
|
|
bbr0 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbr0 (ZeroPageRelative b) = genericOp 15 b
|
|
|
|
bbr1 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbr1 (ZeroPageRelative b) = genericOp 31 b
|
|
|
|
bbr2 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbr2 (ZeroPageRelative b) = genericOp 47 b
|
|
|
|
bbr3 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbr3 (ZeroPageRelative b) = genericOp 63 b
|
|
|
|
bbr4 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbr4 (ZeroPageRelative b) = genericOp 79 b
|
|
|
|
bbr5 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbr5 (ZeroPageRelative b) = genericOp 95 b
|
|
|
|
bbr6 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbr6 (ZeroPageRelative b) = genericOp 111 b
|
|
|
|
bbr7 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbr7 (ZeroPageRelative b) = genericOp 127 b
|
|
|
|
bbs0 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbs0 (ZeroPageRelative b) = genericOp 143 b
|
|
|
|
bbs1 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbs1 (ZeroPageRelative b) = genericOp 159 b
|
|
|
|
bbs2 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbs2 (ZeroPageRelative b) = genericOp 175 b
|
|
|
|
bbs3 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbs3 (ZeroPageRelative b) = genericOp 191 b
|
|
|
|
bbs4 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbs4 (ZeroPageRelative b) = genericOp 207 b
|
|
|
|
bbs5 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbs5 (ZeroPageRelative b) = genericOp 223 b
|
|
|
|
bbs6 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbs6 (ZeroPageRelative b) = genericOp 239 b
|
|
|
|
bbs7 :: IsElem a '[ZeroPageRelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bbs7 (ZeroPageRelative b) = genericOp 255 b
|
|
|
|
bcc :: IsElem a '[RelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bcc (Relative b) = genericOp 144 b
|
|
|
|
bcs :: IsElem a '[RelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bcs (Relative b) = genericOp 176 b
|
|
|
|
beq :: IsElem a '[RelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
beq (Relative b) = genericOp 240 b
|
|
|
|
bit :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bit (Immediate b) = genericOp 137 b
|
|
bit (ZeroPage b) = genericOp 36 b
|
|
bit (ZeroPageX b) = genericOp 52 b
|
|
bit (Absolute b) = genericTwoByteOp 44 b
|
|
bit (AbsoluteX b) = genericTwoByteOp 60 b
|
|
|
|
bmi :: IsElem a '[RelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bmi (Relative b) = genericOp 48 b
|
|
|
|
bne :: IsElem a '[RelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bne (Relative b) = genericOp 208 b
|
|
|
|
bpl :: IsElem a '[RelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bpl (Relative b) = genericOp 16 b
|
|
|
|
bra :: IsElem a '[RelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bra (Relative b) = genericOp 128 b
|
|
|
|
brk :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
brk (Implied) = genericNoByteOp 0
|
|
|
|
bvc :: IsElem a '[RelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bvc (Relative b) = genericOp 80 b
|
|
|
|
bvs :: IsElem a '[RelativeKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
bvs (Relative b) = genericOp 112 b
|
|
|
|
clc :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
clc (Implied) = genericNoByteOp 24
|
|
|
|
cld :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
cld (Implied) = genericNoByteOp 216
|
|
|
|
cli :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
cli (Implied) = genericNoByteOp 88
|
|
|
|
clv :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
clv (Implied) = genericNoByteOp 184
|
|
|
|
cmp :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
cmp (Immediate b) = genericOp 201 b
|
|
cmp (ZeroPage b) = genericOp 197 b
|
|
cmp (ZeroPageX b) = genericOp 213 b
|
|
cmp (Absolute b) = genericTwoByteOp 205 b
|
|
cmp (AbsoluteX b) = genericTwoByteOp 221 b
|
|
cmp (AbsoluteY b) = genericTwoByteOp 217 b
|
|
cmp (ZeroPageIndirect b) = genericOp 210 b
|
|
cmp (IndirectX b) = genericOp 193 b
|
|
cmp (IndirectY b) = genericOp 209 b
|
|
|
|
cpx :: IsElem a '[ImmediateKind, ZeroPageKind, AbsoluteKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
cpx (Immediate b) = genericOp 224 b
|
|
cpx (ZeroPage b) = genericOp 228 b
|
|
cpx (Absolute b) = genericTwoByteOp 236 b
|
|
|
|
cpy :: IsElem a '[ImmediateKind, ZeroPageKind, AbsoluteKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
cpy (Immediate b) = genericOp 192 b
|
|
cpy (ZeroPage b) = genericOp 196 b
|
|
cpy (Absolute b) = genericTwoByteOp 204 b
|
|
|
|
dec :: IsElem a '[AccumulatorKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
dec (Accumulator) = genericNoByteOp 58
|
|
dec (ZeroPage b) = genericOp 198 b
|
|
dec (ZeroPageX b) = genericOp 214 b
|
|
dec (Absolute b) = genericTwoByteOp 206 b
|
|
dec (AbsoluteX b) = genericTwoByteOp 222 b
|
|
|
|
dex :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
dex (Implied) = genericNoByteOp 202
|
|
|
|
dey :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
dey (Implied) = genericNoByteOp 136
|
|
|
|
eor :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
eor (Immediate b) = genericOp 73 b
|
|
eor (ZeroPage b) = genericOp 69 b
|
|
eor (ZeroPageX b) = genericOp 85 b
|
|
eor (Absolute b) = genericTwoByteOp 77 b
|
|
eor (AbsoluteX b) = genericTwoByteOp 93 b
|
|
eor (AbsoluteY b) = genericTwoByteOp 89 b
|
|
eor (ZeroPageIndirect b) = genericOp 82 b
|
|
eor (IndirectX b) = genericOp 65 b
|
|
eor (IndirectY b) = genericOp 81 b
|
|
|
|
inc :: IsElem a '[AccumulatorKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
inc (Accumulator) = genericNoByteOp 26
|
|
inc (ZeroPage b) = genericOp 230 b
|
|
inc (ZeroPageX b) = genericOp 246 b
|
|
inc (Absolute b) = genericTwoByteOp 238 b
|
|
inc (AbsoluteX b) = genericTwoByteOp 254 b
|
|
|
|
inx :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
inx (Implied) = genericNoByteOp 232
|
|
|
|
iny :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
iny (Implied) = genericNoByteOp 200
|
|
|
|
jmp :: IsElem a '[AbsoluteKind, IndirectKind, AbsoluteXKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
jmp (Absolute b) = genericTwoByteOp 76 b
|
|
jmp (Indirect b) = genericTwoByteOp 108 b
|
|
jmp (AbsoluteX b) = genericTwoByteOp 124 b
|
|
|
|
jsr :: IsElem a '[AbsoluteKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
jsr (Absolute b) = genericTwoByteOp 32 b
|
|
|
|
lda :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
lda (Immediate b) = genericOp 169 b
|
|
lda (ZeroPage b) = genericOp 165 b
|
|
lda (ZeroPageX b) = genericOp 181 b
|
|
lda (Absolute b) = genericTwoByteOp 173 b
|
|
lda (AbsoluteX b) = genericTwoByteOp 189 b
|
|
lda (AbsoluteY b) = genericTwoByteOp 185 b
|
|
lda (ZeroPageIndirect b) = genericOp 178 b
|
|
lda (IndirectX b) = genericOp 161 b
|
|
lda (IndirectY b) = genericOp 177 b
|
|
|
|
ldx :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageYKind, AbsoluteKind, AbsoluteYKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
ldx (Immediate b) = genericOp 162 b
|
|
ldx (ZeroPage b) = genericOp 166 b
|
|
ldx (ZeroPageY b) = genericOp 182 b
|
|
ldx (Absolute b) = genericTwoByteOp 174 b
|
|
ldx (AbsoluteY b) = genericTwoByteOp 190 b
|
|
|
|
ldy :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
ldy (Immediate b) = genericOp 160 b
|
|
ldy (ZeroPage b) = genericOp 164 b
|
|
ldy (ZeroPageX b) = genericOp 180 b
|
|
ldy (Absolute b) = genericTwoByteOp 172 b
|
|
ldy (AbsoluteX b) = genericTwoByteOp 188 b
|
|
|
|
lsr :: IsElem a '[AccumulatorKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
lsr (Accumulator) = genericNoByteOp 74
|
|
lsr (ZeroPage b) = genericOp 70 b
|
|
lsr (ZeroPageX b) = genericOp 86 b
|
|
lsr (Absolute b) = genericTwoByteOp 78 b
|
|
lsr (AbsoluteX b) = genericTwoByteOp 94 b
|
|
|
|
nop :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
nop (Implied) = genericNoByteOp 234
|
|
|
|
ora :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
ora (Immediate b) = genericOp 9 b
|
|
ora (ZeroPage b) = genericOp 5 b
|
|
ora (ZeroPageX b) = genericOp 21 b
|
|
ora (Absolute b) = genericTwoByteOp 13 b
|
|
ora (AbsoluteX b) = genericTwoByteOp 29 b
|
|
ora (AbsoluteY b) = genericTwoByteOp 25 b
|
|
ora (ZeroPageIndirect b) = genericOp 18 b
|
|
ora (IndirectX b) = genericOp 1 b
|
|
ora (IndirectY b) = genericOp 17 b
|
|
|
|
pha :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
pha (Implied) = genericNoByteOp 72
|
|
|
|
php :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
php (Implied) = genericNoByteOp 8
|
|
|
|
phx :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
phx (Implied) = genericNoByteOp 218
|
|
|
|
phy :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
phy (Implied) = genericNoByteOp 90
|
|
|
|
pla :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
pla (Implied) = genericNoByteOp 104
|
|
|
|
plp :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
plp (Implied) = genericNoByteOp 40
|
|
|
|
plx :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
plx (Implied) = genericNoByteOp 250
|
|
|
|
ply :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
ply (Implied) = genericNoByteOp 122
|
|
|
|
rmb0 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
rmb0 (ZeroPage b) = genericOp 7 b
|
|
|
|
rmb1 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
rmb1 (ZeroPage b) = genericOp 23 b
|
|
|
|
rmb2 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
rmb2 (ZeroPage b) = genericOp 39 b
|
|
|
|
rmb3 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
rmb3 (ZeroPage b) = genericOp 55 b
|
|
|
|
rmb4 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
rmb4 (ZeroPage b) = genericOp 71 b
|
|
|
|
rmb5 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
rmb5 (ZeroPage b) = genericOp 87 b
|
|
|
|
rmb6 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
rmb6 (ZeroPage b) = genericOp 103 b
|
|
|
|
rmb7 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
rmb7 (ZeroPage b) = genericOp 119 b
|
|
|
|
rol :: IsElem a '[AccumulatorKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
rol (Accumulator) = genericNoByteOp 42
|
|
rol (ZeroPage b) = genericOp 38 b
|
|
rol (ZeroPageX b) = genericOp 54 b
|
|
rol (Absolute b) = genericTwoByteOp 46 b
|
|
rol (AbsoluteX b) = genericTwoByteOp 62 b
|
|
|
|
ror :: IsElem a '[AccumulatorKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
ror (Accumulator) = genericNoByteOp 106
|
|
ror (ZeroPage b) = genericOp 102 b
|
|
ror (ZeroPageX b) = genericOp 118 b
|
|
ror (Absolute b) = genericTwoByteOp 110 b
|
|
ror (AbsoluteX b) = genericTwoByteOp 126 b
|
|
|
|
rti :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
rti (Implied) = genericNoByteOp 64
|
|
|
|
rts :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
rts (Implied) = genericNoByteOp 96
|
|
|
|
sbc :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
sbc (Immediate b) = genericOp 233 b
|
|
sbc (ZeroPage b) = genericOp 229 b
|
|
sbc (ZeroPageX b) = genericOp 245 b
|
|
sbc (Absolute b) = genericTwoByteOp 237 b
|
|
sbc (AbsoluteX b) = genericTwoByteOp 253 b
|
|
sbc (AbsoluteY b) = genericTwoByteOp 249 b
|
|
sbc (ZeroPageIndirect b) = genericOp 242 b
|
|
sbc (IndirectX b) = genericOp 225 b
|
|
sbc (IndirectY b) = genericOp 241 b
|
|
|
|
sec :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
sec (Implied) = genericNoByteOp 56
|
|
|
|
sed :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
sed (Implied) = genericNoByteOp 248
|
|
|
|
sei :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
sei (Implied) = genericNoByteOp 120
|
|
|
|
smb0 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
smb0 (ZeroPage b) = genericOp 135 b
|
|
|
|
smb1 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
smb1 (ZeroPage b) = genericOp 151 b
|
|
|
|
smb2 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
smb2 (ZeroPage b) = genericOp 167 b
|
|
|
|
smb3 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
smb3 (ZeroPage b) = genericOp 183 b
|
|
|
|
smb4 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
smb4 (ZeroPage b) = genericOp 199 b
|
|
|
|
smb5 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
smb5 (ZeroPage b) = genericOp 215 b
|
|
|
|
smb6 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
smb6 (ZeroPage b) = genericOp 231 b
|
|
|
|
smb7 :: IsElem a '[ZeroPageKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
smb7 (ZeroPage b) = genericOp 247 b
|
|
|
|
sta :: IsElem a '[ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
sta (ZeroPage b) = genericOp 133 b
|
|
sta (ZeroPageX b) = genericOp 149 b
|
|
sta (Absolute b) = genericTwoByteOp 141 b
|
|
sta (AbsoluteX b) = genericTwoByteOp 157 b
|
|
sta (AbsoluteY b) = genericTwoByteOp 153 b
|
|
sta (ZeroPageIndirect b) = genericOp 146 b
|
|
sta (IndirectX b) = genericOp 129 b
|
|
sta (IndirectY b) = genericOp 145 b
|
|
|
|
stp :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
stp (Implied) = genericNoByteOp 219
|
|
|
|
stx :: IsElem a '[ZeroPageKind, ZeroPageYKind, AbsoluteKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
stx (ZeroPage b) = genericOp 134 b
|
|
stx (ZeroPageY b) = genericOp 150 b
|
|
stx (Absolute b) = genericTwoByteOp 142 b
|
|
|
|
sty :: IsElem a '[ZeroPageKind, ZeroPageXKind, AbsoluteKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
sty (ZeroPage b) = genericOp 132 b
|
|
sty (ZeroPageX b) = genericOp 148 b
|
|
sty (Absolute b) = genericTwoByteOp 140 b
|
|
|
|
stz :: IsElem a '[ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
stz (ZeroPage b) = genericOp 100 b
|
|
stz (ZeroPageX b) = genericOp 116 b
|
|
stz (Absolute b) = genericTwoByteOp 156 b
|
|
stz (AbsoluteX b) = genericTwoByteOp 158 b
|
|
|
|
tax :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
tax (Implied) = genericNoByteOp 170
|
|
|
|
tay :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
tay (Implied) = genericNoByteOp 168
|
|
|
|
trb :: IsElem a '[ZeroPageKind, AbsoluteKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
trb (ZeroPage b) = genericOp 20 b
|
|
trb (Absolute b) = genericTwoByteOp 28 b
|
|
|
|
tsb :: IsElem a '[ZeroPageKind, AbsoluteKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
tsb (ZeroPage b) = genericOp 4 b
|
|
tsb (Absolute b) = genericTwoByteOp 12 b
|
|
|
|
tsx :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
tsx (Implied) = genericNoByteOp 186
|
|
|
|
txa :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
txa (Implied) = genericNoByteOp 138
|
|
|
|
txs :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
txs (Implied) = genericNoByteOp 154
|
|
|
|
tya :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
tya (Implied) = genericNoByteOp 152
|
|
|
|
wai :: IsElem a '[ImpliedKind] ~ 'True
|
|
=> AddressingMode a -> Instruction
|
|
wai (Implied) = genericNoByteOp 203
|