diff options
Diffstat (limited to 'test/heap-types.wast.fromBinary')
-rw-r--r-- | test/heap-types.wast.fromBinary | 136 |
1 files changed, 68 insertions, 68 deletions
diff --git a/test/heap-types.wast.fromBinary b/test/heap-types.wast.fromBinary index 303038693..78e01e494 100644 --- a/test/heap-types.wast.fromBinary +++ b/test/heap-types.wast.fromBinary @@ -1,105 +1,105 @@ (module - (type ${i32_f32_f64} (struct (field i32) (field f32) (field f64))) - (type ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|} (struct (field i8) (field (mut i16)) (field (ref null ${i32_f32_f64})) (field (mut (ref null ${i32_f32_f64}))))) - (type $[ref?|[mut:f64]|] (array (ref null $[mut:f64]))) - (type $[mut:f64] (array (mut f64))) + (type $struct.A (struct (field i32) (field f32) (field f64))) + (type $struct.B (struct (field i8) (field (mut i16)) (field (ref null $struct.A)) (field (mut (ref null $struct.A))))) + (type $matrix (array (ref null $vector))) + (type $vector (array (mut f64))) (type $anyref_=>_none (func (param anyref))) - (type ${} (struct )) - (type ${mut:f32} (struct (field (mut f32)))) + (type $parent (struct )) + (type $struct.C (struct (field (mut f32)))) (type $none_=>_none (func)) - (type $rtt_1_${}_=>_none (func (param (rtt 1 ${})))) - (type $rtt_${}_=>_none (func (param (rtt ${})))) - (type $ref?|{i32_f32_f64}|_=>_ref?|{i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|}| (func (param (ref null ${i32_f32_f64})) (result (ref null ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|})))) - (type $ref?|[mut:f64]|_=>_ref?|[ref?|[mut:f64]|]| (func (param (ref null $[mut:f64])) (result (ref null $[ref?|[mut:f64]|])))) - (type ${i32} (struct (field i32))) - (type ${i32_i64} (struct (field i32) (field i64))) - (type $[mut:i32] (array (mut i32))) - (type $[mut:i8] (array (mut i8))) - (global $rttparent (rtt 0 ${}) (rtt.canon ${})) - (global $rttchild (rtt 1 ${i32}) (rtt.sub ${i32} + (type $rtt_1_$parent_=>_none (func (param (rtt 1 $parent)))) + (type $rtt_$parent_=>_none (func (param (rtt $parent)))) + (type $ref?|$struct.A|_=>_ref?|$struct.B| (func (param (ref null $struct.A)) (result (ref null $struct.B)))) + (type $ref?|$vector|_=>_ref?|$matrix| (func (param (ref null $vector)) (result (ref null $matrix)))) + (type $child (struct (field i32))) + (type $grandchild (struct (field i32) (field i64))) + (type $words (array (mut i32))) + (type $bytes (array (mut i8))) + (global $rttparent (rtt 0 $parent) (rtt.canon $parent)) + (global $rttchild (rtt 1 $child) (rtt.sub $child (global.get $rttparent) )) - (global $rttgrandchild (rtt 2 ${i32_i64}) (rtt.sub ${i32_i64} + (global $rttgrandchild (rtt 2 $grandchild) (rtt.sub $grandchild (global.get $rttchild) )) - (func $structs (param $x (ref null ${i32_f32_f64})) (result (ref null ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|})) - (local $tA (ref null ${i32_f32_f64})) - (local $tB (ref null ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|})) - (local $tc (ref null ${mut:f32})) - (local $tv (ref null $[ref?|[mut:f64]|])) - (local $tm (ref null $[mut:f64])) + (func $structs (param $x (ref null $struct.A)) (result (ref null $struct.B)) + (local $tA (ref null $struct.A)) + (local $tB (ref null $struct.B)) + (local $tc (ref null $struct.C)) + (local $tv (ref null $matrix)) + (local $tm (ref null $vector)) (drop (local.get $x) ) (drop - (struct.get ${i32_f32_f64} 0 + (struct.get $struct.A 0 (local.get $x) ) ) (drop - (struct.get ${i32_f32_f64} 1 + (struct.get $struct.A 1 (local.get $x) ) ) (drop - (struct.get ${i32_f32_f64} 2 + (struct.get $struct.A 2 (local.get $x) ) ) (drop - (struct.get ${i32_f32_f64} 2 + (struct.get $struct.A 2 (local.get $x) ) ) (drop - (struct.get_u ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|} 0 + (struct.get_u $struct.B 0 (local.get $tB) ) ) (drop - (struct.get_s ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|} 0 + (struct.get_s $struct.B 0 (local.get $tB) ) ) (drop - (ref.null ${i32_f32_f64}) + (ref.null $struct.A) ) (drop - (block $label$1 (result (ref null ${i32_f32_f64})) + (block $label$1 (result (ref null $struct.A)) (local.get $x) ) ) (drop - (if (result (ref null ${i32_f32_f64})) + (if (result (ref null $struct.A)) (i32.const 1) (local.get $x) (local.get $x) ) ) (drop - (loop $label$4 (result (ref null ${i32_f32_f64})) + (loop $label$4 (result (ref null $struct.A)) (local.get $x) ) ) (drop - (select (result (ref null ${i32_f32_f64})) + (select (result (ref null $struct.A)) (local.get $x) (local.get $x) (i32.const 1) ) ) - (struct.set ${mut:f32} 0 - (ref.null ${mut:f32}) + (struct.set $struct.C 0 + (ref.null $struct.C) (f32.const 100) ) (drop - (struct.new_default_with_rtt ${i32_f32_f64} - (rtt.canon ${i32_f32_f64}) + (struct.new_default_with_rtt $struct.A + (rtt.canon $struct.A) ) ) (drop - (struct.new_with_rtt ${i32_f32_f64} - (rtt.canon ${i32_f32_f64}) + (struct.new_with_rtt $struct.A + (rtt.canon $struct.A) (i32.const 1) (f32.const 2.3450000286102295) (f64.const 3.14159) @@ -107,91 +107,91 @@ ) (unreachable) ) - (func $arrays (param $x (ref null $[mut:f64])) (result (ref null $[ref?|[mut:f64]|])) - (local $tv (ref null $[ref?|[mut:f64]|])) - (local $tm (ref null $[mut:i32])) - (local $tb (ref null $[mut:i8])) - (local $tw (ref null $[mut:f64])) + (func $arrays (param $x (ref null $vector)) (result (ref null $matrix)) + (local $tv (ref null $matrix)) + (local $tm (ref null $words)) + (local $tb (ref null $bytes)) + (local $tw (ref null $vector)) (drop - (array.new_with_rtt $[mut:f64] - (rtt.canon $[mut:f64]) + (array.new_with_rtt $vector + (rtt.canon $vector) (i32.const 3) (f64.const 3.14159) ) ) (drop - (array.new_default_with_rtt $[ref?|[mut:f64]|] - (rtt.canon $[ref?|[mut:f64]|]) + (array.new_default_with_rtt $matrix + (rtt.canon $matrix) (i32.const 10) ) ) (drop - (array.get $[mut:f64] + (array.get $vector (local.get $x) (i32.const 2) ) ) - (array.set $[mut:f64] + (array.set $vector (local.get $x) (i32.const 2) (f64.const 2.18281828) ) (drop - (array.len $[mut:f64] + (array.len $vector (local.get $x) ) ) (drop - (array.get $[mut:i32] + (array.get $words (local.get $tm) (i32.const 1) ) ) (drop - (array.get_u $[mut:i8] + (array.get_u $bytes (local.get $tb) (i32.const 2) ) ) (drop - (array.get_s $[mut:i8] + (array.get_s $bytes (local.get $tb) (i32.const 3) ) ) (unreachable) ) - (func $rtt-param-with-depth (param $rtt (rtt 1 ${})) + (func $rtt-param-with-depth (param $rtt (rtt 1 $parent)) (nop) ) - (func $rtt-param-without-depth (param $rtt (rtt ${})) + (func $rtt-param-without-depth (param $rtt (rtt $parent)) (nop) ) (func $rtt-operations - (local $temp.A (ref null ${i32_f32_f64})) + (local $temp.A (ref null $struct.A)) (drop - (ref.test ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|} - (ref.null ${i32_f32_f64}) - (rtt.canon ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|}) + (ref.test $struct.B + (ref.null $struct.A) + (rtt.canon $struct.B) ) ) (drop - (ref.cast ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|} - (ref.null ${i32_f32_f64}) - (rtt.canon ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|}) + (ref.cast $struct.B + (ref.null $struct.A) + (rtt.canon $struct.B) ) ) (drop - (block $label$1 (result (ref null ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|})) + (block $label$1 (result (ref null $struct.B)) (local.set $temp.A (br_on_cast $label$1 - (ref.null ${i32_f32_f64}) - (rtt.canon ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|}) + (ref.null $struct.A) + (rtt.canon $struct.B) ) ) (block $label$2 (drop - (ref.null ${i32_f32_f64}) + (ref.null $struct.A) ) (unreachable) ) |