## MLton 20241230+git20251029+dfsg-5

# 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

- `rssa.fun`

## Details and Notes