;;;; -*- coding: utf-8; fill-column: 78 -*-
+ * minor incompatible change: under weak type checking policy integer
+ types are weakened less aggressively.
+ * minor incompatible change: SAVE-LISP-AND-DIE :TOPLEVEL function is now
+ allowed to return, which causes SBCL to quit with exit status 0. Previously
+ if the function returned with a small integer return value, that value
+ was accidentally reused as the exit status.
* new feature: SB-EXT:DEFGLOBAL macro allows defining global non-special
variables.
* new feature: SB-EXT:ALWAYS-BOUND proclamation inhibits MAKUNBOUND, and
the symbol, prohibits both lexical and dynamic binding. This is mainly an
efficiency measure for threaded platforms, but also valueable in
expressing intent.
- * improvement: SBCL now emits a compiler note where stack allocation was
- requested but could not be provided.
+ * optimization: the compiler uses a specialized version of FILL when the
+ element type is know in more cases, making eg. (UNSIGNED-BYTE 8) case
+ almost 90% faster.
+ * optimization: accesses to potentially non-simple arrays where element type
+ is known are 50% faster.
* optimization: compiler now generates faster array typechecking code.
* optimization: ARRAY-DIMENSION is now faster for multidimensional and
non-simple arrays.
* optimization: multidimensional array accesses in the absence of type
information regarding array rank are approximately 10% faster due to
open coding of ARRAY-RANK.
+ * optimization: result of (FILL (MAKE-ARRAY ...) ...) and (REPLACE
+ (MAKE-ARRAY ...) ...) can be stack allocated if the result of MAKE-ARRAY
+ form can be.
+ * optimization: result of call to VECTOR can now be stack allocated.
+ * optimization: MAKE-ARRAY with :INITIAL-CONTENTS is now vastly faster
+ as long as the resulting array is one-dimensional and has a known
+ element type. In particular, :INITIAL-CONTENTS (LIST ...) where the
+ length of the list matches the known length of the vector does not
+ allocate the list as an intermediate step. Ditto for VECTOR and simple
+ backquoted forms.
+ * optimization: MAKE-ARRAY can now stack allocate in the presence of
+ :INITIAL-CONTENTS and :INITIAL-ELEMENT as long as the result has a
+ known element type, and is known to be simple and one dimensional.
+ * improvement: SBCL now emits a compiler note where stack allocation was
+ requested but could not be provided (not in all cases, unfortunately)
+ * improvement: better MACHINE-VERSION responses. (thanks to Josh Elsasser)
+ * improvement: pretty-printing loop has been implemented properly. (thanks
+ to Tobias Rittweiler)
* documentation: CLOS slot typechecing policy has been documented.
+ * bug fix: SB-SPROF could be foiled by foreign code not have a frame
+ pointer, leading to memory faults. (thanks to Bart Botta)
+ * bug fix: better floating point exception handling on x86/OpenBSD.
+ (thanks to Josh Elsasser)
+ * bug fix: exit status from QUIT when called under --script was lost
+ (reported by Hubert Kauker)
+ * bug fix: MAKE-ARRAY for non-zero :INITIAL-ELEMENT always used the
+ same implementation of FILL to initialize the array, even if a more
+ efficient one was available (reported by Stas Boukarev, thanks to
+ Paul Khuong)
* bug fix: potential miscompilation of array stack allocation on x86 and
x86-64. (reported by Time Tossavainen)
* bug fix: some forms of AND, OR, and COND resulted in expansions that could
projects / sbcl.git / blobdiff