}

}

// block_to_index: maps block idx to instruction index (for exception table)

// This is the index into the final instructions array, including EXTENDED_ARG and CACHE

let mut block_to_index = vec![0u32; blocks.len()];

loop {

let mut num_instructions = 0;

for (idx, block) in iter_blocks(&blocks) {

// block_to_index uses the same value as block_to_offset but as u32

// because lasti in frame.rs is the index into instructions array

// and instructions array index == byte offset (each instruction is 1 CodeUnit)

while next_block != BlockIdx::NULL {

let block = &mut blocks[next_block];

// Track current instruction offset for jump direction resolution

for info in &mut block.instructions {

let target = info.target;

let mut op = info.instr.expect_real();

let offset_after = current_offset + old_arg_size as u32 + old_cache_entries;

if target != BlockIdx::NULL {

// Direction must be based on concrete instruction offsets.

// Empty blocks can share offsets, so block-order-based resolution

// may classify some jumps incorrectly.