X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fknownfun.lisp;h=54d71e4770c6e447a0647a980775f0ec4a6da173;hb=91392754bf1d241cd6913c728268caf18eae1485;hp=ea1ec4a0ea2adfe47a316831d697a84495e64507;hpb=dea9bd5c1afe23d9e061c60db654b88187ba9a5e;p=sbcl.git diff --git a/src/compiler/knownfun.lisp b/src/compiler/knownfun.lisp index ea1ec4a..54d71e4 100644 --- a/src/compiler/knownfun.lisp +++ b/src/compiler/knownfun.lisp @@ -49,15 +49,26 @@ ;; mark these functions as foldable in this database. foldable ;; may be eliminated if value is unused. The function has no side - ;; effects except possibly CONS. If a function is defined to signal - ;; errors, then it is not flushable even if it is movable or - ;; foldable. + ;; effects except possibly cons. If a function might signal errors, + ;; then it is not flushable even if it is movable, foldable or + ;; unsafely-flushable. Implies UNSAFELY-FLUSHABLE. (In safe code + ;; type checking of arguments is always performed by the caller, so + ;; a function which SHOULD signal an error if arguments are not of + ;; declared types may be FLUSHABLE.) flushable + ;; unsafe call may be eliminated if value is unused. The function + ;; has no side effects except possibly cons and signalling an error + ;; in the safe code. If a function MUST signal errors, then it is + ;; not unsafely-flushable even if it is movable or foldable. + unsafely-flushable ;; may be moved with impunity. Has no side effects except possibly ;; consing, and is affected only by its arguments. movable ;; The function is a true predicate likely to be open-coded. Convert - ;; any non-conditional uses into (IF T NIL). + ;; any non-conditional uses into (IF T NIL). Not usually + ;; specified to DEFKNOWN, since this is implementation dependent, + ;; and is usually automatically set by the DEFINE-VOP :CONDITIONAL + ;; option. predicate ;; Inhibit any warning for compiling a recursive definition. ;; (Normally the compiler warns when compiling a recursive