8244 |
(let ((a 1)) (if (not (/= a 0)) a 0)) |
(let ((a 1)) (if (not (/= a 0)) a 0)) |
8245 |
0) |
0) |
8246 |
|
|
8247 |
|
;;; sbcl 0.8.16.13 |
8248 |
|
;;; #<SB-C:TN t1> is not valid as the first argument to VOP: |
8249 |
|
;;; SB-VM::FAST-ASH-LEFT-MOD32/UNSIGNED=>UNSIGNED |
8250 |
|
;;; Primitive type: T |
8251 |
|
;;; SC restrictions: |
8252 |
|
;;; (SB-VM::UNSIGNED-REG) |
8253 |
|
;;; The primitive type disallows these loadable SCs: |
8254 |
|
;;; (SB-VM::UNSIGNED-REG) |
8255 |
|
|
8256 |
|
(deftest misc.434 |
8257 |
|
(funcall |
8258 |
|
(compile |
8259 |
|
nil |
8260 |
|
'(lambda (a b) |
8261 |
|
(declare (type (integer -8431780939320 1571817471932) a)) |
8262 |
|
(declare (type (integer -4085 0) b)) |
8263 |
|
(declare (ignorable a b)) |
8264 |
|
(declare |
8265 |
|
(optimize (space 2) |
8266 |
|
(compilation-speed 0) |
8267 |
|
#+sbcl (sb-c:insert-step-conditions 0) |
8268 |
|
(debug 2) |
8269 |
|
(safety 0) |
8270 |
|
(speed 3))) |
8271 |
|
(let ((*s5* 0)) |
8272 |
|
(dotimes (iv1 2 0) |
8273 |
|
(let ((*s5* |
8274 |
|
(elt '(1954479092053) |
8275 |
|
(min 0 |
8276 |
|
(max 0 |
8277 |
|
(if (< iv1 iv1) |
8278 |
|
(lognand iv1 (ash iv1 (min 53 iv1))) |
8279 |
|
iv1)))))) |
8280 |
|
0))))) |
8281 |
|
-7639589303599 -1368) |
8282 |
|
0) |
8283 |
|
|