From 58f50185812de4c47f9a0864df5d9b10f9cdd8b0 Mon Sep 17 00:00:00 2001
From: pfdietz <pfdietz@localhost>
Date: Mon, 7 Mar 2005 09:14:28 +0000
Subject: [PATCH] Two additional ACL tests

---
 ansi-tests/misc.lsp | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/ansi-tests/misc.lsp b/ansi-tests/misc.lsp
index 3d279b13..32082cae 100644
--- a/ansi-tests/misc.lsp
+++ b/ansi-tests/misc.lsp
@@ -10317,3 +10317,32 @@ Broken at C::WT-MAKE-CLOSURE.
      #c(1.0d0 2.0d0))
     'double-float))
   t)
+
+;;; ACL 6.2 (trial, x86 linux)
+;;; Incorrect return value (t instead of nil)
+
+(deftest misc.565
+  (funcall
+   (compile
+    nil
+    '(lambda (x)
+       (declare (optimize (speed 2) (safety 1) (debug 3) (space 0))
+		(type double-float x))
+       (not (the (eql 1.0d0) x))))
+   1.0d0)
+  nil)
+
+;;; ASH
+;;; Incorrect value (59 == (ash p1 -3))
+
+(deftest misc.566
+  (funcall
+   (compile
+    nil
+    '(lambda (p1)
+                 (declare (optimize (speed 3) (safety 2) (debug 2) (space 0))
+                          (type (integer 465 127871) p1))
+                 (ash p1 -35)))
+   477)
+  0)
+
-- 
GitLab