Converting Procedural Descriptions to a Dataflow-Oriented Representation
? Determine scope of variables and apply single-assignment in the scope
? Convert Complex data-structures into simple types
? Unroll loops with constant loop-counts (if appropriate)
? Perform simple syntactic optimizations:
??Move operations out of loops where possible
??Simplify complex expressions
??Extract common sub-expressions
e.g. CMUDA: Value-trace (VT)