From 44ca897b25dda1179df1d8bfa3469d75594385d6 Mon Sep 17 00:00:00 2001 From: Raymond Toy <toy.raymond@gmail.com> Date: Wed, 16 Nov 2011 23:21:18 -0800 Subject: [PATCH] Forgot to compiler that DECODE-FLOAT can return +/- 1w0 for the sign. --- src/compiler/fndb.lisp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp index 985ce2467..6dcd5443c 100644 --- a/src/compiler/fndb.lisp +++ b/src/compiler/fndb.lisp @@ -306,7 +306,9 @@ (defknown decode-float (float) (values (float 0.5d0 (1d0)) float-exponent - (member 1f0 -1f0 -1d0 1d0)) + (member 1f0 -1f0 -1d0 1d0 + #+double-double -1w0 + #+double-double 1w0)) (movable foldable flushable explicit-check)) (defknown scale-float (float float-exponent) float (movable foldable flushable explicit-check)) -- GitLab