Function ir_math_shl

tests/integration/vm_execution.rs:2081–2108

()

    }
    return 1
}
"#,
    );
    assert!(
        matches!(outcome, StepOutcome::Halted(0)),
        "mixed struct: small=7 big=0x8010_0000, got {outcome:?}"
    );
}

// --- IR instruction lowering (merged from ir_instruction_exec.rs) ---
// HLL programs cover ops the language expresses directly; directly-constructed
// IR covers ops with no HLL surface syntax (signed shift, etc.).

/// Signed integer division with a negative dividend must use `div` (signed).
#[test]
fn ir_math_signed_div() {
    let (_, outcome, _) = run_hll(
        r#"
main: () -> i32 {
    result: i32 = -8 / 2
    if result == -4 {
        return 0
    }
    return 1
}
"#,
    );
    assert!(
        matches!(outcome, StepOutcome::Halted(0)),
        "signed -8 / 2 should equal -4, got {outcome:?}"
    );