;;;; -*- coding: utf-8; fill-column: 78 -*-
-changes relative to sbcl-1.1.7:
+changes relative to sbcl-1.1.8:
+ * enchancement: disassemble now annotates some previously missing static
+ functions, like LENGTH.
+ * optimization: calls to static functions on x86-64 use less instructions.
+
+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)
** 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)
+ 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)
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
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.