Safe Haskell	None
Language	Haskell2010

Wrench.Isa.M68k

Synopsis

data M68kIsa w l
- = Move {
  - mode :: Mode
  - src :: Argument w l
  - dst :: Argument w l
  }
- | MoveA {
  - mode :: Mode
  - src :: Argument w l
  - dst :: Argument w l
  }
- | Not {
  - mode :: Mode
  - dst :: Argument w l
  }
- | Neg {
  - mode :: Mode
  - dst :: Argument w l
  }
- | Clr {
  - mode :: Mode
  - dst :: Argument w l
  }
- | And {
  - mode :: Mode
  - src :: Argument w l
  - dst :: Argument w l
  }
- | Or {
  - mode :: Mode
  - src :: Argument w l
  - dst :: Argument w l
  }
- | Xor {
  - mode :: Mode
  - src :: Argument w l
  - dst :: Argument w l
  }
- | Add {
  - mode :: Mode
  - src :: Argument w l
  - dst :: Argument w l
  }
- | Sub {
  - mode :: Mode
  - src :: Argument w l
  - dst :: Argument w l
  }
- | Mul {
  - mode :: Mode
  - src :: Argument w l
  - dst :: Argument w l
  }
- | Div {
  - mode :: Mode
  - src :: Argument w l
  - dst :: Argument w l
  }
- | Cmp {
  - mode :: Mode
  - src :: Argument w l
  - dst :: Argument w l
  }
- | Asl {
  - mode :: Mode
  - src :: Argument w l
  - dst :: Argument w l
  }
- | Asr {
  - mode :: Mode
  - src :: Argument w l
  - dst :: Argument w l
  }
- | Lsl {
  - mode :: Mode
  - src :: Argument w l
  - dst :: Argument w l
  }
- | Lsr {
  - mode :: Mode
  - src :: Argument w l
  - dst :: Argument w l
  }
- | Jmp {
  - ref :: l
  }
- | Bcc {
  - ref :: l
  }
- | Bcs {
  - ref :: l
  }
- | Beq {
  - ref :: l
  }
- | Bne {
  - ref :: l
  }
- | Blt {
  - ref :: l
  }
- | Bgt {
  - ref :: l
  }
- | Ble {
  - ref :: l
  }
- | Bge {
  - ref :: l
  }
- | Bmi {
  - ref :: l
  }
- | Bpl {
  - ref :: l
  }
- | Bvc {
  - ref :: l
  }
- | Bvs {
  - ref :: l
  }
- | Jsr {
  - ref :: l
  }
- | Rts
- | Link {
  - addrReg :: AddrReg
  - offset :: Int
  }
- | Unlk {
  - addrReg :: AddrReg
  }
- | Halt
data Argument w l
- = DirectDataReg DataReg
- | DirectAddrReg AddrReg
- | IndirectAddrReg Int AddrReg (Maybe IndexRegister)
- | IndirectAddrRegPreDecrement AddrReg
- | IndirectAddrRegPostIncrement AddrReg
- | Immediate l
data Mode
- = Long
- | Byte
data M68kSt w = M68kSt {
- pc :: Int
- dataRegs :: HashMap DataReg w
- addrRegs :: HashMap AddrReg w
- mem :: IoMem (M68kIsa w w) w
- stopped :: Bool
- internalError :: Maybe Text
- nFlag :: Bool
- zFlag :: Bool
- vFlag :: Bool
- cFlag :: Bool
}
data IndexRegister
- = AddrIndex AddrReg
- | DataIndex DataReg
data DataReg
- = D0
- | D1
- | D2
- | D3
- | D4
- | D5
- | D6
- | D7
dataRegisters :: [DataReg]
data AddrReg
- = A0
- | A1
- | A2
- | A3
- | A4
- | A5
- | A6
- | A7

Documentation

data M68kIsa w l Source #

The M68kIsa type represents the instruction set architecture for the M68k machine. Each constructor corresponds to a specific instruction.

Constructors

Move
Fields mode :: Mode src :: Argument w l dst :: Argument w l
MoveA
Fields mode :: Mode src :: Argument w l dst :: Argument w l
Not
Fields mode :: Mode dst :: Argument w l
Neg
Fields mode :: Mode dst :: Argument w l
Clr
Fields mode :: Mode dst :: Argument w l
And
Fields mode :: Mode src :: Argument w l dst :: Argument w l
Or
Fields mode :: Mode src :: Argument w l dst :: Argument w l
Xor
Fields mode :: Mode src :: Argument w l dst :: Argument w l
Add
Fields mode :: Mode src :: Argument w l dst :: Argument w l
Sub
Fields mode :: Mode src :: Argument w l dst :: Argument w l
Mul
Fields mode :: Mode src :: Argument w l dst :: Argument w l
Div
Fields mode :: Mode src :: Argument w l dst :: Argument w l
Cmp
Fields mode :: Mode src :: Argument w l dst :: Argument w l
Asl
Fields mode :: Mode src :: Argument w l dst :: Argument w l
Asr
Fields mode :: Mode src :: Argument w l dst :: Argument w l
Lsl
Fields mode :: Mode src :: Argument w l dst :: Argument w l
Lsr
Fields mode :: Mode src :: Argument w l dst :: Argument w l
Jmp
Fields ref :: l
Bcc
Fields ref :: l
Bcs
Fields ref :: l
Beq
Fields ref :: l
Bne
Fields ref :: l
Blt
Fields ref :: l
Bgt
Fields ref :: l
Ble
Fields ref :: l
Bge
Fields ref :: l
Bmi
Fields ref :: l
Bpl
Fields ref :: l
Bvc
Fields ref :: l
Bvs
Fields ref :: l
Jsr
Fields ref :: l
Rts
Link
Fields addrReg :: AddrReg offset :: Int
Unlk
Fields addrReg :: AddrReg
Halt

Instances

Instances details

IsWord w => DerefMnemonic (M68kIsa w) w Source #
Instance details Defined in Wrench.Isa.M68k Methods derefMnemonic :: (Text -> Maybe w) -> w -> M68kIsa w (Ref w) -> M68kIsa w w Source #
IsWord w => Machine (M68kSt w) (M68kIsa w w) w Source #
Instance details Defined in Wrench.Isa.M68k Methods instructionFetch :: State (M68kSt w) (Either Text (Int, M68kIsa w w)) Source # instructionStep :: State (M68kSt w) () Source # instructionExecute :: Int -> M68kIsa w w -> State (M68kSt w) () Source #
Show l => Show (M68kIsa w l) Source #
Instance details Defined in Wrench.Isa.M68k Methods showsPrec :: Int -> M68kIsa w l -> ShowS # show :: M68kIsa w l -> String # showList :: [M68kIsa w l] -> ShowS #
Eq l => Eq (M68kIsa w l) Source #
Instance details Defined in Wrench.Isa.M68k Methods (==) :: M68kIsa w l -> M68kIsa w l -> Bool # (/=) :: M68kIsa w l -> M68kIsa w l -> Bool #
ByteSizeT w => ByteSize (M68kIsa w l) Source #
Instance details Defined in Wrench.Isa.M68k Methods byteSize :: M68kIsa w l -> Int Source #
CommentStart (M68kIsa w l) Source #
Instance details Defined in Wrench.Isa.M68k Methods commentStart :: String Source #
IsWord w => MnemonicParser (M68kIsa w (Ref w)) Source #
Instance details Defined in Wrench.Isa.M68k Methods mnemonic :: Parser (M68kIsa w (Ref w)) Source #

data Argument w l Source #

Note that for (A0)+ and −(A0), the actual increment or decrement value is dependent on the operand size: a byte access adjusts the address register by 1, a word by 2, and a long by 4.

Constructors

DirectDataReg DataReg
DirectAddrReg AddrReg
IndirectAddrReg Int AddrReg (Maybe IndexRegister)	Address with a 16-bit signed offset, e.g. 16(A0) TODO: Register indirect with index register & 8-bit signed offset e.g. 8(A0,D0) or 8(A0,A1)
IndirectAddrRegPreDecrement AddrReg	Address with pre-decrement, e.g. −(A0)
IndirectAddrRegPostIncrement AddrReg	Address with post-increment, e.g. (A0)+
Immediate l

Instances

Instances details

Show l => Show (Argument w l) Source #
Instance details Defined in Wrench.Isa.M68k Methods showsPrec :: Int -> Argument w l -> ShowS # show :: Argument w l -> String # showList :: [Argument w l] -> ShowS #
Eq l => Eq (Argument w l) Source #
Instance details Defined in Wrench.Isa.M68k Methods (==) :: Argument w l -> Argument w l -> Bool # (/=) :: Argument w l -> Argument w l -> Bool #
ByteSizeT w => ByteSize (Argument w l) Source #
Instance details Defined in Wrench.Isa.M68k Methods byteSize :: Argument w l -> Int Source #

data Mode Source #

Constructors

Long
Byte

Instances

Instances details

Show Mode Source #
Instance details Defined in Wrench.Isa.M68k Methods showsPrec :: Int -> Mode -> ShowS # show :: Mode -> String # showList :: [Mode] -> ShowS #
Eq Mode Source #
Instance details Defined in Wrench.Isa.M68k Methods (==) :: Mode -> Mode -> Bool # (/=) :: Mode -> Mode -> Bool #

data M68kSt w Source #

Constructors

M68kSt
Fields pc :: Int dataRegs :: HashMap DataReg w addrRegs :: HashMap AddrReg w mem :: IoMem (M68kIsa w w) w stopped :: Bool internalError :: Maybe Text nFlag :: Bool zFlag :: Bool vFlag :: Bool cFlag :: Bool

Instances

Instances details

Show w => Show (M68kSt w) Source #

Instance details

Defined in Wrench.Isa.M68k

Methods

showsPrec :: Int -> M68kSt w -> ShowS #

show :: M68kSt w -> String #

showList :: [M68kSt w] -> ShowS #

IsWord w => InitState (M68kSt w) Source #

Instance details

Defined in Wrench.Isa.M68k

Methods

initState :: Int -> MemOf (M68kSt w) -> StdGen -> M68kSt w Source #

IsWord w => Inspectable (M68kSt w) Source #

Instance details

Defined in Wrench.Isa.M68k

Associated Types

type WordOf (M68kSt w)
Instance details Defined in Wrench.Isa.M68k type WordOf (M68kSt w) = w
type IsaOf (M68kSt w)
Instance details Defined in Wrench.Isa.M68k type IsaOf (M68kSt w) = M68kIsa w w

Methods

programCounter :: M68kSt w -> Int Source #

memoryDump :: M68kSt w -> MemOf (M68kSt w) Source #

ioStreams :: M68kSt w -> IntMap ([WordOf (M68kSt w)], [WordOf (M68kSt w)]) Source #

views :: [View (StateEnv (M68kSt w))] Source #

isaStats :: [Stat (StateEnv (M68kSt w))] Source #

isHalted :: M68kSt w -> Bool Source #

IsWord w => Machine (M68kSt w) (M68kIsa w w) w Source #

Instance details

Defined in Wrench.Isa.M68k

Methods

instructionFetch :: State (M68kSt w) (Either Text (Int, M68kIsa w w)) Source #

instructionStep :: State (M68kSt w) () Source #

instructionExecute :: Int -> M68kIsa w w -> State (M68kSt w) () Source #

type IsaOf (M68kSt w) Source #

Instance details

Defined in Wrench.Isa.M68k

type IsaOf (M68kSt w) = M68kIsa w w

type MemOf (M68kSt w) Source #

Instance details

Defined in Wrench.Isa.M68k

type MemOf (M68kSt w) = IoMem (M68kIsa w w) w

type WordOf (M68kSt w) Source #

Instance details

Defined in Wrench.Isa.M68k

type WordOf (M68kSt w) = w

data IndexRegister Source #

Constructors

AddrIndex AddrReg
DataIndex DataReg

Instances

Instances details

Show IndexRegister Source #
Instance details Defined in Wrench.Isa.M68k Methods showsPrec :: Int -> IndexRegister -> ShowS # show :: IndexRegister -> String # showList :: [IndexRegister] -> ShowS #
Eq IndexRegister Source #
Instance details Defined in Wrench.Isa.M68k Methods (==) :: IndexRegister -> IndexRegister -> Bool # (/=) :: IndexRegister -> IndexRegister -> Bool #