Fcalva/cyclone
1
0
Fork 0
mirror of https://github.com/justinethier/cyclone.git synced 2025-07-12 15:27:36 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

WIP - find beta expansion candidates

Browse source
This commit is contained in:
Justin Ethier 2016-05-31 22:50:29 -04:00
parent 9752fd074e
commit aae8dc0ccd
1 changed files with 25 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
scheme/cyclone/cps-optimizations.sld
View file

@ -418,6 +418,31 @@
(define (analyze-cps exp)
(analyze exp -1) ;; Top-level is lambda ID -1
(analyze2 exp) ;; Second pass
;; TODO:
;; Find candidates for beta expansion
(for-each
(lambda (id)
(cond
((number? id)
;; TODO: this is just exploratory code, can be more efficient
(let ((app-count 0)
(app-arg-count 0)
(reassigned-count 0))
(with-fnc! id (lambda (fnc)
(for-each
(lambda (sym)
(with-var! sym (lambda (var)
(set! app-count (+ app-count (adbv:app-fnc-count var)))
(set! app-arg-count (+ app-arg-count (adbv:app-arg-count var)))
(set! reassigned-count (+ reassigned-count (if (adbv:reassigned? var) 1 0)))
))
)
(adbf:assigned-to-var fnc))
))
(trace:error `(candidate ,id ,app-count ,app-arg-count ,reassigned-count))
))))
(hash-table->alist *adb*))
;; END TODO
)
;; NOTES: