[Sbcl-commits] CVS: sbcl NEWS, 1.1832, 1.1833 version.lisp-expr, 1.5073, 1.5074

[Paul K. <pk...@us...>]

Update of /cvsroot/sbcl/sbcl
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv28853

Modified Files:
	NEWS version.lisp-expr 
Log Message:
1.0.43.47: Unfix ASH of constant shift on x86oids

 * The fixnum=>fixnum VOPs for ASH used to explicitly handle shifts greater
   than the word length by computing a zero instead.  These should be 
   constant-folded away in IR1 now.

 * 1.0.43.45 incidentally fixed lp #309063 (which is what the fix above
   was used for). Add a test case, update NEWS, and note the optimizations
   committed in 1.0.43.{42,43,47}.


Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.1832
retrieving revision 1.1833
diff -u -d -r1.1832 -r1.1833
--- NEWS	9 Oct 2010 23:09:26 -0000	1.1832
+++ NEWS	12 Oct 2010 05:10:07 -0000	1.1833
@@ -11,6 +11,14 @@
   * enhancement: ATOMIC-INCF now supports AREF of (SIMPLE-ARRAY SB-EXT:WORD (*))
     as a place.
   * enhancement: ASDF has been updated to 2.009.
+  * optimization: constant-folding exploits numeric and character types, in
+    addition member types.
+  * optimization: numeric, character and member types that are inhabited by
+    exactly one value are tested with EQL.
+  * optimization: more conditional branches are eliminated during IR1.
+    Branches are simplified before performing if/if-conversion, and simple
+    equivalent branches (that only read the same constant or variable) are
+    merged.
   * bug fix: compiler failed to derive the result-type of MAKE-ARRAY as
     (AND VECTOR (NOT SIMPLE-ARRAY)) when appropriate. (lp#309130)
   * bug fix: (THE (VALUES ...)) in LOAD-TIME-VALUE caused a compiler-error.
@@ -41,6 +49,8 @@
     and issued pointles code-deletion notes for it, :PREFIX, and :SUFFIX.
   * bug fix: the compiler didn't utilize the proclaimed ftype for functions
     also declared NOTINLINE. (lp#655581)
+  * bug fix: the compiler could attempt to emit constant left shifts of 
+    greater value than n-word-bits. (lp#309063)
 
 changes in sbcl-1.0.43 relative to sbcl-1.0.42:
   * incompatible change: FD-STREAMS no longer participate in the serve-event

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.5073
retrieving revision 1.5074
diff -u -d -r1.5073 -r1.5074
--- version.lisp-expr	12 Oct 2010 04:52:24 -0000	1.5073
+++ version.lisp-expr	12 Oct 2010 05:10:07 -0000	1.5074
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"1.0.43.46"
+"1.0.43.47"