1 ;;;; the Sparc definitions of some general purpose memory reference
2 ;;;; VOPs inherited by basic memory reference operations
4 ;;;; This software is part of the SBCL system. See the README file for
7 ;;;; This software is derived from the CMU CL system, which was
8 ;;;; written at Carnegie Mellon University and released into the
9 ;;;; public domain. The software is in the public domain and is
10 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
11 ;;;; files for more information.
15 ;;; Cell-Ref and Cell-Set are used to define VOPs like CAR, where the
16 ;;; offset to be read or written is a property of the VOP used.
17 (define-vop (cell-ref)
18 (:args
(object :scs
(descriptor-reg)))
19 (:results
(value :scs
(descriptor-reg any-reg
)))
20 (:variant-vars offset lowtag
)
23 (loadw value object offset lowtag
)))
25 (define-vop (cell-set)
26 (:args
(object :scs
(descriptor-reg))
27 (value :scs
(descriptor-reg any-reg
)))
28 (:variant-vars offset lowtag
)
31 (storew value object offset lowtag
)))
33 ;;; Slot-Ref and Slot-Set are used to define VOPs like Closure-Ref,
34 ;;; where the offset is constant at compile time, but varies for
35 ;;; different uses. We add in the stardard g-vector overhead.
36 (define-vop (slot-ref)
37 (:args
(object :scs
(descriptor-reg)))
38 (:results
(value :scs
(descriptor-reg any-reg
)))
39 (:variant-vars base lowtag
)
42 (loadw value object
(+ base offset
) lowtag
)))
44 (define-vop (slot-set)
45 (:args
(object :scs
(descriptor-reg))
46 (value :scs
(descriptor-reg any-reg
)))
47 (:variant-vars base lowtag
)
50 (storew value object
(+ base offset
) lowtag
)))
52 ;;;; Indexed references:
54 ;;; Define some VOPs for indexed memory reference.
55 (macrolet ((define-indexer (name write-p op shift
)
57 (:args
(object :scs
(descriptor-reg))
58 (index :scs
(any-reg zero immediate
))
60 '((value :scs
(any-reg descriptor-reg
) :target result
))))
61 (:arg-types
* tagged-num
,@(when write-p
'(*)))
62 (:temporary
(:scs
(non-descriptor-reg)) temp
)
63 (:results
(,(if write-p
'result
'value
)
64 :scs
(any-reg descriptor-reg
)))
66 (:variant-vars offset lowtag
)
71 (let ((offset (- (+ (if (sc-is index zero
)
74 (- word-shift
,shift
)))
75 (ash offset word-shift
))
79 (inst ,op value object offset
))
80 ((or (unsigned-byte 32) (signed-byte 32))
82 (inst ,op value object temp
)))))
84 ,@(unless (zerop shift
)
85 `((inst srl temp index
,shift
)))
86 (inst add temp
,(if (zerop shift
) 'index
'temp
)
87 (- (ash offset word-shift
) lowtag
))
88 (inst ,op value object temp
)))
90 '((move result value
)))))))
91 (define-indexer word-index-ref nil ld
0)
92 (define-indexer word-index-set t st
0)
93 (define-indexer halfword-index-ref nil lduh
1)
94 (define-indexer signed-halfword-index-ref nil ldsh
1)
95 (define-indexer halfword-index-set t sth
1)
96 (define-indexer byte-index-ref nil ldub
2)
97 (define-indexer signed-byte-index-ref nil ldsb
2)
98 (define-indexer byte-index-set t stb
2))