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

Issue #272 - Optimize-out simple (if) expressions

Browse source
This commit is contained in:
Justin Ethier 2018-08-16 17:53:17 -04:00
parent f9a477fd08
commit 081088ae40
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
scheme/cyclone/transforms.sld
View file

@ -864,13 +864,19 @@
(let ((new-ast (if (if-else? ast)
`(if ,@(map (lambda (a) (convert a renamed)) (cdr ast)))
(convert (append ast '(#f)) renamed))))
;; Optimization - convert (if (not a) b c) into (if a c b)
(cond
;; Optimization - convert (if (not a) b c) into (if a c b)
((and (app? (if->condition new-ast))
(equal? 'not (app->fun (if->condition new-ast))))
`(if ,@(app->args (if->condition new-ast))
,(if->else new-ast)
,(if->then new-ast)))
;; Optimization - convert (if expr #t #f) into expr
((and (eq? #t (if->then new-ast))
(eq? #f (if->else new-ast))
(app? (if->condition new-ast))
(member (car (if->condition new-ast)) '(Cyc-fast-gt))) ;; Boolean return
(if->condition new-ast))
(else
new-ast))))
((and (prim-call? ast)