Look for left-over dead code when *check-consistency*

[sbcl.git] / NEWS

diff --git a/NEWS b/NEWS
index 1390418..e62ec62 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -9,6 +9,14 @@ changes relative to sbcl-1.1.8:
   * 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)
@@ -21,6 +29,9 @@ changes relative to sbcl-1.1.8:
   * 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