Update of /cvsroot/sbcl/sbcl/tests
In directory sc8-pr-cvs1:/tmp/cvs-serv31995/tests
Modified Files:
compiler.impure-cload.lisp
Log Message:
0.8.3.74:
* Change transformers for </>/>=/<= to work with unions of
intervals;
* CONSTRAIN-REF-TYPE: ignore constraints of form (EQL val
<unreferenced-var>).
Index: compiler.impure-cload.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/compiler.impure-cload.lisp,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -d -r1.9 -r1.10
--- compiler.impure-cload.lisp 17 Sep 2003 06:45:45 -0000 1.9
+++ compiler.impure-cload.lisp 17 Sep 2003 17:11:46 -0000 1.10
@@ -234,5 +234,22 @@
(MIN A (RETURN-FROM B8 C))))))
C))
+;;; bug 292, reported by Paul Dietz
+(defun #:foo (C)
+ (DECLARE (TYPE (INTEGER -5945502333 12668542) C)
+ (OPTIMIZE (SPEED 3)))
+ (LET ((V2 (* C 12)))
+ (- (MAX (IF (/= 109335113 V2) -26479 V2)
+ (DEPOSIT-FIELD 311
+ (BYTE 14 28)
+ (MIN (MAX 521326 C) -51))))))
+
+;;; zombie variables, arising from constraints
+(defun #:foo (A B)
+ (DECLARE (TYPE (INTEGER -40945116 24028306) B)
+ (OPTIMIZE (SPEED 3)))
+ (LET ((V5 (MIN 31883 (LOGCOUNT A))))
+ (IF (/= B V5) (IF (EQL 122911784 V5) -43765 1487) B)))
+
(sb-ext:quit :unix-status 104)
|