Changeset 14969 for trunk/source/compiler/X86/X8664/x8664-vinsns.lisp

Timestamp:

Sep 2, 2011, 5:43:41 AM (9 years ago)

Author:

gb

Message:

Try to speed up some cases involving self-calls where the number
of args is fixed, tail calls where some outgoing args are passed
on the stack, and the combination of those things. We generally
do the calls faster, but we don't really recognize that iteration's
being introduced (and that things are happening in a loop.)

File:

• trunk/source/compiler/X86/X8664/x8664-vinsns.lisp (modified) (3 diffs)

trunk/source/compiler/X86/X8664/x8664-vinsns.lisp

@@ -1781 +1781 @@
 ;;; as well as this. 
 (define-x8664-vinsn (pass-multiple-values :jumplr) (()
-                                                  ()
-                                                  ((tag :u8)))
+                                                    ()
+                                                    ((tag :u8)))
   :resume
   (movl (:%l x8664::temp0) (:%l tag))
@@ -1797 +1797 @@
   (:anchored-uuo (uuo-error-not-callable)))
 
+(define-x8664-vinsn (pass-multiple-values-known-function :jumplr) (((fnreg :lisp))
+                                                                    ())
+  (pushq (:@ (:apply + (:apply target-nil-value) (x8664::%kernel-global 'x86::ret1valaddr)))) 
+  (jmp (:%q fnreg)))
 
 
@@ -4598 +4602 @@
   (movsd (:%xmm val) (:@ (:%q base) (:%q idx))))
 
+
+(define-x8664-vinsn pop-outgoing-arg (((n :u16const))
+                                      ())
+  (popq (:@ (:apply * n (- x8664::node-size)) (:%q x8664::rbp))))
+
+(define-x8664-vinsn slide-nth-arg (()
+                                   ((n :u16const)
+                                    (nstackargs :u16const)
+                                    (temp :lisp)))
+  (movq (:@ (:apply * (:apply - nstackargs (:apply + 1 n)) x8664::node-size) (:%q x8664::rsp)) (:%q temp))
+  (movq (:%q temp) (:@ (:apply * (:apply + n 1) (- x8664::node-size)) (:%q x8664::rbp))))
+                                   
+
+(define-x8664-vinsn set-tail-vsp (((nargs :u16const))
+                                  ())
+  ((:pred = 0 nargs)
+   (movq (:%q x8664::rbp) (:%q x8664::rsp)))
+  ((:not (:pred = 0 nargs))
+   (leaq (:@ (:apply * nargs (- x8664::node-size)) (:%q x8664::rbp)) (:%q x8664::rsp))))
+
+
+;;; If we've used one of the fixed-stack-args !slideN vinsns above
+;;; and are calling some function (rather than jumping to an internal
+;;; entry point), we need to push the caller's return address and unlink
+;;; its frame pointer.
+(define-x8664-vinsn prepare-tail-call (()
+                                       ())
+  (pushq (:@ x8664::node-size (:%q x8664::rbp)))
+  (movq (:@ (:%q x8664::rbp)) (:%q x8664::rbp)))
+
 (queue-fixup
  (fixup-x86-vinsn-templates