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

Description

This pass removes loop invariant arguments to local loops.

  loop (x, y)
    ...
  ... 
    loop (x, z) 
  ...
becomes
  loop' (x, y)
    loop (y)
  loop (y)
    ...
  ...
    loop (z)
  ...

Implementation

[WWW]loop-invariant.sig [WWW]loop-invariant.fun

Details and Notes


Last edited on 2005-12-01 04:53:57 by StephenWeeks.