Polyvariance is an optimization pass for the SXML IntermediateLanguage, invoked from SXMLSimplify.

Description

This pass duplicates a higher-order, let bound function at each variable reference, if the cost is smaller than some threshold.

Implementation

polyvariance.sig polyvariance.fun

Details and Notes