- Sep 26, 2003
-
-
toy authored
Use boot18 to bootstrap this change.
-
toy authored
some hardwired random number.
-
toy authored
-
toy authored
cases: o SIGNUM of a (complex rational) is a (complex single-float) o If the interval contained 0, we weren't returning an interval that included both +0 and -0. Required since (signum -0.0) is -0.0. Fixed a bug where we didn't set the bounds of a numeric type to the correct type.
-
- Sep 25, 2003
-
-
toy authored
byte-fasl-file-version. * src/code/sysmacs.lisp (register-lisp-runtime-feature): (register-lisp-feature): Don't quote the given feature. * src/code/misc.lisp: Register more features, mostly for sparc.
-
toy authored
-
toy authored
REGISTER-LISP-RUNTIME-FEATURE.
-
toy authored
REGISTER-LISP-RUNTIME-FEATURE.
-
toy authored
and *RUNTIME-FEATURES* and setting them appropriately as files are loaded so that recompiling CMUCL produces a result with the same set of features. *RUNTIME-FEATURES* is a subset of *FEATURES* that is written out to internals.h so the C code can be compiled appropriately. A simple bootstrap with boot17 is needed.
-
- Sep 24, 2003
-
-
toy authored
types of numbers are correctly canonicalized for the type system.
-
toy authored
of (defun foo (x) (declare (type (double-float (0d0)) x)) (* x (- (log (random 1d0))))) ONE-ARG-DERIVE-TYPE and TWO-ARG-DERIVE-TYPE should not create member types directly, but should use specifier-type to create them, which will canonicalize them appropriately for the type system. The type system expects member types to be converted to unions of singleton number types, except in certain cases, like signed zeroes. Based on a patch from Christophe Rhodes, sent to cmucl-imp.
-
gerd authored
'(lambda (a b c) (block b6 (logeqv (rem c -6758) (rem b (max 44 (return-from b6 a))))))) => error nil is not of type c::node * src/compiler/macros.lisp (do-nodes-backwards): Stop at unused continuations. Reported by Paul Dietz. Ported from SBCL/Alexey Dejneka.
-
- Sep 22, 2003
- Sep 18, 2003
-
-
gerd authored
to fprintf.
-
- Sep 16, 2003
- Sep 15, 2003
- Sep 14, 2003
-
-
emarsden authored
stale information when recompiling a file. Will fix this limitation in the next few weeks.
-
gerd authored
that is likely caused by it, and which needs to be tracked down first before enabling dynamic-extent again. * src/compiler/envanal.lisp (*suppress-dynamic-extent-safe-closures*): Set to true. * src/compiler/ir1tran.lisp (*trust-dynamic-extent-declarations*): Set to nil.
-
- Sep 13, 2003
-
-
gerd authored
* src/lisp/gencgc.c (set_pseudo_atomic_atomic) (clr_pseudo_atomic_atomic) [i386]: Reverse the values assigned to PSEUDO_ATOMIC_ATOMIC, remove semicolons. (alloc_pseudo_atomic): New function wrapping alloc in a pseudo-atomic section. (alloc): Remove code for the non-PA case, rewrite the rest to use a loop instead of goto.
-
- Sep 12, 2003
-
-
toy authored
-
toy authored
-
gerd authored
is an invalid type specifier. * src/compiler/float-tran.lisp (float): Make three optimizers, one for no prototype, one for single-float prototype, and one for double-float prototype.
-
gerd authored
%dpb optimizer. Add in a sign bit for signed numbers. (%dpb, %deposit-field) <defoptimizer>: Use %dpb-derive-type-aux. Reported by Paul Dietz.
-
gerd authored
is an invalid type specifier. Reported by Paul Dietz.
-
- Sep 11, 2003
- Sep 10, 2003
-
-
toy authored
o Add symbolic names for the predefined PREFETCH function values. o Add SIGNX (sign extend) and CLRUW (zero-extent, clear upper word) synthetic instructions.
-
- Sep 09, 2003
- Sep 08, 2003
- Sep 07, 2003
-
-
gerd authored
(compile 'foo) (foo 0d0) => 0d0 Found by Paul Dietz with sqrt on complex numbers. * src/compiler/float-tran.lisp (float) <deftransform>: Test with single-float-p instead of floatp.
-
- Sep 06, 2003
-
-
gerd authored
functions. Reported by Craig Lanning. * src/pcl/boot.lisp (simple-lexical-method-functions): Rebind next-methods and method-args, and declare ignorable.
-