fn decide_values_start_from(
    function: &FunctionDefinition,
    control_flow_graph: &BindedControlFlowGraph<'_, '_>,
    consider_block_index: usize,
    inserted_phi: &[(String, usize)],
    visited: &mut Vec<usize>,
    current_variable_value: &mut Vec<HashMap<String, (usize, Quantity)>>
) -> (Vec<(RegisterName, Quantity)>, Vec<(usize, usize)>, Vec<PhiSubNode>)
Expand description

Returns (Actions to edit the statements, PhiSubNodes to insert)