Revert "Fix (aref vector (+ i constant)) with i negative on x86oids"

[sbcl.git] / NEWS

diff --git a/NEWS b/NEWS
index 28f9f94..a2e9a56 100644 (file)
--- 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
@@ -78,6 +90,19 @@ changes relative to sbcl-1.1.7:
     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.