Skip to content
Snippets Groups Projects
Commit d8bc833d authored by Francois-Rene Rideau's avatar Francois-Rene Rideau
Browse files

Better optimization-setting support, especially for clisp.

Better tests. Thanks to Robert Brown.
parent a78e13ed
No related branches found
No related tags found
No related merge requests found
...@@ -315,9 +315,11 @@ ...@@ -315,9 +315,11 @@
(DBG :optimization-settings) (DBG :optimization-settings)
#-(or allegro ecl-bytecmp gcl mkcl) #-(or allegro ecl-bytecmp gcl mkcl)
(loop :for i :from 0 :to 3 :do (loop :with settings = (get-optimization-settings)
(with-optimization-settings (`((speed ,i) (space ,i) (safety ,i) (debug ,i))) :for i :from 0 :to 3 :do
(let ((s (get-optimization-settings))) (with-optimization-settings (`((speed ,i) (space ,i) (safety ,i) (debug ,i)))
(loop :for q :in '(speed space safety debug) :do (let ((s (get-optimization-settings)))
#+mkcl (DBG :os i q s (assoc q s)) (loop :for q :in '(speed space safety debug) :do
(assert-equal i (second (assoc q s))))))) #+mkcl (DBG :os i q s (assoc q s))
(assert-equal i (second (assoc q s))))))
(assert-equal (get-optimization-settings) settings))
...@@ -82,7 +82,7 @@ This can help you produce more deterministic output for FASLs.")) ...@@ -82,7 +82,7 @@ This can help you produce more deterministic output for FASLs."))
(let ((settings '(speed space safety debug compilation-speed #+(or cmu scl) c::brevity))) (let ((settings '(speed space safety debug compilation-speed #+(or cmu scl) c::brevity)))
#.`(loop :for x :in settings #.`(loop :for x :in settings
,@(or #+(or abcl ecl gcl mkcl xcl) '(:for v :in +optimization-variables+)) ,@(or #+(or abcl ecl gcl mkcl xcl) '(:for v :in +optimization-variables+))
:for y = (or #+clisp (gethash x system::*optimize*) :for y = (or #+clisp (gethash x system::*optimize* 0)
#+(or abcl ecl mkcl xcl) (symbol-value v) #+(or abcl ecl mkcl xcl) (symbol-value v)
#+(or cmu scl) (slot-value c::*default-cookie* #+(or cmu scl) (slot-value c::*default-cookie*
(case x (compilation-speed 'c::cspeed) (case x (compilation-speed 'c::cspeed)
...@@ -97,6 +97,13 @@ This can help you produce more deterministic output for FASLs.")) ...@@ -97,6 +97,13 @@ This can help you produce more deterministic output for FASLs."))
(unless (equal *previous-optimization-settings* settings) (unless (equal *previous-optimization-settings* settings)
(setf *previous-optimization-settings* settings)))) (setf *previous-optimization-settings* settings))))
(defmacro with-optimization-settings ((&optional (settings *optimization-settings*)) &body body) (defmacro with-optimization-settings ((&optional (settings *optimization-settings*)) &body body)
#+clisp
(let ((previous-settings (gensym "PREVIOUS-SETTINGS")))
`(let ((,previous-settings (get-optimization-settings)))
,@(when settings `((proclaim `(optimize ,@,settings))))
(unwind-protect (progn ,@body)
(proclaim `(optimize ,@,previous-settings)))))
#-clisp
`(let ,(loop :for v :in +optimization-variables+ :collect `(,v ,v)) `(let ,(loop :for v :in +optimization-variables+ :collect `(,v ,v))
,@(when settings `((proclaim `(optimize ,@,settings)))) ,@(when settings `((proclaim `(optimize ,@,settings))))
,@body))) ,@body)))
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment