Module return_optimization

Structs

AnalyzerInfo

A wrapper around ReturnInfo that makes it optional.

FixInfo

Information about a fix that should be applied to the lowering.

ReturnInfo

Information about the current state of the analyzer. Used to track the value that should be returned from the function at the current analysis point

ReturnOptimizerContext

Enums

ValueInfo

Information about the value that should be returned from the function.

Functions

return_optimization

Adds early returns when applicable.