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

Experimental beta expansion code

Browse source
This commit is contained in:
Justin Ethier 2017-05-11 17:53:47 +00:00
parent cd2ed0c0dd
commit 9618e35364
1 changed files with 44 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -631,6 +631,12 @@
,(opt:contract (if->else exp)))))) ,(opt:contract (if->else exp))))))
; Application: ; Application:
((app? exp) ((app? exp)
;; Hack to test this idea
;; TODO: was testing this with the fibc program
;(if (beta-expand? exp)
; (set! exp (beta-expand exp)))
;; END
(let* ((fnc (opt:contract (car exp)))) (let* ((fnc (opt:contract (car exp))))
(cond (cond
((and (ast:lambda? fnc) ((and (ast:lambda? fnc)
@ -1149,6 +1155,44 @@
(else (else
(error `(Unexpected expression passed to find inlinable vars ,exp))))) (error `(Unexpected expression passed to find inlinable vars ,exp)))))
(define (beta-expand? exp)
(cond
((and (app? exp)
(ref? (car exp)))
(with-var (car exp) (lambda (var)
(= 1 (adbv:app-fnc-count var))))) ;; TODO: too simplistic
(else #f)))
(define (beta-expand exp)
(let* ((args (cdr exp))
(var (adb:get (car exp)))
;; Function definition, or #f if none
(fnc (adbv:assigned-value var))
(formals (if (ast:lambda? fnc) (ast:lambda-args fnc) '()))
;; First formal, or #f if none
(maybe-cont (if (and (list? formals) (pair? formals))
(car formals)
#f))
;; function's continuation symbol, or #f if none
(cont (if maybe-cont
(with-var maybe-cont (lambda (var)
(if (adbv:cont? var) maybe-cont #f)))
#f))
)
(trace:error `(JAE beta expand ,exp ,var ,fnc ,formals ,cont))
(cond
;; TODO: first arg to the lambda could be a cont, in which
;; case it needs to be removed from formals list and body
((and (ast:lambda? fnc)
(or ;(= (length args) (length formals))
(and (= (length args) (- (length formals) 1))
cont)))
;;todo: set up a map, and replace each formal with its corresponding arg
(trace:error `(JAE DEBUG beta expand ,exp))
exp
)
(else exp)))) ;; beta expansion failed
(define (analyze-cps exp) (define (analyze-cps exp)
(analyze-find-lambdas exp -1) (analyze-find-lambdas exp -1)
(analyze-lambda-side-effects exp -1) (analyze-lambda-side-effects exp -1)