9788 |
(=t (aref result 0) 1)))) |
(=t (aref result 0) 1)))) |
9789 |
t t t) |
t t t) |
9790 |
|
|
9791 |
|
;;; The value 22717067 is not of type (INTEGER 22717067 22717067) |
9792 |
|
|
9793 |
|
(deftest misc.528 |
9794 |
|
(let* ((x 296.3066f0) |
9795 |
|
(y 22717067) |
9796 |
|
(form `(lambda (r p2) |
9797 |
|
(declare (optimize speed (safety 1)) |
9798 |
|
(type (simple-array single-float nil) r) |
9799 |
|
(type (integer -9369756340 22717335) p2)) |
9800 |
|
(setf (aref r) (* ,x (the (eql 22717067) p2))) |
9801 |
|
(values))) |
9802 |
|
(r (make-array nil :element-type 'single-float)) |
9803 |
|
(expected (* x y))) |
9804 |
|
(funcall (compile nil form) r y) |
9805 |
|
(let ((actual (aref r))) |
9806 |
|
(unless (eql expected actual) |
9807 |
|
(list expected actual)))) |
9808 |
|
nil) |
9809 |
|
|
9810 |
|
;;; The value 46790178 is not of type (INTEGER 46790178 46790178). |
9811 |
|
|
9812 |
|
(deftest misc.529 |
9813 |
|
(let* ((x -2367.3296) |
9814 |
|
(y 46790178) |
9815 |
|
(form `(lambda (r p2) |
9816 |
|
(declare (optimize speed (safety 1)) |
9817 |
|
(type (simple-array single-float nil) r) |
9818 |
|
(type (eql 46790178) p2)) |
9819 |
|
(setf (aref r) (+ ,x (the (integer 45893897) p2))) |
9820 |
|
(values))) |
9821 |
|
(r (make-array nil :element-type 'single-float)) |
9822 |
|
(expected (+ x y))) |
9823 |
|
(funcall (compile nil form) r y) |
9824 |
|
(let ((actual (aref r))) |
9825 |
|
(unless (eql expected actual) |
9826 |
|
(list expected actual)))) |
9827 |
|
nil) |
9828 |
|
|
9829 |
|
|