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

ConstantPropagation
===================

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

== Description ==

This is whole-program constant propagation, even through data
structures.  It also performs globalization of (small) values computed
once.

Uses <:Multi:>.

== Implementation ==

* <!ViewGitFile(mlton,master,mlton/ssa/constant-propagation.fun)>

== Details and Notes ==

{empty}
Commit	Line	Data
7f918cf1 CE	1	ConstantPropagation
	2	===================
	3
	4	<:ConstantPropagation:> is an optimization pass for the <:SSA:>
	5	<:IntermediateLanguage:>, invoked from <:SSASimplify:>.
	6
	7	== Description ==
	8
	9	This is whole-program constant propagation, even through data
	10	structures. It also performs globalization of (small) values computed
	11	once.
	12
	13	Uses <:Multi:>.
	14
	15	== Implementation ==
	16
	17	* <!ViewGitFile(mlton,master,mlton/ssa/constant-propagation.fun)>
	18
	19	== Details and Notes ==
	20
	21	{empty}