X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fpolicies.lisp;h=b62b239ff131cb25877afad60cba91b7408ced00;hb=69d60b456b07a0256f08df0d02484f361ce5737c;hp=4680f71daeee6a2a203b4537066fe5db90dd1caa;hpb=8a8a8922802460741d6f8f6c11d71b1f414cf3a7;p=sbcl.git

diff --git a/src/compiler/policies.lisp b/src/compiler/policies.lisp
index 4680f71..b62b239 100644
--- a/src/compiler/policies.lisp
+++ b/src/compiler/policies.lisp
@@ -15,7 +15,6 @@
     (cond ((= safety 0) 0)
           ;; FIXME: It is duplicated in PROBABLE-TYPE-CHECK-P and in
           ;; some other places.
-
           ((and (<= speed safety)
                 (<= space safety)
                 (<= compilation-speed safety))
@@ -23,6 +22,11 @@
           (t 2))
   ("no" "maybe" "fast" "full"))
 
+(define-optimization-quality check-tag-existence
+    (cond ((= safety 0) 0)
+          (t 3))
+  ("no" "maybe" "yes" "yes"))
+
 (define-optimization-quality let-convertion
     (if (<= debug speed) 3 0)
   ("off" "maybe" "on" "on"))
@@ -57,12 +61,18 @@
 	0)
   ("no" "maybe" "yes" "yes"))
 
+(define-optimization-quality stack-allocate-vector
+    (cond ((= stack-allocate-dynamic-extent 0) 0)
+          ((= safety 0) 3)
+          (t 2))
+  ("no" "maybe" "one page" "yes"))
+
 (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"))