mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-01-11 03:33:11 -08:00
Code Issues Projects Releases Packages Wiki Activity

Optimized LOOP-REPEAT to have the same quality of code as in LOOP-FOR-IN

Browse source
This commit is contained in:
Juan Jose Garcia Ripoll 2010-09-27 10:25:22 +02:00
parent 33a9087056
commit 0180c8b0a7
1 changed files with 4 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/lsp/loop2.lsp
View file

@ -120,7 +120,8 @@
;;;; Miscellaneous Environment Things
(defmacro loop-unsafe (&rest x)
`(locally (declare (ext:assume-right-type)) ,@x))
;;;The LOOP-Prefer-POP feature makes LOOP generate code which "prefers" to use POP or
;;; its obvious expansion (prog1 (car x) (setq x (cdr x))). Usually this involves
@ -1649,10 +1650,7 @@ collected result will be returned as the value of the LOOP."
(let* ((form (loop-get-form))
(type (if (fixnump form) 'fixnum 'real))
(var (loop-make-variable (gensym) form type))
#-ecl
(form `(when (minusp (decf ,var)) (go end-loop)))
#+ecl ;; ECL 10.9.1 has a problem with optimizing (+ ...)
(form `(when (minusp (setf ,var (1- ,var))) (go end-loop))))
(form `(loop-unsafe (when (minusp (decf ,var)) (go end-loop)))))
(push form *loop-before-loop*)
(push form *loop-after-body*)
;; FIXME: What should
@ -2031,6 +2029,7 @@ collected result will be returned as the value of the LOOP."
(setq endform (loop-typed-init indexv-type) inclusive-iteration t))
(when endform (setq testfn (if inclusive-iteration '< '<=)))
(setq step (if (eql stepby 1) `(1- ,indexv) `(- ,indexv ,stepby)))))
(setq step `(loop-unsafe ,step))
(when testfn (setq test (hide-variable-reference t indexv `(,testfn ,indexv ,endform))))
(when step-hack
(setq step-hack `(,variable ,(hide-variable-reference indexv-user-specified-p indexv step-hack))))