MLton

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

Details and Notes