Function test_multiblock

hail-fuzz/src/load_resizer.rs:871–895

()

#[test]
fn test_multiblock() {
    let reg = pcode::VarNode::new(1, 2);

    let mut block1 = pcode::Block::new();
    block1.push((reg, pcode::Op::Load(0), 0x1000));

    // Load cannot be resized just looking at the current block.
    check(block1.clone(), 0, None);

    let mut block2 = pcode::Block::new();
    block2.push((reg, pcode::Op::Copy, 0xaa_u16));

    let mut block3 = pcode::Block::new();
    block3.push((reg, pcode::Op::Copy, 0xaa_u16));

    // Modified by both so can be successfully resized.
    check_multiblock([block1.clone(), block2.clone(), block3], 0, Some((15, 0)));

    // Does not overwrite reg.
    let block4 = pcode::Block::new();

    // Modified in only one block (cannot be resized).
    check_multiblock([block1.clone(), block2.clone(), block4.clone()], 0, None);
    check_multiblock([block1.clone(), block4.clone(), block2.clone()], 0, None);
}