New keyword argument for SB-C:DEFKNOWN: :overwrite-fndb-silently
[sbcl.git] / src / compiler / alpha / memory.lisp
1 ;;;; the Alpha definitions of some general purpose memory reference
2 ;;;; VOPs inherited by basic memory reference operations
3
4 ;;;; This software is part of the SBCL system. See the README file for
5 ;;;; more information.
6 ;;;;
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.
12
13 (in-package "SB!VM")
14
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)
21   (:policy :fast-safe)
22   (:generator 4
23     (loadw value object offset lowtag)))
24 (define-vop (cell-set)
25   (:args (object :scs (descriptor-reg))
26          (value :scs (descriptor-reg any-reg null zero)))
27   (:variant-vars offset lowtag)
28   (:policy :fast-safe)
29   (:generator 4
30     (storew value object offset lowtag)))
31
32 ;;; Slot-Ref and Slot-Set are used to define VOPs like Closure-Ref,
33 ;;; where the offset is constant at compile time, but varies for
34 ;;; different uses. We add in the stardard g-vector overhead.
35 (define-vop (slot-ref)
36   (:args (object :scs (descriptor-reg)))
37   (:results (value :scs (descriptor-reg any-reg)))
38   (:variant-vars base lowtag)
39   (:info offset)
40   (:generator 4
41     (loadw value object (+ base offset) lowtag)))
42 (define-vop (slot-set)
43   (:args (object :scs (descriptor-reg))
44          (value :scs (descriptor-reg any-reg null zero)))
45   (:variant-vars base lowtag)
46   (:info offset)
47   (:generator 4
48     (storew value object (+ base offset) lowtag)))