Lines Matching refs:eqv
34 (test-cp0-expansion eqv? '(fx= -3 -7) #f)
35 (test-cp0-expansion eqv? '(fx= -3 0) #f)
36 (test-cp0-expansion eqv? '(fx= 0 -3) #f)
37 (test-cp0-expansion eqv? '(fx= 0 0) #t)
38 (test-cp0-expansion eqv? '(fx= -3 -3) #t)
39 (test-cp0-expansion eqv? '(fx= 12 12) #t)
40 (test-cp0-expansion eqv? '(fx= -3 -7 -7) #f)
41 (test-cp0-expansion eqv? '(fx= -3 -3 0) #f)
42 (test-cp0-expansion eqv? '(fx= 0 -3 0) #f)
43 (test-cp0-expansion eqv? '(fx= 0 0 0) #t)
44 (test-cp0-expansion eqv? '(fx= -3 -3 -3) #t)
45 (test-cp0-expansion eqv? '(fx= 12 12 12) #t)
66 (test-cp0-expansion eqv? '(fx< -3 -7) #f)
67 (test-cp0-expansion eqv? '(fx< -3 0) #t)
68 (test-cp0-expansion eqv? '(fx< 0 -3) #f)
69 (test-cp0-expansion eqv? '(fx< 0 0) #f)
70 (test-cp0-expansion eqv? '(fx< -3 -3) #f)
71 (test-cp0-expansion eqv? '(fx< 12 12) #f)
72 (test-cp0-expansion eqv? '(fx< -3 -7 -7) #f)
73 (test-cp0-expansion eqv? '(fx< -3 -2 0) #t)
74 (test-cp0-expansion eqv? '(fx< -3 -3 0) #f)
75 (test-cp0-expansion eqv? '(fx< 0 -3 0) #f)
76 (test-cp0-expansion eqv? '(fx< 0 0 0) #f)
77 (test-cp0-expansion eqv? '(fx< -3 -3 -3) #f)
78 (test-cp0-expansion eqv? '(fx< 12 12 12) #f)
99 (test-cp0-expansion eqv? '(fx> -3 -7) #t)
100 (test-cp0-expansion eqv? '(fx> -3 0) #f)
101 (test-cp0-expansion eqv? '(fx> 0 -3) #t)
102 (test-cp0-expansion eqv? '(fx> 0 0) #f)
103 (test-cp0-expansion eqv? '(fx> -3 -3) #f)
104 (test-cp0-expansion eqv? '(fx> 12 12) #f)
105 (test-cp0-expansion eqv? '(fx> -3 -7 -7) #f)
106 (test-cp0-expansion eqv? '(fx> -3 -2 0) #f)
107 (test-cp0-expansion eqv? '(fx> 0 -2 -3) #t)
108 (test-cp0-expansion eqv? '(fx> -3 -3 0) #f)
109 (test-cp0-expansion eqv? '(fx> 0 -3 0) #f)
110 (test-cp0-expansion eqv? '(fx> 0 0 0) #f)
111 (test-cp0-expansion eqv? '(fx> -3 -3 -3) #f)
112 (test-cp0-expansion eqv? '(fx> 12 12 12) #f)
133 (test-cp0-expansion eqv? '(fx<= -3 -7) #f)
134 (test-cp0-expansion eqv? '(fx<= -3 0) #t)
135 (test-cp0-expansion eqv? '(fx<= 0 -3) #f)
136 (test-cp0-expansion eqv? '(fx<= 0 0) #t)
137 (test-cp0-expansion eqv? '(fx<= -3 -3) #t)
138 (test-cp0-expansion eqv? '(fx<= 12 12) #t)
139 (test-cp0-expansion eqv? '(fx<= -3 -7 -7) #f)
140 (test-cp0-expansion eqv? '(fx<= -3 -2 0) #t)
141 (test-cp0-expansion eqv? '(fx<= 0 -2 -3) #f)
142 (test-cp0-expansion eqv? '(fx<= -3 -3 0) #t)
143 (test-cp0-expansion eqv? '(fx<= 0 -3 0) #f)
144 (test-cp0-expansion eqv? '(fx<= 0 0 0) #t)
145 (test-cp0-expansion eqv? '(fx<= -3 -3 -3) #t)
146 (test-cp0-expansion eqv? '(fx<= 12 12 12) #t)
167 (test-cp0-expansion eqv? '(fx>= -3 -7) #t)
168 (test-cp0-expansion eqv? '(fx>= -3 0) #f)
169 (test-cp0-expansion eqv? '(fx>= 0 -3) #t)
170 (test-cp0-expansion eqv? '(fx>= 0 0) #t)
171 (test-cp0-expansion eqv? '(fx>= -3 -3) #t)
172 (test-cp0-expansion eqv? '(fx>= 12 12) #t)
173 (test-cp0-expansion eqv? '(fx>= -3 -7 -7) #t)
174 (test-cp0-expansion eqv? '(fx>= -3 -2 0) #f)
175 (test-cp0-expansion eqv? '(fx>= 0 -2 -3) #t)
176 (test-cp0-expansion eqv? '(fx>= -3 -3 0) #f)
177 (test-cp0-expansion eqv? '(fx>= 0 -3 0) #f)
178 (test-cp0-expansion eqv? '(fx>= 0 0 0) #t)
179 (test-cp0-expansion eqv? '(fx>= -3 -3 -3) #t)
180 (test-cp0-expansion eqv? '(fx>= 12 12 12) #t)
203 (test-cp0-expansion eqv? '(fx=? -3 -7) #f)
204 (test-cp0-expansion eqv? '(fx=? -3 0) #f)
205 (test-cp0-expansion eqv? '(fx=? 0 -3) #f)
206 (test-cp0-expansion eqv? '(fx=? 0 0) #t)
207 (test-cp0-expansion eqv? '(fx=? -3 -3) #t)
208 (test-cp0-expansion eqv? '(fx=? 12 12) #t)
209 (test-cp0-expansion eqv? '(fx=? -3 -7 -7) #f)
210 (test-cp0-expansion eqv? '(fx=? -3 -3 0) #f)
211 (test-cp0-expansion eqv? '(fx=? 0 -3 0) #f)
212 (test-cp0-expansion eqv? '(fx=? 0 0 0) #t)
213 (test-cp0-expansion eqv? '(fx=? -3 -3 -3) #t)
214 (test-cp0-expansion eqv? '(fx=? 12 12 12) #t)
236 (test-cp0-expansion eqv? '(fx<? -3 -7) #f)
237 (test-cp0-expansion eqv? '(fx<? -3 0) #t)
238 (test-cp0-expansion eqv? '(fx<? 0 -3) #f)
239 (test-cp0-expansion eqv? '(fx<? 0 0) #f)
240 (test-cp0-expansion eqv? '(fx<? -3 -3) #f)
241 (test-cp0-expansion eqv? '(fx<? 12 12) #f)
242 (test-cp0-expansion eqv? '(fx<? -3 -7 -7) #f)
243 (test-cp0-expansion eqv? '(fx<? -3 -2 0) #t)
244 (test-cp0-expansion eqv? '(fx<? 0 -2 -3) #f)
245 (test-cp0-expansion eqv? '(fx<? -3 -3 0) #f)
246 (test-cp0-expansion eqv? '(fx<? 0 -3 0) #f)
247 (test-cp0-expansion eqv? '(fx<? 0 0 0) #f)
248 (test-cp0-expansion eqv? '(fx<? -3 -3 -3) #f)
249 (test-cp0-expansion eqv? '(fx<? 12 12 12) #f)
270 (test-cp0-expansion eqv? '(fx>? -3 -7) #t)
271 (test-cp0-expansion eqv? '(fx>? -3 0) #f)
272 (test-cp0-expansion eqv? '(fx>? 0 -3) #t)
273 (test-cp0-expansion eqv? '(fx>? 0 0) #f)
274 (test-cp0-expansion eqv? '(fx>? -3 -3) #f)
275 (test-cp0-expansion eqv? '(fx>? 12 12) #f)
276 (test-cp0-expansion eqv? '(fx>? -3 -7 -7) #f)
277 (test-cp0-expansion eqv? '(fx>? -3 -2 0) #f)
278 (test-cp0-expansion eqv? '(fx>? 0 -2 -3) #t)
279 (test-cp0-expansion eqv? '(fx>? -3 -3 0) #f)
280 (test-cp0-expansion eqv? '(fx>? 0 -3 0) #f)
281 (test-cp0-expansion eqv? '(fx>? 0 0 0) #f)
282 (test-cp0-expansion eqv? '(fx>? -3 -3 -3) #f)
283 (test-cp0-expansion eqv? '(fx>? 12 12 12) #f)
304 (test-cp0-expansion eqv? '(fx<=? -3 -7) #f)
305 (test-cp0-expansion eqv? '(fx<=? -3 0) #t)
306 (test-cp0-expansion eqv? '(fx<=? 0 -3) #f)
307 (test-cp0-expansion eqv? '(fx<=? 0 0) #t)
308 (test-cp0-expansion eqv? '(fx<=? -3 -3) #t)
309 (test-cp0-expansion eqv? '(fx<=? 12 12) #t)
310 (test-cp0-expansion eqv? '(fx<=? -3 -7 -7) #f)
311 (test-cp0-expansion eqv? '(fx<=? -3 -2 0) #t)
312 (test-cp0-expansion eqv? '(fx<=? 0 -2 -3) #f)
313 (test-cp0-expansion eqv? '(fx<=? -3 -3 0) #t)
314 (test-cp0-expansion eqv? '(fx<=? 0 -3 0) #f)
315 (test-cp0-expansion eqv? '(fx<=? 0 0 0) #t)
316 (test-cp0-expansion eqv? '(fx<=? -3 -3 -3) #t)
317 (test-cp0-expansion eqv? '(fx<=? 12 12 12) #t)
338 (test-cp0-expansion eqv? '(fx>=? -3 -7) #t)
339 (test-cp0-expansion eqv? '(fx>=? -3 0) #f)
340 (test-cp0-expansion eqv? '(fx>=? 0 -3) #t)
341 (test-cp0-expansion eqv? '(fx>=? 0 0) #t)
342 (test-cp0-expansion eqv? '(fx>=? -3 -3) #t)
343 (test-cp0-expansion eqv? '(fx>=? 12 12) #t)
344 (test-cp0-expansion eqv? '(fx>=? -3 -7 -7) #t)
345 (test-cp0-expansion eqv? '(fx>=? -3 -2 0) #f)
346 (test-cp0-expansion eqv? '(fx>=? 0 -2 -3) #t)
347 (test-cp0-expansion eqv? '(fx>=? -3 -3 0) #f)
348 (test-cp0-expansion eqv? '(fx>=? 0 -3 0) #f)
349 (test-cp0-expansion eqv? '(fx>=? 0 0 0) #t)
350 (test-cp0-expansion eqv? '(fx>=? -3 -3 -3) #t)
351 (test-cp0-expansion eqv? '(fx>=? 12 12 12) #t)
373 (test-cp0-expansion eqv? '(#%$fxu< -3 -7) #f)
374 (test-cp0-expansion eqv? '(#%$fxu< -3 0) #f)
375 (test-cp0-expansion eqv? '(#%$fxu< 0 -3) #t)
379 (eqv? (fx+ 3 0) 3)
380 (eqv? (fx+ 3 1) 4)
381 (eqv? (fx+ 3 4) 7)
382 (eqv? (fx+ -3 4) 1)
383 (eqv? (fx+ 3 -4) -1)
384 (eqv? (fx+ 3 -3) 0)
385 (eqv? (fx+ 3 3) 6)
386 (eqv? (fx+) 0)
387 (eqv? (fx+ 3) 3)
388 (eqv? (fx+ 3 4 5) 12)
394 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (fx+ x 1))))) (g 2)) 3)
395 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (fx+ 1 x))))) (g 2)) 3)
396 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (fx+ x x))))) (g 2)) 4)
397 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (fx+ (f x) 1))))) (g 2)) 3)
398 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (fx+ 1 (f x)))))) (g 2)) 3)
400 (eqv?
417 (test-cp0-expansion eqv? '(fx+ 3 0) 3)
418 (test-cp0-expansion eqv? '(fx+ 3 1) 4)
419 (test-cp0-expansion eqv? '(fx+ 3 4) 7)
420 (test-cp0-expansion eqv? '(fx+ -3 4) 1)
421 (test-cp0-expansion eqv? '(fx+ 3 -4) -1)
422 (test-cp0-expansion eqv? '(fx+ 3 -3) 0)
423 (test-cp0-expansion eqv? '(fx+ 3 3) 6)
424 (test-cp0-expansion eqv? '(fx+) 0)
425 (test-cp0-expansion eqv? '(fx+ 3) 3)
426 (test-cp0-expansion eqv? '(fx+ 3 4 5) 12)
430 (eqv? (r6rs:fx+ 3 0) 3)
431 (eqv? (r6rs:fx+ 3 1) 4)
432 (eqv? (r6rs:fx+ 3 4) 7)
433 (eqv? (r6rs:fx+ -3 4) 1)
434 (eqv? (r6rs:fx+ 3 -4) -1)
435 (eqv? (r6rs:fx+ 3 -3) 0)
436 (eqv? (r6rs:fx+ 3 3) 6)
442 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (r6rs:fx+ x 1))))) (g 2)) 3)
443 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (r6rs:fx+ 1 x))))) (g 2)) 3)
444 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (r6rs:fx+ x x))))) (g 2)) 4)
445 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (r6rs:fx+ (f x) 1))))) (g 2)) 3)
446 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (r6rs:fx+ 1 (f x)))))) (g 2)) 3)
448 (eqv?
459 (test-cp0-expansion eqv? '(r6rs:fx+ 3 0) 3)
460 (test-cp0-expansion eqv? '(r6rs:fx+ 3 1) 4)
461 (test-cp0-expansion eqv? '(r6rs:fx+ 3 4) 7)
462 (test-cp0-expansion eqv? '(r6rs:fx+ -3 4) 1)
463 (test-cp0-expansion eqv? '(r6rs:fx+ 3 -4) -1)
464 (test-cp0-expansion eqv? '(r6rs:fx+ 3 -3) 0)
465 (test-cp0-expansion eqv? '(r6rs:fx+ 3 3) 6)
469 (eqv? (fx+/wraparound 3 0) 3)
470 (eqv? (fx+/wraparound 3 1) 4)
471 (eqv? (fx+/wraparound -3 4) 1)
477 (eqv? (fx+/wraparound (most-positive-fixnum) 1) (most-negative-fixnum))
478 (eqv? (fx+/wraparound (most-positive-fixnum) 2) (add1 (most-negative-fixnum)))
479 (eqv? (fx+/wraparound (most-negative-fixnum) -1) (most-positive-fixnum))
480 (eqv? (fx+/wraparound (most-negative-fixnum) -2) (sub1 (most-positive-fixnum)))
481 (eqv? (fx+/wraparound (most-positive-fixnum) (most-positive-fixnum)) -2)
482 (eqv? (fx+/wraparound (most-negative-fixnum) (most-negative-fixnum)) 0)
483 (eqv? (fx+/wraparound (collect-maximum-generation) 0) (collect-maximum-generation))
484 (eqv? (fx+/wraparound 0 (collect-maximum-generation)) (collect-maximum-generation))
488 (eqv? (fx- 3 0) 3)
489 (eqv? (fx- 3 1) 2)
490 (eqv? (fx- 3 4) -1)
491 (eqv? (fx- -3 4) -7)
492 (eqv? (fx- 3 -4) 7)
493 (eqv? (fx- 3 -3) 6)
494 (eqv? (fx- 3 3) 0)
495 (eqv? (fx- 3) -3)
496 (eqv? (fx- 3 4 5) -6)
502 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (fx- x 1))))) (g 2)) 1)
503 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (fx- 1 x))))) (g 2)) -1)
504 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (fx- x x))))) (g 2)) 0)
505 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (fx- (f x) 1))))) (g 2)) 1)
506 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (fx- 1 (f x)))))) (g 2)) -1)
511 (test-cp0-expansion eqv? '(fx- 3 0) 3)
512 (test-cp0-expansion eqv? '(fx- 3 1) 2)
513 (test-cp0-expansion eqv? '(fx- 3 4) -1)
514 (test-cp0-expansion eqv? '(fx- -3 4) -7)
515 (test-cp0-expansion eqv? '(fx- 3 -4) 7)
516 (test-cp0-expansion eqv? '(fx- 3 -3) 6)
517 (test-cp0-expansion eqv? '(fx- 3 3) 0)
518 (test-cp0-expansion eqv? '(fx- 3) -3)
519 (test-cp0-expansion eqv? '(fx- 3 4 5) -6)
523 (eqv? (r6rs:fx- 3 0) 3)
524 (eqv? (r6rs:fx- 3 1) 2)
525 (eqv? (r6rs:fx- 3 4) -1)
526 (eqv? (r6rs:fx- -3 4) -7)
527 (eqv? (r6rs:fx- 3 -4) 7)
528 (eqv? (r6rs:fx- 3 -3) 6)
529 (eqv? (r6rs:fx- 3 3) 0)
530 (eqv? (r6rs:fx- 3) -3)
536 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (r6rs:fx- x 1))))) (g 2)) 1)
537 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (r6rs:fx- 1 x))))) (g 2)) -1)
538 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (r6rs:fx- x x))))) (g 2)) 0)
539 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (r6rs:fx- (f x) 1))))) (g 2)) 1)
540 (eqv? (let* ((f (lambda (x) x)) (g (lambda (x) (f (r6rs:fx- 1 (f x)))))) (g 2)) -1)
545 (test-cp0-expansion eqv? '(r6rs:fx- 3 0) 3)
546 (test-cp0-expansion eqv? '(r6rs:fx- 3 1) 2)
547 (test-cp0-expansion eqv? '(r6rs:fx- 3 4) -1)
548 (test-cp0-expansion eqv? '(r6rs:fx- -3 4) -7)
549 (test-cp0-expansion eqv? '(r6rs:fx- 3 -4) 7)
550 (test-cp0-expansion eqv? '(r6rs:fx- 3 -3) 6)
551 (test-cp0-expansion eqv? '(r6rs:fx- 3 3) 0)
552 (test-cp0-expansion eqv? '(r6rs:fx- 3) -3)
556 (eqv? (fx-/wraparound 3 0) 3)
557 (eqv? (fx-/wraparound 3 1) 2)
558 (eqv? (fx-/wraparound -3 4) -7)
564 (eqv? (fx-/wraparound (most-negative-fixnum) 1) (most-positive-fixnum))
565 (eqv? (fx-/wraparound (most-negative-fixnum) 2) (sub1 (most-positive-fixnum)))
566 (eqv? (fx-/wraparound (most-positive-fixnum) -1) (most-negative-fixnum))
567 (eqv? (fx-/wraparound (most-positive-fixnum) -2) (add1 (most-negative-fixnum)))
568 (eqv? (fx-/wraparound (most-positive-fixnum) (most-negative-fixnum)) -1)
569 (eqv? (fx-/wraparound (most-negative-fixnum) (most-positive-fixnum)) 1)
570 (eqv? (fx-/wraparound (collect-maximum-generation) 0) (collect-maximum-generation))
574 (eqv? (fx* 3 0) 0)
575 (eqv? (fx* 3 1) 3)
576 (eqv? (fx* 3 4) 12)
577 (eqv? (fx* -3 4) -12)
578 (eqv? (fx* 3 -4) -12)
579 (eqv? (fx* 3 -3) -9)
580 (eqv? (fx* 3 3) 9)
581 (eqv? (fx*) 1)
582 (eqv? (fx* 3) 3)
583 (eqv? (fx* 3 4 5) 60)
592 (test-cp0-expansion eqv? '(fx* 3 0) 0)
593 (test-cp0-expansion eqv? '(fx* 3 1) 3)
594 (test-cp0-expansion eqv? '(fx* 3 4) 12)
595 (test-cp0-expansion eqv? '(fx* -3 4) -12)
596 (test-cp0-expansion eqv? '(fx* 3 -4) -12)
597 (test-cp0-expansion eqv? '(fx* 3 -3) -9)
598 (test-cp0-expansion eqv? '(fx* 3 3) 9)
599 (test-cp0-expansion eqv? '(fx*) 1)
600 (test-cp0-expansion eqv? '(fx* 3) 3)
601 (test-cp0-expansion eqv? '(fx* 3 4 5) 60)
605 (eqv? (r6rs:fx* 3 0) 0)
606 (eqv? (r6rs:fx* 3 1) 3)
607 (eqv? (r6rs:fx* 3 4) 12)
608 (eqv? (r6rs:fx* -3 4) -12)
609 (eqv? (r6rs:fx* 3 -4) -12)
610 (eqv? (r6rs:fx* 3 -3) -9)
611 (eqv? (r6rs:fx* 3 3) 9)
620 (test-cp0-expansion eqv? '(r6rs:fx* 3 0) 0)
621 (test-cp0-expansion eqv? '(r6rs:fx* 3 1) 3)
622 (test-cp0-expansion eqv? '(r6rs:fx* 3 4) 12)
623 (test-cp0-expansion eqv? '(r6rs:fx* -3 4) -12)
624 (test-cp0-expansion eqv? '(r6rs:fx* 3 -4) -12)
625 (test-cp0-expansion eqv? '(r6rs:fx* 3 -3) -9)
626 (test-cp0-expansion eqv? '(r6rs:fx* 3 3) 9)
630 (eqv? (fx*/wraparound 3 0) 0)
631 (eqv? (fx*/wraparound 3 1) 3)
632 (eqv? (fx*/wraparound -3 4) -12)
638 (eqv? (fx*/wraparound (most-negative-fixnum) -1) (most-negative-fixnum))
639 (eqv? (fx*/wraparound (most-negative-fixnum) 2) 0)
640 (eqv? (fx*/wraparound (most-positive-fixnum) -1) (add1 (most-negative-fixnum)))
641 (eqv? (fx*/wraparound (most-positive-fixnum) 2) -2)
642 (eqv? (fx*/wraparound (most-positive-fixnum) -2) 2)
643 (eqv? (fx*/wraparound (most-positive-fixnum) (most-negative-fixnum)) (most-negative-fixnum))
644 (eqv? (fx*/wraparound (most-negative-fixnum) (most-positive-fixnum)) (most-negative-fixnum))
645 (eqv? (fx*/wraparound (collect-maximum-generation) 1) (collect-maximum-generation))
646 (eqv? (fx*/wraparound 1 (collect-maximum-generation)) (collect-maximum-generation))
650 (eqv? (fxquotient 3 1) 3)
651 (eqv? (fxquotient 3 4) 0)
652 (eqv? (fxquotient -4 3) -1)
653 (eqv? (fxquotient 4 -3) -1)
654 (eqv? (fxquotient 3 -3) -1)
655 (eqv? (fxquotient 3 3) 1)
656 (eqv? (fxquotient 13 3) 4)
657 (eqv? (fxquotient -13 3) -4)
658 (eqv? (fxquotient 13 -3) -4)
659 (eqv? (fxquotient -13 -3) 4)
660 (eqv? (fxquotient 3) 0)
661 (eqv? (fxquotient -3) 0)
662 (eqv? (fxquotient 1) 1)
663 (eqv? (fxquotient -1) -1)
664 (eqv? (fxquotient 19 3 2) 3)
678 (test-cp0-expansion eqv? '(fxquotient 3 1) 3)
679 (test-cp0-expansion eqv? '(fxquotient 3 4) 0)
680 (test-cp0-expansion eqv? '(fxquotient -4 3) -1)
681 (test-cp0-expansion eqv? '(fxquotient 4 -3) -1)
682 (test-cp0-expansion eqv? '(fxquotient 3 -3) -1)
683 (test-cp0-expansion eqv? '(fxquotient 3 3) 1)
684 (test-cp0-expansion eqv? '(fxquotient 13 3) 4)
685 (test-cp0-expansion eqv? '(fxquotient -13 3) -4)
686 (test-cp0-expansion eqv? '(fxquotient 13 -3) -4)
687 (test-cp0-expansion eqv? '(fxquotient -13 -3) 4)
688 (test-cp0-expansion eqv? '(fxquotient 3) 0)
689 (test-cp0-expansion eqv? '(fxquotient -3) 0)
690 (test-cp0-expansion eqv? '(fxquotient 1) 1)
691 (test-cp0-expansion eqv? '(fxquotient -1) -1)
692 (test-cp0-expansion eqv? '(fxquotient 19 3 2) 3)
696 (eqv? (fx/ 3 1) 3)
697 (eqv? (fx/ 3 4) 0)
698 (eqv? (fx/ -4 3) -1)
699 (eqv? (fx/ 4 -3) -1)
700 (eqv? (fx/ 3 -3) -1)
701 (eqv? (fx/ 3 3) 1)
702 (eqv? (fx/ 13 3) 4)
703 (eqv? (fx/ -13 3) -4)
704 (eqv? (fx/ 13 -3) -4)
705 (eqv? (fx/ -13 -3) 4)
706 (eqv? (fx/ -13 4) -3)
707 (eqv? (fx/ 3) 0)
708 (eqv? (fx/ -3) 0)
709 (eqv? (fx/ 1) 1)
710 (eqv? (fx/ -1) -1)
711 (eqv? (fx/ 19 3 2) 3)
725 (test-cp0-expansion eqv? '(fx/ 3 1) 3)
726 (test-cp0-expansion eqv? '(fx/ 3 4) 0)
727 (test-cp0-expansion eqv? '(fx/ -4 3) -1)
728 (test-cp0-expansion eqv? '(fx/ 4 -3) -1)
729 (test-cp0-expansion eqv? '(fx/ 3 -3) -1)
730 (test-cp0-expansion eqv? '(fx/ 3 3) 1)
731 (test-cp0-expansion eqv? '(fx/ 13 3) 4)
732 (test-cp0-expansion eqv? '(fx/ -13 3) -4)
733 (test-cp0-expansion eqv? '(fx/ 13 -3) -4)
734 (test-cp0-expansion eqv? '(fx/ -13 -3) 4)
735 (test-cp0-expansion eqv? '(fx/ -13 4) -3)
736 (test-cp0-expansion eqv? '(fx/ 3) 0)
737 (test-cp0-expansion eqv? '(fx/ -3) 0)
738 (test-cp0-expansion eqv? '(fx/ 1) 1)
739 (test-cp0-expansion eqv? '(fx/ -1) -1)
740 (test-cp0-expansion eqv? '(fx/ 19 3 2) 3)
752 (test-cp0-expansion eqv? '(fxzero? 0) #t)
753 (test-cp0-expansion eqv? '(not (fxzero? 1)) #t)
754 (test-cp0-expansion eqv? '(not (fxzero? -1)) #t)
755 (test-cp0-expansion eqv? '(not (fxzero? (most-positive-fixnum))) #t)
756 (test-cp0-expansion eqv? '(not (fxzero? (most-negative-fixnum))) #t)
768 (test-cp0-expansion eqv? '(not (fxpositive? 0)) #t)
769 (test-cp0-expansion eqv? '(fxpositive? 1) #t)
770 (test-cp0-expansion eqv? '(not (fxpositive? -1)) #t)
771 (test-cp0-expansion eqv? '(fxpositive? (most-positive-fixnum)) #t)
772 (test-cp0-expansion eqv? '(not (fxpositive? (most-negative-fixnum))) #t)
784 (test-cp0-expansion eqv? '(fxnonpositive? 0) #t)
785 (test-cp0-expansion eqv? '(not (fxnonpositive? 1)) #t)
786 (test-cp0-expansion eqv? '(fxnonpositive? -1) #t)
787 (test-cp0-expansion eqv? '(not (fxnonpositive? (most-positive-fixnum))) #t)
788 (test-cp0-expansion eqv? '(fxnonpositive? (most-negative-fixnum)) #t)
800 (test-cp0-expansion eqv? '(not (fxnegative? 0)) #t)
801 (test-cp0-expansion eqv? '(not (fxnegative? 1)) #t)
802 (test-cp0-expansion eqv? '(fxnegative? -1) #t)
803 (test-cp0-expansion eqv? '(not (fxnegative? (most-positive-fixnum))) #t)
804 (test-cp0-expansion eqv? '(fxnegative? (most-negative-fixnum)) #t)
816 (test-cp0-expansion eqv? '(fxnonnegative? 0) #t)
817 (test-cp0-expansion eqv? '(fxnonnegative? 1) #t)
818 (test-cp0-expansion eqv? '(not (fxnonnegative? -1)) #t)
819 (test-cp0-expansion eqv? '(fxnonnegative? (most-positive-fixnum)) #t)
820 (test-cp0-expansion eqv? '(not (fxnonnegative? (most-negative-fixnum))) #t)
834 (test-cp0-expansion eqv? '(not (fxodd? 0)) #t)
835 (test-cp0-expansion eqv? '(fxodd? 1) #t)
836 (test-cp0-expansion eqv? '(not (fxodd? 2)) #t)
837 (test-cp0-expansion eqv? '(fxodd? -1) #t)
838 (test-cp0-expansion eqv? '(not (fxodd? -2)) #t)
839 (test-cp0-expansion eqv? '(fxodd? (most-positive-fixnum)) #t)
840 (test-cp0-expansion eqv? '(not (fxodd? (most-negative-fixnum))) #t)
854 (test-cp0-expansion eqv? '(fxeven? 0) #t)
855 (test-cp0-expansion eqv? '(not (fxeven? 1)) #t)
856 (test-cp0-expansion eqv? '(fxeven? 2) #t)
857 (test-cp0-expansion eqv? '(not (fxeven? -1)) #t)
858 (test-cp0-expansion eqv? '(fxeven? -2) #t)
859 (test-cp0-expansion eqv? '(not (fxeven? (most-positive-fixnum))) #t)
860 (test-cp0-expansion eqv? '(fxeven? (most-negative-fixnum)) #t)
864 (eqv? (fxabs 0) 0)
865 (eqv? (fxabs -1) 1)
866 (eqv? (fxabs 1) 1)
867 (eqv? (fxabs (most-positive-fixnum)) (most-positive-fixnum))
868 (eqv? (fxabs (+ (most-negative-fixnum) 1)) (most-positive-fixnum))
875 (test-cp0-expansion eqv? '(fxabs 0) 0)
876 (test-cp0-expansion eqv? '(fxabs 2) 2)
877 (test-cp0-expansion eqv? '(fxabs -2) 2)
881 (eqv? (fx1- 0) -1)
882 (eqv? (fx1- 1) 0)
883 (eqv? (fx1- -1) -2)
884 (test-cp0-expansion eqv? '(fx1- 0) -1)
885 (test-cp0-expansion eqv? '(fx1- 1) 0)
886 (test-cp0-expansion eqv? '(fx1- -1) -2)
894 (eqv? (fx1+ 0) 1)
895 (eqv? (fx1+ 1) 2)
896 (eqv? (fx1+ -1) 0)
897 (test-cp0-expansion eqv? '(fx1+ 0) 1)
898 (test-cp0-expansion eqv? '(fx1+ 1) 2)
899 (test-cp0-expansion eqv? '(fx1+ -1) 0)
905 (eqv?
916 (eqv? (fxmin -1) -1)
917 (eqv? (fxmin -1 0) -1)
918 (eqv? (fxmin 0 -1) -1)
919 (eqv? (fxmin -1 1) -1)
920 (eqv? (fxmin 1 -1) -1)
921 (eqv? (fxmin 1 0 -1) -1)
922 (eqv? (fxmin 1 (most-negative-fixnum) 0 -1) (most-negative-fixnum))
923 (eqv? (fxmin 1 (most-positive-fixnum) 0 -1) -1)
929 (test-cp0-expansion eqv? '(fxmin 0 1 2) 0)
930 (test-cp0-expansion eqv? '(fxmin 2 1 0) 0)
931 (test-cp0-expansion eqv? '(fxmin 0 2 1) 0)
936 (eqv? (fxmax -1) -1)
937 (eqv? (fxmax -1 0) 0)
938 (eqv? (fxmax 0 -1) 0)
939 (eqv? (fxmax -1 1) 1)
940 (eqv? (fxmax 1 -1) 1)
941 (eqv? (fxmax 1 0 -1) 1)
942 (eqv? (fxmax 1 (most-negative-fixnum) 0 -1) 1)
943 (eqv? (fxmax 1 (most-positive-fixnum) 0 -1) (most-positive-fixnum))
949 (test-cp0-expansion eqv? '(fxmax 0 1 2) 2)
950 (test-cp0-expansion eqv? '(fxmax 2 1 0) 2)
951 (test-cp0-expansion eqv? '(fxmax 0 2 1) 2)
955 (eqv? (fxmodulo -7 2) 1)
956 (eqv? (fxmodulo 5 3) 2)
957 (eqv? (fxmodulo 5 -3) -1)
958 (eqv? (fxmodulo -5 -3) -2)
986 (eqv? (fxremainder -7 2) -1)
987 (eqv? (fxremainder 5 3) 2)
988 (eqv? (fxremainder 5 -3) 2)
989 (eqv? (fxremainder -5 -3) -2)
1021 (eqv? (fxlogior 0 0) 0)
1022 (eqv? (fxlogior 1 0) 1)
1023 (eqv? (fxlogior 1 1) 1)
1024 (eqv? (fxlogior 0 1) 1)
1025 (eqv? (fxlogior 2 1) 3)
1026 (eqv? (fxlogior 5 2) 7)
1027 (eqv? (fxlogior -1 2) -1)
1028 (eqv? (fxlogior) 0)
1029 (eqv? (fxlogior #x1212121)
1031 (eqv? (fxlogior #x1212121
1035 (eqv? (fxlogior #b1010111
1041 (eqv? (fxlogior #b1010111
1047 (test-cp0-expansion eqv? '(fxlogior 0 0) 0)
1048 (test-cp0-expansion eqv? '(fxlogior 1 0) 1)
1049 (test-cp0-expansion eqv? '(fxlogior 1 1) 1)
1050 (test-cp0-expansion eqv? '(fxlogior 0 1) 1)
1051 (test-cp0-expansion eqv? '(fxlogior 2 1) 3)
1052 (test-cp0-expansion eqv? '(fxlogior 5 2) 7)
1053 (test-cp0-expansion eqv? '(fxlogior -1 2) -1)
1054 (test-cp0-expansion eqv? '(fxlogior) 0)
1055 (test-cp0-expansion eqv?
1058 (test-cp0-expansion eqv?
1063 (test-cp0-expansion eqv?
1070 (test-cp0-expansion eqv?
1084 (eqv? (fxior 0 0) 0)
1085 (eqv? (fxior 1 0) 1)
1086 (eqv? (fxior 1 1) 1)
1087 (eqv? (fxior 0 1) 1)
1088 (eqv? (fxior 2 1) 3)
1089 (eqv? (fxior 5 2) 7)
1090 (eqv? (fxior -1 2) -1)
1091 (eqv? (fxior) 0)
1092 (eqv? (fxior #x1212121)
1094 (eqv? (fxior #x1212121
1098 (eqv? (fxior #b1010111
1104 (eqv? (fxior #b1010111
1110 (test-cp0-expansion eqv? '(fxior 0 0) 0)
1111 (test-cp0-expansion eqv? '(fxior 1 0) 1)
1112 (test-cp0-expansion eqv? '(fxior 1 1) 1)
1113 (test-cp0-expansion eqv? '(fxior 0 1) 1)
1114 (test-cp0-expansion eqv? '(fxior 2 1) 3)
1115 (test-cp0-expansion eqv? '(fxior 5 2) 7)
1116 (test-cp0-expansion eqv? '(fxior -1 2) -1)
1117 (test-cp0-expansion eqv? '(fxior) 0)
1118 (test-cp0-expansion eqv?
1121 (test-cp0-expansion eqv?
1126 (test-cp0-expansion eqv?
1133 (test-cp0-expansion eqv?
1147 (eqv? (fxlogor 0 0) 0)
1148 (eqv? (fxlogor 1 0) 1)
1149 (eqv? (fxlogor 1 1) 1)
1150 (eqv? (fxlogor 0 1) 1)
1151 (eqv? (fxlogor 2 1) 3)
1152 (eqv? (fxlogor 5 2) 7)
1153 (eqv? (fxlogor -1 2) -1)
1154 (eqv? (fxlogor) 0)
1155 (eqv? (fxlogor #x1212121)
1157 (eqv? (fxlogor #x1212121
1161 (eqv? (fxlogor #b1010111
1167 (eqv? (fxlogor #b1010111
1173 (test-cp0-expansion eqv? '(fxlogor 0 0) 0)
1174 (test-cp0-expansion eqv? '(fxlogor 1 0) 1)
1175 (test-cp0-expansion eqv? '(fxlogor 1 1) 1)
1176 (test-cp0-expansion eqv? '(fxlogor 0 1) 1)
1177 (test-cp0-expansion eqv? '(fxlogor 2 1) 3)
1178 (test-cp0-expansion eqv? '(fxlogor 5 2) 7)
1179 (test-cp0-expansion eqv? '(fxlogor -1 2) -1)
1180 (test-cp0-expansion eqv? '(fxlogor) 0)
1181 (test-cp0-expansion eqv?
1184 (test-cp0-expansion eqv?
1189 (test-cp0-expansion eqv?
1196 (test-cp0-expansion eqv?
1210 (eqv? (fxlogand 0 0) 0)
1211 (eqv? (fxlogand 1 0) 0)
1212 (eqv? (fxlogand 0 1) 0)
1213 (eqv? (fxlogand 1 1) 1)
1214 (eqv? (fxlogand 2 1) 0)
1215 (eqv? (fxlogand 3 1) 1)
1216 (eqv? (fxlogand 12 6) 4)
1217 (eqv? (fxlogand) -1)
1218 (eqv? (fxlogand #x1212121)
1220 (eqv? (fxlogand #x1212121
1224 (eqv? (fxlogand #b1110111
1230 (eqv? (fxlogand #b1110111
1236 (test-cp0-expansion eqv? '(fxlogand 0 0) 0)
1237 (test-cp0-expansion eqv? '(fxlogand 1 0) 0)
1238 (test-cp0-expansion eqv? '(fxlogand 0 1) 0)
1239 (test-cp0-expansion eqv? '(fxlogand 1 1) 1)
1240 (test-cp0-expansion eqv? '(fxlogand 2 1) 0)
1241 (test-cp0-expansion eqv? '(fxlogand 3 1) 1)
1242 (test-cp0-expansion eqv? '(fxlogand 12 6) 4)
1243 (test-cp0-expansion eqv? '(fxlogand) -1)
1244 (test-cp0-expansion eqv?
1247 (test-cp0-expansion eqv?
1252 (test-cp0-expansion eqv?
1259 (test-cp0-expansion eqv?
1273 (eqv? (fxand 0 0) 0)
1274 (eqv? (fxand 1 0) 0)
1275 (eqv? (fxand 0 1) 0)
1276 (eqv? (fxand 1 1) 1)
1277 (eqv? (fxand 2 1) 0)
1278 (eqv? (fxand 3 1) 1)
1279 (eqv? (fxand 12 6) 4)
1280 (eqv? (fxand) -1)
1281 (eqv? (fxand #x1212121)
1283 (eqv? (fxand #x1212121
1287 (eqv? (fxand #b1110111
1293 (eqv? (fxand #b1110111
1299 (test-cp0-expansion eqv? '(fxand 0 0) 0)
1300 (test-cp0-expansion eqv? '(fxand 1 0) 0)
1301 (test-cp0-expansion eqv? '(fxand 0 1) 0)
1302 (test-cp0-expansion eqv? '(fxand 1 1) 1)
1303 (test-cp0-expansion eqv? '(fxand 2 1) 0)
1304 (test-cp0-expansion eqv? '(fxand 3 1) 1)
1305 (test-cp0-expansion eqv? '(fxand 12 6) 4)
1306 (test-cp0-expansion eqv? '(fxand) -1)
1307 (test-cp0-expansion eqv?
1310 (test-cp0-expansion eqv?
1315 (test-cp0-expansion eqv?
1322 (test-cp0-expansion eqv?
1336 (eqv? (fxlogxor 0 0) 0)
1337 (eqv? (fxlogxor 1 0) 1)
1338 (eqv? (fxlogxor 1 1) 0)
1339 (eqv? (fxlogxor 0 1) 1)
1340 (eqv? (fxlogxor 2 1) 3)
1341 (eqv? (fxlogxor 5 2) 7)
1342 (eqv? (fxlogxor -1 2) -3)
1343 (eqv? (fxlogxor) 0)
1344 (eqv? (fxlogxor #x1212121)
1346 (eqv? (fxlogxor #x1212121
1350 (eqv? (fxlogxor #b1010111
1356 (eqv? (fxlogxor #b1010111
1362 (test-cp0-expansion eqv? '(fxlogxor 0 0) 0)
1363 (test-cp0-expansion eqv? '(fxlogxor 1 0) 1)
1364 (test-cp0-expansion eqv? '(fxlogxor 1 1) 0)
1365 (test-cp0-expansion eqv? '(fxlogxor 0 1) 1)
1366 (test-cp0-expansion eqv? '(fxlogxor 2 1) 3)
1367 (test-cp0-expansion eqv? '(fxlogxor 5 2) 7)
1368 (test-cp0-expansion eqv? '(fxlogxor -1 2) -3)
1369 (test-cp0-expansion eqv? '(fxlogxor) 0)
1370 (test-cp0-expansion eqv? '(fxlogxor #x1212121) #x1212121)
1371 (test-cp0-expansion eqv?
1376 (test-cp0-expansion eqv?
1383 (test-cp0-expansion eqv?
1397 (eqv? (fxxor 0 0) 0)
1398 (eqv? (fxxor 1 0) 1)
1399 (eqv? (fxxor 1 1) 0)
1400 (eqv? (fxxor 0 1) 1)
1401 (eqv? (fxxor 2 1) 3)
1402 (eqv? (fxxor 5 2) 7)
1403 (eqv? (fxxor -1 2) -3)
1404 (eqv? (fxxor) 0)
1405 (eqv? (fxxor #x1212121)
1407 (eqv? (fxxor #x1212121
1411 (eqv? (fxxor #b1010111
1417 (eqv? (fxxor #b1010111
1423 (test-cp0-expansion eqv? '(fxxor 0 0) 0)
1424 (test-cp0-expansion eqv? '(fxxor 1 0) 1)
1425 (test-cp0-expansion eqv? '(fxxor 1 1) 0)
1426 (test-cp0-expansion eqv? '(fxxor 0 1) 1)
1427 (test-cp0-expansion eqv? '(fxxor 2 1) 3)
1428 (test-cp0-expansion eqv? '(fxxor 5 2) 7)
1429 (test-cp0-expansion eqv? '(fxxor -1 2) -3)
1430 (test-cp0-expansion eqv? '(fxxor) 0)
1431 (test-cp0-expansion eqv? '(fxxor #x1212121) #x1212121)
1432 (test-cp0-expansion eqv?
1437 (test-cp0-expansion eqv?
1444 (test-cp0-expansion eqv?
1457 (eqv? (fxlognot 0) -1)
1458 (eqv? (fxlognot -1) 0)
1459 (eqv? (fxlognot 2) -3)
1460 (test-cp0-expansion eqv? '(fxlognot 0) -1)
1461 (test-cp0-expansion eqv? '(fxlognot -1) 0)
1462 (test-cp0-expansion eqv? '(fxlognot 2) -3)
1469 (eqv? (fxnot 0) -1)
1470 (eqv? (fxnot -1) 0)
1471 (eqv? (fxnot 2) -3)
1472 (test-cp0-expansion eqv? '(fxnot 0) -1)
1473 (test-cp0-expansion eqv? '(fxnot -1) 0)
1474 (test-cp0-expansion eqv? '(fxnot 2) -3)
1479 (eqv? (fxsll 1 0) 1)
1480 (eqv? (fxsll 1 1) 2)
1481 (eqv? (fxsll 1 2) 4)
1482 (eqv? (fxsll 1 3) 8)
1483 (eqv? (fxsll 1 4) 16)
1484 (eqv? (fxsll 1 (/ 8 2)) 16)
1485 (eqv? (fxsll (fxsra (most-positive-fixnum) 1) 1) (- (most-positive-fixnum) 1))
1486 (eqv? (fxsll (fxsra (most-negative-fixnum) 1) 1) (most-negative-fixnum))
1496 (eqv? (fxsll 0 (fixnum-width)) 0)
1506 (and (eqv? (fxsll 1 i) x)
1507 (eqv? (fxsll -1 i) (- x))))))
1510 (test-cp0-expansion eqv? '(fxsll 1 0) 1)
1511 (test-cp0-expansion eqv? '(fxsll 1 1) 2)
1512 (test-cp0-expansion eqv? '(fxsll 1 2) 4)
1513 (test-cp0-expansion eqv? '(fxsll 1 3) 8)
1514 (test-cp0-expansion eqv? '(fxsll 1 4) 16)
1515 (test-cp0-expansion eqv? '(fxsll 1 (/ 8 2)) 16)
1525 (eqv? (fxarithmetic-shift-left 1 0) 1)
1526 (eqv? (fxarithmetic-shift-left 1 1) 2)
1527 (eqv? (fxarithmetic-shift-left 1 2) 4)
1528 (eqv? (fxarithmetic-shift-left 1 3) 8)
1529 (eqv? (fxarithmetic-shift-left 1 4) 16)
1530 (eqv? (fxarithmetic-shift-left 1 (/ 8 2)) 16)
1531 (eqv? (fxarithmetic-shift-left (fxsra (most-positive-fixnum) 1) 1) (- (most-positive-fixnum) 1))
1532 (eqv? (fxarithmetic-shift-left (fxsra (most-negative-fixnum) 1) 1) (most-negative-fixnum))
1550 (and (eqv? (fxarithmetic-shift-left 1 i) x)
1551 (eqv? (fxarithmetic-shift-left -1 i) (- x))))))
1554 (test-cp0-expansion eqv? '(fxarithmetic-shift-left 1 0) 1)
1555 (test-cp0-expansion eqv? '(fxarithmetic-shift-left 1 1) 2)
1556 (test-cp0-expansion eqv? '(fxarithmetic-shift-left 1 2) 4)
1557 (test-cp0-expansion eqv? '(fxarithmetic-shift-left 1 3) 8)
1558 (test-cp0-expansion eqv? '(fxarithmetic-shift-left 1 4) 16)
1559 (test-cp0-expansion eqv? '(fxarithmetic-shift-left 1 (/ 8 2)) 16)
1563 (eqv? (fxsll/wraparound 3 0) 3)
1564 (eqv? (fxsll/wraparound 3 1) 6)
1565 (eqv? (fxsll/wraparound -3 4) -48)
1574 (eqv? (fxsll/wraparound (most-negative-fixnum) 1) 0)
1575 (eqv? (fxsll/wraparound (most-negative-fixnum) 30) 0)
1576 (eqv? (fxsll/wraparound (most-positive-fixnum) 1) -2)
1577 (eqv? (fxsll/wraparound (most-positive-fixnum) 5) -32)
1586 (eqv? (fxsrl 16 5) 0)
1587 (eqv? (fxsrl 16 4) 1)
1588 (eqv? (fxsrl 16 3) 2)
1589 (eqv? (fxsrl 16 2) 4)
1590 (eqv? (fxsrl 16 1) 8)
1591 (eqv? (fxsrl 16 0) 16)
1592 (eqv? (fxsrl -1 1) (most-positive-fixnum))
1593 (eqv? (fxsrl 16 (/ 8 2)) 1)
1594 (test-cp0-expansion eqv? '(fxsrl 16 5) 0)
1595 (test-cp0-expansion eqv? '(fxsrl 16 4) 1)
1596 (test-cp0-expansion eqv? '(fxsrl 16 3) 2)
1597 (test-cp0-expansion eqv? '(fxsrl 16 2) 4)
1598 (test-cp0-expansion eqv? '(fxsrl 16 1) 8)
1599 (test-cp0-expansion eqv? '(fxsrl 16 0) 16)
1600 (test-cp0-expansion eqv? '(fxsrl -1 1) (most-positive-fixnum))
1601 (test-cp0-expansion eqv? '(fxsrl 16 (/ 8 2)) 1)
1611 (eqv? (fxsra 0 (fixnum-width)) 0)
1612 (eqv? (fxsra 16 5) 0)
1613 (eqv? (fxsra 16 4) 1)
1614 (eqv? (fxsra 16 3) 2)
1615 (eqv? (fxsra 16 2) 4)
1616 (eqv? (fxsra 16 1) 8)
1617 (eqv? (fxsra 16 0) 16)
1618 (eqv? (fxsra -1 1) -1)
1619 (eqv? (fxsra 16 (/ 8 2)) 1)
1620 (test-cp0-expansion eqv? '(fxsra 0 (fixnum-width)) 0)
1621 (test-cp0-expansion eqv? '(fxsra 16 5) 0)
1622 (test-cp0-expansion eqv? '(fxsra 16 4) 1)
1623 (test-cp0-expansion eqv? '(fxsra 16 3) 2)
1624 (test-cp0-expansion eqv? '(fxsra 16 2) 4)
1625 (test-cp0-expansion eqv? '(fxsra 16 1) 8)
1626 (test-cp0-expansion eqv? '(fxsra 16 0) 16)
1627 (test-cp0-expansion eqv? '(fxsra -1 1) -1)
1628 (test-cp0-expansion eqv? '(fxsra 16 (/ 8 2)) 1)
1639 (eqv? (fxarithmetic-shift-right 16 5) 0)
1640 (eqv? (fxarithmetic-shift-right 16 4) 1)
1641 (eqv? (fxarithmetic-shift-right 16 3) 2)
1642 (eqv? (fxarithmetic-shift-right 16 2) 4)
1643 (eqv? (fxarithmetic-shift-right 16 1) 8)
1644 (eqv? (fxarithmetic-shift-right 16 0) 16)
1645 (eqv? (fxarithmetic-shift-right -1 1) -1)
1646 (eqv? (fxarithmetic-shift-right 16 (/ 8 2)) 1)
1647 (test-cp0-expansion eqv? '(fxarithmetic-shift-right 16 5) 0)
1648 (test-cp0-expansion eqv? '(fxarithmetic-shift-right 16 4) 1)
1649 (test-cp0-expansion eqv? '(fxarithmetic-shift-right 16 3) 2)
1650 (test-cp0-expansion eqv? '(fxarithmetic-shift-right 16 2) 4)
1651 (test-cp0-expansion eqv? '(fxarithmetic-shift-right 16 1) 8)
1652 (test-cp0-expansion eqv? '(fxarithmetic-shift-right 16 0) 16)
1653 (test-cp0-expansion eqv? '(fxarithmetic-shift-right -1 1) -1)
1654 (test-cp0-expansion eqv? '(fxarithmetic-shift-right 16 (/ 8 2)) 1)
1663 (eqv? (fxarithmetic-shift 0 (- (fixnum-width) 1)) 0)
1664 (eqv? (fxarithmetic-shift 16 -5) 0)
1665 (eqv? (fxarithmetic-shift 16 -4) 1)
1666 (eqv? (fxarithmetic-shift 16 -3) 2)
1667 (eqv? (fxarithmetic-shift 16 -2) 4)
1668 (eqv? (fxarithmetic-shift 16 -1) 8)
1669 (eqv? (fxarithmetic-shift 16 -0) 16)
1670 (eqv? (fxarithmetic-shift -1 -1) -1)
1671 (eqv? (fxarithmetic-shift 16 (/ -8 2)) 1)
1672 (eqv? (fxarithmetic-shift 1 0) 1)
1673 (eqv? (fxarithmetic-shift 1 1) 2)
1674 (eqv? (fxarithmetic-shift 1 2) 4)
1675 (eqv? (fxarithmetic-shift 1 3) 8)
1676 (eqv? (fxarithmetic-shift 1 4) 16)
1677 (eqv? (fxarithmetic-shift 1 (/ 8 2)) 16)
1678 (eqv? (fxarithmetic-shift (fxsra (most-positive-fixnum) 1) 1) (- (most-positive-fixnum) 1))
1679 (eqv? (fxarithmetic-shift (fxsra (most-negative-fixnum) 1) 1) (most-negative-fixnum))
1697 (and (eqv? (fxarithmetic-shift 1 i) x)
1698 (eqv? (fxarithmetic-shift -1 i) (- x))))))
1701 (test-cp0-expansion eqv? '(fxarithmetic-shift 0 (- (fixnum-width) 1)) 0)
1702 (test-cp0-expansion eqv? '(fxarithmetic-shift 16 -5) 0)
1703 (test-cp0-expansion eqv? '(fxarithmetic-shift 16 -4) 1)
1704 (test-cp0-expansion eqv? '(fxarithmetic-shift 16 -3) 2)
1705 (test-cp0-expansion eqv? '(fxarithmetic-shift 16 -2) 4)
1706 (test-cp0-expansion eqv? '(fxarithmetic-shift 16 -1) 8)
1707 (test-cp0-expansion eqv? '(fxarithmetic-shift 16 -0) 16)
1708 (test-cp0-expansion eqv? '(fxarithmetic-shift -1 -1) -1)
1709 (test-cp0-expansion eqv? '(fxarithmetic-shift 16 (/ -8 2)) 1)
1710 (test-cp0-expansion eqv? '(fxarithmetic-shift 1 0) 1)
1711 (test-cp0-expansion eqv? '(fxarithmetic-shift 1 1) 2)
1712 (test-cp0-expansion eqv? '(fxarithmetic-shift 1 2) 4)
1713 (test-cp0-expansion eqv? '(fxarithmetic-shift 1 3) 8)
1714 (test-cp0-expansion eqv? '(fxarithmetic-shift 1 4) 16)
1715 (test-cp0-expansion eqv? '(fxarithmetic-shift 1 (/ 8 2)) 16)
1736 (eqv? (fxbit-field #b11100100111110101011 5 5) 0)
1737 (eqv? (fxbit-field #b11100100111110101011 5 6) 1)
1738 (eqv? (fxbit-field #b11100100111110101011 0 8) #b10101011)
1739 (eqv? (fxbit-field #b11100100111110101011 5 15) #b1001111101)
1740 (eqv? (fxbit-field #b11100100111110101011 5 23) #b111001001111101)
1741 (eqv? (fxbit-field -1 5 23) #b111111111111111111)
1742 (eqv? (fxbit-field -5 0 5) #b11011)
1743 (eqv? (fxbit-field -5 1 5) #b1101)
1744 (eqv? (fxbit-field -5 2 5) #b110)
1745 (eqv? (fxbit-field -5 2 20) #b111111111111111110)
1769 (eqv? (fxbit-field 3 15 23) 0)
1770 (eqv? (fxbit-field -3 15 23) #b11111111)
1772 (test-cp0-expansion eqv? '(fxbit-field #b11100100111110101011 5 5) 0)
1773 (test-cp0-expansion eqv? '(fxbit-field #b11100100111110101011 5 6) 1)
1774 (test-cp0-expansion eqv? '(fxbit-field #b11100100111110101011 0 8) #b10101011)
1775 (test-cp0-expansion eqv? '(fxbit-field #b11100100111110101011 5 15) #b1001111101)
1776 (test-cp0-expansion eqv? '(fxbit-field #b11100100111110101011 5 23) #b111001001111101)
1777 (test-cp0-expansion eqv? '(fxbit-field -1 5 23) #b111111111111111111)
1778 (test-cp0-expansion eqv? '(fxbit-field -5 0 5) #b11011)
1779 (test-cp0-expansion eqv? '(fxbit-field -5 1 5) #b1101)
1780 (test-cp0-expansion eqv? '(fxbit-field -5 2 5) #b110)
1781 (test-cp0-expansion eqv? '(fxbit-field -5 2 20) #b111111111111111110)
1782 (test-cp0-expansion eqv? '(fxbit-field 3 15 23) 0)
1783 (test-cp0-expansion eqv? '(fxbit-field -3 15 23) #b11111111)
1834 (eqv? (fxbit-count 0) 0)
1835 (eqv? (fxbit-count #xabcd) 10)
1836 (eqv? (fxbit-count -1) -1)
1837 (eqv? (fxbit-count -10) -3)
1844 (test-cp0-expansion eqv? '(fxbit-count 0) 0)
1845 (test-cp0-expansion eqv? '(fxbit-count #xabcd) 10)
1846 (test-cp0-expansion eqv? '(fxbit-count -1) -1)
1847 (test-cp0-expansion eqv? '(fxbit-count -10) -3)
1863 (and (eqv? (fxbit-count i) 1)
1864 (eqv? (fxbit-count (+ i 1)) 2)
1865 (eqv? (fxbit-count (- i 1)) j)
1892 (eqv? (fxfirst-bit-set 0) -1)
1893 (eqv? (fxfirst-bit-set 1) 0)
1894 (eqv? (fxfirst-bit-set -1) 0)
1895 (eqv? (fxfirst-bit-set -4) 2)
1896 (eqv? (fxfirst-bit-set (least-fixnum)) (fx- (fixnum-width) 1))
1903 (test-cp0-expansion eqv? '(fxfirst-bit-set 0) -1)
1904 (test-cp0-expansion eqv? '(fxfirst-bit-set 1) 0)
1905 (test-cp0-expansion eqv? '(fxfirst-bit-set -1) 0)
1906 (test-cp0-expansion eqv? '(fxfirst-bit-set -4) 2)
1907 (test-cp0-expansion eqv? '(fxfirst-bit-set (least-fixnum)) (fx- (fixnum-width) 1))
1923 (and (eqv? (fxfirst-bit-set i) j)
1924 (eqv? (fxfirst-bit-set (+ i 1)) 0)
1925 (eqv? (fxfirst-bit-set (- i 1)) 0)
1954 (eqv? (fxlogtest 750 -1) #t)
1955 (eqv? (fxlogtest -1 -6) #t)
1956 (eqv? (fxlogtest 0 -1) #f)
1957 (eqv? (fxlogtest -1 0) #f)
1958 (eqv? (fxlogtest #b1000101001 #b0111010110) #f)
1959 (eqv? (fxlogtest #b1000101001 #b0111110110) #t)
1960 (eqv? (fxlogtest #b1010101001 #b0111010110) #t)
1961 (eqv? (fxlogtest (most-positive-fixnum) 3) #t)
1962 (eqv? (fxlogtest (most-negative-fixnum) 3) #f)
1963 (eqv? (fxlogtest (most-negative-fixnum) (most-negative-fixnum)) #t)
1964 (eqv? (fxlogtest (most-negative-fixnum) (most-positive-fixnum)) #f)
1965 (test-cp0-expansion eqv? '(fxlogtest #b1000101001 #b0111010110) #f)
1966 (test-cp0-expansion eqv? '(fxlogtest #b1000101001 #b0111110110) #t)
1967 (test-cp0-expansion eqv? '(fxlogtest #b1010101001 #b0111010110) #t)
1968 (test-cp0-expansion eqv? '(fxlogtest (most-positive-fixnum) 3) #t)
1969 (test-cp0-expansion eqv? '(fxlogtest (most-negative-fixnum) 3) #f)
1970 (test-cp0-expansion eqv? '(fxlogtest (most-negative-fixnum) (most-negative-fixnum)) #t)
1971 (test-cp0-expansion eqv? '(fxlogtest (most-negative-fixnum) (most-positive-fixnum)) #f)
1998 (eqv? (fxif 0 0 0) 0)
1999 (eqv? (fxif 0 -1 0) 0)
2000 (eqv? (fxif 0 0 -1) -1)
2001 (eqv? (fxif #b10101010 0 -1) (fxnot #b10101010))
2002 (eqv? (fxif #b10101010 -1 0) #b10101010)
2003 (eqv? (fxif #b11001110001101
2007 (test-cp0-expansion eqv? '(fxif 0 0 0) 0)
2008 (test-cp0-expansion eqv? '(fxif 0 -1 0) 0)
2009 (test-cp0-expansion eqv? '(fxif 0 0 -1) -1)
2010 (test-cp0-expansion eqv? '(fxif #b10101010 0 -1) (fxnot #b10101010))
2011 (test-cp0-expansion eqv? '(fxif #b10101010 -1 0) #b10101010)
2012 (test-cp0-expansion eqv?
2044 (eqv? (do ([i 0 (fx+ i 1)] [a #t (and a (fxlogbit? i -1))])
2047 (eqv? (do ([i 0 (fx+ i 1)] [a #t (and a (fxlogbit? i (most-positive-fixnum)))])
2050 (eqv? (fxlogbit? (integer-length (most-positive-fixnum)) (most-positive-fixnum)) #f)
2051 (eqv? (fxlogbit? 0 #b0111010110) #f)
2052 (eqv? (fxlogbit? 4 #b0111010110) #t)
2053 (eqv? (fxlogbit? 8 #b0111010110) #t)
2054 (eqv? (fxlogbit? 9 #b0111010110) #f)
2055 (eqv? (fxlogbit? (integer-length (most-positive-fixnum)) #b0111010110) #f)
2056 (eqv? (fxlogbit? 0 -6) #f)
2057 (eqv? (fxlogbit? 1 -6) #t)
2058 (eqv? (fxlogbit? 2 -6) #f)
2059 (eqv? (do ([i 3 (fx+ i 1)] [a #t (and a (fxlogbit? i -6))])
2063 (eqv? (fxlogbit? (+ (integer-length (most-positive-fixnum)) 1) -1) #t)
2064 (eqv? (fxlogbit? (expt (integer-length (most-positive-fixnum)) 2) (most-positive-fixnum)) #f)
2065 (eqv? (fxlogbit? (expt (integer-length (most-positive-fixnum)) 2) -1) #t)
2076 …(test-cp0-expansion eqv? '(fxlogbit? (integer-length (most-positive-fixnum)) (most-positive-fixnum…
2077 (test-cp0-expansion eqv? '(fxlogbit? 0 #b0111010110) #f)
2078 (test-cp0-expansion eqv? '(fxlogbit? 4 #b0111010110) #t)
2079 (test-cp0-expansion eqv? '(fxlogbit? 8 #b0111010110) #t)
2080 (test-cp0-expansion eqv? '(fxlogbit? 9 #b0111010110) #f)
2081 (test-cp0-expansion eqv? '(fxlogbit? (integer-length (most-positive-fixnum)) #b0111010110) #f)
2082 (test-cp0-expansion eqv? '(fxlogbit? 0 -6) #f)
2083 (test-cp0-expansion eqv? '(fxlogbit? 1 -6) #t)
2084 (test-cp0-expansion eqv? '(fxlogbit? 2 -6) #f)
2085 (test-cp0-expansion eqv? '(fxlogbit? (+ (integer-length (most-positive-fixnum)) 1) -1) #t)
2086 …(test-cp0-expansion eqv? '(fxlogbit? (expt (integer-length (most-positive-fixnum)) 2) (most-positi…
2087 (test-cp0-expansion eqv? '(fxlogbit? (expt (integer-length (most-positive-fixnum)) 2) -1) #t)
2099 (eqv? (do ([i 0 (fx+ i 1)] [a #t (and a (fxbit-set? -1 i))])
2102 (eqv? (do ([i 0 (fx+ i 1)] [a #t (and a (fxbit-set? (most-positive-fixnum) i))])
2105 (eqv? (fxbit-set? (most-positive-fixnum) (integer-length (most-positive-fixnum))) #f)
2106 (eqv? (fxbit-set? #b0111010110 0) #f)
2107 (eqv? (fxbit-set? #b0111010110 4) #t)
2108 (eqv? (fxbit-set? #b0111010110 8) #t)
2109 (eqv? (fxbit-set? #b0111010110 9) #f)
2110 (eqv? (fxbit-set? #b0111010110 (integer-length (most-positive-fixnum))) #f)
2111 (eqv? (fxbit-set? -6 0) #f)
2112 (eqv? (fxbit-set? -6 1) #t)
2113 (eqv? (fxbit-set? -6 2) #f)
2114 (eqv? (do ([i 3 (fx+ i 1)] [a #t (and a (fxbit-set? -6 i))])
2118 (eqv? (fxbit-set? -1 (+ (integer-length (most-positive-fixnum)) 1)) #t)
2119 (eqv? (fxbit-set? (most-positive-fixnum) (expt (integer-length (most-positive-fixnum)) 2)) #f)
2120 (eqv? (fxbit-set? -1 (expt (integer-length (most-positive-fixnum)) 2)) #t)
2132 …(test-cp0-expansion eqv? '(fxbit-set? (most-positive-fixnum) (integer-length (most-positive-fixnum…
2133 (test-cp0-expansion eqv? '(fxbit-set? #b0111010110 0) #f)
2134 (test-cp0-expansion eqv? '(fxbit-set? #b0111010110 4) #t)
2135 (test-cp0-expansion eqv? '(fxbit-set? #b0111010110 8) #t)
2136 (test-cp0-expansion eqv? '(fxbit-set? #b0111010110 9) #f)
2137 (test-cp0-expansion eqv? '(fxbit-set? #b0111010110 (integer-length (most-positive-fixnum))) #f)
2138 (test-cp0-expansion eqv? '(fxbit-set? -6 0) #f)
2139 (test-cp0-expansion eqv? '(fxbit-set? -6 1) #t)
2140 (test-cp0-expansion eqv? '(fxbit-set? -6 2) #f)
2142 (test-cp0-expansion eqv? '(fxbit-set? -1 (+ (integer-length (most-positive-fixnum)) 1)) #t)
2143 …(test-cp0-expansion eqv? '(fxbit-set? (most-positive-fixnum) (expt (integer-length (most-positive-…
2144 (test-cp0-expansion eqv? '(fxbit-set? -1 (expt (integer-length (most-positive-fixnum)) 2)) #t)
2168 (eqv? (fxlogbit0 2 0) 0)
2169 (eqv? (fxlogbit0 2 -1) -5)
2170 (eqv? (fxlogbit0 3 #b10101010) #b10100010)
2171 (eqv? (fxlogbit0 4 #b10101010) #b10101010)
2190 (test-cp0-expansion eqv? '(fxlogbit0 2 0) 0)
2191 (test-cp0-expansion eqv? '(fxlogbit0 2 -1) -5)
2192 (test-cp0-expansion eqv? '(fxlogbit0 3 #b10101010) #b10100010)
2193 (test-cp0-expansion eqv? '(fxlogbit0 4 #b10101010) #b10101010)
2206 (eqv? (fxlogbit1 2 0) 4)
2207 (eqv? (fxlogbit1 2 -1) -1)
2208 (eqv? (fxlogbit1 3 #b10101010) #b10101010)
2209 (eqv? (fxlogbit1 4 #b10101010) #b10111010)
2227 (test-cp0-expansion eqv? '(fxlogbit1 2 0) 4)
2228 (test-cp0-expansion eqv? '(fxlogbit1 2 -1) -1)
2229 (test-cp0-expansion eqv? '(fxlogbit1 3 #b10101010) #b10101010)
2230 (test-cp0-expansion eqv? '(fxlogbit1 4 #b10101010) #b10111010)
2246 (eqv? (fxcopy-bit 0 2 0) 0)
2247 (eqv? (fxcopy-bit -1 2 0) -5)
2248 (eqv? (fxcopy-bit #b10101010 3 0) #b10100010)
2249 (eqv? (fxcopy-bit #b10101010 4 0) #b10101010)
2268 (eqv? (fxcopy-bit 0 2 1) 4)
2269 (eqv? (fxcopy-bit -1 2 1) -1)
2270 (eqv? (fxcopy-bit #b10101010 3 1) #b10101010)
2271 (eqv? (fxcopy-bit #b10101010 4 1) #b10111010)
2290 (test-cp0-expansion eqv? '(fxcopy-bit 0 2 1) 4)
2291 (test-cp0-expansion eqv? '(fxcopy-bit -1 2 1) -1)
2292 (test-cp0-expansion eqv? '(fxcopy-bit #b10101010 3 1) #b10101010)
2293 (test-cp0-expansion eqv? '(fxcopy-bit #b10101010 4 1) #b10111010)
2346 (eqv? (fxcopy-bit-field 0 2 3 0) 0)
2347 (eqv? (fxcopy-bit-field 0 2 3 -1) 4)
2348 (eqv? (fxcopy-bit-field -1 2 3 0) -5)
2349 (eqv? (fxcopy-bit-field -1 0 3 0) -8)
2350 (eqv? (fxcopy-bit-field 0 0 3 -1) 7)
2351 (eqv? (fxcopy-bit-field #b10101010 3 4 0) #b10100010)
2352 (eqv? (fxcopy-bit-field #b10101010 4 5 0) #b10101010)
2353 (eqv? (fxcopy-bit-field #b10101010 0 4 0) #b10100000)
2354 (eqv? (fxcopy-bit-field #b10101010 0 4 #b0101) #b10100101)
2395 (eqv? (fxcopy-bit-field 0 2 3 1) 4)
2396 (eqv? (fxcopy-bit-field -1 2 3 1) -1)
2397 (eqv? (fxcopy-bit-field #b10101010 3 4 1) #b10101010)
2398 (eqv? (fxcopy-bit-field #b10101010 4 5 1) #b10111010)
2429 (test-cp0-expansion eqv? '(fxcopy-bit-field 0 2 3 0) 0)
2430 (test-cp0-expansion eqv? '(fxcopy-bit-field 0 2 3 -1) 4)
2431 (test-cp0-expansion eqv? '(fxcopy-bit-field -1 2 3 0) -5)
2432 (test-cp0-expansion eqv? '(fxcopy-bit-field -1 0 3 0) -8)
2433 (test-cp0-expansion eqv? '(fxcopy-bit-field 0 0 3 -1) 7)
2434 (test-cp0-expansion eqv? '(fxcopy-bit-field #b10101010 3 4 0) #b10100010)
2435 (test-cp0-expansion eqv? '(fxcopy-bit-field #b10101010 4 5 0) #b10101010)
2436 (test-cp0-expansion eqv? '(fxcopy-bit-field #b10101010 0 4 0) #b10100000)
2437 (test-cp0-expansion eqv? '(fxcopy-bit-field #b10101010 0 4 #b0101) #b10100101)
2438 (test-cp0-expansion eqv? '(fxcopy-bit-field 0 2 3 1) 4)
2439 (test-cp0-expansion eqv? '(fxcopy-bit-field -1 2 3 1) -1)
2440 (test-cp0-expansion eqv? '(fxcopy-bit-field #b10101010 3 4 1) #b10101010)
2441 (test-cp0-expansion eqv? '(fxcopy-bit-field #b10101010 4 5 1) #b10111010)
2469 (eqv? (fxmod (most-negative-fixnum) -1) 0)
2572 (eqv? (fxmod0 (most-negative-fixnum) -1) 0)
2668 (and (eqv? x1 y1) (eqv? x2 y2)))]))
2716 (and (eqv? x1 y1) (eqv? x2 y2)))]))
2764 (and (eqv? x1 y1) (eqv? x2 y2)))]))
2810 (eqv? (fxrotate-bit-field #b10101010 5 5 0) #b10101010)
2811 (eqv? (fxrotate-bit-field 0 0 1 0) 0)
2812 (eqv? (fxrotate-bit-field -1 0 1 0) -1)
2813 (eqv?
2816 (eqv?
2819 (eqv?
2822 (eqv?
2825 (eqv?
2828 (eqv?
2831 (eqv?
2862 (test-cp0-expansion eqv? '(fxrotate-bit-field #b10101010 5 5 0) #b10101010)
2863 (test-cp0-expansion eqv? '(fxrotate-bit-field 0 0 1 0) 0)
2864 (test-cp0-expansion eqv? '(fxrotate-bit-field -1 0 1 0) -1)
2865 (test-cp0-expansion eqv?
2868 (test-cp0-expansion eqv?
2871 (test-cp0-expansion eqv?
2874 (test-cp0-expansion eqv?
2877 (test-cp0-expansion eqv?
2880 (test-cp0-expansion eqv?
2883 (test-cp0-expansion eqv?
2908 (eqv? (fxreverse-bit-field 0 0 10) 0)
2909 (eqv? (fxreverse-bit-field -1 0 10) -1)
2910 (eqv?
2913 (eqv?
2916 (eqv?
2919 (eqv?
2922 (eqv?
2925 (eqv?
2928 (eqv?
2931 (eqv?
2955 (test-cp0-expansion eqv? '(fxreverse-bit-field 0 0 10) 0)
2956 (test-cp0-expansion eqv? '(fxreverse-bit-field -1 0 10) -1)
2957 (test-cp0-expansion eqv?
2960 (test-cp0-expansion eqv?
2963 (test-cp0-expansion eqv?
2966 (test-cp0-expansion eqv?
2969 (test-cp0-expansion eqv?
2972 (test-cp0-expansion eqv?
2975 (test-cp0-expansion eqv?
2978 (test-cp0-expansion eqv?