Function check

hail-fuzz/src/load_resizer.rs:573–603

(pcode: pcode::Block, load_offset: usize, resize: Option<(u8, u8)>)

#[cfg(test)]
fn check(pcode: pcode::Block, load_offset: usize, resize: Option<(u8, u8)>) {
    use pcode::PcodeDisplay;

    let sleigh = sleigh_runtime::SleighData::default();
    for (i, entry) in pcode.instructions.iter().enumerate() {
        eprintln!("[{i}] {}", entry.display(&sleigh));
    }

    let mut code = BlockTable::default();
    code.blocks.push(icicle_vm::cpu::lifter::Block {
        pcode,
        entry: None,
        start: 0x0,
        end: 0x0,
        context: 0x0,
        exit: lifter::BlockExit::invalid(),
        breakpoints: 0x0,
        num_instructions: 0x1,
    });

    let mut cpu = Cpu::new_boxed(icicle_vm::cpu::Arch::none());
    let mut resizer = LoadResizer::new(false);
    let loads = resizer.get_loads(&mut cpu, &code, 0).unwrap();

    if let Some((min_bit, max_bit)) = resize {
        assert_eq!(&loads, &[(0, LoadMetadata { offset: load_offset, min_bit, max_bit })]);
    }
    else {
        assert_eq!(&loads, &[]);
    }
}

#[cfg(test)]
fn check_multiblock(blocks: [pcode::Block; 3], load_offset: usize, resize: Option<(u8, u8)>) {