diff options
| author | Alon Zakai <azakai@google.com> | 2021-01-27 17:46:31 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-27 09:46:31 -0800 |
| commit | 2bdc4841b680ee44e132bbb07f5167eaa7226f99 (patch) | |
| tree | 170585bbb9c74022201efeeee91962fdb5f0a1f1 /test/heap-types.wast.fromBinary | |
| parent | f82e94363a231bf570fbe3d7dc49259c8668206f (diff) | |
| download | binaryen-2bdc4841b680ee44e132bbb07f5167eaa7226f99.tar.gz binaryen-2bdc4841b680ee44e132bbb07f5167eaa7226f99.tar.bz2 binaryen-2bdc4841b680ee44e132bbb07f5167eaa7226f99.zip | |
[GC] ref.as_* (#3520)
These are similar to is, but instead of returning an i32 answer, they trap on
an invalid value, and return it otherwise.
These could in theory be in a single RefDoThing, with opcodes for both As
and Is, but as the return values are different, that would be a little odd, and
the name would be less clear.
Diffstat (limited to 'test/heap-types.wast.fromBinary')
| -rw-r--r-- | test/heap-types.wast.fromBinary | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/test/heap-types.wast.fromBinary b/test/heap-types.wast.fromBinary index 5b6dca2f6..9f0220c53 100644 --- a/test/heap-types.wast.fromBinary +++ b/test/heap-types.wast.fromBinary @@ -3,8 +3,8 @@ (type $[mut:f64] (array (mut f64))) (type ${} (struct )) (type ${mut:f32} (struct (field (mut f32)))) - (type $none_=>_none (func)) (type $anyref_=>_none (func (param anyref))) + (type $none_=>_none (func)) (type ${i32} (struct (field i32))) (type ${i32_i64} (struct (field i32) (field i64))) (type $[mut:i32] (array (mut i32))) @@ -216,5 +216,22 @@ (unreachable) ) ) + (func $ref.as_X (param $x anyref) + (drop + (ref.as_func + (local.get $x) + ) + ) + (drop + (ref.as_data + (local.get $x) + ) + ) + (drop + (ref.as_i31 + (local.get $x) + ) + ) + ) ) |