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

Contify
=======

<:Contify:> is an optimization pass for the <:SSA:>
<:IntermediateLanguage:>, invoked from <:SSASimplify:>.

== Description ==

Contification is a compiler optimization that turns a function that
always returns to the same place into a continuation.  This exposes
control-flow information that is required by many optimizations,
including traditional loop optimizations.

== Implementation ==

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

== Details and Notes ==

See <!Cite(FluetWeeks01, Contification Using Dominators)>.  The
intermediate language described in that paper has since evolved to the
<:SSA:> <:IntermediateLanguage:>; hence, the complication described in
Section 6.1 is no longer relevant.
Commit	Line	Data
7f918cf1 CE	1	Contify
	2	=======
	3
	4	<:Contify:> is an optimization pass for the <:SSA:>
	5	<:IntermediateLanguage:>, invoked from <:SSASimplify:>.
	6
	7	== Description ==
	8
	9	Contification is a compiler optimization that turns a function that
	10	always returns to the same place into a continuation. This exposes
	11	control-flow information that is required by many optimizations,
	12	including traditional loop optimizations.
	13
	14	== Implementation ==
	15
	16	* <!ViewGitFile(mlton,master,mlton/ssa/contify.fun)>
	17
	18	== Details and Notes ==
	19
	20	See <!Cite(FluetWeeks01, Contification Using Dominators)>. The
	21	intermediate language described in that paper has since evolved to the
	22	<:SSA:> <:IntermediateLanguage:>; hence, the complication described in
	23	Section 6.1 is no longer relevant.