Parameterize different ways to reorder

[zenna]

Given an IR, there are many possible ways to execute the statements.

• Formulate what a reordering is
• Determine space of valid reorderings
• Implement algorithm that can transform ir according to reordering