source: trunk/abcl/src/org/armedbear/lisp/compiler-types.lisp @ 14215

Last change on this file since 14215 was 13535, checked in by ehuelsmann, 9 years ago

Moving huge object serialization from <init>() to <clinit>()
broke the code generation for that special case -- there's no longer
a 'this' variable to be loaded. Replace with <this class>.class.

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 9.7 KB
Line 
1;;; compiler-types.lisp
2;;;
3;;; Copyright (C) 2005-2006 Peter Graves
4;;; $Id: compiler-types.lisp 13535 2011-08-23 20:35:32Z ehuelsmann $
5;;;
6;;; This program is free software; you can redistribute it and/or
7;;; modify it under the terms of the GNU General Public License
8;;; as published by the Free Software Foundation; either version 2
9;;; of the License, or (at your option) any later version.
10;;;
11;;; This program is distributed in the hope that it will be useful,
12;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
13;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14;;; GNU General Public License for more details.
15;;;
16;;; You should have received a copy of the GNU General Public License
17;;; along with this program; if not, write to the Free Software
18;;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
19;;;
20;;; As a special exception, the copyright holders of this library give you
21;;; permission to link this library with independent modules to produce an
22;;; executable, regardless of the license terms of these independent
23;;; modules, and to copy and distribute the resulting executable under
24;;; terms of your choice, provided that you also meet, for each linked
25;;; independent module, the terms and conditions of the license of that
26;;; module.  An independent module is a module which is not derived from
27;;; or based on this library.  If you modify this library, you may extend
28;;; this exception to your version of the library, but you are not
29;;; obligated to do so.  If you do not wish to do so, delete this
30;;; exception statement from your version.
31
32;;; Type information that matters to the compiler.
33
34(in-package #:system)
35
36(export '(+true-type+
37          +false-type+
38          integer-type-low
39          integer-type-high
40          integer-type-p
41          %make-integer-type
42          make-integer-type
43          +fixnum-type+
44          +integer-type+
45          fixnum-type-p
46          fixnum-constant-value
47          integer-constant-value
48          java-long-type-p
49          make-compiler-type
50          compiler-subtypep
51          function-result-type
52          defknown))
53
54(defstruct constant-type value)
55
56(defconst +true-type+ (make-constant-type :value t))
57
58(defconst +false-type+ (make-constant-type :value nil))
59
60(defstruct (integer-type (:constructor %make-integer-type (low high)))
61  low
62  high)
63
64(defconstant +fixnum-type+  (%make-integer-type most-negative-fixnum
65                                                most-positive-fixnum))
66
67(defconstant +integer-type+ (%make-integer-type nil nil))
68
69(declaim (ftype (function (t) t) make-integer-type))
70(defun make-integer-type (type)
71  (if (integer-type-p type)
72      type
73      (cond ((eq type 'FIXNUM)
74             +fixnum-type+)
75            ((eq type 'INTEGER)
76             +integer-type+)
77            (t
78             (setf type (normalize-type type))
79             (when (and (consp type) (eq (%car type) 'INTEGER))
80               (let ((low (second type))
81                     (high (third type)))
82                 (if (eq low '*)
83                     (setf low nil)
84                     (when (and (consp low) (integerp (%car low)))
85                       (setf low (1+ (%car low)))))
86                 (if (eq high '*)
87                     (setf high nil)
88                     (when (and (consp high) (integerp (%car high)))
89                       (setf high (1- (%car high)))))
90                 (%make-integer-type low high)))))))
91
92(declaim (ftype (function (t) t) fixnum-type-p))
93(defun fixnum-type-p (compiler-type)
94  (and (integer-type-p compiler-type)
95       (fixnump (integer-type-low compiler-type))
96       (fixnump (integer-type-high compiler-type))))
97
98(declaim (ftype (function (t) t) fixnum-constant-value))
99(defun fixnum-constant-value (compiler-type)
100  (when (and compiler-type (integer-type-p compiler-type))
101    (let ((low (integer-type-low compiler-type))
102          high)
103      (when (fixnump low)
104        (setf high (integer-type-high compiler-type))
105        (when (and (fixnump high) (= high low))
106          high)))))
107
108(declaim (ftype (function (t) t) integer-constant-value))
109(defun integer-constant-value (compiler-type)
110  (when (and compiler-type (integer-type-p compiler-type))
111    (let ((low (integer-type-low compiler-type))
112          high)
113      (when (integerp low)
114        (setf high (integer-type-high compiler-type))
115        (when (and (integerp high) (= high low))
116          high)))))
117
118(declaim (ftype (function (t) t) java-long-type-p))
119(defun java-long-type-p (compiler-type)
120  (and (integer-type-p compiler-type)
121       (typep (integer-type-low compiler-type)
122              (list 'INTEGER most-negative-java-long most-positive-java-long))
123       (typep (integer-type-high compiler-type)
124              (list 'INTEGER most-negative-java-long most-positive-java-long))))
125
126
127(declaim (ftype (function (t t) t) make-union-type))
128(defun make-union-type (type1 type2)
129  (cond ((and (integer-type-p type1)
130              (integer-type-p type2))
131         (let ((low1 (integer-type-low type1))
132               (low2 (integer-type-low type2))
133               (high1 (integer-type-high type1))
134               (high2 (integer-type-high type2)))
135           (if (and low1 low2 high1 high2)
136               (%make-integer-type (min low1 low2) (max high1 high2))
137               +integer-type+)))
138        (t
139         t)))
140
141(declaim (ftype (function (t) t) make-compiler-type))
142(defun make-compiler-type (typespec)
143  (cond ((integer-type-p typespec)
144         typespec)
145        ((constant-type-p typespec)
146         typespec)
147        ((eq typespec 'SINGLE-FLOAT)
148         'SINGLE-FLOAT)
149        ((eq typespec 'DOUBLE-FLOAT)
150         'DOUBLE-FLOAT)
151        ((and (consp typespec)
152              (eq (%car typespec) 'SINGLE-FLOAT))
153         'SINGLE-FLOAT)
154        ((and (consp typespec)
155              (eq (%car typespec) 'DOUBLE-FLOAT))
156         'DOUBLE-FLOAT)
157        (t
158         (let ((type (normalize-type typespec)))
159           (cond ((consp type)
160                  (let ((car (%car type)))
161                    (cond ((eq car 'INTEGER)
162                           (make-integer-type type))
163                          ((eq car 'SINGLE-FLOAT)
164                           'SINGLE-FLOAT)
165                          ((eq car 'DOUBLE-FLOAT)
166                           'DOUBLE-FLOAT)
167                          ((memq car '(STRING SIMPLE-STRING LIST))
168                           car)
169                          ((memq car '(VECTOR SIMPLE-VECTOR ARRAY SIMPLE-ARRAY))
170                           type)
171                          ((eq car 'OR)
172                           (case (length (cdr type))
173                             (1
174                              (make-compiler-type (second type)))
175                             (2
176                              (make-union-type (make-compiler-type (second type))
177                                               (make-compiler-type (third type))))
178                             (t
179                              t)))
180                          ((subtypep type 'FIXNUM)
181                           +fixnum-type+)
182                          (t
183                           t))))
184                 ((memq type '(BOOLEAN CHARACTER HASH-TABLE STREAM SYMBOL))
185                  type)
186                 ((eq type 'INTEGER)
187                  (%make-integer-type nil nil))
188                 (t
189                  t))))))
190
191(defun integer-type-subtypep (type1 typespec)
192  (if (eq typespec 'INTEGER)
193      t
194      (let ((type2 (make-integer-type typespec)))
195        (when type2
196          (let ((low1 (integer-type-low type1))
197                (high1 (integer-type-high type1))
198                (low2 (integer-type-low type2))
199                (high2 (integer-type-high type2)))
200            (cond ((and low1 low2 high1 high2)
201                   (and (>= low1 low2) (<= high1 high2)))
202                  ((and low1 low2 (< low1 low2))
203                   nil)
204                  ((and high1 high2) (> high1 high2)
205                   nil)
206                  ((and (null low1) low2)
207                   nil)
208                  ((and (null high1) high2)
209                   nil)
210                  (t
211                   t)))))))
212
213(declaim (ftype (function (t t) t) compiler-subtypep))
214(defun compiler-subtypep (compiler-type typespec)
215  (cond ((eq typespec t)
216         t)
217        ((eq compiler-type t)
218         nil)
219        ((eq compiler-type typespec)
220         t)
221        ((eq typespec 'STRING)
222         (eq compiler-type 'SIMPLE-STRING))
223        ((integer-type-p compiler-type)
224         (integer-type-subtypep compiler-type typespec))
225        (t
226         (values (subtypep compiler-type typespec)))))
227
228(declaim (type hash-table *function-result-types*))
229(defvar *function-result-types* (make-hash-table :test 'equal))
230
231(declaim (ftype (function (t) t) function-result-type))
232(defun function-result-type (name)
233  (if (symbolp name)
234      (get name 'function-result-type)
235      (gethash1 name *function-result-types*)))
236
237(declaim (ftype (function (t t) t) set-function-result-type))
238(defun set-function-result-type (name result-type)
239  (if (symbolp name)
240      (setf (get name 'function-result-type) result-type)
241      (setf (gethash name *function-result-types*) result-type)))
242
243(defun %defknown (name-or-names argument-types result-type)
244  (let ((ftype `(function ,argument-types ,result-type))
245        (result-type (make-compiler-type result-type)))
246    (cond ((or (symbolp name-or-names) (setf-function-name-p name-or-names))
247           (proclaim-ftype-1 ftype name-or-names)
248           (set-function-result-type name-or-names result-type))
249          (t
250           (proclaim-ftype ftype name-or-names)
251           (dolist (name name-or-names)
252             (set-function-result-type name result-type)))))
253  name-or-names)
254
255(defmacro defknown (name-or-names argument-types result-type)
256  `(eval-when (:compile-toplevel :load-toplevel :execute)
257     (%defknown ',name-or-names ',argument-types ',result-type)))
258
259(provide '#:compiler-types)
Note: See TracBrowser for help on using the repository browser.