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
* eliminate blocks that simply pass arguments to another block (e.g., jump chaining)

== Implementation ==

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

== Details and Notes ==

{empty}
