-(defun annotate-unknown-values-continuation (cont)
- (declare (type continuation cont))
-
- (let ((2cont (make-ir2-continuation nil)))
- (setf (ir2-continuation-kind 2cont) :unknown)
- (setf (ir2-continuation-locs 2cont) (make-unknown-values-locations))
- (setf (continuation-info cont) 2cont))
-
- ;; The CAST chain with corresponding continuations constitute the
- ;; same "principal continuation", so we must preserve only inner
- ;; annotation order and the order of the whole p.c. with other
- ;; continiations. -- APD, 2002-02-27
- (ltn-annotate-casts cont)
-
- (let* ((block (node-block (continuation-dest cont)))
- (use (continuation-use cont))
+(defun annotate-unknown-values-lvar (lvar)
+ (declare (type lvar lvar))
+
+ (let ((2lvar (make-ir2-lvar nil)))
+ (setf (ir2-lvar-kind 2lvar) :unknown)
+ (setf (ir2-lvar-locs 2lvar) (make-unknown-values-locations))
+ (setf (lvar-info lvar) 2lvar))
+
+ ;; The CAST chain with corresponding lvars constitute the same
+ ;; "principal lvar", so we must preserve only inner annotation order
+ ;; and the order of the whole p.l. with other lvars. -- APD,
+ ;; 2003-02-27
+ (ltn-annotate-casts lvar)
+
+ (let* ((block (node-block (lvar-dest lvar)))
+ (use (lvar-uses lvar))