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

Track direct recursive calls

Browse source
This commit is contained in:
Justin Ethier 2018-06-01 13:42:24 -04:00
parent d4633314fc
commit d379d1bfb3
1 changed files with 31 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -62,6 +62,8 @@
adbv:set-def-in-loop! adbv:set-def-in-loop!
adbv:ref-in-loop? adbv:ref-in-loop?
adbv:set-ref-in-loop! adbv:set-ref-in-loop!
adbv:direct-rec-call?
adbv:set-direct-rec-call!
;; Analyze functions ;; Analyze functions
adb:make-fnc adb:make-fnc
%adb:make-fnc %adb:make-fnc
@ -109,6 +111,7 @@
cont cont
def-in-loop def-in-loop
ref-in-loop ref-in-loop
direct-rec-call
) )
adb:variable? adb:variable?
(global adbv:global? adbv:set-global!) (global adbv:global? adbv:set-global!)
@ -132,8 +135,11 @@
;; Is the variable mutated indirectly? (EG: set-car! of a cdr) ;; Is the variable mutated indirectly? (EG: set-car! of a cdr)
(mutated-indirectly adbv:mutated-indirectly? adbv:set-mutated-indirectly!) (mutated-indirectly adbv:mutated-indirectly? adbv:set-mutated-indirectly!)
(cont adbv:cont? adbv:set-cont!) (cont adbv:cont? adbv:set-cont!)
;; Following two indicate if a variable is defined/referenced in a loop
(def-in-loop adbv:def-in-loop? adbv:set-def-in-loop!) (def-in-loop adbv:def-in-loop? adbv:set-def-in-loop!)
(ref-in-loop adbv:ref-in-loop? adbv:set-ref-in-loop!) (ref-in-loop adbv:ref-in-loop? adbv:set-ref-in-loop!)
;; Does a top-level function directly call itself?
(direct-rec-call adbv:direct-rec-call? adbv:set-direct-rec-call!)
) )
(define (adbv-set-assigned-value-helper! sym var value) (define (adbv-set-assigned-value-helper! sym var value)
@ -162,7 +168,25 @@
) )
(define (adb:make-var) (define (adb:make-var)
(%adb:make-var '? '? #f #f #f 0 '() #f #f 0 0 #t #f #f #f #f)) (%adb:make-var
'? ; global
'? ; defined-by
#f ; defines-lambda-id
#f ; const
#f ; const-value
0 ; ref-count
'() ; ref-by
#f ; reassigned
#f ; assigned-value
0 ; app-fnc-count
0 ; app-arg-count
#t ; inlinable
#f ; mutated-indirectly
#f ; cont
#f ; def-in-loop
#f ; ref-in-loop
#f ; direct-rec-call
))
(define-record-type <analysis-db-function> (define-record-type <analysis-db-function>
(%adb:make-fnc simple unused-params assigned-to-var side-effects) (%adb:make-fnc simple unused-params assigned-to-var side-effects)
@ -1736,12 +1760,13 @@
(scan (if->else exp) def-sym)) (scan (if->else exp) def-sym))
((app? exp) ((app? exp)
(when (equal? (car exp) def-sym) (when (equal? (car exp) def-sym)
(if (check-args (cddr exp)) ;; Skip func and continuation (cond
((check-args (cddr exp)) ;; Skip func and continuation
(trace:info `("direct recursive call" ,exp)) (trace:info `("direct recursive call" ,exp))
(trace:info `("not a direct recursive call" ,exp)) (with-var! def-sym (lambda (var)
) (adbv:set-direct-rec-call! var #t))))
) (else
) (trace:info `("not a direct recursive call" ,exp))))))
(else #f))) (else #f)))
(if (pair? exp) (if (pair? exp)
(for-each (for-each