AllocateVariables
=================

<:AllocateVariables:> is an analysis pass for the <:RSSA:>
<:IntermediateLanguage:>, invoked from <:ToMachine:>.

== Description ==

Computes an allocation of <:RSSA:> variables as <:Machine:> temporary
or stack-offset operands.

== Implementation ==

* <!ViewGitFile(mlton,master,mlton/backend/allocate-variables.sig)>
* <!ViewGitFile(mlton,master,mlton/backend/allocate-variables.fun)>

== Details and Notes ==

{empty}
