X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fltv.lisp;h=e64cc8ac81dc31915f1e5cc32ad7d45b3fd001ff;hb=127fd3d2fb843c6bb7ad0763e143d81877e760e8;hp=6d8e83a1e9c181cbd633bdc51d7da5f44a987296;hpb=cea4896b2482b7b2b429c1631d774b4cfbc0efba;p=sbcl.git diff --git a/src/compiler/ltv.lisp b/src/compiler/ltv.lisp index 6d8e83a..e64cc8a 100644 --- a/src/compiler/ltv.lisp +++ b/src/compiler/ltv.lisp @@ -13,35 +13,37 @@ (defknown %load-time-value (t) t (flushable movable)) -(def-ir1-translator load-time-value ((form &optional read-only-p) start cont) +(def-ir1-translator load-time-value + ((form &optional read-only-p) start next result) #!+sb-doc "Arrange for FORM to be evaluated at load-time and use the value produced as if it were a constant. If READ-ONLY-P is non-NIL, then the resultant object is guaranteed to never be modified, so it can be put in read-only storage." - (if (producing-fasl-file) - (multiple-value-bind (handle type) - (compile-load-time-value (if read-only-p - form - `(make-value-cell ,form))) - (declare (ignore type)) - (ir1-convert start cont - (if read-only-p - `(%load-time-value ',handle) - `(value-cell-ref (%load-time-value ',handle))))) - (let ((value - (handler-case (eval form) - (error (condition) - (compiler-error "(during EVAL of LOAD-TIME-VALUE)~%~A" - condition))))) - (ir1-convert start cont - (if read-only-p - `',value - `(value-cell-ref ',(make-value-cell value))))))) + (let ((*allow-instrumenting* nil)) + (if (producing-fasl-file) + (multiple-value-bind (handle type) + (compile-load-time-value (if read-only-p + form + `(make-value-cell ,form))) + (declare (ignore type)) + (ir1-convert start next result + (if read-only-p + `(%load-time-value ',handle) + `(value-cell-ref (%load-time-value ',handle))))) + (let ((value + (handler-case (eval form) + (error (condition) + (compiler-error "(during EVAL of LOAD-TIME-VALUE)~%~A" + condition))))) + (ir1-convert start next result + (if read-only-p + `',value + `(value-cell-ref ',(make-value-cell value)))))))) (defoptimizer (%load-time-value ir2-convert) ((handle) node block) - (assert (constant-continuation-p handle)) - (let ((cont (node-cont node)) - (tn (make-load-time-value-tn (continuation-value handle) - *universal-type*))) - (move-continuation-result node block (list tn) cont))) + (aver (constant-lvar-p handle)) + (let ((lvar (node-lvar node)) + (tn (make-load-time-value-tn (lvar-value handle) + *universal-type*))) + (move-lvar-result node block (list tn) lvar)))