Shady.Language.Cse

Common subexpression elimination.

TODO: Improve variable names (now "x8" etc).

Documentation

cse :: HasType a => E a -> E a

Common subexpression elimination. Use with care, since it breaks referential transparency on the representation of expressions, but not on their meaning.