diff options
Diffstat (limited to 'test/heap-types.wast.fromBinary')
| -rw-r--r-- | test/heap-types.wast.fromBinary | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/heap-types.wast.fromBinary b/test/heap-types.wast.fromBinary new file mode 100644 index 000000000..e83d6bbb4 --- /dev/null +++ b/test/heap-types.wast.fromBinary @@ -0,0 +1,18 @@ +(module + (type ${i32_f32_f64} (struct (field i32) (field f32) (field f64))) + (type $[mut:f64] (array (mut f64))) + (type ${mut:f32} (struct (field (mut f32)))) + (type ${mut:i64_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|} (struct (field (mut i64)) (field (ref null ${i32_f32_f64})) (field (mut (ref null ${i32_f32_f64}))))) + (type $[ref?|[mut:f64]|] (array (ref null $[mut:f64]))) + (type $ref?|{i32_f32_f64}|_=>_ref?|{mut:i64_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|}| (func (param (ref null ${i32_f32_f64})) (result (ref null ${mut:i64_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|})))) + (export "foo" (func $0)) + (func $0 (param $x (ref null ${i32_f32_f64})) (result (ref null ${mut:i64_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|})) + (local $1 (ref null ${i32_f32_f64})) + (local $2 (ref null ${mut:i64_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|})) + (local $3 (ref null ${mut:f32})) + (local $4 (ref null $[ref?|[mut:f64]|])) + (local $5 (ref null $[mut:f64])) + (unreachable) + ) +) + |