mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-05-18 10:10:23 +02:00
rewrite tests and add tests for write/read idempotency.
This commit is contained in:
Rob Browning
parent
a00712e490
commit
5bd63e0eb0
1 changed files with 181 additions and 290 deletions
|
|
@ -20,293 +20,184 @@
|
||||||
|
|
||||||
(use-modules (srfi srfi-4))
|
(use-modules (srfi srfi-4))
|
||||||
|
|
||||||
(with-test-prefix "u8 vectors"
|
(define (test-uvector kind u? uconstruct umake uset uref ulen
|
||||||
|
uvec->list list->uvec
|
||||||
(pass-if "u8vector? success"
|
low high)
|
||||||
(u8vector? (u8vector)))
|
|
||||||
|
(define (test-passthrough-write umake value)
|
||||||
(pass-if "u8vector? failure"
|
(pass-if (string-append kind " vector write->read idempotency")
|
||||||
(not (u8vector? (s8vector))))
|
(let* ((v (umake 5 value))
|
||||||
|
(str-rep (object->string v))
|
||||||
(pass-if "u8vector-length success 1"
|
(read-v (with-input-from-string str-rep read)))
|
||||||
(= (u8vector-length (u8vector)) 0))
|
(equal? v read-v))))
|
||||||
|
|
||||||
(pass-if "u8vector-length success 2"
|
(with-test-prefix (string-append kind " vector")
|
||||||
(= (u8vector-length (u8vector 3)) 1))
|
|
||||||
|
(pass-if (string-append kind "vector? success")
|
||||||
(pass-if "u8vector-length failure"
|
(u? (umake 0)))
|
||||||
(not (= (u8vector-length (u8vector 3)) 3)))
|
|
||||||
|
(pass-if (string-append kind "vector? failure")
|
||||||
(pass-if "u8vector-ref"
|
(not (u? 0)))
|
||||||
(= (u8vector-ref (u8vector 1 2 3) 1) 2))
|
|
||||||
|
(pass-if (string-append kind "vector-length success 1")
|
||||||
(pass-if "u8vector-set!/ref"
|
(= (ulen (uconstruct)) 0))
|
||||||
(= (let ((s (make-u8vector 10 0)))
|
|
||||||
(u8vector-set! s 4 33)
|
(pass-if (string-append kind "vector-length success 2")
|
||||||
(u8vector-ref s 4)) 33))
|
(= (ulen (uconstruct 3)) 1))
|
||||||
|
|
||||||
(pass-if "u8vector->list/list->u8vector"
|
(pass-if (string-append kind "vector-length failure")
|
||||||
(equal? (u8vector->list (u8vector 1 2 3 4))
|
(not (= (ulen (uconstruct 3)) 3)))
|
||||||
(u8vector->list (list->u8vector '(1 2 3 4))))))
|
|
||||||
|
(pass-if (string-append kind "vector-ref")
|
||||||
(with-test-prefix "s8 vectors"
|
(= (uref (uconstruct 1 2 3) 1) 2))
|
||||||
|
|
||||||
(pass-if "s8vector? success"
|
(pass-if (string-append kind "vector->list/list->vector")
|
||||||
(s8vector? (s8vector)))
|
(equal? (uvec->list (uconstruct 1 2 3 4))
|
||||||
|
(uvec->list (list->uvec '(1 2 3 4)))))
|
||||||
(pass-if "s8vector? failure"
|
|
||||||
(not (s8vector? (u8vector))))
|
(test-passthrough-write umake 0)
|
||||||
|
(test-passthrough-write umake 1)
|
||||||
(pass-if "s8vector-length success 1"
|
|
||||||
(= (s8vector-length (s8vector)) 0))
|
(if (and low high)
|
||||||
|
;; make sure we can store and retrieve values, including limits.
|
||||||
(pass-if "s8vector-length success 2"
|
(let ((testvals `(("0" 0)
|
||||||
(= (s8vector-length (s8vector -3)) 1))
|
("low" ,low)
|
||||||
|
("high" ,high))))
|
||||||
(pass-if "s8vector-length failure"
|
|
||||||
(not (= (s8vector-length (s8vector 3)) 3)))
|
(test-passthrough-write umake low)
|
||||||
|
(test-passthrough-write umake high)
|
||||||
(pass-if "s8vector-ref"
|
|
||||||
(= (s8vector-ref (s8vector 1 2 3) 1) 2))
|
(for-each
|
||||||
|
(lambda (test)
|
||||||
(pass-if "s8vector-set!/ref"
|
(pass-if (string-append (string-append "fill " (car test)))
|
||||||
(= (let ((s (make-s8vector 10 0)))
|
(= (cadr test) (uref (umake 1 (cadr test)) 0)))
|
||||||
(s8vector-set! s 4 33)
|
(pass-if (string-append "set " (car test))
|
||||||
(s8vector-ref s 4)) 33))
|
(let ((vec (umake 1)))
|
||||||
|
(uset vec 0 (cadr test))
|
||||||
(pass-if "s8vector->list/list->s8vector"
|
(= (cadr test) (uref vec 0)))))
|
||||||
(equal? (s8vector->list (s8vector 1 2 3 4))
|
testvals)))
|
||||||
(s8vector->list (list->s8vector '(1 2 3 4))))))
|
|
||||||
|
(if (and low high)
|
||||||
|
;; make sure we can't store and retrieve values outside the limits
|
||||||
(with-test-prefix "u16 vectors"
|
(let ((testvals `(("(- low 1)" ,(- low 1))
|
||||||
|
("(+ high 1)" ,(+ high 1)))))
|
||||||
(pass-if "u16vector? success"
|
|
||||||
(u16vector? (u16vector)))
|
(for-each
|
||||||
|
(lambda (test)
|
||||||
(pass-if "u16vector? failure"
|
(pass-if-exception (string-append "fill " (car test))
|
||||||
(not (u16vector? (s16vector))))
|
exception:out-of-range
|
||||||
|
(umake 1 (cadr test)))
|
||||||
(pass-if "u16vector-length success 1"
|
(pass-if-exception (string-append "set " (car test))
|
||||||
(= (u16vector-length (u16vector)) 0))
|
exception:out-of-range
|
||||||
|
(uset (umake 1) 0 (cadr test))))
|
||||||
(pass-if "u16vector-length success 2"
|
testvals)))))
|
||||||
(= (u16vector-length (u16vector 3)) 1))
|
|
||||||
|
(test-uvector "u8"
|
||||||
(pass-if "u16vector-length failure"
|
u8vector?
|
||||||
(not (= (u16vector-length (u16vector 3)) 3)))
|
u8vector
|
||||||
|
make-u8vector
|
||||||
(pass-if "u16vector-ref"
|
u8vector-set!
|
||||||
(= (u16vector-ref (u16vector 1 2 3) 1) 2))
|
u8vector-ref
|
||||||
|
u8vector-length
|
||||||
(pass-if "u16vector-set!/ref"
|
u8vector->list
|
||||||
(= (let ((s (make-u16vector 10 0)))
|
list->u8vector
|
||||||
(u16vector-set! s 4 33)
|
0 255)
|
||||||
(u16vector-ref s 4)) 33))
|
|
||||||
|
(test-uvector "s8"
|
||||||
(pass-if "u16vector->list/list->u16vector"
|
s8vector?
|
||||||
(equal? (u16vector->list (u16vector 1 2 3 4))
|
s8vector
|
||||||
(u16vector->list (list->u16vector '(1 2 3 4))))))
|
make-s8vector
|
||||||
|
s8vector-set!
|
||||||
(with-test-prefix "s16 vectors"
|
s8vector-ref
|
||||||
|
s8vector-length
|
||||||
(pass-if "s16vector? success"
|
s8vector->list
|
||||||
(s16vector? (s16vector)))
|
list->s8vector
|
||||||
|
-128 127)
|
||||||
(pass-if "s16vector? failure"
|
|
||||||
(not (s16vector? (u16vector))))
|
(test-uvector "u16"
|
||||||
|
u16vector?
|
||||||
(pass-if "s16vector-length success 1"
|
u16vector
|
||||||
(= (s16vector-length (s16vector)) 0))
|
make-u16vector
|
||||||
|
u16vector-set!
|
||||||
(pass-if "s16vector-length success 2"
|
u16vector-ref
|
||||||
(= (s16vector-length (s16vector -3)) 1))
|
u16vector-length
|
||||||
|
u16vector->list
|
||||||
(pass-if "s16vector-length failure"
|
list->u16vector
|
||||||
(not (= (s16vector-length (s16vector 3)) 3)))
|
0 65535)
|
||||||
|
|
||||||
(pass-if "s16vector-ref"
|
(test-uvector "s16"
|
||||||
(= (s16vector-ref (s16vector 1 2 3) 1) 2))
|
s16vector?
|
||||||
|
s16vector
|
||||||
(pass-if "s16vector-set!/ref"
|
make-s16vector
|
||||||
(= (let ((s (make-s16vector 10 0)))
|
s16vector-set!
|
||||||
(s16vector-set! s 4 33)
|
s16vector-ref
|
||||||
(s16vector-ref s 4)) 33))
|
s16vector-length
|
||||||
|
s16vector->list
|
||||||
(pass-if "s16vector->list/list->s16vector"
|
list->s16vector
|
||||||
(equal? (s16vector->list (s16vector 1 2 3 4))
|
-32768 32767)
|
||||||
(s16vector->list (list->s16vector '(1 2 3 4))))))
|
|
||||||
|
(test-uvector "u32"
|
||||||
(with-test-prefix "u32 vectors"
|
u32vector?
|
||||||
|
u32vector
|
||||||
(pass-if "u32vector? success"
|
make-u32vector
|
||||||
(u32vector? (u32vector)))
|
u32vector-set!
|
||||||
|
u32vector-ref
|
||||||
(pass-if "u32vector? failure"
|
u32vector-length
|
||||||
(not (u32vector? (s32vector))))
|
u32vector->list
|
||||||
|
list->u32vector
|
||||||
(pass-if "u32vector-length success 1"
|
0 (- (expt 2 32) 1))
|
||||||
(= (u32vector-length (u32vector)) 0))
|
|
||||||
|
(test-uvector "s32"
|
||||||
(pass-if "u32vector-length success 2"
|
s32vector?
|
||||||
(= (u32vector-length (u32vector 3)) 1))
|
s32vector
|
||||||
|
make-s32vector
|
||||||
(pass-if "u32vector-length failure"
|
s32vector-set!
|
||||||
(not (= (u32vector-length (u32vector 3)) 3)))
|
s32vector-ref
|
||||||
|
s32vector-length
|
||||||
(pass-if "u32vector-ref"
|
s32vector->list
|
||||||
(= (u32vector-ref (u32vector 1 2 3) 1) 2))
|
list->s32vector
|
||||||
|
(- (expt 2 31)) (- (expt 2 31) 1))
|
||||||
(pass-if "u32vector-set!/ref"
|
|
||||||
(= (let ((s (make-u32vector 10 0)))
|
(test-uvector "u64"
|
||||||
(u32vector-set! s 4 33)
|
u64vector?
|
||||||
(u32vector-ref s 4)) 33))
|
u64vector
|
||||||
|
make-u64vector
|
||||||
(pass-if "u32vector->list/list->u32vector"
|
u64vector-set!
|
||||||
(equal? (u32vector->list (u32vector 1 2 3 4))
|
u64vector-ref
|
||||||
(u32vector->list (list->u32vector '(1 2 3 4))))))
|
u64vector-length
|
||||||
|
u64vector->list
|
||||||
(with-test-prefix "s32 vectors"
|
list->u64vector
|
||||||
|
0 (- (expt 2 64) 1))
|
||||||
(pass-if "s32vector? success"
|
|
||||||
(s32vector? (s32vector)))
|
(test-uvector "s64"
|
||||||
|
s64vector?
|
||||||
(pass-if "s32vector? failure"
|
s64vector
|
||||||
(not (s32vector? (u32vector))))
|
make-s64vector
|
||||||
|
s64vector-set!
|
||||||
(pass-if "s32vector-length success 1"
|
s64vector-ref
|
||||||
(= (s32vector-length (s32vector)) 0))
|
s64vector-length
|
||||||
|
s64vector->list
|
||||||
(pass-if "s32vector-length success 2"
|
list->s64vector
|
||||||
(= (s32vector-length (s32vector -3)) 1))
|
(- (expt 2 63)) (- (expt 2 63) 1))
|
||||||
|
|
||||||
(pass-if "s32vector-length failure"
|
(test-uvector "f32"
|
||||||
(not (= (s32vector-length (s32vector 3)) 3)))
|
f32vector?
|
||||||
|
f32vector
|
||||||
(pass-if "s32vector-ref"
|
make-f32vector
|
||||||
(= (s32vector-ref (s32vector 1 2 3) 1) 2))
|
f32vector-set!
|
||||||
|
f32vector-ref
|
||||||
(pass-if "s32vector-set!/ref"
|
f32vector-length
|
||||||
(= (let ((s (make-s32vector 10 0)))
|
f32vector->list
|
||||||
(s32vector-set! s 4 33)
|
list->f32vector
|
||||||
(s32vector-ref s 4)) 33))
|
#f #f)
|
||||||
|
|
||||||
(pass-if "s32vector->list/list->s32vector"
|
(test-uvector "f64"
|
||||||
(equal? (s32vector->list (s32vector 1 2 3 4))
|
f64vector?
|
||||||
(s32vector->list (list->s32vector '(1 2 3 4))))))
|
f64vector
|
||||||
|
make-f64vector
|
||||||
(with-test-prefix "u64 vectors"
|
f64vector-set!
|
||||||
|
f64vector-ref
|
||||||
(pass-if "u64vector? success"
|
f64vector-length
|
||||||
(u64vector? (u64vector)))
|
f64vector->list
|
||||||
|
list->f64vector
|
||||||
(pass-if "u64vector? failure"
|
#f #f)
|
||||||
(not (u64vector? (s64vector))))
|
|
||||||
|
|
||||||
(pass-if "u64vector-length success 1"
|
|
||||||
(= (u64vector-length (u64vector)) 0))
|
|
||||||
|
|
||||||
(pass-if "u64vector-length success 2"
|
|
||||||
(= (u64vector-length (u64vector 3)) 1))
|
|
||||||
|
|
||||||
(pass-if "u64vector-length failure"
|
|
||||||
(not (= (u64vector-length (u64vector 3)) 3)))
|
|
||||||
|
|
||||||
(pass-if "u64vector-ref"
|
|
||||||
(= (u64vector-ref (u64vector 1 2 3) 1) 2))
|
|
||||||
|
|
||||||
(pass-if "u64vector-set!/ref"
|
|
||||||
(= (let ((s (make-u64vector 10 0)))
|
|
||||||
(u64vector-set! s 4 33)
|
|
||||||
(u64vector-ref s 4)) 33))
|
|
||||||
|
|
||||||
(pass-if "u64vector->list/list->u64vector"
|
|
||||||
(equal? (u64vector->list (u64vector 1 2 3 4))
|
|
||||||
(u64vector->list (list->u64vector '(1 2 3 4))))))
|
|
||||||
|
|
||||||
(with-test-prefix "s64 vectors"
|
|
||||||
|
|
||||||
(pass-if "s64vector? success"
|
|
||||||
(s64vector? (s64vector)))
|
|
||||||
|
|
||||||
(pass-if "s64vector? failure"
|
|
||||||
(not (s64vector? (u64vector))))
|
|
||||||
|
|
||||||
(pass-if "s64vector-length success 1"
|
|
||||||
(= (s64vector-length (s64vector)) 0))
|
|
||||||
|
|
||||||
(pass-if "s64vector-length success 2"
|
|
||||||
(= (s64vector-length (s64vector -3)) 1))
|
|
||||||
|
|
||||||
(pass-if "s64vector-length failure"
|
|
||||||
(not (= (s64vector-length (s64vector 3)) 3)))
|
|
||||||
|
|
||||||
(pass-if "s64vector-ref"
|
|
||||||
(= (s64vector-ref (s64vector 1 2 3) 1) 2))
|
|
||||||
|
|
||||||
(pass-if "s64vector-set!/ref"
|
|
||||||
(= (let ((s (make-s64vector 10 0)))
|
|
||||||
(s64vector-set! s 4 33)
|
|
||||||
(s64vector-ref s 4)) 33))
|
|
||||||
|
|
||||||
(pass-if "s64vector->list/list->s64vector"
|
|
||||||
(equal? (s64vector->list (s64vector 1 2 3 4))
|
|
||||||
(s64vector->list (list->s64vector '(1 2 3 4))))))
|
|
||||||
|
|
||||||
(with-test-prefix "f32 vectors"
|
|
||||||
|
|
||||||
(pass-if "f32vector? success"
|
|
||||||
(f32vector? (f32vector)))
|
|
||||||
|
|
||||||
(pass-if "f32vector? failure"
|
|
||||||
(not (f32vector? (s8vector))))
|
|
||||||
|
|
||||||
(pass-if "f32vector-length success 1"
|
|
||||||
(= (f32vector-length (f32vector)) 0))
|
|
||||||
|
|
||||||
(pass-if "f32vector-length success 2"
|
|
||||||
(= (f32vector-length (f32vector -3)) 1))
|
|
||||||
|
|
||||||
(pass-if "f32vector-length failure"
|
|
||||||
(not (= (f32vector-length (f32vector 3)) 3)))
|
|
||||||
|
|
||||||
(pass-if "f32vector-ref"
|
|
||||||
(= (f32vector-ref (f32vector 1 2 3) 1) 2))
|
|
||||||
|
|
||||||
(pass-if "f32vector-set!/ref"
|
|
||||||
(= (let ((s (make-f32vector 10 0)))
|
|
||||||
(f32vector-set! s 4 33)
|
|
||||||
(f32vector-ref s 4)) 33))
|
|
||||||
|
|
||||||
(pass-if "f32vector->list/list->f32vector"
|
|
||||||
(equal? (f32vector->list (f32vector 1 2 3 4))
|
|
||||||
(f32vector->list (list->f32vector '(1 2 3 4))))))
|
|
||||||
|
|
||||||
(with-test-prefix "f64 vectors"
|
|
||||||
|
|
||||||
(pass-if "f64vector? success"
|
|
||||||
(f64vector? (f64vector)))
|
|
||||||
|
|
||||||
(pass-if "f64vector? failure"
|
|
||||||
(not (f64vector? (f32vector))))
|
|
||||||
|
|
||||||
(pass-if "f64vector-length success 1"
|
|
||||||
(= (f64vector-length (f64vector)) 0))
|
|
||||||
|
|
||||||
(pass-if "f64vector-length success 2"
|
|
||||||
(= (f64vector-length (f64vector -3)) 1))
|
|
||||||
|
|
||||||
(pass-if "f64vector-length failure"
|
|
||||||
(not (= (f64vector-length (f64vector 3)) 3)))
|
|
||||||
|
|
||||||
(pass-if "f64vector-ref"
|
|
||||||
(= (f64vector-ref (f64vector 1 2 3) 1) 2))
|
|
||||||
|
|
||||||
(pass-if "f64vector-set!/ref"
|
|
||||||
(= (let ((s (make-f64vector 10 0)))
|
|
||||||
(f64vector-set! s 4 33)
|
|
||||||
(f64vector-ref s 4)) 33))
|
|
||||||
|
|
||||||
(pass-if "f64vector->list/list->f64vector"
|
|
||||||
(equal? (f64vector->list (f64vector 1 2 3 4))
|
|
||||||
(f64vector->list (list->f64vector '(1 2 3 4))))))
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue