summaryrefslogtreecommitdiff
path: root/module/language/tree-il/optimize.scm
diff options
context:
space:
mode:
Diffstat (limited to 'module/language/tree-il/optimize.scm')
-rw-r--r--module/language/tree-il/optimize.scm39
1 files changed, 24 insertions, 15 deletions
diff --git a/module/language/tree-il/optimize.scm b/module/language/tree-il/optimize.scm
index 4453df3a3..104c4c265 100644
--- a/module/language/tree-il/optimize.scm
+++ b/module/language/tree-il/optimize.scm
@@ -174,6 +174,22 @@ it should be called before `fix-letrec'."
(or (make-value-construction src value) orig)))
(_ new)))
+ (define (maybe-unlambda orig new env)
+ ;; If NEW is a named lambda and ORIG is what it looked like before
+ ;; partial evaluation, then attempt to replace NEW with a lexical
+ ;; ref, to avoid code duplication.
+ (match new
+ (($ <lambda> src (= (cut assq-ref <> 'name) (? symbol? name))
+ ($ <lambda-case> _ req opt rest kw inits gensyms body))
+ ;; Look for NEW in the current environment, starting from the
+ ;; outermost frame.
+ (or (any (lambda (x)
+ (and (equal? (cdr x) new)
+ (make-lexical-ref src name (car x))))
+ (vlist-fold cons '() env)) ; todo: optimize
+ new))
+ (_ new)))
+
(catch 'match-error
(lambda ()
(let loop ((exp exp)
@@ -245,12 +261,15 @@ it should be called before `fix-letrec'."
(make-conditional src condition
(loop subsequent env calls)
(loop alternate env calls)))))
- (($ <application> src proc* orig-args)
+ (($ <application> src orig-proc orig-args)
;; todo: augment the global env with specialized functions
- (let* ((proc (loop proc* env calls))
+ (let* ((proc (loop orig-proc env calls))
+ (proc* (maybe-unlambda orig-proc proc env))
(args (map (cut loop <> env calls) orig-args))
- (args* (map maybe-unconst orig-args args))
- (app (make-application src proc args*)))
+ (args* (map (cut maybe-unlambda <> <> env)
+ orig-args
+ (map maybe-unconst orig-args args)))
+ (app (make-application src proc* args*)))
;; If at least one of ARGS is static (to avoid infinite
;; inlining) and this call hasn't already been expanded
;; before (to avoid infinite recursion), then expand it
@@ -294,17 +313,7 @@ it should be called before `fix-letrec'."
(($ <toplevel-ref>)
app))
- ;; There are no constant arguments, so don't substitute
- ;; lambdas---i.e., prefer (lexical f) over an inline
- ;; copy of `f'.
- (let ((proc (if (lambda? proc) proc* proc))
- (args (map (lambda (raw evaled)
- (if (lambda? evaled)
- raw
- evaled))
- orig-args
- args)))
- (make-application src proc args)))))
+ app)))
(($ <lambda> src meta body)
(make-lambda src meta (loop body env calls)))
(($ <lambda-case> src req opt rest kw inits gensyms body alt)