import Text.Parsec.Combinator
import qualified Data.Map as M
import Data.List
+import Data.Char
import Data.Word
+import Data.Bits
import qualified Data.ByteString.Lazy as BL
import Control.Monad
where
repi :: Int
repi = fromInteger (toInteger rep)
+ actlist (DTF_Ascii str lab code comment) =
+ (DTF_Data datacnt (strval!!0) code lab comment):
+ [(DTF_Data ic (strval!!i) code lab comment)
+ | i<-[1..len]
+ , let ic = [datacnt,(datacnt+0x4)..]!!i
+ ]
+ ++ next
+ where
+ len = ((length str)`div`4)
+ strval :: [Word32]
+ strval = pf $ map (\x -> fromIntegral $ ord x :: Word8) str
+ pf :: [Word8] -> [Word32]
+ pf [] = []
+ pf xs@(_:[]) = pf (xs ++ [0,0,0])
+ pf xs@(_:_:[]) = pf (xs ++ [0,0])
+ pf xs@(_:_:_:[]) = pf (xs ++ [0])
+ pf (a:b:c:d:xs) = (foldl' accum 0 [d,c,b,a]):(pf xs)
+ where
+ accum x o = (x `shiftL` 8) .|. fromIntegral o
actlist y = y:next
(newdict,next) = convertDTF xs (nstate newdtf) (ndatacnt newdtf) (ninstrcnt newdtf) (ndict newdtf)
ndatacnt (DTF_Fill rep _ _ _ _)
| state == InData = datacnt + (4*rep)
| otherwise = datacnt
+ ndatacnt (DTF_Ascii str _ _ _)
+ | state == InData = datacnt + (4*len)
+ where len = fromIntegral $ ((length str)`div`4)+1
ndatacnt (DTF_Data _ _ _ _ _) = inc datacnt
ndatacnt _ = datacnt
ndict (DTF_Fill _ _ _ l _)
| state == InText = dict `add_elem` (l,instrcnt)
| state == InData = dict `add_elem` (l,datacnt)
+ ndict (DTF_Ascii _ l c _)
+ | state == InData = dict `add_elem` (l,datacnt)
+ | otherwise = error $ "don't use .ascii in .text here: " ++ c
ndict _ = dict
newdtf = case (parse (parseDTFLine dict) "" (str++"\n")) of
NoState -> error "missing .data or .text"
InData -> (DTF_Label l c datacnt)
InText -> (DTF_Label l c instrcnt)
- Right z -> z -- DTF_Comment, DTF_State, DTF_Define, DTF_Fill
-
-
+ Right z -> z -- DTF_Comment, DTF_State, DTF_Define, DTF_Fill, DTF_Ascii
testDTF :: String -> IO ()
testDTF input =
parseDTFLine :: [DictElem] -> Parser DTF
parseDTFLine dict = foldl1 (<|>) (fmap (\x -> try (x dict)) lineFormats) <* char '\n'
-lineFormats = [lf_define, lf_sdata, lf_stext, lf_org, lf_data, lf_ifill, lf_comment, lf_toparse, lf_label]
+lineFormats = [lf_define, lf_sdata, lf_stext, lf_org, lf_data, lf_ifill, lf_ascii, lf_comment, lf_toparse, lf_label]
-- helper
parseIdent :: Parser String
comment <- try(parseComment) <|> parseMySpaces
return $ DTF_Fill 1 val (fill ++ code) l comment
+lf_ascii _ = do
+ l <- try (parseLabel) <|> string ""
+ skipMany space
+ ascii <- string ".ascii "
+ char '"'
+ str <- many1 $ noneOf "\"";
+ char '"'
+ comment <- try(parseComment) <|> parseMySpaces
+ return $ DTF_Ascii str (ascii ++ "\"" ++ str ++ "\"") l comment
+
lf_comment _ = do
comment <- parseComment
return $ DTF_Comment comment