X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fpcl%2Fcompiler-support.lisp;h=cec722eeab5be7f6b64c4d7aca6124deef026cb2;hb=b429c5c0557ed790e84dae4d6c35e06ab1a14416;hp=5dcd8c61244e2f15e7a777cb9e1da0f77d07c718;hpb=95d19447c10434753c2168ac943152fd5e3ded3d;p=sbcl.git diff --git a/src/pcl/compiler-support.lisp b/src/pcl/compiler-support.lisp index 5dcd8c6..cec722e 100644 --- a/src/pcl/compiler-support.lisp +++ b/src/pcl/compiler-support.lisp @@ -92,43 +92,3 @@ (sb-pcl::fsc-instance-p class-or-name)) (values t nil))))) -;;;; 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."))))