X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fppc%2Fparms.lisp;h=c9070878137f11c985bb12aac81abeac4807904d;hb=315285fcf8bf1f7e732da307cfaf31f18f412811;hp=5b87bcc74b1df470d6c047576f8ec412c4e2d2b4;hpb=db0691b05cc99ce010ecae78bb532b594aea1859;p=sbcl.git diff --git a/src/compiler/ppc/parms.lisp b/src/compiler/ppc/parms.lisp index 5b87bcc..c907087 100644 --- a/src/compiler/ppc/parms.lisp +++ b/src/compiler/ppc/parms.lisp @@ -1,22 +1,32 @@ ;;;; This file contains some parameterizations of various VM -;;;; attributes for the PPC. This file is separate from other stuff so -;;;; that it can be compiled and loaded earlier. - +;;;; attributes for the PPC. This file is separate from other stuff so +;;;; that it can be compiled and loaded earlier. + +;;;; This software is part of the SBCL system. See the README file for +;;;; more information. +;;;; +;;;; This software is derived from the CMU CL system, which was +;;;; written at Carnegie Mellon University and released into the +;;;; public domain. The software is in the public domain and is +;;;; provided with absolutely no warranty. See the COPYING and CREDITS +;;;; files for more information. (in-package "SB!VM") -(def!constant n-word-bits 32 - "Number of bits per word where a word holds one lisp descriptor.") - -(def!constant n-byte-bits 8 - "Number of bits per byte where a byte is the smallest addressable object.") +;;; number of bits per word where a word holds one lisp descriptor +(def!constant n-word-bits 32) -(def!constant word-shift (1- (integer-length (/ n-word-bits n-byte-bits))) - "Number of bits to shift between word addresses and byte addresses.") +;;; 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 n-word-bytes (/ n-word-bits n-byte-bits) - "Number of bytes in a word.") +;;; number of bits per byte where a byte is the smallest addressable +;;; object +(def!constant n-byte-bits 8) +;;; flags for the generational garbage collector +(def!constant pseudo-atomic-interrupted-flag 1) +(def!constant pseudo-atomic-flag 4) (def!constant float-sign-shift 31) @@ -54,78 +64,111 @@ (def!constant float-round-to-positive 2) (def!constant float-round-to-negative 3) -(defconstant-eqx float-rounding-mode (byte 2 0) #'equalp) ; RD -(defconstant-eqx float-sticky-bits (byte 10 19) #'equalp) -(defconstant-eqx float-traps-byte (byte 6 3) #'equalp) -(defconstant-eqx float-exceptions-byte (byte 5 0) #'equalp) ; cexc - -(def!constant float-fast-bit 2) ; Non-IEEE mode - - -;;; NUMBER-STACK-DISPLACEMENT +(defconstant-eqx float-rounding-mode (byte 2 0) #'equalp) ; RD +;;; FIXME I: Beware, all ye who trespass here. Despite its name, +;;; FLOAT-STICKY-BITS is not the byte specifier for sticky bits in the +;;; floating point control word. It is more like "accrued exceptions" +;;; where FLOAT-EXCEPTIONS-BYTE is "current exceptions". Consequently, +;;; on architectures where there is no "current exceptions" +;;; FLOAT-EXCEPTIONS-BYTE and FLOAT-STICKY-BITS had better be the +;;; same. ;;; -;;; The number of bytes reserved above the number stack pointer. These -;;; slots are required by architecture, mostly (?) to make C backtrace -;;; work. -;;; -(def!constant number-stack-displacement - (* 2 sb!vm:n-word-bytes)) - - - - -;;; Where to put the different spaces. -;;; - -(def!constant read-only-space-start #x01000000) -(def!constant read-only-space-end #x04ff8000) - -(def!constant binding-stack-start #x06000000) -(def!constant binding-stack-end #x06ff0000) - -(def!constant control-stack-start #x07000000) -(def!constant control-stack-end #x07ff0000) - -(def!constant static-space-start #x08000000) -(def!constant static-space-end #x097fff00) - -;;; FIXME: this is a gross violation of OAOO, done purely to support -;;; the #define of DYNAMIC_SPACE_SIZE in validate.c -- CSR, 2002-02-25 -;;; (these numbers should match dynamic-0-*) -(def!constant dynamic-space-start #x40000000) -(def!constant dynamic-space-end #x47fff000) - -;;; nothing _seems_ to be using these addresses -(def!constant dynamic-0-space-start #x40000000) -(def!constant dynamic-0-space-end #x47fff000) -(def!constant dynamic-1-space-start #x48000000) -(def!constant dynamic-1-space-end #x4ffff000) - +;;; FIXME II: So, I've now documented this in comments in the PowerPC +;;; tree. This may not make it easy to find for when new architectures +;;; get backends written... +;;; +;;; CSR, 2002-06-11 +(defconstant-eqx float-sticky-bits (byte 5 25) #'equalp) +(defconstant-eqx float-traps-byte (byte 5 3) #'equalp) +(defconstant-eqx float-exceptions-byte (byte 5 25) #'equalp) ; cexc +(def!constant float-fast-bit 2) ; Non-IEEE mode -;;;; Other random constants. - -(defenum (:suffix -trap :start 8) - halt - pending-interrupt - error - cerror - breakpoint - fun-end-breakpoint - after-breakpoint - fixnum-additive-overflow) - -(defenum (:prefix object-not- :suffix -trap :start 16) - list - instance) - -(defenum (:prefix trace-table-) - normal - call-site - fun-prologue - fun-epilogue) - +;;;; Where to put the different spaces. + +;;; On non-gencgc we need large dynamic and static spaces for PURIFY +#!-gencgc +(progn + (def!constant read-only-space-start #x04000000) + (def!constant read-only-space-end #x07ff8000) + (def!constant static-space-start #x08000000) + (def!constant static-space-end #x097fff00) + + (def!constant linkage-table-space-start #x0a000000) + (def!constant linkage-table-space-end #x0b000000)) + +;;; While on gencgc we don't. +#!+gencgc +(!gencgc-space-setup #x04000000 + #!+linux #x4f000000 + #!+netbsd #x4f000000 + #!+openbsd #x4f000000 + #!+darwin #x10000000) + +(def!constant linkage-table-entry-size 16) + +#!+linux +(progn + #!-gencgc + (progn + (def!constant dynamic-0-space-start #x4f000000) + (def!constant dynamic-0-space-end #x66fff000) + (def!constant dynamic-1-space-start #x67000000) + (def!constant dynamic-1-space-end #x7efff000))) + +#!+netbsd +(progn + #!-gencgc + (progn + (def!constant dynamic-0-space-start #x4f000000) + (def!constant dynamic-0-space-end #x66fff000) + (def!constant dynamic-1-space-start #x67000000) + (def!constant dynamic-1-space-end #x7efff000))) + +;;; Text and data segments start at #x01800000. Range for randomized +;;; malloc() starts #x20000000 (MAXDSIZ) after end of data seg and +;;; extends 256 MB. Use 512 - 64 MB for dynamic space so we can run +;;; under default resource limits. +;;; FIXME: MAXDSIZ is a kernel parameter, and can vary as high as 1GB. +;;; These parameters should probably be tested under such a configuration, +;;; as rare as it might or might not be. +#!+openbsd +(progn + #!-gencgc + (progn + (def!constant dynamic-0-space-start #x4f000000) + (def!constant dynamic-0-space-end #x5cfff000) + (def!constant dynamic-1-space-start #x5f000000) + (def!constant dynamic-1-space-end #x6cfff000))) + +#!+darwin +(progn + #!-gencgc + (progn + (def!constant dynamic-0-space-start #x10000000) + (def!constant dynamic-0-space-end #x3ffff000) + + (def!constant dynamic-1-space-start #x40000000) + (def!constant dynamic-1-space-end #x6ffff000))) + +;;;; Other miscellaneous constants. + +(defenum (:start 8) + halt-trap + pending-interrupt-trap + error-trap + cerror-trap + breakpoint-trap + fun-end-breakpoint-trap + after-breakpoint-trap + fixnum-additive-overflow-trap + single-step-around-trap + single-step-before-trap) + +(defenum (:start 24) + object-not-list-trap + object-not-instance-trap) ;;;; Static symbols. @@ -139,35 +182,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* - sb!impl::*initial-fdefn-objects* - - ;; Functions that the C code needs to call - ;; sb!impl::%initial-fun - sb!impl::maybe-gc - sb!kernel::internal-error - sb!di::handle-breakpoint - sb!impl::fdefinition-object - - ;; 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* - - #|sb!kernel::*current-thread*|# - )) + (append + *common-static-symbols* + *c-callable-static-symbols* + '( + #!+gencgc *restart-lisp-function* + + ;; CLH: 20060210 Taken from x86-64/parms.lisp per JES' suggestion + ;; 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*))) (defparameter *static-funs* '(length @@ -179,19 +204,13 @@ sb!kernel:two-arg-> sb!kernel:two-arg-= sb!kernel:two-arg-<= - sb!kernel:two-arg->= + sb!kernel:two-arg->= sb!kernel:two-arg-/= eql sb!kernel:%negate sb!kernel:two-arg-and sb!kernel:two-arg-ior sb!kernel:two-arg-xor + sb!kernel:two-arg-eqv sb!kernel:two-arg-gcd sb!kernel:two-arg-lcm)) - - -;;;; Assembler parameters: - -;;; The number of bits per element in the assemblers code vector. -;;; -(defparameter *assembly-unit-length* 8)