Fcalva/cyclone
1
0
Fork 0
mirror of https://github.com/justinethier/cyclone.git synced 2025-07-14 08:17:35 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Experimenting with wrap-mutable optimizations

Browse source
This commit is contained in:
Justin Ethier 2017-05-09 15:19:29 +00:00
parent e6eeeb958e
commit 45c27f5a3a
1 changed files with 29 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

30
scheme/cyclone/transforms.sld
View file

@ -987,7 +987,35 @@
,(wrap-mutables (if->else exp) globals)))
; Application:
((app? exp) (map (lambda (e) (wrap-mutables e globals)) exp))
((app? exp)
(let ((result (map (lambda (e) (wrap-mutables e globals)) exp)))
;; This code can eliminate a lambda definition. But typically
;; the code that would have such a definition has a recursive
;; inner loop, so there is not much savings to eliminating the
;; single outer lambda:
;;
;;(cond
;; ((and (lambda? (car result))
;; (equal? (cdr result) '(#f))
;; (app? (car (lambda->exp (car result))))
;; (lambda? (car (car (lambda->exp (car result))))))
;; (let* ((inner-lambda (car (car (lambda->exp (car result)))))
;; (inner-formals (lambda-formals->list inner-lambda))
;; (inner-args (cdr (car (lambda->exp (car result)))))
;; (outer-formals (lambda-formals->list (car result)))
;; (opt? (and (pair? outer-formals)
;; (is-mutable? (car outer-formals))
;; (equal? outer-formals inner-formals)
;; (equal? inner-args `((cell ,(car inner-formals))))
;; )))
;; (trace:error `(DEBUG ,opt? ,outer-formals ,inner-formals ,inner-args))
;; ;result
;; (if opt?
;; `(,inner-lambda (cell #f))
;; result)
;; ))
;; (else result))))
result))
(else (error "unknown expression type: " exp))))
;; Alpha conversion