Changeset 11703

Timestamp:

03/10/09 22:22:52 (14 years ago)

Author:

ehuelsmann

Message:

DOTIMES loop variable efficiency: if the derived type of the limit var is integer,

make the loop var of integer type too (in order to compare them using jvm opcodes,
instead of static calls).

File:

• trunk/abcl/src/org/armedbear/lisp/compiler-pass2.lisp (modified) (2 diffs)

trunk/abcl/src/org/armedbear/lisp/compiler-pass2.lisp

@@ -4253 +4253 @@
                (derive-variable-representation limit-variable block)
                (setf (variable-representation variable)
-                     (variable-representation limit-variable))))))))
+                     (variable-representation limit-variable))
+               (let ((limit-type (variable-derived-type limit-variable)))
+                 (when (integer-type-p limit-type)
+                   (setf (variable-derived-type variable)
+                         (%make-integer-type 0 (integer-type-high limit-type)))))))))))
 
 (defun allocate-variable-register (variable)
@@ -6518 +6522 @@
                         ((neq (variable-derived-type variable) :none)
                          (variable-derived-type variable))
+                        ((= 0 (variable-writes variable))
+                         (derive-type (variable-initform variable)))
                         (t
                          t))))))