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
, andref
are eliminated in favor of select and updates -
Case
transfers separate discrimination and constructor argument selects