projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
1.0.12.35: more safety -- less weakening of type checks
[sbcl.git]
/
src
/
compiler
/
policies.lisp
diff --git
a/src/compiler/policies.lisp
b/src/compiler/policies.lisp
index
dc31e4f
..
f5c417d
100644
(file)
--- a/
src/compiler/policies.lisp
+++ b/
src/compiler/policies.lisp
@@
-12,15
+12,13
@@
(in-package "SB!C")
(define-optimization-quality type-check
(in-package "SB!C")
(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)
(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))
- 3)
- (t 2))
- ("no" "maybe" "fast" "full"))
+ ((and (< safety 2) (< safety speed)) 2)
+ (t 3))
+ ("no" "maybe" "weak" "full"))
(define-optimization-quality check-tag-existence
(cond ((= safety 0) 0)
(define-optimization-quality check-tag-existence
(cond ((= safety 0) 0)