Function parse_instruction

src/debug_utils/generic_function/parse.rs:321–358

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

}

fn parse_instruction(
    pair: Pair<'_, Rule>,
    blocks: &mut PrimaryMap<Block, BlockData>,
    insts: &mut PrimaryMap<Inst, InstData>,
    groups: &mut PrimaryMap<ValueGroup, Vec<Value>>,
) -> Result<()> {
    let Some((block, block_data)) = blocks.last_mut() else {
        Err(custom_error(
            pair.as_span(),
            "instruction is not inside a block",
        ))?
    };
    let mut data = InstData {
        operands: vec![],
        clobbers: vec![],
        block,
        terminator_kind: None,
        is_pure: false,
    };
    for pair in pair.into_inner() {
        match pair.as_rule() {
            Rule::inst_label => {
                // We specifically ignore instruction labels to make it easier to edit code.
            }
            Rule::opcode => parse_opcode(pair, &mut data, block_data)?,
            Rule::attribute => parse_attribute(pair, &mut data.is_pure)?,
            Rule::operand => data.operands.push(parse_operand(pair, groups)?),
            Rule::clobber => {
                let [unit] = extract(pair, [Rule::unit]);
                data.clobbers.push(parse_entity(unit)?);
            }
            _ => unreachable!(),
        }
    }
    insts.push(data);
    block_data.insts.to = insts.next_key();
    Ok(())
}

fn compute_preds_and_dominators(func: &mut GenericFunction) {
    let mut preds = SecondaryMap::<Block, Vec<Block>>::with_max_index(func.num_blocks());