X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.impure-cload.lisp;h=39c4d18d60a922041e9e79532f8d61242736ff77;hb=731d5dd65a7b94b5d49d1663d9b60c3a406ce38c;hp=e42ec6234c4816b4df180133fab6a10df847eff2;hpb=1f7f3d741e06d63b6a5e140a0e6045bba29e17fb;p=sbcl.git

diff --git a/tests/compiler.impure-cload.lisp b/tests/compiler.impure-cload.lisp
index e42ec62..39c4d18 100644
--- a/tests/compiler.impure-cload.lisp
+++ b/tests/compiler.impure-cload.lisp
@@ -360,5 +360,53 @@
 (let ((list (multiple-value-list (values-consumer #'values-producer))))
   (assert (= (length list) 8))
   (assert (null (nth 7 list))))
+
+;;; failed on Alpha prior to sbcl-0.8.10.30
+(defun lotso-values ()
+  (values 0 1 2 3 4 5 6 7 8 9
+	  0 1 2 3 4 5 6 7 8 9
+	  0 1 2 3 4 5 6 7 8 9
+	  0 1 2 3 4 5 6 7 8 9
+	  0 1 2 3 4 5 6 7 8 9
+	  0 1 2 3 4 5 6 7 8 9
+	  0 1 2 3 4 5 6 7 8 9
+	  0 1 2 3 4 5 6 7 8 9
+	  0 1 2 3 4 5 6 7 8 9
+	  0 1 2 3 4 5 6 7 8 9))
+
+;;; bug 313: source transforms were "lisp-1"
+(defun srctran-lisp1-1 (cadr) (if (functionp cadr) (funcall cadr 1) nil))
+(assert (eql (funcall (eval #'srctran-lisp1-1) #'identity) 1))
+(without-package-locks 
+   ;; this be a nasal demon, but test anyways
+   (defvar caar))
+(defun srctran-lisp1-2 (caar) (funcall (sb-ext:truly-the function caar) 1))
+(assert (eql (funcall (eval #'srctran-lisp1-2) #'identity) 1))
+
+;;; partial bug 262: reference of deleted CTRAN (in RETURN-FROM)
+;;; during inline expansion. Bug report by Peter Denno, simplified
+;;; test case by David Wragg.
+(defun bug262-return-from (x &aux (y nil))
+  (labels ((foo-a (z) (return-from bug262-return-from z))
+           (foo-b (z) (foo-a z)))
+    (declare (inline foo-a))
+    (foo-a x)))
+
+;;; broken inference of an upper bound of an iteration variable,
+;;; reported by Rajat Datta.
+(defun isieve (num)
+  (let ((vec (make-array num :initial-element 0))
+        (acc 0))
+    (do ((i 2 (+ i 1)))
+        ((>= i num) 'done)
+      (when (= (svref vec i) 0)
+        (do ((j (* i i) (+ j i)))
+            ((>= j num) 'done)
+          (setf (svref vec j) 1))
+        (incf acc)))
+    acc))
+
+(assert (= (isieve 46349) 4792))
+
 
 (sb-ext:quit :unix-status 104)