FLOAT optimizer is now a bit more clever and returns a typed output with inlined forms

src/cmp/cmpopt-constant.lsp

@@ -29,3 +29,9 @@
         (error (c) failure))
       failure))
 
+(defun constant-value-p (form &optional env)
+  (if (constant-expression-p form)
+      (handler-case
+	  (values t (cmp-eval form))
+	(error (c) (values nil form)))
+      (values nil form)))

src/cmp/cmpopt.lsp

@@ -316,3 +316,27 @@
 
 (define-compiler-macro coerce (&whole form value type &environment env)
   (expand-coerce form value type env))
+
+(define-compiler-macro float (&whole form value &optional float &environment env)
+  (or 
+   (and
+    float
+    (policy-inline-type-checks env)
+    (multiple-value-bind (constant-p float)
+	(constant-value-p float env)
+      (when (and constant-p (floatp float))
+	(let* ((aux (gentemp))
+	       (float (type-of float))
+	       (c-type (lisp-type->rep-type float)))
+	  `(let ((value ,value))
+	     (declare (:read-only value))
+	     (compiler-typecase value
+	       (,float value)
+	       (t
+		(ffi:c-inline (value) (:object) ,c-type
+			      ,(ecase c-type
+				      (:double "ecl_to_double(#0)")
+				      (:float "ecl_to_float(#0)")
+				      (:long-double "ecl_to_long_double(#0)"))
+			      :one-liner t :side-effects nil))))))))
+   form))