(valid-function-name-p (cadr list)))
(define-internal-pcl-function-name-syntax sb-pcl::ctor (list)
- (valid-function-name-p (cadr list)))
-
-;;;; SLOT-VALUE optimizations
-
-(defknown slot-value (t symbol) t (any))
-(defknown sb-pcl::set-slot-value (t symbol t) t (any))
-
-(defun pcl-boot-state-complete-p ()
- (eq 'sb-pcl::complete sb-pcl::*boot-state*))
-
-;;; These essentially duplicate what the compiler-macros in slots.lisp
-;;; do, but catch more cases. We retain the compiler-macros since they
-;;; can be used during the build, and because they catch common cases
-;;; slightly more cheaply then the transforms. (Transforms add new
-;;; lambdas, which requires more work by the compiler.)
-
-(deftransform slot-value ((object slot-name))
- "optimize"
- (let (c-slot-name)
- (if (and (pcl-boot-state-complete-p)
- (constant-lvar-p slot-name)
- (setf c-slot-name (lvar-value slot-name))
- (sb-pcl::interned-symbol-p c-slot-name))
- `(sb-pcl::accessor-slot-value object ',c-slot-name)
- (give-up-ir1-transform "Slot name is not constant."))))
+ (let ((class-or-name (cadr list)))
+ (cond
+ ((symbolp class-or-name)
+ (values (valid-function-name-p class-or-name) nil))
+ ((or (sb-pcl::std-instance-p class-or-name)
+ (sb-pcl::fsc-instance-p class-or-name))
+ (values t nil)))))
-(deftransform sb-pcl::set-slot-value ((object slot-name new-value)
- (t symbol t) t
- ;; Safe code wants to check the
- ;; type, and the global accessor
- ;; won't do that. Also see the
- ;; comment in the
- ;; compiler-macro.
- :policy (< safety 3))
- "optimize"
- (let (c-slot-name)
- (if (and (pcl-boot-state-complete-p)
- (constant-lvar-p slot-name)
- (setf c-slot-name (lvar-value slot-name))
- (sb-pcl::interned-symbol-p c-slot-name))
- `(sb-pcl::accessor-set-slot-value object ',c-slot-name new-value)
- (give-up-ir1-transform "Slot name is not constant."))))