write_byte already puts void in rax.

Author: dvanhorn

langs/extort/compile-ops.rkt

@@ -41,8 +41,7 @@
     ['write-byte
      (seq (assert-byte)
           (Mov rdi rax)
-          (Call 'write_byte)
-          (Mov rax (value->bits (void))))]))
+          (Call 'write_byte))]))
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

langs/fraud/compile-ops.rkt

@@ -50,8 +50,7 @@
           pad-stack
           (Mov rdi rax)
           (Call 'write_byte)
-          unpad-stack
-          (Mov rax (value->bits (void))))]))
+          unpad-stack)]))
 
 ;; Op2 -> Asm
 (define (compile-op2 p)

langs/hoax/compile-ops.rkt

@@ -52,8 +52,7 @@
           pad-stack
           (Mov rdi rax)
           (Call 'write_byte)
-          unpad-stack
-          (Mov rax (value->bits (void))))]
+          unpad-stack)]
     ['box
      (seq (Mov (Offset rbx 0) rax)
           (Mov rax rbx)
@@ -144,11 +143,11 @@
      (seq (Pop r8)
           (Cmp rax r8)
 	  (if-equal))]
-    ['make-vector
+    ['make-vector ;; size value
      (let ((loop (gensym))
            (done (gensym))
            (empty (gensym)))
-       (seq (Pop r8)
+       (seq (Pop r8) ;; r8 = size
             (assert-natural r8)
             (Cmp r8 0) ; special case empty vector
             (Je empty)
@@ -174,7 +173,7 @@
             (Mov rax type-vect)
             (Label done)))]
 
-    ['vector-ref
+    ['vector-ref ; vector index
      (seq (Pop r8)
           (assert-vector r8)
           (assert-integer rax)

langs/hustle/compile-ops.rkt

@@ -49,13 +49,12 @@
           pad-stack
           (Mov rdi rax)
           (Call 'write_byte)
-          unpad-stack
-          (Mov rax val-void))]
+          unpad-stack)]
     ['box
-     (seq (Mov (Offset rbx 0) rax)
-          (Mov rax rbx)
-          (Or rax type-box)
-          (Add rbx 8))]
+     (seq (Mov (Offset rbx 0) rax) ; memory write
+          (Mov rax rbx)            ; put box in rax
+          (Or rax type-box)        ; tag as a box
+          (Add rbx 8))]            ; move rbx 8 bytes over
     ['unbox
      (seq (assert-box rax)
           (Xor rax type-box)

langs/iniquity/compile-ops.rkt

@@ -52,8 +52,7 @@
           pad-stack
           (Mov rdi rax)
           (Call 'write_byte)
-          unpad-stack
-          (Mov rax (value->bits (void))))]
+          unpad-stack)]
     ['box
      (seq (Mov (Offset rbx 0) rax)
           (Mov rax rbx)

langs/jig/compile-ops.rkt

@@ -52,8 +52,7 @@
           pad-stack
           (Mov rdi rax)
           (Call 'write_byte)
-          unpad-stack
-          (Mov rax (value->bits (void))))]
+          unpad-stack)]
     ['box
      (seq (Mov (Offset rbx 0) rax)
           (Mov rax rbx)

langs/knock/compile-ops.rkt

@@ -52,8 +52,7 @@
           pad-stack
           (Mov rdi rax)
           (Call 'write_byte)
-          unpad-stack
-          (Mov rax (value->bits (void))))]
+          unpad-stack)]
     ['box
      (seq (Mov (Offset rbx 0) rax)
           (Mov rax rbx)

langs/loot/compile-ops.rkt

@@ -52,8 +52,7 @@
           pad-stack
           (Mov rdi rax)
           (Call 'write_byte)
-          unpad-stack
-          (Mov rax (value->bits (void))))]
+          unpad-stack)]
     ['box
      (seq (Mov (Offset rbx 0) rax)
           (Mov rax rbx)

langs/mountebank/compile-ops.rkt

@@ -55,8 +55,7 @@
           pad-stack
           (Mov rdi rax)
           (Call 'write_byte)
-          unpad-stack
-          (Mov rax val-void))]
+          unpad-stack)]
     ['box
      (seq (Mov (Offset rbx 0) rax)
           (Mov rax rbx)

langs/mug/compile-ops.rkt

@@ -55,8 +55,7 @@
           pad-stack
           (Mov rdi rax)
           (Call 'write_byte)
-          unpad-stack
-          (Mov rax val-void))]
+          unpad-stack)]
     ['box
      (seq (Mov (Offset rbx 0) rax)
           (Mov rax rbx)