Merge pull request #60 from cmsc430/main-crook

crook

Author: dvanhorn

con/compile.rkt

@@ -18,8 +18,7 @@
   (match e
     [(Lit i) (seq (Mov rax i))]
     [(Prim1 p e) (compile-prim1 p e)]
-    [(IfZero e1 e2 e3)
-     (compile-ifzero e1 e2 e3)]))
+    [(IfZero e1 e2 e3) (compile-ifzero e1 e2 e3)]))
 
 ;; Op1 Expr -> Asm
 (define (compile-prim1 p e)

dodger/compile.rkt

@@ -19,8 +19,7 @@
   (match e
     [(Lit d) (compile-datum d)]
     [(Prim1 p e) (compile-prim1 p e)]
-    [(If e1 e2 e3)
-     (compile-if e1 e2 e3)]))
+    [(If e1 e2 e3) (compile-if e1 e2 e3)]))
 
 ;; Datum -> Asm
 (define (compile-datum d)

dupe/compile.rkt

@@ -19,8 +19,7 @@
   (match e
     [(Lit d) (compile-datum d)]
     [(Prim1 p e) (compile-prim1 p e)]
-    [(If e1 e2 e3)
-     (compile-if e1 e2 e3)]))
+    [(If e1 e2 e3) (compile-if e1 e2 e3)]))
 
 ;; Datum -> Asm
 (define (compile-datum d)

evildoer/compile-ops.rkt

@@ -8,8 +8,8 @@
 (define (compile-op0 p)
   (match p
     ['void      (seq (Mov rax (value->bits (void))))]
-    ['read-byte (seq (Call 'read_byte))]
-    ['peek-byte (seq (Call 'peek_byte))]))
+    ['read-byte (seq (Extern 'read_byte) (Call 'read_byte))]
+    ['peek-byte (seq (Extern 'peek_byte) (Call 'peek_byte))]))
 
 ;; Op1 -> Asm
 (define (compile-op1 p)
@@ -37,7 +37,7 @@
      (seq (Cmp rax (value->bits eof))
           if-equal)]
     ['write-byte
-     (seq
+     (seq (Extern 'write_byte)
           (Mov rdi rax)
           (Call 'write_byte))]))
 

evildoer/compile.rkt

@@ -10,9 +10,6 @@
 ;; Expr -> Asm
 (define (compile e)
   (prog (Global 'entry)
-        (Extern 'peek_byte)
-        (Extern 'read_byte)
-        (Extern 'write_byte)
         (Label 'entry)
         (Sub rsp 8)
         (compile-e e)
@@ -26,10 +23,8 @@
     [(Eof) (seq (Mov rax (value->bits eof)))]
     [(Prim0 p) (compile-prim0 p)]
     [(Prim1 p e) (compile-prim1 p e)]
-    [(If e1 e2 e3)
-     (compile-if e1 e2 e3)]
-    [(Begin e1 e2)
-     (compile-begin e1 e2)]))
+    [(If e1 e2 e3) (compile-if e1 e2 e3)]
+    [(Begin e1 e2) (compile-begin e1 e2)]))
 
 ;; Datum -> Asm
 (define (compile-datum d)

extort/compile-ops.rkt

@@ -9,8 +9,8 @@
 (define (compile-op0 p)
   (match p
     ['void      (seq (Mov rax (value->bits (void))))]
-    ['read-byte (seq (Call 'read_byte))]
-    ['peek-byte (seq (Call 'peek_byte))]))
+    ['read-byte (seq (Extern 'read_byte) (Call 'read_byte))]
+    ['peek-byte (seq (Extern 'peek_byte) (Call 'peek_byte))]))
 
 ;; Op1 -> Asm
 (define (compile-op1 p)
@@ -42,7 +42,8 @@
      (seq (Cmp rax (value->bits eof))
           if-equal)]
     ['write-byte
-     (seq (assert-byte rax)
+     (seq (Extern 'write_byte)
+          (assert-byte rax)
           (Mov rdi rax)
           (Call 'write_byte))]))
 

extort/compile.rkt

@@ -10,17 +10,14 @@
 ;; Expr -> Asm
 (define (compile e)
   (prog (Global 'entry)
-        (Extern 'peek_byte)
-        (Extern 'read_byte)
-        (Extern 'write_byte)
-        (Extern 'raise_error)
         (Label 'entry)
         (Sub rsp 8)
         (compile-e e)
         (Add rsp 8)
         (Ret)
         ;; Error handler
         (Label 'err)
+        (Extern 'raise_error)
         (Call 'raise_error)))
 
 ;; Expr -> Asm
@@ -30,10 +27,8 @@
     [(Eof) (seq (Mov rax (value->bits eof)))]
     [(Prim0 p) (compile-prim0 p)]
     [(Prim1 p e) (compile-prim1 p e)]
-    [(If e1 e2 e3)
-     (compile-if e1 e2 e3)]
-    [(Begin e1 e2)
-     (compile-begin e1 e2)]))
+    [(If e1 e2 e3) (compile-if e1 e2 e3)]
+    [(Begin e1 e2) (compile-begin e1 e2)]))
 
 ;; Datum -> Asm
 (define (compile-datum d)

fraud/compile-ops.rkt

@@ -9,8 +9,8 @@
 (define (compile-op0 p)
   (match p
     ['void      (seq (Mov rax (value->bits (void))))]
-    ['read-byte (seq pad-stack (Call 'read_byte) unpad-stack)]
-    ['peek-byte (seq pad-stack (Call 'peek_byte) unpad-stack)]))
+    ['read-byte (seq (Extern 'read_byte) pad-stack (Call 'read_byte) unpad-stack)]
+    ['peek-byte (seq (Extern 'peek_byte) pad-stack (Call 'peek_byte) unpad-stack)]))
 
 ;; Op1 -> Asm
 (define (compile-op1 p)
@@ -42,7 +42,8 @@
      (seq (Cmp rax (value->bits eof))
           if-equal)]
     ['write-byte
-     (seq (assert-byte rax)
+     (seq (Extern 'write_byte)
+          (assert-byte rax)
           pad-stack
           (Mov rdi rax)
           (Call 'write_byte)

fraud/compile.rkt

@@ -9,10 +9,6 @@
 ;; ClosedExpr -> Asm
 (define (compile e)
   (prog (Global 'entry)
-        (Extern 'peek_byte)
-        (Extern 'read_byte)
-        (Extern 'write_byte)
-        (Extern 'raise_error)
         (Label 'entry)
         ;; save callee-saved register
         (Push r15)
@@ -23,6 +19,7 @@
         ;; Error handler
         (Label 'err)
         pad-stack
+        (Extern 'raise_error)
         (Call 'raise_error)))
 
 ;; type CEnv = (Listof [Maybe Id])
@@ -35,12 +32,9 @@
     [(Prim0 p) (compile-prim0 p)]
     [(Prim1 p e) (compile-prim1 p e c)]
     [(Prim2 p e1 e2) (compile-prim2 p e1 e2 c)]
-    [(If e1 e2 e3)
-     (compile-if e1 e2 e3 c)]
-    [(Begin e1 e2)
-     (compile-begin e1 e2 c)]
-    [(Let x e1 e2)
-     (compile-let x e1 e2 c)]))
+    [(If e1 e2 e3) (compile-if e1 e2 e3 c)]
+    [(Begin e1 e2) (compile-begin e1 e2 c)]
+    [(Let x e1 e2) (compile-let x e1 e2 c)]))
 
 ;; Datum -> Asm
 (define (compile-datum d)

hoax/compile-ops.rkt

@@ -9,8 +9,8 @@
 (define (compile-op0 p)
   (match p
     ['void      (seq (Mov rax (value->bits (void))))]
-    ['read-byte (seq pad-stack (Call 'read_byte) unpad-stack)]
-    ['peek-byte (seq pad-stack (Call 'peek_byte) unpad-stack)]))
+    ['read-byte (seq (Extern 'read_byte) pad-stack (Call 'read_byte) unpad-stack)]
+    ['peek-byte (seq (Extern 'peek_byte) pad-stack (Call 'peek_byte) unpad-stack)]))
 
 ;; Op1 -> Asm
 (define (compile-op1 p)
@@ -42,7 +42,8 @@
      (seq (Cmp rax (value->bits eof))
           if-equal)]
     ['write-byte
-     (seq (assert-byte rax)
+     (seq (Extern 'write_byte)
+          (assert-byte rax)
           pad-stack
           (Mov rdi rax)
           (Call 'write_byte)