defaultAddressBook fd = extend "1printint" (LAB "1printint" 1 0)
$ extend "1printchar" (LAB "1printchar" 1 1)
$ extend "read" (LAB "read" 0 2)
- $ extend "1readint" (LAB "1readint" 0 3)
- $ extend "isEmpty" (LAB "isempty" 1 4)
- $ addFuncs fd 5
+ $ extend "isEmpty" (LAB "isEmpty" 1 3)
+ $ addFuncs fd 4
where
addFuncs [] _ = 'Map'.newMap
addFuncs [(FunDecl _ k args _ _ _):xs] n =
programContext :: [FunDecl] -> SSMProgram
programContext x = [Lab "1func"
- :fS ["1printint" ,"1printchar"
- ,"read" ,"1readint"
+ :fS ["1printint" ,"1printchar","read"
,"isEmpty":map (\(FunDecl _ k _ _ _ _)->k) x] 0] ++ context
where
,Instr "ldr" [Raw "R5"] ""
,Instr "ldc" [Lit n] $ "branch to: " +++ k
,Instr "eq" [] ""
- ,Instr "brf" [L $ "1next" +++ (toString $ n + 1)] ""
+ ,if (isEmpty xs)
+ (Instr "nop" [] "")
+ (Instr "brf" [L $ "1next" +++ (toString $ n + 1)] "")
,Instr "bra" [L k] ""
:fS xs $ n+1]
context :: SSMProgram
,Instr "str" [Raw "RR"] ""
,Instr "unlink" [] ""
,Instr "ret" [] ""
- ,Lab "isempty"
+ ,Lab "isEmpty"
,Instr "link" [Lit 0] ""
,Instr "ldl" [Lit -2] "load prt to list"
,Instr "lda" [Lit 0] "derefrence ptr"
,Instr "ldc" [Lit 0] ""
,Instr "sth" [] ""
,Instr "ajs" [Lit -1] ""]
+ Nothing = liftT $ Left $ Error "PANIC: unresolver variable expr"
+ g (LambdaExpr _ _ _) = liftT $ Left $ Error "PANIC: Lambdas should be unfolded"
g (FunExpr _ k es fs) = funnyStuff k es fs
funnyStuff :: String [Expr] [FieldSelector] -> Gen ()
//Identifier points to function
Just (LAB l arity fn) = if (arity <> (length es))
//Function is not complete
- ( tell
+ ( mapM_ g es
+ >>| tell
[Instr "ldc" [Lit fn] "Store function number"
,Instr "sth" [] ""
+ ,Instr "str" [Raw "R7"] ""
,Instr "ldc" [Lit $ length es] "Store arity"
,Instr "sth" [] ""
- ,Instr "ajs" [Lit -1] ""]
- >>| mapM_ g es
+ ,Instr "ajs" [Lit -1] ""
+ ]
>>| if (isEmpty es) (pure ()) (tell
[Instr "stmh" [Lit $ length es] "Store arguments"
- ,Instr "ajs" [Lit -1] ""]))
+ ,Instr "ajs" [Lit -1] ""
+ ,Instr "ldr" [Raw "R7"] ""]))
//Function is complete
( mapM_ g es
>>| getAdressbook >>= \ab->(case 'Map'.get k ab of
,Instr "ldr" [Raw "RR"] ""
]
)
- Nothing = liftT (Left $ Error "Undefined function!!!")
+ Nothing = liftT (Left $ Error $ "PANIC: Undefined function: " +++ k)
instance g Stmt where
g (IfStmt cond th el) =
g e >>| getAdressbook >>= \ab->case 'Map'.get k ab of
Nothing = liftT (Left $ Error $ concat ["PANIC: ", k, " not found as var"])
Just (LAB t _ _) = liftT (Left $ Error $ "PANIC: cannot assign to function")
- Just (ADDR t ar) = tell [Instr "stl" [Lit t] ""]
+ Just (ADDR t ar) = case fs of
+ [] = tell [Instr "stl" [Lit t] ""]
+ _ = tell [Instr "ldl" [Lit t] ""]
+ >>| followFs fs
+ >>| tell [Instr "sta" [Lit 0] ""]
g (FunStmt k es fs) = funnyStuff k es fs
g (ReturnStmt Nothing) = tell [Instr "unlink" [] ""]
>>| tell [Instr "ret" [] ""]
>>| tell [Instr "str" [Raw "RR"] ""]
>>| g (ReturnStmt Nothing)
+//expects the heap address to the var to slect on to be on the stack
+//and leaves the heap adress to write to on the stack
+followFs :: [FieldSelector] -> Gen()
+followFs [] = tell []
+followFs [FieldHd:fs] = tell [Instr "ldc" [Lit 1] "select hd"
+ ,Instr "sub" [] "select hd"]
+ >>| followFs fs
+followFs [FieldTl] = tell []
+followFs [FieldTl:fs] = tell [Instr "lda" [Lit 0] ""]
+ >>| followFs fs
+followFs [FieldFst:fs] = tell [Instr "ldc" [Lit 1] "select fst"
+ ,Instr "sub" [] "select fst"]
+ >>| followFs fs
+followFs [FieldSnd] = tell []
+followFs [FieldSnd:fs] = tell [Instr "lda" [Lit 0] ""]
+ >>| followFs fs
+
foldVarDecl :: Int VarDecl -> Gen Int
foldVarDecl x (VarDecl _ mt k e) = g e
>>| annote x k