Simplify RATIONAL/constant FLOAT and INTEGER/constant RATIO comparisons

[sbcl.git] / NEWS

diff --git a/NEWS b/NEWS
index 1f805df..e62ec62 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -11,6 +11,12 @@ changes relative to sbcl-1.1.8:
     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)