X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fpolicies.lisp;h=7e3aaaf74941f8ba1fceb840b5b6b5a914099c1a;hb=eda83f00e869193cb69826be5fa1086b95d12ff7;hp=4680f71daeee6a2a203b4537066fe5db90dd1caa;hpb=8a8a8922802460741d6f8f6c11d71b1f414cf3a7;p=sbcl.git diff --git a/src/compiler/policies.lisp b/src/compiler/policies.lisp index 4680f71..7e3aaaf 100644 --- a/src/compiler/policies.lisp +++ b/src/compiler/policies.lisp @@ -11,58 +11,134 @@ (in-package "SB!C") +(define-optimization-quality check-constant-modification + safety + ("no" "maybe" "yes" "yes") + "Control whether the compiler should check for constant +modification. Defaults to SAFETY.") + (define-optimization-quality type-check + ;; FIXME: grepping the tree for "policy.*safety" yields some + ;; places which might want to use this instead -- or + ;; some other derived policy. (cond ((= safety 0) 0) - ;; FIXME: It is duplicated in PROBABLE-TYPE-CHECK-P and in - ;; some other places. + ((and (< safety 2) (< safety speed)) 2) + (t 3)) + ("no" "maybe" "weak" "full") + "Control the way to perform runtime type checking: +0: declared types are simply trusted; no runtime checks are performed; +2: fast checks are performed: declared types are weakened to + FIXNUM/SINGLE-FLOAT/FLOAT/NUMBER/structure/specialized array etc.; +3: declared types are fully checked (several exceptions exist; + see \"SBCL User Manual\", Compiler->Handling of Types-> + Implementation Limitations for details).") - ((and (<= speed safety) - (<= space safety) - (<= compilation-speed safety)) - 3) - (t 2)) - ("no" "maybe" "fast" "full")) +(define-optimization-quality check-tag-existence + (cond ((= safety 0) 0) + (t 3)) + ("no" "maybe" "yes" "yes") + "Control whether GO and RETURN-FROM check liveness of the destination tag. +Enabling this option can increase heap consing of closures.") -(define-optimization-quality let-convertion +(define-optimization-quality let-conversion (if (<= debug speed) 3 0) - ("off" "maybe" "on" "on")) + ("off" "maybe" "on" "on") + "Control inline-substitution of used-once local functions.") + +(define-optimization-quality alien-funcall-saves-fp-and-pc + (if (<= speed debug) 3 0) + ("no" "maybe" "yes" "yes") + "Control ALIEN-FUNCALL saving frame-pointer and program counter for +more reliable bactracing across foreign calls.") (define-optimization-quality verify-arg-count (if (zerop safety) 0 3) ("no" "maybe" "yes" "yes")) -(define-optimization-quality merge-tail-calls - (if (or (> space debug) - (> speed debug)) - 3 - 0) - ("no" "maybe" "yes" "yes")) - (define-optimization-quality insert-debug-catch (if (> debug (max speed space)) 3 0) - ("no" "maybe" "yes" "yes")) + ("no" "maybe" "yes" "yes") + "Enables possibility of returning from stack frames with the debugger. +Enabling this option causes apparent tail calls to no longer be in a tail +position -- effectively disabling tail-merging, hence causing apparently tail +recursive functions to no longer execute in constant stack space") (define-optimization-quality recognize-self-calls (if (> (max speed space) debug) 3 0) - ("no" "maybe" "yes" "yes")) + ("no" "maybe" "yes" "yes") + "When enabled, reference to a function FOO inside the body of (DEFUN +FOO ...) is considered to be the reference to the function being +defined. Calls to FOO are compiled as local. This allows better +optimization and type checking, but TRACE will not show recursive +calls. If the function object is bound to another name BAR, and FOO is +bound to another function, calls to FOO inside BAR will remain to be +recursive. -(define-optimization-quality stack-allocate-dynamic-extent - (if (and (> (max speed space) (max debug safety)) - (< safety 3)) - 3 - 0) - ("no" "maybe" "yes" "yes")) +When disabled, internal references to a function FOO will be +considered ti be a call of a function, bound to the symbol at +run-time, which is less efficient. TRACE will show recursive calls. In +case of renaming described above, calls to FOO will not be recursive +and will refer to the new function, bound to FOO.") (define-optimization-quality float-accuracy 3 ("degraded" "full" "full" "full")) (define-optimization-quality insert-step-conditions - (if (> debug (max speed space)) + (if (> debug (max speed space compilation-speed)) debug 0) - ("no" "no" "partial" "full")) + ("no" "no" "partial" "full") + "Control instrumentation of code, enabling single-stepping through +it in the debugger. + +This option has no effect without COMPUTE-DEBUG-FUN.") + +(define-optimization-quality compute-debug-fun + debug + ("no" "minimal" "yes" "yes")) + +(define-optimization-quality preserve-single-use-debug-variables + (if (and (>= debug 2) + (< speed 3)) + 3 + 0) + ("no" "no" "no" "yes") + "When disabled, LET variable, which is never set and is referenced +exactly once, is eliminated and the reference is substituted with the +initial value. This allows better type inference and some algebraic +optimizations. + +When enabled, the variable is preserved and can be seen in the +debugger.") + +(define-optimization-quality insert-array-bounds-checks + (if (= safety 0) 0 3) + ("no" "yes" "yes" "yes")) + +(define-optimization-quality store-xref-data + (if (= space 3) + 0 + 3) + ("no" "yes" "yes" "yes")) + +(define-optimization-quality store-coverage-data + 0 + ("no" "no" "yes" "yes")) + +#!+sb-safepoint +(define-optimization-quality inhibit-safepoints + 0 + ("no" "no" "yes" "yes") + "When disabled, the compiler will insert safepoints at strategic +points (loop edges, function prologues) to ensure that potentially +long-running code can be interrupted. + +When enabled, no safepoints will be inserted explicitly. Note that +this declaration does not prevent out-of-line function calls, which +will encounter safepoints unless the target function has also been +compiled with this declaration in effect.")