3201 |
1 2) |
1 2) |
3202 |
2) |
2) |
3203 |
|
|
3204 |
|
(deftest misc.193 |
3205 |
|
(let* ((form '(IF (IF (<= A (TRUNCATE C (MIN -43 B))) |
3206 |
|
(LOGBITP 0 0) (LOGBITP 0 -1)) |
3207 |
|
0 -36223)) |
3208 |
|
(fn1 `(lambda (a b c) |
3209 |
|
(declare (type (integer -3 15350342) a)) |
3210 |
|
(declare (type (integer -4357 -1555) b)) |
3211 |
|
(declare (type (integer 5389300879793 6422214587951) c)) |
3212 |
|
(declare (optimize (speed 3))) |
3213 |
|
(declare (optimize (safety 1))) |
3214 |
|
(declare (optimize (debug 1))) |
3215 |
|
,form)) |
3216 |
|
(fn2 `(lambda (a b c) |
3217 |
|
(declare (notinline logbitp min truncate <=)) |
3218 |
|
(declare (optimize (safety 3))) |
3219 |
|
(declare (optimize (speed 0))) |
3220 |
|
(declare (optimize (debug 0))) |
3221 |
|
,form)) |
3222 |
|
(vals '(7792101 -1615 6070931814551)) |
3223 |
|
(result1 (multiple-value-list (apply (compile nil fn1) vals))) |
3224 |
|
(result2 (multiple-value-list (apply (compile nil fn2) vals)))) |
3225 |
|
(if (equal result1 result2) |
3226 |
|
:good |
3227 |
|
(values result1 result2))) |
3228 |
|
:good) |