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

Added adbv:ref-count

Browse source
This commit is contained in:
Justin Ethier 2017-05-26 15:49:56 +00:00
parent da2f2bb05f
commit 5390802816
1 changed files with 10 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -46,6 +46,8 @@
adbv:set-const! adbv:set-const!
adbv:const-value adbv:const-value
adbv:set-const-value! adbv:set-const-value!
adbv:ref-count
adbv:set-ref-count!
adbv:ref-by adbv:ref-by
adbv:set-ref-by! adbv:set-ref-by!
;; Analyze functions ;; Analyze functions
@ -68,7 +70,8 @@
(%adb:make-var (%adb:make-var
global defined-by global defined-by
defines-lambda-id defines-lambda-id
const const-value ref-by const const-value
ref-count ref-by
reassigned assigned-value reassigned assigned-value
app-fnc-count app-arg-count app-fnc-count app-arg-count
inlinable mutated-indirectly inlinable mutated-indirectly
@ -79,6 +82,7 @@
(defines-lambda-id adbv:defines-lambda-id adbv:set-defines-lambda-id!) (defines-lambda-id adbv:defines-lambda-id adbv:set-defines-lambda-id!)
(const adbv:const? adbv:set-const!) (const adbv:const? adbv:set-const!)
(const-value adbv:const-value adbv:set-const-value!) (const-value adbv:const-value adbv:set-const-value!)
(ref-count adbv:ref-count adbv:set-ref-count!)
(ref-by adbv:ref-by adbv:set-ref-by!) (ref-by adbv:ref-by adbv:set-ref-by!)
;; TODO: need to set reassigned flag if variable is SET, however there is at least ;; TODO: need to set reassigned flag if variable is SET, however there is at least
;; one exception for local define's, which are initialized to #f and then assigned ;; one exception for local define's, which are initialized to #f and then assigned
@ -122,7 +126,7 @@
) )
(define (adb:make-var) (define (adb:make-var)
(%adb:make-var '? '? #f #f #f '() #f #f 0 0 #t #f #f)) (%adb:make-var '? '? #f #f #f 0 '() #f #f 0 0 #t #f #f))
(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)
@ -407,12 +411,14 @@
((quote? exp) #f) ((quote? exp) #f)
((ref? exp) ((ref? exp)
(let ((var (adb:get/default exp (adb:make-var)))) (let ((var (adb:get/default exp (adb:make-var))))
(adbv:set-ref-count! var (+ 1 (adbv:ref-count var)))
(adbv:set-ref-by! var (cons lid (adbv:ref-by var))) (adbv:set-ref-by! var (cons lid (adbv:ref-by var)))
)) ))
((define? exp) ((define? exp)
;(let ((var (adb:get/default (define->var exp) (adb:make-var)))) ;(let ((var (adb:get/default (define->var exp) (adb:make-var))))
(with-var! (define->var exp) (lambda (var) (with-var! (define->var exp) (lambda (var)
(adbv:set-defined-by! var lid) (adbv:set-defined-by! var lid)
(adbv:set-ref-count! var (+ 1 (adbv:ref-count var)))
(adbv:set-ref-by! var (cons lid (adbv:ref-by var))) (adbv:set-ref-by! var (cons lid (adbv:ref-by var)))
(adbv-set-assigned-value-helper! (define->var exp) var (define->exp exp)) (adbv-set-assigned-value-helper! (define->var exp) var (define->exp exp))
(adbv:set-const! var #f) (adbv:set-const! var #f)
@ -424,6 +430,7 @@
(if (adbv:assigned-value var) (if (adbv:assigned-value var)
(adbv:set-reassigned! var #t)) (adbv:set-reassigned! var #t))
(adbv-set-assigned-value-helper! (set!->var exp) var (set!->exp exp)) (adbv-set-assigned-value-helper! (set!->var exp) var (set!->exp exp))
(adbv:set-ref-count! var (+ 1 (adbv:ref-count var)))
(adbv:set-ref-by! var (cons lid (adbv:ref-by var))) (adbv:set-ref-by! var (cons lid (adbv:ref-by var)))
(adbv:set-const! var #f) (adbv:set-const! var #f)
(adbv:set-const-value! var #f))) (adbv:set-const-value! var #f)))
@ -510,6 +517,7 @@
;; TODO: ;; TODO:
; ((ref? exp) ; ((ref? exp)
; (let ((var (adb:get/default exp (adb:make-var)))) ; (let ((var (adb:get/default exp (adb:make-var))))
; (adbv:set-ref-count! var (+ 1 (adbv:ref-count var)))
; (adbv:set-ref-by! var (cons lid (adbv:ref-by var))) ; (adbv:set-ref-by! var (cons lid (adbv:ref-by var)))
; )) ; ))
((define? exp) ((define? exp)