X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ffndb.lisp;h=8d6a0d7eb1d1dc23d30457cfdb4df6c612c0a31a;hb=1c91b0bc7eb814af6a8c58a99a83a024716138e8;hp=30439400a81a4ff126f41a9f8fb7d12caaa93dae;hpb=14d8510d30b5ee723ad9c2d89ff907ec38923e51;p=sbcl.git diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp index 3043940..8d6a0d7 100644 --- a/src/compiler/fndb.lisp +++ b/src/compiler/fndb.lisp @@ -342,7 +342,7 @@ (defknown decode-float (float) (values float float-exponent float) (movable foldable flushable explicit-check)) (defknown scale-float (float float-exponent) float - (movable foldable flushable explicit-check)) + (movable foldable unsafely-flushable explicit-check)) (defknown float-radix (float) float-radix (movable foldable flushable explicit-check)) (defknown float-sign (float &optional float) float @@ -350,7 +350,7 @@ (defknown (float-digits float-precision) (float) float-digits (movable foldable flushable explicit-check)) (defknown integer-decode-float (float) - (values integer float-exponent (member -1 1)) + (values integer float-int-exponent (member -1 1)) (movable foldable flushable explicit-check)) (defknown complex (real &optional real) number