X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fpolicies.lisp;h=19e3b0300c9c1485a529a381f3435e3fffbd5d09;hb=1cfea5d9f744f2d10bcf69c3eeb2d99a3c5ad8bc;hp=57ffbdd837ee098d766f58881850f2c2f61f9c79;hpb=35dd4e2ea8f99f0716a3bfb5ccfec4c6ad520ac5;p=sbcl.git

diff --git a/src/compiler/policies.lisp b/src/compiler/policies.lisp
index 57ffbdd..19e3b03 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,7 +22,12 @@
           (t 2))
   ("no" "maybe" "fast" "full"))
 
-(define-optimization-quality let-convertion
+(define-optimization-quality check-tag-existence
+    (cond ((= safety 0) 0)
+          (t 3))
+  ("no" "maybe" "yes" "yes"))
+
+(define-optimization-quality let-conversion
     (if (<= debug speed) 3 0)
   ("off" "maybe" "on" "on"))
 
@@ -37,3 +41,59 @@
         3
         0)
   ("no" "maybe" "yes" "yes"))
+
+(define-optimization-quality insert-debug-catch
+    (if (> debug (max speed space))
+        3
+        0)
+  ("no" "maybe" "yes" "yes"))
+
+(define-optimization-quality recognize-self-calls
+    (if (> (max speed space) debug)
+        3
+        0)
+  ("no" "maybe" "yes" "yes"))
+
+(define-optimization-quality stack-allocate-dynamic-extent
+    (if (and (> (max speed space) (max debug safety))
+             (< safety 3))
+        3
+        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 compilation-speed))
+        debug
+        0)
+  ("no" "no" "partial" "full"))
+
+(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"))
+
+(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"))