(let ((res (make-ir2-physenv
:closure (nreverse reversed-ir2-physenv-alist)
:return-pc-pass (make-return-pc-passing-location
(let ((res (make-ir2-physenv
:closure (nreverse reversed-ir2-physenv-alist)
:return-pc-pass (make-return-pc-passing-location
(setf (physenv-info lambda-physenv) res)
(setf (ir2-physenv-old-fp res)
(make-old-fp-save-location lambda-physenv))
(setf (physenv-info lambda-physenv) res)
(setf (ir2-physenv-old-fp res)
(make-old-fp-save-location lambda-physenv))
(defun use-standard-returns (tails)
(declare (type tail-set tails))
(let ((funs (tail-set-funs tails)))
(defun use-standard-returns (tails)
(declare (type tail-set tails))
(let ((funs (tail-set-funs tails)))
(multiple-value-bind (types count) (values-types (tail-set-type tails))
(let ((ptypes (mapcar #'primitive-type types))
(use-standard (use-standard-returns tails)))
(multiple-value-bind (types count) (values-types (tail-set-type tails))
(let ((ptypes (mapcar #'primitive-type types))
(use-standard (use-standard-returns tails)))
(return-value-efficiency-note tails))
(if (or (eq count :unknown) use-standard)
(make-return-info :kind :unknown
(return-value-efficiency-note tails))
(if (or (eq count :unknown) use-standard)
(make-return-info :kind :unknown