From 4340ac4bee070562cafc0a88868bc58e2bc5f3b1 Mon Sep 17 00:00:00 2001 From: wlott <wlott> Date: Sat, 10 Nov 1990 18:40:23 +0000 Subject: [PATCH] Added defknowns for allocate-vector and make-array-header. --- compiler/generic/vm-fndb.lisp | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/compiler/generic/vm-fndb.lisp b/compiler/generic/vm-fndb.lisp index fdbc40c26..f39644379 100644 --- a/compiler/generic/vm-fndb.lisp +++ b/compiler/generic/vm-fndb.lisp @@ -7,7 +7,7 @@ ;;; Scott Fahlman (FAHLMAN@CMUC). ;;; ********************************************************************** ;;; -;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/generic/vm-fndb.lisp,v 1.26 1990/10/09 23:10:43 wlott Exp $ +;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/generic/vm-fndb.lisp,v 1.27 1990/11/10 18:40:23 wlott Exp $ ;;; ;;; This file defines the machine specific function signatures. ;;; @@ -18,6 +18,7 @@ (import '(lisp::%raw-bits lisp::simple-array-p)) + ;;;; Internal type predicates: ;;; @@ -105,6 +106,13 @@ (unsafe)) +(defknown allocate-vector ((unsigned-byte 8) index index) (simple-array * (*)) + (flushable movable)) + +(defknown make-array-header ((unsigned-byte 8) (unsigned-byte 24)) array + (flushable movable)) + + (defknown %make-weak-pointer (t boolean) weak-pointer (flushable)) (defknown %make-complex (real real) complex -- GitLab