(if (lambda-var-indirect thing)
*backend-t-primitive-type*
(primitive-type (leaf-type thing))))
- (nlx-info *backend-t-primitive-type*))))
+ (nlx-info *backend-t-primitive-type*)
+ (clambda *backend-t-primitive-type*))))
(push (cons thing (make-normal-tn ptype))
reversed-ir2-physenv-alist)))
(values))
-;;; Return true if FUN's result continuation is used in a
-;;; tail-recursive full call. We only consider explicit :FULL calls.
-;;; It is assumed that known calls are never part of a tail-recursive
-;;; loop, so we don't need to enforce tail-recursion. In any case, we
-;;; don't know which known calls will actually be full calls until
-;;; after LTN.
+;;; Return true if FUN's result is used in a tail-recursive full
+;;; call. We only consider explicit :FULL calls. It is assumed that
+;;; known calls are never part of a tail-recursive loop, so we don't
+;;; need to enforce tail-recursion. In any case, we don't know which
+;;; known calls will actually be full calls until after LTN.
(defun has-full-call-use (fun)
(declare (type clambda fun))
(let ((return (lambda-return fun)))
(let ((*compiler-error-context* (lambda-bind (first funs))))
(compiler-notify
"Return value count mismatch prevents known return ~
- from these functions:~
- ~{~% ~A~}"
+ from these functions:~
+ ~{~% ~A~}"
(mapcar #'leaf-source-name
(remove-if-not #'leaf-has-source-name-p funs)))))
(let ((ret (lambda-return fun)))
(let ((*compiler-error-context* (lambda-bind fun)))
(compiler-notify
"Return type not fixed values, so can't use known return ~
- convention:~% ~S"
+ convention:~% ~S"
(type-specifier rtype)))
(return)))))))))
(values))
(make-ir2-nlx-info
:home (when (member (cleanup-kind (nlx-info-cleanup nlx))
'(:block :tagbody))
- (make-normal-tn *backend-t-primitive-type*))
+ (if (nlx-info-safe-p nlx)
+ (make-normal-tn *backend-t-primitive-type*)
+ (make-stack-pointer-tn)))
:save-sp (make-nlx-sp-tn physenv)))))
(values))