MLton 20051202

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 2005-12-02 01:05:57 by StephenWeeks.