Function parse_block_label

src/debug_utils/generic_function/parse.rs:161–225

(
    pair: Pair<'_, Rule>,
    entry_points: &mut Vec<Block>,
    blocks: &mut PrimaryMap<Block, BlockData>,
    insts: &mut PrimaryMap<Inst, InstData>,
)

}

fn parse_block_label(
    pair: Pair<'_, Rule>,
    entry_points: &mut Vec<Block>,
    blocks: &mut PrimaryMap<Block, BlockData>,
    insts: &mut PrimaryMap<Inst, InstData>,
) -> Result<()> {
    let span = pair.as_span();
    let expected_block = blocks.next_key();
    let mut block = None;
    let mut block_params_in = vec![];
    let mut frequency = None;
    let mut is_entry_point = false;
    let mut is_critical_edge = false;

    for pair in pair.into_inner() {
        match pair.as_rule() {
            Rule::block => {
                parse_expected_entity(pair, expected_block)?;
                block = Some(expected_block);
            }
            Rule::value_list => block_params_in = parse_entity_list(pair)?,
            Rule::frequency => {
                let [float] = extract(pair, [Rule::float]);
                frequency = Some(parse_number(float)?);
            }
            Rule::block_attribute => match pair.as_str() {
                "entry_point" => {
                    if is_entry_point {
                        Err(custom_error(pair.as_span(), "duplicate attribute"))?;
                    }
                    is_entry_point = true;
                }
                "critical_edge" => {
                    if is_critical_edge {
                        Err(custom_error(pair.as_span(), "duplicate attribute"))?;
                    }
                    is_critical_edge = true;
                }
                _ => unreachable!(),
            },
            _ => unreachable!(),
        }
    }

    let Some(block) = block else {
        Err(custom_error(span, "missing block"))?
    };
    let Some(frequency) = frequency else {
        Err(custom_error(span, "missing frequency"))?
    };
    if is_entry_point {
        entry_points.push(block);
    }
    blocks.push(BlockData {
        insts: InstRange::new(insts.next_key(), insts.next_key()),
        preds: vec![],
        succs: vec![],
        block_params_in,