| /dports/lang/guile2/guile-2.2.7/test-suite/tests/ |
| H A D | bit-operations.test | 129 (list fixnum-max (+ fixnum-bit -2) (+ fixnum-bit fixnum-bit -3) 1)
130 (list fixnum-max (+ fixnum-bit -1) (+ fixnum-bit fixnum-bit -2) 0)
131 (list fixnum-max (+ fixnum-bit 0) (+ fixnum-bit fixnum-bit -1) 0)
143 (list fixnum-max (+ fixnum-bit -2) (+ fixnum-bit fixnum-bit -2) 1)
144 (list fixnum-max (+ fixnum-bit -1) (+ fixnum-bit fixnum-bit -1) 0)
145 (list fixnum-max (+ fixnum-bit 0) (+ fixnum-bit fixnum-bit 0) 0)
157 (list fixnum-max (+ fixnum-bit -2) (+ fixnum-bit fixnum-bit -1) 1)
243 (list fixnum-min (+ fixnum-bit -2) (+ fixnum-bit fixnum-bit -3)
245 (list fixnum-min (+ fixnum-bit -1) (+ fixnum-bit fixnum-bit -2)
247 (list fixnum-min (+ fixnum-bit 0) (+ fixnum-bit fixnum-bit -1)
[all …]
|
| H A D | numbers.test | 41 (define fixnum-min most-negative-fixnum)
42 (define fixnum-max most-positive-fixnum)
716 (eqv? fixnum-max (remainder fixnum-max (+ fixnum-max 1))))
719 (eqv? fixnum-max (remainder fixnum-max fixnum-min)))
722 (eqv? fixnum-max (remainder fixnum-max (- fixnum-min 1)))))
762 (eqv? fixnum-min (remainder fixnum-min (- fixnum-min 1))))
915 (eqv? fixnum-max (modulo fixnum-max (+ fixnum-max 1))))
952 (eqv? (- fixnum-max 1) (modulo fixnum-min fixnum-max)))
961 (eqv? fixnum-min (modulo fixnum-min (- fixnum-min 1)))))
1227 (eqv? fixnum-max (gcd fixnum-max fixnum-max)))
[all …]
|
| /dports/lang/guile1/guile-1.8.8/test-suite/tests/ |
| H A D | bit-operations.test | 129 (list fixnum-max (+ fixnum-bit -2) (+ fixnum-bit fixnum-bit -3) 1)
130 (list fixnum-max (+ fixnum-bit -1) (+ fixnum-bit fixnum-bit -2) 0)
131 (list fixnum-max (+ fixnum-bit 0) (+ fixnum-bit fixnum-bit -1) 0)
143 (list fixnum-max (+ fixnum-bit -2) (+ fixnum-bit fixnum-bit -2) 1)
144 (list fixnum-max (+ fixnum-bit -1) (+ fixnum-bit fixnum-bit -1) 0)
145 (list fixnum-max (+ fixnum-bit 0) (+ fixnum-bit fixnum-bit 0) 0)
157 (list fixnum-max (+ fixnum-bit -2) (+ fixnum-bit fixnum-bit -1) 1)
243 (list fixnum-min (+ fixnum-bit -2) (+ fixnum-bit fixnum-bit -3)
245 (list fixnum-min (+ fixnum-bit -1) (+ fixnum-bit fixnum-bit -2)
247 (list fixnum-min (+ fixnum-bit 0) (+ fixnum-bit fixnum-bit -1)
[all …]
|
| H A D | numbers.test | 35 (define fixnum-min most-negative-fixnum)
36 (define fixnum-max most-positive-fixnum)
634 (eqv? fixnum-max (remainder fixnum-max (+ fixnum-max 1))))
637 (eqv? fixnum-max (remainder fixnum-max fixnum-min)))
640 (eqv? fixnum-max (remainder fixnum-max (- fixnum-min 1)))))
680 (eqv? fixnum-min (remainder fixnum-min (- fixnum-min 1))))
829 (eqv? fixnum-max (modulo fixnum-max (+ fixnum-max 1))))
866 (eqv? (- fixnum-max 1) (modulo fixnum-min fixnum-max)))
875 (eqv? fixnum-min (modulo fixnum-min (- fixnum-min 1)))))
1153 (eqv? fixnum-max (gcd fixnum-max fixnum-max)))
[all …]
|
| /dports/lang/guile/guile-3.0.7/test-suite/tests/ |
| H A D | bit-operations.test | 129 (list fixnum-max (+ fixnum-bit -2) (+ fixnum-bit fixnum-bit -3) 1)
130 (list fixnum-max (+ fixnum-bit -1) (+ fixnum-bit fixnum-bit -2) 0)
131 (list fixnum-max (+ fixnum-bit 0) (+ fixnum-bit fixnum-bit -1) 0)
143 (list fixnum-max (+ fixnum-bit -2) (+ fixnum-bit fixnum-bit -2) 1)
144 (list fixnum-max (+ fixnum-bit -1) (+ fixnum-bit fixnum-bit -1) 0)
145 (list fixnum-max (+ fixnum-bit 0) (+ fixnum-bit fixnum-bit 0) 0)
157 (list fixnum-max (+ fixnum-bit -2) (+ fixnum-bit fixnum-bit -1) 1)
243 (list fixnum-min (+ fixnum-bit -2) (+ fixnum-bit fixnum-bit -3)
245 (list fixnum-min (+ fixnum-bit -1) (+ fixnum-bit fixnum-bit -2)
247 (list fixnum-min (+ fixnum-bit 0) (+ fixnum-bit fixnum-bit -1)
[all …]
|
| H A D | numbers.test | 41 (define fixnum-min most-negative-fixnum)
42 (define fixnum-max most-positive-fixnum)
716 (eqv? fixnum-max (remainder fixnum-max (+ fixnum-max 1))))
719 (eqv? fixnum-max (remainder fixnum-max fixnum-min)))
722 (eqv? fixnum-max (remainder fixnum-max (- fixnum-min 1)))))
762 (eqv? fixnum-min (remainder fixnum-min (- fixnum-min 1))))
915 (eqv? fixnum-max (modulo fixnum-max (+ fixnum-max 1))))
952 (eqv? (- fixnum-max 1) (modulo fixnum-min fixnum-max)))
961 (eqv? fixnum-min (modulo fixnum-min (- fixnum-min 1)))))
1227 (eqv? fixnum-max (gcd fixnum-max fixnum-max)))
[all …]
|
| /dports/lang/clisp/clisp-df3b9f6fdcff22832898e89a989eb499c0f842ed/benchmarks/ |
| H A D | takr.lisp | 8 (declare (type fixnum x y z))
14 (declare (type fixnum x y z))
20 (declare (type fixnum x y z))
26 (declare (type fixnum x y z))
32 (declare (type fixnum x y z))
38 (declare (type fixnum x y z))
44 (declare (type fixnum x y z))
50 (declare (type fixnum x y z))
56 (declare (type fixnum x y z))
62 (declare (type fixnum x y z))
[all …]
|
| H A D | puzzle.lisp | 29 (do ((k 0 (the fixnum (1+ (the fixnum k)))))
40 (do ((k 0 (the fixnum (1+ (the fixnum k)))))
50 (do ((k j (the fixnum(1+ (the fixnum k)))))
63 (do ((k 0 (the fixnum (1+ (the fixnum k)))))
88 (do ((i 0 (the fixnum (1+ (the fixnum i)))))
107 (do ((i 0 (the fixnum (1+ (the fixnum i)))))
131 (do ((m 0 (the fixnum (1+ (the fixnum m)))))
135 (do ((i 1 (the fixnum (1+ (the fixnum i)))))
138 (do ((j 1 (the fixnum (1+ (the fixnum j)))))
153 (do ((i 0 (the fixnum (1+ (the fixnum i)))))
[all …]
|
| H A D | destru.lisp | 8 (declare (type fixnum n m))
9 (let ((l (do ((i 10. (the fixnum (1- i)))
11 ((= (the fixnum i) 0) a)
12 (declare (type fixnum i)))))
13 (do ((i n (the fixnum (1- i))))
14 ((= (the fixnum i) 0))
15 (declare (type fixnum i))
22 (do ((j m (the fixnum (1- j)))
24 ((= (the fixnum j) 0) a)
31 (the fixnum (1- j)))
[all …]
|
| /dports/lang/sagittarius-scheme/sagittarius-0.9.8/test/r6rs-test-suite/tests/r6rs/arithmetic/ |
| H A D | fixnums.sls | 71 (test (fixnum? (least-fixnum)) #t)
72 (test (fixnum? (- (least-fixnum) 1)) #f)
73 (test (fixnum? (greatest-fixnum)) #t)
74 (test (fixnum? (+ 1 (greatest-fixnum))) #f)
172 (test (fx+ (greatest-fixnum) (least-fixnum)) -1)
173 (test (fx+ 0 (greatest-fixnum)) (greatest-fixnum))
174 (test (fx+ 0 (least-fixnum)) (least-fixnum))
179 (test (fx* 1 (least-fixnum)) (least-fixnum))
180 (test (fx* 1 (greatest-fixnum)) (greatest-fixnum))
191 (test (fx- (greatest-fixnum) (greatest-fixnum)) 0)
[all …]
|
| /dports/lang/mosh/mosh-0.2.7/tests/r6rs-test-suite/tests/r6rs/arithmetic/ |
| H A D | fixnums.sls | 71 (test (fixnum? (least-fixnum)) #t)
72 (test (fixnum? (- (least-fixnum) 1)) #f)
73 (test (fixnum? (greatest-fixnum)) #t)
74 (test (fixnum? (+ 1 (greatest-fixnum))) #f)
172 (test (fx+ (greatest-fixnum) (least-fixnum)) -1)
173 (test (fx+ 0 (greatest-fixnum)) (greatest-fixnum))
174 (test (fx+ 0 (least-fixnum)) (least-fixnum))
179 (test (fx* 1 (least-fixnum)) (least-fixnum))
180 (test (fx* 1 (greatest-fixnum)) (greatest-fixnum))
191 (test (fx- (greatest-fixnum) (greatest-fixnum)) 0)
[all …]
|
| /dports/lang/abcl/abcl-src-1.8.0/test/lisp/abcl/ |
| H A D | mop-tests.lisp | 28 #'mop-test.foo (find-classes 'fixnum 'fixnum)))
61 (list (find-foo 'fixnum 'fixnum)
82 #'mop-test.bar (find-classes 'fixnum 'fixnum)))
90 (list (find-bar 'fixnum 'fixnum)
99 (find-bar 'fixnum 'fixnum)
106 #'mop-test.bar (find-classes 'fixnum 'fixnum))
170 #'mop-test.baz (find-classes 'fixnum 'fixnum)))
178 (list (find-baz 'fixnum 'fixnum)
187 (find-baz 'fixnum 'fixnum)
194 #'mop-test.baz (find-classes 'fixnum 'fixnum))
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/racket-doc/scribblings/reference/ |
| H A D | fixnums.scrbl | 43 @defproc[(fx- [a fixnum?] [b fixnum?] ...) fixnum?]
45 @defproc[(fxquotient [a fixnum?] [b fixnum?]) fixnum?]
46 @defproc[(fxremainder [a fixnum?] [b fixnum?]) fixnum?]
47 @defproc[(fxmodulo [a fixnum?] [b fixnum?]) fixnum?]
67 @defproc[(fxlshift [a fixnum?] [b fixnum?]) fixnum?]
68 @defproc[(fxrshift [a fixnum?] [b fixnum?]) fixnum?]
89 @defproc[(fx+/wraparound [a fixnum?] [b fixnum?]) fixnum?]
90 @defproc[(fx-/wraparound [a fixnum?] [b fixnum?]) fixnum?]
91 @defproc[(fx*/wraparound [a fixnum?] [b fixnum?]) fixnum?]
113 @defproc[(fxmin [a fixnum?] [b fixnum?] ...) fixnum?]
[all …]
|
| /dports/lang/sagittarius-scheme/sagittarius-0.9.8/src/ |
| H A D | lib_fixnums.stub | 156 (define-c-proc fx+ (fx1::<fixnum> fx2::<fixnum>) ::<fixnum> :no-side-effect
160 (define-c-proc fx* (fx1::<fixnum> fx2::<fixnum>) ::<fixnum> :no-side-effect
188 (define-c-proc fxdiv (fx1::<fixnum> fx2::<fixnum>) ::<fixnum> :no-side-effect
194 (define-c-proc fxmod (fx1::<fixnum> fx2::<fixnum>) ::<fixnum> :no-side-effect
212 (define-c-proc fxdiv0 (fx1::<fixnum> fx2::<fixnum>) ::<fixnum> :no-side-effect
217 (define-c-proc fxmod0 (fx1::<fixnum> fx2::<fixnum>) ::<fixnum> :no-side-effect
297 (define-c-proc fxif (fx1::<fixnum> fx2::<fixnum> fx3::<fixnum>) ::<fixnum>
339 (define-c-proc fxcopy-bit (fx1::<fixnum> fx2::<fixnum> fx3::<fixnum>)
346 (define-c-proc fxbit-field (fx1::<fixnum> fx2::<fixnum> fx3::<fixnum>)
360 (fx1::<fixnum> fx2::<fixnum> fx3::<fixnum> fx4::<fixnum>)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/optimizer/ |
| H A D | fixnum.rkt | 13 (provide fixnum-expr fixnum-opt-expr)
142 (pattern (op:fixnum-unary-op n:fixnum-expr)
145 (pattern (op:fixnum-binary-op (~between ns:fixnum-expr 2 +inf.0) ...)
148 (pattern (op:fixnum-binary-comp n1:fixnum-expr n2:fixnum-expr)
151 (pattern (op:fixnum-binary-comp n1:fixnum-expr n2:fixnum-expr ns:fixnum-expr ...)
155 (pattern (op:nonzero-fixnum-binary-op n1:fixnum-expr n2:nonzero-fixnum-expr)
164 (pattern (op:fixnum-coercion-op n:fixnum-expr)
182 (~seq n1:nonneg-fixnum-expr n2:nonpos-fixnum-expr)
183 (~seq n1:nonpos-fixnum-expr n2:nonneg-fixnum-expr)))
186 (pattern (op:fx-^ n1:nonneg-fixnum-expr n2:nonneg-fixnum-expr)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/r6rs-lib/rnrs/arithmetic/ |
| H A D | fixnums-6.rkt | 11 (provide fixnum?
12 fixnum-width
13 least-fixnum
14 greatest-fixnum
41 (if (fixnum? v)
45 (define-inliner define-fx fixnum? "fixnum")
69 (unless (fixnum? a)
71 (unless (fixnum? b)
79 (unless (fixnum? a)
81 (unless (fixnum? b)
[all …]
|
| /dports/lang/chicken5/chicken-5.3.0/tests/ |
| H A D | typematch-tests.scm | 276 (: p (pair fixnum (pair fixnum fixnum)))
305 (compatible (pair * (list fixnum)) (list * fixnum))
306 (compatible (pair fixnum (list *)) (list fixnum *))
307 (compatible (pair fixnum (pair * null)) (list fixnum *))
308 (compatible (pair fixnum (pair fixnum null)) (list fixnum fixnum))
311 (compatible (pair fixnum (list fixnum)) (list fixnum fixnum))
316 (incompatible (pair fixnum *) (list-of fixnum))
318 (incompatible (pair fixnum (list-of fixnum)) (list-of fixnum))
321 (incompatible (pair fixnum (list-of fixnum)) (list-of fixnum))
359 (infer-last (symbol fixnum (or fixnum symbol))
[all …]
|
| /dports/lang/chicken5/chicken-5.3.0/ |
| H A D | types.db | 286 ((fixnum fixnum) (fixnum) (chicken.fixnum#fxmax #(1) #(2)))
290 ((fixnum fixnum) (fixnum) (chicken.fixnum#fxmin #(1) #(2)))
438 ((fixnum fixnum) (fixnum)
448 ((fixnum fixnum) (fixnum)
455 ((fixnum fixnum) (fixnum) (chicken.fixnum#fxgcd #(1) #(2)))
995 ((fixnum fixnum) (integer fixnum)
1274 (chicken.fixnum#fixnum-bits fixnum)
1278 (chicken.fixnum#fx- (#(procedure #:clean) chicken.fixnum#fx- (fixnum fixnum) fixnum))
1279 (chicken.fixnum#fx* (#(procedure #:clean) chicken.fixnum#fx* (fixnum fixnum) fixnum))
1280 (chicken.fixnum#fx/ (#(procedure #:clean) chicken.fixnum#fx/ (fixnum fixnum) fixnum))
[all …]
|
| /dports/lang/racket/racket-8.3/src/ChezScheme/mats/ |
| H A D | fx.ms | 197 (fx=? (least-fixnum) (- (expt 2 (- (fixnum-width) 1))))
198 (fx=? (greatest-fixnum) (- (expt 2 (- (fixnum-width) 1)) 1))
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))
1734 (error? (fxbit-field 35 (fixnum-width) (fixnum-width)))
2669 (let ([m (- (+ (greatest-fixnum) 1) (least-fixnum))])
2717 (let ([m (- (+ (greatest-fixnum) 1) (least-fixnum))])
2820 (fxrotate-bit-field (greatest-fixnum) 0 (fx- (fixnum-width) 1) (fx- (fixnum-width) 2))
2826 (fxrotate-bit-field (least-fixnum) 0 (fx- (fixnum-width) 1) (fx- (fixnum-width) 2))
2872 '(fxrotate-bit-field (greatest-fixnum) 0 (fx- (fixnum-width) 1) (fx- (fixnum-width) 2))
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/ChezScheme/mats/ |
| H A D | fx.ms | 197 (fx=? (least-fixnum) (- (expt 2 (- (fixnum-width) 1))))
198 (fx=? (greatest-fixnum) (- (expt 2 (- (fixnum-width) 1)) 1))
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))
1734 (error? (fxbit-field 35 (fixnum-width) (fixnum-width)))
2669 (let ([m (- (+ (greatest-fixnum) 1) (least-fixnum))])
2717 (let ([m (- (+ (greatest-fixnum) 1) (least-fixnum))])
2820 (fxrotate-bit-field (greatest-fixnum) 0 (fx- (fixnum-width) 1) (fx- (fixnum-width) 2))
2826 (fxrotate-bit-field (least-fixnum) 0 (fx- (fixnum-width) 1) (fx- (fixnum-width) 2))
2872 '(fxrotate-bit-field (greatest-fixnum) 0 (fx- (fixnum-width) 1) (fx- (fixnum-width) 2))
[all …]
|
| H A D | patch-compile-0-f-t-t | 5 fx.mo:Expected error in mat r6rs:fx-: "fx-: #f is not a fixnum".
6 fx.mo:Expected error in mat r6rs:fx-: "fx-: #f is not a fixnum".
7 fx.mo:Expected error in mat fx*: "fx*: (a . b) is not a fixnum".
9 fx.mo:Expected error in mat fx*: "fx*: <int> is not a fixnum".
10 fx.mo:Expected error in mat fx*: "fx*: <-int> is not a fixnum".
11 fx.mo:Expected error in mat fx*: "fx*: #f is not a fixnum".
12 fx.mo:Expected error in mat fx*: "fx*: #f is not a fixnum".
17 fx.mo:Expected error in mat r6rs:fx*: "fx*: #f is not a fixnum".
23 fx.mo:Expected error in mat fx*: "fx*: <int> is not a fixnum".
25 fx.mo:Expected error in mat fx*: "fx*: #f is not a fixnum".
[all …]
|
| H A D | patch-compile-2-f-f-t | 5 fx.mo:Expected error in mat r6rs:fx-: "fx-: #f is not a fixnum".
6 fx.mo:Expected error in mat r6rs:fx-: "fx-: #f is not a fixnum".
7 fx.mo:Expected error in mat fx*: "fx*: (a . b) is not a fixnum".
9 fx.mo:Expected error in mat fx*: "fx*: <int> is not a fixnum".
10 fx.mo:Expected error in mat fx*: "fx*: <-int> is not a fixnum".
11 fx.mo:Expected error in mat fx*: "fx*: #f is not a fixnum".
12 fx.mo:Expected error in mat fx*: "fx*: #f is not a fixnum".
17 fx.mo:Expected error in mat r6rs:fx*: "fx*: #f is not a fixnum".
23 fx.mo:Expected error in mat fx*: "fx*: <int> is not a fixnum".
25 fx.mo:Expected error in mat fx*: "fx*: #f is not a fixnum".
[all …]
|
| /dports/databases/pgloader3/cl-base64-20201016-git/ |
| H A D | encode.lisp | 35 (declare (fixnum n)
41 (the fixnum (+ x (the fixnum (- n remainder)))))))
59 (fixnum columns)
135 (the fixnum
152 '(the fixnum (aref input (the fixnum
174 (the fixnum
176 (the fixnum
185 (the fixnum
195 (the fixnum
214 (fixnum columns)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/cs/primitive/ |
| H A D | flfxnum.ss | 40 [fx* (known-procedure/folding/limited -1 'fixnum)]
42 [fx+ (known-procedure/folding/limited -1 'fixnum)]
44 [fx- (known-procedure/folding/limited -2 'fixnum)]
47 [fx< (known-procedure/folding/limited -2 'fixnum)]
48 [fx<= (known-procedure/folding/limited -2 'fixnum)]
49 [fx= (known-procedure/folding/limited -2 'fixnum)]
50 [fx> (known-procedure/folding/limited -2 'fixnum)]
51 [fx>= (known-procedure/folding/limited -2 'fixnum)]
52 [fxabs (known-procedure/folding/limited 2 'fixnum)]
75 [most-positive-fixnum (known-procedure/pure 1)]
[all …]
|
| /dports/lang/racket/racket-8.3/src/cs/primitive/ |
| H A D | flfxnum.ss | 40 [fx* (known-procedure/folding/limited -1 'fixnum)]
42 [fx+ (known-procedure/folding/limited -1 'fixnum)]
44 [fx- (known-procedure/folding/limited -2 'fixnum)]
47 [fx< (known-procedure/folding/limited -2 'fixnum)]
48 [fx<= (known-procedure/folding/limited -2 'fixnum)]
49 [fx= (known-procedure/folding/limited -2 'fixnum)]
50 [fx> (known-procedure/folding/limited -2 'fixnum)]
51 [fx>= (known-procedure/folding/limited -2 'fixnum)]
52 [fxabs (known-procedure/folding/limited 2 'fixnum)]
75 [most-positive-fixnum (known-procedure/pure 1)]
[all …]
|