X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ffndb.lisp;h=a735e4373c23eed29baf526779f3b004c9174039;hb=7254da92a1ba1bf8bc5a2e78a29d993f272d526e;hp=2086cf47264d8534a52670d792d4da063e60b14a;hpb=a7a4ca961ef0f587a2549bd9433eef7ddb845ab7;p=sbcl.git diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp index 2086cf4..a735e43 100644 --- a/src/compiler/fndb.lisp +++ b/src/compiler/fndb.lisp @@ -319,6 +319,10 @@ (real &optional real) (values integer real) (movable foldable flushable explicit-check)) +(defknown (%floor %ceiling) + (real real) (values integer real) + (movable foldable flushable explicit-check)) + (defknown (mod rem) (real real) real (movable foldable flushable explicit-check))