[Guile-commits] 02/08: Fix CPS optimizations to allow callk in front half

[Andy Wingo]

wingo pushed a commit to branch wip-inlinable-exports
in repository guile.

commit 2b58c49e59ab7d4c7deb99bb0e11d1237902741d
Author: Andy Wingo <wingo@pobox.com>
AuthorDate: Mon Apr 26 12:30:21 2021 +0200

    Fix CPS optimizations to allow callk in front half
    
    * module/language/cps/closure-conversion.scm: Use standard
    compute-reachable-functions and intmap-select from utils to filter
    reachable functions, allowing us to pick up callk.  Adapt some uses to
    expect callk for calls.
    * module/language/cps/self-references.scm (resolve-self-references):
    Subst the proc, if it's there.
    * module/language/cps/split-rec.scm (compute-free-vars): Add a case for
    callk.
---
 module/language/cps/closure-conversion.scm | 66 ++++++++++++++++--------------
 module/language/cps/contification.scm      |  2 +-
 module/language/cps/self-references.scm    |  4 +-
 module/language/cps/split-rec.scm          |  7 +++-
 4 files changed, 45 insertions(+), 34 deletions(-)

diff --git a/module/language/cps/closure-conversion.scm 
b/module/language/cps/closure-conversion.scm
index 35ee0cc..d1492c1 100644
--- a/module/language/cps/closure-conversion.scm
+++ b/module/language/cps/closure-conversion.scm
@@ -1,6 +1,6 @@
 ;;; Continuation-passing style (CPS) intermediate language (IL)
 
-;; Copyright (C) 2013-2020 Free Software Foundation, Inc.
+;; Copyright (C) 2013-2021 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
@@ -46,35 +46,13 @@
   #:use-module (language cps intset)
   #:export (convert-closures))
 
-(define (compute-function-bodies conts kfun)
-  "Compute a map from FUN-LABEL->BODY-LABEL... for all $fun instances in
-conts."
-  (let visit-fun ((kfun kfun) (out empty-intmap))
-    (let ((body (compute-function-body conts kfun)))
-      (intset-fold
-       (lambda (label out)
-         (match (intmap-ref conts label)
-           (($ $kargs _ _ ($ $continue _ _ ($ $fun kfun)))
-            (visit-fun kfun out))
-           (($ $kargs _ _ ($ $continue _ _ ($ $rec _ _ (($ $fun kfun) ...))))
-            (fold visit-fun out kfun))
-           (_ out)))
-       body
-       (intmap-add out kfun body)))))
-
 (define (compute-program-body functions)
   (intmap-fold (lambda (label body out) (intset-union body out))
                functions
                empty-intset))
 
 (define (filter-reachable conts functions)
-  (let ((reachable (compute-program-body functions)))
-    (intmap-fold
-     (lambda (label cont out)
-       (if (intset-ref reachable label)
-           out
-           (intmap-remove out label)))
-     conts conts)))
+  (intmap-select conts (compute-program-body functions)))
 
 (define (compute-non-operator-uses conts)
   (persistent-intset
@@ -93,6 +71,11 @@ conts."
             (add-uses args uses))
            (($ $call proc args)
             (add-uses args uses))
+           (($ $callk label proc args)
+            (let ((uses (add-uses args uses)))
+              (if proc
+                  (add-use proc uses)
+                  uses)))
            (($ $primcall name param args)
             (add-uses args uses))))
         (($ $kargs _ _ ($ $branch kf kt src op param args))
@@ -224,6 +207,8 @@ shared closures to use the appropriate 'self' variable, if 
possible."
             (rewrite-exp (intmap-ref env proc (lambda (_) #f))
               (#f ($call proc ,args))
               ((closure . label) ($callk label closure ,args)))))
+        (($ $callk label proc args)
+         ($callk label (and proc (subst proc)) ,(map subst args)))
         (($ $primcall name param args)
          ($primcall name param ,(map subst args)))
         (($ $values args)
@@ -308,9 +293,11 @@ references."
     (intset-fold
      (lambda (label out)
        (match (intmap-ref conts label)
-         (($ $kargs _ _ ($ $continue _ _
-                           ($ $fun kfun)))
+         (($ $kargs _ _ ($ $continue _ _ ($ $fun kfun)))
           (intmap-union out (visit-fun kfun)))
+         ;; Convention is that functions not bound by $fun / $rec and
+         ;; thus reachable only via $callk and such have no free
+         ;; variables.
          (($ $kargs _ _ ($ $continue _ _
                            ($ $rec _ _ (($ $fun labels) ...))))
           (let* ((out (fold (lambda (kfun out)
@@ -359,7 +346,10 @@ references."
                         (($ $call proc args)
                          (add-use proc (add-uses args uses)))
                         (($ $callk label proc args)
-                         (add-use proc (add-uses args uses)))
+                         (let ((uses (add-uses args uses)))
+                           (if proc
+                               (add-use proc uses)
+                               uses)))
                         (($ $primcall name param args)
                          (add-uses args uses))))
                      (($ $branch kf kt src op param args)
@@ -371,14 +361,27 @@ references."
                      (($ $throw src op param args)
                       (add-uses args uses)))))
                  (($ $kfun src meta self)
-                  (values (add-def self defs) uses))
+                  (values (if self (add-def self defs) defs) uses))
                  (_ (values defs uses))))
              body empty-intset empty-intset))
         (lambda (defs uses)
           (intmap-add free kfun (intset-subtract
                                  (persistent-intset uses)
                                  (persistent-intset defs)))))))
-  (visit-fun kfun))
+  ;; Ensure that functions only reachable by $callk are present in the
+  ;; free-vars map, albeit with empty-intset.  Note that if front-ends
+  ;; start emitting $callk to targets with free variables, we will need
+  ;; to do a better job here!
+  (define (ensure-all-functions-have-free-vars free-vars)
+    (intmap-fold
+     (lambda (label cont out)
+       (match cont
+         (($ $kfun)
+          (intmap-add out label empty-intset intset-union))
+         (_ out)))
+     conts
+     free-vars))
+  (ensure-all-functions-have-free-vars (visit-fun kfun)))
 
 (define (eliminate-closure? label free-vars)
   (eq? (intmap-ref free-vars label) empty-intset))
@@ -676,6 +679,9 @@ bound to @var{var}, and continue to @var{k}."
               (build-term
                 ($continue k src ($callk label closure args)))))))
       (cond
+       ((not closure)
+        ;; No closure to begin with; done.
+        (have-closure cps #f))
        ((eq? (intmap-ref free-vars label) empty-intset)
         ;; Known call, no free variables; no closure needed.  If the
         ;; callee is well-known, elide the closure argument entirely.
@@ -847,7 +853,7 @@ bound to @var{var}, and continue to @var{k}."
 and allocate and initialize flat closures."
   (let* ((kfun 0) ;; Ass-u-me.
          ;; label -> body-label...
-         (functions (compute-function-bodies cps kfun))
+         (functions (compute-reachable-functions cps kfun))
          (cps (filter-reachable cps functions))
          ;; label -> bound-var...
          (label->bound (compute-function-names cps functions))
diff --git a/module/language/cps/contification.scm 
b/module/language/cps/contification.scm
index 7cea6b2..64e2c43 100644
--- a/module/language/cps/contification.scm
+++ b/module/language/cps/contification.scm
@@ -408,7 +408,7 @@ function set."
           (match (intmap-ref conts k*)
             (($ $kreceive ($ $arity req () rest () #f) kargs)
              (match exp
-               (($ $call)
+               ((or ($ $call) ($ $callk))
                 (with-cps cps (build-term ($continue k* src ,exp))))
                ;; We need to punch through the $kreceive; otherwise we'd
                ;; have to rewrite as a call to the 'values primitive.
diff --git a/module/language/cps/self-references.scm 
b/module/language/cps/self-references.scm
index 0ac16f9..990ce65 100644
--- a/module/language/cps/self-references.scm
+++ b/module/language/cps/self-references.scm
@@ -1,6 +1,6 @@
 ;;; Continuation-passing style (CPS) intermediate language (IL)
 
-;; Copyright (C) 2013-2020 Free Software Foundation, Inc.
+;; Copyright (C) 2013-2021 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
@@ -42,7 +42,7 @@
       (($ $call proc args)
        ($call (subst proc) ,(map subst args)))
       (($ $callk k proc args)
-       ($callk k (subst proc) ,(map subst args)))
+       ($callk k (and proc (subst proc)) ,(map subst args)))
       (($ $primcall name param args)
        ($primcall name param ,(map subst args)))
       (($ $values args)
diff --git a/module/language/cps/split-rec.scm 
b/module/language/cps/split-rec.scm
index 07bf7d9..11b4cc6 100644
--- a/module/language/cps/split-rec.scm
+++ b/module/language/cps/split-rec.scm
@@ -1,6 +1,6 @@
 ;;; Continuation-passing style (CPS) intermediate language (IL)
 
-;; Copyright (C) 2013-2020 Free Software Foundation, Inc.
+;; Copyright (C) 2013-2021 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
@@ -89,6 +89,11 @@ references."
                          (add-uses args uses))
                         (($ $call proc args)
                          (add-use proc (add-uses args uses)))
+                        (($ $callk k proc args)
+                         (let ((uses (add-uses args uses)))
+                           (if proc
+                               (add-use proc uses)
+                               uses)))
                         (($ $primcall name param args)
                          (add-uses args uses))))
                      (($ $branch kf kt src op param args)