4 <:IntroduceLoops:> is an optimization pass for the <:SSA:>
5 <:IntermediateLanguage:>, invoked from <:SSASimplify:>.
9 This pass rewrites any <:SSA:> function that calls itself in tail
10 position into one with a local loop and no self tail calls.
12 A <:SSA:> function like
14 fun F (arg_0, arg_1) = L_0 ()
23 fun F (arg_0', arg_1') = loopS_0 ()
25 loop_0 (arg_0', arg_1')
37 * <!ViewGitFile(mlton,master,mlton/ssa/introduce-loops.fun)>
39 == Details and Notes ==