Function build_stack_map_attributes

src/lower2/stackmaps.rs:232–305

(
    instructions: &[Instruction],
    initial_locals: &[FrameValue],
    local_hints: &[FrameValue],
    max_locals: u16,
    constant_pool: &mut InternedConstantPool,
    context: &str,
)

    let descriptor = jvm::JavaString::from(descriptor);
    let (params, _) = FieldType::parse_method_descriptor(&descriptor)?;
    for param in &params {
        push_local_value(&mut locals, frame_value_from_field_type(param));
    }
    Ok(locals)
}

pub(super) fn local_hints_for_oomir_locals(
    local_var_map: &HashMap<(String, oomir::Type), u16>,
    max_locals: u16,
) -> Vec<FrameValue> {
    let mut hints = vec![FrameValue::Top; max_locals as usize];
    for ((_, ty), local_index) in local_var_map {
        set_slot_value(&mut hints, *local_index, frame_value_from_oomir_type(ty));
    }
    hints
}

pub(super) fn build_stack_map_attributes(
    instructions: &[Instruction],
    initial_locals: &[FrameValue],
    local_hints: &[FrameValue],
    max_locals: u16,
    constant_pool: &mut InternedConstantPool,
    context: &str,
    exception_table: &[ExceptionTableEntry],
) -> jvm::Result<Vec<Attribute>> {
    let analysis = solve_frame_states(
        instructions,
        initial_locals,
        local_hints,
        max_locals as usize,
        constant_pool,
        context,
        exception_table,
    )?;
    build_stack_map_attributes_from_analysis(
        instructions,
        initial_locals,
        constant_pool,
        exception_table,
        &analysis,
    )
}

pub(super) fn build_stack_map_attributes_from_analysis(
    instructions: &[Instruction],
    initial_locals: &[FrameValue],
    constant_pool: &mut InternedConstantPool,
    exception_table: &[ExceptionTableEntry],
    analysis: &FrameAnalysis,
) -> jvm::Result<Vec<Attribute>> {
    let mut target_offsets = branch_targets(instructions);
    target_offsets.extend(exception_table.iter().map(|entry| entry.handler_pc));
    if instructions.is_empty() || target_offsets.is_empty() {
        return Ok(Vec::new());
    }