export MOST-POSITIVE-WORD from SB-EXT

[sbcl.git] / src / compiler / generic / early-vm.lisp

diff --git a/src/compiler/generic/early-vm.lisp b/src/compiler/generic/early-vm.lisp
index 9654ac4..897d830 100644 (file)
--- a/src/compiler/generic/early-vm.lisp
+++ b/src/compiler/generic/early-vm.lisp
@@ -9,37 +9,62 @@
 
 (in-package "SB!VM")
 
-(file-comment
-  "$Header$")
+;;; the number of bits at the low end of a pointer used for type
+;;; information
+(def!constant n-lowtag-bits
+  (integer-length (1- (/ (* 2 n-word-bits) n-byte-bits))))
+;;; a mask to extract the low tag bits from a pointer
+(def!constant lowtag-mask (1- (ash 1 n-lowtag-bits)))
+;;; the exclusive upper bound on the value of the low tag bits from a
+;;; pointer
+(def!constant lowtag-limit (ash 1 n-lowtag-bits))
+;;; the number of tag bits used for a fixnum
+(def!constant n-fixnum-tag-bits (1- n-lowtag-bits))
+;;; the fixnum tag mask
+(def!constant fixnum-tag-mask (1- (ash 1 n-fixnum-tag-bits)))
+;;; the bit width of positive fixnums
+(def!constant n-positive-fixnum-bits (- n-word-bits n-fixnum-tag-bits 1))
 
-(eval-when (:compile-toplevel :execute :load-toplevel)
+;;; the number of bits to shift between word addresses and byte addresses
+(def!constant word-shift (1- (integer-length (/ n-word-bits n-byte-bits))))
 
-(defconstant lowtag-bits 3
-  #!+sb-doc
-  "Number of bits at the low end of a pointer used for type information.")
+;;; the number of bytes in a word
+(def!constant n-word-bytes (/ n-word-bits n-byte-bits))
 
-(defconstant lowtag-mask (1- (ash 1 lowtag-bits))
-  #!+sb-doc
-  "Mask to extract the low tag bits from a pointer.")
+;;; the number of bits used in the header word of a data block to store
+;;; the type
+(def!constant n-widetag-bits 8)
+;;; a mask to extract the type from a data block header word
+(def!constant widetag-mask (1- (ash 1 n-widetag-bits)))
 
-(defconstant lowtag-limit (ash 1 lowtag-bits)
+(def!constant sb!xc:most-positive-fixnum
+    (1- (ash 1 (- n-word-bits n-lowtag-bits)))
   #!+sb-doc
-  "Exclusive upper bound on the value of the low tag bits from a pointer.")
-
-(defconstant type-bits 8
+  "the fixnum closest in value to positive infinity")
+(def!constant sb!xc:most-negative-fixnum
+    (ash -1 (- n-word-bits n-lowtag-bits))
   #!+sb-doc
-  "Number of bits used in the header word of a data block to store the type.")
+  "the fixnum closest in value to negative infinity")
 
-(defconstant type-mask (1- (ash 1 type-bits))
-  #!+sb-doc
-  "Mask to extract the type from a header word.")
+(def!constant most-positive-word (1- (expt 2 n-word-bits))
+  "The most positive integer that is of type SB-EXT:WORD.")
 
-); eval-when
+(def!constant most-positive-exactly-single-float-fixnum
+  (min #xffffff sb!xc:most-positive-fixnum))
+(def!constant most-negative-exactly-single-float-fixnum
+  (max #x-ffffff sb!xc:most-negative-fixnum))
+(def!constant most-positive-exactly-double-float-fixnum
+  (min #x1fffffffffffff sb!xc:most-positive-fixnum))
+(def!constant most-negative-exactly-double-float-fixnum
+  (max #x-1fffffffffffff sb!xc:most-negative-fixnum))
 
-;;; FIXME: Couldn't/shouldn't these be DEFCONSTANT instead of DEFPARAMETER?
-(defparameter *target-most-positive-fixnum* (1- (ash 1 29))
-  #!+sb-doc
-  "most-positive-fixnum in the target architecture.")
-(defparameter *target-most-negative-fixnum* (ash -1 29)
-  #!+sb-doc
-  "most-negative-fixnum in the target architecture.")
+;;;; Point where continuous area starting at dynamic-space-start bumps into
+;;;; next space.
+#!+gencgc
+(def!constant max-dynamic-space-end
+    (let ((stop (1- (ash 1 n-word-bits)))
+          (start dynamic-space-start))
+      (dolist (other-start (list read-only-space-start static-space-start linkage-table-space-start))
+        (when (< start other-start)
+          (setf stop (min stop other-start))))
+      stop))