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

Commenting-out beta expansion candidate search

Browse source
This commit is contained in:
Justin Ethier 2016-06-02 23:24:32 -04:00
parent bb48e32600
commit 5f5bfb7290
1 changed files with 29 additions and 28 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -17,8 +17,8 @@
; can write initial analyze, but can't get too far without being able
; to uniquely ID each lambda
(define-library (cps-optimizations)
;(define-library (scheme cyclone cps-optimizations)
;(define-library (cps-optimizations)
(define-library (scheme cyclone cps-optimizations)
(import (scheme base)
(scheme cyclone util)
(scheme cyclone ast)
@ -418,32 +418,33 @@
(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 (db-entry)
;(trace:error `(check for lambda candidate
(cond
((number? (car db-entry))
;; TODO: this is just exploratory code, can be more efficient
(let ((id (car db-entry))
(fnc (cdr db-entry))
(app-count 0)
(app-arg-count 0)
(reassigned-count 0))
(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
;; For now, beta expansion finds so few candidates it is not worth optimizing
;; ;; TODO:
;; ;; Find candidates for beta expansion
;; (for-each
;; (lambda (db-entry)
;;;(trace:error `(check for lambda candidate
;; (cond
;; ((number? (car db-entry))
;; ;; TODO: this is just exploratory code, can be more efficient
;; (let ((id (car db-entry))
;; (fnc (cdr db-entry))
;; (app-count 0)
;; (app-arg-count 0)
;; (reassigned-count 0))
;; (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: