Module transform::cse::relation_cse [−][src]
Expand description
Identifies common relation subexpressions and places them behind Let bindings.
All structurally equivalent expressions, defined recursively as having structurally
equivalent inputs, and identical parameters, will be placed behind Let bindings.
The resulting expressions likely have an excess of Let expressions, and should be
subjected to the InlineLet transformation to remove those that are not necessary.
Structs
Maintains Let bindings in a compact, explicit representation.
Identifies common relation subexpressions and places them behind Let bindings.