RSSAShrink - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | RSSAShrink |
Home Index

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

shrink.sig shrink.fun
shrink.sig shrink.fun

## Details and Notes

Last edited on 2006-11-02 17:48:32 by MatthewFluet.