[Guile-commits] 09/19: Remove useless code in CSE

[Andy Wingo]

wingo pushed a commit to branch main
in repository guile.

commit 125cb9fa6d95ea8aec14f4b37d212efdb3314361
Author: Andy Wingo <wingo@pobox.com>
AuthorDate: Thu Jun 22 14:38:40 2023 +0200

    Remove useless code in CSE
    
    * module/language/cps/cse.scm (eliminate-common-subexpressions-in-fun):
    Defs must be a list.
---
 module/language/cps/cse.scm | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/module/language/cps/cse.scm b/module/language/cps/cse.scm
index d06f918f4..3382b9915 100644
--- a/module/language/cps/cse.scm
+++ b/module/language/cps/cse.scm
@@ -497,10 +497,6 @@ for a label, it isn't known to be constant at that label."
          (match term-key
            (('op arg ...)
             (match defs
-              (#f
-               ;; If the successor is a control-flow join, don't
-               ;; pretend to know the values of its defs.
-               #f)
               ((def) (add-def! (list 'op* arg* ...) aux) ...)))
            (_ (add-definitions . clauses))))
         ((add-definitions