Function ir_trap_terminator_halts_with_code

tests/integration/vm_execution.rs:2607–2621

()

/// an exit syscall, so the VM halts with that code. Built directly in IR.
#[test]
fn ir_trap_terminator_halts_with_code() {
    let mut entry = IrBlock::new("entry");
    entry.set_terminator(IrTerminator::Trap { code: 134 });

    let mut func = IrFunction::new("main", IrType::Integer(IntWidth::I32));
    func.push_block(entry);
    let mut program = IrProgram::new("trap_direct");
    program.push_function(func);

    let (_, outcome, _) = run_ir(&program);
    assert!(
        matches!(outcome, StepOutcome::Halted(134)),
        "a reached trap must halt with its diagnostic code; got {outcome:?}"
    );
}

/// A `Trap` reached only on one branch arm fires only when that arm is taken; the
/// other arm returns normally. Here the condition is false, so the trap is skipped.