diff --git a/tests/examples.lisp b/tests/examples.lisp
index 7ca0805f7daf7aa40d0ea021c325a659841aeab4..4f8c200a4a9b715da98435fd480dac2b559d0adc 100644
--- a/tests/examples.lisp
+++ b/tests/examples.lisp
@@ -17,3 +17,29 @@
     (declare (fixnum x))
     (foo x)))
 
+(defun f+ (x y)
+  (declare (single-float x y))
+  (+ x y))
+
+(defun if-f+ (x y)
+  (declare (single-float x y))
+  (+ (if (yow) (zunk) x) y))
+
+(defun cf+ (x y)
+  (declare (single-float x y))
+  (cons (+ x y) t))
+
+(defun set-flo (x)
+  (declare (single-float x))
+  (prog ((var 0.0))
+    (setq var (gorp))
+    (setq var x)
+    (return var)))
+
+(defun if-cf+ (x y)
+  (declare (single-float x y))
+  (cons (if (grue) (+ x y) (snoc)) t))
+
+(defun zf+ (x y)
+  (declare (single-float x y))
+  (zork (+ x y)))