Function regalloc_mixed_float_and_int

tests/integration/regalloc.rs:239–263

()

#[test]
fn regalloc_mixed_float_and_int() {
    // Floats stay slot-based while their integer neighbors are allocated; the
    // GP/FP boundary (casts, compares) must agree between modes.
    assert_equivalent(
        r#"
main: () -> i32 {
    acc: f64 = 0.0
    half: f64 = 0.5
    lo: f64 = 2474.0
    hi: f64 = 2476.0
    i: i64 = 0
    while i < 100 {
        acc = acc + (i as f64) * half
        i = i + 1
    }
    if acc > lo {
        if acc < hi {
            return 42
        }
    }
    return 1
}
"#,
    );
}

#[test]
fn regalloc_narrow_width_wrapping() {
    // Narrow integer results are width-normalized in registers exactly like a