= LocalFlatten

<<LocalFlatten#>> is an optimization pass for the <<SSA#>>
<<IntermediateLanguage#>>, invoked from <<SSASimplify#>>.

== Description

This pass flattens arguments to <<SSA#>> blocks.

A block argument is flattened as long as it only flows to selects and
there is some tuple constructed in this function that flows to it.

== Implementation

* https://github.com/MLton/mlton/blob/master/mlton/ssa/local-flatten.fun[`local-flatten.fun`]

== Details and Notes

{empty}
