X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=bc571547e7afec66d69ce6f8dd1d4216457e6c20;hb=c09f6c37a4b36901793d5a9ac7e99b5eeea83593;hp=f73899a1fa51ba8d13ef7fec611e45c9b032e79f;hpb=44c9d978d04fd58ba8cae546ab45618c9a3d0050;p=sbcl.git diff --git a/NEWS b/NEWS index f73899a..bc57154 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,26 @@ ;;;; -*- coding: utf-8; fill-column: 78 -*- +changes relative to sbcl-1.0.30: + * improvement: stack allocation is should now be possible in all nested + inlining cases: failure to stack allocate when equivalent code is manually + open coded is now considered a bug. + * new feature: experimental :EMIT-CFASL parameter to COMPILE-FILE can + be used to output toplevel compile-time effects into a separate .CFASL + file. + * optimization: multiplication and division of single- and double-floats + with constant +/-one has been optimized. + * optimization: multiplication of single- and double-floats floats by + constant two has been optimized. + * bug fix: moderately complex combinations of inline expansions could + be miscompiled if the result was declared to be dynamic extent. + * bug fix: in some cases no compiler note about failure to stack allocate + was emitted, even if the objects were in fact heap allocated. + * bug fix: minor violation of "otherwise inaccessible" rule for stack + allocation could cause objects users might reasonably expect to + be heap allocated to be stack allocated. + * bug fix: DESCRIBE signalled an error for generic functions under + certain circumstances. (reported by Leslie Polzer) + +changes in sbcl-1.0.30 relative to sbcl-1.0.29: * minor incompatible change: SB-THREAD:JOIN-THREAD-ERROR-THREAD and SB-THREAD:INTERRUPT-THREAD-ERROR-THREAD have been deprecated in favor of SB-THREAD:THREAD-ERROR-THREAD. @@ -9,24 +31,43 @@ values in other threads. * new feature: SB-INTROSPECT:ALLOCATION-INFORMATION provides information about object allocation. + * optimization: division of a real float by a complex float is implemented + with a specialised code sequence. * optimization: MAKE-INSTANCE with non-constant class-argument but constant keywords is an order of magnitude faster. - * optimization: MAKE-INSTANCE with constant keyword arguments is somewhat - faster for non-standard metaclass classes as long as there are no methods - additional on MAKE-INSTANCE and initialization arguments can be validated - at compile-time. + * optimization: MAKE-INSTANCE with constant keyword arguments is x2-4 faster + in the presence of :AROUND or non-standard primary INITIALIZE-INSTANCE + methods, and similarly for non-standard metaclass classes as long as there + are no methods additional on MAKE-INSTANCE. * optimization: more efficient type-checks for FIXNUMs when the value is known to be a signed word on x86 and x86-64. * optimization: compiler now optimizes (EXPT -1 INTEGER), (EXPT -1.0 INTEGER), and (EXPT -1.0d0 INTEGER) into an ODDP test. (thanks to Stas Boukarev and Paul Khuong) + * optimization: compiler is smarter about delegating argument type checks to + callees. + * optimization: several character functions are now compiled somewhat more + efficiently. (reported by Lynn Quam) + * optimization: the compiler now derives simple types for LOAD-VALUE-FORMs. + * improvement: less unsafe constant folding in floating point arithmetic, + especially for mixed complex/real -float operations. + * optimization: constant double and single floats are stored in native + unboxed format on x86[-64]. + * optimization: smarter code for arithmetic operations with constant floats, + complex floats, or integers on x86[-64]. + * optimization: smarter code for conjugate/multiplication of float complexes + and abs/negate of floats on x86-64. + * optimization: more efficient complex float and real float operations on + x86-64. + * improvement: complex float division is slightly more stable. * improvement: DESCRIBE output has been reworked to be easier to read and contains more pertinent information. * improvement: failure to provide requested stack allocation compiler notes provided in all cases (requested stack allocation not happening without a note being issued is now considered a bug.) - * optimization: compiler is smarter about delegating argument type checks to - callees. + * bug fix: SB-POSIX exports the documented types and functions + FILE-DESCRIPTOR and FILENAME, and also the corresponding -DESCRIPTOR + types. (reported by "abhi") * bug fix: on 64 bit platforms FILL worked incorrectly on arrays with upgraded element type (COMPLEX SINGLE-FLOAT), regression from 1.0.28.55. (thanks to Paul Khuong) @@ -43,7 +84,7 @@ * bug fix: bogus undefined variable warnings from fopcompiled references to global variables. (thanks to Lars Rune Nøstdal) * bug fix: foreign function names should now appear in backtraces on - FC6 as well. (reported by Tomasz Skutnik and obias Rautenkranz) + FC6 as well. (reported by Tomasz Skutnik and Tobias Rautenkranz) * bug fix: SETF compiler macro documentation strings are not discarded anymore. * bug fix: GENTEMP is now unaffected by pretty printer dispatch table. @@ -51,6 +92,8 @@ * bug fix: SLEEP accepts large integer arguments, truncating them to SIGNED-WORD on the assumption that sleeping for 68 years is sufficient for anyone. (reported by Leslie Polzer, thanks to Stas Boukarev) + * bug fix: compiler notes for expensive slot type checks could be emitted + at runtime MAKE-INSTANCE calls. (reported by Samium Gromoff) changes in sbcl-1.0.29 relative to 1.0.28: * IMPORTANT: bug database has moved from the BUGS file to Launchpad