CSE comments

* module/language/cps/cse.scm (compute-available-expressions): Add
  clarifying comment.

diff --git a/module/language/cps/cse.scm b/module/language/cps/cse.scm
index 48cf922..ab48290 100644 (file)
--- a/module/language/cps/cse.scm
+++ b/module/language/cps/cse.scm
@@ -101,7 +101,9 @@ index corresponds to MIN-LABEL, and so on."
           ;; Fast-path if this expression clobbers nothing.
           in)
          (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* ((dom (vector-ref idoms (label->idx dom))))
                            (and (< min-label dom)