summaryrefslogtreecommitdiff
path: root/test/heap-types.wast.fromBinary
diff options
context:
space:
mode:
Diffstat (limited to 'test/heap-types.wast.fromBinary')
-rw-r--r--test/heap-types.wast.fromBinary136
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)
)