MLton 20070826 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 2006-11-02 17:57:42 by MatthewFluet.