MLton

DuplicateGlobals is an optimization pass for the SSA IntermediateLanguage, invoked from SSASimplify.

Description

DuplicateGlobals introduces a distinct instance of a ConApp global for each distict use within the program.

Implementation

Details and Notes