Function iinc_pattern

src/lower2/optimise2.rs:1403–1434

(instructions: &[Instruction], index: usize)

            local_reads(instruction)
                .into_iter()
                .chain(local_writes(instruction))
        })
        .map(|local| local.index + local.width)
        .max()
        .unwrap_or(0)
}

fn protected_instruction_indices(
    instructions: &[Instruction],
    exception_table: &[ExceptionTableEntry],
) -> BTreeSet<usize> {
    let mut protected = BTreeSet::from([0usize]);
    for (index, instruction) in instructions.iter().enumerate() {
        visit_branch_targets(index, instruction, |target| {
            if target >= 0 {
                protected.insert(target as usize);
            }
        });
    }
    for entry in exception_table {
        protected.insert(usize::from(entry.range_pc.start));
        if usize::from(entry.range_pc.end) < instructions.len() {
            protected.insert(usize::from(entry.range_pc.end));
        }
        protected.insert(usize::from(entry.handler_pc));
    }
    protected
}

fn compact_instructions(
    instructions: Vec<Instruction>,
    source_locations: Vec<BytecodeMetadata>,
    keep: &[bool],
    exception_table: &mut Vec<ExceptionTableEntry>,
) -> jvm::Result<LocatedInstructions> {