Merge branch 'main' of github.com:cmsc430/www

Author: dvanhorn

langs/hoax/compile-ops.rkt

@@ -185,6 +185,8 @@
      (seq (Pop r8)
           (assert-vector r8)
           (assert-integer rax)
+          (Cmp r8 type-vect)
+          (Je 'raise_error_align) ; special case for empty vector
           (Cmp rax 0)
           (Jl 'raise_error_align)
           (Xor r8 type-vect)      ; r8 = ptr

langs/hoax/test/test-runner.rkt

@@ -121,6 +121,7 @@
   (check-equal? (run '(make-vector 3 5)) #(5 5 5))
   (check-equal? (run '(vector? (make-vector 0 0))) #t)
   (check-equal? (run '(vector? (cons 0 0))) #f)
+  (check-equal? (run '(vector-ref (make-vector 0 #f) 0)) 'err)
   (check-equal? (run '(vector-ref (make-vector 3 5) -1)) 'err)
   (check-equal? (run '(vector-ref (make-vector 3 5) 0)) 5)
   (check-equal? (run '(vector-ref (make-vector 3 5) 1)) 5)

langs/iniquity/compile-ops.rkt

@@ -185,6 +185,8 @@
      (seq (Pop r8)
           (assert-vector r8)
           (assert-integer rax)
+          (Cmp r8 type-vect)
+          (Je 'raise_error_align) ; special case for empty vector
           (Cmp rax 0)
           (Jl 'raise_error_align)
           (Xor r8 type-vect)      ; r8 = ptr

langs/iniquity/test/test-runner.rkt

@@ -114,6 +114,7 @@
   (check-equal? (run '(make-vector 3 5)) #(5 5 5))
   (check-equal? (run '(vector? (make-vector 0 0))) #t)
   (check-equal? (run '(vector? (cons 0 0))) #f)
+  (check-equal? (run '(vector-ref (make-vector 0 #f) 0)) 'err)
   (check-equal? (run '(vector-ref (make-vector 3 5) -1)) 'err)
   (check-equal? (run '(vector-ref (make-vector 3 5) 0)) 5)
   (check-equal? (run '(vector-ref (make-vector 3 5) 1)) 5)

langs/jig/compile-ops.rkt

@@ -185,6 +185,8 @@
      (seq (Pop r8)
           (assert-vector r8)
           (assert-integer rax)
+          (Cmp r8 type-vect)
+          (Je 'raise_error_align) ; special case for empty vector
           (Cmp rax 0)
           (Jl 'raise_error_align)
           (Xor r8 type-vect)      ; r8 = ptr

langs/jig/test/test-runner.rkt

@@ -114,6 +114,7 @@
   (check-equal? (run '(make-vector 3 5)) #(5 5 5))
   (check-equal? (run '(vector? (make-vector 0 0))) #t)
   (check-equal? (run '(vector? (cons 0 0))) #f)
+  (check-equal? (run '(vector-ref (make-vector 0 #f) 0)) 'err)
   (check-equal? (run '(vector-ref (make-vector 3 5) -1)) 'err)
   (check-equal? (run '(vector-ref (make-vector 3 5) 0)) 5)
   (check-equal? (run '(vector-ref (make-vector 3 5) 1)) 5)

langs/knock/compile-ops.rkt

@@ -185,6 +185,8 @@
      (seq (Pop r8)
           (assert-vector r8)
           (assert-integer rax)
+          (Cmp r8 type-vect)
+          (Je 'raise_error_align) ; special case for empty vector
           (Cmp rax 0)
           (Jl 'raise_error_align)
           (Xor r8 type-vect)      ; r8 = ptr

langs/knock/test/test-runner.rkt

@@ -114,6 +114,7 @@
   (check-equal? (run '(make-vector 3 5)) #(5 5 5))
   (check-equal? (run '(vector? (make-vector 0 0))) #t)
   (check-equal? (run '(vector? (cons 0 0))) #f)
+  (check-equal? (run '(vector-ref (make-vector 0 #f) 0)) 'err)
   (check-equal? (run '(vector-ref (make-vector 3 5) -1)) 'err)
   (check-equal? (run '(vector-ref (make-vector 3 5) 0)) 5)
   (check-equal? (run '(vector-ref (make-vector 3 5) 1)) 5)

langs/loot/compile-ops.rkt

@@ -185,6 +185,8 @@
      (seq (Pop r8)
           (assert-vector r8)
           (assert-integer rax)
+          (Cmp r8 type-vect)
+          (Je 'raise_error_align) ; special case for empty vector
           (Cmp rax 0)
           (Jl 'raise_error_align)
           (Xor r8 type-vect)      ; r8 = ptr

langs/loot/test/test-runner.rkt

@@ -114,6 +114,7 @@
   (check-equal? (run '(make-vector 3 5)) #(5 5 5))
   (check-equal? (run '(vector? (make-vector 0 0))) #t)
   (check-equal? (run '(vector? (cons 0 0))) #f)
+  (check-equal? (run '(vector-ref (make-vector 0 #f) 0)) 'err)
   (check-equal? (run '(vector-ref (make-vector 3 5) -1)) 'err)
   (check-equal? (run '(vector-ref (make-vector 3 5) 0)) 5)
   (check-equal? (run '(vector-ref (make-vector 3 5) 1)) 5)