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

RSSAShrink
==========

<:RSSAShrink:> is an optimization pass for the <:RSSA:>
<:IntermediateLanguage:>.

== Description ==

This pass implements a whole family of compile-time reductions, like:

* constant folding, copy propagation
* inline the `Goto` to a block with a unique predecessor

== Implementation ==

* <!ViewGitFile(mlton,master,mlton/backend/rssa.fun)>

== Details and Notes ==

{empty}
Commit	Line	Data
7f918cf1 CE	1	RSSAShrink
	2	==========
	3
	4	<:RSSAShrink:> is an optimization pass for the <:RSSA:>
	5	<:IntermediateLanguage:>.
	6
	7	== Description ==
	8
	9	This pass implements a whole family of compile-time reductions, like:
	10
	11	* constant folding, copy propagation
	12	* inline the `Goto` to a block with a unique predecessor
	13
	14	== Implementation ==
	15
	16	* <!ViewGitFile(mlton,master,mlton/backend/rssa.fun)>
	17
	18	== Details and Notes ==
	19
	20	{empty}