Enable (type-directed) constant folding for LOGTEST on x86oids and PPC

[sbcl.git] / NEWS

diff --git a/NEWS b/NEWS
index 1cb0834..17c2f2b 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -2,7 +2,7 @@
 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.
+    rewritten; it may now exhibit different bugs than before.
   * enhancement: RUN-PROGRAM supports a :DIRECTORY argument to set
     the working directory of the spawned process.
     (lp#791800) (patch by Matthias Benkard)
@@ -18,6 +18,16 @@ changes relative to sbcl-1.1.7:
   * 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)
   * 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)
@@ -35,6 +45,22 @@ changes relative to sbcl-1.1.7:
   * 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)
   * 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
@@ -47,6 +73,9 @@ changes relative to sbcl-1.1.7:
     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.
 
 changes in sbcl-1.1.7 relative to sbcl-1.1.6:
   * enhancement: TRACE :PRINT-ALL handles multiple-valued forms.