[hcoop/debian/mlton.git] / doc / guide / src / Multi.adoc

Multi
=====

<:Multi:> is an analysis pass for the <:SSA:>
<:IntermediateLanguage:>, invoked from <:ConstantPropagation:> and
<:LocalRef:>.

== Description ==

This pass analyzes the control flow of a <:SSA:> program to determine
which <:SSA:> functions and blocks might be executed more than once or
by more than one thread.  It also determines when a program uses
threads and when functions and blocks directly or indirectly invoke
`Thread_copyCurrent`.

== Implementation ==

* <!ViewGitFile(mlton,master,mlton/ssa/multi.sig)>
* <!ViewGitFile(mlton,master,mlton/ssa/multi.fun)>

== Details and Notes ==

{empty}
Commit	Line	Data
7f918cf1 CE	1	Multi
	2	=====
	3
	4	<:Multi:> is an analysis pass for the <:SSA:>
	5	<:IntermediateLanguage:>, invoked from <:ConstantPropagation:> and
	6	<:LocalRef:>.
	7
	8	== Description ==
	9
	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
	14	`Thread_copyCurrent`.
	15
	16	== Implementation ==
	17
	18	* <!ViewGitFile(mlton,master,mlton/ssa/multi.sig)>
	19	* <!ViewGitFile(mlton,master,mlton/ssa/multi.fun)>
	20
	21	== Details and Notes ==
	22
	23	{empty}