Confirm the primitive respects the bounds too.

diff --git a/tests/microcode/test-chacha.scm b/tests/microcode/test-chacha.scm
index 411c4106330d4afa77a426698b68e02c6d415ddb..fad8793618abe7e96e7fdb777b61d9914fb248e6 100644 (file)
--- a/tests/microcode/test-chacha.scm
+++ b/tests/microcode/test-chacha.scm
@@ -76,8 +76,12 @@ USA.
            (constant (string->utf8 "expand 32-byte k"))
            (primitive (make-primitive-procedure name 5)))
        (define (zv n) (make-bytevector n 0))
+       (bytevector-u8-set! output 64 #xff)
        (primitive output 0 input key constant)
+       (assert-= (bytevector-u8-ref output 64) #xff)
+       (bytevector-u8-set! output 0 #xff)
        (primitive output 1 input key constant)
+       (assert-= (bytevector-u8-ref output 0) #xff)
        (assert-error (lambda () (primitive output -1 input key constant)))
        (assert-error (lambda () (primitive output 2 input key constant)))
        (assert-error (lambda () (primitive output 3 input key constant)))