ToSSA2 is a translation pass from the SSA IntermediateLanguage to the SSA2 IntermediateLanguage.
Description
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