diff options
Diffstat (limited to 'test/heap-types.wast.fromBinary')
| -rw-r--r-- | test/heap-types.wast.fromBinary | 353 |
1 files changed, 0 insertions, 353 deletions
diff --git a/test/heap-types.wast.fromBinary b/test/heap-types.wast.fromBinary deleted file mode 100644 index f95e1508d..000000000 --- a/test/heap-types.wast.fromBinary +++ /dev/null @@ -1,353 +0,0 @@ -(module - (type $struct.A (struct (field i32) (field f32) (field $named f64))) - (type $vector (array (mut f64))) - (type $struct.B (struct (field i8) (field (mut i16)) (field (ref $struct.A)) (field (mut (ref $struct.A))))) - (type $none_=>_none (func)) - (type $matrix (array (mut (ref null $vector)))) - (type $bytes (array (mut i8))) - (type $struct.C (struct (field $named-mut (mut f32)))) - (type $parent (struct )) - (type $child (sub $parent (struct (field i32)))) - (type $grandchild (sub $child (struct (field i32) (field i64)))) - (type $ref?|$vector|_=>_none (func (param (ref null $vector)))) - (type $nested-child-struct (struct (field (mut (ref $child))))) - (type $words (array (mut i32))) - (type $nested-child-array (array (mut (ref $child)))) - (type $anyref_=>_none (func (param anyref))) - (type $ref|$struct.A|_ref?|$struct.A|_ref?|$grandchild|_ref?|$struct.C|_ref?|$nested-child-struct|_=>_ref|$struct.B| (func (param (ref $struct.A) (ref null $struct.A) (ref null $grandchild) (ref null $struct.C) (ref null $nested-child-struct)) (result (ref $struct.B)))) - (type $ref|$vector|_ref?|$nested-child-array|_ref?|$grandchild|_=>_ref|$matrix| (func (param (ref $vector) (ref null $nested-child-array) (ref null $grandchild)) (result (ref $matrix)))) - (type $anyref_funcref_=>_none (func (param anyref funcref))) - (type $ref?|$struct.C|_=>_none (func (param (ref null $struct.C)))) - (type $ref|$vector|_ref?|$vector|_=>_none (func (param (ref $vector) (ref null $vector)))) - (type $none_=>_ref|$vector| (func (result (ref $vector)))) - (type $none_=>_ref|$bytes| (func (result (ref $bytes)))) - (global $struct.new-in-global (ref $struct.A) (struct.new_default $struct.A)) - (func $structs (type $ref|$struct.A|_ref?|$struct.A|_ref?|$grandchild|_ref?|$struct.C|_ref?|$nested-child-struct|_=>_ref|$struct.B|) (param $x (ref $struct.A)) (param $struct.A.prime (ref null $struct.A)) (param $grandchild (ref null $grandchild)) (param $struct.C (ref null $struct.C)) (param $nested-child-struct (ref null $nested-child-struct)) (result (ref $struct.B)) - (local $tA (ref null $struct.A)) - (local $tB (ref null $struct.B)) - (local $tc (ref null $struct.C)) - (local $tv (ref null $vector)) - (local $tm (ref null $matrix)) - (drop - (local.get $x) - ) - (drop - (struct.get $struct.A 0 - (local.get $x) - ) - ) - (drop - (struct.get $struct.A 1 - (local.get $x) - ) - ) - (drop - (struct.get $struct.A $named - (local.get $x) - ) - ) - (drop - (struct.get $struct.A $named - (local.get $x) - ) - ) - (drop - (struct.get $struct.A $named - (local.get $struct.A.prime) - ) - ) - (drop - (struct.get_u $struct.B 0 - (local.get $tB) - ) - ) - (drop - (struct.get_s $struct.B 0 - (local.get $tB) - ) - ) - (drop - (struct.get $grandchild 0 - (local.get $grandchild) - ) - ) - (drop - (local.get $x) - ) - (drop - (if (result (ref null $struct.A)) - (i32.const 1) - (local.get $x) - (local.get $x) - ) - ) - (drop - (loop $label$3 (result (ref null $struct.A)) - (local.get $x) - ) - ) - (drop - (select (result (ref null $struct.A)) - (local.get $x) - (local.get $x) - (i32.const 1) - ) - ) - (struct.set $struct.C $named-mut - (local.get $struct.C) - (f32.const 100) - ) - (struct.set $nested-child-struct 0 - (local.get $nested-child-struct) - (ref.as_non_null - (local.get $grandchild) - ) - ) - (drop - (struct.new_default $struct.A) - ) - (drop - (struct.new $struct.A - (i32.const 1) - (f32.const 2.3450000286102295) - (f64.const 3.14159) - ) - ) - (unreachable) - ) - (func $arrays (type $ref|$vector|_ref?|$nested-child-array|_ref?|$grandchild|_=>_ref|$matrix|) (param $x (ref $vector)) (param $nested-child-array (ref null $nested-child-array)) (param $grandchild (ref null $grandchild)) (result (ref $matrix)) - (local $tv (ref null $vector)) - (local $tm (ref null $matrix)) - (local $tb (ref null $bytes)) - (local $tw (ref null $words)) - (drop - (array.new $vector - (f64.const 3.14159) - (i32.const 3) - ) - ) - (drop - (array.new_default $matrix - (i32.const 10) - ) - ) - (drop - (array.get $vector - (local.get $x) - (i32.const 2) - ) - ) - (array.set $vector - (local.get $x) - (i32.const 2) - (f64.const 2.18281828) - ) - (array.set $nested-child-array - (local.get $nested-child-array) - (i32.const 3) - (ref.as_non_null - (local.get $grandchild) - ) - ) - (drop - (array.len - (local.get $x) - ) - ) - (drop - (array.get $words - (local.get $tw) - (i32.const 1) - ) - ) - (drop - (array.get_u $bytes - (local.get $tb) - (i32.const 2) - ) - ) - (drop - (array.get_s $bytes - (local.get $tb) - (i32.const 3) - ) - ) - (unreachable) - ) - (func $ref.is_X (type $anyref_=>_none) (param $x anyref) - (if - (ref.is_null - (local.get $x) - ) - (unreachable) - ) - (if - (ref.test i31 - (local.get $x) - ) - (unreachable) - ) - ) - (func $ref.as_X (type $anyref_funcref_=>_none) (param $x anyref) (param $f funcref) - (drop - (ref.as_non_null - (local.get $x) - ) - ) - (drop - (ref.cast func - (local.get $f) - ) - ) - (drop - (ref.cast i31 - (local.get $x) - ) - ) - ) - (func $br_on_X (type $anyref_=>_none) (param $x anyref) - (local $y anyref) - (local $z anyref) - (local $temp-func funcref) - (local $temp-i31 i31ref) - (block $label$1 - (local.set $z - (br_on_null $label$1 - (local.get $x) - ) - ) - ) - (drop - (block $label$2 (result i31ref) - (local.set $y - (br_on_cast $label$2 anyref (ref i31) - (local.get $x) - ) - ) - (ref.null none) - ) - ) - (drop - (block $label$3 (result (ref any)) - (br_on_non_null $label$3 - (local.get $x) - ) - (unreachable) - ) - ) - (drop - (block $label$4 (result anyref) - (local.set $temp-i31 - (br_on_cast_fail $label$4 anyref (ref i31) - (local.get $x) - ) - ) - (ref.null none) - ) - ) - ) - (func $unreachables-1 (type $none_=>_none) - (unreachable) - ) - (func $unreachables-2 (type $ref?|$struct.C|_=>_none) (param $struct.C (ref null $struct.C)) - (drop - (local.get $struct.C) - ) - (unreachable) - ) - (func $unreachables-3 (type $none_=>_none) - (unreachable) - ) - (func $unreachables-4 (type $none_=>_none) - (unreachable) - ) - (func $unreachables-array-1 (type $none_=>_none) - (unreachable) - ) - (func $unreachables-array-2 (type $ref?|$vector|_=>_none) (param $vector (ref null $vector)) - (drop - (local.get $vector) - ) - (unreachable) - ) - (func $unreachables-array-3 (type $none_=>_none) - (unreachable) - ) - (func $unreachables-array-4 (type $ref?|$vector|_=>_none) (param $vector (ref null $vector)) - (drop - (local.get $vector) - ) - (unreachable) - ) - (func $unreachables-array-5 (type $ref?|$vector|_=>_none) (param $vector (ref null $vector)) - (drop - (local.get $vector) - ) - (drop - (i32.const 2) - ) - (unreachable) - ) - (func $unreachables-array-6 (type $none_=>_none) - (unreachable) - ) - (func $array-copy (type $ref|$vector|_ref?|$vector|_=>_none) (param $x (ref $vector)) (param $y (ref null $vector)) - (array.copy $vector $vector - (local.get $x) - (i32.const 11) - (local.get $y) - (i32.const 42) - (i32.const 1337) - ) - ) - (func $array-init (type $none_=>_ref|$vector|) (result (ref $vector)) - (array.new_fixed $vector - (f64.const 1) - (f64.const 2) - (f64.const 4) - (f64.const 8) - ) - ) - (func $array-init-packed (type $none_=>_ref|$bytes|) (result (ref $bytes)) - (array.new_fixed $bytes - (i32.const 4) - (i32.const 2) - (i32.const 1) - ) - ) - (func $static-operations (type $none_=>_none) - (local $temp.A (ref null $struct.A)) - (local $temp.B (ref null $struct.B)) - (drop - (ref.test $struct.B - (ref.null none) - ) - ) - (drop - (ref.cast null none - (ref.null none) - ) - ) - (drop - (block $label$1 (result (ref $struct.B)) - (local.set $temp.A - (br_on_cast $label$1 nullref (ref $struct.B) - (ref.null none) - ) - ) - (unreachable) - ) - ) - (drop - (block $label$2 (result (ref null $struct.A)) - (local.set $temp.B - (br_on_cast_fail $label$2 nullref (ref $struct.B) - (ref.null none) - ) - ) - (unreachable) - ) - ) - ) -) - |