Skip to content
Snippets Groups Projects
Commit 043825dc authored by ram's avatar ram
Browse files

Changed some comments.

parent 6d851a41
No related branches found
No related tags found
No related merge requests found
......@@ -195,7 +195,8 @@
;;; DFO-Walk-Call-Graph -- Internal
;;;
;;; Move the code for Fun and all functions called by it into Component.
;;; Move the code for Fun and all functions called by it into Component. If
;;; Fun is already in Component, then we just return that component.
;;;
;;; If the function is in an initial component, then we move its head and
;;; tail to Component and add it to Component's lambdas. We then do a
......@@ -205,18 +206,17 @@
;;; all functions called from Fun, moving code into whichever component the
;;; preceding call returned.
;;;
;;; If Fun is in the initial component, but the Block-Flag is set in the
;;; bind block, then we just return Component, since we must have already
;;; reached this function in the current walk (or the component would have been
;;; changed).
;;;
;;; If the function is an XEP, then we also walk all functions that contain
;;; references to the XEP. This is done so that environment analysis doesn't
;;; need to cross component boundries. This also ensures that conversion of a
;;; full call to a local call won't result in a need to join components, since
;;; the components will already be one.
;;;
;;; If Fun is in the initial component, but the Block-Flag is set in the
;;; bind block, then we just return Component, since we must have already
;;; reached this function in the current walk (or the component would have been
;;; changed). If Fun is already in Component, then we just return that
;;; component.
;;;
(defun dfo-walk-call-graph (fun component)
(declare (type clambda fun) (type component component))
(let* ((bind-block (node-block (lambda-bind fun)))
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment