From c1a41f96b46869fdaaef86686b8305f3167c8277 Mon Sep 17 00:00:00 2001 From: Andy Wingo Date: Thu, 3 Jul 2014 09:03:45 +0200 Subject: [PATCH] CSE comments * module/language/cps/cse.scm (compute-available-expressions): Add clarifying comment. --- module/language/cps/cse.scm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/module/language/cps/cse.scm b/module/language/cps/cse.scm index 48cf92273..ab48290b8 100644 --- 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)