Changeset 7360 for branches

Timestamp:

Oct 5, 2007, 9:52:01 AM (17 years ago)

Author:

R. Matthew Emerson

Message:

More vinsns. Some wrong for sure.

File:

• branches/ia32/compiler/X86/X8632/x8632-vinsns.lisp (modified) (2 diffs)

branches/ia32/compiler/X86/X8632/x8632-vinsns.lisp

@@ -1460 +1460 @@
 (define-x8632-subprim-call-vinsn (unbind-interrupt-level) .SPunbind-interrupt-level)
 
+;;; xxx
+(define-x8632-vinsn (nmkcatchmv :call :subprim-call) (()
+                                                      ((lab :label))
+                                                      ((entry (:label 1))
+                                                       (xfn (:lisp #.x8632::xfn))))
+  (leal (:@ (:^ lab)  (:%l x8632::fn)) (:%l xfn))
+  (:talign 5)
+  (call (:@ .SPmkcatchmv))
+  :back
+  (movl (:$self 0) (:%l x8632::fn)))
+
+
 (define-x8632-subprim-jump-vinsn (tail-call-fn-gen) .SPtcallnfngen)
 
@@ -1801 +1813 @@
   (movl (:$self 0) (:%l x8632::fn)))
 
+(define-x8632-vinsn vcell-ref (((dest :lisp))
+                               ((vcell :lisp)))
+  (movl (:@ x8632::misc-data-offset (:%l vcell)) (:%l dest)))
+
+(define-x8632-vinsn setup-vcell-allocation (()
+                                            ())
+  (movl (:$l x8632::value-cell-header) (:%l x8632::imm0))
+  (movd (:%l x8632::imm0) (:%mmx x8632::mm0))
+  (movl (:$l (- x8632::value-cell.size x8632::fulltag-misc)) (:%l x8632::imm0)))
+
+(define-x8632-vinsn %init-vcell (()
+                                 ((vcell :lisp)
+                                  (closed :lisp)))
+  (movl (:%l closed) (:@ x8632::value-cell.value (:%l vcell))))
+
+;;; Magic numbers in here include the address of .SPcall-closure.
+
+;;; movl $self, %fn
+;;; jmp *20660 (.SPcall-closure)
+(define-x8632-vinsn init-nclosure (()
+                                   ((closure :lisp)))
+  (movb (:$b 4) (:@ x8632::misc-data-offset (:%l closure))) ;imm word count
+  (movb (:$b #xbf) (:@ (+ x8632::misc-data-offset 2) (:%l closure))) ;movl $self, %fn
+  (movl (:%l closure) (:@ (+ x8632::misc-data-offset 3) (:%l closure)))
+  (movb (:$b #xff) (:@ (+ x8632::misc-data-offset 7) (:%l closure))) ;jmp
+  (movl (:$l #x0050b425) (:@ (+ x8632::misc-data-offset 8) (:%l closure))) ;.SPcall-closure
+  ;; already aligned
+  (movl (:%l closure) (:@ (+ x8632::misc-data-offset 16) (:%l closure))) ;self-reference entry
+  (movb (:$b x8632::function-boundary-marker) (:@ (+ x8632::misc-data-offset 20) (:%l closure))))
+
+(define-x8632-vinsn finalize-closure (((closure :lisp))
+                                      ((closure :lisp)))
+  (nop))
+
+
+(define-x8632-vinsn (ref-symbol-value :call :subprim-call)
+    (((val :lisp))
+     ((sym (:lisp (:ne val)))))
+  (:talign 5)
+  (call (:@ .SPspecrefcheck))
+  (movl (:$self 0) (:%l x8632::fn)))
+
+(define-x8632-subprim-lea-jmp-vinsn (bind-nil)  .SPbind-nil)
+
+(define-x8632-subprim-lea-jmp-vinsn (bind-self)  .SPbind-self)
+
+(define-x8632-subprim-lea-jmp-vinsn (bind-self-boundp-check)  .SPbind-self-boundp-check)
+
+(define-x8632-subprim-lea-jmp-vinsn (bind)  .SPbind)
+
+(define-x8632-vinsn (dpayback :call :subprim-call) (()
+                                                    ((n :s16const))
+                                                    ((temp (:u32 #.x8632::imm0))
+                                                     (entry (:label 1))))
+  ((:pred > n 0)
+   ((:pred > n 1)
+    (movl (:$l n) (:%l temp))
+    (:talign 4)
+    (call (:@ .SPunbind-n)))
+   ((:pred = n 1)
+    (:talign 5)
+    (call (:@ .SPunbind)))
+   (movl (:$self 0) (:%l x8632::fn))))
+
+(define-x8632-vinsn (setq-special :call :subprim-call)
+    (()
+     ((sym :lisp)
+      (val :lisp))
+     ((entry (:label 1))))
+  (:talign 5)
+  (call (:@ .SPspecset))
+  (movl (:$self 0) (:%l x8632::fn)))
+
+(define-x8632-vinsn %symptr->symvector (((target :lisp))
+                                        ((target :lisp)))
+  (nop))
+
+(define-x8632-vinsn %symvector->symptr (((target :lisp))
+                                        ((target :lisp)))
+  (nop))
+
+(define-x8632-vinsn symbol-function (((val :lisp))
+                                     ((sym (:lisp (:ne val))))
+                                     ((tag :u8)))
+  (movl (:@ x8632::symbol.fcell (:%l sym)) (:%l val))
+  (movl (:%l val) (:%l tag))
+  (andb (:$b x8632::tagmask) (:%b tag))
+  (cmpb (:$b x8632::tag-misc) (:%b tag))
+  (jne.pn :bad)
+  (movb (:@ x8632::misc-subtag-offset (:%l val)) (:%b tag))
+  (cmpb (:$b x8632::subtag-function) (:%b tag))
+  (je.pt :ok)
+  :bad
+  (uuo-error-udf (:%l sym))
+  :ok)
+
+(define-x8632-vinsn  %slot-ref (((dest :lisp))
+                                ((instance (:lisp (:ne dest)))
+                                 (index :lisp)))
+  (movl (:@ x8632::misc-data-offset (:%l instance) (:%l index)) (:%l dest))
+  (cmpl (:$l x8664::slot-unbound-marker) (:%l dest))
+  (jne.pt :ok)
+  (uuo-error-slot-unbound (:%l dest) (:%l instance) (:%l index))
+  :ok)
+
+(define-x8632-vinsn symbol-ref (((dest :lisp))
+                                ((src :lisp)
+                                 (cellno :u32const)))
+  (movl (:@ (:apply + (- x8632::node-size x8632::fulltag-misc)
+                    (:apply ash cellno 2))
+              (:%l src)) (:%l dest)))
+
+(define-x8632-vinsn scale-nargs (()
+                                 ((nfixed :s16const)))
+  ((:pred > nfixed 0)
+   (addw (:$w (:apply - (:apply ash nfixed x8632::word-shift))) (:%w x8632::nargs))))
+
+;; xxx wrong for sure
+(define-x8632-vinsn two-opt-supplied-p (()
+                                        ()
+                                        ((temp0 :u32)
+                                         (temp1 :u32)))
+  (rcmpw (:%w x8632::nargs) (:$w x8632::node-size))
+  (setae (:%b temp0))
+  (seta (:%b temp1))
+  (negb (:%b temp0))
+  (negb (:%b temp1))
+  (andl (:$b x8632::t-offset) (:%l temp0))
+  (andl (:$b x8632::t-offset) (:%l temp1))
+  (addl (:$l x8632::nil-value) (:%l temp0))
+  (addl (:$l x8632::nil-value) (:%l temp1))
+  (pushl (:%l temp0))
+  (pushl (:%l temp1)))
+
 (queue-fixup
  (fixup-x86-vinsn-templates