diff options
Diffstat (limited to 'test/spec/shared-polymorphism.wast')
| -rw-r--r-- | test/spec/shared-polymorphism.wast | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/spec/shared-polymorphism.wast b/test/spec/shared-polymorphism.wast new file mode 100644 index 000000000..547829f11 --- /dev/null +++ b/test/spec/shared-polymorphism.wast @@ -0,0 +1,12 @@ +;; Some instructions are shared-polymorphic and work with shared or unshared +;; references. +(module + (func (drop (ref.eq (ref.null (shared none)) (ref.null (shared none))))) + (func (drop (ref.eq (ref.null (shared none)) (ref.null none)))) + (func (drop (ref.eq (ref.null none) (ref.null (shared none))))) + + (func (param (ref null (shared i31))) (drop (i31.get_s (local.get 0)))) + (func (param (ref null (shared i31))) (drop (i31.get_u (local.get 0)))) + + (func (param (ref null (shared array))) (drop (array.len (local.get 0)))) +) |