Remove binary op stuff from Extort.

Author: dvanhorn

langs/extort/compile-ops.rkt

@@ -4,7 +4,6 @@
 
 (define rax 'rax) ; return
 (define rdi 'rdi) ; arg
-(define r8  'r8)  ; scratch in +, -
 (define r9  'r9)  ; scratch in assert-type
 
 ;; Op0 -> Asm
@@ -56,20 +55,6 @@
           (Call 'write_byte)
           (Mov rax val-void))]))
 
-;; Op2 -> Asm
-(define (compile-op2 p)
-  (match p
-    ['+
-     (seq (Pop r8)
-          (assert-integer r8)
-          (assert-integer rax)
-          (Add rax r8))]
-    ['-
-     (seq (Pop r8)
-          (assert-integer r8)
-          (assert-integer rax)
-          (Sub r8 rax)
-          (Mov rax r8))]))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 

langs/extort/compile.rkt

@@ -47,13 +47,6 @@
   (seq (compile-e e)
        (compile-op1 p)))
 
-;; Op2 Expr Expr -> Asm
-(define (compile-prim2 p e1 e2)
-  (seq (compile-e e1)
-       (Push rax)
-       (compile-e e2)
-       (compile-op2 p)))
-
 ;; Expr Expr Expr -> Asm
 (define (compile-if e1 e2 e3)
   (let ((l1 (gensym 'if))