common-lisp/sbcl.sbcl
1
0
Fork 0
mirror of git://git.code.sf.net/p/sbcl/sbcl synced 2026-09-10 07:26:40 -04:00
Code Issues Actions 8 Packages Projects Releases Wiki Activity

Recover lost comment.

Browse source
This commit is contained in:
Charles Zhang 2020-01-19 17:59:27 -08:00
parent be237a6fbc
commit 9bc06671be
2 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/compiler/locall.lisp
View file

@ -988,6 +988,10 @@
;;; Handle the value semantics of LET conversion. Delete FUN's return
;;; node, and change the control flow to transfer to NEXT-BLOCK
;;; instead. Move all the uses of the result lvar to CALL's lvar.
;;;
;;; We also intersect the derived type of the CALL with the derived
;;; type of all the dummy continuation's uses. This serves mainly to
;;; propagate TRULY-THE through LETs.
(defun move-return-uses (fun call next-block)
(declare (type clambda fun) (type basic-combination call)
(type cblock next-block))

2
src/compiler/node.lisp
View file

@ -1507,7 +1507,7 @@
;; the union of the node-derived-type of all uses of the result
;; other than by a local call, intersected with the result's
;; asserted-type. If there are no non-call uses, this is
;; *EMPTY-TYPE*
;; *EMPTY-TYPE*.
(result-type *wild-type* :type ctype))
(defprinter (creturn :conc-name return- :identity t)
lambda