crook

Author: dvanhorn

hoax-plus/compile-ops.rkt

@@ -234,8 +234,8 @@
           (Mov r9 (Mem r8 (- type-vect)))
           (Cmp r10 r9)
           (Jge 'err)
-          (Sar r10 1) ; convert to byte offset          
-          (Mov (Mem r8 r10 (- 8 type-vect)) rax)          
+          (Sar r10 1) ; convert to byte offset
+          (Mov (Mem r8 r10 (- 8 type-vect)) rax)
           (Mov rax (value->bits (void))))]))
 
 (define (type-pred mask type)

iniquity-plus/compile-ops.rkt

@@ -222,8 +222,8 @@
           (Mov r9 (Mem r8 (- type-vect)))
           (Cmp r10 r9)
           (Jge 'err)
-          (Sar r10 1) ; convert to byte offset          
-          (Mov (Mem r8 r10 (- 8 type-vect)) rax)          
+          (Sar r10 1) ; convert to byte offset
+          (Mov (Mem r8 r10 (- 8 type-vect)) rax)
           (Mov rax (value->bits (void))))]))
 
 (define (type-pred mask type)

knock-plus/ast.rkt

@@ -51,6 +51,9 @@
 ;;           | (Box Pat)
 ;;           | (Cons Pat Pat)
 ;;           | (Conj Pat Pat)
+;;           | (List [Listof Pat])
+;;           | (Vect [Listof Pat])
+;;           | (Pred Id)
 
 (struct Eof () #:prefab)
 (struct Lit (d) #:prefab)

knock-plus/compile-ops.rkt

@@ -222,8 +222,8 @@
           (Mov r9 (Mem r8 (- type-vect)))
           (Cmp r10 r9)
           (Jge 'err)
-          (Sar r10 1) ; convert to byte offset          
-          (Mov (Mem r8 r10 (- 8 type-vect)) rax)          
+          (Sar r10 1) ; convert to byte offset
+          (Mov (Mem r8 r10 (- 8 type-vect)) rax)
           (Mov rax (value->bits (void))))]))
 
 ;; OpN Natural -> Asm
@@ -234,9 +234,9 @@
           (compile-op-list n))]
     ['vector
      (match n
-       [0 (seq (Mov rax type-vect))]
+       [0 (seq (Lea rax (Mem 'empty type-vect)))]
        [n (seq (compile-op-vect n)
-               (Mov r9 n)
+               (Mov r9 (value->bits n))
                (Mov (Mem rbx) r9)
                (Mov rax rbx)
                (Xor rax type-vect)
@@ -246,8 +246,8 @@
   (match n
     [0 (seq)]
     [n (seq (Pop r9)
-            (Mov (Mem rbx) 'rax)
-            (Mov (Mem rbx 8) 'r9)
+            (Mov (Mem rbx 8) rax)
+            (Mov (Mem rbx 0) r9)
             (Mov rax rbx)
             (Xor rax type-cons)
             (Add rbx 16)