From 98111ae037b165ca8deb2d0b73d3194a1e71d45c Mon Sep 17 00:00:00 2001
From: Yuchen Pei <me@ypei.me>
Date: Tue, 2 Jan 2018 19:14:29 +0100
Subject: almost done with project 07 part 2

---
 projects/07/VMTranslator.hs | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/projects/07/VMTranslator.hs b/projects/07/VMTranslator.hs
index 289c0d4..a1f93e6 100644
--- a/projects/07/VMTranslator.hs
+++ b/projects/07/VMTranslator.hs
@@ -15,6 +15,32 @@ parse' op [] n
           f "or" = '|'; f "neg" = '-'; f "not" = '!'
 
 parse' "push" ["constant", x] _ = "@" ++ x ++ "\nD=A\n" ++ push "D"
+parse' cmd [seg, x] _ | seg `elem` ["local", "argument", "this", "that"] =
+  case cmd of 
+    | "push" -> getAddr seg x ++ push "D"
+    | "pop" -> getAddr seg x ++ "@R13\nM=D\n" ++ pop "M" ++ "@R13\nA=M\nM=D\n"
+
+parse' cmd [seg, x] _ | seg `elem` ["pointer", "temp"] = 
+  case cmd of 
+    | "push" -> getAddr' seg x ++ "D=M\n" ++ push "D"
+    | "pop" -> pop "M" ++ getAddr' seg x ++ "M=D\n"
+
+parse' cmd ["static", x] _ =
+  case cmd of
+    | "push" -> getAddr'' x ++ "D=M\n" ++ push "D"
+    | "pop" -> pop "M" ++ getAddr'' x ++ "M=D\n"
+
+getAddr seg x = "@" ++ seg2Lab seg ++ "\nD=M\n@" ++ x ++ "\nA=D+M\nD=M\n"
+
+getAddr' seg x = "@" ++ show (read x + (if seg == "pointer" then 3 else 5)) ++ "\n"
+
+getAddr'' x = "@" ++ filename ++ "." ++ x ++ "\n"
+
+seg2Lab seg = case seg of
+  | "local" -> "LCL"
+  | "argument" -> "ARG"
+  | "this" -> "THIS" 
+  | "that" -> "THAT"
 
 push :: [Char] -> [Char]
 push xs = "@SP\nA=M\nM=" ++ xs ++ "\n@SP\nM=M+1\n"
-- 
cgit v1.2.3