Simplify RATIONAL/constant FLOAT and INTEGER/constant RATIO comparisons
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index 6a36c16..e62ec62 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,5 +1,39 @@
 ;;;; -*- coding: utf-8; fill-column: 78 -*-
-changes relative to sbcl-1.1.7:
+changes relative to sbcl-1.1.8:
+  * enhancement: disassemble now annotates some previously missing static
+    functions, like LENGTH.
+  * optimization: calls to static functions on x86-64 use less instructions.
+  * optimization: compute encode-universal-time at compile time when possible.
+  * optimization: when referencing internal functions as #'x, don't go through
+    an indirect fdefn structure.
+  * optimization: SLEEP doesn't cons on non-immediate floats and on ratios.
+  * optimization: (mod fixnum) type-checks are performed using one unsigned
+    comparison, instead of two.
+  * optimization: enable more modular arithmetic transforms in the presence of
+    conditionals.
+  * optimization: bitwise OR forms can now trigger modular arithmetic as well,
+    when the result is known to be negative.
+  * optimization: recognize more cases of useless LOGAND/LOGIOR with constants.
+  * optimization: comparisons between rationals and constant floats or between
+    integers and constant ratios are now converted to rationals/integers at
+    compile time.
+  * bug fix: problems with NCONC type derivation (reported by Jerry James).
+  * bug fix: EXPT type derivation no longer constructs bogus floating-point
+    types.  (reported by Vsevolod Dyomkin)
+  * bug fix: sb-bsd-sockets has correct declaration of the canonname field of
+    addrinfo. (lp#1187041, patch by Jerry James)
+  * bug fix: uninitialized type-error conditions can now be printed.
+    (lp#1184586)
+  * bug fix: tests for sb-bsd-sockets no longer use a predefined port for
+    listening, allowing several tests to run in parallel.
+  * bug fix: during disassembly to *COMPILER-TRACE-OUTPUT* instruction
+    prefixes as used on x86 and x86-64 no longer sometimes print incorrectly.
+    (lp#1085729)
+  * bug fix: Specialised SIMD-PACK types can be negated.
+  * bug fix: Modular arithmetic is more robust. (incidentally fixes another bug
+    reported by Eric Marsden)
+  
+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.
@@ -73,8 +107,6 @@ changes relative to sbcl-1.1.7:
     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)
-  * bug fix: Known-safe vector access on x86oids should not fail spuriously
-    when the index is of the form (+ x constant-positive-integer).
   * 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