Hack to re-enable beta expand

This commit is contained in:
Justin Ethier 2019-01-17 22:36:57 -05:00
parent b0000c42e7
commit 459e9a97b0

View file

@ -1704,10 +1704,14 @@
(analyze-cps ast)
(trace:info "---------------- cps analysis db:")
(trace:info (adb:get-db))
(opt:beta-expand ;; TODO: temporarily disabled, causes problems with massive expansions in compiler benchmark, need to revist how to throttle/limit this (program size? heuristics? what else??)
(opt:inline-prims
(opt:contract ast)
-1)
(let ((new-ast (opt:inline-prims
(opt:contract ast) -1)))
;; Just a hack for now, need to fix beta expand in compiler benchmark
(if (< (length (filter define? new-ast)) 1000)
(opt:beta-expand new-ast) ;; TODO: temporarily disabled, causes problems with massive expansions
;; in compiler benchmark, need to revist how to throttle/limit this
;; (program size? heuristics? what else??)
new-ast)
)
)