X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fx86-64%2Fparms.lisp;h=d03dc9bd6a9785adbb55935099ec37386f3b9bc8;hb=f3f677703e37f5a335b3be7fa64f7748ad969517;hp=702b3349a1eaa5fea41a3d20bb7be27859f63259;hpb=4ebdc81b1a9c6dbed6e98b112afc8dd32b17a2dd;p=sbcl.git

diff --git a/src/compiler/x86-64/parms.lisp b/src/compiler/x86-64/parms.lisp
index 702b334..d03dc9b 100644
--- a/src/compiler/x86-64/parms.lisp
+++ b/src/compiler/x86-64/parms.lisp
@@ -35,12 +35,6 @@
 ;;; addressable object
 (def!constant n-byte-bits 8)
 
-;;; the number of bits to shift between word addresses and byte addresses
-(def!constant word-shift (1- (integer-length (/ n-word-bits n-byte-bits))))
-
-;;; the number of bytes in a word
-(def!constant n-word-bytes (/ n-word-bits n-byte-bits))
-
 (def!constant float-sign-shift 31)
 
 ;;; comment from CMU CL:
@@ -66,24 +60,13 @@
 (def!constant double-float-hidden-bit (ash 1 20))
 (def!constant double-float-trapping-nan-bit (ash 1 19))
 
-(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)
-(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))
-
 (def!constant single-float-digits
   (+ (byte-size single-float-significand-byte) 1))
 
 (def!constant double-float-digits
   (+ (byte-size double-float-significand-byte) 32 1))
 
-(def!constant long-float-digits
-  (+ (byte-size long-float-significand-byte) 32 1))
-
-;;; pfw -- from i486 microprocessor programmer's reference manual
+;;; from AMD64 Architecture manual
 (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))
@@ -96,27 +79,29 @@
 (def!constant float-round-to-positive 2)
 (def!constant float-round-to-zero     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)
-(def!constant float-fast-bit 0) ; no fast mode on x86
+(defconstant-eqx float-rounding-mode     (byte 2 13) #'equalp)
+(defconstant-eqx float-sticky-bits       (byte 6  0) #'equalp)
+(defconstant-eqx float-traps-byte        (byte 6  7) #'equalp)
+(defconstant-eqx float-exceptions-byte   (byte 6  0) #'equalp)
+(def!constant float-fast-bit 0) ; no fast mode on x86-64
 
 ;;;; description of the target address space
 
-;;; where to put the different spaces.  untested (copied from x86, in fact)
+;;; where to put the different spaces.
 
+(def!constant read-only-space-start     #x20000000)
+(def!constant read-only-space-end       #x27ff0000)
 
-(def!constant read-only-space-start #x01000000)
-(def!constant read-only-space-end   #x037ff000)
+(def!constant static-space-start        #x40000000)
+(def!constant static-space-end          #x47fff000)
 
-(def!constant static-space-start    #x05000000)
-(def!constant static-space-end      #x07fff000)
+(def!constant dynamic-space-start   #x1000000000)
+(def!constant dynamic-space-end     #x11ffff0000)
 
-(def!constant dynamic-space-start   #x09000000)
-(def!constant dynamic-space-end     #x29000000)
+(def!constant linkage-table-space-start #x60000000)
+(def!constant linkage-table-space-end   #x63fff000)
 
+(def!constant linkage-table-entry-size 16)
 
 ;;;; other miscellaneous constants
 
@@ -164,6 +149,9 @@
 
 ;;; FIXME: !COLD-INIT probably doesn't need
 ;;; to be in the static symbols table any more.
+;;;
+;;; FIXME: some of these symbols are shared by all backends,
+;;; and should be factored out into a common file.
 (defparameter *static-symbols*
   '(t
 
@@ -175,6 +163,9 @@
     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!kernel::memory-fault-error
     sb!di::handle-breakpoint
     fdefinition-object
     #!+sb-thread sb!thread::handle-thread-exit
@@ -209,19 +200,13 @@
     *control-stack-start*
     *control-stack-end*
 
+    *need-to-collect-garbage*
+
     ;; 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*
 
     ;; The ..SLOT-UNBOUND.. symbol is static in order to optimise the
     ;; common slot unbound check.
@@ -247,9 +232,3 @@
     sb!kernel:two-arg-xor
     sb!kernel:two-arg-gcd
     sb!kernel:two-arg-lcm))
-
-;;;; stuff added by jrd
-
-;;; FIXME: Is this used? Delete it or document it.
-;;; cf the sparc PARMS.LISP
-(defparameter *assembly-unit-length* 8)