ToSSA2 - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | ToSSA2 |
Home Index

ToSSA2 is a translation pass from the SSA IntermediateLanguage to the SSA2 IntermediateLanguage.

## Description

This pass is a simple conversion from a SSA program into a SSA2 program.

The only interesting portions of the translation are:

- an SSA `ref` type becomes an object with a single mutable field

- `array`, `vector`, and `ref` are eliminated in favor of select and updates

- `Case` transfers separate discrimination and constructor argument selects

## Implementation

ssa-to-ssa2.sig ssa-to-ssa2.fun

## Details and Notes

Last edited on 2006-11-02 17:56:30 by MatthewFluet.