Unchecked / *unchecked-math* arithmetic wraps to signed 64-bit
clojure.core's unchecked-* (and +/-/*/inc/dec under *unchecked-math*) are long
ops that WRAP on overflow; jolt's checked arithmetic is arbitrary-precision and
its unchecked-* were plain non-wrapping (+ x y), diverging from the JVM. Now they
truncate to the low 64 bits as a signed long, matching Clojure:
(unchecked-add 9223372036854775807 1) => -9223372036854775808
(unchecked-multiply 9223372036854775807 …) => 1
- host/chez/seq.ss: jolt-wrap64 + binary jolt-unc{add,sub,mul,inc,dec,neg}2 and
the variadic clojure.core/unchecked-* fns (def-var!'d in natives-seq.ss, where
def-var! is bound). The overlay's plain unchecked-* defns are removed.
- backend lng-ops: unchecked-+/-/* emit the wrapping jolt-unc* helpers (the
raising fx ops can't wrap on Chez's 61-bit fixnums); unchecked-inc/dec too.
- *unchecked-math* is honored: the analyzer reads it (jolt.host/unchecked-math?)
and rewrites +/-/*/inc/dec to their unchecked-* for the rest of a file that
(set!)s it, like the JVM.
- jolt->fx: a ^long value that overflows the 61-bit fixnum range passes through
as an exact integer instead of erroring (a full-width long from wrapping math).
Also adds Long/bitCount / numberOfLeadingZeros / reverse and Math/getExponent /
scalb (test.check's splittable PRNG uses them).
This lets clojure.test.check load and run quick-check on jolt. re-mint (analyzer/
backend/overlay are seed sources). make test green (+6 corpus rows, 0 new
divergences, numeric gate updated), shakesmoke byte-identical.
This commit is contained in:
parent
86dd9650b6
commit
a028cab04f
12 changed files with 588 additions and 517 deletions
|
|
@ -22,12 +22,17 @@
|
|||
;; pass an exact integer through, error if it doesn't fit a fixnum or isn't a
|
||||
;; number. The hint is a promise the value is a fixnum-range long; the body's fx*
|
||||
;; ops rely on it. (^double params coerce with the built-in exact->inexact.)
|
||||
;; A ^long is a 64-bit value; a Chez fixnum is only 61-bit, so a value that
|
||||
;; overflows the fixnum range (a full-width long, e.g. from unchecked / wrapping
|
||||
;; arithmetic) passes through as an exact integer rather than erroring. fx ops in
|
||||
;; the body still require fixnums (they raise on a bignum), but generic /
|
||||
;; unchecked-* ops handle it.
|
||||
(define (jolt->fx x)
|
||||
(let ((n (cond ((fixnum? x) x)
|
||||
((flonum? x) (exact (truncate x)))
|
||||
((rational? x) (exact (truncate x)))
|
||||
(else (error 'jolt "^long hint: not a number" x)))))
|
||||
(if (fixnum? n) n (error 'jolt "^long hint: value out of fixnum range" x))))
|
||||
(cond ((fixnum? x) x)
|
||||
((and (number? x) (exact? x) (integer? x)) x)
|
||||
((flonum? x) (exact (truncate x)))
|
||||
((rational? x) (exact (truncate x)))
|
||||
(else (error 'jolt "^long hint: not a number" x))))
|
||||
;; jolt `not`: only nil and false are falsey.
|
||||
(define (jolt-not x) (if (jolt-truthy? x) #f #t))
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue