(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))
(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"))