X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fearly-vm.lisp;h=57c2d9d55b34388add8551a170cfe66885b2b1fc;hb=672b2f6cb751566526c7f3bb3de6b7d8424760e2;hp=afc7dfcf433573d716e8229fa366decaa29ce8c7;hpb=7646aefa188758e2892fea2ad02be4f29b3938f2;p=sbcl.git diff --git a/src/compiler/generic/early-vm.lisp b/src/compiler/generic/early-vm.lisp index afc7dfc..57c2d9d 100644 --- a/src/compiler/generic/early-vm.lisp +++ b/src/compiler/generic/early-vm.lisp @@ -11,12 +11,25 @@ ;;; the number of bits at the low end of a pointer used for type ;;; information -(def!constant n-lowtag-bits #!+x86-64 4 #!-x86-64 3) +(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)) + +;;; 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)))) + +;;; the number of bytes in a word +(def!constant n-word-bytes (/ n-word-bits n-byte-bits)) ;;; the number of bits used in the header word of a data block to store ;;; the type @@ -24,7 +37,7 @@ ;;; a mask to extract the type from a data block header word (def!constant widetag-mask (1- (ash 1 n-widetag-bits))) -(def!constant sb!xc:most-positive-fixnum +(def!constant sb!xc:most-positive-fixnum (1- (ash 1 (- n-word-bits n-lowtag-bits))) #!+sb-doc "the fixnum closest in value to positive infinity") @@ -32,3 +45,12 @@ (ash -1 (- n-word-bits n-lowtag-bits)) #!+sb-doc "the fixnum closest in value to negative infinity") + +(def!constant most-positive-exactly-single-float-fixnum + (min #xffffff most-positive-fixnum)) +(def!constant most-negative-exactly-single-float-fixnum + (max #x-ffffff most-negative-fixnum)) +(def!constant most-positive-exactly-double-float-fixnum + (min #x1fffffffffffff most-positive-fixnum)) +(def!constant most-negative-exactly-double-float-fixnum + (max #x-1fffffffffffff most-negative-fixnum))