Multi - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | Multi |
Home Index

Multi is an analysis pass for the SSA IntermediateLanguage, invoked from ConstantPropagation and LocalRef.

## Description

This pass analyzes the control flow of a SSA program to determine which SSA functions and blocks might be executed more than once or by more than one thread. It also determines when a program uses threads and when functions and blocks directly or indirectly invoke `Thread_copyCurrent`.

## Implementation

multi.sig multi.fun

## Details and Notes

Last edited on 2006-11-02 17:37:26 by MatthewFluet.