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


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


Details and Notes