X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fsparc%2Fparms.lisp;h=e377082663dfdc87a09df04367b5ed587932c6ce;hb=315285fcf8bf1f7e732da307cfaf31f18f412811;hp=b6c6306f6705d44de62a50884858c5e804adbb49;hpb=8731c1a7c1a585d190151fa881050fb5e14c0616;p=sbcl.git diff --git a/src/compiler/sparc/parms.lisp b/src/compiler/sparc/parms.lisp index b6c6306..e377082 100644 --- a/src/compiler/sparc/parms.lisp +++ b/src/compiler/sparc/parms.lisp @@ -12,33 +12,21 @@ ;;;; Machine Architecture parameters: (eval-when (:compile-toplevel :load-toplevel :execute) -(def!constant n-word-bits 32 - #!+sb-doc - "Number of bits per word where a word holds one lisp descriptor.") +;;; number of bits per word where a word holds one lisp descriptor +(def!constant n-word-bits 32) -(def!constant n-byte-bits 8 - #!+sb-doc - "Number of bits per byte where a byte is the smallest addressable object.") +;;; the natural width of a machine word (as seen in e.g. register width, +;;; address space) +(def!constant n-machine-word-bits 32) -(def!constant word-shift (1- (integer-length (/ n-word-bits n-byte-bits))) - #!+sb-doc - "Number of bits to shift between word addresses and byte addresses.") +;;; number of bits per byte where a byte is the smallest addressable object +(def!constant n-byte-bits 8) -(def!constant n-word-bytes (/ n-word-bits n-byte-bits) - #!+sb-doc - "Number of bytes in a word.") - -(def!constant n-fixnum-tag-bits (1- n-lowtag-bits) - #!+sb-doc - "Number of tag bits used for a fixnum") - -(def!constant fixnum-tag-mask (1- (ash 1 n-fixnum-tag-bits)) - #!+sb-doc - "Mask to get the fixnum tag") - -(def!constant n-positive-fixnum-bits (- n-word-bits n-fixnum-tag-bits 1) - #!+sb-doc - "Maximum number of bits in a positive fixnum") +;;; flags for the generational garbage collector +(def!constant pseudo-atomic-interrupted-flag 1) +(def!constant pseudo-atomic-flag + ;; Must be (ash 1 (1- sb-vm:n-lowtag-bits)) for cheneygc ALLOCATION. + 4) (def!constant float-sign-shift 31) @@ -91,10 +79,10 @@ (def!constant float-round-to-positive 2) (def!constant float-round-to-negative 3) -(defconstant-eqx float-rounding-mode (byte 2 30) #'equalp) ; RD -(defconstant-eqx float-sticky-bits (byte 5 5) #'equalp) ; aexc -(defconstant-eqx float-traps-byte (byte 5 23) #'equalp) ; TEM -(defconstant-eqx float-exceptions-byte (byte 5 0) #'equalp) ; cexc +(defconstant-eqx float-rounding-mode (byte 2 30) #'equalp) ; RD +(defconstant-eqx float-sticky-bits (byte 5 5) #'equalp) ; aexc +(defconstant-eqx float-traps-byte (byte 5 23) #'equalp) ; TEM +(defconstant-eqx float-exceptions-byte (byte 5 0) #'equalp) ; cexc ;;; According to the SPARC doc (as opposed to FPU doc), the fast mode ;;; bit (EFM) is "reserved", and should always be zero. However, for @@ -104,90 +92,111 @@ ); eval-when -;;; NUMBER-STACK-DISPLACEMENT -;;; -;;; The number of bytes reserved above the number stack pointer. These -;;; slots are required by architecture for a place to spill register windows. -;;; -;;; FIXME: Where is this used? -(def!constant number-stack-displacement - (* 16 n-word-bytes)) - ;;;; Description of the target address space. ;;; Where to put the different spaces. Must match the C code! -#!+linux +#!+(and linux cheneygc) +(progn + (def!constant linkage-table-space-start #x0f800000) + (def!constant linkage-table-space-end #x10000000) + + (def!constant read-only-space-start #x11000000) + (def!constant read-only-space-end #x15000000) + + (def!constant static-space-start #x28000000) + (def!constant static-space-end #x2c000000) + + (def!constant dynamic-0-space-start #x30000000) + (def!constant dynamic-0-space-end #x38000000) + + (def!constant dynamic-1-space-start #x40000000) + (def!constant dynamic-1-space-end #x48000000)) + +#!+(and linux gencgc) ; sensibly small read-only and static spaces (progn - (def!constant read-only-space-start #x10000000) - (def!constant read-only-space-end #x15000000) + (def!constant linkage-table-space-start #x0f800000) + (def!constant linkage-table-space-end #x10000000) - (def!constant static-space-start #x28000000) - (def!constant static-space-end #x2c000000) + (def!constant read-only-space-start #x11000000) + (def!constant read-only-space-end #x110ff000) - ;; From alpha/parms.lisp: - ;; this is used in PURIFY as part of a sloppy check to see if a pointer - ;; is in dynamic space. Chocolate brownie for the first person to fix it - ;; -dan 20010502 - (def!constant dynamic-space-start #x30000000) - (def!constant dynamic-space-end #x38000000) + (def!constant static-space-start #x11100000) + (def!constant static-space-end #x111ff000) - (def!constant dynamic-0-space-start #x30000000) - (def!constant dynamic-0-space-end #x38000000) - - (def!constant dynamic-1-space-start #x40000000) - (def!constant dynamic-1-space-end #x48000000) + (def!constant dynamic-space-start #x30000000) + (def!constant dynamic-space-end (!configure-dynamic-space-end))) - (def!constant control-stack-start #x50000000) - (def!constant control-stack-end #x51000000) +#!+(and sunos cheneygc) ; might as well start by trying the same numbers +(progn + (def!constant linkage-table-space-start #x0f800000) + (def!constant linkage-table-space-end #x10000000) + + (def!constant read-only-space-start #x11000000) + (def!constant read-only-space-end #x15000000) + + (def!constant static-space-start #x28000000) + (def!constant static-space-end #x2c000000) + + (def!constant dynamic-0-space-start #x30000000) + (def!constant dynamic-0-space-end #x38000000) - (def!constant binding-stack-start #x60000000) - (def!constant binding-stack-end #x61000000)) + (def!constant dynamic-1-space-start #x40000000) + (def!constant dynamic-1-space-end #x48000000)) -#!+sunos ; might as well start by trying the same numbers +#!+(and sunos gencgc) ; sensibly small read-only and static spaces (progn - (def!constant read-only-space-start #x10000000) - (def!constant read-only-space-end #x15000000) - - (def!constant static-space-start #x28000000) - (def!constant static-space-end #x2c000000) + (def!constant linkage-table-space-start #x0f800000) + (def!constant linkage-table-space-end #x10000000) - (def!constant dynamic-space-start #x30000000) - (def!constant dynamic-space-end #x38000000) + (def!constant read-only-space-start #x11000000) + (def!constant read-only-space-end #x110ff000) - (def!constant dynamic-0-space-start #x30000000) - (def!constant dynamic-0-space-end #x38000000) - - (def!constant dynamic-1-space-start #x40000000) - (def!constant dynamic-1-space-end #x48000000) + (def!constant static-space-start #x11100000) + (def!constant static-space-end #x111ff000) + + (def!constant dynamic-space-start #x30000000) + (def!constant dynamic-space-end (!configure-dynamic-space-end))) + +#!+netbsd ; Need a gap at 0x4000000 for shared libraries +(progn + (def!constant linkage-table-space-start #x0f800000) + (def!constant linkage-table-space-end #x10000000) - (def!constant control-stack-start #x50000000) - (def!constant control-stack-end #x51000000) + (def!constant read-only-space-start #x11000000) + (def!constant read-only-space-end #x15000000) - (def!constant binding-stack-start #x60000000) - (def!constant binding-stack-end #x61000000)) + (def!constant static-space-start #x18000000) + (def!constant static-space-end #x1c000000) + + (def!constant dynamic-0-space-start #x48000000) + (def!constant dynamic-0-space-end #x5ffff000) + + (def!constant dynamic-1-space-start #x60000000) + (def!constant dynamic-1-space-end #x77fff000)) + +;; Size of one linkage-table entry in bytes. See comment in +;; src/runtime/sparc-arch.c +(def!constant linkage-table-entry-size 16) ;;;; other random constants. -(defenum (:suffix -trap :start 8) - halt - pending-interrupt - error - cerror - breakpoint - fun-end-breakpoint - after-breakpoint) - -(defenum (:prefix object-not- :suffix -trap :start 16) - list - instance) - -(defenum (:prefix trace-table-) - normal - call-site - fun-prologue - fun-epilogue) +(defenum (:start 8) + halt-trap + pending-interrupt-trap + error-trap + cerror-trap + breakpoint-trap + fun-end-breakpoint-trap + after-breakpoint-trap + single-step-around-trap + single-step-before-trap + #!+gencgc allocation-trap) + +(defenum (:start 24) + object-not-list-trap + object-not-instance-trap) ;;;; static symbols. @@ -200,48 +209,17 @@ ;;; can be loaded directly out of them by indirecting relative to NIL. ;;; (defparameter *static-symbols* - '(t - - ;; The C startup code must fill these in. - *posix-argv* - ;;lisp::lisp-environment-list - ;;lisp::lisp-command-line-list - sb!impl::*!initial-fdefn-objects* - - ;; Functions that the C code needs to call - maybe-gc - sb!kernel::internal-error - sb!di::handle-breakpoint - sb!di::handle-fun-end-breakpoint - - ;; Free Pointers. - *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* - - ;; Interrupt Handling - *free-interrupt-context-index* - sb!unix::*interrupts-enabled* - sb!unix::*interrupt-pending* - )) + (append + *common-static-symbols* + *c-callable-static-symbols* + '(#!+gencgc *restart-lisp-function*))) (defparameter *static-funs* '(length two-arg-+ two-arg-- two-arg-* two-arg-/ two-arg-< two-arg-> two-arg-= two-arg-<= two-arg->= two-arg-/= eql %negate - two-arg-and two-arg-ior two-arg-xor - two-arg-gcd two-arg-lcm - )) - -;;;; Assembler parameters: - -;;; The number of bits per element in the assemblers code vector. -(defparameter *assembly-unit-length* 8) - + two-arg-and two-arg-ior two-arg-xor two-arg-eqv + two-arg-gcd two-arg-lcm)) ;;;; Pseudo-atomic trap number