Demonstrate pulling args from analysis DB

This commit is contained in:
Justin Ethier 2018-06-07 13:49:34 -04:00
parent 8fed2b738d
commit 5622698cd3

View file

@ -15,6 +15,7 @@
(scheme write) (scheme write)
(scheme cyclone primitives) (scheme cyclone primitives)
(scheme cyclone transforms) (scheme cyclone transforms)
(scheme cyclone ast)
(scheme cyclone cps-optimizations) (scheme cyclone cps-optimizations)
(scheme cyclone util) (scheme cyclone util)
(scheme cyclone libraries) (scheme cyclone libraries)
@ -744,6 +745,8 @@
(apply string-append (apply string-append
(map (lambda (a) (c:allocs->str (c:allocs a))) cgen-lis))) (map (lambda (a) (c:allocs->str (c:allocs a))) cgen-lis)))
(parent-fnc (adbv:assigned-value (adb:get (cdr trace))))
(parent-args (ast:lambda-args (if (pair? parent-fnc) (car parent-fnc) parent-fnc)))
;; TODO: extract top-level function args from anaylsis DB?? ;; TODO: extract top-level function args from anaylsis DB??
;; (shorterp ;; (shorterp
;; . ;; .
@ -797,7 +800,7 @@
;; #t))) ;; #t)))
;; ;;
) )
(trace:info `(loop ,cgen-lis)) (trace:info `(loop ,cgen-lis ,parent-args))
(c-code (c-code
(string-append (string-append
cgen-allocs ;(c:allocs->str (c:allocs cgen)) cgen-allocs ;(c:allocs->str (c:allocs cgen))