SXMLShrink is an optimization pass for the SXML IntermediateLanguage, invoked from SXMLSimplify.
Description
This pass performs optimizations based on a reduction system.
SXMLShrink is an optimization pass for the SXML IntermediateLanguage, invoked from SXMLSimplify.
This pass performs optimizations based on a reduction system.