Function assert_equivalent

tests/integration/regalloc.rs:69–86

Assert the program behaves identically with allocation off and on, and return the (off, on) instruction counts and cycle counts for extra checks.

(src: &str)

// Asserts identical behaviour with allocation off and on, and returns the
// (off, on) instruction and cycle counts for extra checks.
fn assert_equivalent(src: &str) -> ((usize, u64), (usize, u64)) {
    let (base_outcome, base_uart, base_lines, base_cycles) = run_with_regalloc(src, false);
    let (alloc_outcome, alloc_uart, alloc_lines, alloc_cycles) = run_with_regalloc(src, true);
    assert!(
        matches!(base_outcome, StepOutcome::Halted(_)),
        "baseline did not finish: {base_outcome:?}"
    );
    assert_eq!(
        format!("{base_outcome:?}"),
        format!("{alloc_outcome:?}"),
        "register allocation changed the exit outcome"
    );
    assert_eq!(
        base_uart, alloc_uart,
        "register allocation changed UART output"
    );
    ((base_lines, base_cycles), (alloc_lines, alloc_cycles))
}

#[test]
fn regalloc_arithmetic_branches_and_loops() {