26 |
(defvar *compiler-push-events* nil) |
(defvar *compiler-push-events* nil) |
27 |
(defvar *speed* 3) |
(defvar *speed* 3) |
28 |
(defvar *space* 0) |
(defvar *space* 0) |
29 |
|
(defvar *debug* 0) |
30 |
|
|
31 |
;;; Only these flags are set by the user. |
;;; Only these flags are set by the user. |
32 |
;;; If *safe-compile* is ON, some kind of run-time checks are not |
;;; If *safe-compile* is ON, some kind of run-time checks are not |
322 |
(not (<= 0 (cadr x) 3))) |
(not (<= 0 (cadr x) 3))) |
323 |
(warn "The OPTIMIZE proclamation ~s is illegal." x) |
(warn "The OPTIMIZE proclamation ~s is illegal." x) |
324 |
(case (car x) |
(case (car x) |
325 |
|
(debug (setq *debug* (cadr x))) |
326 |
(safety (setq *compiler-check-args* (>= (cadr x) 1)) |
(safety (setq *compiler-check-args* (>= (cadr x) 1)) |
327 |
(setq *safe-compile* (>= (cadr x) 2)) |
(setq *safe-compile* (>= (cadr x) 2)) |
328 |
(setq *compiler-push-events* (>= (cadr x) 3))) |
(setq *compiler-push-events* (>= (cadr x) 3))) |
514 |
(not (<= 0 (cadr x) 3))) |
(not (<= 0 (cadr x) 3))) |
515 |
(warn "The OPTIMIZE proclamation ~s is illegal." x) |
(warn "The OPTIMIZE proclamation ~s is illegal." x) |
516 |
(case (car x) |
(case (car x) |
517 |
|
(debug (setq *debug* (cadr x)) |
518 |
|
(push (list 'debug (cadr x)) dl)) |
519 |
(safety |
(safety |
520 |
(setq *safe-compile* |
(setq *safe-compile* |
521 |
(>= (the fixnum (cadr x)) 2)) |
(>= (the fixnum (cadr x)) 2)) |
579 |
(*compiler-push-events* *compiler-push-events*) |
(*compiler-push-events* *compiler-push-events*) |
580 |
(*notinline* *notinline*) |
(*notinline* *notinline*) |
581 |
(*space* *space*) |
(*space* *space*) |
582 |
|
(*debug* *debug*) |
583 |
) |
) |
584 |
(dolist** (decl decls) |
(dolist** (decl decls) |
585 |
(case (car decl) |
(case (car decl) |
586 |
|
(debug (setq *debug* (cadr decl))) |
587 |
(safety |
(safety |
588 |
(let ((level (cadr decl))) |
(let ((level (cadr decl))) |
589 |
(declare (fixnum level)) |
(declare (fixnum level)) |
633 |
(return nil))) |
(return nil))) |
634 |
(space (unless (= (cadr x) *space*) (return nil))) |
(space (unless (= (cadr x) *space*) (return nil))) |
635 |
(speed (unless (= (cadr x) *speed*) (return nil))) |
(speed (unless (= (cadr x) *speed*) (return nil))) |
636 |
|
(debug (unless (= (cadr x) *debug*) (return nil))) |
637 |
(compilation-speed |
(compilation-speed |
638 |
(unless (= (- 3 (cadr x)) *speed*) (return nil))) |
(unless (= (- 3 (cadr x)) *speed*) (return nil))) |
639 |
(t (warn "The OPTIMIZE quality ~s is unknown." |
(t (warn "The OPTIMIZE quality ~s is unknown." |