employer
/
tame
1
0
Fork 0
Code Packages Releases Activity

Apply hositing optimization to classify/@any 

This convets disjunctive classifications into conjunctive and places an
<any> within it.

This ends up handling all the generated qwhen classifications from proguic,
which were probably converted into <any> by a previous optimization pass.

The UI program I've been using to test these compiler optimizations has
decreased in size down from 8.2MiB since the beginning of this branch; we
started at ~16MiB.
master
Mike Gerwitz 2021-01-27 16:43:30 -05:00
parent 658e55f2fa
commit 4ee050323a
1 changed files with 32 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
src/current/include/preproc/macros.xsl
View File

@ -343,7 +343,8 @@
number of wasteful intermediate classifications that are generated.
-->
<template mode="preproc:class-groupgen" priority="6"
match="lv:any[ count( lv:all[ count(lv:*) = 2 ] ) = count(lv:*) ]">
match="(lv:classify[ @any='true' ] | lv:any)
[ count( lv:all[ count(lv:*) = 2 ] ) = count(lv:*) ]">
<!-- TODO: missing @value may not have been expanded yet...! -->
<variable name="ons" as="element( lv:match )*"
@ -364,17 +365,38 @@
<when test="count( $distinct-ons ) = 1
and count( $ons ) = $nall
and count( $ons/parent::lv:all ) = $nall">
<!-- they're all the same, so hoist the first one out of the <any>,
which must be in a universal context -->
<sequence select="$ons[1]" />
<!-- then replace the <alls> with their remaining predicate (which is
either before or after) -->
<copy>
<apply-templates mode="preproc:class-groupgen"
select="$ons/preceding-sibling::lv:match
| $ons/following-sibling::lv:match"/>
</copy>
<choose>
<when test="@any = 'true'">
<copy>
<sequence select="@*[ not( local-name() = 'any' ) ]" />
<!-- they're all the same, so hoist the first one out of the <any>,
which is now in a universal context because we omitted @any
above -->
<sequence select="$ons[1]" />
<lv:any>
<apply-templates mode="preproc:class-groupgen"
select="$ons/preceding-sibling::lv:match
| $ons/following-sibling::lv:match"/>
</lv:any>
</copy>
</when>
<otherwise>
<!-- they're all the same, so hoist the first one out of the <any>,
which must be in a universal context -->
<sequence select="$ons[1]" />
<copy>
<apply-templates mode="preproc:class-groupgen"
select="$ons/preceding-sibling::lv:match
| $ons/following-sibling::lv:match"/>
</copy>
</otherwise>
</choose>
</when>
<!-- none, or more than one -->