X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fearly-vm.lisp;h=897d830eb8464c19a4dc967690c6529b1174eef8;hb=fb15ad0ff2373a50b3b0717f705c49339b39f996;hp=9b854eaaa302342ec71bdda2252883656209ee4f;hpb=ee94b07644c1130e1dcadcfd2bd581bf641fa58e;p=sbcl.git diff --git a/src/compiler/generic/early-vm.lisp b/src/compiler/generic/early-vm.lisp index 9b854ea..897d830 100644 --- a/src/compiler/generic/early-vm.lisp +++ b/src/compiler/generic/early-vm.lisp @@ -37,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") @@ -45,3 +45,26 @@ (ash -1 (- n-word-bits n-lowtag-bits)) #!+sb-doc "the fixnum closest in value to negative infinity") + +(def!constant most-positive-word (1- (expt 2 n-word-bits)) + "The most positive integer that is of type SB-EXT:WORD.") + +(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)) + +;;;; 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))