blob: 88f99519ef1cd00f669851c1d05a142d2b1f80e9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
import Data.Functor ( ($>) )
import Data.Void
import Text.Megaparsec hiding ( Label
, Pos
, label
)
import Text.Megaparsec.Char
import qualified Text.Megaparsec.Char.Lexer as L
type Parser = Parsec Void String
type Program = [Instr]
type Address = Int
type Label = String
data Access = Access Address | SAccess Access
deriving Show
data Operation = ADD | MUL | SUB | DIV | AND | OR | XOR
deriving Show
data Addressation = Address Access | BinaryOperation Access Operation Access
deriving Show
data Call = WriteCall | ReadCall
deriving Show
data BranchPolarity = IfTrue | IfFalse
deriving Show
data Instr = Comment String | Write Address Addressation | LarsCall Call | Label Label | GoTo Label | Branch BranchPolarity Address Label
deriving Show
comment :: Parser Instr
comment =
Comment <$> (some (string "lars") *> many (satisfy $ not . (== '\n')))
access :: Parser Access
access = (SAccess <$> (string "sral" *> access)) <|> (Access <$> L.decimal)
binaryOperation :: Parser Operation
binaryOperation =
(char '+' $> ADD)
<|> (char '-' $> SUB)
<|> (char '*' $> MUL)
<|> (char '/' $> DIV)
addressation :: Parser Addressation
addressation =
try (BinaryOperation <$> access <*> binaryOperation <*> access)
<|> (Address <$> access)
-- TODO: arguments
call :: Parser Instr
call =
LarsCall
<$> ( string "larssral"
*> ((string "lars" $> ReadCall) <|> (string "sral" $> WriteCall))
)
write :: Parser Instr
write = do
target <- L.decimal
string "lars"
source <- addressation
return $ Write target source
label :: Parser Label
label = char '@' *> (concat <$> some (string "lars" <|> string "sral"))
namedLabel :: Parser Instr
namedLabel = Label <$> label
goto :: Parser Instr
goto = GoTo <$> (string "sralllars " *> label)
branch :: Parser Instr
branch =
Branch
<$> ((string "lars|sral" $> IfTrue) <|> (string "sral|lars" $> IfFalse))
<*> L.decimal
<*> label
instr :: Parser Instr
instr = comment <|> write <|> call <|> namedLabel <|> goto <|> branch
program :: Parser Program
program = sepEndBy instr (some $ char '\n')
main :: IO ()
main = do
f <- readFile "lars.lars"
case runParser (program <* eof) "" f of
Right res -> print res
Left err -> putStrLn $ errorBundlePretty err
|
