1 files changed, 0 insertions, 114 deletions
diff --git a/module/language/cps/prune-top-level-scopes.scm b/module/language/cps/prune-top-level-scopes.scm
deleted file mode 100644
index 4839b71f7..000000000
--- a/module/language/cps/prune-top-level-scopes.scm
+++ /dev/null
@@ -1,114 +0,0 @@
-;;; Continuation-passing style (CPS) intermediate language (IL)
-
-;; Copyright (C) 2014, 2015 Free Software Foundation, Inc.
-
-;;;; This library is free software; you can redistribute it and/or
-;;;; modify it under the terms of the GNU Lesser General Public
-;;;; License as published by the Free Software Foundation; either
-;;;; version 3 of the License, or (at your option) any later version.
-;;;;
-;;;; This library is distributed in the hope that it will be useful,
-;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
-;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
-;;;; Lesser General Public License for more details.
-;;;;
-;;;; You should have received a copy of the GNU Lesser General Public
-;;;; License along with this library; if not, write to the Free Software
-;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
-
-;;; Commentary:
-;;;
-;;; A simple pass to prune unneeded top-level scopes.
-;;;
-;;; Code:
-
-(define-module (language cps prune-top-level-scopes)
-  #:use-module (ice-9 match)
-  #:use-module (language cps)
-  #:export (prune-top-level-scopes))
-
-(define (compute-referenced-scopes fun)
-  (let ((scope-name->used? (make-hash-table))
-        (scope-var->used? (make-hash-table))
-        (k->scope-var (make-hash-table)))
-    ;; Visit uses before defs.  That way we know when visiting defs
-    ;; whether the scope is used or not.
-    (define (visit-cont cont)
-      (match cont
-        (($ $cont k ($ $kargs (name) (var) body))
-         (visit-term body)
-         (when (hashq-get-handle scope-var->used? var)
-           (hashq-set! k->scope-var k var)))
-        (($ $cont k ($ $kargs names syms body))
-         (visit-term body))
-        (($ $cont k ($ $kfun src meta self tail clause))
-         (when clause (visit-cont clause)))
-        (($ $cont k ($ $kclause arity body alternate))
-         (visit-cont body)
-         (when alternate (visit-cont alternate)))
-        (($ $cont k ($ $kreceive))
-         #t)))
-    (define (visit-term term)
-      (match term
-        (($ $letk conts body)
-         (for-each visit-cont conts)
-         (visit-term body))
-        (($ $continue k src exp)
-         (match exp
-           (($ $fun) (visit-fun exp))
-           (($ $rec names syms funs)
-            (for-each visit-fun funs))
-           (($ $primcall 'cached-toplevel-box (scope name bound?))
-            (hashq-set! scope-var->used? scope #t))
-           (($ $primcall 'cache-current-module! (module scope))
-            (hashq-set! scope-var->used? scope #f))
-           (($ $const val)
-            ;; If there is an entry in the table for "k", it means "val"
-            ;; is a scope symbol, bound for use by cached-toplevel-box
-            ;; or cache-current-module!, or possibly both (though this
-            ;; is not currently the case).
-            (and=> (hashq-ref k->scope-var k)
-                   (lambda (scope-var)
-                     (when (hashq-ref scope-var->used? scope-var)
-                       ;; We have a use via cached-toplevel-box.  Mark
-                       ;; this scope as used.
-                       (hashq-set! scope-name->used? val #t))
-                     (when (and (hashq-ref scope-name->used? val)
-                                (not (hashq-ref scope-var->used? scope-var)))
-                       ;; There is a use, and this sym is used by
-                       ;; cache-current-module!.
-                       (hashq-set! scope-var->used? scope-var #t)))))
-           (_ #t)))))
-    (define (visit-fun fun)
-      (match fun
-        (($ $fun body)
-         (visit-cont body))))
-
-    (visit-cont fun)
-    scope-var->used?))
-
-(define (prune-top-level-scopes fun)
-  (let ((scope-var->used? (compute-referenced-scopes fun)))
-    (define (visit-cont cont)
-      (rewrite-cps-cont cont
-        (($ $cont sym ($ $kargs names syms body))
-         (sym ($kargs names syms ,(visit-term body))))
-        (($ $cont sym ($ $kfun src meta self tail clause))
-         (sym ($kfun src meta self ,tail ,(and clause (visit-cont clause)))))
-        (($ $cont sym ($ $kclause arity body alternate))
-         (sym ($kclause ,arity ,(visit-cont body)
-                        ,(and alternate (visit-cont alternate)))))
-        (($ $cont sym ($ $kreceive))
-         ,cont)))
-    (define (visit-term term)
-      (rewrite-cps-term term
-        (($ $letk conts body)
-         ($letk ,(map visit-cont conts) ,(visit-term body)))
-        (($ $continue k src
-            (and ($ $primcall 'cache-current-module! (module scope))
-                 (? (lambda _
-                      (not (hashq-ref scope-var->used? scope))))))
-         ($continue k src ($primcall 'values ())))
-        (($ $continue)
-         ,term)))
-    (visit-cont fun)))