;;;; -*- coding: utf-8; fill-column: 78 -*-
-changes relative to sbcl-1.1.6
+changes relative to sbcl-1.1.14:
+ * new feature: the iterative spilling/coloring register allocator developed
+ by Alexandra Barchunova during Google Summer of Code 2013 is now merged
+ in. By default, it only activates for functions that optimize with
+ (speed 3) and (> speed compilation-speed), but setting
+ sb-regalloc:*register-allocation-method* to :iterative forces its
+ execution. The previous behaviour can be obtained by instead setting that
+ variable to :greedy. Thanks again to Google for their support, and, more
+ crucially, to Alexandra Barchunova for her hard work.
+ * optimization: make-array with known element-type and unknown dimensions is
+ much faster.
+ * optimization: make-array with unknown element-type is faster as well.
+ (lp#1004501)
+ * enhancement: sb-ext:save-lisp-and-die on Windows now accepts
+ :application-type argument, which can be :console or :gui. :gui allows
+ having GUI applications without an automatically appearing console window.
+ * enhancement: reduced conservativism on GENCGC platforms:
+ conservative roots must be valid-looking tagged pointers or point
+ within a code object, not merely point to within the allocated part
+ of a page, in order to pin a page.
+ * enhancement: support for "Mac Roman" external format.
+ * enhancement: encapsulation of named generic functions now happens without
+ altering the identity of the function bound to the name.
+ * bug fix: Windows applications without the console window no longer misbehave.
+ (patch by Wilfredo Velazquez, lp#1256034).
+ * bug fix: modular arithmetic optimizations do not stumble on dead branches
+ with bad constants. (reported by Douglas Katzman)
+ * bug fix: CLISP can be used again as a cross-compilation host.
+ (Thanks to Vasily Postnicov, lp#1261451)
+ * bug fix: run-program crashed with :directory nil. (lp#1265077)
+
+changes in sbcl-1.1.14 relative to sbcl-1.1.13:
+ * optimization: complicated TYPEP tests are less opaque to the type
+ propagation pass. (lp#1229340)
+ * optimization: [N]BUTLAST perform a single pass over the list. (lp#1245697)
+ * optimization: EQUALP on structures with raw slots (double-float/complex)
+ no longer conses and is faster.
+ * optimization: RESTART-CASE expands to more compact code.
+ Thanks to Jan Moringen. (lp#1249055)
+ * enhancement: Top-level defmethod without defgeneric no longer causes
+ undefined-function warnings in subsequent forms. (lp#503095)
+ * enhancement: Better error messages for system errors on Windows.
+ * enhancement: run-sbcl.sh is usefully handled by rlwrap. Thanks to William
+ Cushing. (lp#1249183)
+ * enhancement: new function SB-EXT:ASSERT-VERSION->= accepts a version
+ specification (multiple integer arguments) and signals a continuable error
+ if the current SBCL version is lower (older) than the specification.
+ (lp#674372)
+ * enhancement: better ARRAY-RANK result derivation. (lp#1252108)
+ * bug fix: EQUALP now compares correctly structures with raw slots larger
+ than a single word.
+ * bug fix: contribs couldn't be built on Windows with MinGW.
+ * bug fix: Better pathname handling on Windows. (lp#922117)
+ * bug fix: OPEN reports a more meaningful error when an existing file is
+ opened for output with :if-exists :new-version. Thanks to Philip
+ Munksgaard. (lp#455381)
+ * bug fix: DEFSTRUCTs with NIL as a slot name no longer cause strange
+ CLOS-related errors. (lp#633911)
+ * bug fix: GC deadlocks caused by concurrent consing on Windows.
+
+changes in sbcl-1.1.13 relative to sbcl-1.1.12:
+ * optimization: better distribution of SXHASH over small conses of related
+ values. (lp#309443)
+ * other improvements to SXHASH:
+ ** use the whole of the positive-fixnum range for SXHASH of fixnums
+ * enhancement: The error message when calling an undefined alien function
+ includes the name of the function on x86-64.
+ * enhancement: sb-ext:run-program now supports :environment on Windows.
+ * enhancement: ASDF is no longer required to load contribs at runtime.
+ (lp#1132254)
+ * enhancement: when called with a symbol, FIND-RESTART no longer calls
+ COMPUTE-RESTARTS, making it faster and cons less (lp#769615)
+ * enhancement: FIND-RESTART and COMPUTE-RESTARTS handle huge restart
+ clusters better in some cases
+ * enhancement: SOME/ANY/other quantification higher-order functions no
+ longer cons. (lp#1070635)
+ * bug fix: forward references to classes in fasls can now be loaded.
+ (lp#746132)
+ * bug fix: don't warn on a interpreted->compiled function redefinition
+ from the same location. (patch by Douglas Katzman, lp#1042405)
+ * bug fix: Create vectors of proper internal length when reading literal
+ vectors from FASLs. (Reported by Jan Moringen)
+ * bug fix: COMPILE can now successfully compile setf functions.
+ (Reported by Douglas Katzman)
+ * bug fix: run-program performs more correct escaping of arguments on
+ Windows. (lp#1239242)
+ * bug fix: function-lambda-expression on generic functions returns the
+ actual name.
+ * bug fix: (the [type] [constant]) now warns when [constant] matches
+ [type] except for the number of values. (Reported by Nathan Trapuzzano
+ on sbcl-help)
+ * bug fix: signal errors in required cases of slot-definition initialization
+ protocol. (lp#309072)
+ * bug fix: run-sbcl.sh works better in the presence of symlinks on OS X.
+ (thanks to Stelian Ionescu, lp#1242643)
+ * bug fix: when given a restart object, FIND-RESTART checks whether the
+ restart is active and, when a condition is supplied, whether the restart
+ is associated to a different condition (lp#774410)
+
+changes in sbcl-1.1.12 relative to sbcl-1.1.11:
+ * enhancement: Add sb-bsd-sockets:socket-shutdown, for calling
+ shutdown(3). (thanks to Jan Moringen, lp#1207483)
+ * enhancement: document extensible sequences. (thanks to Jan Moringen,
+ lp#994528)
+ * optimization: EQUAL and EQUALP transforms are smarter.
+ (thanks to Elias Martenson, lp#1220084)
+ * optimization: CHAR-EQUAL is faster for constant and base-char arguments.
+ * bug fix: probe-file now can access symlinks to pipes and sockets in
+ /proc/pid/fd on Linux. (reported by Eric Schulte)
+ * bug fix: SBCL can now be built on Solaris x86-64.
+ * bug fix: Floating point exceptions do not persist on Solaris anymore.
+ * bug fix: (setf . a) is pprinted correctly (reported by Douglas Katzman).
+ * bug fix: handle compiler-error in LOAD when it's not run from inside EVAL.
+ (lp#1219601)
+ * bug fix: SB-GMP:MPZ-POW no longer segfaults given a non-bignum base.
+ (thanks to Stephan Frank)
+ * bug fix: space allocation of result bignums in SB-GMP is more accurate.
+ (thanks to Stephan Frank, lp#1206191)
+ * bug fix: sb-safepoint can now reliably handle signal interruptions of
+ foreign code. (lp#1133018)
+ * bug fix: the compiler-macro for MAKE-INSTANCE when emitting "fallback"
+ constructors no longer fails to merge actual and default initargs
+ (thanks to Jan Moringen, lp#1179858)
+ * bug fix: the compiler-macro for MAKE-INSTANCE when emitting "fallback"
+ constructors handles non-KEYWORD initialization arguments more correctly.
+ * bug fix: loading the SB-SIMPLE-STREAMS contributed module no longer
+ clobbers FILE-NAMESTRING. (thanks to Anton Kovalenko, lp#884603)
+ * bug fix: class definitions with CPLs inconsistent with their metaclasses
+ are less likely to destroy the object system's integrity. (lp#309076)
+ * bug fix: restart clause parsing in RESTART-CASE is more in line with the
+ standard. (lp#1203585, thanks to Jan Moringen)
+ * bug fix: silence a note from RESTART-CASE under high-SPEED optimization
+ settings. (lp#1023721)
+ * bug fix: getting the order of arguments to
+ SB-MOP:SET-FUNCALLABLE-INSTANCE-FUNCTION wrong produces a sensible error
+ rather than a failed AVER. (reported by Paul Nathan)
+ * bug fix: Parsing of &optional/&key/&rest arguments now never overwrites
+ arguments during copying on x86 and x86-64; it may still happen on other
+ platforms when there are more fixed arguments than stack slots.
+ (reported by Jan Moringen)
+
+changes in sbcl-1.1.11 relative to sbcl-1.1.10:
+ * enhancement: support building the manual under texinfo version 5.
+ (lp#1189146)
+ * enhancement: Windows builds no longer display the "Kitten of Death" message.
+ A warning is instead appended to the regular banner, and may be muted with
+ --noinform. (lp#728247)
+ * enhancement: support building under new linker handling of syscalls under
+ NetBSD. (thanks to Robert Swindells)
+ * bug fix: undefined function errors are now properly reported on PPC and MIPS.
+ (regression since 1.1.9)
+ * bug fix: (funcall (function X junk)) didn't causes an error when X had a
+ compiler macro. (thanks to Douglas Katzman).
+ * bug fix: signal a warning when defining a setf-function when a
+ setf-expander is already present. (thanks to Douglas Katzman).
+ * bug fix: improved threading on PPC.
+ * bug fix: ROOM works again on Windows. (lp#1206456)
+ * bug fix: Streams were flushed even when there was one byte still left in
+ the buffer. (lp#910213)
+ * bug fix: OPEN handles correctly when :if-exists and :if-does-not-exist are
+ either NIL or :ERROR. (reported by Jan Moringen)
+
+changes in sbcl-1.1.10 relative to sbcl-1.1.9:
+ * enhancement: ASDF has been updated to 3.0.2.
+ * optimization: stack frames are packed more efficiently on x86oids, which
+ ought to reduce the frequency of Methuselahn conservative references (it
+ certainly helps with gc.impure.lisp / BUG-936304 on x86).
+ * optimization: on x86 and x86-64, integer negation forms like (- x) are now
+ recognized in modular arithmetic contexts, and compile to native negate,
+ rather than going through bignums only to keep the low bits.
+ * bug fix: Compiling potential modularic arithmetic forms does not cause type
+ errors when some integer types lack lower or upper bounds. (lp#1199127)
+ * bug fix: Non-trivial modular arithmetic forms are always cut to the right
+ bitwidth before being used in a non-modular context. (lp#1199428)
+ * bug fix: Multiple catch/unwind blocks in a single function are now
+ allocated in the right stack order on win32. (lp#1072739)
+
+changes in sbcl-1.1.9 relative to sbcl-1.1.8:
+ * new feature: the contrib SB-GMP links with libgmp at runtime to speed
+ up arithmetic on bignums and ratios. (contributed by Stephan Frank)
+ * enhancement: disassemble now annotates some previously missing static
+ functions, like LENGTH.
+ * enhancement: clean.sh now also cleans doc/internals.
+ * enhancement: SB-EXT:PRINT-SYMBOL-WITH-PREFIX can be used within ~// to
+ print a symbol with a package prefix.
+ * enhancement: The debugger and backtracing are more robust against buggy
+ PRINT-OBJECT methods.
+ * optimization: calls to static functions on x86-64 use less instructions.
+ * optimization: compute encode-universal-time at compile time when possible.
+ * optimization: when referencing internal functions as #'x, don't go through
+ an indirect fdefn structure.
+ * optimization: SLEEP doesn't cons on non-immediate floats and on ratios.
+ * optimization: (mod fixnum) type-checks are performed using one unsigned
+ comparison, instead of two.
+ * optimization: enable more modular arithmetic transforms in the presence of
+ conditionals.
+ * optimization: bitwise OR forms can now trigger modular arithmetic as well,
+ when the result is known to be negative.
+ * optimization: recognize more cases of useless LOGAND/LOGIOR with constants.
+ * optimization: comparisons between rationals and constant floats or between
+ integers and constant ratios are now converted to rationals/integers at
+ compile time.
+ * optimization: Smaller and faster DOUBLE-FLOAT-LOW-BITS on x86-64.
+ * bug fix: problems with NCONC type derivation (reported by Jerry James).
+ * bug fix: EXPT type derivation no longer constructs bogus floating-point
+ types. (reported by Vsevolod Dyomkin)
+ * bug fix: sb-bsd-sockets has correct declaration of the canonname field of
+ addrinfo. (lp#1187041, patch by Jerry James)
+ * bug fix: uninitialized type-error conditions can now be printed.
+ (lp#1184586)
+ * bug fix: tests for sb-bsd-sockets no longer use a predefined port for
+ listening, allowing several tests to run in parallel.
+ * bug fix: during disassembly to *COMPILER-TRACE-OUTPUT* instruction
+ prefixes as used on x86 and x86-64 no longer sometimes print incorrectly.
+ (lp#1085729)
+ * bug fix: Specialised SIMD-PACK types can be negated.
+ * bug fix: Modular arithmetic is more robust. (incidentally fixes another bug
+ reported by Eric Marsden)
+ * bug fix: FP return values from foreign calls are always rounded to single
+ or double float precision on x87.
+ * bug fix: Known-safe vector access on x86oids should not fail spuriously
+ when the index is of the form (+ x constant-positive-integer).
+ * bug fix: Remove GPL-licensed files from source distribution. (lp#1185668)
+ * bug fix: backtrace printer no longer tries to create very large lists when
+ the arg-count register is clobberred by other code. (lp#1192929)
+ * bug fix: x86 should never signal an FP exception while boxing an FP value,
+ a situation that lands us into ldb.
+
+changes in sbcl-1.1.8 relative to sbcl-1.1.7:
+ * notice: The implementation of MAP-ALLOCATED-OBJECTS (the heart of
+ ROOM, plus a few SB-INTROSPECT functions) has been completely
+ rewritten; it may now exhibit different bugs than before.
+ * new feature: minimal runtime/compiler intrastructure support for SSE
+ SIMD values, as SB-EXT:SIMD-PACK. Enabled on x86-64 via the build-time
+ feature :sb-simd-pack. This should enable intrinsics extensions as
+ libraries, without patching SBCL itself. Thanks to Alexander Gavrilov
+ for maintaining a branch for so long.
+ * enhancement: RUN-PROGRAM supports a :DIRECTORY argument to set
+ the working directory of the spawned process.
+ (lp#791800) (patch by Matthias Benkard)
+ * enhancement: boxed vectors (vectors of T or of FIXNUM) can now be
+ stack-allocated on PPC.
+ * enhancement: "fixed objects" can now be stack-allocated on PPC.
+ * enhancement: WITH-PINNED-OBJECTS no longer conses on PPC/GENCGC.
+ * enhancement: (sb-introspect:find-definition-sources-by-name x :vop) now
+ also returns VOPs which do not translate any functions, and finds
+ defoptimizer types ir2convert and stack-allocate-result.
+ * enhancement: better type derivation for APPEND, NCONC, LIST.
+ (lp#538957)
+ * enhancement: MAP-ALLOCATED-OBJECTS (the heart of ROOM) now walks the
+ heap in a manner similar to the GC rather than its previous ad-hoc
+ scheme, and is therefore no less and possibly more accurate.
+ * fixes and enhancements related to Unicode:
+ ** the character database information has been updated to Unicode 6.2;
+ ** support for canonical and compatibility decomposition of characters has
+ been added, along with support for primary composition;
+ ** support for Unicode normalization forms of strings (NFC, NFKC, NFD and
+ NFKD) has been included;
+ ** querying the character database for code points not defined by Unicode
+ gives less wrong answers (lp#1178038, reported by Ken Harris)
+ * enhancement: print intermediate evaluation results for some ASSERTed
+ expressions. (lp#789497) (patch by Alexandra Barchunova)
+ * enhancement: x86-64 disassemblies are annotated with unboxed constant
+ values when there are references to (RIP-relative) unboxed constants.
+ * bug fix: type derivation for LOG{AND,IOR,XOR} scales linearly instead
+ of quadratically with the size of the input in the worst case.
+ (lp#1096444)
+ * bug fix: handle errors when initializing *default-pathname-defaults*,
+ sb-ext:*runtime-pathname*, sb-ext:*posix-argv* on startup, like character
+ decoding errors, or directories being deleted.
+ * bug fix: Loading a core with a discontiguous dynamic space now correctly
+ computes the amount of dynamic space used.
+ * bug fix: disassembler missing ",8" on SHLD
+ * bug fix: backtracing through INTERNAL-ERROR signal handlers on systems
+ that provide an "invalid" stack frame link for the signal handler
+ itself now use the saved-fp-and-pc mechanism to pick up from the stack
+ frame in the interrupt (signal) context. This is known to affect
+ threaded FreeBSD/x86-64.
+ * bug fix: some LOOP statements couldn't be compiled.
+ (lp#1178989)
+ * bug fix: sb-sequence:dosequence works on literal vectors.
+ * bug fix: errors in generic arithmetic show the assembly routine's
+ caller on x86 and x86-64. (lp#800343)
+ * bug fix: Compile-time type errors should never result in COMPILE-FILE
+ failure. (lp#943953)
+ * bug fix: Known bad local calls do not cause strange failures when
+ emitting or dumping code. (lp#504121)
+ * bug fix: Multiply-inlined structure constructor don't cause IR2-time
+ codegen errors: type checks are inserted as necessary. (lp#1177703)
+ * bug fix: Unsigned modular arithmetic is correctly converted into signed
+ modular arithemtic (mostly to exploit fixnum-width VOPs). (lp#1026634)
+ * bug fix: a combination of inlined local function with &optional and
+ recursion no longer causes undescriptive compiler errors. (lp#1180992)
+ * bug fix: sub-word BOOLEAN alien types now disregard higher order bits
+ when testing for non-zero-ness.
+ * bug fix: (CONCATENATE 'null ...) no longer fails for generic sequences.
+ (lp#1162301)
+ * bug fix: Type mismatch for the value of conditional expressions are
+ correctly reported when detected at compile-time, instead of complaining
+ about a constant NIL (similar for non-EQ-comparable catch tags).
+ * bug fix: Referring to INLINE global functions as values should not result
+ in a compilation failure. (lp#1035721)
+ * optimization: faster ISQRT on fixnums and small bignums
+ * optimization: faster and smaller INTEGER-LENGTH on fixnums on x86-64.
+ * optimization: On x86-64, the number of multi-byte NOP instructions used
+ for code alignment is now always minimal.
+ * optimization: On 64-bit targets, the compiler generates much faster
+ code for type checks for types known at compile time that are smaller
+ than (SIGNED-BYTE 64) or (UNSIGNED-BYTE 64) and larger than FIXNUM, and
+ their COMPLEX variants.
+ * optimization: On x86 targets, more uses of ALIEN-FUNCALL during cross
+ compilation now inline the INVOKE-WITH-SAVED-FP-AND-PC dance.
+ * optimization: ROOM no longer conses so egregiously on non-x86oid
+ systems.
+ * optimization: associative bitwise operations reassociate patterns like
+ (f (f x k1) k2) to expose (f x (f k1 k2)). Same for + and * of
+ rational values.
+ * optimization: quasiquote expressions now perform more constant folding,
+ instead of consing equal lists at runtime. (lp#1026439)
+ * optimization: local call analysis of inlined higher-order function
+ should converge more quickly, resulting in better code for complex
+ functions.
+ * optimization: On x86-64, medium (word-sized but wider than 32 bits)
+ integer constants are handled more cleverly, especially when they
+ can be represented as sign-extended (signed-byte 32). (Based on a
+ patch by Douglas Katzman)
+ * optimization: IF/IF conversion should reliably result in sane code
+ when (some of) the results of the inner IF are always false or
+ always true.
+ * optimization: On x86oids, variable right shifts of machine words are
+ compiled into straight SAR/SHR, instead of going through the generic
+ VOP. (lp#1066204)
+
+changes in sbcl-1.1.7 relative to sbcl-1.1.6:
* enhancement: TRACE :PRINT-ALL handles multiple-valued forms.
(lp#457053)
* bug fix: :allocation slot option works for condition slots
projects / sbcl.git / blobdiff