X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fx86%2Fparms.lisp;h=f55cf9c1ee7b45959f5a4c8aa08460ef1245998b;hb=b66385e2031fc2cac17dd129df0af400beb48a22;hp=9e31f18f34dca4b21f6121f5966836c30fc9f831;hpb=f43f136f9b3ff6cae501e850fa67b2183317e212;p=sbcl.git diff --git a/src/compiler/x86/parms.lisp b/src/compiler/x86/parms.lisp index 9e31f18..f55cf9c 100644 --- a/src/compiler/x86/parms.lisp +++ b/src/compiler/x86/parms.lisp @@ -25,79 +25,85 @@ ;;;; machine architecture parameters ;;; the number of bits per word, where a word holds one lisp descriptor -(defconstant n-word-bits 32) +(def!constant n-word-bits 32) + +;;; the natural width of a machine word (as seen in e.g. register width, +;;; address space) +(def!constant n-machine-word-bits 32) ;;; the number of bits per byte, where a byte is the smallest ;;; addressable object -(defconstant n-byte-bits 8) - -;;; the number of bits to shift between word addresses and byte addresses -(defconstant word-shift (1- (integer-length (/ n-word-bits n-byte-bits)))) +(def!constant n-byte-bits 8) -;;; the number of bytes in a word -(defconstant n-word-bytes (/ n-word-bits n-byte-bits)) +;;; The size in bytes of the GENCGC pages. Should be a multiple of the +;;; architecture code size. +(def!constant gencgc-page-size 4096) -(defconstant float-sign-shift 31) +(def!constant float-sign-shift 31) ;;; 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. +(def!constant 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)) +(def!constant single-float-normal-exponent-min 1) +(def!constant single-float-normal-exponent-max 254) +(def!constant single-float-hidden-bit (ash 1 23)) +(def!constant single-float-trapping-nan-bit (ash 1 22)) -(defconstant double-float-bias 1022) +(def!constant double-float-bias 1022) (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)) +(def!constant double-float-normal-exponent-min 1) +(def!constant double-float-normal-exponent-max #x7FE) +(def!constant double-float-hidden-bit (ash 1 20)) +(def!constant double-float-trapping-nan-bit (ash 1 19)) -(defconstant long-float-bias 16382) +(def!constant long-float-bias 16382) (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-trapping-nan-bit (ash 1 30)) +(def!constant long-float-normal-exponent-min 1) +(def!constant long-float-normal-exponent-max #x7FFE) +(def!constant long-float-hidden-bit (ash 1 31)) ; actually not hidden +(def!constant long-float-trapping-nan-bit (ash 1 30)) -(defconstant single-float-digits +(def!constant single-float-digits (+ (byte-size single-float-significand-byte) 1)) -(defconstant double-float-digits +(def!constant double-float-digits (+ (byte-size double-float-significand-byte) n-word-bits 1)) -(defconstant long-float-digits +(def!constant long-float-digits (+ (byte-size long-float-significand-byte) n-word-bits 1)) ;;; 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-round-to-nearest 0) -(defconstant float-round-to-negative 1) -(defconstant float-round-to-positive 2) -(defconstant float-round-to-zero 3) +(def!constant float-invalid-trap-bit (ash 1 0)) +(def!constant float-denormal-trap-bit (ash 1 1)) +(def!constant float-divide-by-zero-trap-bit (ash 1 2)) +(def!constant float-overflow-trap-bit (ash 1 3)) +(def!constant float-underflow-trap-bit (ash 1 4)) +(def!constant float-inexact-trap-bit (ash 1 5)) + +(def!constant float-round-to-nearest 0) +(def!constant float-round-to-negative 1) +(def!constant float-round-to-positive 2) +(def!constant float-round-to-zero 3) + +(def!constant float-precision-24-bit 0) +(def!constant float-precision-53-bit 2) +(def!constant float-precision-64-bit 3) (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 +(def!constant float-fast-bit 0) ; no fast mode on x86 ;;;; description of the target address space @@ -131,53 +137,129 @@ ;;; 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().) +;;; * For NetBSD 2.0, the following ranges are used by normal +;;; executables and mmap: +;;; ** Executables are (by default) loaded at 0x08048000. +;;; ** The break for the sbcl runtime seems to end around 0x08400000 +;;; We set read only space around 0x20000000, static +;;; space around 0x30000000, all ending below 0x37fff000 +;;; ** ld.so and other mmap'ed stuff like shared libs start around +;;; 0x48000000 +;;; We set dynamic space between 0x60000000 and 0x98000000 +;;; ** Bottom of the stack is typically not below 0xb0000000 +;;; FYI, this can be looked at with the "pmap" program, and if you +;;; set the top-down mmap allocation option in the kernel (not yet +;;; the default), all bets are totally off! + +#!+win32 +(progn + + (def!constant read-only-space-start #x02000000) + (def!constant read-only-space-end #x047ff000) + + (def!constant static-space-start #x05000000) + (def!constant static-space-end #x07fff000) + + (def!constant dynamic-space-start #x09000000) + (def!constant dynamic-space-end #x29000000) + + (def!constant linkage-table-space-start #x30000000) + (def!constant linkage-table-space-end #x40000000)) #!+linux (progn + (def!constant read-only-space-start #x01000000) + (def!constant read-only-space-end #x037ff000) + + (def!constant static-space-start #x05000000) + (def!constant static-space-end #x07fff000) + + (def!constant dynamic-space-start #x09000000) + (def!constant dynamic-space-end #x29000000) + + (def!constant linkage-table-space-start #x70000000) + (def!constant linkage-table-space-end #x7ffff000)) + +#!+sunos +(progn + (def!constant read-only-space-start #x20000000) + (def!constant read-only-space-end #x2ffff000) + + (def!constant static-space-start #x40000000) + (def!constant static-space-end #x42fff000) + + (def!constant dynamic-space-start #x48000000) + (def!constant dynamic-space-end #xA0000000) + + (def!constant linkage-table-space-start #xA2000000) + (def!constant linkage-table-space-end #xA3000000)) + +#!+freebsd +(progn + (def!constant read-only-space-start #x10000000) + (def!constant read-only-space-end #x1ffff000) + + (def!constant static-space-start #x30000000) + (def!constant static-space-end #x37fff000) + + (def!constant dynamic-space-start #x48000000) + (def!constant dynamic-space-end #x88000000) + + ;; In CMUCL: 0xB0000000->0xB1000000 + (def!constant linkage-table-space-start #x90000000) + (def!constant linkage-table-space-end #x91000000)) - (defconstant read-only-space-start #x01000000) - (defconstant read-only-space-end #x037ff000) +#!+openbsd +(progn + (def!constant read-only-space-start #x40000000) + (def!constant read-only-space-end #x47fff000) + + (def!constant static-space-start #x50000000) + (def!constant static-space-end #x5ffff000) + + (def!constant dynamic-space-start #x80000000) + (def!constant dynamic-space-end #xA0000000) + + ;; In CMUCL: 0xB0000000->0xB1000000 + (def!constant linkage-table-space-start #xA0000000) + (def!constant linkage-table-space-end #xA1000000)) + +#!+netbsd +(progn + (def!constant read-only-space-start #x20000000) + (def!constant read-only-space-end #x2ffff000) - (defconstant static-space-start #x05000000) - (defconstant static-space-end #x07fff000) + (def!constant static-space-start #x30000000) + (def!constant static-space-end #x37fff000) - (defconstant dynamic-space-start #x09000000) - (defconstant dynamic-space-end #x29000000) + (def!constant dynamic-space-start #x60000000) + (def!constant dynamic-space-end #x98000000) - (defconstant control-stack-start #x50000000) - (defconstant control-stack-end #x57fff000) + ;; In CMUCL: 0xB0000000->0xB1000000 + (def!constant linkage-table-space-start #xA0000000) + (def!constant linkage-table-space-end #xA1000000)) - (defconstant binding-stack-start #x60000000) - (defconstant binding-stack-end #x67fff000)) -#!+bsd +#!+darwin (progn + (def!constant read-only-space-start #x01000000) + (def!constant read-only-space-end #x04ff8000) - (defconstant read-only-space-start #x10000000) - (defconstant read-only-space-end #x1ffff000) + (def!constant static-space-start #x08000000) + (def!constant static-space-end #x097fff00) - (defconstant static-space-start - #!+freebsd #x30000000 - #!+openbsd #x28000000) - (defconstant static-space-end #x37fff000) + (def!constant dynamic-space-start #x10000000) + (def!constant dynamic-space-end #x6ffff000) - (defconstant binding-stack-start #x38000000) - (defconstant binding-stack-end #x3ffff000) + (def!constant linkage-table-space-start #x0a000000) + (def!constant linkage-table-space-end #x0b000000)) - (defconstant control-stack-start - #+freebsd #x40000000 - #+openbsd #x48000000) - (defconstant control-stack-end - #+freebsd #x47fff000 - #+openbsd #x4ffff000) - (defconstant dynamic-space-start - #+freebsd #x48000000 - #+openbsd #x50000000) - (defconstant dynamic-space-end #x88000000)) +;;; Size of one linkage-table entry in bytes. +(def!constant linkage-table-entry-size 8) ;;; Given that NIL is the first thing allocated in static space, we ;;; know its value at compile time: -(defconstant nil-value (+ static-space-start #xb)) +(def!constant nil-value (+ static-space-start #xb)) ;;;; other miscellaneous constants @@ -188,7 +270,9 @@ cerror breakpoint fun-end-breakpoint - single-step-breakpoint) + single-step-around + single-step-before + #!+win32 context-restore) ;; HACK: The Win32 exception handling system does wrong things with this. ;;; FIXME: It'd be nice to replace all the DEFENUMs with something like ;;; (WITH-DEF-ENUM (:START 8) ;;; (DEF-ENUM HALT-TRAP) @@ -197,15 +281,15 @@ ;;; for the benefit of anyone doing a lexical search for definitions ;;; of these symbols. -(defenum (:prefix object-not- :suffix -trap :start 16) +(defenum (:prefix object-not- :suffix -trap :start 24) list instance) (defenum (:prefix trace-table-) normal call-site - function-prologue - function-epilogue) + fun-prologue + fun-epilogue) ;;;; static symbols @@ -222,70 +306,45 @@ (defvar *allocation-pointer*) (defvar *binding-stack-pointer*) -;;; FIXME: *!INITIAL-FDEFN-OBJECTS* and !COLD-INIT probably don't need -;;; to be in the static symbols table any more. Also, if -;;; *INTERNAL-GC-TRIGGER* really is not used, we can punt it. (defparameter *static-symbols* - '(t - - ;; The C startup code must fill these in. - *posix-argv* - sb!impl::*!initial-fdefn-objects* - - ;; functions that the C code needs to call - maybe-gc - sb!kernel::internal-error - sb!di::handle-breakpoint - fdefinition-object - - ;; free pointers - ;; - ;; 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 - *current-catch-block* - *current-unwind-protect-block* - *eval-stack-top* - *alien-stack* - - ;; interrupt handling - *pseudo-atomic-atomic* - *pseudo-atomic-interrupted* - sb!unix::*interrupts-enabled* - sb!unix::*interrupt-pending* - *free-interrupt-context-index* - - *allocation-pointer* - *binding-stack-pointer* - *internal-gc-trigger* ; Not used. - - ;; the floating point constants - *fp-constant-0d0* - *fp-constant-1d0* - *fp-constant-0s0* - *fp-constant-1s0* - ;; The following are all long-floats. - *fp-constant-0l0* - *fp-constant-1l0* - *fp-constant-pi* - *fp-constant-l2t* - *fp-constant-l2e* - *fp-constant-lg2* - *fp-constant-ln2* - - ;; The ..SLOT-UNBOUND.. symbol is static in order to optimise the - ;; common slot unbound check. - ;; - ;; FIXME: In SBCL, the CLOS code has become sufficiently tightly - ;; integrated into the system that it'd probably make sense to use - ;; the ordinary unbound marker for this. - sb!pcl::..slot-unbound..)) + (append + *common-static-symbols* + *c-callable-static-symbols* + '(*alien-stack* + + ;; interrupt handling + *pseudo-atomic-bits* + #!+sb-thread *stop-for-gc-pending* + #!+sb-thread *free-tls-index* + #!+sb-thread *tls-index-lock* + + *allocation-pointer* + *binding-stack-pointer* + + ;; the floating point constants + *fp-constant-0d0* + *fp-constant-1d0* + *fp-constant-0f0* + *fp-constant-1f0* + ;; The following are all long-floats. + *fp-constant-0l0* + *fp-constant-1l0* + *fp-constant-pi* + *fp-constant-l2t* + *fp-constant-l2e* + *fp-constant-lg2* + *fp-constant-ln2* + + ;; For GC-AND-SAVE + *restart-lisp-function* + + ;; Needed for callbacks to work across saving cores. see + ;; ALIEN-CALLBACK-ASSEMBLER-WRAPPER in c-call.lisp for gory + ;; details. + sb!alien::*enter-alien-callback* + + ;; see comments in ../x86-64/parms.lisp + sb!pcl::..slot-unbound..))) (defparameter *static-funs* '(length