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

[sbcl.git] / NEWS

diff --git a/NEWS b/NEWS
index d9c5615..17c2f2b 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -26,6 +26,8 @@ changes relative to sbcl-1.1.7:
        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)
@@ -53,6 +55,12 @@ changes relative to sbcl-1.1.7:
     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
@@ -65,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.