MLton 20070826 SSA2
Home  Index  
SSA2 is an IntermediateLanguage, translated from SSA by ToSSA2, optimized by SSA2Simplify, and translated by ToRSSA to RSSA.

Description

SSA2 is a FirstOrder, SimplyTyped IntermediateLanguage, a slight variant of the SSA IntermediateLanguage,

Like SSA, a SSA program consists of a collection of datatype declarations, a sequence of global statements, and a collection of functions, along with a distinguished "main" function. Each function consists of a collection of basic blocks, where each basic block is a sequence of statements ending with some control transfer.

Unlike SSA, SSA2 includes mutable fields in objects and makes the vector type constructor n-ary instead of unary. This allows optimizations like RefFlatten and DeepFlatten to be expressed.

Implementation

[WWW]ssa2.sig [WWW]ssa2.fun
[WWW]ssa-tree2.sig [WWW]ssa-tree2.fun

Type Checking

Type checking of a SSA2 program verifies the following:

[WWW]type-check2.sig [WWW]type-check2.fun

Details and Notes

SSA is an abbreviation for Static Single Assignment.


Last edited on 2007-08-15 22:07:25 by MatthewFluet.