4 <:Multi:> is an analysis pass for the <:SSA:>
5 <:IntermediateLanguage:>, invoked from <:ConstantPropagation:> and
10 This pass analyzes the control flow of a <:SSA:> program to determine
11 which <:SSA:> functions and blocks might be executed more than once or
12 by more than one thread. It also determines when a program uses
13 threads and when functions and blocks directly or indirectly invoke
18 * <!ViewGitFile(mlton,master,mlton/ssa/multi.sig)>
19 * <!ViewGitFile(mlton,master,mlton/ssa/multi.fun)>
21 == Details and Notes ==