Fix bug in vector-set./example.run

cmsc430 · Oct 25, 2024 · 9f48000 · 9f48000
1 parent 8a4fb9c
commit 9f48000
Show file tree

Hide file tree

Showing 10 changed files with 20 additions and 5 deletions.
diff --git a/hoax/compile-ops.rkt b/hoax/compile-ops.rkt
@@ -255,6 +255,8 @@
           (Pop r8)
           (assert-vector r8)
           (assert-integer r10)
+          (Cmp r8 type-vect)
+          (Je 'err)
           (Cmp r10 0)
           (Jl 'err)
           (Xor r8 type-vect)       ; r8 = ptr

diff --git a/hoax/test/test-runner.rkt b/hoax/test/test-runner.rkt
@@ -161,7 +161,8 @@
     (check-equal? (run '(string? (cons 1 2))) #f)
     (check-equal? (run '(begin (make-string 3 #\f)
                                (make-string 3 #\f)))
-                  "fff")))
+                  "fff")
+    (check-equal? (run '(vector-set! (make-vector 0 #f) 0 #t)) 'err)))
 
 (define (test/io run)
   (begin ;; Evildoer

diff --git a/iniquity/compile-ops.rkt b/iniquity/compile-ops.rkt
@@ -255,6 +255,8 @@
           (Pop r8)
           (assert-vector r8)
           (assert-integer r10)
+          (Cmp r8 type-vect)
+          (Je 'err)
           (Cmp r10 0)
           (Jl 'err)
           (Xor r8 type-vect)       ; r8 = ptr

diff --git a/iniquity/test/test-runner.rkt b/iniquity/test/test-runner.rkt
@@ -161,7 +161,8 @@
     (check-equal? (run '(string? (cons 1 2))) #f)
     (check-equal? (run '(begin (make-string 3 #\f)
                                (make-string 3 #\f)))
-                  "fff"))
+                  "fff")
+    (check-equal? (run '(vector-set! (make-vector 0 #f) 0 #t)) 'err))
 
   (begin ;; Iniquity
     (check-equal? (run

diff --git a/jig/compile-ops.rkt b/jig/compile-ops.rkt
@@ -255,6 +255,8 @@
           (Pop r8)
           (assert-vector r8)
           (assert-integer r10)
+          (Cmp r8 type-vect)
+          (Je 'err)
           (Cmp r10 0)
           (Jl 'err)
           (Xor r8 type-vect)       ; r8 = ptr

diff --git a/jig/test/test-runner.rkt b/jig/test/test-runner.rkt
@@ -161,7 +161,8 @@
     (check-equal? (run '(string? (cons 1 2))) #f)
     (check-equal? (run '(begin (make-string 3 #\f)
                                (make-string 3 #\f)))
-                  "fff"))
+                  "fff")
+    (check-equal? (run '(vector-set! (make-vector 0 #f) 0 #t)) 'err))
 
   (begin ;; Iniquity
     (check-equal? (run

diff --git a/knock/compile-ops.rkt b/knock/compile-ops.rkt
@@ -255,6 +255,8 @@
           (Pop r8)
           (assert-vector r8)
           (assert-integer r10)
+          (Cmp r8 type-vect)
+          (Je 'err)
           (Cmp r10 0)
           (Jl 'err)
           (Xor r8 type-vect)       ; r8 = ptr

diff --git a/knock/test/test-runner.rkt b/knock/test/test-runner.rkt
@@ -161,7 +161,8 @@
     (check-equal? (run '(string? (cons 1 2))) #f)
     (check-equal? (run '(begin (make-string 3 #\f)
                                (make-string 3 #\f)))
-                  "fff"))
+                  "fff")
+    (check-equal? (run '(vector-set! (make-vector 0 #f) 0 #t)) 'err))
 
   (begin ;; Iniquity
     (check-equal? (run

diff --git a/loot/compile-ops.rkt b/loot/compile-ops.rkt
@@ -255,6 +255,8 @@
           (Pop r8)
           (assert-vector r8)
           (assert-integer r10)
+          (Cmp r8 type-vect)
+          (Je 'err)
           (Cmp r10 0)
           (Jl 'err)
           (Xor r8 type-vect)       ; r8 = ptr

diff --git a/loot/test/test-runner.rkt b/loot/test/test-runner.rkt
@@ -161,7 +161,8 @@
     (check-equal? (run '(string? (cons 1 2))) #f)
     (check-equal? (run '(begin (make-string 3 #\f)
                                (make-string 3 #\f)))
-                  "fff"))
+                  "fff")
+    (check-equal? (run '(vector-set! (make-vector 0 #f) 0 #t)) 'err))
 
   (begin ;; Iniquity
     (check-equal? (run