MLton 20070826 CommonSubexp
Home  Index  
CommonSubexp is an optimization pass for the SSA IntermediateLanguage, invoked from SSASimplify.

Description

It eliminates instances of common subexpressions.

Implementation

[WWW]common-subexp.sig [WWW]common-subexp.fun

Details and Notes

In addition to getting the usual sorts of things like

it also gets things like

Arith transfers are handled specially. The result of an Arith transfer can be used in common Arith transfers that it dominates:


Last edited on 2007-08-23 03:59:21 by MatthewFluet.