X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=a2e9a560b0b6a42e831d03ca404a9e4cb0f7791b;hb=0b3f5cc5fa9e6b121d232960ccd964d2eb15f695;hp=17c2f2bc9a35d2e01d8e4af2ff49655e1d5f7e34;hpb=0d8a5fab0a83b5d8b92870dba57dc7b3ebcc89b2;p=sbcl.git diff --git a/NEWS b/NEWS index 17c2f2b..a2e9a56 100644 --- a/NEWS +++ b/NEWS @@ -3,6 +3,11 @@ changes 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) @@ -27,7 +32,9 @@ changes relative to sbcl-1.1.7: ** 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) @@ -61,6 +68,11 @@ changes relative to sbcl-1.1.7: 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 @@ -76,6 +88,21 @@ changes relative to sbcl-1.1.7: * 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.