X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=0608abb1cd3ae92cf5e3b47f335185d9385fbcf4;hb=a2d206014a62e159ffda2529ac379c2e28bc281c;hp=32fd62579d28c7d8ba9fa120b29cb02d1c06f300;hpb=f32ee7df37cdc62596e849c079f365000424a712;p=sbcl.git diff --git a/NEWS b/NEWS index 32fd625..0608abb 100644 --- a/NEWS +++ b/NEWS @@ -1,15 +1,127 @@ ;;;; -*- coding: utf-8; fill-column: 78 -*- -changes relative to sbcl-1.1.7: +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: vectors can now be stack-allocated on PPC. + * 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. + 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) @@ -19,8 +131,65 @@ changes relative to sbcl-1.1.7: * 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.