Changeset 9415 for branches/working-0711-perf/ccl/compiler/nx0.lisp

Timestamp:

May 9, 2008, 9:10:22 AM (13 years ago)

Author:

gb

Message:

Don't pass "the eventcheck bit" into encodsd declaration info.
Do set the "full safety" bit as appropriate, and ensure that conflicting
bits are not set in that case.

File:

• branches/working-0711-perf/ccl/compiler/nx0.lisp (modified) (1 diff)

branches/working-0711-perf/ccl/compiler/nx0.lisp

@@ -706 +706 @@
       (unless (nx-allow-register-allocation env)
         (nx-inhibit-register-allocation))
-      (setq *nx-new-p2decls* 
-            (%ilogior 
-             (if (nx-tailcalls env) $decl_tailcalls 0)
-             (if (nx-inhibit-eventchecks env) $decl_eventchk 0)
-             (if (nx-open-code-in-line env) $decl_opencodeinline 0)
-             (if (nx-inhibit-safety-checking env) $decl_unsafe 0)
-             (if (nx-trust-declarations env) $decl_trustdecls 0))))))
+      (setq *nx-new-p2decls*
+            (if (eql (safety-optimize-quantity env) 3)
+              (logior $decl_full_safety
+                      (if (nx-tailcalls env) $decl_tailcalls 0))
+              (%ilogior 
+               (if (nx-tailcalls env) $decl_tailcalls 0)
+               (if (nx-open-code-in-line env) $decl_opencodeinline 0)
+               (if (nx-inhibit-safety-checking env) $decl_unsafe 0)
+               (if (nx-trust-declarations env) $decl_trustdecls 0)))))))
 
 #|