Language.PowerPC.Simulator

Description

Synopsis

• class Memory a where
  • load :: a -> Word64 -> Int -> IO [Word8]
  • store :: a -> Word64 -> [Word8] -> IO ()
  • fetch :: a -> Machine -> Word64 -> IO Word32
  • readSPR :: a -> Int -> IO Word64
  • writeSPR :: a -> Int -> Word64 -> IO ()
  • readMSR :: a -> IO Word64
  • writeMSR :: a -> Word64 -> IO ()
• data Machine = Machine {
  • pc :: Word64
  • lr :: Word64
  • ctr :: Word64
  • gprs :: [Word64]
  • xer :: Word64
  • cr :: Word32
  }
• simulate :: Memory a => a -> Word64 -> IO ()

Documentation