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

LocalFlatten
============

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

== Description ==

This pass flattens arguments to <:SSA:> blocks.

A block argument is flattened as long as it only flows to selects and
there is some tuple constructed in this function that flows to it.

== Implementation ==

* <!ViewGitFile(mlton,master,mlton/ssa/local-flatten.fun)>

== Details and Notes ==

{empty}
Commit	Line	Data
7f918cf1 CE	1	LocalFlatten
	2	============
	3
	4	<:LocalFlatten:> is an optimization pass for the <:SSA:>
	5	<:IntermediateLanguage:>, invoked from <:SSASimplify:>.
	6
	7	== Description ==
	8
	9	This pass flattens arguments to <:SSA:> blocks.
	10
	11	A block argument is flattened as long as it only flows to selects and
	12	there is some tuple constructed in this function that flows to it.
	13
	14	== Implementation ==
	15
	16	* <!ViewGitFile(mlton,master,mlton/ssa/local-flatten.fun)>
	17
	18	== Details and Notes ==
	19
	20	{empty}