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

local-flatten.sig local-flatten.fun

Details and Notes