X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fmips%2Fvm.lisp;h=78448a3a54d5a8d4aad46ee538d024767f3d1460;hb=8a8568603cc7cacd188fe1cac18824a69bece6af;hp=fb2eeb321f3abe370177061a374ca9974e07ac3f;hpb=4ae1b794a5d6a90794468cf8017f5307f2c30dfe;p=sbcl.git diff --git a/src/compiler/mips/vm.lisp b/src/compiler/mips/vm.lisp index fb2eeb3..78448a3 100644 --- a/src/compiler/mips/vm.lisp +++ b/src/compiler/mips/vm.lisp @@ -1,3 +1,14 @@ +;;;; miscellaneous VM definition noise for MIPS + +;;;; 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") @@ -9,7 +20,7 @@ (macrolet ((defreg (name offset) (let ((offset-sym (symbolicate name "-OFFSET"))) `(eval-when (:compile-toplevel :load-toplevel :execute) - (defconstant ,offset-sym ,offset) + (def!constant ,offset-sym ,offset) (setf (svref *register-names* ,offset-sym) ,(symbol-name name))))) (defregset (name &rest regs) @@ -93,7 +104,7 @@ ((null classes) (nreverse forms)))) -(def!constant sb!vm::kludge-nondeterministic-catch-block-size 7) +(def!constant kludge-nondeterministic-catch-block-size 7) (!define-storage-classes @@ -113,7 +124,7 @@ ;; The non-descriptor stacks. (signed-stack non-descriptor-stack) ; (signed-byte 32) (unsigned-stack non-descriptor-stack) ; (unsigned-byte 32) - (base-char-stack non-descriptor-stack) ; non-descriptor characters. + (character-stack non-descriptor-stack) ; non-descriptor characters. (sap-stack non-descriptor-stack) ; System area pointers. (single-stack non-descriptor-stack) ; single-floats (double-stack non-descriptor-stack :element-size 2) ; double floats. @@ -145,12 +156,12 @@ :alternate-scs (control-stack)) ;; Non-Descriptor characters - (base-char-reg registers + (character-reg registers :locations #.non-descriptor-regs :reserve-locations #.reserve-non-descriptor-regs :constant-scs (immediate) :save-p t - :alternate-scs (base-char-stack)) + :alternate-scs (character-stack)) ;; Non-Descriptor SAP's (arbitrary pointers into address space) (sap-reg registers @@ -220,7 +231,7 @@ :alternate-scs (complex-double-stack)) ;; A catch or unwind block. - (catch-block control-stack :element-size sb!vm::kludge-nondeterministic-catch-block-size) + (catch-block control-stack :element-size kludge-nondeterministic-catch-block-size) ;; floating point numbers temporarily stuck in integer registers for c-call (single-int-carg-reg registers @@ -263,12 +274,8 @@ (defregtn nsp any-reg) (defregtn nfp any-reg)) -;;; -;;; Immediate-Constant-SC -- Interface -;;; -;;; If value can be represented as an immediate constant, then return the +;;; If VALUE can be represented as an immediate constant, then return the ;;; appropriate SC number, otherwise return NIL. -;;; (!def-vm-support-routine immediate-constant-sc (value) (typecase value ((integer 0 0) @@ -279,7 +286,7 @@ (if (static-symbol-p value) (sc-number-or-lose 'immediate) nil)) - ((signed-byte 30) + ((integer #.sb!xc:most-negative-fixnum sb!xc:most-positive-fixnum) (sc-number-or-lose 'immediate)) (system-area-pointer (sc-number-or-lose 'immediate)) @@ -314,7 +321,7 @@ ;;; (defconstant-eqx register-arg-names '(a0 a1 a2 a3 a4 a5) #'equal) -); Eval-When (Compile Load Eval) +) ; EVAL-WHEN ;;; A list of TN's describing the register arguments. @@ -326,18 +333,11 @@ :offset n)) *register-arg-offsets*)) -;;; SINGLE-VALUE-RETURN-BYTE-OFFSET -;;; ;;; This is used by the debugger. -;;; (defconstant single-value-return-byte-offset 8) - -;;; LOCATION-PRINT-NAME -- Interface -;;; -;;; This function is called by debug output routines that want a pretty name +;;; This function is called by debug output routines that want a pretty name ;;; for a TN's location. It returns a thing that can be printed with PRINC. -;;; (!def-vm-support-routine location-print-name (tn) (declare (type tn tn)) (let ((sb (sb-name (sc-sb (tn-sc tn)))) @@ -352,5 +352,10 @@ (immediate-constant "Immed")))) (defun extern-alien-name (name) - (declare (type simple-base-string name)) - name) + (declare (type string name)) + ;; ELF ports currently don't need any prefix + (typecase name + (simple-base-string name) + (base-string (coerce name 'simple-base-string)) + (t (handler-case (coerce name 'simple-base-string) + (type-error () (error "invalid external alien name: ~S" name))))))