Skip to content
Snippets Groups Projects
Commit d84f2279 authored by wlott's avatar wlott
Browse files

Added defknowns for get-header-data and set-header-data. Changed

dynamic-space-free-pointer, etc, to return the type system-area-pointer
not (system-area-pointer).
parent e8705f32
No related branches found
No related tags found
No related merge requests found
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
;;; Scott Fahlman (FAHLMAN@CMUC). ;;; Scott Fahlman (FAHLMAN@CMUC).
;;; ********************************************************************** ;;; **********************************************************************
;;; ;;;
;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/generic/vm-fndb.lisp,v 1.15 1990/06/22 17:31:33 wlott Exp $ ;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/generic/vm-fndb.lisp,v 1.16 1990/06/25 21:17:16 wlott Exp $
;;; ;;;
;;; This file defines the machine specific function signatures. ;;; This file defines the machine specific function signatures.
;;; ;;;
...@@ -73,6 +73,12 @@ ...@@ -73,6 +73,12 @@
(flushable)) (flushable))
(defknown get-header-data (t) (unsigned-byte 24)
(flushable))
(defknown set-header-data (t (unsigned-byte 24)) t
(unsafe))
(defknown %raw-bits (t fixnum) (unsigned-byte 32) (defknown %raw-bits (t fixnum) (unsigned-byte 32)
(foldable flushable)) (foldable flushable))
(defknown ((setf %raw-bits)) (t fixnum (unsigned-byte 32)) (unsigned-byte 32) (defknown ((setf %raw-bits)) (t fixnum (unsigned-byte 32)) (unsigned-byte 32)
...@@ -85,7 +91,7 @@ ...@@ -85,7 +91,7 @@
(defknown (dynamic-space-free-pointer binding-stack-pointer-sap (defknown (dynamic-space-free-pointer binding-stack-pointer-sap
control-stack-pointer-sap) () control-stack-pointer-sap) ()
(system-area-pointer) system-area-pointer
(flushable)) (flushable))
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment