{-# LANGUAGE BinaryLiterals #-}
-- This module organizes Emulator execution.
module Suem (Config(..), ConfigSocket(..), suem) where

import qualified Data.Vector.Unboxed as V
import qualified Data.Vector.Unboxed.Mutable as VM
import qualified Data.ByteString as B
import Prelude hiding (Word)
import Data.Word
import Data.IORef
import Data.Foldable
import Control.Monad.Reader (runReaderT)
import Data.IP
import Network.Socket
import Numeric
import Machine
import Commands
import Utils
import Device


------------------------------------------------------------------------------
-- Main loop and command deciphering.

doCommand :: Word16 -> Emulator ()
doCommand 0b0000000000111100 = doORICCR
doCommand 0b0000000001111100 = doORISR
doCommand 0b0000001000111100 = doANDICCR
doCommand 0b0000001001111100 = doANDISR
doCommand 0b0000101000111100 = doEORICCR
doCommand 0b0000101001111100 = doEORISR
doCommand 0b0100101011111100 = doILLEGAL
doCommand 0b0100111001110000 = doRESET
doCommand 0b0100111001110001 = doNOP
doCommand 0b0100111001110010 = doSTOP
doCommand 0b0100111001110011 = doRTE
doCommand 0b0100111001110101 = doRTS
doCommand 0b0100111001110110 = doTRAPV
doCommand 0b0100111001110111 = doRTR
doCommand cmd
    | (extractBits cmd [0..7]) == 0b00000000 =
        doORI (extractBits cmd [8..9])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..7]) == 0b00000010 =
        doANDI (extractBits cmd [8..9])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..7]) == 0b00000100 =
        doSUBI (extractBits cmd [8..9])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..7]) == 0b00000110 =
        doADDI (extractBits cmd [8..9])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..7]) == 0b00001010 =
        doEORI (extractBits cmd [8..9])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..7]) == 0b00001100 =
        doCMPI (extractBits cmd [8..9])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b0000 &&
      (extractBits cmd [7]) == 0b0 &&
      (extractBits cmd [10..12]) == 0b001 =
        doMOVEP (extractBits cmd [4..6])
                (extractBits cmd [8])
                (extractBits cmd [9])
                (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b0000 &&
      (extractBits cmd [8..9]) == 0b00 =
        doBTST (extractBits cmd [4..6])
               (extractBits cmd [7])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b0000 &&
      (extractBits cmd [8..9]) == 0b01 =
        doBCHG (extractBits cmd [4..6])
               (extractBits cmd [7])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b0000 &&
      (extractBits cmd [8..9]) == 0b10 =
        doBCLR (extractBits cmd [4..6])
               (extractBits cmd [7])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b0000 &&
      (extractBits cmd [8..9]) == 0b11 =
        doBSET (extractBits cmd [4..6])
               (extractBits cmd [7])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..1]) == 0b00 &&
      (extractBits cmd [7..9]) == 0b001 =
        doMOVEA (extractBits cmd [2..3])
                (extractBits cmd [4..6])
                (extractBits cmd [10..12])
                (extractBits cmd [13..15])
    | (extractBits cmd [0..1]) == 0b00 =
        doMOVE (extractBits cmd [2..3])
               (extractBits cmd [4..6])
               (extractBits cmd [7..9])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..9]) == 0b0100000011 =
        doSRMOVE (extractBits cmd [10..12])
                 (extractBits cmd [13..15])
    | (extractBits cmd [0..9]) == 0b0100010011 =
        doMOVECCR (extractBits cmd [10..12])
                  (extractBits cmd [13..15])
    | (extractBits cmd [0..9]) == 0b0100011011 =
        doMOVESR (extractBits cmd [10..12])
                 (extractBits cmd [13..15])
    | (extractBits cmd [0..7]) == 0b01000000 =
        doNEGX (extractBits cmd [8..9])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..7]) == 0b01000010 =
        doCLR (extractBits cmd [8..9])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..7]) == 0b01000100 =
        doNEG (extractBits cmd [8..9])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..7]) == 0b01000110 =
        doNOT (extractBits cmd [8..9])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..8]) == 0b010010001 &&
      (extractBits cmd [10..12]) == 0b000 =
        doEXT (extractBits cmd [9])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..9]) == 0b0100100000 =
        doNBCD (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..12]) == 0b0100100001000 =
        doSWAP (extractBits cmd [13..15])
    | (extractBits cmd [0..9]) == 0b0100100001 =
        doPEA (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..9]) == 0b0100100011 =
        doTAS (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..7]) == 0b01001010 =
        doTST (extractBits cmd [8..9])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..11]) == 0b010011100100 =
        doTRAP (extractBits cmd [12..15])
    | (extractBits cmd [0..12]) == 0b0100111001010 =
        doLINK (extractBits cmd [13..15])
    | (extractBits cmd [0..12]) == 0b0100111001011 =
        doUNLK (extractBits cmd [13..15])
    | (extractBits cmd [0..11]) == 0b010011100110 =
        doMOVEUSP (extractBits cmd [12])
                  (extractBits cmd [13..15])
    | (extractBits cmd [0..9]) == 0b0100111010 =
        doJSR (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..9]) == 0b0100111011 =
        doJMP (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..4]) == 0b01001 &&
      (extractBits cmd [6..8]) == 0b001 =
        doMOVEM (extractBits cmd [5])
                (extractBits cmd [9])
                (extractBits cmd [10..12])
                (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b0100 &&
      (extractBits cmd [7..9]) == 0b111 =
        doLEA (extractBits cmd [4..6])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b0100 &&
      (extractBits cmd [7..9]) == 0b110 =
        doCHK (extractBits cmd [4..6])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b0101 &&
      (extractBits cmd [8..12]) == 0b11001 =
        doDBcc (extractBits cmd [4..7])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b0101 &&
      (extractBits cmd [8..9]) == 0b11 =
        doScc (extractBits cmd [4..7])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b0101 &&
      (extractBits cmd [7]) == 0b0 =
        doADDQ (extractBits cmd [4..6])
               (extractBits cmd [8..9])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b0101 &&
      (extractBits cmd [7]) == 0b1 =
        doSUBQ (extractBits cmd [4..6])
               (extractBits cmd [8..9])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..7]) == 0b01100000 =
        doBRA (extractBits cmd [8..15])
    | (extractBits cmd [0..7]) == 0b01100000 =
        doBSR (extractBits cmd [8..15])
    | (extractBits cmd [0..3]) == 0b0110 =
        doBcc (extractBits cmd [4..7])
              (extractBits cmd [8..15])
    | (extractBits cmd [0..3]) == 0b0111 &&
      (extractBits cmd [7]) == 0b0 =
        doMOVEQ (extractBits cmd [4..6])
                (extractBits cmd [8..15])
    | (extractBits cmd [0..3]) == 0b1000 &&
      (extractBits cmd [7..9]) == 0b011 =
        doDIVU (extractBits cmd [4..6])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1000 &&
      (extractBits cmd [7..9]) == 0b111 =
        doDIVS (extractBits cmd [4..6])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1000 &&
      (extractBits cmd [7..11]) == 0b10000 =
        doSBCD (extractBits cmd [4..6])
               (extractBits cmd [12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1000 =
        doOR (extractBits cmd [4..6])
             (extractBits cmd [7])
             (extractBits cmd [8..9])
             (extractBits cmd [10..12])
             (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1001 &&
      (extractBits cmd [8..9]) == 0b11 =
        doSUBA (extractBits cmd [4..6])
               (extractBits cmd [7])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1001 &&
      (extractBits cmd [7]) == 0b1 &&
      (extractBits cmd [10..11]) == 0b00 =
        doSUBX (extractBits cmd [4..6])
               (extractBits cmd [8..9])
               (extractBits cmd [12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1001 =
        doSUB (extractBits cmd [4..6])
              (extractBits cmd [7])
              (extractBits cmd [8..9])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1011 &&
      (extractBits cmd [8..9]) == 0b11 =
        doCMPA (extractBits cmd [4..6])
               (extractBits cmd [7])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1011 &&
      (extractBits cmd [7]) == 0b0 =
        doCMP (extractBits cmd [4..6])
              (extractBits cmd [8..9])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1011 &&
      (extractBits cmd [7]) == 0b1 &&
      (extractBits cmd [10..12]) == 0b001 =
        doCMPM (extractBits cmd [4..6])
               (extractBits cmd [8..9])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1011 &&
      (extractBits cmd [7]) == 0b1 =
        doEOR (extractBits cmd [4..6])
              (extractBits cmd [8..9])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1100 &&
      (extractBits cmd [7..9]) == 0b011 =
        doMULU (extractBits cmd [4..6])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1100 &&
      (extractBits cmd [7..9]) == 0b111 =
        doMULS (extractBits cmd [4..6])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1100 &&
      (extractBits cmd [7..11]) == 0b10000 =
        doABCD (extractBits cmd [4..6])
               (extractBits cmd [12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1100 &&
      (extractBits cmd [7]) == 0b1 &&
      (extractBits cmd [10..11]) == 0b00 =
        doEXG (extractBits cmd [4..6])
              (extractBits cmd [8..9])
              (extractBits cmd [12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1100 =
        doAND (extractBits cmd [4..6])
              (extractBits cmd [7])
              (extractBits cmd [8..9])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1101 &&
      (extractBits cmd [8..9]) == 0b11 =
        doADDA (extractBits cmd [4..6])
               (extractBits cmd [7])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1101 &&
      (extractBits cmd [7]) == 0b1 &&
      (extractBits cmd [10..11]) == 0b00 =
        doADDX (extractBits cmd [4..6])
               (extractBits cmd [8..9])
               (extractBits cmd [12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1101 =
        doADD (extractBits cmd [4..6])
              (extractBits cmd [7])
              (extractBits cmd [8..9])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..6]) == 0b1110000 &&
      (extractBits cmd [8..9]) == 0b11 =
        doASD (extractBits cmd [7])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..6]) == 0b1110001 &&
      (extractBits cmd [8..9]) == 0b11 =
        doLSD (extractBits cmd [7])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..6]) == 0b1110010 &&
      (extractBits cmd [8..9]) == 0b11 =
        doROXd (extractBits cmd [7])
               (extractBits cmd [10..12])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..6]) == 0b1110011 &&
      (extractBits cmd [8..9]) == 0b11 =
        doROd (extractBits cmd [7])
              (extractBits cmd [10..12])
              (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1110 &&
      (extractBits cmd [11..12]) == 0b00 =
        doADSR (extractBits cmd [4..6])
               (extractBits cmd [7])
               (extractBits cmd [8..9])
               (extractBits cmd [10])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1110 &&
      (extractBits cmd [11..12]) == 0b01 =
        doLSDR (extractBits cmd [4..6])
               (extractBits cmd [7])
               (extractBits cmd [8..9])
               (extractBits cmd [10])
               (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1110 &&
      (extractBits cmd [11..12]) == 0b10 =
        doROXdR (extractBits cmd [4..6])
                (extractBits cmd [7])
                (extractBits cmd [8..9])
                (extractBits cmd [10])
                (extractBits cmd [13..15])
    | (extractBits cmd [0..3]) == 0b1110 &&
      (extractBits cmd [11..12]) == 0b11 =
        doROdR (extractBits cmd [4..6])
               (extractBits cmd [7])
               (extractBits cmd [8..9])
               (extractBits cmd [10])
               (extractBits cmd [13..15])
    | otherwise = do
                pc <- readPC
                sr <- readSR
                d0 <- readD 0
                d1 <- readD 1
                d2 <- readD 2
                d3 <- readD 3
                d4 <- readD 4
                d5 <- readD 5
                d6 <- readD 6
                d7 <- readD 7
                a0 <- readA 0
                a1 <- readA 1
                a2 <- readA 2
                a3 <- readA 3
                a4 <- readA 4
                a5 <- readA 5
                a6 <- readA 6
                a7 <- readA 7
                error ("Error:\n"
                    ++ "PC:0x" ++ showHex pc "\n"
                    ++ "SR:0x" ++ showHex sr "\n\n"
                    ++ "D0:0x" ++ showHex d0 "\n"
                    ++ "D1:0x" ++ showHex d1 "\n"
                    ++ "D2:0x" ++ showHex d2 "\n"
                    ++ "D3:0x" ++ showHex d3 "\n"
                    ++ "D4:0x" ++ showHex d4 "\n"
                    ++ "D5:0x" ++ showHex d5 "\n"
                    ++ "D6:0x" ++ showHex d6 "\n"
                    ++ "D7:0x" ++ showHex d7 "\n\n"
                    ++ "A0:0x" ++ showHex a0 "\n"
                    ++ "A1:0x" ++ showHex a1 "\n"
                    ++ "A2:0x" ++ showHex a2 "\n"
                    ++ "A3:0x" ++ showHex a3 "\n"
                    ++ "A4:0x" ++ showHex a4 "\n"
                    ++ "A5:0x" ++ showHex a5 "\n"
                    ++ "A6:0x" ++ showHex a6 "\n"
                    ++ "A7:0x" ++ showHex a7 "")

runMachine :: Emulator ()
runMachine = forM_ [0..] $ \_ -> do
    pc <- with pc $ \pc -> readIORef pc
    cmd <- getWord $ fromIntegral pc
    doCommand cmd
    checkInteruptsFromDevices


------------------------------------------------------------------------------
-- Config and start of execution based on the config.

data ConfigSocket = ConfigInet String | ConfigUnix String

data Config = Config Int      -- frequence
                     Int      -- size of RAM
                     FilePath -- path to ROM
                     (Maybe ConfigSocket)
                     (Maybe ConfigSocket)
                     (Maybe ConfigSocket)
                     (Maybe ConfigSocket)
                     (Maybe ConfigSocket)
                     (Maybe ConfigSocket)
                     (Maybe ConfigSocket)
                     (Maybe ConfigSocket)

ipString :: String -> Word32
ipString = fromIntegral . sum . map (\(n,o) -> toInteger o * 256 ^ n)
         . zip [0..] . reverse . fromIPv4 . read

makeSocket :: Maybe ConfigSocket -> IO (Maybe Socket)
makeSocket (Just (ConfigUnix a)) = do
    sock <- socket AF_UNIX Stream defaultProtocol
    Network.Socket.bind sock $ SockAddrUnix a
    return $ Just sock
makeSocket (Just (ConfigInet a)) = do
    sock <- socket AF_INET Stream defaultProtocol
    Network.Socket.bind sock $ SockAddrInet
                                (read $ tail $ dropWhile (/= ':') a)
                                (ipString    $ takeWhile (/= ':') a)
    return $ Just sock
makeSocket Nothing = return Nothing

makeMachine :: VM.IOVector Byte -> V.Vector Byte
            -> Maybe ConfigSocket -> Maybe ConfigSocket
            -> Maybe ConfigSocket -> Maybe ConfigSocket
            -> Maybe ConfigSocket -> Maybe ConfigSocket
            -> Maybe ConfigSocket -> Maybe ConfigSocket
            -> IO Machine
makeMachine ramData romData s0 s1 s2 s3 s4 s5 s6 s7 = do
    pc <- newIORef pcval
    sr <- newIORef 0x2700
    drs <- newIORef (fromIntegral 0, fromIntegral 0, fromIntegral 0,
                     fromIntegral 0, fromIntegral 0, fromIntegral 0,
                     fromIntegral 0, fromIntegral 0)
    ars <- newIORef (fromIntegral 0, fromIntegral 0, fromIntegral 0,
                     fromIntegral 0, fromIntegral 0, fromIntegral 0,
                     fromIntegral 0)
    usp <- newIORef 0
    ssp <- newIORef sspval
    ms0 <- makeSocket s0
    ms1 <- makeSocket s1
    ms2 <- makeSocket s2
    ms3 <- makeSocket s3
    ms4 <- makeSocket s4
    ms5 <- makeSocket s5
    ms6 <- makeSocket s6
    ms7 <- makeSocket s7
    return $ Machine pc sr drs ars usp ssp ramData romData
                     ms0 ms1 ms2 ms3 ms4 ms5 ms6 ms7
    where pcval = (fromIntegral $ romData V.! 4) * 256 * 256 * 256 +
                  (fromIntegral $ romData V.! 5) * 256 * 256 +
                  (fromIntegral $ romData V.! 6) * 256 +
                  (fromIntegral $ romData V.! 7)
          sspval = (fromIntegral $ romData V.! 0) * 256 * 256 * 256 +
                   (fromIntegral $ romData V.! 1) * 256 * 256 +
                   (fromIntegral $ romData V.! 2) * 256 +
                   (fromIntegral $ romData V.! 3)

runEmulator :: Emulator a -> Machine -> IO a
runEmulator (Emulator reader) m = runReaderT reader m

suem :: Config -> IO ()
suem (Config _ ramSize romPath s0 s1 s2 s3 s4 s5 s6 s7) = do
    romData <- B.readFile romPath
    ram <- VM.replicate ramSize 0
    m <- makeMachine ram (V.fromList $ B.unpack $ romData)
                     s0 s1 s2 s3 s4 s5 s6 s7
    runEmulator runMachine m