X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fx86-64%2Fsystem.lisp;h=f86f77424180aabf4f89df45a83c2fd24399ad7e;hb=0d871fd7a98fc4af92a8b942a1154761466ad8c9;hp=81f7ebd00545a793aca081a7a13fbbc52cd74c1f;hpb=1c6e1e0ccbad4cefe1984f4a1a45d81181718f65;p=sbcl.git diff --git a/src/compiler/x86-64/system.lisp b/src/compiler/x86-64/system.lisp index 81f7ebd..f86f774 100644 --- a/src/compiler/x86-64/system.lisp +++ b/src/compiler/x86-64/system.lisp @@ -17,7 +17,7 @@ (:translate lowtag-of) (:policy :fast-safe) (:args (object :scs (any-reg descriptor-reg control-stack) - :target result)) + :target result)) (:results (result :scs (unsigned-reg))) (:result-types positive-fixnum) (:generator 1 @@ -76,18 +76,18 @@ (:translate (setf fun-subtype)) (:policy :fast-safe) (:args (type :scs (unsigned-reg) :target eax) - (function :scs (descriptor-reg))) + (function :scs (descriptor-reg))) (:arg-types positive-fixnum *) (:temporary (:sc unsigned-reg :offset rax-offset :from (:argument 0) - :to (:result 0) :target result) - eax) + :to (:result 0) :target result) + eax) (:results (result :scs (unsigned-reg))) (:result-types positive-fixnum) (:generator 6 (move eax type) (inst mov - (make-ea :byte :base function :disp (- fun-pointer-lowtag)) - al-tn) + (make-ea :byte :base function :disp (- fun-pointer-lowtag)) + al-tn) (move result eax))) (define-vop (get-header-data) @@ -114,11 +114,11 @@ (:translate set-header-data) (:policy :fast-safe) (:args (x :scs (descriptor-reg) :target res :to (:result 0)) - (data :scs (any-reg) :target eax)) + (data :scs (any-reg) :target eax)) (:arg-types * positive-fixnum) (:results (res :scs (descriptor-reg))) (:temporary (:sc unsigned-reg :offset eax-offset - :from (:argument 1) :to (:result 0)) eax) + :from (:argument 1) :to (:result 0)) eax) (:generator 6 (move eax data) (inst shl eax (- n-widetag-bits n-fixnum-tag-bits)) @@ -138,14 +138,14 @@ (define-vop (make-other-immediate-type) (:args (val :scs (any-reg descriptor-reg) :target res) - (type :scs (unsigned-reg immediate))) + (type :scs (unsigned-reg immediate))) (:results (res :scs (any-reg descriptor-reg) :from (:argument 0))) (:generator 2 (move res val) (inst shl res (- n-widetag-bits n-fixnum-tag-bits)) (inst or res (sc-case type - (unsigned-reg type) - (immediate (tn-value type)))))) + (unsigned-reg type) + (immediate (tn-value type)))))) ;;;; allocation @@ -199,22 +199,22 @@ (:generator 10 (loadw sap code 0 other-pointer-lowtag) (inst shr sap n-widetag-bits) - (inst lea sap (make-ea :byte :base code :index sap - :scale n-word-bytes - :disp (- other-pointer-lowtag))))) + (inst lea sap (make-ea :byte :base code :index sap + :scale n-word-bytes + :disp (- other-pointer-lowtag))))) (define-vop (compute-fun) (:args (code :scs (descriptor-reg) :to (:result 0)) - (offset :scs (signed-reg unsigned-reg) :to (:result 0))) + (offset :scs (signed-reg unsigned-reg) :to (:result 0))) (:arg-types * positive-fixnum) (:results (func :scs (descriptor-reg) :from (:argument 0))) (:generator 10 (loadw func code 0 other-pointer-lowtag) (inst shr func n-widetag-bits) (inst lea func - (make-ea :byte :base offset :index func - :scale n-word-bytes - :disp (- fun-pointer-lowtag other-pointer-lowtag))) + (make-ea :byte :base offset :index func + :scale n-word-bytes + :disp (- fun-pointer-lowtag other-pointer-lowtag))) (inst add func code))) (define-vop (%simple-fun-self) @@ -225,9 +225,9 @@ (:generator 3 (loadw result function simple-fun-self-slot fun-pointer-lowtag) (inst lea result - (make-ea :byte :base result - :disp (- fun-pointer-lowtag - (* simple-fun-code-offset n-word-bytes)))))) + (make-ea :byte :base result + :disp (- fun-pointer-lowtag + (* simple-fun-code-offset n-word-bytes)))))) ;;; The closure function slot is a pointer to raw code on X86 instead ;;; of a pointer to the code function object itself. This VOP is used @@ -242,14 +242,14 @@ (:policy :fast-safe) (:translate (setf %simple-fun-self)) (:args (new-self :scs (descriptor-reg) :target result :to :result) - (function :scs (descriptor-reg) :to :result)) + (function :scs (descriptor-reg) :to :result)) (:temporary (:sc any-reg :from (:argument 0) :to :result) temp) (:results (result :scs (descriptor-reg))) (:generator 3 (inst lea temp - (make-ea :byte :base new-self - :disp (- (ash simple-fun-code-offset word-shift) - fun-pointer-lowtag))) + (make-ea :byte :base new-self + :disp (- (ash simple-fun-code-offset word-shift) + fun-pointer-lowtag))) (storew temp function simple-fun-self-slot fun-pointer-lowtag) (move result new-self))) @@ -277,7 +277,7 @@ (inst break pending-interrupt-trap))) #!+sb-thread -(defknown current-thread-offset-sap ((unsigned-byte 64)) +(defknown current-thread-offset-sap ((unsigned-byte 64)) system-area-pointer (flushable)) #!+sb-thread @@ -289,8 +289,8 @@ (:arg-types unsigned-num) (:policy :fast-safe) (:generator 2 - (inst mov sap - (make-ea :qword :base thread-base-tn :disp 0 :index n :scale 8)))) + (inst mov sap + (make-ea :qword :base thread-base-tn :disp 0 :index n :scale 8)))) (define-vop (halt) (:generator 1 @@ -314,5 +314,5 @@ (:info index) (:generator 0 (inst inc (make-ea :qword :base count-vector - :disp (- (* (+ vector-data-offset index) n-word-bytes) - other-pointer-lowtag))))) + :disp (- (* (+ vector-data-offset index) n-word-bytes) + other-pointer-lowtag)))))