X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Falpha%2Fsystem.lisp;h=23e74b1128c1dcab23241323b19e8e71a75d894d;hb=7a2a31f9407a7da9d26cf1bc91c302461823719f;hp=a57b8b23b3546ab4cd8f6d3cc8aa7d5326f25345;hpb=b192aee93a1e81f5cdac019daf42bcfa55109757;p=sbcl.git diff --git a/src/compiler/alpha/system.lisp b/src/compiler/alpha/system.lisp index a57b8b2..23e74b1 100644 --- a/src/compiler/alpha/system.lisp +++ b/src/compiler/alpha/system.lisp @@ -54,7 +54,7 @@ OTHER-PTR (load-type result object (- other-pointer-lowtag)) - + DONE)) (define-vop (fun-subtype) @@ -70,7 +70,7 @@ (:translate (setf fun-subtype)) (:policy :fast-safe) (:args (type :scs (unsigned-reg) :target result) - (function :scs (descriptor-reg))) + (function :scs (descriptor-reg))) (:arg-types positive-fixnum *) (:temporary (:scs (non-descriptor-reg)) temp) (:results (result :scs (unsigned-reg))) @@ -107,7 +107,7 @@ (:translate set-header-data) (:policy :fast-safe) (:args (x :scs (descriptor-reg) :target res) - (data :scs (any-reg immediate zero))) + (data :scs (any-reg immediate zero))) (:arg-types * positive-fixnum) (:results (res :scs (descriptor-reg))) (:temporary (:scs (non-descriptor-reg)) t1 t2) @@ -116,45 +116,30 @@ (inst and t1 widetag-mask t1) (sc-case data (any-reg - (inst sll data (- n-widetag-bits 2) t2) + (inst sll data (- n-widetag-bits n-fixnum-tag-bits) t2) (inst bis t1 t2 t1)) (immediate (let ((c (ash (tn-value data) n-widetag-bits))) - (cond ((<= 0 c (1- (ash 1 8))) - (inst bis t1 c t1)) - (t - (inst li c t2) - (inst bis t1 t2 t1))))) + (cond ((<= 0 c (1- (ash 1 8))) + (inst bis t1 c t1)) + (t + (inst li c t2) + (inst bis t1 t2 t1))))) (zero)) (storew t1 x 0 other-pointer-lowtag) (move x res))) -(define-vop (make-fixnum) +(define-vop (pointer-hash) + (:translate pointer-hash) (:args (ptr :scs (any-reg descriptor-reg))) (:results (res :scs (any-reg descriptor-reg))) + (:policy :fast-safe) (:generator 1 - ;; - ;; Some code (the hash table code) depends on this returning a - ;; positive number so make sure it does. + ;; FIXME: It would be better if this would mask the lowtag, + ;; and shift the result into a positive fixnum like on x86. (inst sll ptr 35 res) (inst srl res 33 res))) -(define-vop (make-other-immediate-type) - (:args (val :scs (any-reg descriptor-reg)) - (type :scs (any-reg descriptor-reg immediate) - :target temp)) - (:results (res :scs (any-reg descriptor-reg))) - (:temporary (:scs (non-descriptor-reg)) temp) - (:generator 2 - (sc-case type - ((immediate) - (inst sll val n-widetag-bits temp) - (inst bis temp (tn-value type) res)) - (t - (inst sra type n-fixnum-tag-bits temp) - (inst sll val (- n-widetag-bits n-fixnum-tag-bits) res) - (inst bis res temp res))))) - ;;;; allocation @@ -201,7 +186,7 @@ (define-vop (compute-fun) (:args (code :scs (descriptor-reg)) - (offset :scs (signed-reg unsigned-reg))) + (offset :scs (signed-reg unsigned-reg))) (:arg-types * positive-fixnum) (:results (func :scs (descriptor-reg))) (:temporary (:scs (non-descriptor-reg)) ndescr) @@ -239,8 +224,14 @@ (:temporary (:scs (non-descriptor-reg)) count) (:generator 1 (let ((offset - (- (* (+ index vector-data-offset) n-word-bytes) - other-pointer-lowtag))) + (- (* (+ index vector-data-offset) n-word-bytes) + other-pointer-lowtag))) (inst ldl count offset count-vector) (inst addq count 1 count) (inst stl count offset count-vector)))) + +;;;; Dummy definition for a spin-loop hint VOP +(define-vop (spin-loop-hint) + (:translate spin-loop-hint) + (:policy :fast-safe) + (:generator 0))