X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fvm-macs.lisp;h=8219a5a4c27fda62789c90efaf40f95c2e20bff3;hb=bcbbce86c47a1c530d488c7876a453100fcd933e;hp=dd5f2ea02629b22e5bfd1b1a6d88643ec2063cf4;hpb=f143939b1dbaf38ebd4f92c851fbc4ecddf37af1;p=sbcl.git diff --git a/src/compiler/generic/vm-macs.lisp b/src/compiler/generic/vm-macs.lisp index dd5f2ea..8219a5a 100644 --- a/src/compiler/generic/vm-macs.lisp +++ b/src/compiler/generic/vm-macs.lisp @@ -45,12 +45,12 @@ (def!struct (primitive-object (:make-load-form-fun just-dump-it-normally)) (name nil :type symbol) - (header nil :type symbol) + (widetag nil :type symbol) (lowtag nil :type symbol) (options nil :type list) (slots nil :type list) (size 0 :type fixnum) - (variable-length nil :type (member t nil))) + (var-length nil :type (member t nil))) (defvar *primitive-objects* nil) @@ -63,13 +63,13 @@ name)) (defmacro define-primitive-object - ((name &key header lowtag alloc-trans (type t)) + ((name &key lowtag widetag alloc-trans (type t)) &rest slot-specs) (collect ((slots) (exports) (constants) (forms) (inits)) - (let ((offset (if header 1 0)) - (variable-length nil)) + (let ((offset (if widetag 1 0)) + (var-length nil)) (dolist (spec slot-specs) - (when variable-length + (when var-length (error "No more slots can follow a :rest-p slot.")) (destructuring-bind (slot-name &rest options @@ -103,24 +103,24 @@ (when init (inits (cons init offset))) (when rest-p - (setf variable-length t)) + (setf var-length t)) (incf offset length))) - (unless variable-length + (unless var-length (let ((size (symbolicate name "-SIZE"))) (constants `(defconstant ,size ,offset)) (exports size))) (when alloc-trans - (forms `(def-alloc ,alloc-trans ,offset ,variable-length ,header + (forms `(def-alloc ,alloc-trans ,offset ,var-length ,widetag ,lowtag ',(inits)))) `(progn (eval-when (:compile-toplevel :load-toplevel :execute) (%define-primitive-object ',(make-primitive-object :name name - :header header + :widetag widetag :lowtag lowtag :slots (slots) :size offset - :variable-length variable-length)) + :var-length var-length)) ,@(constants)) ,@(forms))))) @@ -128,43 +128,18 @@ (in-package "SB!C") -(defun %def-reffer (name offset lowtag) - (let ((info (function-info-or-lose name))) - (setf (function-info-ir2-convert info) - #'(lambda (node block) - (ir2-convert-reffer node block name offset lowtag)))) - name) - (defmacro def-reffer (name offset lowtag) `(%def-reffer ',name ,offset ,lowtag)) - -(defun %def-setter (name offset lowtag) - (let ((info (function-info-or-lose name))) - (setf (function-info-ir2-convert info) - (if (listp name) - #'(lambda (node block) - (ir2-convert-setfer node block name offset lowtag)) - #'(lambda (node block) - (ir2-convert-setter node block name offset lowtag))))) - name) - (defmacro def-setter (name offset lowtag) `(%def-setter ',name ,offset ,lowtag)) - -(defun %def-alloc (name words variable-length header lowtag inits) - (let ((info (function-info-or-lose name))) - (setf (function-info-ir2-convert info) - (if variable-length - #'(lambda (node block) - (ir2-convert-variable-allocation node block name words header - lowtag inits)) - #'(lambda (node block) - (ir2-convert-fixed-allocation node block name words header - lowtag inits))))) - name) - -(defmacro def-alloc (name words variable-length header lowtag inits) - `(%def-alloc ',name ,words ,variable-length ,header ,lowtag ,inits)) +(defmacro def-alloc (name words var-length header lowtag inits) + `(%def-alloc ',name ,words ,var-length ,header ,lowtag ,inits)) +;;; KLUDGE: The %DEF-FOO functions used to implement the macros here +;;; are defined later in another file, since they use structure slot +;;; setters defined later, and we can't have physical forward +;;; references to structure slot setters because ANSI in its wisdom +;;; allows the xc host CL to implement structure slot setters as SETF +;;; expanders instead of SETF functions. -- WHN 2002-02-09 ;;;; some general constant definitions