;;;; files for more information.
(in-package "SB!VM")
-\f
+
+;;;; Additional constants
+
+;;; NUMBER-STACK-DISPLACEMENT
+;;;
+;;; The number of bytes reserved above the number stack pointer. These
+;;; slots are required by architecture for a place to spill register windows.
+;;;
+;;; FIXME: Where is this used?
+(def!constant number-stack-displacement
+ (* 16 n-word-bytes))
+
;;;; Define the registers
(eval-when (:compile-toplevel :load-toplevel :execute)
(macrolet ((defreg (name offset)
(let ((offset-sym (symbolicate name "-OFFSET")))
`(eval-when (:compile-toplevel :load-toplevel :execute)
- (defconstant ,offset-sym ,offset)
+ (def!constant ,offset-sym ,offset)
(setf (svref *register-names* ,offset-sym)
,(symbol-name name)))))
(list ,@(mapcar (lambda (name)
(symbolicate name "-OFFSET"))
regs))))))
- ;; "c.f. src/runtime/sparc-lispregs.h
+ ;; c.f. src/runtime/sparc-lispregs.h
;; Globals. These are difficult to extract from a sigcontext.
(defreg zero 0) ; %g0
(defregset *register-arg-offsets*
a0 a1 a2 a3 a4 a5))
\f
-;;;; SB and SC definition:
+;;;; SB and SC definition
(define-storage-base registers :finite :size 32)
(define-storage-base float-registers :finite :size 64)
(define-storage-base constant :non-packed)
(define-storage-base immediate-constant :non-packed)
-;;; Handy macro so we don't have to keep changing all the numbers whenever
-;;; we insert a new storage class.
-;;;
-;;; FIXME: This macro is not needed in the runtime target.
-(defmacro define-storage-classes (&rest classes)
+;;; handy macro so we don't have to keep changing all the numbers
+;;; whenever we insert a new storage class
+(defmacro !define-storage-classes (&rest classes)
(do ((forms (list 'progn)
(let* ((class (car classes))
(sc-name (car class))
"-SC-NUMBER"))))
(list* `(define-storage-class ,sc-name ,index
,@(cdr class))
- `(defconstant ,constant-name ,index)
+ `(def!constant ,constant-name ,index)
;; (The CMU CL version of this macro did
;; `(EXPORT ',CONSTANT-NAME)
;; here, but in SBCL we try to have package
;;; and seems to be working so far -dan
;;;
;;; arbitrarily taken for alpha, too. - Christophe
-(defconstant sb!vm::kludge-nondeterministic-catch-block-size 7)
+(def!constant kludge-nondeterministic-catch-block-size 7)
-(define-storage-classes
+(!define-storage-classes
- ;; Non-immediate contstants in the constant pool
+ ;; non-immediate constants in the constant pool
(constant constant)
;; ZERO and NULL are in registers.
;; Anything else that can be an immediate.
(immediate immediate-constant)
-
- ;; **** The stacks.
+ ;;
+ ;; the stacks
+ ;;
;; The control stack. (Scanned by GC)
(control-stack control-stack)
;; The non-descriptor stacks.
(signed-stack non-descriptor-stack) ; (signed-byte 32)
(unsigned-stack non-descriptor-stack) ; (unsigned-byte 32)
- (base-char-stack non-descriptor-stack) ; non-descriptor characters.
+ (character-stack non-descriptor-stack) ; non-descriptor characters.
(sap-stack non-descriptor-stack) ; System area pointers.
(single-stack non-descriptor-stack) ; single-floats
(double-stack non-descriptor-stack
:alternate-scs (control-stack))
;; Non-Descriptor characters
- (base-char-reg registers
+ (character-reg registers
:locations #.non-descriptor-regs
:constant-scs (immediate)
:save-p t
- :alternate-scs (base-char-stack))
+ :alternate-scs (character-stack))
;; Non-Descriptor SAP's (arbitrary pointers into address space)
(sap-reg registers
;; A catch or unwind block.
- (catch-block control-stack :element-size sb!vm::kludge-nondeterministic-catch-block-size))
-
-
+ (catch-block control-stack :element-size kludge-nondeterministic-catch-block-size))
\f
-;;;; Make some random tns for important registers.
-
+;;;; Make some miscellaneous TNs for important registers.
(macrolet ((defregtn (name sc)
(let ((offset-sym (symbolicate name "-OFFSET"))
(tn-sym (symbolicate name "-TN")))
(defregtn cfp any-reg)
(defregtn ocfp any-reg)
(defregtn nsp any-reg))
-
-
\f
-;;; If value can be represented as an immediate constant, then return the
+;;; If VALUE can be represented as an immediate constant, then return the
;;; appropriate SC number, otherwise return NIL.
(!def-vm-support-routine immediate-constant-sc (value)
(typecase value
(sc-number-or-lose 'zero))
(null
(sc-number-or-lose 'null))
- ((or fixnum system-area-pointer character)
+ ((or (integer #.sb!xc:most-negative-fixnum #.sb!xc:most-positive-fixnum)
+ system-area-pointer character)
(sc-number-or-lose 'immediate))
(symbol
(if (static-symbol-p value)
(sc-number-or-lose 'immediate)
nil))))
-
\f
;;;; function call parameters
;;; the SC numbers for register and stack arguments/return values.
-(defconstant register-arg-scn (meta-sc-number-or-lose 'descriptor-reg))
-(defconstant immediate-arg-scn (meta-sc-number-or-lose 'any-reg))
-(defconstant control-stack-arg-scn (meta-sc-number-or-lose 'control-stack))
+(def!constant register-arg-scn (meta-sc-number-or-lose 'descriptor-reg))
+(def!constant immediate-arg-scn (meta-sc-number-or-lose 'any-reg))
+(def!constant control-stack-arg-scn (meta-sc-number-or-lose 'control-stack))
(eval-when (:compile-toplevel :load-toplevel :execute)
;; offsets of special stack frame locations
- (defconstant ocfp-save-offset 0)
- (defconstant lra-save-offset 1)
- (defconstant nfp-save-offset 2)
+ (def!constant ocfp-save-offset 0)
+ (def!constant lra-save-offset 1)
+ (def!constant nfp-save-offset 2)
;; the number of arguments/return values passed in registers.
- ;;
- (defconstant register-arg-count 6)
+ (def!constant register-arg-count 6)
;; names to use for the argument registers.
- ;;
(defparameter register-arg-names '(a0 a1 a2 a3 a4 a5))
-); eval-when (:compile-toplevel :load-toplevel :execute)
+) ; EVAL-WHEN
-;;; a list of TN's describing the register arguments.
+;;; a list of TN's describing the register arguments
(defparameter *register-arg-tns*
(mapcar (lambda (n)
(make-random-tn :kind :normal
*register-arg-offsets*))
;;; This is used by the debugger.
-(defconstant single-value-return-byte-offset 8)
-
+(def!constant single-value-return-byte-offset 8)
\f
;;; This function is called by debug output routines that want a
;;; pretty name for a TN's location. It returns a thing that can be
(constant (format nil "Const~D" offset))
(immediate-constant "Immed"))))
-\f
-;;; The loader uses this to convert alien names to the form they
-;;; occure in the symbol table (for example, prepending an
-;;; underscore). On the SPARC, we don't prepend an underscore.
-(defun extern-alien-name (name)
- (declare (type simple-base-string name))
- (concatenate 'string #+nil "_" name))