source: branches/new-random/level-0/l0-utils.lisp

Last change on this file was 13279, checked in by gb, 10 years ago

Lots of changes from "purify" branch, mostly involving:

  • new memory layout, to support x86 function purification, static cons
  • fasloader changes to load/save string constants faster

Fasl version, image version changed; new binaries for all platforms soon.

  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 6.4 KB
Line 
1; -*- Mode: Lisp;  Package: CCL; -*-
2;;;
3;;;   Copyright (C) 2009 Clozure Associates
4;;;   Copyright (C) 1994-2001 Digitool, Inc
5;;;   This file is part of Clozure CL. 
6;;;
7;;;   Clozure CL is licensed under the terms of the Lisp Lesser GNU Public
8;;;   License , known as the LLGPL and distributed with Clozure CL as the
9;;;   file "LICENSE".  The LLGPL consists of a preamble and the LGPL,
10;;;   which is distributed with Clozure CL as the file "LGPL".  Where these
11;;;   conflict, the preamble takes precedence. 
12;;;
13;;;   Clozure CL is referenced in the preamble as the "LIBRARY."
14;;;
15;;;   The LLGPL is also available online at
16;;;   http://opensource.franz.com/preamble.html
17
18
19
20; l0-utils.lisp
21
22
23(in-package "CCL")
24
25(defun %proclaim-notspecial (sym)
26  (%symbol-bits sym (logandc2 (%symbol-bits sym) (ash 1 $sym_bit_special))))
27
28
29(defun heap-area-name (code)
30  (cond ((eq code area-void) :void)
31        ((eq code area-cstack) :cstack)
32        ((eq code area-vstack) :vstack)
33        ((eq code area-tstack) :tstack)
34        ((eq code area-readonly) :readonly)
35        ((eq code area-watched) :watched)
36        ((eq code area-managed-static) :managed-static)
37        ((eq code area-static) :static)
38        ((eq code area-dynamic) :dynamic)
39        (t code)))
40
41(defun heap-area-code (name)
42  (case name
43    (:void area-void)
44    (:cstack area-cstack)
45    (:vstack area-vstack)
46    (:tstack area-tstack)
47    (:readonly area-readonly)
48    (:watched area-watched)
49    (:managed-static area-managed-static)
50    (:static area-static)
51    (:dynamic area-dynamic)
52    (t (if (and (fixnump name)
53                (<= area-readonly name area-dynamic))
54         name
55         (heap-area-code (require-type name '(member :void :cstack :vstack :tstack
56                                                     :readonly :managed-static :static :dynamic)))))))
57
58
59;;; We MAY need a scheme for finding all of the areas in a lisp library.
60(defun %map-areas (function &optional area)
61  (let* ((area (cond ((or (eq area t) (eq area nil)) nil)
62                     ((consp area) (mapcar #'heap-area-code area)) ;; list of areas
63                     (t (heap-area-code area))))
64         (mincode area-readonly)
65         (maxcode area-dynamic))
66  (declare (fixnum maxcode mincode))
67  (do* ((a (%normalize-areas) (%lisp-word-ref a (ash target::area.succ (- target::fixnumshift))))
68        (code area-dynamic (%lisp-word-ref a (ash target::area.code (- target::fixnumshift))))
69        (dynamic t nil))
70       ((= code area-void))
71    (declare (fixnum code))
72    (if (and (<= code maxcode)
73             (>= code mincode)
74             (or (null area)
75                 (eql code area)
76                 (and (consp area) (member code area))))
77      (if dynamic 
78        (walk-dynamic-area a function)
79        (unless (= code area-dynamic)        ; ignore egc areas, 'cause walk-dynamic-area sees them.
80          (walk-static-area a function)))))))
81
82
83;;; there'll be functions in static lib areas.
84;;; (Well, there would be if there were really static lib areas.)
85
86(defun %map-lfuns (f)
87  (let* ((filter #'(lambda (obj) (when (= (the fixnum (typecode obj))
88                                          target::subtag-function)
89                                   (funcall f (lfun-vector-lfun obj))))))
90    (declare (dynamic-extent filter))
91    (%map-areas filter '(:dynamic :static :managed-static :readonly))))
92
93
94(defun ensure-simple-string (s)
95  (cond ((simple-string-p s) s)
96        ((stringp s)
97         (let* ((len (length s))
98                (new (make-string len :element-type 'base-char)))
99           (declare (fixnum len)(optimize (speed 3)(safety 0)))
100           (multiple-value-bind (ss offset) (array-data-and-offset s)
101             (%copy-ivector-to-ivector ss (ash offset 2) new 0 (ash len 2)))
102           new))
103        (t (report-bad-arg s 'string))))
104
105(defun nremove (elt list)
106  (let* ((handle (cons nil list))
107         (splice handle))
108    (declare (dynamic-extent handle))
109    (loop
110      (if (eq elt (car (%cdr splice)))
111        (unless (setf (%cdr splice) (%cddr splice)) (return))
112        (unless (cdr (setq splice (%cdr splice)))
113          (return))))
114    (%cdr handle)))
115
116
117(eval-when (:compile-toplevel :execute)
118  #+32-bit-target
119  (defmacro need-use-eql-macro (key)
120    `(let* ((typecode (typecode ,key)))
121       (declare (fixnum typecode))
122       (or (= typecode target::subtag-macptr)
123           (and (>= typecode target::min-numeric-subtag)
124                (<= typecode target::max-numeric-subtag)))))
125  #+64-bit-target
126  (defmacro need-use-eql-macro (key)
127    `(let* ((typecode (typecode ,key)))
128       (declare (fixnum typecode))
129      (cond ((= typecode target::tag-fixnum) t)
130            ((= typecode target::subtag-single-float) t)
131            ((= typecode target::subtag-bignum) t)
132            ((= typecode target::subtag-double-float) t)
133            ((= typecode target::subtag-ratio) t)
134            ((= typecode target::subtag-complex) t)
135            ((= typecode target::subtag-macptr) t))))
136
137)
138
139(defun asseql (item list)
140  (if (need-use-eql-macro item)
141    (dolist (pair list)
142      (if pair
143        (if (eql item (car pair))
144          (return pair))))
145    (assq item list)))
146
147(defun assequal (item list)
148  (dolist (pair list)
149    (if pair
150      (if (equal item (car pair))
151        (return pair)))))
152
153
154;;; (memeql item list) <=> (member item list :test #'eql :key #'identity)
155(defun memeql (item list)
156  (if (need-use-eql-macro item)
157    (do* ((l list (%cdr l)))
158         ((endp l))
159      (when (eql (%car l) item) (return l)))
160    (memq item list)))
161
162(defun memequal (item list)
163  (do* ((l list (%cdr l)))
164       ((endp l))
165    (when (equal (%car l) item) (return l))))
166
167
168; (member-test item list test-fn)
169;   <=>
170;     (member item list :test test-fn :key #'identity)
171(defun member-test (item list test-fn)
172  (if (or (eq test-fn 'eq)(eq test-fn  #'eq)
173          (and (or (eq test-fn 'eql)(eq test-fn  #'eql))
174               (not (need-use-eql-macro item))))
175    (do* ((l list (cdr l)))
176         ((null l))
177      (when (eq item (car l))(return l)))
178    (if (or (eq test-fn 'eql)(eq test-fn  #'eql))
179      (do* ((l list (cdr l)))
180           ((null l))
181        (when (eql item (car l))(return l)))   
182      (do* ((l list (cdr l)))
183           ((null l))
184        (when (funcall test-fn item (car l)) (return l))))))
185
186(defun s32->u32 (s32)
187  (%stack-block ((buf 4))
188    (setf (%get-signed-long buf) s32)
189    (%get-unsigned-long buf)))
190
191(defun u32->s32 (u32)
192  (%stack-block ((buf 4))
193    (setf (%get-unsigned-long buf) u32)
194    (%get-signed-long buf)))
195
196
197; end
Note: See TracBrowser for help on using the repository browser.