Function omits_destination_for_void_calls

tests/integration/rv64_codegen.rs:263–289

()

#[test]
fn omits_destination_for_void_calls() {
    let mut program = IrProgram::new("test");
    let mut func = IrFunction::new("cleanup", int32());

    let mut entry = IrBlock::new("entry");
    entry.push_instruction(IrInstruction::Alloc {
        dest: IrRegister::Named("ptr".into()),
        ty: IrType::Pointer(Box::new(int32())),
        count: None,
    });
    entry.push_instruction(IrInstruction::Call {
        dest: None,
        function: "free".into(),
        args: vec![IrValue::Register(IrRegister::Named("ptr".into()))],
    });
    entry.set_terminator(IrTerminator::Return(Some(IrValue::Integer(0))));
    func.push_block(entry);
    program.push_function(func);

    let asm = compile(&program);

    assert!(asm.contains("free"), "expected call target to be emitted, got:\n{asm}");
    assert!(
        !asm.contains("sd     a0") && !asm.contains("sd a0"),
        "expected no destination store for void call, got:\n{asm}"
    );
}