Simplify RATIONAL/constant FLOAT and INTEGER/constant RATIO comparisons

[sbcl.git] / NEWS

diff --git a/NEWS b/NEWS
index 0bcf148..e62ec62 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,13 +1,37 @@
 ;;;; -*- coding: utf-8; fill-column: 78 -*-
 changes relative to sbcl-1.1.8:
-  * enchancement: disassemble now annotates some previously missing static
+  * enhancement: disassemble now annotates some previously missing static
     functions, like LENGTH.
-  * bug fix: problems with NCONC type derivation (reported by Jerry James).
   * 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