+ (symbolp slot)
+ (symbolp class))
+ (values t slot)))))
+
+(define-internal-pcl-function-name-syntax sb-pcl::fast-method (list)
+ (valid-function-name-p (cadr list)))
+
+(define-internal-pcl-function-name-syntax sb-pcl::slow-method (list)
+ (valid-function-name-p (cadr list)))
+
+(define-internal-pcl-function-name-syntax sb-pcl::ctor (list)
+ (valid-function-name-p (cadr list)))
+
+(defun sb-pcl::random-documentation (name type)
+ (cdr (assoc type (info :random-documentation :stuff name))))
+
+(defun sb-pcl::set-random-documentation (name type new-value)
+ (let ((pair (assoc type (info :random-documentation :stuff name))))
+ (if pair
+ (setf (cdr pair) new-value)
+ (push (cons type new-value)
+ (info :random-documentation :stuff name))))
+ new-value)
+
+(defsetf sb-pcl::random-documentation sb-pcl::set-random-documentation)
+
+;;;; 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."))))
+
+(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."))))