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

Also identify pure functions using assigned-var

Browse source 
This identifies cases where a pure function exits but is defined inline rather than at the top-level.
This commit is contained in:
Justin Ethier 2017-05-04 05:11:46 +00:00
parent b74213ec2d
commit c7aa3700ea
1 changed files with 12 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1075,11 +1075,18 @@
;; Does ref refer to a pure function (no side effects)? ;; Does ref refer to a pure function (no side effects)?
(let ((var (adb:get/default (car exp) #f))) (let ((var (adb:get/default (car exp) #f)))
(if var (if var
(let ((lid (adbv:defines-lambda-id var))) (let ((lid (adbv:defines-lambda-id var))
(if lid (assigned-val (adbv:assigned-value var)))
(with-fnc! lid (lambda (fnc) (cond
(if (not (adbf:side-effects fnc)) (lid
(set! pure-fnc #t)))))))) (with-fnc! lid (lambda (fnc)
(if (not (adbf:side-effects fnc))
(set! pure-fnc #t)))))
((ast:lambda? assigned-val)
(with-fnc! (ast:lambda-id assigned-val) (lambda (fnc)
(if (not (adbf:side-effects fnc))
(set! pure-fnc #t)))))
))))
;; ;;
(with-var (car exp) (lambda (var) (with-var (car exp) (lambda (var)
(let ((val (adbv:assigned-value var))) (let ((val (adbv:assigned-value var)))