= 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

* https://github.com/MLton/mlton/blob/master/mlton/backend/rssa.fun[`rssa.fun`]

== Details and Notes

{empty}
