1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-09 21:40:33 +02:00

CSE comments

* module/language/cps/cse.scm (compute-available-expressions): Add
  clarifying comment.
This commit is contained in:
Andy Wingo 2014-07-03 09:03:45 +02:00
parent 41296769c7
commit c1a41f96b4

View file

@ -101,7 +101,9 @@ index corresponds to MIN-LABEL, and so on."
;; Fast-path if this expression clobbers nothing. ;; Fast-path if this expression clobbers nothing.
in) in)
(else (else
;; Kill clobbered expressions. ;; Kill clobbered expressions. There is no need to check on
;; any label before than the last dominating label that
;; clobbered everything.
(let ((first (let lp ((dom label)) (let ((first (let lp ((dom label))
(let* ((dom (vector-ref idoms (label->idx dom)))) (let* ((dom (vector-ref idoms (label->idx dom))))
(and (< min-label dom) (and (< min-label dom)