test compile
target x86_64 haswell
target aarch64

;; Returning many f64s

function %return_2_f64s() -> f64, f64 {
block0:
    v0 = f64const 0x0.0
    v1 = f64const 0x1.0
    return v0, v1
}

function %return_3_f64s() -> f64, f64, f64 {
block0:
    v0 = f64const 0x0.0
    v1 = f64const 0x1.0
    v2 = f64const 0x2.0
    return v0, v1, v2
}

function %return_4_f64s() -> f64, f64, f64, f64 {
block0:
    v0 = f64const 0x0.0
    v1 = f64const 0x1.0
    v2 = f64const 0x2.0
    v3 = f64const 0x3.0
    return v0, v1, v2, v3
}

;; Calling functions that return many f64s

function %call() -> f64 {
    fn0 = %a() -> f64, f64
    fn1 = %b(f64, f64) -> f64, f64, f64
    fn2 = %c(f64, f64, f64) -> f64, f64, f64, f64
block0:
    v0, v1 = call fn0()
    v2, v3, v4 = call fn1(v0, v1)
    v5, v6, v7, v8 = call fn2(v2, v3, v4)
    v9 = fadd v5, v6
    v10 = fadd v7, v8
    v11 = fadd v9, v10
    return v11
}