MLton 20070826 LocalRef
Home  Index  
LocalRef is an optimization pass for the SSA IntermediateLanguage, invoked from SSASimplify.

Description

This pas optimizes ref cells local to a SSA function:

Uses Multi and Restore.

Implementation

[WWW]local-ref.sig [WWW]local-ref.fun

Details and Notes

Moving a global ref requires the Multi analysis, because a global ref can only be moved into a function that is executed at most once.

Conversion of non-escaping refs is structured in three phases:


Last edited on 2006-11-02 17:46:41 by MatthewFluet.