X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fx86%2Fparms.lisp;h=af9899a9a63b6e8a4668dcdb3de8031b41bf2c7f;hb=dfa55a883f94470267b626dae77ce7e7dfac3df6;hp=29b4dfed3168e31954fc95eab9b9e72c8caea69a;hpb=8fc5fda05f92d69c95b47e4ad7561d91dab18c3e;p=sbcl.git diff --git a/src/compiler/x86/parms.lisp b/src/compiler/x86/parms.lisp index 29b4dfe..af9899a 100644 --- a/src/compiler/x86/parms.lisp +++ b/src/compiler/x86/parms.lisp @@ -13,9 +13,6 @@ (in-package "SB!VM") -(file-comment - "$Header$") - ;;; ### Note: we simultaneously use ``word'' to mean a 32 bit quantity ;;; and a 16 bit quantity depending on context. This is because Intel ;;; insists on calling 16 bit things words and 32 bit things @@ -27,8 +24,6 @@ ;;;; machine architecture parameters -(eval-when (:compile-toplevel :load-toplevel :execute) - (defconstant word-bits 32 #!+sb-doc "Number of bits per word where a word holds one lisp descriptor.") @@ -45,38 +40,37 @@ #!+sb-doc "Number of bytes in a word.") -) ; EVAL-WHEN - -(eval-when (:compile-toplevel :load-toplevel :execute) (defconstant float-sign-shift 31) -;; These values were taken from the alpha code. The values for -;; bias and exponent min/max are not the same as shown in the 486 book. -;; They may be correct for how Python uses them. -(defconstant single-float-bias 126) ; Intel says 127 -(defconstant single-float-exponent-byte (byte 8 23)) -(defconstant single-float-significand-byte (byte 23 0)) -;; The 486 book shows the exponent range -126 to +127. The Lisp -;; code that uses these values seems to want already biased numbers. +;;; comment from CMU CL: +;;; These values were taken from the alpha code. The values for +;;; bias and exponent min/max are not the same as shown in the 486 book. +;;; They may be correct for how Python uses them. +(defconstant single-float-bias 126) ; Intel says 127. +(defconstant-eqx single-float-exponent-byte (byte 8 23) #'equalp) +(defconstant-eqx single-float-significand-byte (byte 23 0) #'equalp) +;;; comment from CMU CL: +;;; The 486 book shows the exponent range -126 to +127. The Lisp +;;; code that uses these values seems to want already biased numbers. (defconstant single-float-normal-exponent-min 1) (defconstant single-float-normal-exponent-max 254) (defconstant single-float-hidden-bit (ash 1 23)) (defconstant single-float-trapping-nan-bit (ash 1 22)) (defconstant double-float-bias 1022) -(defconstant double-float-exponent-byte (byte 11 20)) -(defconstant double-float-significand-byte (byte 20 0)) +(defconstant-eqx double-float-exponent-byte (byte 11 20) #'equalp) +(defconstant-eqx double-float-significand-byte (byte 20 0) #'equalp) (defconstant double-float-normal-exponent-min 1) (defconstant double-float-normal-exponent-max #x7FE) (defconstant double-float-hidden-bit (ash 1 20)) (defconstant double-float-trapping-nan-bit (ash 1 19)) (defconstant long-float-bias 16382) -(defconstant long-float-exponent-byte (byte 15 0)) -(defconstant long-float-significand-byte (byte 31 0)) +(defconstant-eqx long-float-exponent-byte (byte 15 0) #'equalp) +(defconstant-eqx long-float-significand-byte (byte 31 0) #'equalp) (defconstant long-float-normal-exponent-min 1) (defconstant long-float-normal-exponent-max #x7FFE) -(defconstant long-float-hidden-bit (ash 1 31)) ; Actually not hidden +(defconstant long-float-hidden-bit (ash 1 31)) ; actually not hidden (defconstant long-float-trapping-nan-bit (ash 1 30)) (defconstant single-float-digits @@ -88,46 +82,89 @@ (defconstant long-float-digits (+ (byte-size long-float-significand-byte) word-bits 1)) -;;; pfw -- from i486 microprocessor programmers reference manual -(defconstant float-invalid-trap-bit (ash 1 0)) +;;; pfw -- from i486 microprocessor programmer's reference manual +(defconstant float-invalid-trap-bit (ash 1 0)) (defconstant float-denormal-trap-bit (ash 1 1)) (defconstant float-divide-by-zero-trap-bit (ash 1 2)) (defconstant float-overflow-trap-bit (ash 1 3)) (defconstant float-underflow-trap-bit (ash 1 4)) -(defconstant float-inexact-trap-bit (ash 1 5)) +(defconstant float-inexact-trap-bit (ash 1 5)) (defconstant float-round-to-nearest 0) (defconstant float-round-to-negative 1) (defconstant float-round-to-positive 2) (defconstant float-round-to-zero 3) -(defconstant float-rounding-mode (byte 2 10)) -(defconstant float-sticky-bits (byte 6 16)) -(defconstant float-traps-byte (byte 6 0)) -(defconstant float-exceptions-byte (byte 6 16)) -(defconstant float-precision-control (byte 2 8)) -(defconstant float-fast-bit 0) ; No fast mode on x86 - -); EVAL-WHEN +(defconstant-eqx float-rounding-mode (byte 2 10) #'equalp) +(defconstant-eqx float-sticky-bits (byte 6 16) #'equalp) +(defconstant-eqx float-traps-byte (byte 6 0) #'equalp) +(defconstant-eqx float-exceptions-byte (byte 6 16) #'equalp) +(defconstant-eqx float-precision-control (byte 2 8) #'equalp) +(defconstant float-fast-bit 0) ; no fast mode on x86 ;;;; description of the target address space ;;; where to put the different spaces ;;; -;;; FIXME: Couldn't/shouldn't these be DEFCONSTANT instead of DEFPARAMETER? -#!-linux (defparameter *target-read-only-space-start* #x10000000) -#!-linux (defparameter *target-static-space-start* - ;; FIXME: was #x28000000 until RAW's RUN-PROGRAM - ;; patches, why the change? - #x30000000) -#!-linux (defparameter *target-dynamic-space-start* #x48000000) -#!+linux (defparameter *target-read-only-space-start* #x01000000) -#!+linux (defparameter *target-static-space-start* #x05000000) -#!+linux (defparameter *target-dynamic-space-start* #x09000000) +;;; Note: Mostly these values are black magic, inherited from CMU CL +;;; without any documentation. However, there were a few explanatory +;;; comments in the CMU CL sources: +;;; * On Linux, +;;; ** The space 0x08000000-0x10000000 is "C program and memory allocation". +;;; ** The space 0x40000000-0x48000000 is reserved for shared libs. +;;; ** The space >0xE0000000 is "C stack - Alien stack". +;;; * On FreeBSD, +;;; ** The space 0x0E000000-0x10000000 is "Foreign segment". +;;; ** The space 0x20000000-0x30000000 is reserved for shared libs. +;;; And there have been a few changes since the fork: +;;; * The FreeBSD STATIC-SPACE-START value was bumped up from +;;; #x28000000 to #x30000000 when FreeBSD ld.so dynamic linking +;;; support was added for FreeBSD ca. 20000910. This was to keep from +;;; stomping on an address range that the dynamic libraries want to use. +;;; (They want to use this address range even if we try to reserve it +;;; with a call to validate() as the first operation in main().) + +#!+linux +(progn + + (defconstant read-only-space-start #x01000000) + (defconstant read-only-space-end #x037ff000) + + (defconstant static-space-start #x05000000) + (defconstant static-space-end #x07fff000) + + (defconstant dynamic-space-start #x09000000) + (defconstant dynamic-space-end #x29000000) + + (defconstant control-stack-start #x50000000) + (defconstant control-stack-end #x57fff000) + + (defconstant binding-stack-start #x60000000) + (defconstant binding-stack-end #x67fff000)) + +#!+bsd +(progn + + (defconstant read-only-space-start #x10000000) + (defconstant read-only-space-end #x1ffff000) + + (defconstant static-space-start + #!+freebsd #x30000000 + #!+openbsd #x28000000) + (defconstant static-space-end #x37fff000) + + (defconstant binding-stack-start #x38000000) + (defconstant binding-stack-end #x3ffff000) + + (defconstant control-stack-start #x40000000) + (defconstant control-stack-end #x47fff000) + + (defconstant dynamic-space-start #x48000000) + (defconstant dynamic-space-end #x88000000)) ;;; Given that NIL is the first thing allocated in static space, we ;;; know its value at compile time: -(defparameter *nil-value* (+ *target-static-space-start* #xb)) +(defconstant nil-value (+ static-space-start #xb)) ;;;; other miscellaneous constants @@ -139,8 +176,7 @@ breakpoint function-end-breakpoint single-step-breakpoint) -;;; FIXME: It'd be nice to replace all the DEFENUMs with something -;;; a la +;;; FIXME: It'd be nice to replace all the DEFENUMs with something like ;;; (WITH-DEF-ENUM (:START 8) ;;; (DEF-ENUM HALT-TRAP) ;;; (DEF-ENUM PENDING-INTERRUPT-TRAP) @@ -193,9 +229,14 @@ sb!impl::fdefinition-object ;; free pointers - sb!impl::*read-only-space-free-pointer* - sb!impl::*static-space-free-pointer* - sb!impl::*initial-dynamic-space-free-pointer* + ;; + ;; Note that these are FIXNUM word counts, not (as one might + ;; expect) byte counts or SAPs. The reason seems to be that by + ;; representing them this way, we can avoid consing bignums. + ;; -- WHN 2000-10-02 + *read-only-space-free-pointer* + *static-space-free-pointer* + *initial-dynamic-space-free-pointer* ;; things needed for non-local exit sb!impl::*current-catch-block* @@ -231,9 +272,6 @@ ;; used by gencgc sb!vm::*scavenge-read-only-space* - ;; multi-process support - sb!vm::*control-stacks* - ;; The ..SLOT-UNBOUND.. symbol is static in order to optimise the ;; common slot unbound check. sb!pcl::..slot-unbound..