named-type
member-type
array-type
- character-set-type
+ character-set-type
built-in-classoid
cons-type)
(values (%typep obj type) t))
(classoid
- (if (if (csubtypep type (specifier-type 'funcallable-instance))
+ (if (if (csubtypep type (specifier-type 'function))
(funcallable-instance-p obj)
- (typep obj 'instance))
+ (%instancep obj))
(if (eq (classoid-layout type)
(info :type :compiler-layout (classoid-name type)))
(values (sb!xc:typep obj type) t)
#!-sb-fluid (declaim (inline layout-of))
(defun layout-of (x)
(declare (optimize (speed 3) (safety 0)))
- (cond ((typep x 'instance) (%instance-layout x))
+ (cond ((%instancep x) (%instance-layout x))
((funcallable-instance-p x) (%funcallable-instance-layout x))
((null x)
;; Note: was #.((CLASS-LAYOUT (SB!XC:FIND-CLASS 'NULL))).
;; I (WHN 19990209) replaced this with an expression evaluated at
;; run time in order to make it easier to build the cross-compiler.
- ;; If it doesn't work, something else will be needed..
- (locally
- ;; KLUDGE: In order to really make this run at run time
- ;; (instead of doing some weird broken thing at cold load
- ;; time), we need to suppress a DEFTRANSFORM.. -- WHN 19991004
- (declare (notinline find-classoid))
- (classoid-layout (find-classoid 'null))))
+ ;;
+ ;; KLUDGE: Since there's a DEFTRANSFORM for FIND-CLASSOID on
+ ;; constant names which creates non-cold-loadable code, we
+ ;; can't just use (CLASSOID-LAYOUT (FIND-CLASSOID 'NULL))
+ ;; here. The original (WHN 19991004) solution was to locally
+ ;; notinline FIND-CLASSOID. However, the full call to
+ ;; FIND-CLASSOID caused suboptimal register allocation in PCL
+ ;; dfuns. So instead we now use a special variable which is
+ ;; initialized during cold init. -- JES, 2006-07-04
+ *null-classoid-layout*)
(t (svref *built-in-class-codes* (widetag-of x)))))
#!-sb-fluid (declaim (inline classoid-of))
"Return the class of the supplied object, which may be any Lisp object, not
just a CLOS STANDARD-OBJECT."
(layout-classoid (layout-of object)))
-
-;;; Pull the type specifier out of a function object.
-(defun extract-fun-type (fun)
- (specifier-type (%simple-fun-type (%closure-fun fun))))
\f
;;;; miscellaneous interfaces
(function
(if (funcallable-instance-p x)
(classoid-of x)
- (extract-fun-type x)))
+ (specifier-type (sb!impl::%fun-type x))))
(symbol
(make-member-type :members (list x)))
(number