(:variant-vars offset lowtag)

   (:policy :fast-safe)

   (:generator 4

     (loadw value object offset lowtag)))

 ;;;

 (define-vop (cell-set)

   (:variant-vars base lowtag)

   (:info offset)

   (:generator 4

     (loadw value object (+ base offset) lowtag)))

 ;;;

 (define-vop (slot-set)

   (:variant-vars base lowtag)

   (:info offset)

   (:generator 4

     (storew value object (+ base offset) lowtag)))

      (:variant-vars offset lowtag)

      (:policy :fast-safe)

      (:generator 5

        (sc-case index

 	 ((immediate zero)

 	  (let ((offset (- (+ (if (sc-is index zero)

 (define-move-function (load-number 1) (vop x y)

   ((immediate zero)

    (signed-reg unsigned-reg))

   (inst li y (tn-value x)))

 #+(and sparc-v9 sparc-v8plus)

 (define-move-function (load-base-char 1) (vop x y)

   ((immediate) (base-char-reg))

   (inst li y (char-code (tn-value x))))

 (define-move-function (load-system-area-pointer 1) (vop x y)

   ((immediate) (sap-reg))

   (inst li y (sap-int (tn-value x))))

 (define-move-function (load-constant 5) (vop x y)

 (define-move-function (load-stack 5) (vop x y)

   ((control-stack) (any-reg descriptor-reg))

   (load-stack-tn y x))

 (define-move-function (load-number-stack 5) (vop x y)

    (signed-stack) (signed-reg)

    (unsigned-stack) (unsigned-reg))

   (let ((nfp (current-nfp-tn vop)))

     (loadw y nfp (tn-offset x))))

 (define-move-function (store-stack 5) (vop x y)

    (signed-reg) (signed-stack)

    (unsigned-reg) (unsigned-stack))

   (let ((nfp (current-nfp-tn vop)))

     (storew x nfp (tn-offset y))))

   (:arg-types tagged-num)

   (:note _N"fixnum untagging")

   (:generator 1

     (inst sran y x fixnum-tag-bits)))

 ;;;

   (:results (y :scs (signed-reg unsigned-reg)))

   (:note _N"constant load")

   (:generator 1

     (inst li y (tn-value x))))

 ;;;

   (:temporary (:scs (non-descriptor-reg)) temp)

   (:generator 4

     (let ((done (gen-label)))

       (inst andcc temp x fixnum-tag-mask)

       (inst b :eq done)

       (inst sran y x fixnum-tag-bits)

   (:result-types tagged-num)

   (:note _N"fixnum tagging")

   (:generator 1

     (inst slln y x fixnum-tag-bits)))

 ;;;

 (define-move-vop move-from-word/fixnum :move

   (:temporary (:scs (non-descriptor-reg) :from (:argument 0)) x temp)

   (:note _N"signed word to integer coercion")

   (:generator 20

     (move x arg)

     (let ((done (gen-label)))

       ;; Need to figure out if we have a fixnum or not, so look at the

   (:temporary (:scs (non-descriptor-reg) :from (:argument 0)) x temp)

   (:note _N"unsigned word to integer coercion")

   (:generator 20

     (move x arg)

     (let ((done (gen-label))

 	  (one-word (gen-label)))

      :relative-package-names		; Relative package names from Allegro

      :conservative-float-type

      :hash-new

      :cmu				; Announce this is CMUCL

      :cmu20 :cmu20b			; Current version identifier

      :modular-arith			; Modular arithmetic

      :pentium

      :long-float

      :new-random

      :small

      :mp))