diff --git a/ansi-tests/ignorable.lsp b/ansi-tests/ignorable.lsp
new file mode 100644
index 0000000000000000000000000000000000000000..08a3754e96ff832c30b90437c887c2b29cde324d
--- /dev/null
+++ b/ansi-tests/ignorable.lsp
@@ -0,0 +1,25 @@
+;-*- Mode:     Lisp -*-
+;;;; Author:   Paul Dietz
+;;;; Created:  Sat May 21 08:16:27 2005
+;;;; Contains: Tests of the IGNORABLE declaration
+
+(in-package :cl-test)
+
+(deftest ignorable.1
+  (let ((x 'foo)) (declare (ignorable x)))
+  nil)
+
+(deftest ignorable.2
+  (let ((x 'foo)) (declare (ignorable x)) x)
+  foo)
+
+(deftest ignorable.3
+  (flet ((%f () 'foo))
+    (declare (ignorable (function %f))))
+  nil)
+    
+(deftest ignorable.4
+  (flet ((%f () 'foo))
+    (declare (ignorable (function %f)))
+    (%f))
+  foo)
diff --git a/ansi-tests/ignore.lsp b/ansi-tests/ignore.lsp
new file mode 100644
index 0000000000000000000000000000000000000000..1375fad3555cb5587a8475015a9a1416df59e9d8
--- /dev/null
+++ b/ansi-tests/ignore.lsp
@@ -0,0 +1,30 @@
+;-*- Mode:     Lisp -*-
+;;;; Author:   Paul Dietz
+;;;; Created:  Sat May 21 07:59:24 2005
+;;;; Contains: Tests of the IGNORE declarations
+
+(in-package :cl-test)
+
+(deftest ignore.1
+  (let ((x 'foo)) (declare (ignore x)))
+  nil)
+
+(deftest ignore.2
+  (let ((x 'foo)) (declare (ignore x)) x)
+  foo)
+
+(deftest ignore.3
+  (flet ((%f () 'foo))
+    (declare (ignore (function %f))))
+  nil)
+    
+(deftest ignore.4
+  (flet ((%f () 'foo))
+    (declare (ignore (function %f)))
+    (%f))
+  foo)
+
+    
+
+
+    
diff --git a/ansi-tests/load-eval-and-compile.lsp b/ansi-tests/load-eval-and-compile.lsp
index aa9dc08dc0669eb52faf9a34cc0484b6209af427..194301172c65af6fa47f5cdca63ad3b6d4073274 100644
--- a/ansi-tests/load-eval-and-compile.lsp
+++ b/ansi-tests/load-eval-and-compile.lsp
@@ -14,3 +14,6 @@
 (load "proclaim.lsp")
 (load "declaim.lsp")
 (load "locally.lsp")
+(load "ignore.lsp")
+(load "ignorable.lsp")
+