wingo pushed a commit to branch main
in repository guile.
commit 125cb9fa6d95ea8aec14f4b37d212efdb3314361
Author: Andy Wingo <[email protected]>
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
