8731 |
'(lambda (a b) |
'(lambda (a b) |
8732 |
(declare (type (integer -32933298905 -168011) a)) |
(declare (type (integer -32933298905 -168011) a)) |
8733 |
(declare (type (integer -190015111797 16) b)) |
(declare (type (integer -190015111797 16) b)) |
8734 |
(declare |
(declare (optimize (speed 2) (compilation-speed 0) (space 0) |
8735 |
(optimize (speed 2) |
(safety 1) (debug 0))) |
|
(compilation-speed 0) |
|
|
(space 0) |
|
|
(safety 1) |
|
|
(debug 0) |
|
|
; (sb-c:insert-step-conditions 0) |
|
|
)) |
|
8736 |
(logand (+ b -9255) a 63))) |
(logand (+ b -9255) a 63))) |
8737 |
-8166030199 -45872222127) |
-8166030199 -45872222127) |
8738 |
8) |
8) |
8739 |
|
|
8740 |
|
;;; In sbcl 0.8.17.28-signed-modular-arithmetic.3 |
8741 |
|
;;; Unreachable code is found or flow graph is not properly depth-first ordered. |
8742 |
|
;;; (This is apparently a different bug from the previous ones that |
8743 |
|
;;; were causing this message to be printed.) |
8744 |
|
|
8745 |
|
(deftest misc.460 |
8746 |
|
(funcall |
8747 |
|
(compile |
8748 |
|
nil |
8749 |
|
'(lambda (a) |
8750 |
|
(declare (type (integer 50354997 50514623) a)) |
8751 |
|
(declare (ignorable a)) |
8752 |
|
(declare |
8753 |
|
(optimize (speed 0) |
8754 |
|
(safety 0) |
8755 |
|
(compilation-speed 3) |
8756 |
|
(sb-c:insert-step-conditions 0) |
8757 |
|
(debug 1) |
8758 |
|
(space 1))) |
8759 |
|
(loop for lv3 below 2 |
8760 |
|
sum (if (find 0 |
8761 |
|
'(-17604051 126613572 -795198 12037855 127043241 -2 -59 |
8762 |
|
-3458890 1505 -1 -2 107498637 -977489 172087 421813 |
8763 |
|
543299114 12 4311490 569 -3509 -4051770 -1 1 1 |
8764 |
|
216399387 -2482 143297 2 304550 -61 -195904988 |
8765 |
|
57682175 2344 1294831 -247 -2 25779388 -296 -12115 |
8766 |
|
-158487 -15) |
8767 |
|
:test 'eql) |
8768 |
|
(if (find 0 #(4193594) :test '<) |
8769 |
|
(min (catch 'ct6 0) (catch 'ct8 0) 0) |
8770 |
|
(let ((*s1* (cons a 0))) |
8771 |
|
(car *s1*))) |
8772 |
|
0)))) |
8773 |
|
50395193) |
8774 |
|
0) |