Changeset 15052

Timestamp:

Oct 30, 2011, 3:16:55 AM (13 years ago)

Author:

Gary Byers

Message:

When processing self tail-calls in X862-SELF-CALL: don't skip a
form where the outgoing argument looks like the incoming argument
if we're targeting a volatile register (we may have to load that
register from the argument's stack location.) If we did that,
we don't need to store the volatile arg reg back into the frame.

File:

• trunk/source/compiler/X86/x862.lisp (modified) (2 diffs)

trunk/source/compiler/X86/x862.lisp

@@ -7562 +7562 @@
                    (form (car xforms)))
               (unless (and (eq var (nx2-lexical-reference-p form))
-                           (not (logbitp $vbitsetq (nx-var-bits var))))
+                           (not (logbitp $vbitsetq (nx-var-bits var)))
+                           (var-nvr var))
                 (incf new-nargs)
                 (new-vars var)
@@ -7584 +7585 @@
           (4 (x862-four-targeted-reg-forms seg (car forms) (car regs) (cadr forms) (cadr regs)  (caddr forms) (caddr regs) (cadddr forms) (cadddr regs))))
         (do* ((vars vars (cdr vars))
+              (forms forms (cdr forms))
               (regs regs (cdr regs)))
              ((null vars))
           (let* ((var (car vars))
                  (reg (car regs)))
-            (x862-do-lexical-setq seg nil (var-ea var) reg)))
+            (unless (and (eq var (nx2-lexical-reference-p (car forms)))
+                         (not (logbitp $vbitsetq (nx-var-bits var))))
+              (x862-do-lexical-setq seg nil (var-ea var) reg))))
         (let* ((diff (- *x862-vstack* *x862-tail-vsp*)))
           (unless (eql 0 diff)