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

Allow inlining refs passed to pure lambdas

Browse source
This commit is contained in:
Justin Ethier 2017-05-03 22:18:13 +00:00
parent 1a973cafd8
commit 8be8014a1b
1 changed files with 19 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1070,7 +1070,17 @@
(cddr exp))) (cddr exp)))
((and (not (prim? (car exp))) ((and (not (prim? (car exp)))
(ref? (car exp))) (ref? (car exp)))
(define pure-fnc #f)
(define ref-formals '()) (define ref-formals '())
;; Does ref refer to a pure function (no side effects)?
(let ((var (adb:get/default (car exp) #f)))
(if var
(let ((lid (adbv:defines-lambda-id var)))
(if lid
(with-fnc! lid (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)))
(cond (cond
@ -1083,6 +1093,15 @@
)))) ))))
;(trace:error `(DEBUG ref app ,(car exp) ,(cdr exp) ,ref-formals)) ;(trace:error `(DEBUG ref app ,(car exp) ,(cdr exp) ,ref-formals))
(cond (cond
(pure-fnc
(for-each
(lambda (e)
;; Skip refs since fnc is pure and cannot change them
(if (not (ref? e))
(analyze:find-inlinable-vars e args)))
exp))
;; TODO: how do you know if it is the same function, or just
;; another function with the same formals?
((= (length ref-formals) (length (cdr exp))) ((= (length ref-formals) (length (cdr exp)))
(analyze:find-inlinable-vars (car exp) args) (analyze:find-inlinable-vars (car exp) args)
(for-each (for-each