X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fppc%2Fparms.lisp;h=c9070878137f11c985bb12aac81abeac4807904d;hb=315285fcf8bf1f7e732da307cfaf31f18f412811;hp=fd0664f661146b14d46ab1ea19fd22826119ea6f;hpb=359a6c88dfc80fbae9bdae5251ce0976d003355c;p=sbcl.git diff --git a/src/compiler/ppc/parms.lisp b/src/compiler/ppc/parms.lisp index fd0664f..c907087 100644 --- a/src/compiler/ppc/parms.lisp +++ b/src/compiler/ppc/parms.lisp @@ -1,6 +1,6 @@ ;;;; 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. @@ -24,6 +24,9 @@ ;;; 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) @@ -61,14 +64,14 @@ (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-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. +;;; same. ;;; ;;; 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 @@ -77,60 +80,95 @@ ;;; 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 +(defconstant-eqx float-exceptions-byte (byte 5 25) #'equalp) ; cexc -(def!constant float-fast-bit 2) ; Non-IEEE mode +(def!constant float-fast-bit 2) ; Non-IEEE mode -;;; Where to put the different spaces. +;;;; Where to put the different spaces. -(def!constant read-only-space-start #x01000000) -(def!constant read-only-space-end #x04ff8000) +;;; 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)) -(def!constant static-space-start #x08000000) -(def!constant static-space-end #x097fff00) +;;; While on gencgc we don't. +#!+gencgc +(!gencgc-space-setup #x04000000 + #!+linux #x4f000000 + #!+netbsd #x4f000000 + #!+openbsd #x4f000000 + #!+darwin #x10000000) -;;; 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) +(def!constant linkage-table-entry-size 16) -;;; 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) +#!+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 - (def!constant linkage-table-space-start #x50000000) - (def!constant linkage-table-space-end #x51000000) - (def!constant linkage-table-entry-size 16)) + #!-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 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) - +;;;; 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. @@ -144,40 +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* - - ;; functions that the C code needs to call - sb!impl::sub-gc - sb!kernel::internal-error - sb!kernel::control-stack-exhausted-error - sb!kernel::undefined-alien-variable-error - sb!kernel::undefined-alien-function-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* - - *binding-stack-start* - *control-stack-start* - *control-stack-end* - - ;; 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* + + ;; 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 @@ -189,7 +204,7 @@ 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 @@ -199,10 +214,3 @@ 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)