(:policy :fast)
(:translate symbol-value))
+(define-vop (symbol-hash)
+ (:policy :fast-safe)
+ (:translate symbol-hash)
+ (:args (symbol :scs (descriptor-reg)))
+ (:results (res :scs (any-reg)))
+ (:result-types positive-fixnum)
+ (:generator 2
+ ;; The symbol-hash slot of NIL holds NIL because it is also the
+ ;; cdr slot, so we have to strip off the two low bits to make sure
+ ;; it is a fixnum. The lowtag selection magic that is required to
+ ;; ensure this is explained in the comment in objdef.lisp
+ (loadw res symbol symbol-hash-slot other-pointer-lowtag)
+ (inst andn res res fixnum-tag-mask)))
\f
;;;; FDEFINITION (fdefn) objects.
(define-vop (fdefn-fun cell-ref)
(move obj-temp object)
(loadw value obj-temp fdefn-fun-slot other-pointer-lowtag)
(inst cmp value null-tn)
- (let ((err-lab (generate-error-code vop undefined-symbol-error obj-temp)))
+ (let ((err-lab (generate-error-code vop undefined-fun-error obj-temp)))
(inst b :eq err-lab))
(inst nop)))
(inst cmp type simple-fun-header-widetag)
(inst b :eq normal-fn)
(inst move lip function)
- (inst li lip (make-fixup (extern-alien-name "closure_tramp") :foreign))
+ (inst li lip (make-fixup "closure_tramp" :foreign))
(emit-label normal-fn)
(storew function fdefn fdefn-fun-slot other-pointer-lowtag)
(storew lip fdefn fdefn-raw-addr-slot other-pointer-lowtag)
(:results (result :scs (descriptor-reg)))
(:generator 38
(storew null-tn fdefn fdefn-fun-slot other-pointer-lowtag)
- (inst li temp (make-fixup (extern-alien-name "undefined_tramp") :foreign))
+ (inst li temp (make-fixup "undefined_tramp" :foreign))
(storew temp fdefn fdefn-raw-addr-slot other-pointer-lowtag)
(move result fdefn)))
(:policy :fast-safe)
(:variant 0 other-pointer-lowtag))
+
+\f
+;;;; raw instance slot accessors
+
+(define-vop (raw-instance-ref/word)
+ (:translate %raw-instance-ref/word)
+ (:policy :fast-safe)
+ (:args (object :scs (descriptor-reg))
+ (index :scs (any-reg)))
+ (:arg-types * positive-fixnum)
+ (:results (value :scs (unsigned-reg)))
+ (:temporary (:scs (non-descriptor-reg)) offset)
+ (:result-types unsigned-num)
+ (:generator 5
+ (loadw offset object 0 instance-pointer-lowtag)
+ (inst srl offset offset n-widetag-bits)
+ (inst sll offset offset 2)
+ (inst sub offset offset index)
+ (inst add
+ offset
+ offset
+ (- (* (1- instance-slots-offset) n-word-bytes)
+ instance-pointer-lowtag))
+ (inst ld value object offset)))
+
+(define-vop (raw-instance-set/word)
+ (:translate %raw-instance-set/word)
+ (:policy :fast-safe)
+ (:args (object :scs (descriptor-reg))
+ (index :scs (any-reg))
+ (value :scs (unsigned-reg)))
+ (:arg-types * positive-fixnum unsigned-num)
+ (:results (result :scs (unsigned-reg)))
+ (:temporary (:scs (non-descriptor-reg)) offset)
+ (:result-types unsigned-num)
+ (:generator 5
+ (loadw offset object 0 instance-pointer-lowtag)
+ (inst srl offset offset n-widetag-bits)
+ (inst sll offset offset 2)
+ (inst sub offset offset index)
+ (inst add
+ offset
+ offset
+ (- (* (1- instance-slots-offset) n-word-bytes)
+ instance-pointer-lowtag))
+ (inst st value object offset)
+ (move result value)))
+
+(define-vop (raw-instance-ref/single)
+ (:translate %raw-instance-ref/single)
+ (:policy :fast-safe)
+ (:args (object :scs (descriptor-reg))
+ (index :scs (any-reg)))
+ (:arg-types * positive-fixnum)
+ (:results (value :scs (single-reg)))
+ (:temporary (:scs (non-descriptor-reg)) offset)
+ (:result-types single-float)
+ (:generator 5
+ (loadw offset object 0 instance-pointer-lowtag)
+ (inst srl offset offset n-widetag-bits)
+ (inst sll offset offset 2)
+ (inst sub offset offset index)
+ (inst add
+ offset
+ offset
+ (- (* (1- instance-slots-offset) n-word-bytes)
+ instance-pointer-lowtag))
+ (inst ldf value object offset)))
+
+(define-vop (raw-instance-set/single)
+ (:translate %raw-instance-set/single)
+ (:policy :fast-safe)
+ (:args (object :scs (descriptor-reg))
+ (index :scs (any-reg))
+ (value :scs (single-reg) :target result))
+ (:arg-types * positive-fixnum single-float)
+ (:results (result :scs (single-reg)))
+ (:result-types single-float)
+ (:temporary (:scs (non-descriptor-reg)) offset)
+ (:generator 5
+ (loadw offset object 0 instance-pointer-lowtag)
+ (inst srl offset offset n-widetag-bits)
+ (inst sll offset offset 2)
+ (inst sub offset offset index)
+ (inst add
+ offset
+ offset
+ (- (* (1- instance-slots-offset) n-word-bytes)
+ instance-pointer-lowtag))
+ (inst stf value object offset)
+ (unless (location= result value)
+ (inst fmovs result value))))
+
+(define-vop (raw-instance-ref/double)
+ (:translate %raw-instance-ref/double)
+ (:policy :fast-safe)
+ (:args (object :scs (descriptor-reg))
+ (index :scs (any-reg)))
+ (:arg-types * positive-fixnum)
+ (:results (value :scs (double-reg)))
+ (:temporary (:scs (non-descriptor-reg)) offset)
+ (:result-types double-float)
+ (:generator 5
+ (loadw offset object 0 instance-pointer-lowtag)
+ (inst srl offset offset n-widetag-bits)
+ (inst sll offset offset 2)
+ (inst sub offset offset index)
+ (inst add
+ offset
+ offset
+ (- (* (- instance-slots-offset 2) n-word-bytes)
+ instance-pointer-lowtag))
+ (inst lddf value object offset)))
+
+(define-vop (raw-instance-set/double)
+ (:translate %raw-instance-set/double)
+ (:policy :fast-safe)
+ (:args (object :scs (descriptor-reg))
+ (index :scs (any-reg))
+ (value :scs (double-reg) :target result))
+ (:arg-types * positive-fixnum double-float)
+ (:results (result :scs (double-reg)))
+ (:result-types double-float)
+ (:temporary (:scs (non-descriptor-reg)) offset)
+ (:generator 5
+ (loadw offset object 0 instance-pointer-lowtag)
+ (inst srl offset offset n-widetag-bits)
+ (inst sll offset offset 2)
+ (inst sub offset offset index)
+ (inst add
+ offset
+ offset
+ (- (* (- instance-slots-offset 2) n-word-bytes)
+ instance-pointer-lowtag))
+ (inst stdf value object offset)
+ (unless (location= result value)
+ (move-double-reg result value))))
+
+(define-vop (raw-instance-ref/complex-single)
+ (:translate %raw-instance-ref/complex-single)
+ (:policy :fast-safe)
+ (:args (object :scs (descriptor-reg))
+ (index :scs (any-reg)))
+ (:arg-types * positive-fixnum)
+ (:results (value :scs (complex-single-reg)))
+ (:temporary (:scs (non-descriptor-reg)) offset)
+ (:result-types complex-single-float)
+ (:generator 5
+ (loadw offset object 0 instance-pointer-lowtag)
+ (inst srl offset offset n-widetag-bits)
+ (inst sll offset offset 2)
+ (inst sub offset offset index)
+ (inst add
+ offset
+ offset
+ (- (* (- instance-slots-offset 2) n-word-bytes)
+ instance-pointer-lowtag))
+ (inst ldf (complex-single-reg-real-tn value) object offset)
+ (inst add offset offset n-word-bytes)
+ (inst ldf (complex-single-reg-imag-tn value) object offset)))
+
+(define-vop (raw-instance-set/complex-single)
+ (:translate %raw-instance-set/complex-single)
+ (:policy :fast-safe)
+ (:args (object :scs (descriptor-reg))
+ (index :scs (any-reg))
+ (value :scs (complex-single-reg) :target result))
+ (:arg-types * positive-fixnum complex-single-float)
+ (:results (result :scs (complex-single-reg)))
+ (:result-types complex-single-float)
+ (:temporary (:scs (non-descriptor-reg)) offset)
+ (:generator 5
+ (loadw offset object 0 instance-pointer-lowtag)
+ (inst srl offset offset n-widetag-bits)
+ (inst sll offset offset 2)
+ (inst sub offset offset index)
+ (inst add
+ offset
+ offset
+ (- (* (- instance-slots-offset 2) n-word-bytes)
+ instance-pointer-lowtag))
+ (let ((value-real (complex-single-reg-real-tn value))
+ (result-real (complex-single-reg-real-tn result)))
+ (inst stf value-real object offset)
+ (unless (location= result-real value-real)
+ (inst fmovs result-real value-real)))
+ (inst add offset offset n-word-bytes)
+ (let ((value-imag (complex-single-reg-imag-tn value))
+ (result-imag (complex-single-reg-imag-tn result)))
+ (inst stf value-imag object offset)
+ (unless (location= result-imag value-imag)
+ (inst fmovs result-imag value-imag)))))
+
+(define-vop (raw-instance-ref/complex-double)
+ (:translate %raw-instance-ref/complex-double)
+ (:policy :fast-safe)
+ (:args (object :scs (descriptor-reg))
+ (index :scs (any-reg)))
+ (:arg-types * positive-fixnum)
+ (:results (value :scs (complex-double-reg)))
+ (:temporary (:scs (non-descriptor-reg)) offset)
+ (:result-types complex-double-float)
+ (:generator 5
+ (loadw offset object 0 instance-pointer-lowtag)
+ (inst srl offset offset n-widetag-bits)
+ (inst sll offset offset 2)
+ (inst sub offset offset index)
+ (inst add
+ offset
+ offset
+ (- (* (- instance-slots-offset 4) n-word-bytes)
+ instance-pointer-lowtag))
+ (inst lddf (complex-double-reg-real-tn value) object offset)
+ (inst add offset offset (* 2 n-word-bytes))
+ (inst lddf (complex-double-reg-imag-tn value) object offset)))
+
+(define-vop (raw-instance-set/complex-double)
+ (:translate %raw-instance-set/complex-double)
+ (:policy :fast-safe)
+ (:args (object :scs (descriptor-reg))
+ (index :scs (any-reg))
+ (value :scs (complex-double-reg) :target result))
+ (:arg-types * positive-fixnum complex-double-float)
+ (:results (result :scs (complex-double-reg)))
+ (:result-types complex-double-float)
+ (:temporary (:scs (non-descriptor-reg)) offset)
+ (:generator 5
+ (loadw offset object 0 instance-pointer-lowtag)
+ (inst srl offset offset n-widetag-bits)
+ (inst sll offset offset 2)
+ (inst sub offset offset index)
+ (inst add
+ offset
+ offset
+ (- (* (- instance-slots-offset 4) n-word-bytes)
+ instance-pointer-lowtag))
+ (let ((value-real (complex-double-reg-real-tn value))
+ (result-real (complex-double-reg-real-tn result)))
+ (inst stdf value-real object offset)
+ (unless (location= result-real value-real)
+ (move-double-reg result-real value-real)))
+ (inst add offset offset (* 2 n-word-bytes))
+ (let ((value-imag (complex-double-reg-imag-tn value))
+ (result-imag (complex-double-reg-imag-tn result)))
+ (inst stdf value-imag object offset)
+ (unless (location= result-imag value-imag)
+ (move-double-reg result-imag value-imag)))))
projects / sbcl.git / blobdiff