diff options
author | Eduardo Julian | 2020-06-12 23:26:55 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-06-12 23:26:55 -0400 |
commit | 4138cd725e18c6ef55742f351af2adc59ff256c7 (patch) | |
tree | 3b17b3a51e8e2a02d94db5d539648d980e7cf14b /lux-jvm/source | |
parent | def9629b35a434b3441aa15b89746b21d6c298ec (diff) |
Optimizing-away unnecessary variable declarations/bindings.
Diffstat (limited to 'lux-jvm/source')
-rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/case.lux | 29 |
1 files changed, 12 insertions, 17 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux index e21cf9aec..7962ea991 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux @@ -153,18 +153,13 @@ ([synthesis.side/left _.NULL function.identity] [synthesis.side/right (_.string "") .inc]) - (^ (synthesis.member/left lefts)) - (operation@wrap (|>> peekI - (..left-projection lefts) - pushI)) - - (^ (synthesis.member/right lefts)) - (operation@wrap (|>> peekI - (..right-projection lefts) - pushI)) - ## Extra optimization (^template [<path> <projection>] + (^ (<path> lefts)) + (operation@wrap (|>> peekI + (<projection> lefts) + pushI)) + (^ (synthesis.path/seq (<path> lefts) (synthesis.!bind-top register thenP))) @@ -177,6 +172,13 @@ ([synthesis.member/left ..left-projection] [synthesis.member/right ..right-projection]) + (#synthesis.Seq leftP rightP) + (do phase.monad + [leftI (path' stack-depth @else @end phase archive leftP) + rightI (path' stack-depth @else @end phase archive rightP)] + (wrap (|>> leftI + rightI))) + (#synthesis.Alt leftP rightP) (do phase.monad [@alt-else _.make-label @@ -187,13 +189,6 @@ (_.label @alt-else) _.POP rightI))) - - (#synthesis.Seq leftP rightP) - (do phase.monad - [leftI (path' stack-depth @else @end phase archive leftP) - rightI (path' stack-depth @else @end phase archive rightP)] - (wrap (|>> leftI - rightI))) )) (def: (path @end phase archive path) |