Module cairo_lang_lowering::optimizations

source ·

Modules§

  • branch_inversion
  • config
  • const_folding
  • match_optimizer
  • remappings
    Remove unnecessary remapping of variables optimization. At each convergence, we have one or more branches with remappings of variables. A destination variable dest introduced by the remappings must be remapped at every branch b_i by mapping a source variable src_i->dest. We require that every use of dest refers to the correct src_i. This means that the remappings to dest are not necessary in these cases:
  • reorder_statements
  • return_optimization