Module cairo_lang_lowering::optimizations::return_optimization

Structs

• AnalyzerInfo
  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 or None if it is unknown. If early_return_possible() returns true, the function can return early as the return value is already known.
• FixInfo
  Information about a fix that should be applied to the lowering.
• ReturnOptimizerContext

Enums

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

Functions

• return_optimization
  Adds early returns when applicable.