Function regalloc_arithmetic_branches_and_loops

tests/integration/regalloc.rs:89–124

()

#[test]
fn regalloc_arithmetic_branches_and_loops() {
    let ((base_lines, base_cycles), (alloc_lines, alloc_cycles)) = assert_equivalent(
        r#"
compute: (n: i64) -> i64 {
    a: i64 = n + 1
    b: i64 = a * 2
    c: i64 = 0
    if b > 10 {
        c = b - a
    } else {
        c = a + b
    }
    d: i64 = c + a
    return d
}

main: () -> i32 {
    total: i64 = 0
    i: i64 = 0
    while i < 50 {
        total = total + compute(i)
        i = i + 1
    }
    return (total % 256) as i32
}
"#,
    );
    assert!(
        alloc_lines < base_lines,
        "register allocation should remove slot traffic: {base_lines} -> {alloc_lines}"
    );
    assert!(
        alloc_cycles < base_cycles,
        "register allocation should reduce executed cycles: {base_cycles} -> {alloc_cycles}"
    );
}

#[test]
fn regalloc_hot_loop_is_substantially_faster() {