Changeset 7772

Timestamp:

Nov 28, 2007, 2:30:48 PM (17 years ago)

Author:

R. Matthew Emerson

Message:

Add yet more vinsns.

File:

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

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

@@ -1810 +1810 @@
   (movzwl (:@ (:%l src) (:%l index)) (:%l dest)))
 
+(define-x8632-vinsn mem-ref-c-u8 (((dest :u8))
+                                  ((src :address)
+                                   (index :s16const)))
+  ((:pred = index 0)
+   (movzbl (:@  (:%l src)) (:%l dest)))
+  ((:not (:pred = index 0))
+   (movzbl (:@ index (:%l src)) (:%l dest))))
+
+(define-x8632-vinsn mem-ref-u8 (((dest :u8))
+                                ((src :address)
+                                 (index :s32)))
+  (movzbl (:@ (:%l src) (:%l index)) (:%l dest)))
+
+(define-x8632-vinsn mem-ref-c-s8 (((dest :s8))
+                                  ((src :address)
+                                   (index :s16const)))
+  ((:pred = index 0)
+   (movsbl (:@ (:%l src)) (:%l dest)))
+  ((:not (:pred = index 0))
+   (movsbl (:@ index (:%l src)) (:%l dest))))
+
+(define-x8632-vinsn misc-set-c-s8  (((val :s8))
+                                    ((v :lisp)
+                                     (idx :u32const))
+                                    ())
+  (movb (:%b val) (:@ (:apply + x8632::misc-data-offset idx) (:%l v))))
+
+(define-x8632-vinsn misc-set-s8  (((val :s8))
+                                  ((v :lisp)
+                                   (scaled-idx :s32))
+                                  ())
+  (movb (:%b val) (:@ x8632::misc-data-offset (:%l v) (:%l scaled-idx))))
+
+(define-x8632-vinsn mem-ref-s8 (((dest :s8))
+                                ((src :address)
+                                 (index :s32)))
+  (movsbl (:@ (:%l src) (:%l index)) (:%l dest)))
+
 (define-x8632-vinsn mem-set-constant-fullword (()
                                                ((val :s32const)
@@ -2507 +2545 @@
   (movd (:%mmx x8632::mm1) (:@ x8632::macptr.address (:%l ptr))))
 
+(define-x8632-vinsn mem-ref-natural (((dest :u32))
+                                     ((src :address)
+                                      (index :s32)))
+  (movl (:@ (:%l src) (:%l index)) (:%l dest)))
+
 (define-x8632-vinsn mem-ref-c-fullword (((dest :u32))
                                         ((src :address)
@@ -2522 +2565 @@
   ((:not (:pred = index 0))
    (movl (:@ index (:%l src)) (:%l dest))))
+
+(define-x8632-vinsn mem-ref-c-single-float (((dest :single-float))
+                                            ((src :address)
+                                             (index :s32const)))
+  ((:pred = index 0)
+   (movss (:@ (:%l src)) (:%xmm dest)))
+  ((:not (:pred = index 0))
+   (movss (:@ index (:%l src)) (:%xmm dest))))
+
+(define-x8632-vinsn mem-set-c-single-float (()
+                                            ((val :single-float)
+                                             (src :address)
+                                             (index :s16const)))
+  ((:pred = index 0)
+   (movss (:%xmm val) (:@ (:%l src))))
+  ((:not (:pred = index 0))
+   (movss (:%xmm val) (:@ index (:%l src)))))
+
+(define-x8632-vinsn mem-ref-c-natural (((dest :u32))
+                                       ((src :address)
+                                        (index :s32const)))
+  ((:pred = index 0)
+   (movl (:@ (:%l src)) (:%l dest)))
+  ((:not (:pred = index 0))
+   (movl (:@ index (:%l src)) (:%l dest))))
+
 
 (define-x8632-vinsn mem-ref-fullword (((dest :u32))
@@ -2583 +2652 @@
 
 (define-x8632-vinsn %natural-  (((result :u32))
-                               ((result :u32)
-                                (other :u32)))
+                                ((result :u32)
+                                 (other :u32)))
   (subl (:%l other) (:%l result)))
 
@@ -2799 +2868 @@
   :done)
 
+(define-x8632-vinsn ref-interrupt-level (((dest :imm))
+                                         ()
+                                         ((temp :u32)))
+  (movl (:@ (:%seg :rcontext) x8632::tcr.tlb-pointer) (:%l temp))
+  (movl (:@ x8632::interrupt-level-binding-index (:%l temp)) (:%l dest)))
+
 (define-x8632-subprim-lea-jmp-vinsn (bind-nil)  .SPbind-nil)
 
@@ -2921 +2996 @@
 (define-x8632-subprim-lea-jmp-vinsn (spread-lexpr)  .SPspread-lexpr-z)
 
+(define-x8632-vinsn mem-ref-double-float (((dest :double-float))
+                                          ((src :address)
+                                           (index :s32)))
+  (movsd (:@ (:%l src) (:%l index)) (:%xmm dest)))
+
+(define-x8632-vinsn mem-ref-single-float (((dest :single-float))
+                                          ((src :address)
+                                           (index :s32)))
+  (movss (:@ (:%l src) (:%l index)) (:%xmm dest)))
+
+(define-x8632-vinsn zero-extend-nargs (()
+                                       ())
+  (movzwl (:%w x8632::nargs) (:%l x8632::nargs)))
+
+(define-x8632-vinsn load-adl (()
+                              ((n :u32const)))
+  (movl (:$l n) (:%l x8632::nargs)))
+
+(define-x8632-subprim-lea-jmp-vinsn (macro-bind) .SPmacro-bind)
+
+(define-x8632-subprim-lea-jmp-vinsn (destructuring-bind-inner) .SPdestructuring-bind-inner)
+
+(define-x8632-subprim-lea-jmp-vinsn  (destructuring-bind) .SPdestructuring-bind)
+
+
 (define-x8632-vinsn symbol-function (((val :lisp))
                                      ((sym (:lisp (:ne val))))
@@ -3019 +3119 @@
   :done)
 
+(define-x8632-vinsn sign-extend-halfword (((dest :imm))
+                                          ((src :imm)))
+  (movl (:%l src ) (:%l dest))
+  (shll (:$ub (- 48 x8632::fixnumshift)) (:%l dest))
+  (sarl (:$ub (- 48 x8632::fixnumshift)) (:%l dest)))
 
 (define-x8632-subprim-jump-vinsn (tail-funcall-gen) .SPtfuncallgen)
@@ -3103 +3208 @@
 
 (define-x8632-subprim-lea-jmp-vinsn (make-stack-vector)  .SPmkstackv)
+
+(define-x8632-vinsn %current-frame-ptr (((dest :imm))
+                                        ())
+  (movl (:%l x8632::ebp) (:%l dest)))
+
+(define-x8632-vinsn %foreign-stack-pointer (((dest :imm))
+                                            ())
+  (movl (:@ (:%seg :rcontext) x8632::tcr.foreign-sp) (:%l dest)))
+
 
 (define-x8632-vinsn  %slot-ref (((dest :lisp))
@@ -3191 +3305 @@
   (btl (:$ub bit) (:%l int)))
 
+(define-x8632-vinsn multiply-immediate (((dest :imm))
+                                        ((src :imm)
+                                         (const :s32const)))
+  ((:and (:pred >= const -128) (:pred <= const 127))
+   (imull (:$b const) (:%l src) (:%l dest)))
+  ((:not (:and (:pred >= const -128) (:pred <= const 127)))
+   (imull (:$l const) (:%l src) (:%l dest))))
+
+(define-x8632-vinsn multiply-fixnums (((dest :imm))
+                                      ((x :imm)
+                                       (y :imm))
+                                      ((unboxed :s32)))
+  ((:pred =
+          (:apply %hard-regspec-value x)
+          (:apply %hard-regspec-value dest))
+   (movl (:%l y) (:%l unboxed))
+   (sarl (:$ub x8632::fixnumshift) (:%l unboxed))
+   (imull (:%l unboxed) (:%l dest)))
+  ((:and (:not (:pred =
+                      (:apply %hard-regspec-value x)
+                      (:apply %hard-regspec-value dest)))
+         (:pred =
+                (:apply %hard-regspec-value y)
+                (:apply %hard-regspec-value dest)))
+   (movl (:%l x) (:%l unboxed))
+   (sarl (:$ub x8632::fixnumshift) (:%l unboxed))
+   (imull (:%l unboxed) (:%l dest)))
+  ((:and (:not (:pred =
+                      (:apply %hard-regspec-value x)
+                      (:apply %hard-regspec-value dest)))
+         (:not (:pred =
+                      (:apply %hard-regspec-value y)
+                      (:apply %hard-regspec-value dest))))
+   (movl (:%l y) (:%l dest))
+   (movl (:%l x) (:%l unboxed))
+   (sarl (:$ub x8632::fixnumshift) (:%l unboxed))
+   (imull (:%l unboxed) (:%l dest))))
+
+
 (define-x8632-vinsn mark-as-imm (()
                                  ((reg :imm)))