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

Populate lambda assigned-to field

Browse source
This commit is contained in:
Justin Ethier 2016-05-31 22:37:37 -04:00
parent 5b29ae4e86
commit 9752fd074e
1 changed files with 13 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -89,16 +89,18 @@
(define (adbv-set-assigned-value-helper! sym var value)
(define (update-lambda-atv! syms value)
(trace:error `(update-lambda-atv! ,syms ,value))
(cond
((ast:lambda? value)
(let ((id (ast:lambda-id value)))
(with-var! id (lambda (fnc)
(with-fnc! id (lambda (fnc)
(adbf:set-assigned-to-var!
fnc
(append syms (adbf:assigned-to-var fnc)))))))
;; TODO: follow references
;((ref? value)
; (update-lambda-atv! (cons value
;; Follow references
((ref? value)
(with-var! value (lambda (var)
(update-lambda-atv! (cons value syms) (adbv:assigned-value var)))))
(else
#f))
)
@ -146,6 +148,11 @@
(fnc var)
(adb:set! sym var)))
(define (with-fnc! id callback)
(let ((fnc (adb:get/default id (adb:make-fnc))))
(callback fnc)
(adb:set! id fnc)))
;; TODO: check app for const/const-value, also (for now) reset them
;; if the variable is modified via set/define
(define (analyze exp lid)
@ -153,8 +160,8 @@
(cond
; Core forms:
((ast:lambda? exp)
(let ((id (ast:lambda-id exp))
(fnc (adb:make-fnc)))
(let* ((id (ast:lambda-id exp))
(fnc (adb:get/default id (adb:make-fnc))))
;; save lambda to adb
(adb:set! id fnc)
;; Analyze the lambda