src/compiler/arm/memory.lisp

   1 ;;;; the ARM definitions of some general purpose memory reference VOPs
   2 ;;;; 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 \f
  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
  18 (define-vop (cell-ref)
  19   (:args (object :scs (descriptor-reg)))
  20   (:results (value :scs (descriptor-reg any-reg)))
  21   (:variant-vars offset lowtag)
  22   (:policy :fast-safe)
  23   (:generator 4
  24     (loadw value object offset lowtag)))
  25
  26 (define-vop (cell-set)
  27   (:args (object :scs (descriptor-reg))
  28          (value :scs (descriptor-reg any-reg null)))
  29   (:variant-vars offset lowtag)
  30   (:policy :fast-safe)
  31   (:generator 4
  32     (storew value object offset lowtag)))
  33
  34 ;;; Slot-Ref and Slot-Set are used to define VOPs like Closure-Ref,
  35 ;;; where the offset is constant at compile time, but varies for
  36 ;;; different uses.
  37
  38 ;;; The PPC backend says "We add in the standard g-vector overhead",
  39 ;;; what does this mean?  -- AB 2012-Oct-27
  40
  41 (define-vop (slot-ref)
  42   (:args (object :scs (descriptor-reg)))
  43   (:results (value :scs (descriptor-reg any-reg)))
  44   (:variant-vars base lowtag)
  45   (:info offset)
  46   (:generator 4
  47     (loadw value object (+ base offset) lowtag)))
  48
  49 (define-vop (slot-set)
  50   (:args (object :scs (descriptor-reg))
  51          (value :scs (descriptor-reg any-reg)))
  52   (:variant-vars base lowtag)
  53   (:info offset)
  54   (:generator 4
  55     (storew value object (+ base offset) lowtag)))