cairo_lang_lowering::optimizations

Module return_optimization

source

Structs§

  • AnalyzerInfo
    A wrapper around ReturnInfo that makes it optional. None indicates that the return info 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.
  • 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§