1;;; This is a test case for https://github.com/bytecodealliance/wasmtime/issues/1967
2(module
3    (type (func (param i32)))
4
5    (import "wasi_snapshot_preview1" "proc_exit" (func (type 0)))
6    (memory (export "memory") 0)
7
8    (func $exit (param i32)
9        local.get 0
10        call 0
11        unreachable
12    )
13
14    (func $do_something (param f64 f64 f64 f64 f64 f64 f64 f64)
15        i32.const 0
16        call $exit
17        unreachable
18    )
19
20    (func $has_saved_fprs (export "_start")
21        (local f64 f64 f64 f64 f64 f64 f64 f64)
22        (local.set 0 (f64.const 1))
23        (local.set 1 (f64.const 2))
24        (local.set 2 (f64.const 3))
25        (local.set 3 (f64.const 4))
26        (local.set 4 (f64.const 5))
27        (local.set 5 (f64.const 6))
28        (local.set 6 (f64.const 7))
29        (local.set 7 (f64.const 8))
30        local.get 0
31        local.get 1
32        local.get 2
33        local.get 3
34        local.get 4
35        local.get 5
36        local.get 6
37        local.get 7
38        call $do_something
39        unreachable
40    )
41)
42